e s*c + r = w for c.
1
Suppose 548 + 190 = 6*o. Let x = o + -117. Solve 5*l + 4 = -x for l.
-2
Let t be 5/(20/8) - -1. Let n(f) = 3 - 8*f - 9*f**2 + 20*f**t - 21*f**3 + 2. Let s be n(-8). Solve s*m + 18 = -2 for m.
-4
Let t(o) = -o - 7. Let q be t(-8). Let c be (q + 2)/((-24)/(-32)). Suppose -v - c*v + 15 = 0. Solve 0 = v*k - 5 - 10 for k.
5
Suppose -9 = -3*a, 2*b + 2*a = 5*b - 9. Solve 3 + b = -2*r for r.
-4
Let i(f) = -7*f + 5. Let n(s) = 19*s - 14. Let a(k) = -8*i(k) - 3*n(k). Let q = 4 + -2. Let b be a(q). Solve -m + b = -2 for m.
2
Suppose -2*l + 2 = 2*i - 7*l, i + 4*l = 1. Suppose 0 = -58*w + 44*w + 42. Let o = -13 + 18. Solve w*k + i = -o for k.
-2
Let k be 4/10 - (-207)/45. Solve -k*c + 28 - 8 = 0 for c.
4
Suppose 4*t = -227 + 235. Solve t*m - 10 = -3*m for m.
2
Suppose 0 + 1 = a - i, 4*a - i = 4. Let n = 5 - a. Suppose n*w = -v - 15, 0 = -0*v + v + w. Solve -v*z = -7 - 3 for z.
2
Let l(h) = 8 + 7*h - 5 - 4*h. Let i be l(4). Solve n + 2*n + i = 0 for n.
-5
Suppose 0 = 4*a + 7*j - 2*j - 11, -5*a = 5*j - 15. Let x be (-2 - (-7 + 2)) + -1. Suppose 5*b = -t + 35, -4*b - 22 = -x*t - 2*b. Solve -a*d - 1 = t for d.
-4
Let n = 37 - 24. Let z(m) = 0*m**3 + n - 11*m + 11*m**2 - 3*m**3 - m**3 + 3*m**3. Let t be z(10). Solve t*l + 0*l + 15 = 0 for l.
-5
Let q(w) = 2*w**2 + 10*w - 1. Suppose 3*j = -2*z - 2 - 4, -5*z + 2*j - 34 = 0. Let m be q(z). Solve 0 = 4*c - 3 + m for c.
-2
Let c be (1/(-1))/((-7)/35). Let s(x) = x - 5. Let v be s(c). Let t be (3 - 3)/(-1 + v). Solve o + 3*o = t for o.
0
Let x = 11 - 6. Let u = -27 - 14. Let i = 47 + u. Solve i*o = o - x for o.
-1
Let p(n) = -5*n + 84. Let g be p(16). Solve -197*x + g = -198*x for x.
-4
Let u(v) = -v - 4. Let k be u(-8). Suppose 7*p = k*p + 3. Solve -4*q = p + 11 for q.
-3
Suppose 297 = 3*w + 264. Solve -w - 13 = 12*m for m.
-2
Suppose 0 = 3*v - 6. Suppose 0 = 4*d + 3*k - 1, -1 = d + v*k - k. Let f be -3*(-3)/(9/d). Solve p + p = f for p.
2
Suppose 5*s - 3*v = -6*v + 5, 4*s - 3*v - 4 = 0. Solve x - s = 4 for x.
5
Suppose -3 + 4 = s. Suppose 0 = -680*o + 679*o + l + 4, 2*o + 3*l = 8. Solve s = -f + o for f.
3
Let s = 13 - 8. Suppose 4 + 1 = p + n, -p = -4*n + s. Solve -p*k = -0*k - 12 for k.
4
Let p be (400/(-24))/(-1 + (-1)/(-3)). Solve -p = -6*f + 5 for f.
5
Let v be ((-29)/(435/(-36)))/((-1)/(-5)). Solve 3*h = -0*h + v for h.
4
Suppose -y - 5*c - 15 = 0, -3*y - 4 = 4*c - 3. Suppose -9*v - 7339 = -7384. Solve -y*q + v = -0*q for q.
1
Let x be 0/((-9)/((-54)/(-12))). Solve -4*d + 7*d + 3 = x for d.
-1
Let l(b) = -b**3 - b**2 - 3*b - 5. Let v be l(-2). Let t be 29/v + 11/55. Solve -t*s + 6 = -3*s for s.
2
Let u = 34 - 23. Suppose 11 = -u*j + 44. Solve -7*v = -j*v + 8 for v.
-2
Let h = -439 + 441. Solve -h = -8*y + 6 for y.
1
Let h(b) = -b**2. Let f be h(0). Suppose f*q + q = 0. Suppose -6 = -2*n - a + 5, q = n + 2*a - 7. Solve n*k + 3 - 8 = 0 for k.
1
Let a(j) = 12*j - 141. Let x be a(12). Solve -4 = 5*g - x*g for g.
-2
Suppose -4*m + u + 98 = 0, 4*m + u - 102 = 4*u. Solve -15*g = -21*g + m for g.
4
Let j(z) = -z**2 + 13*z - 15. Let k(w) = -2*w + 39. Let x be k(14). Let f be j(x). Solve -c + 4 = f for c.
-3
Let c be ((-3)/(-12))/((-2)/(-16)). Let j be ((-8)/(-8))/(c/4). Solve j*t - 5 = -3*t for t.
1
Let m = 492 - 488. Solve m + 0 = k for k.
4
Let b = 106 - 86. Solve -5*z = -10*z - b for z.
-4
Suppose 0 = 2*i - 45 - 203. Suppose h + 64 = 3*h + k, 4*h + k = i. Let j = h + -24. Solve 5*y = 2*y + j for y.
2
Suppose 410 = -9*s + 50*s. Solve -7*m + s = -2*m for m.
2
Let m(s) = s**2 + 1. Let u be m(2). Suppose -12 = -u*f + 8. Suppose z + z + 18 = 5*q, -f*z = 5*q + 6. Solve -p = p - q for p.
1
Let s be (-1)/((-50)/(-52) - 1). Let p(b) = b**2 + 1. Let a be p(2). Suppose -3*l = -3*m + 5*m - a, 5 = m - l. Solve -m*j + s - 10 = 0 for j.
4
Suppose 7 + 3 = 2*y, -t + 3*y - 32 = 0. Let x = t + 25. Suppose w - x*w = -14. Solve -s + 3 = w for s.
1
Let u(l) = l + 13. Let a(n) = n + 26. Let t(p) = 6*a(p) - 15*u(p). Let s be t(-6). Solve -4*k - s = k for k.
-3
Suppose -t = 4*g - 15, -5*t + 15*g + 21 = 17*g. Solve -18 = t*r + 3*r for r.
-3
Suppose 2*s = -10*s - 3*s. Solve 0 = 7*p - s*p + 28 for p.
-4
Let h(i) = -2*i + 34. Let d be h(16). Let l(u) = -2*u**2 + 21*u + 14. Let r be l(11). Solve -r*y + 2 = -d*y for y.
2
Let g(x) = -10*x - 70. Let f be g(-8). Solve f*s - 15 = 25 for s.
4
Let x(z) = 2*z**2 - 5*z + 2. Let r be x(3). Suppose a - 8 = -r*i, a - i + 0 = 2. Suppose p + a*b - 26 = -4*p, -4*p + 5*b + 6 = 0. Solve -p = -3*j - j for j.
1
Let q(j) = 4*j**2 - j + 1. Let y be q(1). Suppose -2*a + 3*m + 2*m = -y, -6 = -3*a - 3*m. Let z = -59 - -60. Solve -k + a*k = -z for k.
-1
Let u(y) = y**3 + 15*y**2 + 9*y - 67. Let q be u(-14). Solve q*r - 3 = -9 for r.
-2
Let w = -1 + 3. Suppose -v = w*v, -5*v = -5*t. Solve t = -m - 5 + 2 for m.
-3
Let b(k) = k**2 + 6*k + 8. Let p be b(-4). Let j be 4 + (-2)/4*p. Suppose -20 = j*z - 8*z. Solve 0 = -z*i - 4 + 24 for i.
4
Suppose -5*p + 47 = 3*w, -4*p + 3*w = -w - 44. Suppose 11*k - 21 = -p. Solve c - k = 4 for c.
5
Let k = -12 - -16. Let u = -3 + 3. Suppose u = -g, s + 5*g = k*g + 8. Solve -m + 3 = s for m.
-5
Let q(c) = c**3 + 4*c**2 + 2*c. Let l be q(-2). Suppose -13 + 13 = l*x. Solve n + x*n + 3 = 0 for n.
-3
Let m = 117 - 68. Suppose 2*n - m = 5*w - 16, 5*n - 2*w - 51 = 0. Suppose 0 = -2*c - 3*a + 27, -3*c - 4*a = -9*a + 26. Solve c*g + n = 3 for g.
-2
Let l(f) = -f**3 + f**2 - f + 2. Let y be l(0). Suppose -5*q = 0, y*o = 3*o + 4*q. Let p(b) = b - 12. Let s be p(16). Solve o = -s*z + z - 3 for z.
-1
Let l = 30 - 33. Let v be ((5 - 5) + 0)*1/l. Solve v*b = b + 5 for b.
-5
Let k(t) = -t**3 + 12*t**2 + 14*t - 7. Let l be k(13). Solve 10*o = l*o - 4 for o.
-1
Let z = -497 - -507. Solve 0 = 11*v - z*v for v.
0
Let z be (-123)/(-164)*(-84)/(-9). Solve -2*t - 13 = -z for t.
-3
Suppose -3*g = -108 - 12. Let v = -40 + 46. Suppose -v*l - g = -11*l. Solve 4*j - l = 2*j for j.
4
Let j = -822 + 829. Solve 0*h = -j*h + 28 for h.
4
Let q(o) be the second derivative of o**3/3 + 3*o**2/2 - 9*o. Let i be q(2). Solve -2*z - 25 = -i*z for z.
5
Let v be ((-2)/6)/((-7)/42). Suppose 4*h - 10 = -2*p + 2*h, -v*h = -5*p + 18. Suppose -p*u + 0*u = -12. Solve -15 = -4*t - u for t.
3
Suppose 0 = -3*k + 4*k - o - 8, -2 = -2*o. Solve -k + 4 = r for r.
-5
Let c = 11 + -6. Suppose 3*l + 1 = 1. Suppose c*j = 2*v + 2*v - 18, l = -5*v - 5*j. Solve v = 3*b + 8 for b.
-2
Let m be (8/(-4))/(1/(-12)). Let k be (m/20)/(4/10). Solve 8*x = k*x - 20 for x.
-4
Let y(x) = 28*x - 513. Let o be y(19). Solve -o = 10*t + 1 for t.
-2
Suppose -2*a + 828 = 824. Solve -40 = a*m - 38 for m.
-1
Suppose -5*m = 4 - 9. Solve 5 + m = 3*a for a.
2
Let f(g) = 10*g - 25. Let t(k) = 5*k - 12. Let y(q) = 3*f(q) - 7*t(q). Let v be y(-7). Suppose 3*s - 36 = -3*a, -6*s = 3*a - s - v. Solve 5*w = -17 - a for w.
-5
Let v = -62 - -67. Let f be ((-1 - 0)/4)/(v/(-40)). Solve 12 - f = 5*s for s.
2
Suppose 2 + 8 = 2*c. Solve -8*m = -7*m - c for m.
5
Suppose -j = -97 + 92. Suppose -9*y + j = -8*y. Solve -3 = b - y for b.
2
Suppose 4 = 4*s - 8. Suppose s*k + 3*k - 48 = 0. Solve 2*x - k = 2 for x.
5
Let t(n) = -4*n + 1. Let u(i) = -i + 11. Let q be u(13). Let x be t(q). Solve 4*z + x = z for z.
-3
Let d = -30 + 35. Let q be (-40)/4*(-2)/d. Solve 0 = q*k - 10 - 2 for k.
3
Suppose 0 = -d + 3*m - 0 + 18, 1 = 2*d + m. Suppose -d*o = -0*o - 12, 5*r = -o + 34. Solve 0 = -0*j - 2*j - r for j.
-3
Suppose 0 = -h + 2*v + 7, -4*v = 2*h + 2*h - 4. Let k be (3/(-2))/(h/(-6)). Solve k*x + 3 = -3 for x.
-2
Let w(v) = 0*v**2 - 4*v + 2*v**2 - 5*v + 3*v. Let l be w(4). Suppose -4*g = -3*g - 5. Solve -l = x - g*x for x.
2
Suppose -72 = -9*o - 18. Let z(d) = -d**3 + 8*d**2 - 5*d - 9. Let n be z(7). Solve n*k - 1 = o*k for k.
-1
Let m be 38/(-95) - 24/(-10). Solve 3 = -m*d + d for d.
-3
Suppose 5*p - 3*h - 8*h = 22, 0 = -4*p + h + 2. Solve q + 6*q + 21 = p for q.
-3
Suppose 14*x - 8*x = 0. Let f = 3 + x. Solve -3*s = -9 - f for s.
4
Let s(b) = -b**2 - b + 1. Let j(h) = 2*h**2 + 10*h + 1 + 4 - 16*h. Let c(u) = -j(u) - s(u). Let i be c(6). Solve -t = -i*t - 5 for t.
5
Suppose 11 = -2*g + 21. Let c be (5/2)/(g/12). Solve c = -0*m + 3*m for m.
2
Suppose -3*n - n = -5*q - 20, -2*q - 4*n = -20. Suppose -2*k = -4, -k - 3*k = 3*s - 32. Solve q = 4*m + 12 + s for m.
-5
Let c(z) =