Let x(v) = 4*v**2 + 2*v - 1. Let a be x(1). Suppose -5*q = o + 2, 5*q = a*o - o - 17. Suppose -4*y - 16 = -4*t, -4*t + 20 = 4. Solve y*h = o*h + 12 for h.
-4
Let i be 1⁄6 + 22⁄12. Solve 7 = i*n - 3 for n.
5
Suppose 3 = i + 1. Solve -y = i*y + 3 for y.
-1
Let w(p) = p3 + 9*p2 + 6*p - 10. Let m be w(-8). Let i = -4 + m. Let t be (i/(-3))/(4/(-30)). Solve -4*h + t = -11 for h.
4
Let t© = -c**2 + 5*c - 6. Let a be t(5). Let v = 9 + a. Solve -2*i = v + 1 for i.
-2
Let l be 1 + -4*(0 + -1). Suppose c = t - l, 8 + 7 = t - 3*c. Solve t*u = -4*u for u.
0
Let v be (6 + -4)/2 - 1. Suppose -3*d = -12 - 9. Let t = v + d. Solve 2*l = t*l + 15 for l.
-3
Let p = 40 - 37. Solve p*y + 0*y = 0 for y.
0
Suppose 0 = t - 3*t + 16. Suppose -4*n + 2*n = -t. Solve -n = -u + 1 for u.
5
Let z = -6 - -8. Solve -z*v = -5*v + 3 for v.
1