Let n be 1 + -1 - (1 - 8). Suppose v = g - n, -3*v + 1 - 7 = 0. Solve -g*a + 0*a = -15 for a.
3
Let d(n) = -n3 + 7*n2 - 11*n + 5. Let v be d(5). Solve 5*j - 10*j = v for j.
0
Let v(i) = -i**3 - i + 5. Let k be v(0). Suppose 3*n = -2*h + 22, -5*h + k*n - 3*n = -17. Solve z - 4 = h*z for z.
-1
Let s = -152 - -165. Solve -3*k = 2 + s for k.
-5
Let i(f) = 0 - 2 + 2*f - 4. Let a be i(5). Suppose -3*v = -2*k + 14, 6*v + a = 4*v. Solve -k*s - 15 = -s for s.
-5
Let o be (3/((-15)/(-4)))/((-1)/(-10)). Suppose 0 = -0*b - b. Solve 0*u - 2*u + o = b for u.
4
Suppose 5*l - 24 = -69. Let s be (-1149)/(-9) + (-3)/l. Let q be s/20 + (-4)/10. Solve 2*j + j = q for j.
2
Suppose -14 = -4*i + 2. Suppose 0*h = 3*h - i*y - 22, 5*y = -20. Solve 4*s + 6 = h*s for s.
-3
Suppose 0 = 3*n + 6 - 33. Suppose 5*o - 1 - n = 3*k, -2*o = k - 15. Solve o*x - 11 + 1 = 0 for x.
2
Suppose 0 = 5*u + 2*u - 42. Solve u - 3 = h for h.
3