Let f = -82 + 97. Solve 5*x - 8*x - f = 0 for x.
-5
Let t be (6 + 1 + -3)/(2⁄3). Solve t*x - 7*x = 0 for x.
0
Suppose 0 = 3*b + 4*k - 14, 3*b + 0*b = -3*k + 18. Solve 0 = 5*j - b*j - 5 for j.
-1
Let d® = r3 - 6*r2 - 6*r - 2. Let i be d(7). Suppose -19 = 3*t + 4*h + h, -4*h = -i*t + 30. Let x = -20 - -30. Solve 0*g + t*g - x = 0 for g.
5
Suppose 3*c = 2 - 2. Solve 4*j + c = 12 for j.
3
Let m be -4 + (-2 - -8) + -1. Solve m = n + 3 for n.
-2
Suppose -7 = 2*f - 5*u, -2*f - 2*u + 3 = 3*u. Let r = 4 + f. Suppose 3*d - 30 = -r*x, -x - 2*x = -5*d - 30. Solve 0*n + 2*n + x = 0 for n.
-5
Suppose 0*u = 3*u - 15, 17 = -2*z + 3*u. Let k(y) = y - 1. Let a(i) = 5*i - 4. Let n(p) = z*a(p) + 4*k(p). Let g be n(-5). Solve 2*v - g + 1 = 0 for v.
2
Suppose 3*r = -3*l + 9, -2*l + 0*r - 4*r = -2. Let j be -2 - (1 - 4) - 1. Suppose -3*t + 19 = 4. Solve j = -l*c - 20 + t for c.
-3
Suppose -3*q - 1 = -22. Suppose 29 - q = 3*m + 5*a, 0 = -m + 3*a - 16. Let n = m + 6. Solve n*u - 19 = -4 for u.
3