 4*w - 20, -4*x + u*w = -36. Solve 3*y = -x - 0 for y.
-2
Let z be -3 + (-18)/(-2) + (-7 - -4). Solve -z*n + 5*n = 4 for n.
2
Suppose -3*z - 3 = -9, 0 = -5*c + z + 3. Solve -5*r + c = -9 for r.
2
Let i = 38 - 5. Let s = i - 18. Solve 6*n - 3*n - s = 0 for n.
5
Suppose 3*n + 9 + 0 = -4*w, -15 = 3*w + 5*n. Suppose -153 = -10*o - 7*o. Suppose 4 = -5*v + o. Solve b - 4 + v = w for b.
3
Let a = 584 + -580. Solve -a*v + 2*v = -2 for v.
1
Let y = 47 + -29. Let h be 1*-2*(-7 + 1). Let b = y - h. Solve -4*k = -b - 2 for k.
2
Let b(k) = k + 5. Let w(q) = 1. Let v(s) = b(s) + 6*w(s). Let f be v(-5). Suppose 4*h + 93 = 7*h. Solve h = 5*t + f for t.
5
Suppose i + 2*c = 0, -i - i + c + 15 = 0. Let a be ((-2)/(-4))/(1/(-66)*-11). Solve -a*p + 12 = -i*p for p.
-4
Suppose 0*w = 5*w - 100. Let y be w/11 - (-4)/22. Suppose -j + 7*q - 2*q + 17 = 0, -2*j + y*q = -10. Solve 0 = c - 3 - j for c.
5
Let m(v) be the first derivative of -v**2 + 1. Let h be m(-2). Suppose -2*d = 5*q - 15, 0 = -4*q + 2 + 10. Solve d*c = h*c + 4 for c.
-1
Suppose 24*n = 7*n + 221. Solve -2*u + n - 5 = 0 for u.
4
Let b(p) = p**3 + 12*p**2 + 20*p + 7. Let u(w) = -w**2 - 8*w - 10. Let z be u(-8). Let s be b(z). Solve 0 = 5*i + 2 - s for i.
1
Let r be -1*66/(-9) - 8/(-12). Solve r*w + 30 = 2*w for w.
-5
Suppose 0 = -4*h + 3*j - 17, 6*j + 23 = -h + 3*j. Let v = 6 + h. Let b(p) = -2*p - 4. Let f be b(v). Solve 0 = -g - f - 1 for g.
-1
Let g(r) = -17*r - 172. Let n be g(-11). Solve 7*q - n = 2*q for q.
3
Suppose 6*n + 162 = 204. Solve -n*a = 9 + 5 for a.
-2
Let c(f) = -1 - 4 - 4*f + 4*f + 2*f**2 + 8*f. Let t be c(-5). Solve t*m - 7 - 3 = 0 for m.
2
Let o(k) = 3*k**2 - 16*k - 9. Let d be o(6). Solve -56 = -d*g - 62 for g.
-2
Suppose 4 = -4*i, 4*x - i = -11 - 12. Let w be (-13)/(-4) + x/(-72)*-3. Solve -z = 2*z - w for z.
1
Suppose -5*h + 2 = -b - 0, -2*h + 8 = -4*b. Let c(a) = 2*a**2 + a - 2. Let o be c(b). Solve -n - o*n = 0 for n.
0
Let i be 1638/39*(-4)/(-24). Solve 10 = -i*v + 9*v for v.
5
Let u = 2 + -6. Let y(r) = r**3 + 6*r**2 - 4*r. Let q be y(u). Suppose 0*n = 4*n - q. Solve 3*a - 7*a = -n for a.
3
Let k be 55 + ((-63)/(-4 - -1))/(-3). Solve 0 = 3*o - 39 + k for o.
-3
Let q(s) = -2*s**3 + s**2 + s. Let r be q(-1). Suppose r*o - 7 = 3. Solve -o = 4*m + 3 for m.
-2
Let x(t) = t**2 + 10*t + 27. Let g be x(-8). Suppose -3*y + g = 2. Solve 2*w - y*w = -3 for w.
3
Suppose 0*v = -v + 18. Suppose 0 = c + 5*n + 5, 4*c + n - v = 0. Suppose -29 + c = -2*t. Solve 2*f + f - t = 0 for f.
4
Suppose -40*h = -29*h - 15*h + 32. Let v(r) = 4*r**2 - r. Let w be v(1). Solve 0 = -w*k - h - 1 for k.
-3
Suppose 3*d - 4*w = -0*d + 17, -2*d + 16 = 2*w. Solve -4*l - 23 = -d for l.
-4
Let h(k) = k**3 + 8*k**2 - 8*k + 11. Let w be h(-9). Suppose w*r = -0*r + 8. Solve 13 = -r*a + 1 for a.
-3
Let n = -32 + 41. Suppose 6 + 12 = 2*b + 3*m, -5*m = b - n. Solve 4*p = b + 11 for p.
5
Let j be 24/((-18)/(-3)) - 5. Let f be -2*(j - (-2)/4). Solve -7 = 3*t - f for t.
-2
Let i be -1*(-5 + (-3)/1). Solve -19*g + i = -23*g for g.
-2
Let c = 0 - 0. Let h(w) = -4*w + 4. Let t be h(2). Let a be 1/(6/t)*-3. Solve c = a*z + 5 + 5 for z.
-5
Suppose -r + 6*r = 45. Suppose -3*y - r + 18 = 0. Solve y = -2*u + 5*u for u.
1
Let v(q) = q**3 + 2*q**2 - 7*q - 2. Let f be v(2). Solve f = 6*r - 2*r for r.
0
Let t(a) = 24*a**3 + 3*a**2 - a - 1. Let v be t(1). Solve -2*u - v = -7*u for u.
5
Suppose 2*p - 2 = p. Let z be (8/(-16))/(p/(-4)). Let l be 3 - z - 0 - 0. Solve l = 4*q + 10 for q.
-2
Suppose 5*i + 10 = n + 3*n, -4*n = i - 22. Solve 8 = -2*g - i for g.
-5
Let l be 8/2 + -1 + 0. Let k = -4 + 4. Let g = -302 + 307. Solve 2*t - g - l = k for t.
4
Let h(t) = t**3 - 9*t**2 + 11*t + 1. Let a be h(8). Suppose -30 = -5*n - a. Solve 0 = g - 0 + n for g.
-1
Suppose -3 = -n - x, n - 2*n - 5*x - 9 = 0. Suppose n*t - 8 = 10. Solve -t*v + 13 + 2 = 0 for v.
5
Let u = 8 + -5. Suppose -10 = -3*g - y + 2*y, g = -u*y - 10. Suppose 2 = g*n - 0*n. Solve -n = f + 1 for f.
-2
Suppose m = -3*a + 11, -5*a + 7 = 5*m - 2*a. Let n = m + 7. Let h be n*(2/(-4) + 1). Solve i = -2 + h for i.
1
Suppose s - 17 + 21 = k, -k + 4*s = -4. Solve 0*i - 2*i = -k for i.
2
Let k be (-39)/2*(-8)/(-6). Let z = -24 - k. Solve z = -y - 2 for y.
-4
Let k be 2 + -1 + -1 - -10. Suppose 10 = 5*w - k. Solve -w*i - 2 = 6 for i.
-2
Let b(o) = -7*o - 8. Let u(m) = -7*m - 8. Let p(f) = 4*b(f) - 5*u(f). Let h be p(-1). Solve -3*l - 7 + h = 0 for l.
-2
Suppose 0 = 6*s - 0*s + 108. Let r = -13 - s. Solve 0 = a - r*a - 8 for a.
-2
Let a(i) = i**3 - i**2 + i + 1. Let w(f) = -4*f**3 + 17*f**2 - 6*f - 16. Let r(z) = 5*a(z) + w(z). Let d be r(-12). Solve -d = 2*x - 3 for x.
1
Let h = 127 + -82. Let l be h/35 + 2/(-7). Let b = 4 + -1. Solve -l = -n - b for n.
-2
Suppose -3*d - 5*r = -23, -3*d + 2*r = -2*r - 41. Solve d*a - 8*a = 12 for a.
4
Let f(a) = a**2 + 10*a + 9. Let b be f(-9). Let n be (-1 - b)/((-1)/5). Solve -5 + 25 = n*j for j.
4
Let p be ((-6)/3)/((-1)/2). Let b be (20/8 - 2)*-12. Let y(v) = -v**3 - 5*v**2 + 8*v + 13. Let w be y(b). Solve p = x - w for x.
5
Suppose -a + 4*g + 10 = -4, 3*a - 12 = -3*g. Solve n = a - 2 for n.
4
Let r(s) = s**3 - 7*s**2 + 19*s - 21. Let i be r(5). Solve 7*c - 4 = i for c.
4
Let m = 21 + -29. Let g be (-6)/(-8) - (0 - (-10)/m). Solve -g*k = k - 15 for k.
5
Let r(v) = -4*v + 5*v + v + 8 - v. Let l(d) = -2*d - 16. Let t(q) = -4*l(q) - 9*r(q). Let z be t(-11). Solve 6*n - 15 = z*n for n.
5
Suppose 3 + 0 = n. Suppose k + 21 = -2*x + 6*k, 0 = -5*x + n*k - 5. Suppose 0 = t + x*t - 30. Solve v + t = -v for v.
-5
Suppose 0 = 2*d - 4*d + 8. Solve -2*c + c = -d for c.
4
Suppose -4*p = -p - 36. Suppose 5*y + 4 = -41. Let w = p + y. Solve 4 = -w*l - 11 for l.
-5
Suppose -14*a = -11*a - 15. Suppose -5*r = 4*z - 30, -a*z = 3*r - 30 - 1. Solve 5 - 1 = -r*g for g.
-2
Let w(g) = -2*g + 38. Let s be w(17). Suppose 2 - 14 = -s*v. Solve -3 = v*r - 2*r for r.
-3
Suppose 16 - 6 = 5*z. Let t be (z/(-6))/((-186)/90 + 2). Solve 0*d = d - t for d.
5
Let u = 2903 + -2901. Solve -u = b + 2 for b.
-4
Let j = -1531 - -1541. Solve j*k - 7*k = 0 for k.
0
Let r be -1 - 5/(20/(-12)). Suppose r*h = h. Suppose 5*i + h = 40. Solve -m + i = 3*m for m.
2
Let t = -65 + 69. Let o be 14 + (0 + -2 - -2). Suppose t*u + o = -3*h + 2*h, 2 = 3*h + u. Solve h*j = -2*j for j.
0
Suppose 6*g = 4*g + 10. Suppose -g = -c - 4. Suppose 2*j = 5 + c. Solve -4*y + j = -13 for y.
4
Let v be (4 - 14) + 43 + 0. Solve 6*u - v = -9 for u.
4
Let h(i) = -i**3 + 18*i**2 + 10*i - 170. Let g be h(18). Solve 59*v - 54*v = -g for v.
-2
Let q be 3*(-6 - -7)*(-4)/(-6). Let p be (-1)/2*-10 + -2. Solve p*j - 1 = q for j.
1
Let b = -7 - -7. Let p = 24 + -39. Let k be (-3)/(-4 + p/(-6)). Solve b = i - k + 3 for i.
-1
Suppose -20 = -5*b - 4*v + 9*v, -4*b - 5*v - 2 = 0. Let q be -2 + 3 + b - 1. Let y = -1 - -1. Solve y*z + 10 = q*z for z.
5
Suppose s = -h - 4*s - 22, 0 = -3*h - s + 4. Suppose 4*u + h*q + 0*q = 13, 4*u = 3*q + 19. Suppose -r = -u*b, -r + 4*r + 4*b = 16. Solve 7 + 1 = r*n for n.
2
Let y = -268 - -160. Let m = 109 + y. Solve -l = -0*l + m for l.
-1
Let t = 3 + -6. Let d(q) = 2*q + 2*q**2 + 0*q + 0*q + 4*q + 6. Let w be d(t). Solve -w*f + 11*f - 10 = 0 for f.
2
Suppose 7*y - 13 = 41 + 30. Let o be (-2 + 4)*-1 - -4. Solve 2*z + o*z - y = 0 for z.
3
Let r = 178 - 174. Solve r = -2*c + 3*c for c.
4
Suppose -115 = -5*a - 2*d, 5*a - 8*a + 69 = -3*d. Solve 0 = -19*v + a*v + 16 for v.
-4
Let z = -2136 + 2184. Solve 25*h + z = 9*h for h.
-3
Let o = -30 + -2. Let w be 11*1 - (33 + o). Solve -w = 3*x + 2*x for x.
-2
Suppose 2*u - 210 = -3*u. Suppose -2*a = -46 + u. Solve 0 = a*n + 2 for n.
-1
Let p(x) = -27*x**3 - x**2 - 3*x - 3. Let m be p(-1). Solve 28*h - 2 = m*h for h.
1
Let x be (60/21)/(6/21). Solve 3*i - x = 5*i for i.
-5
Suppose -4*z + 8 = -q, 2*z = z + 5. Suppose -4*t + 60 - q = 0. Solve -t = -5*k + 2*k for k.
4
Suppose 438 = 63*u - 57*u. Solve -2*j - 75 = -u for j.
-1
Suppose 0 = -4*q + 355 - 331. Solve 4*u - 2*u - q = 0 for u.
3
Let q be (1/2*0/(-1))/(-2). Solve 2*r - 4 + 0 = q for r.
2
Let g(y) = y**3 + 7*y**2 + 7*y + 8. Let p be g(-6). Suppose 2*a - 7 = 1. Let k(z) = 2*z - 4. Let m be k(a). Solve p*q = m*q for q.
0
Suppose 0 = -2*s + 4*s. Suppose s*g - g - 11 = -l, 0 = l + 2*g + 1. Suppose 142*k - 4 = 140*k. Solve v = l