-4)/(-6). Let x be -9 + z*(-8 - -4). Let i = x + 20. Solve 0 = -2*a + i - 5 for a.
5
Let t = -124 + 124. Suppose t = 4*s + 3*s. Solve s*j = 3*j for j.
0
Suppose -2 = 3*w - w. Let y(u) = u**3 - 2*u - 1. Let d be y(w). Suppose 0*r = r + h - 8, -3*r + 26 = 5*h. Solve -m - 3 + r = d for m.
4
Let i be 9*1 - (3 - 2). Let q = 181 + -174. Suppose -m + q + i = 0. Solve -2*n - n = m for n.
-5
Let d(u) = -u**3 + 37*u**2 - 2*u + 84. Let o be d(37). Solve -24*c + 29*c + o = 0 for c.
-2
Let x(h) = h**3 + 5*h**2 - 6*h + 2. Let n be x(-6). Solve -n*w - 5*w + 28 = 0 for w.
4
Let p = 109 + -117. Let f be (135/(-54))/(2/p). Solve f = -7*j + 2*j for j.
-2
Suppose -3*y - 6 = 0, 0 = 3*k - 2*y + 51 - 283. Suppose f - 4*c - c - 30 = 0, 3*f - c = k. Solve 6*m - m = -f for m.
-5
Suppose 0 = -17*l + l + 192. Solve l = 3*s + s for s.
3
Suppose y = -6*o + o - 63, 0 = 5*y - 4*o + 315. Let f = y + 66. Solve -f - 3 = 3*p for p.
-2
Let b = 31 + -27. Suppose -3*l + 8 = l. Solve -4*h + l*h = b for h.
-2
Suppose -2*t = -5*j, -j - j + 3*t - 11 = 0. Suppose -3*i + 35 = j*i. Solve -5 - i = -4*x for x.
3
Let k = 51 + -49. Suppose 4*l - 16 = l + 2*d, 3*d = -6. Suppose 0*c - 4 = 3*j - 5*c, 0 = j - 3*c + l. Solve -k*a + 0 = j for a.
-1
Let j be 7 + (-12)/(9/3). Suppose -6*m + m = -4*z + 17, 0 = 3*z + j*m - 6. Solve g - 6 = z*g for g.
-3
Let j(z) = z**3 + 8*z**2 + z + 6. Let i be j(-7). Suppose 0 = -3*n - y - 52, 2*n = -2*n + 4*y - i. Let r = n - -42. Solve 1 - r = 5*w for w.
-5
Let j(c) = -c**3 - 8*c**2 - 9*c - 1. Let o be j(-7). Let x = o - 8. Let p be ((-2)/(3 + -1) + 2)*6. Solve -p*n = -n - x for n.
1
Let r be 14 + -5 - (0 + -2). Solve -r*a = -16*a + 20 for a.
4
Let t = 2884 + -2880. Solve 126 - 146 = -t*p for p.
5
Suppose 7*t - 132 = 4*t + 4*b, -2*t + 3*b = -88. Suppose -2*u = -z + 3 + 3, 5*z - t = -4*u. Solve 0*d = -4*d + z for d.
2
Suppose -5*q + 0*q + 5 = 0. Suppose -9 = 3*f - 6*f. Suppose 2*j = f*j. Solve -y = -j*y - q for y.
1
Let o = 273 - 186. Solve -5*h = -o + 77 for h.
2
Let w be -4*((-200)/32 + 4). Solve -6*h + 9*h = w for h.
3
Let q = -4 + 6. Suppose -16 = -2*i - q*i. Let l(a) = -a**2 + 5*a + 8. Let p be l(6). Solve 2 + p = -i*u for u.
-1
Let w be 1*(-3 + 1 + 7). Let t be w/(10/(-6)) + -3. Let u(f) = f**3 + 7*f**2 + 7*f + 9. Let d be u(t). Solve 2*c = d*c - 2 for c.
2
Let l(u) be the first derivative of u**4/4 + 4*u**3/3 + u + 13. Let f = -2 + -1. Let x be l(f). Solve x = -5*q - 5 for q.
-3
Let p be (-3*1)/(12/(-76)). Suppose -5*d - 4*v = p, -6 = -4*d + 2*v - 16. Let j = 3 - d. Solve -12 = j*s - 2*s for s.
-3
Let u be -40 - -48 - (-7 + (-1)/(-1)). Solve 22*w - 15*w = u for w.
2
Let p be -4 + 2 + 22*26. Let d be (1/(-2))/((-3)/p). Let h be (-2)/(-7) - d/(-35). Solve -h*a - 2*a - 25 = 0 for a.
-5
Let a be (1 - 78/15)*25/(-5). Let i = -11 + a. Solve 0*u = -2*u - i for u.
-5
Suppose 8*f = 9*f + 31. Let g = f - -31. Suppose 0 = r - 3*u, 0*r + 2*r - 50 = -4*u. Solve -r = -g*x - 5*x for x.
3
Let t be 48/(-20)*5/(-2). Suppose 3*g + 6 = 3*s, -s = -5*s - 5*g + 44. Suppose -s = 3*w - t*w. Solve -w*h = -h + 3 for h.
-3
Let a(r) = -10*r**3 - 4*r**2 - 7*r**3 + 18*r**3 - r**2 + 4*r. Let x be a(4). Solve x = 4*y - 5 - 3 for y.
2
Let a = 11 - 4. Let s = a - 4. Let t(y) = 2*y**2 + 3*y - 5. Let i be t(-4). Solve -s*w + 0 = -i for w.
5
Suppose 94*a = 98*a. Solve -30*l + 29*l - 1 = a for l.
-1
Suppose -11*q = -7*q + 52. Let r = q - -14. Solve u + r = -0*u for u.
-1
Suppose -2*x - 22 + 16 = 0, -5*x = -2*b + 17. Solve -4*f - b = 3 for f.
-1
Let f(v) = 15*v**3 + 21*v**2 - 22*v + 1. Let l be f(1). Solve -l*p + 18 = -6*p for p.
2
Let i(o) = -6*o + 24. Let w = 17 + -13. Let n be i(w). Solve s + 0*s = n for s.
0
Suppose -3*n - 6 + 23 = 2*i, 2*n - 15 = -5*i. Solve r - n = -3 for r.
2
Suppose -67 + 101 = 2*x. Let k(i) = i**3 - 16*i**2 - 15*i - 29. Let s be k(x). Solve 7 = 3*o - s for o.
4
Let c = 55 - 52. Suppose -15 = -3*u, -2*u = 2*x - 3*x + c. Solve 0 = -5*y + 3 - x for y.
-2
Suppose 2*g + 0*g - 2 = 0. Let i(d) = d**3 - 4*d**2 - 7*d + 5. Let b be i(5). Let f be 7 + b - (0 + g). Solve -f = -n - 0 for n.
1
Let w = 989 - 942. Solve 30 = w*z - 41*z for z.
5
Let d(j) = -2*j - 5. Let q be d(-10). Let r = q - 16. Let f be 48/(-60)*(r - 24). Solve f = t - 5*t for t.
-5
Suppose -3*c - c + 2*v = -36, -3*c + 5*v + 34 = 0. Solve -1 = -7*w + c*w for w.
-1
Suppose -15 = -4*g - 2*k + 1, 13 = 3*g + k. Suppose 5*w + g = 20. Suppose w*n = 8*n. Solve 3*j + j = n for j.
0
Let v(f) = 4*f**3 - 2*f**2 - 4. Let u be v(2). Solve 4*j = -j - u for j.
-4
Let n(f) = -f - 35. Let c be n(0). Let z be 2/(-7) + (-10)/c. Suppose q - 60 = -2*q. Solve -5*l = -z*l - q for l.
4
Suppose z + 7 = 2*g, -3*z = g + 4*g - 45. Let d be (12/(-8))/(g/(-16)). Solve d = 4*s - 5*s for s.
-4
Let v(z) = -2*z**2 + 3*z - 2. Let r(c) = 7*c**2 - 8*c + 5. Suppose 0 = 5*d - d - 12. Let x(u) = d*r(u) + 8*v(u). Let g be x(1). Solve g*i - 24 = -4 for i.
5
Suppose -10*m = -867 + 837. Solve -m*z = 352 - 361 for z.
3
Suppose -10 = 2*v + 3*v. Let w(h) = h**3 + 9*h**2 + h + 11. Let g be w(-9). Let a = g - v. Solve 4*n + 4 + a = 0 for n.
-2
Suppose -5*i + 14 = 2*d, 0 = 3*i - 0*i - d - 4. Suppose f + i = -5*r, 5*r - f - 2 = -0*f. Solve r*o - 2 = 2*o for o.
-1
Let d be ((6/(-9))/(-1))/(56/252). Solve d*s + 2 = 14 for s.
4
Let g = -166 - -173. Solve 14*y + g = -35 for y.
-3
Let n = 9 - 9. Let k be (1 + (-9)/6)/((-14)/84). Solve k*z + n*z - 15 = 0 for z.
5
Let c be (-6*3/(-21))/((-9)/63). Let v be (c/(-5))/(54/180). Solve 2 + v = -3*s for s.
-2
Let t(o) = -o**2 - 11*o + 4. Let f = 5 + -5. Suppose 9*x - 4*x + 55 = f. Let m be t(x). Solve m*d = -0*d for d.
0
Let t = 15 + -12. Let d be -2 + 6 - (1 + -1). Suppose d*o + o = 10. Solve j - t = -o for j.
1
Let i(k) = -k**3 + 4*k**2 + 6*k + 4. Let a = 13 + -7. Suppose -a*u = w - 7*u - 7, 5*u = -10. Let p be i(w). Solve -3*t + p = -6 for t.
5
Let y(a) = -a**3 + 8*a**2 + 10*a - 5. Let q be y(9). Solve 4*r = -0*r + q for r.
1
Suppose 25*q = 36*q - 297. Solve 9*s + q + 9 = 0 for s.
-4
Let y = -1157 - -1157. Solve y = -16*i - 6*i for i.
0
Let c = -40 + 41. Let x be (c - 1)*(-12)/(-24). Solve x = -3*n - 6 - 0 for n.
-2
Let p(j) = j**3 + 5*j**2 + 2. Let n = -2 - -6. Suppose n*w + 8 = -12. Let d be p(w). Solve -3*y = -d*y for y.
0
Let o = 289 - 288. Let f be (2/(-4))/((-1)/4). Solve -11 + o = f*s for s.
-5
Let b be (-14)/((-98)/(-21)) - -6. Solve 6 = b*s + 3 for s.
1
Suppose -6*a + 27 = -3. Solve -a*y = 12*y - 17 for y.
1
Let i = -27 + 34. Solve 5*r + 3 = -i for r.
-2
Let c(i) = i**3 - 3*i**2 + 5*i - 5. Let h be c(3). Suppose -9*f = -h*f + 17. Solve -25 + f = -4*v for v.
2
Suppose 0 = -5*x - 25, g = x - 25 - 31. Let h = 95 + g. Let r = -29 + h. Solve 0 = -r*l - 3 + 18 for l.
3
Let r(v) = v**3 - 26*v**2 + 7*v - 179. Let t be r(26). Solve -20 = t*w - 11 for w.
-3
Let k(r) = -4*r. Let a(q) = 1. Let m(c) = 4*a(c) + k(c). Let b be m(-5). Let x be (-8)/7*(-84)/b. Solve -x*s - 4 + 0 = 0 for s.
-1
Let t be 14/28*0/(-1). Suppose -2*p - 4*z = 16, -3*p + t*z = 4*z + 14. Suppose 2*x - 3 = h, 0*h + 9 = 5*x - h. Solve -g - x = p for g.
-4
Let t(y) = -y**2 + 2*y. Let m(c) = c**3 - 8*c**2 + c - 7. Let p be m(8). Let i be t(p). Let r be (-1 - 63/(-36))/(6/16). Solve -3 - i = r*s for s.
-2
Let r(h) = -h**3 - 2*h**2 - h + 5. Let z = -21 + 17. Let d be r(z). Let n = d - 35. Solve -n*y + 4*y = -6 for y.
3
Let r(t) = 3*t - 27. Let g be r(13). Suppose 4*d = g - 4. Solve q + 1 = -d for q.
-3
Suppose 0*f - 4*l = 3*f - 8, 0 = -4*f - 3*l + 6. Suppose 0 = -f*h + h - 4. Solve 7 + 1 = h*p for p.
2
Let p(g) = -1. Let b(h) = 2*h - 8. Let a(u) = -b(u) + 4*p(u). Let z be a(2). Suppose 20*y - 25*y = z. Solve y - 4 = 4*r for r.
-1
Suppose 5*q = 0, 4*q = -4*g - 0*g + 224. Suppose 0 = 9*c - 13*c + g. Solve -2 = -3*p - c for p.
-4
Let t be (-4)/((4 + -1)*(-2)/21). Let p be ((-4)/t)/(3*(-7)/294). Solve d + 3*d - p = 0 for d.
1
Suppose -3*y + 263 = 5*x, -8*y = -3*y + 20. Suppose 0*q + 5*u = -q + 29, x = 5*q - 5*u. Let r = q - 9. Solve -16 = -j + r*j for j.
-4
Suppose 3*i = 4*i - 2*o - 6, 12 = -i - 4*o. Solve 0 = -i*b - 16*b - 32 for b.
-2
Let l = -271 + 279. Solve 0 = -l*w + 2*w - 6 for w.
-1
Suppose -3*k + 15 = 2*d, 2*d + 5*k = 5*d - 13. Let z(j) = -j**3 + 5*j**2 + 7*j - 4. Let x be z(d). Solve x*w + 0 = -6 for w.
-3
Let o be (-140)/15*(2 - (-20)/(-7)). Suppose a = 2 -