 c - 4 = 0 for c.
-2
Let f = -629 + 664. Solve -f = s - 30 for s.
-5
Let r = 2136 - 2121. Solve -20*i + 17*i = -r for i.
5
Let y be (-4)/((-1)/(-1)) + 56. Suppose -5*t + y = -t - m, -5*m = t + 8. Solve 0*u + 3*u - t = 0 for u.
4
Suppose -16 + 3 = v. Let i(y) = 13*y + 10. Let x be i(-2). Let z = v - x. Solve -3*t = 18 - z for t.
-5
Let s(y) = 3 + 10*y**2 + 133*y - 66*y - 71*y. Let u be s(1). Solve -6*l = -u*l for l.
0
Let j(k) = k. Let i be j(5). Let f(r) = 3*r + 4. Let c be f(i). Suppose -4*q + 3*l = -c, -3*q - 3*l - 8 = 4. Solve -3 = 4*x + q for x.
-1
Suppose 5*y = -20, -u + 0*u + 16 = -4*y. Solve 3*j - 4 + 1 = u for j.
1
Suppose d - 10 = -45. Let a = d + 35. Solve -2*t + 0*t - 2 = a for t.
-1
Let i be 1/(-3)*19*3. Let r = 25 + i. Let n be ((-9)/(-2) - 2)*2. Solve h = r*h - n for h.
1
Let v = 13 - 11. Suppose -h + v*b = -1, h - 2*b = 2*b - 1. Let u be (-5)/6*-3*2. Solve 0 = -u*p + h - 18 for p.
-3
Let o(f) = -3*f - 29. Let r be o(-12). Suppose 0 = 4*b - 13 - r. Solve -2*h + 15 = b for h.
5
Suppose 0 = -0*n + n. Suppose -10*r + 11*r + 1 = 0. Let v be (r/(-4))/((-1)/(-12)). Solve n = u - 2*u - v for u.
-3
Suppose 2 - 6 = -2*f. Suppose 0 = 3*u + 2*p - 6*p + 3, -3*p = -9. Solve f*d + u = 5 for d.
1
Let f(v) = v**3 - 1. Let d be f(2). Suppose -67 - 23 = -45*x. Solve -x*j + d*j = 10 for j.
2
Let l(k) = -k**2 + k + 4. Let r be l(-2). Let v(w) = -3*w - 4. Let m be v(r). Solve -8 + 18 = m*g for g.
5
Let p be (7 + -16 + 11)*1*2. Solve 7*i + p = -3 for i.
-1
Let v = -237 + 240. Solve -2*x = -v*x for x.
0
Let k = 3 - 9. Let h be 21/28*(-16)/k. Solve 3 + h = -5*b for b.
-1
Let k(b) = -4*b + 139. Let i be k(30). Solve -22*p = -i*p - 3 for p.
1
Let c be ((-30)/(-35))/(15/770). Solve w = -10*w - c for w.
-4
Let k = -7 - -3. Let j = k + 16. Solve 28 - j = 4*f for f.
4
Let s = 93 + -87. Solve y = -y + s*y for y.
0
Suppose 0 = 19*b - 6*b + 13. Let m be (0/((-2)/b))/(-5 + 6). Solve -6 = -2*w - m*w for w.
3
Let v be (1 - 1) + 1*8. Suppose -9*c + 424 = 388. Solve -c*u + v = -4 for u.
3
Let r(n) = n**3 - 33*n**2 + 2. Let w be r(33). Solve -w*v - 5*v = 0 for v.
0
Let u = 1 + -1. Let q be (-26)/4*(-376)/1222. Let s = -5 - -7. Solve 0 = q*k - u - s for k.
1
Suppose 5 = -6*m + 47. Suppose 17 = 10*z + m. Solve 2*a = z - 11 for a.
-5
Let m(w) = -w**3 - 8*w**2 - w. Let b be m(-8). Suppose -2*n = 3*x + 10, 0*x = -2*n - x - 10. Let h = n + b. Solve -h*v + 1 = -2 for v.
1
Suppose -17 = -2*v - 7*g + 6*g, -3*g + 2 = -v. Solve -8*y + 4 = -v*y for y.
4
Let p be (-48)/(-26) + (-8)/(-52). Let g be (2/p)/((-14)/(-56)). Solve -r = g*r - 25 for r.
5
Suppose -4*t = -5*b - 101, 0 = -5*t - 9*b + 11*b + 139. Solve t = 13*a - 10 for a.
3
Let f = 2193 + -2174. Solve -7*u - 12*u - f = 0 for u.
-1
Let r(z) = -z**3 + 12*z**2 + 1. Let a be r(12). Let g = 4 + a. Suppose g = j + 1. Solve -j*s - 20 = s for s.
-4
Suppose -31*h = -12*h - 3*h. Solve h = -37*g + 35*g - 6 for g.
-3
Suppose 5*j = 3*q - 25 - 2, 11 = 2*q - j. Suppose 5*a = q*a + 5*k - 15, 0 = 5*a - 3*k + 9. Solve 5 = -a*r + 5*r for r.
1
Let v be 23 + (30/2)/5. Suppose -3*s + 34 = -v. Solve 0 - s = -5*q for q.
4
Suppose 5*l - 4*l = 5. Suppose -3*o = o - b, -4*b = 2*o. Suppose -4*k = 2*y - 50, o = -5*k - 5*y + 3*y + 60. Solve -l*m - k = -0*m for m.
-2
Let g(f) = -f**3 - 4*f**2 + 3*f. Suppose 5*p = -2*q - 23, 0 = 2*p - 4*q - q + 15. Let n be g(p). Solve n + 0 = -5*a for a.
-2
Let c be 2/4 - 33/(-22). Let p(g) = 2*g**3 + 14*g**2 + g + 10. Let n be p(-7). Solve 0 = -c*a - 1 - n for a.
-2
Suppose 0 = -252*c + 210*c + 1596. Solve -4 = -c*r + 39*r for r.
-4
Let s be ((-27)/12)/((-15)/40). Suppose -s*n + 20 = -n. Suppose 2*k + n*k - 60 = 0. Solve 0*o = 2*o - k for o.
5
Let x(h) = h**3 - 19*h**2 + 21*h - 49. Let n be x(18). Solve -v + n*v = -v for v.
0
Let g(a) be the second derivative of -a**3/6 + 6*a**2 + 10*a - 7. Let y be 8/3*(-9)/(-2). Let p be g(y). Solve p = -5*s + 10 - 5 for s.
1
Let x be ((-75)/(-20) - (-1)/4) + 14. Solve -15*m = -9*m + x for m.
-3
Let q(l) = -l**3 + 8*l**2 + 14*l + 71. Let i be q(10). Solve 0 = -10*v + i + 9 for v.
2
Let g = 4 - -7. Let u = 2 + g. Solve 4*n = -7 - u for n.
-5
Let d(x) = 2*x + 10 - x + 0 - 2*x. Let t be d(5). Suppose -2*j + i + 14 = 3, 35 = 5*j + t*i. Solve h = -h + j for h.
3
Let r = -373 + 376. Solve x = -r*x for x.
0
Suppose -27 - 27 = -6*g. Solve g*t = -t for t.
0
Let h = 3 + -2. Let c(s) = 56*s + 392. Let v be c(-7). Solve 5*o - h - 9 = v for o.
2
Let h be (0 - 4 - -3) + 30. Suppose 6*u = 4*g + 5*u - 31, -5*u + h = 3*g. Suppose 2*k = -3*k + 15. Solve 4 + g = -k*p for p.
-4
Suppose -6*b + 5*b = 3. Let n be 2/(-6) - 13/b. Solve -10 = n*d + 2 for d.
-3
Let a(m) = -m**3 + 2*m**2 - m. Let i be a(1). Let c be (-43)/15 + 8/(-60). Let r be i/(c - -3 - -3). Solve -15 = -r*g + 3*g for g.
-5
Let t = -35 - -8. Let h = 47 + t. Let z be 112/h - (-3)/(-5). Solve z*j - 7*j - 10 = 0 for j.
-5
Let t be (-6)/(-8) + 1/4. Let c = -67 - -3. Let m = 68 + c. Solve q + t = m for q.
3
Let w(n) = 2*n**2 + 38*n + 142. Let p be w(-14). Solve 0 = 5*f - p*f - 12 for f.
4
Let n be 6/4*9/(36/104). Suppose 2*g - 15*g + n = 0. Solve -1 = -g*b + 2 for b.
1
Suppose l = -2*g, 25*g - 20*g = -4*l. Solve l = 6*y - 5*y - 4 for y.
4
Let u = 0 + 6. Let c = 22 - 21. Solve -5*i - u = -c for i.
-1
Let x = 22 + -13. Suppose x = r - 0. Let u = r - 6. Solve -6 = u*i + 6 for i.
-4
Let p(b) = -b**2 + 7*b + 8. Let h be p(8). Let o be h - (-3 + 5) - 7. Let u be (2 - 4)/(6/o). Solve -3*k = u - 9 for k.
2
Suppose 3*f - 5*f - 19 = -3*z, -2*f - 4 = 0. Solve -z*o = 2*o - 14 for o.
2
Let f be 19 + -9 - 6/1. Solve f*i = 3 - 11 for i.
-2
Suppose -6*n + n + 25 = 0. Suppose 10 = -3*r + 5*i, -n*i = r + 4*r - 50. Suppose 15 = 3*v + g, r*v + g = -2*g + 21. Solve m = v*m + 20 for m.
-4
Let z(m) = 7*m - 250. Let k be z(38). Solve -95*t = -91*t + k for t.
-4
Let n be (-1 + -1)*3/(-6). Let p(d) = 3*d**2 - 8*d - 5. Let y(f) = 8*f**2 - 24*f - 14. Let i(q) = 11*p(q) - 4*y(q). Let b be i(-8). Solve v - n = b for v.
2
Suppose -i = 4*n - 62, 24 = n - i - 3*i. Let b be (-47)/((-188)/(-24)) - -8. Solve b*k = -2*k + n for k.
4
Let t = -27 + 9. Let b be t/(-9) + (-4)/(-1) - 2. Solve -b*l + 7*l = -9 for l.
-3
Let n = 1126 + -1114. Solve 6*j = n*j - 30 for j.
5
Let p be -2 + (-26)/2*-1. Let z = 13 - p. Suppose 5*w = 3*r + 6*w - z, 5*w - 10 = r. Solve r = -4*m - 5 + 1 for m.
-1
Let h(i) = -9*i**2 + 3 - 13*i - i**3 - 11 + 4*i. Let s = -277 + 269. Let w be h(s). Solve 0 = -w*a + 3*a - 15 for a.
5
Suppose c - 2 = -0*c. Suppose -50 + 119 + 237 = 102*x. Solve x*j + 5 = -c*j for j.
-1
Let w be (73 - 53)*(-1)/8*-2. Solve -11*l + 6*l = -w for l.
1
Let n(v) = -11*v**3 - 2*v**2 - v + 3. Let a be n(2). Let z = a + 99. Solve 0 = z*s - s - 9 for s.
3
Let y(u) be the first derivative of -u**3/3 - 3*u**2 + u - 25. Let t be -5 + -2*2/4. Let q be y(t). Solve 13 = -3*x + q for x.
-4
Suppose -5*d + k = -48, 15*d - 16*d = -5*k. Solve 3*b - 4 = -d for b.
-2
Let g(c) = 2*c**2 - 8*c + 2. Let s be g(6). Let h = s + -26. Solve 0 = -a - h*a - 1 for a.
-1
Let p = -1580 + 1585. Solve 12 - 27 = -p*k for k.
3
Let h be (3/(-4))/((-45)/60). Suppose 0 = 4*w - 4*j - 12, -4*w + h = -2*j - 13. Suppose -t + 13 + w = 0. Solve 5*a + 2 = t for a.
3
Suppose -14 + 2 = 3*n. Let k = 2 + n. Let s be (-2 - -5) + (-2)/k. Solve -x - s = -2*x for x.
4
Suppose -2*j = 3*a + 3, 2*j + 9*a + 2 = 7*a. Let z = -11 - -15. Solve z*s + 0*s + 4 = j for s.
-1
Suppose -3*p + 5 = -4. Suppose -4*l + 0*l - 6 = 2*u, 0 = -u - p. Solve d = -l*d for d.
0
Let z(h) = h + 5. Let s be z(-5). Let v be 6/(-18) + (-110)/(-6) + -3. Suppose s = -5*a + v + 35. Solve c = -4*c - a for c.
-2
Suppose 5*r = -5, 2*r + 37 - 147 = -4*d. Solve -d + 24 = 2*k for k.
-2
Let m = 360 - 360. Solve m = -2*i - 0 - 4 for i.
-2
Suppose 3*g + 4*m - m = 30, 15 = g + 2*m. Solve -2*k = -g*k for k.
0
Let m(f) = f**2 + 5 + 3*f**2 + 3*f**2 + 8*f - f**3. Let k be m(8). Solve -k*c = -6 + 11 for c.
-1
Let i = -248 - -251. Solve -i*r = 2*r for r.
0
Let a be (-154)/(-8 - 6) - (0 + 1). Solve -a*m + 43 = 43 for m.
0
Let c = -62 + 96. Suppose 2*a + 6 = 2*h, -h + 4*a = -0 - 3. Let r = h + c. Solve -5*x + r = 12 for x.
5
Let a = 12 - 12. Let w = 1082 + -1079. Solve a = 6*v - w*v for v.
0
Let r(g) = 5*g**2 - 27*g - 14. Let w be r(6). Solve w*t = -2*t for t.
0
Let i(p) = p**3 + 4*p**2 + p + 8