 d = -272 - -276. Solve -d = c + 3*c for c.
-1
Let n(a) = -a**3 + a**2 + a - 4. Let w be n(-3). Suppose 0 = -5*q - 3*m + 57, q + m + 4*m = w. Suppose 4 = -5*x + q. Solve -3*p - x = -10 for p.
3
Suppose 2 = h + 4*f, -f + 5 = 2*h - 6. Solve 4*u = -h + 10 for u.
1
Let b(k) = 7*k**2 + 4*k + 3. Let a be b(-1). Suppose a*o - 135 = -3*o. Solve 0*w + 3*w = -o for w.
-5
Suppose -68 = -18*h + 40. Solve h = -4*g + 14 for g.
2
Let s(l) = -2*l + 46. Let n be s(30). Let t = -32 - -4. Let j be 8/t + (-18)/n. Solve q + j = 3 for q.
2
Suppose 0 = 3*k - 4 + 1. Suppose 3*v + k = 4*a, 5*v - a = -2*a + 6. Suppose -4*l + m = -12, -1 + 9 = 5*l - 3*m. Solve v = -l*p + 9 for p.
2
Let g(i) = i**3 + 20*i**2 - 36*i + 180. Let u be g(-22). Suppose 0 = -4*s + 136 - 20. Solve 5*f + s = u for f.
-5
Suppose 16 = 4*p + 5*x - 8, 2*x + 8 = 0. Let g = -11 + p. Let c = 12 + -7. Solve g*j + j = -c for j.
-5
Let i(o) = o**2 + 7*o - 12. Let v(d) = -3*d**2 + 8*d + 7. Let r be v(4). Let t be i(r). Let p be (2/2 - 1)/2. Solve p + t = -2*h for h.
-3
Let j(y) = y**3 + 10*y**2 + 10*y + 10. Let f be j(-9). Let n be -1 + (f + -2)*-22. Suppose n = -r + 4*r. Solve 0 = 2*a - 1 - r for a.
4
Suppose b - 3*s - 52 = 0, 4*s - 3*s = b - 60. Suppose -14*a + b - 22 = 0. Solve -2*v + a = -5*v for v.
-1
Let s = 3 + -3. Suppose 0 = 2*w + 6 - 0. Let i be (-1 - (-5 - w))/(2/12). Solve s = -z + i*z for z.
0
Let q(n) = 3*n**2 + 3*n**2 - n - 3*n**2 - 2*n**2 - 4. Let l be q(3). Solve -s - l = -2*s for s.
2
Suppose 0 = 190*g - 170*g - 480. Solve -g + 6 = -18*o for o.
1
Let j be (-8)/76 - (-168)/152. Solve 6*z - j = -13 for z.
-2
Suppose -b + 2*b + 5*x = 9, b - 2*x = 2. Suppose 0 = 2*v - 5*i - 25, -6 = -5*v + 3*i + 9. Solve v = b*t + t + 25 for t.
-5
Suppose -g - 6*g + 238 = 0. Suppose 37*t = g*t + 12. Solve 4 = -t*o + 3*o for o.
-4
Let o(h) = -h**2 - 9*h - 12. Let b be (8/(-12))/(1/9). Let s be o(b). Solve 0*y - 2*y = s for y.
-3
Suppose -379 = 4*l - v, -3*l + v - 251 - 33 = 0. Let s = l - -103. Solve 2 + s = 2*f for f.
5
Let c(z) = 2*z**3 + z**2 - 3*z + 2. Let s be c(1). Suppose 0*w = s*w + 42. Let j = w - -25. Solve -5*n - j + 29 = 0 for n.
5
Let n(v) = -v**2 - 6*v - 6. Let q be n(-4). Let f(a) = 14*a - q - 13*a + 0. Let r be f(2). Solve 20 = -r*l - 4*l for l.
-5
Let c = 12 + -15. Let q be -1 - c/((-9)/(-57)). Let l = q + -15. Solve -f + l - 1 = 0 for f.
2
Let s = 11 - 4. Let t(w) = 3 + 2*w**2 + 3*w - w - 3*w**2. Let k be t(2). Solve -5*x = s + k for x.
-2
Let r(l) = l**2 + 28*l + 44. Let f be r(-30). Suppose -92 = 3*z - f. Solve s + z = 1 for s.
-3
Suppose -i = i. Let f(z) = z**2 + 8*z - 9. Let m be f(-9). Suppose -2*o = -5*o + 15. Solve m = -i*k - 5*k + o for k.
1
Let l(c) = -50*c - 200. Let f be l(-4). Solve f = -6*j + 9*j for j.
0
Suppose 0 = 4*z - 2*z. Suppose -4*n + 0*h + h + 12 = z, h + 8 = 3*n. Suppose -5 = v + v - 5*c, -v - n = -3*c. Solve -v = -4*t + 3 for t.
2
Let s(v) = -2*v - 11. Suppose 3*b - 7*b + r = 33, -5*r = -4*b - 53. Let o be s(b). Solve o = -u + 4 for u.
1
Let w(t) = 3*t - 38. Let z be w(11). Let v be 2 + -1 + 5/z. Solve v = n + 1 - 3 for n.
2
Suppose 5*w = 62 - 17. Suppose -33*g + w = -30*g. Solve 2 = -5*p - g for p.
-1
Let f(y) = -8*y - 8. Let t be f(-1). Solve 4*v + t = -12 for v.
-3
Let x = -180 + 184. Solve -o = -x*o + 3 for o.
1
Let z(j) = -j**3 + 9*j**2 - 5*j + 6. Let x be z(5). Let p be (-18)/x - 166/(-18). Solve -4*b + b + p = 0 for b.
3
Let x be 0*(135/162 + 8/(-6)). Solve x = 12*y - 18 + 78 for y.
-5
Let s(u) = u**2 + 5*u + 7. Suppose 0 = -c - 5 + 1. Let f be s(c). Solve f*n = -0 - 3 for n.
-1
Let u be 5 + ((-3)/4)/((-5)/(-20)). Let k(j) = -j**2 - 3*j + 6. Let f be k(-4). Solve -f*t = -0*t - u for t.
1
Suppose 2*a = 23*o - 25*o + 14, 3*a = -2*o + 18. Solve 0 = -2*p - o*p + 15 for p.
3
Let c(i) be the third derivative of i**4/12 + i**3/3 + 2*i**2. Let m be c(4). Let a be -7 + (-790)/(-110) - 126/(-33). Solve -a*w = w + m for w.
-2
Let s be 12/5 + (-3)/(-5). Suppose -3 = -r + 2*c + 6, -2*c = 4*r - 16. Let m = -179 - -187. Solve r*z + m = s for z.
-1
Let m(v) = v - 3. Let n be m(0). Let i(d) = -d**2 - 3*d. Let o be i(n). Solve 0*u + 4*u = o for u.
0
Suppose -4*p - 17 + 45 = 4*m, -2*p + 5*m - 21 = 0. Suppose 3*h + 21 = 2*u, u + 3*h + 5 + 7 = 0. Solve -p*x = x + u for x.
-1
Suppose 0 = s + 9*y - 7*y - 9, 2*y + 6 = 2*s. Solve 5*v - s + 0 = 0 for v.
1
Suppose 6 - 4 = o + 2*k, -5*k = 15. Solve 7*y + o = 9*y for y.
4
Let g be 4/(-6) + (-16)/(-6). Suppose 1 - 7 = -g*t. Solve -t*z = -2*z for z.
0
Let s = 13 - 60. Let h = -45 - s. Solve -h*p + 0*p = -8 for p.
4
Suppose -k + 41 = 4*d, 3*d = d - 4*k + 10. Solve 0 = -2*x + x + d*x for x.
0
Suppose -2*u + 3 = -5. Let z(d) = d**2 + d - 4. Let q be z(-3). Suppose -12 = -3*b + 3*h, -4*b + 4 = 3*h + q. Solve u = -b*f + 2 for f.
-1
Suppose -d = 3*h, -3*h - 4*d = 2*h. Let u = 344 + -340. Suppose -w + u = h, -w + 20 = 4*p + w. Solve p*b = 4*b for b.
0
Let j(y) = 2*y - 25 + 21 + 2*y. Let p be j(3). Suppose -4*g = -0 - p. Solve -4 = -g*m + m for m.
4
Suppose 6*j = -96 - 240. Let o = 59 + j. Solve 0 = -2*s + o + 7 for s.
5
Let b = -3 - -5. Let k = -400 + 403. Solve 0 = -b*i - k + 1 for i.
-1
Let q = -66 + 40. Let b = q - -28. Solve 0 = -b*w - 3*w for w.
0
Let n(a) = 7*a + 1. Let o be n(-1). Let m = o + 10. Let b = 11 + 8. Solve -m + b = 5*h for h.
3
Suppose 4*t - 3*t + 5*h = -3, -4*h + 4 = 4*t. Let y(n) = 2 + 6*n**3 - n + 0*n**3 - 3*n**3 - 2*n**3 - n**t. Let r be y(0). Solve -o = -r*o + 1 for o.
1
Let m = -5 - -17. Let k be -4*2*(-3)/m. Let u be 7/4 + 6/(-8). Solve k*x + 5 = u for x.
-2
Let j = 2 - 2. Let b(v) = -v**3 - 7*v**2 - 8*v + 14. Let n(i) = -i**2 - i + 1. Let m(a) = b(a) - 6*n(a). Let z be m(0). Solve j = -w - w - z for w.
-4
Let d(h) = h**2 + 7*h + 9. Suppose 2*j + 19 - 7 = 0. Let f be d(j). Suppose 0*s = f*s. Solve s = -v - 4 + 9 for v.
5
Suppose 6*d - 40 = -4. Let x(r) = -2*r - 3. Let m be x(-3). Suppose m*v - d = -0. Solve v*h - 1 = h for h.
1
Suppose a = m - 8, -2*m - 32 = 3*a - 7*m. Suppose 3*y - 3 = -15. Let k = a - y. Solve -6 = -k*q + 3*q for q.
-2
Let w(r) = r**2 + 16*r + 19. Let u(t) = t**3 + 12*t**2 - 13*t - 15. Let q be u(-13). Let d be w(q). Suppose d*j - 12 - 28 = 0. Solve 7*s - j = 2*s for s.
2
Let b be 1/((3 - -1)/8). Let g(s) = -2 + s**3 + 7 - 13*s - 12*s**b + 6 + 0*s**3. Let w be g(13). Solve -36 + w = -5*u for u.
5
Let c = -23 - -23. Suppose c = -5*q + 25. Suppose 3 = -4*k + q*k. Solve 9 = -k*g + 6*g for g.
3
Suppose -2*u - 3*a + 7 = 0, -4*u + 13 = 4*a + a. Let l be (u - (-5)/(-2))*0. Suppose l = -2*n + 13 - 3. Solve 0 + n = 5*h for h.
1
Let r = 18 + -18. Let s(j) = j + 1. Let p(m) = -3*m - 4. Let u(x) = p(x) + 5*s(x). Let k be u(2). Solve -y - k = -r for y.
-5
Let j = 77 + -57. Suppose -j = -4*i - k, 3*k = 2*i - 0*k - 24. Solve -i = -5*b + 4 for b.
2
Let d = 33 + -17. Suppose 2*o = -0 + d. Solve 4*m = 2*m - o for m.
-4
Let c = 2 + 5. Suppose 2*o = -3*z + 21, 0 = 2*z - c*z - 5*o + 30. Solve 2*m - 1 = -z for m.
-4
Let f be 176/(-24)*(-18)/4. Let i = f + -27. Let w be 1 + -2 + (-4)/(-1). Solve i = w*l - 5*l for l.
-3
Suppose 0 = 6*r + 2*r + 24. Let y be (2 - 9 - -4)/r. Solve y = -k - 0 for k.
-1
Let m = 56 + -54. Suppose -m*f - 5*h + 4 = 0, -5*f = -2*h - 13 + 3. Solve -3*b = -f*b for b.
0
Suppose 4*p - 12*p + 24 = 0. Let x be 1/(-4) - 29/(-4). Let o = x - p. Solve -13 = -3*z - o for z.
3
Suppose 9 = 2*h + n, -h + 2*n = 3*h - 14. Solve 4*u = -h*u + 32 for u.
4
Let c be (2/3)/((-6)/(-9)). Suppose -2*l - 1 = c, 0 = -w + 2*l + 2. Solve w = -4*p + 6 + 10 for p.
4
Suppose 5*x = 4*h + 744, 4*h - 3*h + 300 = 2*x. Let o be x/(-5) + 6/15. Let n be (135/o)/(1/(-2)). Solve 0 = 2*f + f - n for f.
3
Suppose 0 = -9*c - c + 50. Let r = -4 + c. Solve 2*f = 1 + r for f.
1
Let u be (-4 - (-1 + -3)) + 3/(-1). Let h(c) = -c - 3. Let n be h(0). Let k be ((u - n)*-1)/1. Solve k = -7*g + 2*g + 10 for g.
2
Let i be (-2)/(-3)*(1 - -2). Let t be ((-104)/24)/(-13) - 2/(-3). Solve i*h - h = t for h.
1
Let p(l) = -l**2 + 48*l - 550. Let c be p(20). Solve -9 = -19*h + c for h.
1
Let z = -4 + 6. Let u be 42/8 - (-45)/(-36) - (-19 - -11). Solve z*j - 5*j + u = 0 for j.
4
Let n = -124 - -79. Let j = 45 + n. Let l be (-2)/(-6) - 10/(-6). Solve j - 2 = -l*d for d.
1
Let c = -27 + 29. Suppose -c*y = -y - 3. Solve -y*m + 15 = -0 for m.
5
Suppose 25*r = 22*r +