Let a be -1-1(2 + 3). Suppose -112 = -a*v - 37. Let g(n) = n**3 + n + 2. Let h be g(0). Solve 0 = h*s + s - v for s.
5
Let v be (2 - 4)*(1 + -2). Suppose -v*w + 6 = -5*m + 4*m, -6 = -2*w + 5*m. Let y = 26 - 6. Solve x - y = -w*x for x.
5
Let a(j) = 2*j - 7. Let v(m) = 6*m - 1. Let w(b) = -b - 1. Let r(s) = v(s) + 5*w(s). Let k(h) = -6*a(h) + 7*r(h). Let t be k(-5). Solve -t = 4*x + x for x.
-5
Let s(z) = z3 - 18*z2 + 18*z - 2. Let q be s(17). Suppose 11*k - q*k = -8. Solve k*t = 5*t for t.
0
Suppose 4*q + 14 = 54. Let l be 1/((4/q)/2). Suppose 0 = 6*g - 135 + 99. Solve -c = -g*c - l for c.
-1
Let s = 11 - 16. Let d = s - -5. Solve 0 = -d*w - w - 4 for w.
-4
Suppose 4*q - 9 = 15. Let w = q + -6. Solve w*b = 2*b - 4 for b.
2
Let s = -13 - -14. Suppose -2*a + 3 = -s. Solve 2*t + a*t = 4 for t.
1
Let j be ((-3)/6)/(3 - 21⁄6). Solve 0 = 5*y - 4*y - j for y.
1
Let g be 3/(-6)*(-11 - -7). Solve -g = 5*i + 3 for i.
-1