Let k = -31 + 33. Solve 4 + k = -3*r for r.
-2
Let o be -1*(-4 + -4)*1. Solve o = 3*c - 7 for c.
5
Let m = 0 - 2. Let w be (3 + m)*(-6)/(-2). Solve w*d + 5 = -1 for d.
-2
Let a = 23 + -16. Let i = 7 - a. Solve -3*p - 1 - 5 = i for p.
-2
Let v(t) = 3*t**2 + 2*t - 1. Let m be v(-2). Suppose 2*d + 20 = m*d. Suppose -d*j + 2*k - 6*k + 16 = 0, -2*k = 3*j - 11. Solve 3*c + 0*c + j = 0 for c.
-1
Suppose -3*u + u = -10. Suppose 3 = -4*p - 5*a, -5*p - 2 + u = 4*a. Let j(b) = 3*b**2 + 4*b + 2. Let x be j(-2). Solve -p*o + x = -o for o.
3
Suppose 0 = v - 0*v - 6. Let q be 1⁄2 - 9/(-6). Suppose 0 = -0*h - q*h + v. Solve 2 + 10 = -h*j for j.
-4
Let i be (28/(-8) - 0)/((-2)/4). Solve -3*x + 2 = -i for x.
3
Let j be (-2)/(-2)*4 + -1. Let l(k) = -3*k**2 + k. Let a be l(1). Let h be 1 + a*1/(-2). Solve b = -j - h for b.
-5
Let c(i) = i3 - i2 + i + 12. Let a be c(0). Suppose 3*u + u = a. Solve 20 = 2*v + u*v for v.
4