ve -s = j*m + 5 for m.
-3
Let x(i) = i**3 + 7*i**2 - 2*i - 6. Let g be x(-7). Suppose 5*a = a - c + 1, a = -3*c - g. Let d(t) = t - 7. Let s be d(9). Solve q = s*q - a for q.
1
Let m(l) = -6*l - 2. Let q be m(-1). Suppose q*k + 5*h = -0*h - 9, -2*h + 6 = 4*k. Suppose 0 = -4*o + 2*v, 4*o - 3 = v + 1. Solve 2*r + o*r = -k for r.
-1
Let y = -178 + 194. Solve -3*d + y = -7*d for d.
-4
Suppose -3*l = l. Suppose -2*z + 17 = -5*i - 9, l = 4*i - 8. Solve 4*c = z + 2 for c.
5
Let v(g) = -g**3 + 16*g + 2. Let u be v(-5). Solve 0 = -56*n + u*n for n.
0
Let v be 84/9*12/14. Solve -8*s = -4*s - v for s.
2
Let l = -66 + 80. Let t = -11 + l. Solve 16 = -t*h - h for h.
-4
Let z = -36 - -36. Let n(y) = 4*y + 63. Let t be n(-15). Solve -b = -t - z for b.
3
Let h(t) = t**2 + 14*t - 50. Let c be h(3). Solve -5*p - c = -16 for p.
3
Suppose -4 = r + 4. Let b be 10/(-40) + 46/r. Let l be b*(20/8 - 3). Solve 0*u + l = -u for u.
-3
Let k be 13 - 11 - 1/((-2)/14). Solve -3 = k*w + 6 for w.
-1
Suppose 3208 = 47*b - 646. Solve -b = -4*r - 70 for r.
3
Let n(h) = -13*h - 39. Let u be n(-3). Solve -8*b - 17 + 1 = u for b.
-2
Suppose -3*y + 4*y = -4*y. Solve -2*s + 0*s + 4 = y for s.
2
Let o(d) = d**2 - 8*d + 17. Let l be o(7). Let r be -1*2/4*-6. Solve k - l = r*k for k.
-5
Suppose 16*l - 238 = -78. Solve -35 = 5*w - l for w.
-5
Suppose -k - 171 = -4*k. Suppose 25 = q - 2*j, j + 182 = 5*q + k. Solve 0 = 5*c - 10*c - q for c.
-5
Let w(q) = -2*q - 4. Let v(s) = s + 1. Let z(b) = 12*v(b) + 4*w(b). Let d be z(2). Solve 0 = d*r - 2*r - 6 for r.
3
Suppose 5*p - 46 = 54. Suppose -2*t = -7*t + p. Let y be 202/8 + (-1)/t. Solve -y = 6*s - 11*s for s.
5
Let g be (2 - -1 - 3) + 0. Suppose -4*u - 13 = -13. Suppose -4*b + 20 = 2*z, g = -2*b - u*b + 10. Solve -12 = -z*d - 3*d for d.
4
Suppose 3*r - 25 = -4*d, 3 = -3*r + 3*d - 0*d. Let m = 8 + 3. Suppose h - 2*h - 7 = -4*o, 0 = -5*o - h + m. Solve o*q - 1 = r for q.
2
Let f = 2 - -29. Suppose -3*g = -y + f, -2*g + 0*g = 4*y + 44. Let m be g*((-3)/(-6))/(-1). Solve -w - m = 2*w for w.
-2
Let p(y) = -y**2 + 12*y - 4. Let q be p(14). Let h = q + 32. Solve 4*z + z - 20 = h for z.
4
Let a be (-4)/(-6)*(-3)/(-2). Suppose 0 = -44*s + 48*s - 24. Solve 5*i = s - a for i.
1
Let w(f) = f - 7. Let j be w(9). Let t be 1 + (-4 - (j + 0)). Let c be (-10)/25 - 27/t. Solve 8 = k - c*k for k.
-2
Let v be (-25)/(-3) - (-10 - (-325)/39). Solve -v = 10*c - 20 for c.
1
Let r(n) = -2*n**3 + 40*n**2 - 40*n + 51. Let u be r(19). Solve -m = -u*m + 60 for m.
5
Suppose -2*j - 12 - 4 = 0. Suppose -2*t = -3*t - 2*c + 8, 0 = -4*c - 8. Let u be j/t + (-8)/(-3). Solve -6 + 0 = u*z for z.
-3
Suppose h - 2 = l, l - 4*l - 3 = -2*h. Suppose 5*a + 4 = -g + h*g, 6 = a + 3*g. Let x(y) = y**2 - 10*y + 9. Let f be x(9). Solve f = -a*v - 2*v - 8 for v.
-4
Let u(a) be the second derivative of -2*a**3/3 - a**2 - 7*a. Let n be u(-1). Solve 0 = -4*w + n*w for w.
0
Suppose -s + 19 - 5 = 3*v, 3*s = v + 72. Let n = s + -30. Let c(q) = -q**2 - 8*q - 7. Let j be c(n). Solve 0 = x - j*x - 2 for x.
2
Suppose -7 + 2 = -k. Solve -i - k = -0 for i.
-5
Let q(d) = d + 9. Suppose -28 = 6*k - 4*k. Let v be q(k). Let c = -2 - v. Solve 0 = -2*y - c*y for y.
0
Let s = 53 - 53. Solve s = -o - 3*o - 20 for o.
-5
Let o = -2327 + 2334. Solve -10 = 5*b - o*b for b.
5
Suppose -23*k + 42 = -50. Solve -t - 3*t = k for t.
-1
Let x(c) = 2*c**2 - 32*c - 9. Let z(g) = -g**3 - 4*g**2 + 4*g + 12. Let a be z(-5). Let t be x(a). Let n be -1 + -1 + 1 + 6. Solve t = -n*u + 5 for u.
-4
Let i(a) = a**3 + 6*a**2 + 2*a + 14. Suppose -3*m + 8*m + 30 = 0. Let t be i(m). Solve -t*h = 2*h - 8 for h.
2
Suppose -5*t + 18 = -2*t. Let i(y) = -2*y**2 - 15*y - 2. Let k be i(-7). Suppose -t*v + 2 = -k*v. Solve -3*r = v*r - 15 for r.
3
Let m = 5 - 9. Let d = m + 9. Let h be (-9)/(81/(-45)) + -4. Solve -2*z = -h - d for z.
3
Let q = -427 - -434. Solve 0 = q*r + 3*r for r.
0
Let g(u) = -2*u - 16. Let y be g(-8). Suppose o + y*o = 9. Solve -o = -5*j + 1 for j.
2
Let p = 4 - 0. Suppose v + 3*v - 24 = -4*h, -p*v + 16 = 2*h. Solve h = 3*k - 2*k for k.
4
Suppose 87*j = 88*j + 1, -d = -5*j - 10. Let h(r) = 2*r - 5. Let i be h(5). Solve -d*x + 4*x = -i for x.
5
Suppose 33 = 7*k + 12. Solve -18 = k*q + 3*q for q.
-3
Let g(l) = -l**3 - 27*l**2 - 25*l + 30. Let n be g(-26). Let z(q) = 5*q + 2. Let o be z(4). Let t be 11/o - 2/n. Solve t = -2*c - 2 - 6 for c.
-4
Suppose -4*v = -y + 19, 0*y + 2*v + 17 = 3*y. Let s = 7 - y. Suppose 17*d - 19*d = 0. Solve d = -s*x + x for x.
0
Let k(c) = 2*c**3 + 21*c**2 - 14*c - 8. Suppose 4*g + 49 - 5 = 0. Let v be k(g). Solve 4*q + v = 9 for q.
-4
Let x be (3744/15)/16 + (-6)/10. Solve 15*s + x = 12*s for s.
-5
Let o be 32/(-3)*(0 - 6/4). Solve -o = -2*c - 8 for c.
4
Let x(t) = -t + 31. Let s be x(9). Suppose 2*h + s = 30. Solve -h*z - 4 = -3*z for z.
-4
Let l be (26/(-8))/(((-110)/(-40))/(-11)). Solve 0 = -3*n + l - 22 for n.
-3
Suppose 88*n - 73*n = 90. Solve 4*i + n + 6 = 0 for i.
-3
Let i(a) = -2*a + 4*a + 5 - 3*a - 2. Let p be i(3). Solve -3*m + p - 3 = 0 for m.
-1
Suppose 5*t = 4*l - 180, 2*t - 242 = -5*l + 4*t. Suppose l = -2*o + 7*o. Solve u = -u - o for u.
-5
Suppose 4*q + 2*q - 6 = 0. Solve 4*j = q - 13 for j.
-3
Suppose -56*r - 76*r = -1056. Solve r*k = 5*k for k.
0
Let b(j) = 6*j - 20. Let m be b(9). Suppose w - s = 2*w - 18, 2*w + s = m. Let k = w + -12. Solve k*g + 3 = -5 for g.
-2
Let y be 4 - (-5 + -2 + 3). Suppose -y = -3*r - u, 5 - 15 = -5*u. Suppose -3*o + r*o = -8. Solve -g - o = -3*g for g.
4
Let h(j) = -19*j**3 + 95*j**2 - 2*j + 10. Let c be h(5). Solve 124*a - 126*a - 2 = c for a.
-1
Let t be 4 - 6 - (-5 - 0). Solve -t*n + 25 = 2*n for n.
5
Suppose -2*p - 5*r + 13 = 0, 0*p + 5*r = 5*p - 15. Let v(s) = s**3 + 15*s**2 + 15*s + 21. Let a be v(-14). Suppose 9 = a*z - 12. Solve z*x = -x - p for x.
-1
Let u be (-57)/(-6) + (18/4 - 4). Let a(m) = 5*m - 1. Let k(j) = -4*j. Let i(w) = 5*a(w) + 6*k(w). Let t be i(8). Solve -5 = t*q + u for q.
-5
Suppose 0 = -3*b + b. Suppose 2*f = f + 4*n + 20, 4*f + 5*n + 25 = b. Let k = 17039 + -17036. Solve k*c - 2 - 4 = f for c.
2
Let b be (2/(-1))/(-1) + (-35 - -59). Solve 2*a - b + 16 = 0 for a.
5
Suppose -22*h = -25*h + 18. Solve h*k = -16 - 2 for k.
-3
Let f(l) = l**3 + 14*l**2 + 10*l - 58. Let o be f(-13). Let m be o/(-9) - (-18)/(-162). Solve m*g - 6 = -g for g.
2
Let q be 69/18 - 80/96. Solve -q*w + w + 8 = 0 for w.
4
Let t be ((-213)/(-6))/(8/16). Solve -t = -6*b - 47 for b.
4
Suppose 2*c - 30 = -3*c. Suppose -3*i + c*i = -2*i. Solve 3*n - n = i for n.
0
Let v be 7 - ((-4)/(-3) - (-95)/57). Solve 0*b = v*b - 12 for b.
3
Suppose 19 = 2*z - x, -5*z - 5*x = -2*z - 22. Suppose 2*d - z*d + 56 = 0. Solve 0 = 7*k - d*k + 3 for k.
3
Let d(v) = v**3 + 6*v**2 + 11*v - 7. Let x be d(-4). Let p = x - -32. Suppose -2*w = w. Solve -5*b + 2 + p = w for b.
3
Let v be (-1)/(30/(-4)) - (-7714)/870. Solve -20 = -5*d + v*d for d.
-5
Let m = -1048 - -1073. Solve m = p - 6*p for p.
-5
Let w be 9*((-14)/18 - -1). Let c(o) = -o**2 - o + 2. Let z be c(-2). Let b be (4/8*z)/w. Solve 4*x = -b*x + 4 for x.
1
Suppose -21 = -3*f - 4*x - 5, 5*x = -2*f + 13. Solve 6*r = f - 34 for r.
-5
Suppose 5*l = 4*l + 4. Suppose l = 2*u - 2. Let o = 8 + -7. Solve u*w - 7 = -o for w.
2
Suppose 0*c - 2*w = 2*c - 8, -w + 8 = 3*c. Solve 4*r - 8 = c*r for r.
4
Let f be -4 + 7 - 0 - 1. Let r = 0 + f. Solve -2*t + r = -4 for t.
3
Let h be ((-1 - 19)/(-4))/1. Suppose 10 = 2*g + 5*x, -10 = 3*g - h*g - 2*x. Suppose -4*d + q = 0, 4 = -5*q + 6*q. Solve -d - g = -2*s for s.
3
Suppose -5*p - 3*a = 37, -2*a = p - 5*a + 11. Let f(h) = h + 10. Let w be f(p). Suppose -5*d = -3*c - 4, 2*c = -3*d - 2 + 12. Solve w*x + d = 6 for x.
2
Suppose 4*s = 4*f, -2*f - 10 = -4*s - 6. Solve -6 = 4*n + s for n.
-2
Suppose -34*d + 198 = 62. Suppose 19 = 3*h + 1. Solve -h*f = -d*f for f.
0
Suppose z = 5*q - 3*z - 52, -5*q + 31 = 3*z. Suppose 75 = 8*s + 27. Suppose s*c = -17 + 89. Solve -5*b + c = -q*b for b.
-4
Let r(y) = y**3 + 7*y**2 + 4*y. Suppose 5*k + 39 = 9. Let g be r(k). Suppose -12 = 3*v, 3*s + 2*v + g = 4. Solve 2*p + 6 - 2 = s for p.
-2
Let o = -162 - -162. Suppose o = 54*p - 59*p + 10. Solve -p*d + 3 = -7 for d.
5
Suppose -p + 27 = 2*p. Suppose 2*d - 2*b = 6, 0 = 4*d - p*d - 2*b - 6. Suppose 0 = f - 4*q - 22, -3*q = 