a = -t*a - 9*a for a.
0
Suppose -5*k = -3*w + 67, 0 = -5*w - k + 89 + 32. Solve w = -n - 7*n for n.
-3
Let a be ((-3)/1)/12 + (-58)/(-8). Suppose 0 = -a*t + 10*t. Solve t = 2*d - 2 - 0 for d.
1
Suppose 14*v + 38 - 80 = 0. Solve u + v = -0 for u.
-3
Let h(y) = -y**3 + 5*y**2 + y - 3. Let t be h(5). Suppose -t*g + 14 - 4 = 0. Suppose -g*z + 6*z = 0. Solve a + 6 - 3 = z for a.
-3
Let k = 1745 - 1742. Solve -5*t = 2 + k for t.
-1
Suppose 0 = -f + 5*f - 5*c, -2*f - 2*c + 18 = 0. Solve -h + 0*h - f = 0 for h.
-5
Let v(t) = 5*t + 13. Let n be v(-20). Let c = -87 - n. Solve c = -0*o - 5*o - 15 for o.
-3
Let t(y) = y**3 - y**2. Let s be t(-1). Let i = s + 6. Solve 2 = -2*v + i for v.
1
Let w = 88 + -76. Solve w = -2*s + 4 for s.
-4
Suppose 7 - 5 = -a. Let g be (1*3/(-3))/(a/6). Solve o + g = -2*o for o.
-1
Suppose -118 = -10*q - 28. Solve 5*i - q*i = -4 for i.
1
Suppose 7*q + 8 = 2*w + 5*q, w + q = 0. Solve w*f - 12 = -2*f for f.
3
Let b be -2*4/(-4)*-10. Let t = 7 - b. Suppose 5*l = 2*l + t. Solve -1 - l = 2*d for d.
-5
Let y be (42/(-48))/(4/(-32)). Solve 0 = 3*s + y*s - 2*s for s.
0
Suppose 6*b = 220 + 212. Solve b = -4*i + 60 for i.
-3
Let w(l) = -29*l + 20. Let k be w(0). Solve k = -11*m + m for m.
-2
Suppose 0 = 2*c + g - 4, 3 = -5*c + 4*g + 13. Solve c*x - 4*x = x for x.
0
Let c be 2*1/3*3. Suppose -4*r - c*y = -r - 8, 4*r - 4 = -y. Let u(h) = -h**3 - 14*h**2 - 6*h + 100. Let o be u(-13). Solve 5*l - 2*l - o = r for l.
3
Let o(k) = k**3 + 3*k**2 + 3*k + 6. Let p be o(-4). Let y be (4 - p/(-4))*-2. Suppose -5 = -2*c - y. Solve -5 = 4*i - c for i.
-1
Let p be ((-81)/(-3))/3 + -4. Let k = 13 - 8. Let o = -31 - -56. Solve k*t = o - p for t.
4
Suppose -3*j = -10*j. Solve j = 4*m + 4 for m.
-1
Suppose -4*q + 2 = 2*f, 21 = f - 234*q + 232*q. Solve y - 40 = f*y for y.
-4
Let f(j) = j**2 + 6*j - 3. Let t = -24 - -17. Let d be f(t). Let q be (-1 + d)/((-30)/(-80)). Solve -2 = -7*z + q*z for z.
-2
Let p = -602 - -618. Solve -9*o - p = -43 for o.
3
Let o be (-4)/40 + 20664/240. Solve -o - 18 = -26*j for j.
4
Let o be (715/33)/((-2)/24). Let h be o/(-50) - (-1)/(-5). Suppose j + 4 = h*j. Solve -2*f + j = -3 for f.
2
Let l(i) = -2*i**3 + 13*i**2 - 13*i + 19. Let d(p) = -3*p**3 + 27*p**2 - 27*p + 39. Let h(w) = 3*d(w) - 5*l(w). Let j be h(-17). Solve 0 = 5*u + j for u.
-1
Let p(t) = t**3 + 6*t**2 - 2*t - 9. Let a = -28 - -27. Let q be (-69)/12 - a/(-4). Let y be p(q). Solve 0 = -g - y - 0 for g.
-3
Let n be (1 + 0)/(4/8). Suppose n = v, 3*k = 4*k - 2*v + 31. Let h = 46 + k. Solve 4*b - h = 1 for b.
5
Let y(s) = s - 5. Let z be y(11). Suppose 0*n + z = n. Solve -v + 5 = -n*v for v.
-1
Let n(j) = -j**3 - 5*j**2 - 10*j - 86. Let g be n(-6). Solve -5 + g = 5*z for z.
1
Let k be 8 - 12/((-18)/(-6)). Solve -k*q + 3*q = 3 for q.
-3
Suppose 0 = -3*p + l - 0*l + 13, -28 = -3*p - 2*l. Solve 0 = -4*i + 7*i - p for i.
2
Suppose 2*t - g = 9 - 6, -4*t + 4*g = 0. Solve -t*j + 9 = -6 for j.
5
Let r = 14 + -14. Suppose 5*p - 7*p = r. Solve -8 + p = 4*y for y.
-2
Suppose 5*k - 84 = -4*q + 3*k, -3*q + 70 = 5*k. Let o = q + -20. Solve 0*l + 4*l + 8 = o for l.
-2
Let o(n) be the second derivative of -n**4/12 + n**3 - 3*n**2/2 + n. Let s be o(4). Suppose q = s*x - 5, -5*x + 20 = 5*q - 15. Solve -x = -2*w + 2 for w.
2
Let j = -435 + 438. Solve j*l - 9 = -24 for l.
-5
Let x = 140 + -270. Let a be (-3)/(5/(x/3)). Let l = a - 21. Solve 11 + 14 = l*r for r.
5
Let l = -11 - -14. Suppose -4*g + 7*g = l. Solve -t + 0 = -g for t.
1
Let r be (-3 + 7)*2/(1 - -1). Solve 14 = -r*q + 22 for q.
2
Let f(i) = i**2 - 1. Let m(k) = k**3 - 12*k**2 + k - 10. Let h be (72/21)/((-4)/(-14)). Let q be m(h). Let y be f(q). Solve -n = -y*n for n.
0
Let d = 298 - 283. Solve -5*g = -8*g - d for g.
-5
Suppose 0 = 4*x - 6 - 18. Suppose 5*s - x = 19. Let t be (-2)/(-8)*s*4. Solve -t*n - 32 = -12 for n.
-4
Suppose -55 = -4*u - 239. Let c = u - -26. Let b = 2 - c. Solve -3*k + b - 7 = 0 for k.
5
Let h be (-6)/9 + 10/(-3). Let m(u) be the third derivative of -u**4/6 - 5*u**3/3 + 4*u**2. Let c be m(h). Solve 2*r = -c + 14 for r.
4
Let y(r) = 2*r**3 - 42*r**2 + r. Let z be y(21). Let m be 99/z + -3 + (-4)/(-14). Solve 0 = -4*b + m + 2 for b.
1
Let f(d) = 3*d**2 + d. Let i be -3 - (-2)/(-2 + 3). Let h be f(i). Suppose -4*n + 5*v = -3*n + 18, 0 = 2*n + h*v - 24. Solve -4*b + n*b = -9 for b.
-3
Let i = -10 + 8. Let r be (3/(-7))/(i/14). Solve -r*n + 2 - 5 = 0 for n.
-1
Let i(z) = z**3 + 14*z**2 - 29*z + 53. Let t be i(-16). Solve -7*n = -t*n + 2 for n.
-1
Suppose 0*b = -4*b + 392. Suppose 0 = -x + 3*f + 20, 5*x - 3*f = x + b. Let l = x - 17. Solve 0*t + l = -3*t for t.
-3
Let s(z) = -135*z**3 + z**2 - 1. Let i(o) = 135*o**3 - o**2 + 1. Let w(b) = 3*i(b) + 2*s(b). Let u be w(-1). Let y be (30/u)/(2/(-18)). Solve y = -p - 1 for p.
-3
Let n = 1426 + -1424. Solve -n = 108*f - 106*f for f.
-1
Suppose 0 = -15*w + 7*w + 392. Suppose -4*r - 12 - 25 = -3*d, -2*r = 3*d - w. Solve 0 = -2*z - 5 + d for z.
5
Let j(l) = -2*l**2 + 2. Let u be j(4). Let x be u/(-4)*(-2)/(-3). Let a(d) = 13*d**2 - 92*d + 9. Let r be a(7). Solve r*c - 1 = x for c.
3
Let p(j) = -2*j**3 - 2*j**2 + 3*j + 5. Let f be p(-3). Suppose -d = 7*d - f. Solve 4 = d*g + 8 for g.
-1
Let c(z) = z**3 + 23*z**2 - 50*z + 8. Let u be c(-25). Solve 2*v - 2 = u for v.
5
Let b = -6 - -5. Let q = b - 6. Let h = q + 8. Solve 2 = -w - h for w.
-3
Let i be -10 + 2 + 48/6. Solve 0 = -i*y - y - 4 for y.
-4
Let t = -5 - -23. Suppose 8*x + 30 = t*x. Suppose 36 = 4*k - 24. Solve -x*l + 6*l = k for l.
5
Suppose -8 - 13 = -3*w. Let l = w + -4. Suppose -2*n = 4*o - 30, 8*o - 6*o - 25 = -3*n. Solve o*h = l*h for h.
0
Let u = -463 + 470. Solve 4 = -u*p - 3 for p.
-1
Let k = 623 + -574. Solve 13 = -9*j + k for j.
4
Let p = 21 - 19. Let m be p + 1 + -4 + 3. Solve -2*k - 8 = m*k for k.
-2
Let c = 1052 - 1039. Solve -c*m = -14*m for m.
0
Let p(h) = -h**2 + 22*h - 98. Let z be p(7). Solve z + 13 = 4*n for n.
5
Let k = 39 - 30. Let j be 4/(3/k*4). Solve -2*r = j - 1 for r.
-1
Let h be 1 - (-3 - (-18)/(-2)). Let g = 29 - h. Suppose -4*c + 16 = -c + 2*x, 2*x + g = 5*c. Solve -u = -0*u + c for u.
-4
Let h be -2 + 2/(6/21). Suppose -39 = -5*n - z, -2*n + 3*n = -h*z + 3. Let u = n + -5. Solve -u = 2*m + 5 for m.
-4
Let w = -115 + 118. Solve 2*y = -w*y - 3*y for y.
0
Let g(t) = t**2 - 11*t. Let w be g(-9). Suppose 2*i + 3*i = w. Suppose -i + 12 = -3*l. Solve -6*x - l = -4*x for x.
-4
Let v = 339 - 331. Solve -v*y + 28 = -y for y.
4
Let p(r) = 2*r - 4. Let f be p(5). Let w(s) = s - 12. Let g be w(16). Suppose v + 3 = l, 0*l - g*v - 8 = -3*l. Solve -l*q + f*q = -2 for q.
-1
Let o = 231 - 224. Let u = 5 + 0. Solve 0 = -o*y + u*y + 8 for y.
4
Let s be (1/(-2))/((-5)/(-60)). Let i be (0 + 2/(-6))*(4 - 46). Let v = i - s. Solve 5 = -3*f + v for f.
5
Let b be -1*1 + (116 - -13). Suppose 8 = -8*u + b. Solve 0 = 5*n - 0*n - u for n.
3
Suppose 4*t + 0*t - 12 = 0. Suppose 1 = -t*s - 5. Let d(o) = o**2 + o. Let b be d(s). Solve i = 3*i - b for i.
1
Suppose -3*n + 32 = 2*l + 9, 2*l - 8 = 0. Solve 0 = 3*r - n*r - 2*r for r.
0
Let v(u) = 17*u**2 + 3*u - 10. Let y be v(2). Solve -25*t = -9*t + y for t.
-4
Suppose -3*r + 2*y + 49 = 0, r + 4*r + 4*y - 45 = 0. Let l be 168/16*12/(-7). Let k be 6/9*l/(-4). Solve -4*g - k = r for g.
-4
Suppose -2*f + 3*q + 5 = 1, -2*f - 2*q = -24. Solve -3*h = h + f for h.
-2
Suppose -2*p - 5*j = 10, 3*p + 7*j = 8*j + 2. Solve p*l = l - 5 for l.
5
Suppose -t = 2*n - 0*n - 63, 3*t + 9 = 0. Suppose 4*d + p = -d + n, -5*d + 21 = -3*p. Solve 15 = 3*h - d*h for h.
-5
Suppose 5 - 25 = -c. Suppose -4*k - 2*w - 48 = 8, -4*w = -3*k - 42. Let b = c + k. Solve 3*h - h = -b for h.
-3
Let x(h) = -h**3 + 6*h**2 - 5*h + 3. Let z be x(5). Suppose 10 = z*p - 5. Suppose -3*u - 1 + 6 = l, l = u + p. Solve -2*d + 2 = -u*d for d.
1
Suppose 0 = -2*d - 18 + 20. Suppose d = -l + 8. Solve r = 4 - l for r.
-3
Let c(o) = 6*o + 18. Let v(i) = -5*i - 17. Let r(p) = 4*c(p) + 5*v(p). Let s be -11 + 0 + (-34)/17. Let d be r(s). Solve d*t - 1 = -t for t.
1
Suppose -5*k - 15 = 0, 4*z + 2*k - 68 = -2. Suppose 5*q + z = 8*q. Let o be (-9)/q*(-3 + 1). Solve o*i - 15 = -2*i for i.
3
Let z(u) = u**3 - 10*u**2 + u - 4. Let l = -16 + 36. Suppose l = d + d. Let k be z(d). Solve 0*b - k = 3*b for b.
-2
Let g = 7 + 12. Let s be