+ 64. Solve 4*s = 8*s - c for s.
2
Suppose -123*f + 65*f = -232. Solve -5*r = -r + f for r.
-1
Let l = 30 - 30. Suppose l = 3*c + 5*n - 129 + 44, 5*c = -2*n + 129. Solve -a + c = 4*a for a.
5
Suppose -1297*b = -1293*b - 128. Solve 44 - b = 3*k for k.
4
Suppose 6*c - 3*c = 5*r - 123, 2*r - c = 49. Suppose 14*u = 17*u - r. Solve 5*x + u = x for x.
-2
Let i = -47 + 46. Let o be (-1 - -1)/(i/(-5 + 4)). Solve o = -3*l + 14 - 5 for l.
3
Let l = -510 - -515. Solve 0 = -l*y + 10*y + 10 for y.
-2
Let y = 1519 + -1499. Solve -y = 7*g - 2*g for g.
-4
Suppose 0 = -34*y + 32*y - 4. Let b be 24/(-18)*3/y. Solve b*o = -3*o + 25 for o.
5
Suppose -8*v + 3*v = -25, 4*w + 3*v - 15 = 0. Suppose w = 3*y - 115 - 32. Let u be 4/14 - (-476)/y. Solve -4*p = -6*p - u for p.
-5
Let q = -3 + 7. Suppose 3*c - q*i + 20 = 0, -5*c + 0*i + i - 5 = 0. Let k be (-2)/(c + 1) - -2. Solve k = 2*z + z + 12 for z.
-4
Let w = 104 + -70. Let j be 16/(-88) - (-46)/11 - 34. Let b = w + j. Solve b*i - 3 = i for i.
1
Let q(i) = i**3 + 6*i**2 - 7*i + 6. Let k(j) = j**3 + 5*j**2 - 6*j + 7. Let f(n) = -3*k(n) + 4*q(n). Let o be f(-10). Solve -o = -2*z + 1 for z.
2
Let r = -443 - -601. Solve -5*w = r - 148 for w.
-2
Let r = 18 + -22. Let j be r + 2 - (-1 - -1). Let x be ((-96)/8)/(0 + j). Solve -x*q = -2*q for q.
0
Let f(r) = -r**3 - r**2 - r - 5. Let t be f(-2). Solve 0 = b + 5 - t for b.
-4
Suppose -3*h + p = -8*h + 38, -5*p = 4*h - 43. Suppose 3*i - u = 0, 2 = -3*u - h. Let d = i - -3. Solve -n + d = -3 for n.
5
Suppose 25*q - 19*q + 408 = 0. Let g = 73 + q. Solve 12 = g*w - 2*w for w.
4
Let r = -7 + 13. Let x = -5 - -5. Suppose 0*i - 15*i = x. Solve i = 3*j - r - 0 for j.
2
Suppose -22 = -5*s + 18. Let x = -3 + s. Suppose -k + d = -4*d + 3, 0 = 5*k + 4*d - 43. Solve x*i = 32 - k for i.
5
Suppose -2*z - 5*c - 7 = 0, 0 = z + 2*c + c + 5. Suppose -2*g + 2 = -z*p, 3*p = -g - 1 + 12. Solve -5 = 5*u + g for u.
-2
Let o be (1 - 0) + (24/(-3) - -5). Let v be (-1 - (-2 - (o - 3))) + 4. Solve v = -5*w + 10 - 35 for w.
-5
Suppose 0 = 2*z - 0*z - 24. Suppose -j + 3*j = 5*u - z, 5*u + 2*j = 28. Let g = 9 - u. Solve -g*b - 4 = -b for b.
-1
Suppose 20*o - 18 = -3*q + 23*o, 5*q - o - 30 = 0. Solve q*x - 12 = 6 for x.
3
Let q be -16 - (3 + -2 + 2). Let g = q + 23. Solve 0 = -2*b + 3*b + g for b.
-4
Let w be (-4)/(-3) + 4/6. Let d be ((-45)/6)/((-3)/(-4)). Let s(h) = -3*h - 30. Let l be s(d). Solve -y - y - w = l for y.
-1
Let m(i) = i + 17. Let p = 23 + -33. Let a(t) = t + 20. Let l be a(p). Let j be m(l). Solve 5*r - j = -7 for r.
4
Let f(c) = -2*c + 11. Suppose -5*v + 5 = -4*u - 6, v = u + 2. Let l(q) = 5*q**2 - 2*q + 1. Let z be l(u). Let h be f(z). Solve 0 = -3*p + 2*p + h for p.
3
Suppose 9 = -2*c - c. Let g be 12 - c/(-6)*6. Suppose 0 = g*h - 8*h - 1. Solve h + 1 = -2*m for m.
-1
Suppose 24*g = 18*g + 24. Solve 3*n + 2*n = g*n for n.
0
Let f be -1*(-73)/(-1 - -2). Let o = f + -71. Solve -z + o = -0*z for z.
2
Suppose c - 5*c = -4*o + 72, -50 = -5*o - 5*c. Suppose -7*b + 0*b = -o. Solve 5 = b*h - h for h.
5
Let l(r) = 5*r**2 + 2*r + 3. Let i be l(-5). Let m = -116 + i. Solve -15 = -m*x + 7*x for x.
-3
Let b(w) = w**2 + 28*w + 116. Let g be b(-23). Solve -5 = -a - g for a.
4
Let h = 326 + -316. Solve 8 - h = j for j.
-2
Suppose -11*v - v - 840 = 0. Let s = v + 78. Solve 7 + s = -3*y for y.
-5
Let q(f) = -f. Let i(g) = g**2 + 7*g - 3. Let k be i(-7). Let p be q(k). Solve -x = -p*x - 6 for x.
-3
Let y = 146 + -146. Suppose -3*c - 2*a + 3*a = -7, 5*a + 5 = y. Solve -3 = c*g - 7 for g.
2
Let i be ((-9)/2)/(-9)*-2. Let n be (i/(3/10))/((-14)/21). Solve l = -3 + n for l.
2
Let n be (-2)/(-4) - (-14)/(-28). Solve n = -0*h - 2*h + 4 for h.
2
Let k = 20 - 17. Let n be 0/(k/(-9)*1*6). Solve n*s = 2*s for s.
0
Let z be ((-456)/(-27))/19*(0 - -18). Solve -z*d = -13*d + 3 for d.
-1
Suppose 5*x - 2 = 4*x. Suppose 5*q + 0*h - 4*h = 34, h + 7 = q. Solve 0 = -x*y + 4*y + q for y.
-3
Let g = -13 - -25. Suppose -3*i - g = -6*i. Suppose 0*a + 20 = i*a. Solve -2*t + t + a = 0 for t.
5
Suppose 0 = -68*d + 873 + 623. Solve -21*i = -d + 1 for i.
1
Let l(s) = -7*s**3 + 8*s**2 - 7*s - 6. Let b(n) = 8*n**3 - 9*n**2 + 8*n + 7. Let i(k) = 6*b(k) + 7*l(k). Let w be i(1). Solve -t = 2 - w for t.
-2
Let t = -4 + 7. Suppose -171*i = -170*i - 5. Suppose -2*v + i*v = -x - 15, -2*x - 10 = 2*v. Solve t*w - 3 + x = 0 for w.
1
Let j(o) = -o**2 - 3*o + 7. Let t be j(-6). Let n(w) = 3*w + 8. Let v be n(23). Let l be t/v + 22/7. Solve 2*d - l = 5 for d.
4
Let f = 8 + -14. Let h(i) = -i**2 - 4*i + 2. Let k be h(f). Let v be 8/k - 42/(-15). Solve -v*l + 0 = -6 for l.
3
Suppose 3*p - b - 2*b - 21 = 0, p = -4*b + 2. Let d be (-2 + 2)/(5/15*p). Let l = -15 - -22. Solve d = 2*n - l*n for n.
0
Let x = 25 + -57. Let p = 36 + x. Solve p*n = n - 3 for n.
-1
Let n(u) = -2*u + 27. Let b be n(12). Let m be -2 + (2 - (-18 - -1)). Let x = b + m. Solve -2*l = 3*l - x for l.
4
Let w = 74 - 71. Let m(v) = v**3 - v**2 - 5*v + 3. Let p be m(w). Solve 3*j = p*j + 9 for j.
-3
Let g be 2 - (3 - 11)*13. Let x = -104 + g. Solve x*n - 2 = n for n.
2
Let l be 5/(30/516)*(-4)/(-8). Solve -l + 15 = 14*s for s.
-2
Let m(g) = -g**2 - 7*g - 4. Let c be m(-5). Let q be 15/35 - (-162)/63. Solve c*n = q*n - 3 for n.
-1
Suppose 4*k + 5*k = -342. Let t = k - -41. Solve -7*h + t*h = -16 for h.
4
Let g be (1 + -2 - (-22 + 24)) + 5. Solve 4*b = -g*b - 30 for b.
-5
Let m be ((-2)/(-1))/(4/6). Let l be 125/20 + (-56)/(-32). Solve m*j = -j - l for j.
-2
Let g = -1 + 5. Suppose -g*b + 6 = -w, 3*b - b - 6 = 0. Let n be ((-15)/w)/(-5)*0. Solve q + 2*q - 6 = n for q.
2
Suppose -5*d - 59 = 1. Let b be ((-2)/3)/(2*2/d). Solve -k = -b*k - 5 for k.
-5
Let h(f) = f**3 + 12*f**2 + 10*f - 2. Let g be h(-11). Suppose 0 = -14*b + g*b - 40. Let s(q) = q + 20. Let i be s(b). Solve -4*t = -t - i for t.
4
Let u(f) be the first derivative of -f**3/3 - f**2/2 + 4*f + 24. Let t be u(-2). Solve t*v + 12 = -v for v.
-4
Suppose 3*s + 3*h + 12 = -0*s, 3*h = -5*s - 12. Suppose -k + 4*k = s. Suppose k = 3*x + x - 12. Solve 3*o + x = 2*o for o.
-3
Let y be 10*(-3 - (-51)/15). Let h be -3 - (21/(-3) + y). Suppose h*w - 4 = -w. Solve -w*z - 10 + 2 = 0 for z.
-2
Let t(s) = 12*s - 34. Let p be t(4). Suppose 11*h - 74 = p. Solve l + l = h for l.
4
Let t(a) = -13*a - 328. Let y be t(-26). Solve -y*w = -7*w - 12 for w.
4
Let w be (-17 - 1)/(-2) - (-2 - -4). Let a be 10/3 - w/21. Solve -2*z = a*z + 10 for z.
-2
Suppose f - 72 = -5*q, -42 = q + 3*f - 48. Solve -q*v - 6 = -12*v for v.
-2
Let k(h) = 2*h**2 - 15*h - 4. Let y be k(8). Solve 5*z + y = 19 for z.
3
Let k be -33 - 0 - (-4)/4. Let o = k + 37. Solve c - o = -4*c for c.
1
Suppose 0 = 2*w + 2*j - 4, 5*w + 4*j - 8 = 2. Solve -6*o - 4 = -w*o for o.
-1
Let b(x) = x + 4. Let w be b(0). Let y be ((-4)/(-42)*45/(-10))/((-4)/84). Solve -w*a = -y*a for a.
0
Suppose 25*t - 56 = 194. Solve 5*x = 10*x + t for x.
-2
Let s be (-10)/(-4) - (-2)/4. Let h(g) = g - 2*g**2 + g + 3 + g**3 + 2*g - 5*g. Let q be h(0). Solve -2*l - s = -q*l for l.
3
Let f(b) = b**2 - b - 3. Let l be f(-2). Suppose 14 = l*n + 5. Solve 18 = n*y + 3 for y.
5
Let l(y) = -y**2 - 29*y - 147. Let r be l(-22). Let q be (-6)/(-4)*(-8)/(-6). Solve -q*o = -r*o for o.
0
Suppose 20*o = 17*o + 30. Suppose 0 = 6*f + o - 28. Solve 7*u + 16 = f*u for u.
-4
Let i(c) = c**3 + 5*c**2 + 2. Let m be i(-5). Solve -2*y + 0 = m for y.
-1
Let p(t) = -3*t + 3. Let s be p(-2). Let f = s - 7. Suppose -f*b + 0 = -4. Solve -d = -b*d for d.
0
Let f(c) = c - 8. Let g be f(4). Let u be (-10)/15 + g/3. Let y be (5/15)/(u/(-18)). Solve y*t = -0 - 12 for t.
-4
Suppose 0*n + v - 20 = 3*n, -3*v = 2*n + 6. Let t be n/(2 + -5) - (-1)/1. Solve -2*p = -3*p + t for p.
3
Suppose -281*p - 36 + 36 = -91*p. Suppose 3*x + 3*k = -0*x + 21, 4*x = 4*k + 12. Solve -20 = x*h - p*h for h.
-4
Suppose 0 = 3*d + 5*x - 70, 2*d - 38 = -25*x + 26*x. Solve 11*o = d + 13 for o.
3
Let n be 3 + -2 + -5 + 4. Let k be 1/(-3) - (-4)/12. Suppose k = -r + 2. Solve n = -5*s + r*s - 3 for s.
-1
Let m(q) = 2*q**3 - 15*q**2 - 15*q + 60. Let d be m(8). Solve d*s = 26 - 34 for s.
-2
Suppose -2*s + 0*s + 22 = 2*g, -72 = -4*s + 3*g. Solve -2*f - s = -7*f for f.
3
Suppose 2*i = -2*i + 172. Suppose 1 = 11*n - i. Solve -m = -5*m - n for m.
-1
Let s(o) = -2*o - 20. Let f be s(-1