Let m be q(-5). Solve g - m*g - 5 = u for g.
-1
Let c be 3*(-2 + 39/9). Let w = c - 5. Suppose -4*t + 10 = -5*h - 10, -2*t + 10 = -3*h. Solve -5 = w*y + t for y.
-5
Let c = -76 + 85. Let f be (-6)/c - (-132)/9. Solve 0 = -5*g + f + 1 for g.
3
Suppose 3*t = -4*t + 105. Solve -15*a = -12*a - t for a.
5
Suppose 0 = d - 3*u - 0*u - 18, -4*u = 4*d + 8. Solve 0 = d*w + 14 + 1 for w.
-5
Suppose 2040 = 41*d - 7*d. Solve 0*c + 20*c + d = 0 for c.
-3
Let p = 106 + -93. Solve 3*v - p = 2 for v.
5
Suppose -64 = 67*l - 71*l. Suppose -3*t = -5*t + l. Solve 2*x - t = -2*x for x.
2
Let j(c) = -c**3 + 5*c**2 + 6*c + 2. Let n be j(6). Suppose a - 4*g + 16 = 0, g - 7 + n = 0. Suppose 0 = 3*d - 6*d + 6. Solve -d = -x - a for x.
-2
Suppose 9 = -3*b + 21. Suppose -9 = -5*f + 4*a, f + 2 = -f - b*a. Solve 0 = -4*m + 5*m - f for m.
1
Let s(t) = -t**2 + 9*t - 14. Let n be s(6). Suppose u - 5*v - 3 + 16 = 0, -20 = -4*u - n*v. Solve a = 3 + u for a.
5
Let d = 81 + -77. Solve -4*m - d = 12 for m.
-4
Let o be 1/(18/15 + -1). Let d(r) = r + 3. Let u be d(-3). Suppose u = -4*c + 3*a + o, 3*c + 6 = 7*c - 2*a. Solve -y - y = -c for y.
1
Let q = -19 + 17. Let w be 2/(-4) - (35/q)/7. Solve 2*c + w*c + 12 = 0 for c.
-3
Let h = -10 - -14. Let c(v) = 4*v + v**2 - v + v + h. Let p be c(-4). Solve s = p - 5 for s.
-1
Let x = -117 + 132. Solve 60 = -9*z + x for z.
-5
Let y(s) = 3*s - 166. Let h be y(56). Suppose 3*o - 45 = -2*o. Suppose f + h*m = 2*f - o, 3*f + m = 27. Solve 0 = -4*u - 7 - f for u.
-4
Let g(h) = -2*h**2 - 14*h + 19. Suppose 0 = 5*o + 2*m + 32, -o + m = -2*m + 20. Let q be g(o). Solve 4*u - 3*u + q = 0 for u.
-3
Let l(g) be the second derivative of g**4/12 - g**3/2 + g**2 + 7*g. Let r be l(5). Solve -2*p + r = 2*p for p.
3
Suppose -f + 3 = 4*d + 25, 5*d = -f - 28. Let t be (-106)/d - (-10)/(-15). Let w = t + -12. Solve -6*y = -w*y + 2 for y.
-2
Let p(t) = -t**3 + 10*t**2 - 5*t - 6. Let f be p(9). Suppose 0 = 5*s - 5*o - f, -4*o - 15 = o. Solve 0 = -2*n + 3 + s for n.
3
Suppose -l - u + 5 = 0, 3*l - 5 = l - u. Solve -3*j + l*j = 9 for j.
-3
Let z = 2694 + -2675. Solve 53*b - z*b = -136 for b.
-4
Let c = 147 + -144. Solve 0 = -8*n + c*n for n.
0
Suppose 511 + 574 = 31*t. Solve 41 = -3*b + t for b.
-2
Suppose 0 = 5*s - 13 - 2. Let q = 242 - 242. Solve -s*h - h + 8 = q for h.
2
Let z = -212 - -213. Solve -3*j = -2*j - z for j.
1
Let d = 373 - 342. Solve 29*y = d*y - 4 for y.
2
Let v be 24/(-132) - (-466)/22. Solve 0 = -v*d + 1 - 22 for d.
-1
Let b be 0*((-111)/148 + (-1)/(-4)). Solve b = 6*r + 4 - 4 for r.
0
Let c(a) = a + 12. Let x be c(-9). Suppose -p = -x*p. Solve -5*g + 2*g = p for g.
0
Let j be 1/1 + -3 + 24. Let u = j - 19. Solve -8*f + u*f = 0 for f.
0
Suppose -11*b + 3*b = -48. Suppose 0 = -3*u + y + 19, -3*u - 35 = -6*u + 5*y. Solve u*z = b*z for z.
0
Let c(q) = -q**3 + 13*q**2 + 10. Let a be c(13). Suppose -4 = -f + 1. Solve 5*i - a = f for i.
3
Let d(x) = 4*x. Let h be d(2). Let y = -409 - -409. Solve y = 2*b + 2*b + h for b.
-2
Let f = 929 + -914. Solve 7*g - 6 = f for g.
3
Let h = 400 - 400. Solve 8*r = -h*r + 40 for r.
5
Let d = -46 + 46. Suppose 2*v + 0*v + 4*v = d. Solve v = 2*u - 7*u + 25 for u.
5
Let a = 98 + -32. Suppose -5*i = -4*h - 63, 4*i + 3*h - h - a = 0. Solve i = 4*c + c for c.
3
Let p be (-4 + (-14)/(-4))*98. Let i be p/(-21) - (-3)/(-9). Solve i*k + 2*k = -4 for k.
-1
Suppose 10*f + 8*f - 162 = 0. Solve -f*z + 12*z - 6 = 0 for z.
2
Let s = -2 - -5. Suppose z + 3 - 12 = 0. Suppose 4*x - x - z = 0. Solve -x*l = -6*l + s for l.
1
Let c(k) = 2*k**3 - 4*k**2 + 4*k - 4. Let j be c(2). Let r = j + -2. Solve -4*y = -r*y for y.
0
Let f = 17 - -15. Suppose 26*r = f*r - 78. Solve 3*n + r = 1 for n.
-4
Let y be (15/(-9) - 342/54) + 13. Solve -z = y*z for z.
0
Suppose -30 + 2 = -4*t. Suppose -r + 3*z + 21 = 0, -3*r = -t*r + 4*z + 44. Solve 3*x + 0 + r = 0 for x.
-2
Let a(i) = -100*i - 775. Let f be a(-8). Solve 23 = -2*v + f for v.
1
Let q = -11 - 1. Suppose 5*p + 121 = -229. Let s be p/q + 2/12. Solve z + 2*z = s for z.
2
Suppose -5*y = f - 23, y + 2*f + 23 - 33 = 0. Solve -p + 2 = y for p.
-2
Let s = -7 - 0. Let p = s + 7. Suppose 5*t = o - 5*o, p = 5*t + o - 15. Solve t*a = a + 15 for a.
5
Let r(p) = -9*p**3 - 4*p**2 + 14. Let y be r(-2). Solve -5*f + 75 = y for f.
1
Suppose -4*u = -26 - 70. Suppose 0*p = -8*p + u. Solve -f - p*f = 0 for f.
0
Suppose 3*f - 2*f = 0. Suppose 0 = 4*w - f*w. Solve d + 0*d + 2 = w for d.
-2
Suppose -6*i + 28 = -20. Solve 0 = -4*a - 24 + i for a.
-4
Let v be 18/(-4)*2 - -1. Let z(l) = 7*l + 11 - 2 - 22*l + 6*l + 10*l. Let q be z(v). Solve 2*c - 11 = -q for c.
5
Let c(m) = 1 + 2*m + 0*m - 3*m. Suppose 3*i - 2*y + 6*y - 14 = 0, 0 = 4*i - 4*y + 28. Let h be c(i). Solve -h = k + 2 for k.
-5
Let g(a) = -16*a - 14. Let v be g(-5). Let t = v + -62. Solve -3*n - 10 = -t for n.
-2
Let k(a) = a**3 + 6*a**2 - 3*a + 31. Suppose -3*l + 29 = -2*m, -3*l + l + 24 = -2*m. Let g be k(m). Solve 2*i + g*i = 25 for i.
5
Let m(l) = -l**2 - 2*l - 1. Let v be m(2). Let o be (-1)/v + (-159)/(-27). Solve -y + 4*y = o for y.
2
Let u = 10 - 9. Suppose 39 = 3*z - f, -f - 2 = u. Suppose -7 = -4*x - h, z = -x - 2*h - h. Solve 0*s = x*s - 15 for s.
5
Let z(s) = -2*s**2 - 63*s - 27. Let n be z(-31). Solve -6*o = -n*o - 2 for o.
1
Suppose 2*w - 24 = -w. Suppose -q - 5*y - 10 = -3*q, 0 = 2*q + 5*y - 10. Solve w = a - q*a for a.
-2
Let d = -50 + 54. Let j(k) = -5*k**3 + 5*k**2 - 9*k + 2. Let n(s) = s**3 + s + 1. Let q(r) = j(r) + 4*n(r). Let g be q(d). Solve g*c = -2*c - 8 for c.
-2
Let u(v) = v**2 - 10*v - 118. Let f be u(17). Solve -d + 2 = f for d.
1
Suppose -2*b - 3*g - g = -24, -4*b = -5*g + 17. Solve b*f - 5 - 5 = 0 for f.
5
Let q be (-3)/(-9)*(-23 + 26). Solve q = -2*m - 1 for m.
-1
Let b be (-2 - 28/(-12))*(1 + 8). Solve b + 2 = -m for m.
-5
Let w = 653 + -652. Solve -7 + w = 3*h for h.
-2
Let x be (1/(-2))/(1/(-58)). Let n = x + -25. Solve -3*c + n = -c for c.
2
Suppose 1 = -4*r - 7, -2*r = 3*d - 17. Solve -2 = d*k - 6*k for k.
-2
Let c(b) = -b**3 + 59*b**2 - 113*b - 52. Let u be c(57). Suppose -2*t = -p + 12, 0*t - 9 = p + 5*t. Solve -p*l = -l - u for l.
1
Suppose -4*c - 4*a = 71 - 3, -5*c + 5*a - 45 = 0. Let p = c - -38. Solve -5*i + 0*i = -p for i.
5
Suppose 0 = 3*i - 2*p - 6, -5*i + 2*p = -12 - 2. Suppose -4*w - o + 17 = 0, -4*w + 22 = -2*w - i*o. Suppose 13 = w*l - 17. Solve 4*k - l = -22 for k.
-4
Let c = 387 + -384. Solve 4*u + 3 = c for u.
0
Suppose -8*f + 11 = -7*f. Suppose -q + 16 = f. Solve k = q*k for k.
0
Let c(h) = h**2 - 12. Let l be c(8). Let m = -49 + l. Solve 0*f = -m*f for f.
0
Suppose 5*b - 4*q - 19 = 0, 0 = -4*b - 4*q + 13 - 5. Suppose 0 = 27*h - 33*h. Solve b*t + h*t = 3 for t.
1
Let w(b) = 6*b**2 + b + 1. Let i be w(-1). Suppose 0 = -i*j - 5 + 17. Solve 2*g + 0*g - j = 0 for g.
1
Suppose -12 = -y - 15, -3*s - 2*y + 36 = 0. Solve -10*v + s*v = 20 for v.
5
Let r(x) = x + 12. Let h be r(4). Let u = 20 - h. Solve 4 + 0 = u*p for p.
1
Suppose 13*i - 17*i = -16, 5*u - i = 56. Solve 14*j = u*j + 6 for j.
3
Let i = 668 - 625. Solve -i*l + 6 = -41*l for l.
3
Suppose 0 = 3*l - 5*d - 36, 6*l - d - 38 = l. Let v = l - 4. Solve v*t = -2*t + 5 for t.
1
Suppose -2*k - 5*c + 39 = 0, 5*k + 4*c = 33 + 39. Let n = -3 + 5. Suppose 6*b - n*b = 0. Solve -k = 3*w - b*w for w.
-4
Let y be 1/(3/4)*3. Let l = 56 - 47. Solve -5*a = -y + l for a.
-1
Suppose 20*j - 15*j - 2 = 2*v, -5*v = -5*j - 10. Solve v*c + 12 = -0 for c.
-3
Let h be (1 - 150/(-16)) + (-123)/328. Solve -7*n + h*n = -15 for n.
-5
Suppose -2*z - 4*j = -2*j - 122, -5*z - 3*j + 303 = 0. Suppose y = -4*y + z. Solve 7*m - 4*m = -y for m.
-4
Let y = 13 + 11. Suppose 5*h = 2*x - 1 + y, 3*x = 5*h - 22. Solve -h*a - 15 = 10 for a.
-5
Let k be 0/(-2) - -1*1. Suppose -5*m + 11 = 4*z, z + 7*m - 2*m + k = 0. Solve h + z = 5*h for h.
1
Let m(j) = -8*j + 22*j + 1 - 11*j. Let x be m(1). Solve -14 + x = 2*f for f.
-5
Let h = -5 + 8. Suppose f = -h*n + 2*n - 2, -4*n - 13 = 5*f. Suppose -5*c + 8 = -4*m + 3*m, 0 = n*m + 3*c - 12. Solve -3*j - 5 + m = 0 for j.
-1
Let r be 2 + (2 - 4/(-4)). Solve -5 + 20 = r*w for w.
3
Let h = 23 + 2. Let y = h + -18. Suppose 5*i - 3 = 3*u, 0 = -u - 3 + y. Solve g = 2*g - i for g.
3
Let k(c) = -2*c**3 + 10*c**2 + 12*c + 4. Let i be k(6). Solve 2 = 2*z + i for z.
-1
Suppose 