+ c = -2*j for j.
1
Let h be -3 + (-15 + 25)/(4 + -2). Solve 3 + 1 = -h*p for p.
-2
Let k be 9 + -2 - 7 - -3. Solve k*c + 4 = 7*c for c.
1
Suppose -4*d + 35 = v, 5*v = -4*d + 43 + 116. Let u = 31 - v. Solve u*r - 2*r = 2 for r.
-1
Let f(g) = -g**3 - 7*g**2 - 7*g. Let j be f(-6). Suppose -3*i = -2*t - 1 - 5, -4*t = -3*i + j. Suppose -3*m - 2*m = t. Solve 2*a = -m*a - 10 for a.
-5
Let u = 11 - 11. Let m(f) = -f**3 + 5*f + 2. Let h = 40 - 42. Let o be m(h). Solve 2*p + o*p - 10 = u for p.
5
Let n = -48 + 58. Solve -3*z = 2*z + n for z.
-2
Suppose 3*c + 4*a = -0*c - 26, -4*a = 20. Let x be 3 + -1 - 0/c. Suppose 4*l - 41 + 51 = -5*o, 18 = -o - 4*l. Solve k - o = x for k.
4
Let i(m) = m**3 - m**2. Let z be i(0). Let n be (-12 + z)/(-2) - 2. Suppose -3*c = -n*c + 5. Solve w - c*w = -4 for w.
1
Let c(l) = l**3 - 43*l**2 + 48*l - 47. Let x be c(42). Solve -x*d + 206*d = 4 for d.
4
Let o be 1/4 + 1/(-4). Let b be (4/4 + 2)*40/30. Solve -b*d + 0 - 8 = o for d.
-2
Suppose -3 = -3*m - o + 25, 2*o = -4*m + 38. Let v = m - 4. Suppose 2*c - 13 + v = 0. Solve 2*x = -2*x - c for x.
-1
Let x = -1732 - -1748. Solve -x*i - 19 = -35 for i.
1
Let z(n) = 2 - 7 - 3*n**2 - 5*n + 3*n + n**3 - 2*n**2. Let i be z(5). Let p = 18 + i. Solve p = -k + 5 for k.
2
Suppose -6*k - 31 - 11 = 0. Let d be 2/k + (-8)/(-28). Let v be 2/8 - (-19)/4. Solve w = -d*w + v for w.
5
Let k be 2576/20 - (21/(-5) - -5). Solve k*a = 127*a - 2 for a.
-2
Let a = 6 - 9. Let z(u) = -u**2 + 10. Let n(g) = 2*g**2 - 19. Let p(k) = 4*n(k) + 7*z(k). Let y be p(a). Solve -y = 2*x - 7 for x.
2
Let j = -1278 + 1280. Let k = 49 - 29. Solve -j*n = 2*n + k for n.
-5
Suppose 0 = -5*v - 3*i + 64, -5*i - 8 = -3*v + 10. Solve v = -g + 7 for g.
-4
Suppose 4*c - c + 18 = 0. Let i be ((-16)/c)/(6/18). Suppose -3*q = -i - 7. Solve 5 = q*u + 10 for u.
-1
Let u = 0 - -2. Suppose 0*w - 2*l - 4 = u*w, 3*l + 6 = -2*w. Solve 2*t + 9 - 1 = w for t.
-4
Suppose a + 0*a + n - 43 = 0, -203 = -5*a + n. Suppose s + 38 = a. Suppose b + 3*b = 8. Solve 5 = -b*v + s for v.
-1
Suppose 12 = 3*c, -5*c = -2*b - 0*b - 4. Suppose 0 = 5*n + 2*z - 5, 0 = -5*n + n - 4*z - b. Solve -n*u = u for u.
0
Let b = 221 - 196. Let q be -3 - (-1 + -9 - -4). Solve 2*g = -q*g + b for g.
5
Let b = -54 - -51. Let t(j) = j**3 + 3*j**2 + j + 3. Let s be t(b). Solve 5*d + s = -5 for d.
-1
Let j be (-1)/((-4)/8 - -1). Let k(g) = -3*g - 4. Let c be k(j). Suppose -s = c*s. Solve -5*m = -s - 5 for m.
1
Suppose 3*m - 1 = 8. Suppose 4*b = 3*y - 7, 4*b - m - 5 = 0. Let i(j) = -15*j + 75. Let k be i(5). Solve k = y*q - 2*q - 12 for q.
4
Let k be -21 + ((-3)/(-2))/((-21)/56). Let h = 8 - -19. Let n = k + h. Solve n*w + 15 = -w for w.
-5
Suppose 5*n = 3*n + 22. Let f = 17 - n. Suppose -f*v + 30 = -4*v. Solve 7*i - 4*i + v = 0 for i.
-5
Let x = -28 - -17. Let b = 19 + x. Solve -4*n + 2*n - b = 0 for n.
-4
Suppose -5*s - 24 = -29. Let d(v) = -v + 1. Let j be d(s). Solve c + j = 1 for c.
1
Suppose 0 = -u + 2*q - 9, -u - u + q = 12. Let s(x) be the third derivative of x**4/24 + 5*x**3/6 + x**2. Let a be s(u). Solve a*l = 2*l - 2 for l.
1
Let d(t) = t + 4. Let b(i) = -i - 7. Let q be b(-7). Suppose q = -4*g + 5*g + 3. Let c be d(g). Solve c - 11 = -5*w for w.
2
Suppose 6*n - 9 = 21. Suppose -3*z + 9 = -5*z - 3*y, -2*z + n*y + 31 = 0. Solve -2*l - z = -5*l for l.
1
Let m = -120 - -120. Solve m*s - 32 = -8*s for s.
4
Let u = -1 - -1. Suppose u = m + 2 - 7. Suppose -4*z + 11 = -2*o - 17, -5*z = m*o - 50. Solve z*x - 12 = 5*x for x.
4
Let d(q) = 1 + 1350*q - 1348*q + 15. Let j be d(-6). Solve -a = -j*a for a.
0
Let a = -390 + 394. Solve -6*n = -a*n - 4 for n.
2
Suppose -7 = 2*o - 15. Let d be o - (6/(-2) + 4). Let g(p) = p**3 + 4*p**2 + 4*p + 4. Let i be g(-3). Solve -2*m + d - i = 0 for m.
1
Suppose 5 = m, b + 3*m + 4 = 34. Solve -7*u + b*u - 40 = 0 for u.
5
Suppose -2*g + 10 = -g + 2*x, 5*g = 3*x + 37. Let i be (13/2 - 2) + 4/g. Solve i*a - 4*a = 5 for a.
5
Let m be 936/180 + 4/5. Solve 5*h + m = -h for h.
-1
Suppose -2*j + 40 = 3*j. Let z(q) = 4*q - 216. Let w be z(54). Solve -s + 5*s - j = w for s.
2
Let g = 1478 + -1460. Solve -g*o = 2*o + 80 for o.
-4
Suppose 0*d = -3*d + 75. Suppose -2*k + d = -7*k. Let q be (5 + k)*-1*1. Solve q = g + 3*g + 4 for g.
-1
Suppose 0*b = 2*b + 4*b. Solve b = 5*v + 15 - 5 for v.
-2
Let g = -669 + 728. Solve 55*b - g*b + 20 = 0 for b.
5
Let p be (2 - 26/10)/(29/(-1595)). Solve 9*x - p = -2*x for x.
3
Suppose 8 = -2*x + 172. Suppose -x + 30 = -2*q. Let m = -24 + q. Solve 0 = -4*o - 6 - m for o.
-2
Suppose 12 = -p + 5*p, 4*w - 12 = -4*p. Solve w*k - 2*k = 10 for k.
-5
Let f(i) = 25 + 186*i - i**2 - 167*i + 2*i**2. Let s = -40 + 21. Let x be f(s). Solve -4*w - w = -x for w.
5
Suppose -3*n + s = -3*s - 32, 3*n - s - 26 = 0. Let p(l) = l**3 - 8*l**2 + l - 1. Let j be p(n). Solve -4*b = -j*b + 9 for b.
3
Let d(r) = 2*r**2 + 9*r - 6. Let z(u) = -3*u**2 - 13*u + 9. Let t(g) = -7*d(g) - 5*z(g). Let n be t(1). Solve n*f + 12 = 4*f for f.
3
Suppose -5*u = 2*i - 0*i - 174, -3*i + 176 = 5*u. Suppose -5*y - u = -3*b, -22 = -4*b - 6*y + y. Solve 3*k = -7 - b for k.
-5
Let r be 14/(392/(-21))*-16. Solve 0 = 44*l - 48*l + r for l.
3
Let j be 23/(1863/612) - 8/(-18). Solve 8*g = j - 0 for g.
1
Suppose -1214 = 10*r - 1234. Let d(b) = -b + 1. Let u be d(6). Let s be 2 - u/(5/6). Solve -r*t = s + 2 for t.
-5
Let h be (-4)/(-6) + 48/9. Let t(w) = w - 3. Let m be t(h). Let q be 40/30*(-1 - -4). Solve -q*z = -m*z for z.
0
Let i(u) = 2*u**2. Let r be (4 - (-27)/(-6))*-2. Let w be i(r). Solve -2*n - 4 = w for n.
-3
Let p be (5/2)/((-2)/(-4)). Let j = -44 - -38. Let d be j/18*(-18)/2. Solve -g = -d + p for g.
-2
Let d(i) = -i**2 + 39*i + 129. Let g be d(42). Solve 3*k = -g*k - 30 for k.
-5
Let n(u) = 5*u + 5. Let o be n(13). Suppose -8*g + o = -3*g. Solve 0 = 5*f + 11 + g for f.
-5
Let s be -1*9/12 - 102/(-8). Let l = -8 + s. Solve 0 = l*y - 3*y for y.
0
Suppose -232*j + 40 = -228*j. Let z be ((-16)/j)/(36/(-90)). Solve -z = -2*x - 2*x for x.
1
Let r(h) = -7*h + 41. Let v be r(5). Solve 0 = -v*q + q + 20 for q.
4
Let n(i) = 2*i**2 - 2 - 2*i + 2 + 0. Let y be n(1). Solve -o + y*o = 0 for o.
0
Let l(b) = 2*b**2 + 18*b + 4. Let n be l(-9). Solve r - n = 5*r for r.
-1
Let s(f) be the third derivative of -7*f**4/24 - f**3/2 - 8*f**2. Let a be s(-2). Suppose -4*v - 3*w = -2*w - a, 2*w = 2*v + 2. Solve 4*b - v*b = -4 for b.
-2
Suppose 13*l - 1 = 285. Solve -24*b - 8 = -l*b for b.
-4
Let r(x) = -x**2 + 3*x + 14. Let h be r(5). Solve -8*o + 4 = -h*o for o.
1
Let x(d) = -d**3 - 48*d**2 - 93*d - 28. Let q be x(-46). Solve 5*i - 3 = -q for i.
-3
Let i = -2200 + 2236. Solve i*b = 39*b - 9 for b.
3
Let j(r) = -r**2 - 13*r + 19. Suppose -28 = -2*n + 4*n. Let m be j(n). Suppose 2*x = -4*k + 22, 3*k = m*k + 5*x - 15. Solve 0*o - o = k for o.
-5
Let u(z) = -21*z + 592. Let a be u(28). Let d(m) = -m**3 - 3*m**2 - m. Let n be d(-2). Let f = n + a. Solve p - f = -0 for p.
2
Suppose 5*z - 32 = -2*r, 6*z = 2*z + 4*r + 20. Suppose 9*u = z*u. Solve 0 = 4*g - 4 - u for g.
1
Let o = 253 + -248. Solve -36 + 16 = o*b for b.
-4
Suppose -b = -2*b + 2. Suppose -c - 5*r = 0, b*r - 1 = -c - 4. Let n be (-3 - c - 0)/1. Solve -2*i + n = -2 for i.
2
Let l be (6 - 9)/((-3)/5). Suppose -5*a = l*w - 25, 0 = 2*a - 2*w - w + 5. Suppose -o = 2*o + 9, -a*f + 5*o + 15 = 0. Solve 5*g = -f*g + 15 for g.
3
Let c = -10 - -14. Suppose -c*z = -36 - 32. Let g = 19 - z. Solve 1 = -t + g for t.
1
Let p be (-18)/(-24)*4*-1. Let k be (1 - 0)*0/p. Suppose 3*i + k*i = 6. Solve 3*d = -i - 4 for d.
-2
Let o = 250 + -247. Solve 2*g + 15 = -o*g for g.
-3
Suppose 4*f + 1 = 2*f + 5*c, -4*f + 5*c = -13. Suppose -3*h - f = 2*z - 8*h, -h - 9 = -3*z. Let i be -20*1*z/(-10). Solve 0*n - i = -2*n for n.
4
Suppose -b = 4*b - 20. Let z be ((-5)/(-10)*0)/(2/1). Let o(k) = -k**3 - 9*k**2 - 7*k + 10. Let j be o(-8). Solve j*t - 3*t - b = z for t.
-4
Let v(b) = b**2 + 5*b. Let d be v(-5). Suppose d = -2*r - r + 18. Suppose -c - 2*w = r, -c + 20 = c - 4*w. Solve c*u + 0*u = 10 for u.
5
Let v(s) = s**2 - 3*s - 21. Let o be v(-4). Solve o*n = 10*n + 9 for n.
-3
Suppose 3*w - w = -84. Let o = -33 - w. Solve -5*u = 1 + o for u.
-2
Suppose 52*t = 11*t + 615. Solve 7*q + t = 36 for q.
3
Let u be (-2)/3*(-1 + -26)/9. Solve u = -4*s - 2 for s.
-1
Let