Let h© = -c3 - 13*c2 - 14*c - 20. Let k be h(-12). Solve 0 = 6*x - k*x for x.
0
Suppose 0 = 5*g - 2*m + m - 14, -2*m = 8. Solve k - g = -0 for k.
2
Let q = 30 + -17. Let i = 15 - q. Solve y - 5 = i*y for y.
-5
Suppose 0 = 4*v - 0*p - p - 13, -3*v = -3*p - 12. Let m = v - 1. Suppose 0 = -4*l + m*l + 6. Solve -5 - 1 = l*n for n.
-2
Suppose -4*q + 33 - 9 = 0. Let n = q + -2. Let k = 2 + n. Solve 2*j - k = -j for j.
2
Suppose 0 = -2*u + 6*u. Solve u = 2*z - 6*z for z.
0
Suppose -4*r = 4*m - 837 - 27, -m = 1. Suppose 4*f - r = -9. Suppose 0*q - 2*b - 38 = -2*q, 0 = -3*q + 2*b + f. Solve 0 = -4*a + 6 - q for a.
-2
Let a be ((-10)/6)/((-1)/6). Let j be (1 + 1)*(-1 - -2). Let r be 0/(-3 + j)*1. Solve 5*k - a = -r for k.
2
Let r be ((-10)/1)/(9/(-27)*6). Solve r*i = 1 + 14 for i.
3
Suppose 15*x = 18*x - 12. Solve 0 = -7*b + x*b + 9 for b.
3