+ 10, 2*s + 0*r = -4*r + 14 for s.
3
Let u(w) = -w**3 + 11*w**2 - 10*w + 14. Let t be u(10). Suppose 92*z = 84*z. Suppose z = -4*g + 5*g - 5. Solve -7*y + 3*y = 3*k + 9, t = -g*y - k for y.
-3
Let n(a) = a**2 + 57*a + 436. Let o be n(-9). Solve o*u + 5 = 3*h - 8, 3*u = 3*h - 12 for h.
3
Let m = 2274 + -2255. Solve 12*x = 5*j + 15*x + 11, -j + 5*x - m = 0 for j.
-4
Let x(q) = -4*q - 19*q - 170 + 172. Let b be x(0). Solve t = 2*p - 5*p - 15, 0 = b*t for p.
-5
Suppose -414 = -100*c - 38*c. Solve c*z - 5 + 11 = -3*p, p = -4 for z.
2
Let a be (213/(-142))/(2/244). Let t = 185 + a. Solve f - 4*o = -4, -4 = -f + o - t for f.
4
Suppose 14*m - 3*o + 9 = 11*m, -m - 18 = -4*o. Solve 11*b = 12*b + 3*z + 7, -m*b + 3*z = -4 for b.
-1
Suppose 2*d - d - 2 = -q - 0*q, -q = 0. Solve -18 = -d*u + 5*b, 8*u + 15 = 9*u - 4*b for u.
-1
Let v = 17 - 15. Let o(s) = s**3 - 3*s**2 - s + 3. Let f be o(4). Let l = -2 - -4. Solve l*b = 0, 2*q - f = -3*q + v*b for q.
3
Let v be (-3)/12 + (-77)/(-4). Suppose y + 8 = s, -5*s + s - 3*y = -4. Suppose -v + 31 = s*b. Solve 0 = b*o - 4*x + 15, -x = 3*o + 3*x + 15 for o.
-5
Let s(i) = i**3 - 10*i**2 + 18*i + 35. Let q be s(4). Solve -3*d - q = -19*v + 14*v, 3*v - 6 = 2*d for v.
4
Suppose 0*j = -j + 23. Let o = 4 + j. Suppose o - 28 = -l. Solve 6*m - 2*m = -h - l, -m - 4*h - 4 = 0 for m.
0
Suppose -4*s = 1598*w - 1601*w + 99, 4*w + 5*s = 163. Solve 3*t + 6 = 3*g, -6 = 34*g - w*g + 2*t for g.
2
Let n = -34 + 36. Suppose -r + 22 = 3*o + 2*o, o - 8 = -n*r. Solve 4*f - 6 = -r*z - 0*f, z = -5*f for z.
5
Let n = 8 + -3. Let d(g) = -g**3 - 33*g**2 - 131*g + 41. Let w be d(-27). Let a = w - -801. Solve 4*f + a*i - 40 = 0, -i + 4 = f - n for f.
5
Suppose -211*f = -163*f - 96. Solve -4*z - 2*a + 6 = 0, f*z + 2*a - 35 = -27 for z.
-1
Suppose -857*g + 24 = -851*g. Solve h + 2*p + g = -3, -2*h = 2*p + 10 for h.
-3
Let n(s) = -52*s + 321. Let o be n(6). Solve 3*h + 2*f = -7, -h + 5 = f + o for h.
1
Let v be 5*(20/5 - 3). Let y be ((-30)/39)/v + 216/52. Solve -9 = d + 5*u - 3, -y*d = 4*u - 8 for d.
4
Let f(g) = g**3 + g**2 - 5*g + 4. Let z be f(3). Suppose -4*q + z = q. Let l be ((-6)/q)/(6/(-15)). Solve l*h + 2*h = 4*x - 19, -3*h = 3*x + 6 for x.
1
Suppose 5*r = 3*n - 54, n + 135 - 153 = -4*r. Solve 20*i + 35 = n*i - 5*l, 5*i - 3*l + 10 = 0 for i.
-5
Let a(s) = s**3 - 12*s**2 - 52*s - 189. Let k be a(16). Solve -o = n + 4, k*n + 0 = 3 for o.
-5
Suppose 5*a = f - 8, -f - 2*f - a = -8. Suppose 10 = 4*w + f*y - y, 0 = -w - y. Solve -4*s - 3*m - 14 = -w*m, 4*s + 5*m = -21 for s.
-4
Let r(b) = 11*b**2 + 11*b - 5. Let q(d) = 20*d**2 + 22*d - 11. Let a(y) = 6*q(y) - 11*r(y). Let f be a(8). Solve -2*p = 2*o - 8, -4*p = -3*o - f - 10 for p.
5
Suppose 0 = -2*z - 3*t - 3, 0*z + 2*z - 2*t - 12 = 0. Suppose -15 = 20*l - 15*l + 4*m, -5*m - 29 = -4*l. Solve 2*i + l = f, z*i - 2*i + 5 = 5*f for i.
0
Suppose 341*c - 4295 - 1463 = 5154. Solve 13*i = 16*i + 5*z + 25, -c = 4*z for i.
5
Let z = 26 + -19. Let v(a) = -a**3 + 8*a**2 - 8*a + 4. Let o be v(z). Let g be o/(-7) + 54/21. Solve 3*n = q - 3, -g*q = -4*n - 7 - 2 for n.
0
Let s(v) = -13 + 12 - 4*v + 48. Let f be s(-13). Let p = -96 + f. Solve -4*d - 5*a = -16, p*a + 8 = 5*a for d.
-1
Let v be (-363)/(-77) + (-2)/(-7). Let q = -12 - -16. Suppose 0 = 9*m - q*m. Solve m = d + 4*d + b - 1, 20 = -v*b for d.
1
Let l(v) = 14*v - 58. Let g be l(4). Let x(h) = 2*h**2 + 2*h - 1. Let j be x(g). Solve -2*m = 2*f - 10 - 2, -6 = 3*f - j*m for f.
2
Suppose 550 - 502 = 10*v + 6*v. Let j be 3/15 - (-24)/5. Solve 3*x - 9 = -j*n, -5*n + v*x + 21 = -0*x for n.
3
Suppose 4*g - 8 = 5*r, 83*g = 78*g + 3*r + 10. Solve 4*b + 7*n + 7 = 8*n, 5*b = -g*n + 1 for b.
-1
Let b = -52688 - -52693. Let m = 4 - 0. Solve g + 2 = -b*t + m*t, -2*g = -2*t - 12 for t.
-4
Let s(l) = 5*l + 84. Let q = 361 - 376. Let w be s(q). Solve 2*h - r - 9 = 2*r, -h = -3*r - w for h.
0
Suppose -101 = -85*w + 28*w + 127. Solve -4*o - 16 = -m, -w*m + m + 15 = -o for m.
4
Let s be 3 + 24/(-40) - 26/65. Solve -3*h - 33 = -s*u + 2*h, 2*u + 7 = -3*h for u.
4
Let p be (1 - 7)*(-88)/132 + -1. Solve -3*a + 3 = 4*n, p*n - a + 40 = 26 for n.
-3
Suppose h = 2*c - 80 + 63, -2*c = -3*h - 27. Solve 2*o = -c, -5*d - 10 = 5*o + 5 for d.
0
Let a be -4*(-2)/8 - -1. Let u be (-108)/(-21) + a/(-14). Suppose z + 3 = 4*b, -z = u*b - 3*z. Solve 3 = -0*i - 5*i + k, -5*i + b*k = 1 for i.
-1
Suppose 4*l + 4*d - 288 = 0, 2*l + 3*d + 80 = 3*l. Let p = l + -70. Solve 3*g = p*x, -4*g + 2*x - 6*x - 28 = 0 for g.
-4
Suppose -3*h - w - 13 + 6 = 0, 5*h = w - 9. Let x(q) = 2*q**2 + 2*q. Let o be x(h). Solve 3*t + 16 - 2 = 2*l, -o*l = -5*t - 24 for t.
-4
Let u be 7*-2 - (-432)/18. Solve -4*p = 2*n + 30, -21*p = 3*n - 22*p + u for n.
-5
Suppose -y - z = 2, 12*y - 2*z = 11*y + 4. Let k(g) be the first derivative of -g**2 - 7*g - 1. Let h be k(-6). Solve 0*u - 16 = h*u + w, 5*u + 5*w = y for u.
-4
Let v = -22 - -26. Suppose 5*p + 23 = -h, 3*p + 20 = 5. Solve -10 = h*r + w, 4*r + 0*w - v*w - 4 = 0 for r.
-3
Let k be (2/(-2))/((-2)/(-2)). Let i be (0 + 54)/(-2) + k*2. Let o = i + 55. Solve 3*z + 2 - o = -5*r, -2*z + 2*r = 0 for z.
3
Suppose 0 = 12*a - 24*a + 228. Suppose -36 - 40 = -a*w. Solve -z - 3*r - 11 = -2*z, 20 = -w*r for z.
-4
Let r(z) = -z**3 - 12*z**2 - 19*z + 13. Let i be r(-10). Suppose -7 + 10 = l + 3*m, 9 = i*l - 4*m. Solve -l*b = -4*n + 27, -n + 2*b + 2*b + 23 = 0 for n.
3
Let j be (-40)/16 + (-5)/10. Let w(q) = -2*q**3 - 6*q**2 - 3*q + 5. Let b be w(j). Solve 0 = -3*c + z, -2*c = 5*z - z + b for c.
-1
Suppose -15*b + 172 - 97 = 0. Solve -b*q - 13 = -3*x, -5*q - x - 19 = -2*q for q.
-5
Suppose s = -q + 3, 917*s = 919*s - 2*q - 2. Solve -h + 50 = s*j + 53, 2*h = 5*j + 21 for j.
-3
Let z = 1697 - 1679. Suppose -9 = 5*c - 24. Solve 0 = -5*v + 2*p - 7, -5*v + 3*v - z = c*p for v.
-3
Let v(u) = -14 - 23 - 55 + 28*u. Let b be v(4). Solve b = 3*f - 5*g, -g = 2*g + 12 for f.
0
Let r = 500 - 909. Let j = -394 - r. Solve -j = p - 3*g, 0 = -2*p + g - 5 for p.
0
Let v be ((-996)/(-913))/((-2)/(-22)). Solve -v = 2*i - 4*d, -21 = -3*i + 3*d - 27 for i.
2
Let a = -81 + 83. Let i be a + -3 + 2 - (-3 - -2). Let n be i - (2 + -6 - -3). Solve 4*q = n*f + 18, 2*f + 3 + 4 = q for q.
3
Suppose -103*y + 224 = 9*y. Solve -4*z + 6*j = 10*j - 16, -y*z + 2*j + 8 = 0 for z.
4
Let y(i) = -88*i - 2902. Let z be y(-33). Solve -2*r - 4 = -z*q, -2*q = -2*r - 2*r + 2 for r.
3
Let i be (-107 - 5) + 0 + 1. Let o = i - -114. Let n be o*(-4)/(-18)*3. Solve -19 = -2*m - 3*f, 2*f = -3*m - n*m + 20 for m.
2
Let w(k) = -80*k - 1742. Let a be w(-22). Solve -14*v - 1 = -5*u - a*v, -4*u = 4*v for u.
1
Let j be (94/235)/(2/(-2130)). Let z = 426 + j. Solve -y - 2 = -z*y, -5*y + 10 = 5*l for l.
4
Suppose 181*n - 2816 = 80. Solve -r - 6 = -12*y + 14*y, -4*r = 4*y + n for r.
-2
Suppose 32 = -152*f + 154*f. Let q be (-13)/(104/f) - -5. Solve -2*h + q*a = -21, h + a - 1 = -h for h.
3
Suppose 0 = 2*s + 1583*n - 1579*n + 2, 3*s - 5*n - 30 = 0. Solve 0 = -s*x - 4*o - 1, -5*x - o + 4 = -8*x for x.
-1
Let w(a) = a**3 + 29*a**2 - 24*a + 185. Let y be w(-30). Solve q - y*q - 4*g + 8 = 0, -4 = -q - 2*g for q.
0
Let x(f) = -f**3 - 26*f**2 + 26. Let r be x(-26). Suppose -18*u - r = -98. Solve 5*s = u*g + 37, -3*g = 3*s + s - 11 for s.
5
Let h be 91/14 + (-1)/2. Suppose 0 = h*z - 6 - 18. Suppose 19 = z*x - n, -4*x + 2 = 5*n + 1. Solve 3*t - d + 1 = 0, x*t + 8 = -4*d - 4 for t.
-1
Let n(a) = -8*a - 1. Let l be n(3). Let i = 40 + l. Suppose -3*g - 15 = 2*g, -4*o + i = 3*g. Solve w + o = 3*h + 22, -4*h = 4*w for w.
4
Let f(g) = g + 1. Let s(z) = 3*z - 1. Let u(r) = 2*f(r) - s(r). Let y be u(2). Let o = y + 23. Solve 4*t + o = -4*n, -2*t + 4*t + 4 = 0 for n.
-4
Let w = 31 - 14. Suppose 4*a + w - 25 = 0. Let s be (-1)/a - (-7)/14. Solve -2*j = -s*b + 4*b - 22, -2*j + 4*b = 10 for j.
3
Suppose -4*a + 2*a = -6. Suppose -4*g = 11*g + 1170. Let b = g - -81. Solve 2*k = -3*w - a*k - 15, b*w - k + 15 = 0 for w.
-5
Let u = 41 - 2. Let j be 8/14 + 1883/49. Let s = u - j. Solve -3*r + 25 = 2*r + 5*y, s = 5*r - y - 19 for r.
4
Let c(z) = -z**2 - 5*z + 24. Let h be c(-8). Suppose h = 2*r + 3*m + 7, 5*r = 2*r + 4*m + 32. Solve -r*g - 9 = -0*g - v, 0 = 4*g - 3*v + 11 for g.
-2
Suppose 12 = 4*g + k, -18 = -g - 10*k + 6*k. Solve -3*o - w - 9 = -8*o, g*w = 4*o - 12 for 