Let s = 3 - -4. Let g = s + 10. Solve g = -5*f - 3 for f.
-4
Let k(s) = s2 - 7*s + 10. Let u = -7 + 12. Let i be k(u). Let l(a) = a3 + 2*a**2 - a. Let p be l(1). Solve p*j + i*j = 0 for j.
0
Suppose -3*a = -4*j - 20, j = -a - 3*a + 14. Let c = 4 - 4. Solve c + 4 = a*l for l.
1
Let w(j) = j + 18. Let r be w(-12). Solve 0 = 3*a - r*a + 3 for a.
1
Let d(p) = p**2 - 6*p + 0*p - 1 + 6*p. Let c(i) = i - 1. Let q be c(3). Let g be d(q). Solve r - 2*r = -g for r.
3
Suppose 0 = 3*m + 3*r, -6*m + 2*r = -2*m - 24. Let z = 29 + -19. Solve -m*y + 30 = z for y.
5
Let u be ((-4)/3)/((-4)/42). Let o = 21 - u. Solve 4*z - 5 = o for z.
3
Suppose -5*u + 52 = 3*i, -2*i + 4 = -4. Suppose 2*z = -0*z - u. Let f = z + 6. Solve 4*q - 3*q = f for q.
2
Suppose 0 = -2*k + 3*k + 2*k. Solve k = -g + 2*g + 1 for g.
-1
Suppose 0 = 2*z - 1 - 1. Let p be z/(-2) - (-34)/4. Solve -3*t = -t + p for t.
-4