
Let g(r) = r**2 + 31*r + 237. Let l be g(-13). Solve -15*p + l = -12*p for p.
1
Suppose -24 + 375 = 5*f - t, 0 = 3*f + 4*t - 206. Solve -f*h + 56*h - 28 = 0 for h.
-2
Let h(f) = -2*f**2 + 93*f + 1416. Let q be h(-12). Solve -547*p = -553*p + q for p.
2
Let k(o) = -o**2 - 44*o + 398. Let r be k(-52). Let q(y) = -3*y**2 - 56*y - 34. Let g be q(r). Solve -g*w - 57 = -51 for w.
-3
Suppose -5*n - 5 = -0*n + 4*m, n - 3*m = 18. Let u(z) = z**3 - 7*z**2 + 5*z + 8. Let j be u(6). Suppose -n*r = -j*r + 4*r. Solve r = 5*v - 7 + 32 for v.
-5
Suppose 0*g - 3*g - 6 = -j, -5*g - 10 = j. Suppose j = -9*u + u + 16. Solve -u*q - 3 - 1 = 0 for q.
-2
Suppose -3 = 3*s + 4*n, 5*n = -9*s + 7*s - 9. Suppose -l - s*o = 10, 13 + 7 = 2*l - 2*o. Solve -l*p = 13 + 2 for p.
-3
Suppose 0 = -3*n + 369 - 78. Let s = n + -95. Let m(o) = o**3 + 4*o**2 - 2*o - 2. Let x be m(-2). Solve -s*g = 3*g - x for g.
2
Let d(l) be the third derivative of -l**4/12 - l**3/2 + 37*l**2 - 2. Let t be d(-3). Solve -2*i + t = 9 for i.
-3
Suppose -5*f - 4 + 14 = 0. Suppose -2*n + 8 = f*z, -n - 1 = 3*z - 9. Solve -4 = z*u - 4*u for u.
2
Suppose 28 + 152 = 18*r. Suppose -r*p + 48 = 2*p. Solve 2*g - p = 3*g for g.
-4
Let v = -17835 - -17846. Solve -v*w = -20*w - 36 for w.
-4
Let v(l) = -8*l - 33. Let f be v(-6). Let b be 24/f - 27/45. Let c be b*(5 - (1 + 2)). Solve 8 = c*q + 6 for q.
1
Let r(b) = b**3 - 24*b**2 - 84*b + 85. Let m be r(27). Solve -40*n + 39*n - m = 0 for n.
-4
Let y be (-5 - -3) + -5 + 13 - -10. Solve 0 = y*j + 2*j - 36 for j.
2
Let p be (-78526)/(-77) - ((156/44)/(-3) + 1). Solve -p*j = -1013*j + 14 for j.
-2
Let x = 2542 + -2542. Solve 5*p - 229 + 209 = x for p.
4
Suppose -19*d - 54*d + 4510 = 9*d. Solve -12*k + d*k = 0 for k.
0
Suppose 4*a - 2*k = -530, -4*a + 4*k + k - 527 = 0. Let l = -112 - a. Suppose 0 = 2*j - l - 3. Solve i + j = 4*i for i.
4
Suppose -40 = -248*i + 243*i. Suppose -121*t - i = -125*t. Solve 2*b = -6 - t for b.
-4
Suppose -3*n = 5*i - 75, 5*i - n - 53 = 2. Suppose 16 = 5*r + 4*v, -4*v - 1 = -3*v. Solve i + r = 4*c for c.
4
Let a(i) = -i**3 + 4*i**2 - 3*i + 3. Let d be a(4). Let n(k) = 2*k**3 + 18*k**2 + 2*k + 20. Let f be n(d). Solve 0*u = -f*u - 4 for u.
-2
Let d be (-5 - 0)*(66/(-110))/3 + 2. Let b be -1 - -2 - (2 + -3). Solve b*j = d*j for j.
0
Suppose -c - 4*c - 2*r - 8 = 0, c - 4*r - 16 = 0. Let k(m) = -m**3 + m + 5. Let j be k(c). Suppose j*y = -x + 16, 5*y + 5*x + 6 = 26. Solve g - 4*g = y for g.
-1
Let d be (6/30 + 21/45)*72/16. Solve -11 + d = -4*o for o.
2
Let p(m) = m**2 + 13*m - 558. Let s be p(-31). Solve s = 3*i + 72 - 57 for i.
-5
Let n(d) = d**3 + 10*d**2 - 12*d - 11. Let s be n(-11). Let f(j) = -2*j**3 + 48*j**2 + 48*j + 50. Let v be f(25). Solve s*y + 4*y - y = v for y.
0
Let w = 383 - 234. Let k = -149 + w. Solve -9 + k = 3*d for d.
-3
Let x = 18 + -20. Let s(f) = -f**2 - 6*f - 6. Let k be s(x). Suppose k*t = -t. Solve t = 5*g - 2*g - 3 for g.
1
Let h be (11 + -3)*(2 - 15/6). Let p = h - -13. Suppose 0 = -0*y + p*y - 36. Solve 3*w = y*w for w.
0
Let y be 9 - -1 - -2*6/(-4). Let b(u) = u**2 - 10*u - 4. Let o be b(y). Let i = o - -30. Solve -2 = i*q + 3 for q.
-1
Let o be ((-2)/(-5))/((-5)/(-75)). Suppose -4*j + 0*j + 4 = 0. Let h be j/3*o + -1. Solve h + 14 = -5*w for w.
-3
Let g(u) = u**3 - 33*u**2 + 45*u + 9. Let a be g(0). Suppose 0 = -3*x - 5*o - 10, -5*o - 6 - 4 = -x. Solve x = 5*y + 19 - a for y.
-2
Suppose -2 = 10*r - 8*r - 7*p, 4*p = -2*r + 42. Solve r*b + 92 = 36*b for b.
4
Let u = 3482 + -3461. Solve 27*j - 336 = -u*j for j.
7
Let d be 56*(11/(-2) + 6). Suppose -2 + 26 = 4*c - 5*h, -c + 23 = 3*h. Solve -4*s + c*s = -d for s.
-4
Let p(l) = 10*l + 66. Let s be p(-4). Suppose -s*u - 79 = -287. Solve -11*f + u*f + 3 = 0 for f.
1
Suppose -3*b - 2*p = -1 + 4, -p + 18 = -5*b. Let c = 8 + b. Let d = -415235 - -415242. Solve -c*r + d = 22 for r.
-3
Let o be (-10)/(-4)*(-4068)/(-565). Solve -248 = -49*b + o*b for b.
8
Suppose 0 = 172*v - 364 - 840. Let f = -26 + 29. Solve v*t + f = 6*t for t.
-3
Let y = 56758 - 56753. Suppose d = 3*v - 16, 5*d + 8 = v + 4*d. Suppose v = 6*l - 2*l. Solve 3*w - l = y for w.
2
Suppose -17*b + 12*b + 15 = 2*a, 0 = 5*b + 4*a - 5. Suppose b*y - 5*d = -2*d + 10, 0 = 3*y + 2*d - 6. Solve 6*r = y - 32 for r.
-5
Let l(k) be the first derivative of -5*k**4/4 + k**3/3 + k**2 + k + 3. Let x be l(-1). Suppose 4*a - 9 = -3*f, 3*f - 2*a = f + 6. Solve -2*u + f = x for u.
-1
Suppose -2*j + 7*j + 5 = -3*v, -15 = -3*v. Let n be 1 + -1 - -5 - j. Solve 0 = 6*m + n + 21 for m.
-5
Let p be ((-83920)/30)/8 + (-4)/3. Let v be 4/(-18) + (-2535)/p. Solve 5*u - 7 + v = 0 for u.
0
Suppose -8*r = -11*r + 192. Suppose -5*i + r = 59. Solve 2 = -d - i for d.
-3
Let v be 8 + 3 + 30/(-3). Let b(m) = -m**3 - 9*m**2 + 5*m - 10. Let n be b(-10). Let p be (-1)/(-3) + n/60. Solve v = a - p for a.
2
Let s(b) = 3*b**3 + 5*b**2 - 5*b + 6. Let g be s(-5). Let z be 2 - g/45 - (-4)/30. Suppose 0 = -2*m - 3*a - 1 + z, -m + 12 = -3*a. Solve -m = -5*v + 4 for v.
2
Suppose 1951 - 441 = 23*p - 1595. Solve -122*a = -p*a for a.
0
Let j = -48 + 46. Let o(w) = -6*w - 21. Let c(x) = -3*x - 11. Let g(h) = 5*c(h) - 3*o(h). Let f be g(j). Solve -f = i - 0 for i.
-2
Let f be ((-36)/(-18))/(10/11775) + 0. Solve -f = -10*c - 2405 for c.
-5
Suppose 3*w + 2 = -5*p, -2*p = -5*w + 38 - 0. Let r be (6/(-12) - (-15)/18)*w. Solve -r*b - 5 = 1 for b.
-3
Let u(s) = -619*s - 431. Let h be u(-1). Solve 20*c = 67*c + h for c.
-4
Suppose 10*r - 262 - 138 = 0. Let c(s) = -s**3 + 22*s**2 + 27*s - 57. Let w be c(23). Let i = r - w. Solve -4 = -b + i*b for b.
-1
Suppose -5*m + 0*m = -525. Let t = m + -105. Solve -9*v + 12*v - 3 = t for v.
1
Let t(m) = 11 + m**2 + 1 - 3 - 6*m - 15 + 11. Let z be t(0). Solve -3*n + 4*n = z for n.
5
Let i(x) = 2*x**2 - 5*x - 288. Let n be i(-19). Solve -5*w - n = -544 for w.
3
Let b(y) = 7*y - 84. Let t be b(18). Suppose t = -41*i + 48*i. Solve 70*m - 73*m + i = 0 for m.
2
Suppose 0 = -32*o + 40*o - 32. Suppose o*f - 26 = 3*s - 11, 2*f - 5 = -s. Solve 4 = -f*v + 1 for v.
-1
Let t = -839 - -849. Let i be t/3*150/125. Let m(c) = c**3 - 3*c**2 + 2*c. Let z be m(2). Solve -i*b + z + 8 = 0 for b.
2
Let v(d) = -27*d**2 + 3*d + 9. Let y be v(3). Let m = y - -225. Solve 0 = -m*z + 3*z - 12 for z.
4
Let b = 2469 + -2444. Solve -9*g = b*g + 170 for g.
-5
Let m be -36*(-42*4/(-48) - 4). Solve -401*a + 404*a = m for a.
6
Let m be (2 - 1)/(2/4). Suppose 4*g + 5*w = -30, 3*g = -4*w + 38 - 62. Solve s - m + g = 0 for s.
2
Let s(w) = w**3 + 19*w**2 + 19*w - 189. Let i be s(-17). Solve 17*c + i = -53 for c.
-7
Suppose -130*g - 62*g + 384 = 0. Solve 759*p = 761*p + g for p.
-1
Suppose -831*b + 802*b = 0. Solve -12*n - 43 + 7 = b for n.
-3
Suppose 22 = v + 4*h, 0 = -44*h + 42*h + 10. Solve 0 = 19*j - 18*j - v for j.
2
Let c = -6762 - -6766. Solve -16*m + 40 = c*m for m.
2
Let h(b) = 3*b + 184. Let l(c) = -c + 4. Let y(u) = -h(u) + 2*l(u). Let m be y(-37). Solve 25 = m*d + 61 for d.
-4
Suppose -5*k - 19 = -0*g - 2*g, 4*g - 77 = -3*k. Suppose 0 = g*c + 6*c - 69. Solve -20 = -i - c*i for i.
5
Suppose 41*s - 5863 = -6*s + 6*s. Solve -s*w + 52*w + 546 = 0 for w.
6
Let c(y) = -18*y - 12. Suppose -4*h = -3*f + 4, -5*h + 3*f - f = 12. Let z be c(h). Let r = 61 - z. Solve 3*n + r = 4*n for n.
1
Let q = -12032 + 12078. Solve q = 7*c + 67 for c.
-3
Let c = 117 + -39. Let b = 81 - c. Suppose -m + 16 = j, -b*m + 34 = -4*j - 42. Solve -m + 0 = 4*o for o.
-5
Let m = -13452 - -13529. Solve 48*c - m = 59*c for c.
-7
Let b be 708/1416*(-1 - -1875). Solve 0 = -925*x + b*x - 24 for x.
2
Let k = 23 + -12. Suppose -k*w - 120 = -35*w. Solve -2*m + w*m = 0 for m.
0
Let m be 1/(30/(-4)) + 1971/(-405). Let k(a) = -a**3 - 4*a**2 + 6*a + 9. Let h be k(m). Suppose 0 = h*l - 135 + 95. Solve 6*g + l = g for g.
-2
Let l be (564/36 - -13)*(-4 + 19). Solve -2 = -429*i + l*i for i.
-2
Let k be -4*35/(-56)*(-16)/10. Let u = k + 11. Solve -4*t = -3 + u for t.
-1
Suppose x = 5*k - x + 184, k - 4*x = -26. Let v = k - -43. Suppose -3*u - 7 = h, 14 = -v*u - 1. Solve 2*d + 4 = h for d.
-1
Let j(s) = -2*s**2 - 2*s + 2. Suppose -2*k - 6 = -2*m - 2, -2*m = k + 8. Let a be j(m). Let t be 162/45 - a/5. Solve 3 = t*b - 5 for b.
2
Suppose 0 = -3*g + 5*w + 1341, -5*g + 4*g + 4*w = -454. Let c = 446 - g. Solve -7 = -3*q