3. Let i = 3 - 1. Solve -t = -4*h + i for h.
2
Let q be -2 - (2 - 10) - 3. Solve -7*x + 4 = -q*x for x.
1
Let x = 109 - 109. Let c = -1 + -2. Let p = 0 - c. Solve -m + 1 + p = x for m.
4
Let q = -6 - -9. Suppose -2*m - 2*a = -4*m - 4, -3*a = q*m - 6. Solve m = -g - 3*g for g.
0
Let s = -177 + 179. Solve 8 = s*n + 2 for n.
3
Let q(j) = -j + 15. Let l be q(11). Let a = -4 + 6. Suppose -f = -a*f. Solve f = 6*s - 2*s + l for s.
-1
Let y(t) = t - 7. Let g be y(9). Solve -g*j = -j - 3 for j.
3
Let h = 40 - 35. Solve -h*o + 3*o - 8 = 0 for o.
-4
Let h be 2/(-12) - 13/(-18)*3. Solve -p + 2 = -h for p.
4
Suppose -4*h + h = 18. Let k = h - -9. Solve -k = 3*f - 9 for f.
2
Let z(g) = -4*g - 62. Let b be z(-16). Solve -4 + 2 = b*p for p.
-1
Let z be 14*(15/6 + -3). Let h = 14 + z. Solve 22 = 5*d + h for d.
3
Let n = -6 - -6. Let u be 2*1*2/4. Solve v - u = -n*v for v.
1
Let v(a) = -a**2 - 6*a - 8. Let w be v(-4). Solve w = 4*c + c - 5 for c.
1
Let x = -21 - -22. Solve 3*t = -2 - x for t.
-1
Let y(l) = 2*l**3 - 3*l**2 + 2. Let f be ((-3)/2)/((-9)/12). Let h be y(f). Solve 2*x - h - 2 = 0 for x.
4
Let a = 46 + -44. Solve v = a*v for v.
0
Suppose 3 = 3*h - 9. Let v be 8/28 - (-38)/14. Suppose -h*g - v*s + 17 = 0, -2*s - 2 = -2*g - 2*g. Solve 0 = -g*u - u for u.
0
Suppose 4 = -5*a - 1. Let b = 1 + a. Solve b*k = -k for k.
0
Let u(d) = -3*d**3 - 6*d + 5. Let f(p) = -p**3 - p + 1. Let r(l) = -4*f(l) + u(l). Let y be r(2). Solve y*q - 16 = q for q.
4
Suppose 8*c - 7*c = 4. Solve 0 = -p + c*p + 9 for p.
-3
Let f(l) = l**3 + 5*l**2 - 9*l - 18. Let m be f(-6). Solve -5*s - 20 = -m*s for s.
-4
Suppose -5*v = 0, 2*q - 5*v - 5 - 7 = 0. Solve -p = q - 3 for p.
-3
Let q = 5 - 3. Solve h = q*h + 4 for h.
-4
Suppose -2*u + 25 = -u. Suppose -3*i = 2*i - u. Suppose -r - 62 = -i*p, -p + 5*r - 2 = -0. Solve 0 = 5*t - 7 - p for t.
4
Suppose -4*p + 4*o = -4, 3*o + 2*o = -p + 1. Solve 0 = -5*f - p - 9 for f.
-2
Let w(b) = -b**2 - 8*b - 8. Let v be w(-6). Let j be 3 - (-1 + -3 + 5). Solve -v = 2*r + j*r for r.
-1
Let z(d) = d. Let m be 1 + 3/((-9)/(-6)). Let n be z(m). Suppose 5 + 4 = 3*p + k, 5 = p + k. Solve -n*t + p*t - 2 = 0 for t.
-2
Suppose 3*a + v - 5 = -0, 0 = 5*a - 5*v - 15. Solve -a*k - 20 = 2*k for k.
-5
Let b = -25 - -29. Solve b*z = 2*z for z.
0
Let p(j) = j**2 - 5*j + 11. Let v be p(4). Solve -6*u = -5 - v for u.
2
Suppose -3*w + 41 = 5*b - w, -5*b + 53 = -4*w. Solve -q - 2*q - b = 0 for q.
-3
Let m be 2*((-10)/4 + 3). Solve -m = -3*a + 5 for a.
2
Suppose 0 = -4*v + 2*f + 10, 0 = 2*f + 2*f + 4. Suppose v*t = -2*g - 4, 3*t + 14 = -3*g - 2*t. Solve -5*h = -g*h + 9 for h.
-3
Let w be (-32)/(-6) + (-4)/12. Let y be (w/(5/(-4)))/1. Let j be (-9)/y + (-1)/4. Solve -a - j = -7 for a.
5
Suppose 5*z + g - 26 = 4*g, 0 = -5*z + 4*g + 28. Suppose t - 25 = -3*d, 2*t - d = -2 + 24. Let x = t - 9. Solve 16 + x = z*o for o.
5
Let p = 35 + -32. Solve 0 - p = -x for x.
3
Let z(b) = b**2 - 11*b - 23. Let j be z(13). Solve -w + j = 8 for w.
-5
Suppose 0 = -2*b - 0*b. Suppose b = 5*l - 3*l. Solve -2*f = 6 - l for f.
-3
Let o(r) = -4*r**3 + 2*r + 2. Let v be o(-1). Solve -v*t = -3*t - 5 for t.
5
Let n be (0/6)/(-3) - 0. Solve 5*k + 0 - 5 = n for k.
1
Let h = -56 + 59. Solve h*x + 3 = 2*x for x.
-3
Let y(n) be the third derivative of -n**7/2520 - n**5/30 - n**2. Let d(b) be the third derivative of y(b). Let u be d(-3). Solve w - 4*w = -u for w.
2
Suppose -11 + 5 = -2*y. Suppose 0 = v + y*v - 16. Solve -15 = u + v*u for u.
-3
Let h be 6 + (-6 - (3 + -6)). Let u(d) = -10 - h*d + 2*d - d + 1. Let p be u(-6). Solve -w - 5 = -p for w.
-2
Let u = -6 + 7. Let q(c) = 3*c**3 - c**2 + c - 1. Let z be q(u). Solve -z*g + 0*g = -10 for g.
5
Let h(j) = 2*j + 1. Let f be h(-1). Let z be 23 - f*(5 - 3). Solve 0*y - z = -5*y for y.
5
Let r = 184 - 164. Solve r = -9*y + 4*y for y.
-4
Let t be (-11 - 1)*(-2)/6. Suppose 2*l + 6 = -3*s, -9 + 1 = -5*l + 4*s. Suppose -4 = -3*j + 2*m, l = -0*j + 2*j + 5*m + 10. Solve 4*y = -j*y + t for y.
1
Suppose -3*v + 4 = v - 2*j, -3*j = -3*v - 3. Suppose v*b - 5 - 16 = 0. Suppose -2*h + 5*h = -z + 5, -h + 5*z + b = 0. Solve h*g = 5*g for g.
0
Let z(g) = g**3 + g + 2. Suppose h - 2*i - 4 = 4, 16 = 5*h - 2*i. Let k be z(h). Solve -k = 4*u - 7*u for u.
4
Let r = 61 - 59. Let k = -12 + 27. Let v(x) = -x**2 - 8*x - 9. Let h be v(-6). Solve r*d = -h*d - k for d.
-3
Let y = -71 + 74. Solve 0*o = y*o + 15 for o.
-5
Let i be 2 + (-3)/3*1. Solve -z + i = 4 for z.
-3
Let n be (-1)/3 - 56/(-24). Suppose -3*z + 5*d - 13 = 0, 0 = -5*z + n*d + d + 5. Solve 4*m + z = 3*m for m.
-4
Let u(i) = 5*i + 39. Let h be u(-6). Solve 0 = -10*a + h*a - 5 for a.
-5
Let o(z) = -z**2 + 14*z + 32. Let p be o(16). Solve p = 4*j + 17 - 1 for j.
-4
Let g(n) = -n**2 + 5*n + 8. Let v be g(6). Solve -3*z = -v - 1 for z.
1
Let q = 24 + -24. Solve q = 2*g + 3*g + 20 for g.
-4
Let n = 33 - 27. Solve -n*x + 3 = -3*x for x.
1
Let g(b) = b**3 - 4*b + 1 + 5 - b**2 + 6*b**2. Let o be g(-6). Let p be ((-2)/(-4))/((-1)/o). Solve -2*a - 2 = -p*a for a.
2
Let b(j) be the first derivative of j**4/4 + 2*j**3/3 - j**2/2 - 2*j + 4. Let o be b(-2). Solve 2*z + 7 - 1 = o for z.
-3
Let q(s) = -s**2 - 7*s + 2. Let y = 18 - 25. Let x be q(y). Let m = -7 + 12. Solve -13 + m = -x*u for u.
4
Suppose 4 = -f - 2*o, 0*f = f + 4*o + 10. Solve 2*z - f - 2 = 0 for z.
2
Let s be (11/3)/(10/30). Suppose -1 = 5*f - s. Solve 7*o = f*o - 5 for o.
-1
Let o be (-1 + -2)*4/(-3). Suppose -5*c + 8 = -2*n - 10, -5*n - 15 = -5*c. Solve -5 + n = -o*t for t.
1
Let w = 2 + 0. Let j = -49 - 7. Let l be (6/(-7))/(12/j). Solve l*s - 2 = w for s.
1
Suppose -3 = 4*o + 13. Let a = o + 4. Suppose a = 2*u + j - 4*j - 17, 5*u + 5*j + 20 = 0. Solve -u - 2 = -n for n.
3
Let q(s) be the first derivative of -s**3/3 - 3*s**2 - 2*s + 1. Let y(r) be the first derivative of q(r). Let d be y(-4). Solve d*h - 1 + 7 = 0 for h.
-3
Let w(q) = 8*q - 60. Let c(t) = 2*t - 15. Let s(f) = 9*c(f) - 2*w(f). Let u be s(11). Solve -u*i + 4 = -3*i for i.
1
Let h(w) = w**3 - 20*w**2 + 2. Let m be h(20). Solve -v + m*v = 0 for v.
0
Let b be 8 + -1 - (-1 - -3). Suppose -6*g + b*g = 0. Solve -3*l - l = g for l.
0
Suppose 3*j - 24 = -9. Solve 7*i = j*i for i.
0
Suppose 4*o - 19 = -o + 3*q, 28 = 4*o + 4*q. Solve -15 = 5*s - o for s.
-2
Suppose p - 1 = 1. Let t be ((-2)/3)/(2/(-24)). Suppose -q - q + 8 = 0, 4*q - t = p*r. Solve -3*z - 1 = -r*z for z.
1
Let g(z) = -z**2 - 14*z - 21. Let p be g(-12). Suppose 0 = p*x - 0*x - 60. Solve -x = d + 3*d for d.
-5
Let n = 112 - 98. Solve -n*l = -9*l - 20 for l.
4
Suppose -20 = -y - 4*y, -3*n + 21 = 3*y. Let g(w) = 4*w + 5*w**2 + 4 - 3 - n*w. Let r be g(-1). Solve 0 = -r*v + v for v.
0
Let a = 12 - 6. Solve -5*j + 16 - a = 0 for j.
2
Suppose 2*d = 15 - 3. Suppose -s + d*s - 20 = 0. Let w(a) = -a**3 + 5*a**2 - a - 5. Let q be w(s). Solve -5*f + 3 = -q for f.
2
Let t be 1*-3 - (2 + -1). Let r(h) = h + 4. Let a be r(t). Solve a*l = -l - 1 for l.
-1
Suppose 5*t - 39 + 9 = 0. Solve t*w - 7 = 11 for w.
3
Let j = -9 - -13. Suppose 9 = 10*s - 11. Solve -j*t - 8 = -s*t for t.
-4
Let l(u) = -u**3 - 3*u**2 - 2*u - 3. Let w be l(-3). Suppose -w*a - a + 12 = 0. Solve 1 + 2 = a*g for g.
1
Suppose 0 = 2*g - 4*g + 10. Let i be ((-6)/5)/((-1)/5). Let j = i - g. Solve -4*d + j + 3 = 0 for d.
1
Suppose -3*q + 6 = -3. Let m be 4 - (0 + 0 + 2). Solve -7 = q*c + m for c.
-3
Let z = 84 + -77. Solve 9*i - z*i = 0 for i.
0
Suppose 0*v + 2*v = -8. Let w be v*2/((-12)/(-39)). Let n = 46 + w. Solve -2*o + 7*o = -n for o.
-4
Let o be 5*2*(-4)/(-8). Suppose -2*b = o*t + 15 - 2, -5*b + 20 = -5*t. Let l(w) = w**3 - w**2 + w - 1. Let k be l(b). Solve k = -4*j - j + 25 for j.
5
Let f be (3 + 0)/((-3)/(-4)). Let q(l) = -l**3 - 2*l**2 + 2*l + 1. Let z be q(-3). Let v = 25 + -9. Solve z*k - f = v for k.
5
Suppose 0 = 2*p + p - 3. Solve -2*b = -p - 1 for b.
1
Suppose -5*j = -8*j. Suppose 5*r - 12 - 13 = j. Solve r*c - 7 = -2 for c.
1
Suppose 4*m - m + f - 11 = 0, -31 = -3*m - 5*f. Let s(r) = 2*r - m*r - 1 + 5*r**2. Let j be s(1). Solve -j*q + 10 = -2*q for q.
5
Suppose 4*f = 2*f + 32. Let k = -10 + f. Solve -b = -k*b + 25 for b.
5
Suppose -5*x + 2 = -3*x. Solve -a + x - 6 = 0 for a.
-5
Suppose 4*n - 3*f - 24 = 0, 5*f + 4 = 4*f. Solve -2*v + n = -7 for v.
5
Let q(y) = -y**3 + 7*y**2 + 2*y