be i(3). Let b = k + 44. Solve b = -h + 3 for h.
1
Let x = 19 + 15. Let g = x + -22. Suppose -3*i = i - g. Solve i*r = r + 10 for r.
5
Let i be ((-141)/2 + 3)*-2. Let y = 212 - i. Suppose 0 = -6*p + 4*p - r + y, -5*p = -5*r - 155. Solve 11 - p = 5*f for f.
-5
Let y = 68 + -69. Let i be 0/(-4) - y*5. Solve -8 = 3*n - i*n for n.
4
Suppose -2*d + 4 = -y, 4 = 5*d - 3*y + 2*y. Solve 10 = 2*j - d*j for j.
5
Suppose 5*w - 95 + 50 = -5*b, 2*w - 36 = -4*b. Solve -b*d - 33 = -20*d for d.
3
Let n be (-2)/(-7) + (-2)/7. Suppose 0 = -i - 4*i - 25. Let q(w) = -w**3 - 4*w**2 + 3*w - 10. Let j be q(i). Solve n = -j*p - 4*p for p.
0
Suppose 3*z + 3*p - 32 = 2*p, -3*z + 26 = -2*p. Suppose -5*n + 25 = 0, 5*u + 15 = -n + 4*n. Solve u = -2*l - 0*l - z for l.
-5
Suppose -c + 1 = -w, 3*c + 3*w = 2*c + 9. Let k(h) = -5*h - 55. Let y be k(-14). Solve 0 = -0*b + c*b + y for b.
-5
Suppose -25*o = -2*o - 276. Solve 9*q - 5*q + o = 0 for q.
-3
Let p(v) = -3*v**2 - 7 + 0*v**2 - v**3 + v**2. Let q = 34 + -37. Let c be p(q). Solve -c*s - 3*s = 15 for s.
-3
Let y(d) = -6*d - 33. Let x be y(-6). Suppose -2*i - o + 16 = -5*o, -i = o - 5. Solve 9*g = i*g - x for g.
-1
Suppose 3*z + 2*z + 173 = -3*y, 0 = 3*z + 3*y + 99. Let l = 41 + z. Solve 12 = -l*f + f for f.
-4
Suppose 28 = 1936*x - 1929*x. Let b be 4*-2 - -1 - -2. Let i be (-2 + b/(-3))*-9. Solve -x + 1 = -i*y for y.
1
Suppose -4*s + 5 = -5*r - 0*s, -r + 4*s - 17 = 0. Let p(y) = 2*y - 4. Let b be p(r). Solve b*w = -w + 6 for w.
2
Let g(k) = -k**3 + 8*k**2 + 9*k - 1. Let h be g(8). Let w = -69 + h. Solve 4*d - w*d + 8 = 0 for d.
-4
Let j(f) = 9*f - 18. Let w be j(2). Suppose 3*n - h = 30, -n + 5*h - 2*h + 18 = w. Solve 5*q = n*q - 20 for q.
5
Let c be 0 - (-80 - -3)/7. Solve j = -6 + c for j.
5
Let y be (-4)/54 - 377/(-351). Solve 0 = 36*b - 37*b - y for b.
-1
Suppose -5*n = -8*n + 9. Solve -2*w - 10 = n*w for w.
-2
Suppose 181 = 37*o - 4. Solve 13 + 12 = -o*z for z.
-5
Let i be (-27 - -3)/(1 + -3). Suppose 11*b - i*b + 3 = 0. Suppose 0 = -5*c - b*f - 9, 4*c = c - 5*f - 15. Solve c = -5*m - 10 - 15 for m.
-5
Suppose -4*q + 53 = -5*z, -4*q = 2*z - 5*z - 51. Suppose q*c = 9*c + 30. Solve j = -4*j + c for j.
2
Let r = -16 - -26. Suppose 0 = -3*c - 2*g + r, -5*g - 38 = -3*c - 0*c. Suppose -4*j + 22 = c. Solve j = -t + 2*t for t.
4
Suppose 0*v = -7*v + 56. Suppose -4*x + 3*z = -16, -4*x + 2*x + 5*z + v = 0. Solve -1 + 5 = x*f for f.
1
Let x(u) be the first derivative of u**3/3 + u**2 + 17. Let n be x(-2). Solve 6 = -2*a - n for a.
-3
Let i(n) = n**2 - 3*n. Let m be i(6). Solve -21*x + m*x = 0 for x.
0
Let r = 284 - 259. Solve 0 = -2*n - 3*n - r for n.
-5
Let s(w) = -4*w + 2. Let d be s(-3). Suppose -d = -7*u - 0*u. Solve z + 15 = -u*z for z.
-5
Let x be ((-38)/(-1))/(-1 - 0). Let n = 40 + x. Solve -n*s = -0*s - 6 for s.
3
Let h = 56 + -65. Let n(k) = -k**2 - 11*k - 8. Let v be n(h). Solve -c = 4*c - v for c.
2
Let k be (-90)/(-25) + -3*(-18)/135. Solve -5*i + 9*i - k = 0 for i.
1
Suppose -1 = i - 4. Let j(k) = 7*k + 35. Let d be j(-4). Suppose 6*n - d*n + i = 0. Solve 2*a - n*a = 0 for a.
0
Let z be 4 - (3/(-1) - -2). Suppose -h + z = -0*h - 2*o, 0 = -5*h + 5*o + 25. Let l(s) = -s**2 - 6*s. Let p be l(-6). Solve p = -h*d - 7 + 22 for d.
3
Let p(b) = b**3 + 9*b**2 - 8*b + 20. Let y(v) = 9*v**3 - v**2 - 2*v - 2. Let w be y(-1). Let d be p(w). Solve d*f = -3*f for f.
0
Suppose 2*k = -3*d + 17, d + d + 2 = 2*k. Let p(v) = 3*v - 6. Let j be p(2). Let c(t) = 2*t + 42. Let b be c(-20). Solve j = -b*n - d*n - 25 for n.
-5
Suppose -10*g - 14*g = -24. Let u = -2 - -4. Solve g = a - u for a.
3
Suppose 5*f = 4*b - 47, -2*b - 4*f + 7 = 3. Suppose 5*x = 3*l + 15, 38 - 8 = 5*x. Solve -b = l*i - 28 for i.
4
Let m(t) = t**2 - 3*t + 12. Let p be m(0). Suppose 3*o = o - 14. Let x = p + o. Solve -5 - 5 = -x*f for f.
2
Let d(i) = i**2 - 42*i - 215. Let b be d(-5). Solve b = -3*m + 26 for m.
2
Let q(x) = x + 16. Let i be q(-11). Let k = i - 1. Suppose -4*n + 2*p + k = 0, -n - p = 3*n - 4. Solve 3*t = n - 4 for t.
-1
Suppose 3*t - 4 = 2. Let m = -9 - -5. Let r(c) = -c**2 - 3*c + 4. Let u be r(m). Solve u = -4*q + t*q for q.
0
Suppose -4*b + 3 - 35 = 0. Suppose 5*a - 162 + 7 = -5*d, -2*a = -5*d + 190. Let h be (-114)/(-27) + b/d. Solve -4*f + 4 = -h for f.
2
Suppose -2*d - 4*m + 0*m + 20 = 0, -3*m = -6. Solve -2 = -d*l + 4 for l.
1
Suppose 12*v - 10 = 7*v. Solve -v*n + 0*n = -10 for n.
5
Let f = 46 - 45. Solve 2 = -3*m - f for m.
-1
Suppose -100 = -5*d - 2*m, 0*d + 60 = 3*d + 3*m. Let q = 24 + -29. Let k be q/(-2)*32/d. Solve -j - 3 = -k for j.
1
Suppose -16 = -3*o - 10. Let x = o + 1. Solve 0*r - 9 = -x*r for r.
3
Suppose -425*g = -421*g. Solve 4*q + 4 = -g*q for q.
-1
Suppose -16*b + 13*b - 5*s + 35 = 0, 3*b + 3*s - 33 = 0. Solve -4*i - 2 = -b for i.
2
Let o(h) = 2*h**3 + 7*h**2 + 6*h. Let b be o(-2). Let x be -2 + 8/(-12)*-6. Solve -x*y - 5 - 1 = b for y.
-3
Suppose -4*p + 4 = 0, 3*t = -4*p + 4 + 6. Suppose d = -r - 3, 0 = -3*r + t*r - 3. Solve d = -8*z + 3*z + 20 for z.
4
Let r = -426 + 451. Solve 13 = 6*v + r for v.
-2
Let m = 9 - 4. Suppose 0 = m*t - 0*t + 70. Let n = t - -15. Solve w - n = 1 for w.
2
Let z(v) = v**2 + 7*v - 12. Let r be z(-10). Suppose 0 = -4*j + 7*j - r. Solve -2*b - j = -2 for b.
-2
Suppose 0 = -5*n + 4*n - 5*n. Solve -2*u + 8 + 0 = n for u.
4
Let y(a) = -a**3 - 5*a**2 - 3*a - 1. Suppose -2*o = -6*o - 12. Let u be y(o). Let v be (-2)/6 - u/30. Solve v*w - 3*w = 0 for w.
0
Let k = 3108 - 3108. Solve 251*a - 259*a - 40 = k for a.
-5
Let v(z) = -z**2 + 57*z - 149. Let q be v(3). Solve 7*a - 8 = q for a.
3
Let s = -21 + 4. Let h = 29 + s. Let f = h + -12. Solve f = -2*x - 2*x + 12 for x.
3
Let w = -153 - -155. Let j(b) = -b**2 + 7*b. Let a be j(7). Solve a = h + w*h + 6 for h.
-2
Let w = -1147 - -1174. Solve -w = 43*d - 52*d for d.
3
Suppose 2*d + l = 4 - 17, 4*d = 2*l - 6. Let v(z) = z**2 + z - 8. Let q be v(d). Let k be (-56)/(-9) + 4/(-18). Solve -n + k = q for n.
2
Suppose 1 = -19*o + 58. Solve o*s + 6 = 5*s for s.
3
Let q(i) = i**2 - 10*i + 13. Suppose -2*v + 3 = 8*z - 3*z, 5*z = -15. Let b be q(v). Solve 8 = 4*h - b for h.
3
Suppose -5*d - 13 = -23. Suppose 0 = -2*q - x + 15, -3*x + 5*x - 12 = -d*q. Solve -3 - q = 3*z for z.
-4
Suppose 14*j - 35 = -7. Let c(m) = 3*m**3 + m**2 + m - 1. Let a be c(1). Solve -a*x = -j*x - 8 for x.
4
Suppose -3*v - 3*t = -12, -2*v + 2*t - 24 = -32. Let o(k) = -k**3 + 4*k**2 - 2. Let l be o(2). Solve -q - v = -l for q.
2
Let d = 19 - 10. Let f be (4 - (4 - 1 - 16)) + -4. Suppose d*p = f*p. Solve p = -m + 2 + 1 for m.
3
Suppose -2*z - 6 = -30. Suppose 3*x - z = 0, -4*p = -3*x + 9 + 3. Suppose 4*t = -1 + 9. Solve b + t*b - 6 = p for b.
2
Let h = -17 - -13. Let s be h/24 + (-53)/6. Let v = s - -11. Solve -v*y + 0 + 2 = 0 for y.
1
Let h(l) = -9*l - 20. Let t(q) = q**2 + q + 1. Let g(r) = h(r) - t(r). Let d be g(-7). Solve k + 1 = -d*k for k.
-1
Let w = 138 + -137. Suppose -5*d = -4*n + 2, n + 10 = 3*n + 2*d. Solve -2*r + n = -w for r.
2
Let o = -131 - -135. Solve -15 = -o*b + 5 for b.
5
Suppose 4*k - 23 = -5*m, -5*k - 2 = -4*m - 0. Solve 0*l + m = l for l.
3
Suppose -6*z + i - 12 = -2*z, 5*z + 2 = -2*i. Let a be z + 3 + (3 - 2). Suppose -5 = -3*p + a*p. Solve 2*n = -3*n - p for n.
-1
Suppose 16*o + 32 = 32. Solve o = -5*a + 3 - 28 for a.
-5
Suppose 0 = 2*y + 8. Let d be y/(-7 + -1) + 1/2. Solve 1 = -b - d for b.
-2
Let l be 3*((-20)/(-12) + -1). Suppose 0 = 3*a - 4*q - 20, 3*q + 2*q = -l*a - 25. Solve -d - d - 4 = a for d.
-2
Suppose 3*j + 45 = 5*c, -5*c = 2*j + 24 - 69. Solve -9*g = c*g + 72 for g.
-4
Suppose 4*f - 5*w + 3 = 6, -w + 26 = 3*f. Suppose 2*h = -4*t + 4, 4*h - 12 = 3*t - f*t. Let m = 11 + -7. Solve -m*a - h = -0*a for a.
-1
Let m = -1681 - -1729. Solve -m + 4 = -22*p for p.
2
Let u = 115 + -84. Solve 29 = -b + u for b.
2
Suppose 4*c + c = -5*v + 640, -5*c = v - 628. Let k = c - 120. Suppose -5*s = -2*q - 52, 4*q = -3 - 1. Solve -k*g = s + 10 for g.
-4
Let b(s) = s + 15. Let j = 25 + -38. Let v be b(j). Solve 0 = v*f - 10 + 2 for f.
4
Let x be (-16)/24 + 2/3. Let l be (x/(-11))/(1 + -3). Solve 20 = -4*s - l for s.
-5
Let b(d) = -6*d - 9. Let o be b(-2). Suppose -4 = 2*a - 0*j + o*j, 2*j + 12 = a. Solve -t + a*t = 12 for t.
4
Let y(w) = w + 8. Suppose 0 = 2*l - 2 - 4. Suppose -l*t - 60 