x - 17, 5*x + n*i = 6*i - 35 for x.
-3
Suppose 0 = l - 4*y + 4, l + 5 = -l + 5*y. Let z = -37 + 42. Suppose 0*i + i + w = -1, 0 = -z*i + 2*w + 16. Solve j - 2*m = 3, 3*j - i*m - 13 = -l*j for j.
5
Let j(n) = -5*n - 11. Let a be j(-7). Suppose -l + 2 + 20 = 3*g, 2*g = -l + a. Suppose 3*u - 5 = l. Solve 3*f = -5*x - 32, -1 = 2*x + f + u for x.
-4
Let w be 0 + 4 + (1 - 3). Let v = 6 + w. Solve -22 = 3*x + 4*y, -3*x - y = -v*x - 6 for x.
-2
Suppose 2*u = -4, 0 = -4*d - 2*u - 3*u + 6. Solve 4*j + d*b - 8 = 4, 0 = -5*j + 2*b - 6 for j.
0
Let y = -2 + 49. Let w = 34 - y. Let j = w + 16. Solve 3*v - v = -s + 3, 9 = j*s - 3*v for s.
3
Let y(w) be the first derivative of w**3/3 + 3*w**2/2 + 7. Let l be y(-4). Solve l*t - 45 = -5*q, 5*q = 2*t + t + 10 for q.
5
Suppose -16 + 20 = 2*w. Solve h - 13 = -4*t - 2*h, 5*t - w*h - 22 = 0 for t.
4
Let u = -276 + 116. Let t = 182 + u. Solve 4*j + 4*b - t = 2*b, 13 = 2*j + 3*b for j.
5
Let p = 244 - 240. Let i = 123 - 87. Solve -p*r - s = 18, -5*r + 5*s = i - 1 for r.
-5
Let c = 164 - 162. Suppose 3*g = -x - 2*x + 24, -2*x = -g - 1. Solve c*i = -q - 2*i + 10, 0 = -g*q + i + 8 for q.
2
Let z = 246 - 242. Solve 5*c = 4*h + 21, -c + z*c = 4*h + 11 for h.
1
Suppose -2*n - 16 = -3*c, -4*c + 6*c + 4*n = 16. Suppose -4*m + c = -2*m. Solve -m*l = -l, -3*l = 2*q for q.
0
Let p be (10/(-2) - -11)/(1 + 1). Suppose -2*q = -o - 18, -2*q = -p*q - 5*o + 31. Solve -r + q + 6 = -5*j, -3*r = 5*j + 29 for r.
-3
Suppose 0*c = 3*c - 2*z - 12, -2*c + 8 = -4*z. Let i(h) = h**3 + h**2 + 4. Let t be i(0). Solve t*l = -4*j, 3*j - c*l + 13 = -22 for j.
-5
Let s = -230 - -235. Solve 5*a = -t - 2, -5*a + 0*a = s for t.
3
Suppose -18 = 4*z - 54. Let y be (-120)/z*(-12)/10. Solve 2*f = -a + 8, f = -f - 5*a + y for f.
3
Suppose 40*a - 365 = 515. Solve 4*i = -0*i + 4*t + 12, 4*i - a = -t for i.
5
Suppose -2*v + 6*i - 18 = 2*i, -2*v - 20 = -5*i. Let w = v + 10. Let s = 89 - 87. Solve 3*t = -4*c - 3, w*c + s*t + t + 6 = 0 for c.
-3
Let c(s) = 13*s - 258. Let f be c(21). Suppose 0 = u - 21. Solve 24 = -2*n - 4*k, f = -5*n - 4*k - u for n.
-4
Let h(p) = -2*p**2 + 2*p - 3. Let d be (-4 - -1)/(1 + 0). Let n be h(d). Let y be (n/18)/((-2)/4). Solve 5*z + 10 = v, -3*v + 0*z = y*z + 24 for v.
-5
Let j be (2 - 2)*(-1)/(-6)*1. Solve 0 = x - 3*q + 12, 0*x + 3*x - q + 12 = j for x.
-3
Suppose 40*u = 95 - 55. Solve 3*t + u = 4*p + 10, -t + 3 = -3*p for p.
0
Suppose 3*l + 34 = 7. Let k = -6 - l. Let t be ((-2)/k)/(1/(-3)). Solve 0 = p - 3*d - 17, t*p - p + 5*d + 15 = 0 for p.
5
Let p = -36 - -46. Suppose -p = -v - v, 14 = f - v. Solve 4*r + 3 = f, -c + 3*r = 12 for c.
0
Let d be ((-2)/8*-2)/((-1)/(-8)). Solve -25 = 5*o, -d*p - 5*o - 5 = -0*p for p.
5
Let s(u) = 2*u + 2. Let v be s(2). Suppose -j + 4 - 9 = -3*b, 3*j = 2*b + v. Let n = 80 - 77. Solve 4*y = n*m, 2*m = -b*y - 2*y for m.
0
Suppose -20 = -46*m + 44*m. Solve p + 3*y + m = 0, 0 = p + 2*y + 3 + 3 for p.
2
Suppose -11*u - 20*u = -62. Solve -2*c = 2*g + 8, 3*g - 1 = -2*g + u*c for g.
-1
Suppose -2*v + 81 + 51 = 0. Let a = v + -48. Solve -2*p - a = -0*p + 4*r, -5*r = 15 for p.
-3
Suppose -1078*q + 1075*q = -9. Solve 8*l = 9*l + 2*p - 6, -3*l + q*p - 18 = 0 for l.
-2
Suppose 111*w - 71*w - 480 = 0. Solve -w = -3*f + 5*d, -7*d = f - 4*d + 10 for f.
-1
Let n(l) = -l + 1. Let v be n(-3). Suppose 4*o = -5*q + 22, 5*q = -2*o + o + 28. Let f = q - v. Solve -a = f, 0*g - 4*g = -2*a - 16 for g.
3
Let f be 0 + -1 + 1 + 3. Suppose 5*j - v - 3 = 0, 7*v - 2*v - 10 = 0. Let u be (21/(-28))/((j*-2)/8). Solve -8*o = -u*a - 3*o, f*a = -4*o for a.
0
Let h(x) = -x**3 - 9*x**2 - 10*x - 10. Let t be (12/15)/(4/(-40)). Let m be h(t). Suppose -5*v + m = -3*v. Solve v*n - 26 = -4*b + 5*n, -3*n = 5*b - 5 for b.
4
Suppose 20 = -7*o + 2*o + 5*t, 5*t - 13 = 4*o. Let j be 31*(-2 + (-4 - o)). Suppose 0 = b + 12 - j. Solve 0 = -3*g + 5*n - n - b, n = 1 for g.
-5
Let o(w) = w**3 - 1 - 2 - 16*w**2 + 5. Let u be o(16). Solve -3*a - u*a - 2*n + 16 = 0, 0 = -n + 3 for a.
2
Suppose -8 = -5*f + 17, 5*g = -3*f + 40. Solve 2*y = -g*o + 27, -3*o = -0*y - 2*y - 13 for y.
1
Let u(d) be the third derivative of d**4/8 + 13*d**2. Let o be u(1). Solve 3 = o*w - 3*z - 0*z, -z - 13 = -5*w for w.
3
Let w(r) = r**2 + 13*r + 17. Let d(g) = -g**2 - 4*g - 12. Let h be d(0). Let f be w(h). Solve 5*v - f*t = -20, 6*v - t + 12 = v for v.
-2
Suppose z = m - 2, 4*z = -2*m + 3 - 5. Suppose m = -3*k - 11, 0 = 5*a - 5*k - 20. Solve -v - 2*v = 0, a = -2*j + 5*v - 2 for j.
-1
Let h = -858 - -863. Solve -j - 23 = h*v, -4*j = 3*v + v + 12 for v.
-5
Suppose -q - 29 = -2*z + 4*z, -3*q + 3*z = 51. Let f be q/9 + (-8)/12. Let v = 0 - f. Solve 4*d = -v*y + 4, -y + 1 = -d + 2 for y.
0
Let l(w) = 2*w**2 - 2. Let r be l(2). Suppose 0 = r*y - 3*y - 18. Suppose -y = -q - b, -3*q + 2*b = -2*b + 10. Solve p + 2 = 3*n, -4*p = q*n - 6*n + 16 for n.
-1
Let m be 3 + 6/3 - 2. Suppose 0 = -3*a + m*c + 12, 3*a + 5*c - 30 = -2*a. Let p be (-10)/(-50) - (-9)/a. Solve -s - 2 = -2*t - t, -p*s + 3*t = 7 for s.
-5
Suppose 0 = l - 1 - 3. Suppose -4*o = -s - s, -4*o = -s - l. Let q = o - 0. Solve 3*t - 9 = 2*p - p, -q*p + 2 = 4*t for p.
-3
Suppose -p = -z + 3*p + 7, 3*p = z - 6. Suppose 4*i - 11 = -z. Solve -2*t + i = 4*v - 0*t, 4*v - 22 = 2*t for v.
3
Suppose -24 = -5*f - m + 2, 2*m = -f - 2. Suppose k = 3*h + 9, -h + k = h + 7. Let g be 0/5 - (0 + h). Solve -4*y - g*x = -5*x - f, 2*x = y + 1 for y.
3
Let a(q) = -q**2 - 29*q - 151. Let k be a(-7). Solve 2*j - v - 2 - k = 0, 4*v = -12 for j.
1
Let v = -79 - -91. Solve 3*y = -v, 2*p + 2*y + 2*y + 14 = 0 for p.
1
Suppose 5*j = 12 + 13. Suppose 2*m = 5*o - 32, 0*o - m + 36 = 4*o. Suppose o = -0*a + a. Solve -3*c + 4*y - 19 = 0, -j = -3*c - 4*y + a for c.
-1
Suppose -2 = -4*x + b, 3*b - 2 = 3*x + 1. Suppose 0 = 4*o - a + 2, -5*o + a - 1 = x. Solve 11 = 2*n - 3*v, -4*n + 2*v + 2 + 0 = o for n.
-2
Suppose y - 3*y = -o + 1, -4*o - y + 22 = 0. Suppose -o*r = 3 - 13. Solve 3*d - 2*a = r*d + 8, -a = -d + 4 for d.
0
Let j = -44 + 46. Suppose 5*l = 5*k + 5, -j*l + 4*k - 2 = -0*k. Solve -o - 2*q + 0 = l, -5*q = o for o.
-5
Suppose -4*s - 3*q + 318 = 0, 2*s + 5*q - 160 = 4*q. Suppose -84*a = -s*a - 6. Solve 3*y + i + a = 0, 2 = 6*y - y - i for y.
0
Suppose 0 = -19*v - 0*v + 57. Solve -3*t + 16 = -a, -15 + 0 = -v*t for a.
-1
Let o be (-1)/(-4)*(26 + (-8 - -2)). Solve -o*q - 20 = 0, -3*q + 20 = -4*a - 5*q for a.
-3
Let z be (-19)/133 + (-176)/(-7). Let c(p) = p**2 + 3. Let q be c(0). Solve -s + 5*r = z, -s + 17 = -2*s + q*r for s.
-5
Let f(b) = b + 18. Let i be f(-15). Solve -7 = 5*y - i*z + 9, 2*y = 3*z - 10 for y.
-2
Let s be (-5)/(-30) - 7/6. Let x(c) = 0*c**2 + 3*c - 2 + 3*c**2 - 6*c. Let u be x(s). Solve u*p = -3*y + p - 3, y = 3*p - 13 for y.
-4
Let c = 1 + 13. Let l = c - 8. Suppose -l*s - 7 = -7*s. Solve 2*u - 12 = 5*x, 4*x - u = x - s for x.
-2
Let f = -7 - -44. Let r = f + -34. Solve 3*z = -r*p - 6, 2*p + 7 = -3*p - 4*z for p.
1
Let i(o) = o**3 + 16*o**2 + 23*o + 120. Let l be i(-15). Suppose 4*s = -s + 35. Suppose 5*g - 4*g = 4. Solve l = -m + g*p - 3, 3*p + s = 3*m - p for m.
5
Suppose y - 5 = -4*k, 2*y + 3*y - 5*k = 0. Let z = 31 - y. Let n = z - 15. Solve 3*w - s + n = 0, -3*w + 0*s = -4*s + 24 for w.
-4
Suppose -3*x + 12 = 2*p, 3*x = -2*p - 2*p + 18. Solve -f + 0*f = 2*l + 6, p*f + 16 = -4*l for f.
-4
Let q be (-1)/4 + 51/12. Solve 0*h + 5 = h + q*i, -4*h + 3*i = -20 for h.
5
Let t(f) = 3*f**2 - 4*f + 4. Let i be t(0). Suppose 0 = -r + y - 3, 2*r - 2*y = -4*y + 6. Suppose s - i*s = r. Solve p - w - 4 = -3, 4*p - 2*w - 8 = s for p.
3
Let t(i) = i**3 - 8*i**2 + 10*i - 3. Let g be t(7). Let x = 6 + g. Solve 3*y - 3*z = 6*y + x, -3*y = 4*z + 29 for y.
-3
Suppose 9 = 4*h - 7, -h = -5*t + 16. Let q be (-15)/10 + 7/2. Let j be -3 - (2 + 4*-2). Solve 0 = -j*n - 0*n - 5*f + q, 3 = -t*n - f for n.
-1
Suppose 9*s - 6*s = -3*y + 6, -2*s + 12 = -2*y. Solve 0*c - s = -u + 2*c, 0 = -4*c - 12 for u.
-2
Let q(l) = -l**3 - 6*l**2 - 7*l - 5. Let s be q(-5). Suppose -15 = -s*i - 0*i. Let p = -29 - -35. Solve -5*b + p = 21, -2*z + b - i = 0 for z.
-3
Suppose -6*c = -25 + 13. Solve 2 = 5*f - 2*u, -f + 3*u + 1 + c = 0 for f.
0
Let o(a) = a**2 - a + 8. Let v be o(0). Suppose -3*d - 2*p + 0*p = -24, -d - 5*p = -v. Let c = 8 - d. Solve 2*t + c*t = 2*z - 4, 5*t = -5*z - 3