for z.
2
Let d = -114 + 125. Solve 2*q + d - 1 = 0 for q.
-5
Suppose -4*m = l + 13, 0 = 4*m + 8 + 8. Solve l*v = 4 + 11 for v.
5
Suppose 5*b = 4*v - 20, 10*b - v + 5 = 5*b. Solve b = 2*t - 0*t - 6 for t.
3
Let y(h) = -1 + h + 0 - 2*h - 1. Let n be y(-2). Let v be -2 - 6/(0 - 1). Solve n*x = v*x + 20 for x.
-5
Let t be (20/(-7))/(4/(-14)). Suppose -q + t = q. Suppose 4*j - 17 = -q. Solve j*r = -2 + 5 for r.
1
Let m(z) = -z**3 + 5*z**2 + 7*z - 1. Let u be m(6). Let y(q) = 2*q - 8. Let n be y(u). Solve -r = -n*r for r.
0
Let q(v) = v + 10. Let c be q(-5). Solve -c = -2*y + y for y.
5
Let d = -1 - -6. Suppose -d*c = -v, -2*v = 3*v - c. Solve -u + v = 1 for u.
-1
Let p be -1 + 3 + 1 + -10. Let t = p - -9. Solve 2 = t*c + 4 for c.
-1
Let d(l) = l**2 + 1. Let o be d(-2). Let p = 7 + -4. Suppose p*n = o*m + 5, 5*m + 3*n - 9 = 16. Solve -4*j + 5*j = m for j.
2
Suppose -u + 23 = 4*g, 2*u - u + g = 8. Suppose 3*j = 3*x + 33, 3*j = u*x + 2*x + 29. Let z = j + 1. Solve 4*b - z = 6 for b.
5
Let n(r) = 12*r - 4*r + 0*r**2 + 0*r**2 - r**2. Let d be n(8). Solve 2*p + p - 9 = d for p.
3
Let z = 1 + 1. Suppose w + 2 = 3*w, -z*s = -4*w + 16. Let y be (8/(-3))/(2/s). Solve 0*t = -2*t + y for t.
4
Suppose 2*h - 32 = -2. Solve 0 = 5*f - 0*f - h for f.
3
Let s be 1380/360 + (1 - (-10)/(-12)). Solve s = 5*l + 9 for l.
-1
Let u(z) = 2 - 5*z + 6*z + 5 - 2*z. Let x be u(0). Solve 0 = f - 4 + x for f.
-3
Let i(g) = -g + g - 7*g**2 - 7*g - g**3. Let y be i(-6). Let w be ((-8)/(-10))/(y/15). Solve -w*x + 5*x = 0 for x.
0
Let a(r) = -2*r**3 - 19*r**2 - 2*r - 16. Let c(q) = -q**3 - 10*q**2 - q - 8. Let o(n) = -4*a(n) + 7*c(n). Let k be o(-6). Solve -k*f = -0*f - 2 for f.
1
Let r = -1 + -1. Let y = 0 + -2. Let c = r - y. Solve -v - v = c for v.
0
Let n = 25 + -14. Suppose 0 = 5*s - n - 39. Suppose 0 = 5*l - 0 - s. Solve -2*x = l*x for x.
0
Suppose -h = 3 + 2, 4*h + 26 = -2*a. Let m = 3 + a. Solve -2*i - 3*i = m for i.
0
Let m(p) be the third derivative of -p**4/24 + 7*p**3/2 + 9*p**2. Let v be m(16). Solve -3 = v*w - 23 for w.
4
Let i(a) = a**2 - 7*a + 4. Let b be i(8). Let m = b - 10. Solve 3*y + 25 = -m*y for y.
-5
Suppose 2*f + 2*g + 14 = 0, -5*g = -f - 0*g + 11. Let p be (-22)/f - (-2)/4. Solve 0 = -p*l + 2*l - 16 for l.
-4
Let f(q) = q**2 - 4*q - 4. Let a be f(5). Suppose -2 = -y + a. Solve 0 = 2*r - y*r + 4 for r.
4
Suppose 3*i = -5*z + 4*i + 27, 4*i = -4*z + 12. Solve 3*x - z*x = 4 for x.
-2
Let u = -14 - -51. Let n = u + -57. Let m be n/6*(-6)/5. Solve m*p - 20 = -p for p.
4
Let d = 83 + -79. Let x = 0 - 0. Solve x*o = o + d for o.
-4
Let k(w) = -13*w - 1. Let v be k(-1). Let c = 17 - 14. Solve 0*z - v = -c*z for z.
4
Let q(k) = k**3 - 8*k**2 - k - 1. Let z be q(8). Let s = -1 - z. Let p(f) = f**3 + 5*f**2 + 4*f + 5. Let y be p(-4). Solve y*x + s = 3*x for x.
-4
Let g(v) = -v**2 - v. Let b be g(0). Suppose -2 = f - 6. Let w be 1/f - (-140)/16. Solve 3*i = -b*i + w for i.
3
Suppose -4*q + 4*w = 30 - 6, 4*q + 5*w = -15. Let u be 0*2/(3 + q). Solve u = 4*n - 3 + 7 for n.
-1
Let h be ((-7)/1)/(1/(-2)). Let v = h - 4. Let b(s) = s**3 - 11*s**2 + 11*s - 9. Let z be b(v). Solve -2*r - z = -3*r for r.
1
Let w be (-1 - 0)/((-4)/44). Solve -3*r - w + 2 = 0 for r.
-3
Let y(d) = -4*d**3 + d. Let j be y(-1). Solve 10 = -2*c - j*c for c.
-2
Suppose 2*i - 6 = 2. Let o(j) = j**3 - 4*j**2 - j + 5. Let f be o(i). Suppose r + 2*v - 9 = 0, v - f - 1 = 0. Solve -r*h = -h for h.
0
Let z(v) = -v**2 + 21*v. Let f be z(21). Solve f = 3*i - 0 + 3 for i.
-1
Let t = -50 + 60. Solve -4*u - 2 = -t for u.
2
Suppose -i + 0*i - 5*c = 3, -5*i - 4*c + 6 = 0. Solve 0 = 3*t - 4*t - i for t.
-2
Let f(s) = -2*s**3 - 2*s**2 + 3*s + 2. Suppose 2*h - 2 = -6. Let g be f(h). Solve g*k = 2 + 2 for k.
1
Let w(j) = -j**2 + 8*j + 2. Suppose 3*q - 31 = -7. Let h be w(q). Solve -2*g - h + 0 = 0 for g.
-1
Let b = 17 + 5. Let o = -14 + b. Solve 4*x + 4 = o*x for x.
1
Let l = -80 + 90. Solve 0*y = -2*y + l for y.
5
Let z(w) = w**3 - 4*w**2 + 2*w - 4. Let s(q) = -q**3 - 7*q**2 - 7*q - 6. Let c be s(-6). Suppose c = -t - t + 8. Let m be z(t). Solve 2*p - 8 = m*p for p.
-4
Let p = 251 - 247. Suppose 8 = -5*r + 33. Solve -r*t = -t + p for t.
-1
Let q be 7/(-7)*(1 - 5). Solve 6*o + 4 = q*o for o.
-2
Let w(u) = -3*u - 3. Suppose 4*o - 4*j + 36 = 0, 0 = -0*o - 4*o + 5*j - 40. Let g be w(o). Solve d - 5*d - g = 0 for d.
-3
Suppose -4*n + 21 + 11 = 0. Suppose n*m = 4*m + 12. Solve -m*d = 16 - 4 for d.
-4
Let a be (-4)/(-8) - (-5)/10. Let s be 4*(1 - 2/4). Solve s + a = -3*f for f.
-1
Let q(f) = f**2 - 3*f - 8. Let l be q(7). Suppose -3*s + l = s. Solve s*k - 12 = k for k.
3
Let y(t) be the third derivative of t**5/60 + t**4/6 - 4*t**3/3 + 2*t**2. Let z be y(-7). Suppose 3*m + 9 = h - 0*h, m - z = -5*h. Solve -h*b = -0*b - 3 for b.
1
Suppose -2*q + 3 = -q. Solve -q*n - n = 12 for n.
-3
Suppose -2*s - 4 = -4*r - 0*s, 2*r - 2*s = 4. Solve r = -u + 5*u + 16 for u.
-4
Let l(q) = -4*q**3 - q + 1. Let t be l(1). Let z(f) = -f**2 - 5*f - 2. Let b be z(t). Solve 0 = b*d - 4 - 6 for d.
5
Let f(q) = -4*q - 1. Let v be f(-1). Solve i - 2*i = v for i.
-3
Let z be 4 - -3 - 6/2. Suppose z*u - 52 = -k, -3*u + 58 = -4*k - 0*k. Suppose p = -4*g + u, 5*g - 2*p - 32 = -8. Solve 0 = f - 2*f - g for f.
-4
Suppose 0 = -0*q + 5*q. Solve 3*z - 1 + 7 = q for z.
-2
Let p = -26 + 44. Suppose -9 - p = -3*n. Let s be n + (-2)/((-6)/9). Solve 0 = 3*a - 0 + s for a.
-4
Suppose -2*j - 4*i - 12 = 0, 0*i + 3*i + 2 = -5*j. Suppose 3*s - s = 24. Solve 2 - s = -j*h for h.
5
Let o = -15 + 17. Suppose 3*x - 4*i + o*i + 1 = 0, 3*x = -2*i + 19. Solve -s = x*s - 8 for s.
2
Let w(a) = -a**2 - 6*a - 2. Let p be w(-5). Let b be (-4)/(-18) + 212/18. Suppose -6*g + b = -p*g. Solve 0*z + g = -2*z for z.
-2
Suppose -3*s + 3*g = -0 - 6, 5*s = -4*g + 10. Suppose 0 = -5*y + s + 13. Solve -y*v = 1 + 5 for v.
-2
Let n = 22 + -18. Solve 2*f = -14 + n for f.
-5
Let n(t) = 6*t + 3 - 7*t**2 - t + 0*t**3 + t**3. Let r be n(6). Let w(u) = -u**3 - 2*u**2 + 3*u + 3. Let o be w(r). Solve 9 + 3 = o*c for c.
4
Let d(y) = 3*y - 11. Let p be d(6). Let n = 9 - p. Solve 0 = n*k - 6 - 2 for k.
4
Let u = -8 - 4. Let k be ((-20)/6)/(u/90). Let x be -2*(-2 + 0)/2. Solve -x*r = 3*r - k for r.
5
Let u be (72/30)/((-2)/(-5)). Suppose 0 = 3*w - 1 - 8. Suppose 4*m + u = 5*o, o = -2*m + 1 + w. Solve o*v - v = 0 for v.
0
Let t(j) = j**2 + j + 52. Let r be t(0). Suppose -5*w - 5*i = -r - 48, -i - 100 = -5*w. Solve 5*d = -0*d + w for d.
4
Suppose 2*s - 6 = 2. Solve -4*p + 2*p - s = 0 for p.
-2
Suppose 4*q + 1 = 13. Let f be q/6 - (-9)/6. Solve x - 3*x = f for x.
-1
Let v(s) = -2 + 0*s - s + 0*s. Let r be v(-6). Solve -r*y + 7*y = -12 for y.
-4
Let y = -38 + 47. Solve -3*n = -3 + y for n.
-2
Let d(x) = x**2 + 4*x + 4. Let g be d(-2). Solve n + 1 + 2 = g for n.
-3
Let t = 28 - -20. Suppose -3*s + t = -0*s. Solve -3*l = l + s for l.
-4
Let d(n) = -n**2 + 3*n - 2. Let s be d(2). Suppose -2*a + 4 = -s. Suppose 0 = 3*o - a*y + 4, 5*o + 0 = -5*y + 35. Solve 0 = -4*b + o*b for b.
0
Suppose 2 = -2*i, -1 = -t - 5*i - 6. Let c be t/((1 - 0) + 0). Suppose c = -2*u + 30 + 10. Solve 4 - u = 4*x for x.
-4
Suppose 3*y = 14 - 5. Solve -4 + y = -r for r.
1
Suppose -19 = -4*h + 29. Suppose 0 = 3*m - 0*i + i - 17, -4*m = 4*i - 36. Solve m*f = -0*f - h for f.
-3
Let p be (-38)/(-4)*6*-2. Let o be p/(-27) + 2/(-9). Solve -o*h = h for h.
0
Let c(l) = -2 + 0*l + 4*l - 3*l. Let b = 4 + 2. Let q be c(b). Solve 0 = 5*i - 9 + q for i.
1
Let g(n) = n**3 - 5*n**2 - 3*n - 8. Let h be g(6). Solve -4*p - h = p for p.
-2
Suppose -2*m = 37 - 37. Solve m = -5*b - 9 + 24 for b.
3
Let t = 8 - 5. Solve t = k + 2 for k.
1
Suppose 7*l = l + 24. Let q(y) = y - 4. Let v be q(l). Solve -5*u + 22 + 3 = v for u.
5
Let g(y) be the second derivative of y**4/12 - 5*y**3/3 + 4*y**2 - 4*y. Let h be g(10). Solve 0 = -0*o + 4*o + h for o.
-2
Let q(g) = 3*g + 1. Let y be q(2). Let v = 23 - 12. Let s = v - y. Solve 0 = o + s*o + 10 for o.
-2
Suppose -3*a + 82 = -35. Let v = -24 + a. Solve 0 = 2*k - 7*k - v for k.
-3
Suppose -3*j - 5*w = 5, 3*j - 5*w + w - 4 = 0. Solve j = i + i - 10 for i.
5
Suppose 29*w = 34*w - 25. Solve -u - w = -7 for u.
2
Suppose -s + 2*s - 3*w + 7 = 0, -4*w + 8 = -2*s. Solve -s + 5 = -m for m.
-3
Let y(i) = -i**3 + 6*i**2 - 3*i - 7. Let 