Let i = -1 - -5. Let p(t) = 0*t2 - t3 - i + t + 2*t2 + 7*t2. Let h be p(9). Solve -r + h*r = 0 for r.
0
Let t = -49 + 53. Solve -s + 25 = t*s for s.
5
Let n = 46 - 28. Suppose -3 + n = 5*s. Solve -2 = -v + s for v.
5
Suppose 0 = -5*b - p + 15, -3*b + b - p = -6. Let f = b - 0. Solve -f*c + 16 = 4 for c.
4
Let a(g) = -g**2 - 26*g + 61. Let j be a(-28). Solve j*k - 3 = 2 for k.
1
Suppose -2*z - z - i + 12 = 0, 0 = 5*z - 5*i - 20. Suppose -3*k + 4*d = -7*k + 28, 12 = k - z*d. Suppose -40 = -4*j + k. Solve -5*v = 2 - j for v.
2
Let a = -5 + 10. Solve a*u - 6*u = 1 for u.
-1
Suppose -n + 2*b = -3*b - 2, -n - 4*b = -2. Let v(o) = 3*o - 2. Let j be v(n). Solve -4 = j*x + 12 for x.
-4
Let o = 29 - 26. Solve 3*r = -o - 0 for r.
-1
Let h(v) = v**2 - v - 1. Let t be h(0). Let u be (t + 7)/2 - 0. Suppose 2*w - 2*y = 0, -2*y - 2*y + 28 = u*w. Solve 0 = -w*n + n + 3 for n.
1