1
Let a = -270 - -274. Solve a - 25 = -7*c for c.
3
Let x = 50 + -36. Let l be 432/56 + 4/x. Solve -4*v + 4 = -l*v for v.
-1
Let r = -26 + 34. Suppose 0 = 4*m + r, -m - 3*m - 8 = 3*t. Solve t = w - 4 for w.
4
Let l(o) = -o**2 - 6*o - 5. Let q be l(-4). Suppose -2*k - 20 = -7*k. Suppose 0 = q*w - 2*w - k. Solve -w*c - 8 = -2*c for c.
-4
Let a(s) = -3*s + 15. Let q be 33/6 + 3/(-6). Let u be a(q). Let y = 5 - 5. Solve u = -y*i + 3*i + 15 for i.
-5
Let k(c) = -2*c - 2. Let j be k(5). Let f = -12 - j. Solve 5*q = -f*q + 10 for q.
2
Let f(u) = 13*u + 1. Let v be f(-1). Let p(z) = -z + 1. Let q(h) = 3*h - 16. Let m(c) = 4*p(c) + q(c). Let j be m(v). Solve 2*i = -j*i + 4 for i.
2
Let s(x) be the first derivative of 4*x**3/3 + 2*x**2 - 4*x - 22. Let b be s(1). Suppose 0 = -3*o + 8*o - 35. Solve -b*l + o = -13 for l.
5
Let n(m) = m - 12. Let g be n(16). Let h be ((-4 - -6)/g)/1*0. Solve -a - 3 = -h*a for a.
-3
Let h(v) = -v**3 + 6*v**2 - 3*v - 6. Let z be h(5). Suppose -5*l + 0*d + 4*d = -57, -5*l - 2*d + 39 = 0. Solve z*t - 7 - l = 0 for t.
4
Let z(g) = 10*g - 168. Let y be z(17). Solve -y*c - 3 = c for c.
-1
Let t be (((-75)/(-5))/(-5))/(2/(-8)). Solve 7*a = 10*a + t for a.
-4
Let i(u) = -5*u + 9. Let w(a) = a. Let l(c) = i(c) + 4*w(c). Let o be l(-4). Let t(r) = -r**3 + 12*r**2 + 12*r + 17. Let h be t(o). Solve -h = 5*f + 11 for f.
-3
Let y be ((-6)/(-9))/((-5)/(-60)). Let t be 10/(-4)*y/(-10). Suppose v = t*v. Solve -4*o - 16 = -v for o.
-4
Let b = -19 - -12. Let w(i) = 2*i + 11. Let f be w(b). Let u be 9 - (f - 4/(-2)). Solve -4*n + 10 = -u for n.
5
Suppose -2*v - v = -45. Let d(t) = t + 5. Let r be d(-16). Let g = v + r. Solve w = -g*w for w.
0
Let y = 197 + -195. Solve -y*h - 8 = -10 for h.
1
Suppose 16*y = 36*y. Solve -4*i + 4 = -y*i for i.
1
Let n be -9*(-2)/6 + 3. Solve -n*h = -3*h + 3 for h.
-1
Suppose -m - 4*a + 7 = 3, 0 = 4*m - 5*a + 5. Solve m = f + 5*f + 30 for f.
-5
Let s(x) = 2*x + 14. Let t(b) = -10*b + 44. Let m be t(5). Let d be s(m). Solve -6*j = -d*j for j.
0
Suppose -x - 2*x = -5*n + 15, 4*x = -5*n - 20. Let j(r) = r**2 - 25*r + 2. Let m be j(25). Suppose -3*h + 3*z + 15 = n, 1 + m = -z. Solve -4 - 6 = -h*o for o.
5
Let d = -697 + 717. Solve 5*k - 5 = -d for k.
-3
Suppose -51*a + 13206 = 20*a. Solve -a = -5*m - 171 for m.
3
Let w(a) = -10*a - 71. Let n be w(-8). Solve 0 = -2*l - n - 1 for l.
-5
Let y(a) = a + 9. Let i be y(-11). Let q be (i - -1)/(8 - 9). Suppose 2*m = d + 5*m - 9, q = 3*d - 4*m. Solve s - 4*s - d = 0 for s.
-1
Let s = 51 - 46. Solve -s*w - 1 = -16 for w.
3
Let n = 1752 - 1752. Solve n = -5*j + j - 20 for j.
-5
Let x be 68 + (-1)/(-1) + 3 + -1. Let u = -71 + x. Let n be 1/5 - (-9)/5. Solve u = -4*m - 22 + n for m.
-5
Suppose -4*l + 2 + 22 = 0. Let o(g) = -g**2 + 10*g + 10. Let n(i) = -i**3 + 6*i**2 + 3*i - 8. Let b be n(6). Let y be o(b). Solve -l*c - y = -c for c.
-2
Suppose -j = -4 + 2. Suppose 5*y - 3*o = 5 + 23, 3*y - 13 = -j*o. Suppose -y*v - 6 = -3*i, 10 = 3*v + 3*i + 2*i. Solve -4*c + 0*c + 20 = v for c.
5
Let c be (-9 + 1)*(-4)/8. Suppose -3*s + 8 = -7*s, q + c = -4*s. Suppose -q*a - 3*a = 0. Solve -3*l + 3 = -a*l for l.
1
Suppose -3*k + 7 = -5*o - 4, -4*o = 2*k - 22. Solve -3*s - 12 = -k*s for s.
3
Let h = 146 + -138. Solve 15 = 3*s - h*s for s.
-3
Suppose -5*i = -2*i - 315. Let p be ((-4)/14 - 40/i)*-3. Solve -2*f + 4 = p*f for f.
1
Let i = -577 - -595. Solve i = -j - 8*j for j.
-2
Let i(z) = -z**3 + 2*z**2 + 6*z - 7. Let d = -45 - -48. Let c be i(d). Solve -h + 4 = c for h.
2
Let p = -478 - -481. Solve 0 = -p*b + 8*b - 15 for b.
3
Let g(t) = t**2 - t. Let d(h) = -h + 14. Let x be d(12). Let z be g(x). Suppose z*a + a = 9. Solve -a*v = -v for v.
0
Let b(z) = -z**3 + 5*z**2 - 6*z + 2. Let r be b(2). Suppose 0 = r*h - 4*f + 2, 4*h + 4*f = 2 + 6. Solve -w - h = -2 for w.
1
Suppose -34*d + 280 = 36*d. Suppose -3*g = -5*g + 20. Solve d*c = g + 10 for c.
5
Let o be (-1 + -2)*(-2)/(-3). Let h be (-5)/1*20/(-25). Let q be (-3)/(o + h + -3). Solve v = -q*v for v.
0
Let j be 6/(-27) - -1*(-2)/(-9). Suppose 0 = -j*i - 9*i. Solve -4*u + 20 = -i*u for u.
5
Let g = 11 - 2. Let l = -10 + -20. Let q be 20/6*l/(-4). Solve -4*z + q = g for z.
4
Suppose -3*v = 2*p - 72, -3 - 45 = -2*v + 2*p. Solve 12 = -v*x + 21*x for x.
-4
Let p be 90/4*(-8)/(-10). Solve 12*z = -p + 66 for z.
4
Let f be 6 + 80/60*3/(-2). Let c = -8 - -2. Let h be (c/3 - -1)/(-1). Solve 19 = f*q - h for q.
5
Suppose d = -s + 7 + 6, 2*d - 5*s = 19. Solve 7*y - d + 47 = 0 for y.
-5
Suppose -24*w + 26*w - 10 = 0. Solve 5 = w*d + 15 for d.
-2
Let l be (3 - 7)/12*(-2 - (5 - -2)). Suppose -2*i + 6*i + 10 = -3*s, 0 = -3*s + 2*i + 14. Solve -l*h + h = s for h.
-1
Let g(z) = 5*z + 137. Let m be g(-26). Solve 6 = -10*f + m*f for f.
-2
Let i(w) = w**2 - w - 5. Let z be i(6). Let n be 5 - 4 - 4/(-2) - -1. Let t be -2 + -5 + 5 + n. Solve t*x = 7*x - z for x.
5
Let c(f) = f**3 + 12*f**2 + 4. Let u be c(-12). Solve 9 = -u*s - 5*s for s.
-1
Suppose 5*c = 4*w - 53, -2*c + 3*c = -w + 2. Let m(z) = -9 + w*z + 6 + 0. Let j be m(1). Solve j = b - 0*b for b.
4
Let k be 182/15 - (6 + (-704)/120). Solve g = 4*g + k for g.
-4
Let y be (-2601)/(-63) + -17 + 2/(-7). Solve d + 20 - y = 0 for d.
4
Let q(u) = 14*u + 543. Let d be q(-37). Solve -33*r + 28*r + d = 0 for r.
5
Suppose -870 = -13*d - 246. Solve 0 = w - d + 52 for w.
-4
Suppose 6 + 2 = 2*l. Suppose -5*m = -2*v - v + 1, -l*v = -3*m - 5. Solve 2*r - v + 0 = 0 for r.
1
Suppose -9*g = -881 + 890. Let m(z) = -z**2 - z + 2. Let s be m(0). Let k = g + s. Solve k = 2*i + 11 for i.
-5
Suppose -63 + 43 = -4*x. Solve 7 = -3*b - x for b.
-4
Let i = -29 - -59. Suppose -6*u + 3*u = -i. Suppose -2*z + 10 = 4*f, 5*f + 4*z - 4 - u = 0. Solve -f*h = -3*h - 2 for h.
-2
Let h = -21 - 10. Let f = h - -32. Solve i + f = -1 for i.
-2
Suppose 17*r - 143 = -75. Suppose -4*k + 2*z + 28 = 0, k = -2*k + 3*z + 24. Solve -k*f = -2*f - r for f.
1
Suppose -3*y = -7*y + 4. Let p(s) = -s**3 - 6*s**2 - 6*s - 4. Let n be p(-5). Let o = n - -2. Solve 2*u - y = o*u for u.
-1
Suppose 44*o - 49*o - 150 = 0. Let x be 68/(-51)*o/4. Solve -x = 4*q + 2 for q.
-3
Let q(f) = -19*f. Let x be q(4). Let g = x + 84. Solve 3*s + g = 7*s for s.
2
Let s = 498 - 497. Solve -7 + s = 3*k for k.
-2
Suppose -l - 5 = -6. Let w be l - (-4)/8*(1 - -3). Let t(s) = -s**2 + 7*s + 10. Let i be t(7). Solve -w*k + 2 = -i for k.
4
Suppose k - 3*c + 4 = -4*c, 3*k - 3*c = 18. Let t be (-10)/4*(-3 + k). Suppose 10 = -t*h + 50. Solve 15 = 3*o - h*o for o.
-3
Let g = -507 - -511. Solve -i + 15 = g*i for i.
3
Let f(v) = 2*v**2 + 27*v - 142. Let r be f(5). Solve -40*p = -r*p + 12 for p.
4
Suppose 2*f - 10 = -3*c, -4*f - 3*c = -f - 12. Suppose -f*x + 35 = 5*s, 0*x + 4*x + 4*s = 52. Let y be ((-8)/12)/(x/(-45)). Solve -4 = y*w - 4*w for w.
4
Suppose 30*m - 42 = 1038. Solve m = -34*v + 16*v for v.
-2
Let v be 0 + 8/8*1. Suppose -2*x = a + 9, 2*x + 8*a - 6 = 4*a. Let p = -4 - x. Solve -2*g - v = -p for g.
1
Let b be -1 + 22 - 210/70. Solve w - 15 + b = 0 for w.
-3
Let f = -316 - -318. Solve 5 = -3*a + f*a for a.
-5
Let h = -55 + 77. Let o = 27 - h. Solve 0 = 3*p + 1 + o for p.
-2
Suppose -x + 36 = 4*l, 5*l + 0*x - 52 = -3*x. Suppose -u + l = -23. Suppose u = 5*h + o, 3*o + 43 = 5*h + o. Solve 3*v + h = -2 for v.
-3
Suppose -150*b + 148*b = 0. Suppose -2*j + 0*j = 3*a + 15, a + 5 = b. Solve i + 1 - 6 = j for i.
5
Let b = 9 - 4. Suppose -4*c - 3*y + 73 = 0, -3*c + 0*y + b*y = -33. Solve 0 = -4*t - 0*t + c for t.
4
Let z(c) = -2*c**2 + 8*c - 3. Let f be z(3). Solve 0 = -12*w + 9*w + f for w.
1
Suppose 4*t + 14 = 4*f + 54, -4*f - 56 = 4*t. Let z be 10/3 - f/18. Solve -2*o = -4*o + z for o.
2
Suppose -3*u - 11 = -2*h, -4*h - h = u - 36. Solve -o = -8*o + h for o.
1
Suppose 0*h = 2*h - 18. Let c(w) = 10*w - 8. Let m be c(2). Let f = m - h. Solve 0*y = -f*y for y.
0
Let l = -3 + 9. Suppose -9*s = -l*s + 5*q - 1, 5*s - 5*q = 15. Solve -p + s = 3 for p.
-1
Let b(y) = -39*y - 447. Let c be b(-12). Solve -4 = c*q - 25*q for q.
1
Suppose q + 2*j - 7 = -15, 2*q + 11 = -3*j. Solve q*c = -3*c - 10 for c.
-2
Let u be (7 - 20 - -12)*(-39)/3. Solve -u*s = -12*s + 1 for s.
-1
Let j(t) = -t**2 - 17*t - 64. Let s be j(-11). Solve 0 = s*g + 2*g + 4 for g.
-1
Let t be (38/(-6) - -3)*60/(-25). Suppose y + 35 = t*y. Solv