= 4*w - 40, 3*k + x = -w - 2 for w.
5
Suppose 158 = 122*l - 120*l. Let n = -60 + l. Solve -s = -3*c - n, -19 = 3*c - 4 for s.
4
Let y be 0*(0 + (-3)/(-6)). Suppose y = b + 2, 0 = 5*f - 2*b - 63 - 36. Solve -2*x + f = -5*j, 5*x - 3 = j - 13 for x.
-3
Let b(p) = -p**3 - 6*p**2 - p + 6. Let l be b(-6). Let k = l + -19. Let z = k - -16. Solve -9 = 5*q - f, -3*q + 2 - z = f for q.
-2
Let j = -69 + 71. Solve -3*u = 2*l + 1 - 2, 4 = 2*l + j*u for l.
5
Let l(b) = b + 1. Let x be l(7). Let u = -2 + x. Suppose 3*h - 21 = -3*z, -3*h + 4*z + u = 2*z. Solve 5*o + 4*r = 2 - 7, 3*r = h*o + 35 for o.
-5
Let m(p) = p + 31. Let t(g) = 2*g**3 - 20*g**2 - 2*g + 11. Let y be t(10). Let b be m(y). Solve -b = 4*f + 2*q, 3 - 6 = q for f.
-4
Let o = -104 + 120. Suppose 98 = 3*t - 5*a, -6*a - o = -2*a. Suppose -s + z = -5, 3*s = -3*z + z + 10. Solve 5*d - t = 2*x, -4*x + 10 = -2*x + s*d for x.
-3
Suppose 0 = 3*n + 3 + 3. Let l be 23/2 + n/(-4). Let k(h) = h**3 - 12*h**2 + 16. Let z be k(l). Solve y = -3*j - 1, -2*j - 2*y = -5*j - z for j.
-2
Let h = 2447 + -2445. Solve 27 = -4*g + 5*b, -g + 3*g = h*b - 12 for g.
-3
Suppose 0 = -4*m + 109 - 45. Solve -4*c + 2*u = m, c + u - 5*u = -11 for c.
-3
Let q(w) = w + 7. Suppose 3*i - 2 + 8 = 0. Let n be q(i). Suppose -4*a = -49 + 13. Solve 3*t + 2*t = 2*j - n, -2*j + t = -a for j.
5
Suppose -5*p = 6*q - 10*q - 16, 5*q + p = 9. Solve 4*n + 4*s = 2*n - 2, 3*s - q = -n for n.
-5
Let p = 5 - 20. Let h be (p/(-9))/((-2)/6). Let i = 9 + h. Solve 4*d - i*z - z + 36 = 0, z = 4*d + 20 for d.
-4
Let u = 13 + -7. Suppose u*b - 70 = -4. Solve 5*j + 4*q = q + b, q + 3 = 5*j for j.
1
Let q(b) = b**2 - 11*b + 12. Let j be q(10). Suppose 12 = 4*g, -g = -3*t + g. Solve j*a + l + 12 = -2*a, -t*l = 8 for a.
-2
Suppose -56*t = -53*t + 33. Suppose 5*n - f - 169 = 0, 3*n + 3*f + 2*f = 79. Let z be (2 - -3) + n/t. Solve 2*j = 3*u + 5*j, u = z*j - 9 for u.
-3
Let n be (-2)/1 + -42 - 0. Let s = n - -54. Solve 4 = -2*a - 2, 4*i - s = -2*a for i.
4
Let u be 9/3 + 2 - (3 - 0). Solve u*t + 3*q - 3 = 0, -5*t - 7*q + 11 = -3*q for t.
3
Let q be 8 + 15/(-1) + 48 + -6. Solve -10 = w + 4*g - 3*g, -4*w = 3*g + q for w.
-5
Suppose 0 = 8*k - 6 - 10. Suppose -4*t - k*a = -a - 20, 0 = -t - 4*a - 10. Solve 0 = -5*s - 20, -s + 2 - t = 4*b for b.
0
Let i(f) = f**3 + 5*f**2 + 2*f + 2. Let t be i(-5). Let p = t + 11. Solve -5*s + 7 = 2*u - 15, 5*u = 2*s - p for s.
4
Let p(f) = -f**3 + 2*f**2 + f + 1. Let d be p(2). Solve 0 = -d*n + 4*w - 7, -7 = -n + 5*w - 2 for n.
-5
Let i(t) = t + 26. Let h be i(-8). Solve 0 = 3*s - 3*q - h, 4*s + 2*q = -2*q for s.
3
Let p be (110/35)/(2/7). Solve g = -4*u + 21, 3*u - 22 = -p*g + 9*g for g.
5
Suppose 2*d - 2 = -5*z, 4*d - 2 - 2 = -z. Solve z = 3*u - b + 1, -3*u - 2 = -5*b + 3 for u.
0
Suppose -261*v + 274*v = 52. Solve b = 0, v*t - 2*b = -6*b - 4 for t.
-1
Let y(o) = -4*o**2 + 2. Let d be y(0). Let q be (2 - (4 + -2))/d. Solve m = -m - 2*b + 14, 3*b - 15 = q for m.
2
Suppose -35 = -4*w + 45. Let u = w - 17. Suppose -u*m = -6 - 0. Solve -a - 2*y - 3 = 10, m*y + 8 = 0 for a.
-5
Let b(y) = 3*y + 87. Let q be b(-29). Suppose 3*c = -10*o + 8*o + 3, q = 3*c + 4*o + 3. Solve 2*m = 4*m - 2*t + 12, -c*t = -5*m - 28 for m.
-5
Let q = 75 - 70. Solve -4*m = -2*p + 2, 6 - q = 3*m - 2*p for m.
-3
Let y = 1244 + -1241. Solve 10 = 5*x + y*m, -4*x - m - 1 + 16 = 0 for x.
5
Let a(v) = -v**2 + 5*v + 42. Let w be a(7). Let c = 32 - w. Solve -5*n = -3*j + 7, -5*n + c = 2*j - 9 for n.
1
Suppose 4*p - 39 = 5*l, -5*p + l + 47 = 14. Let i be (-18)/(-5) + p/15. Solve -i*m + 5*d + 3 + 7 = 0, -18 = -4*m + d for m.
5
Let d be (-4)/(64/(-40))*2. Solve 2*p = -d*l - 6, -2*l = -5*p - 5*l + 4 for p.
2
Let y be ((-27)/(-18))/(3/8). Suppose 0*q - 2 = -3*d - 2*q, -d - y*q - 6 = 0. Solve 5 = -d*z + 5*f, -4*f = -2*z - 0*z - 4 for z.
0
Suppose -3*g + 3*c = 6*c - 36, -2*g = -2*c - 12. Suppose 7*r + 3*r + 10 = 15*r. Solve b - g = 4*d, r*b + 21 = -4*d - b for d.
-3
Let g(d) = -3*d**2 + 18*d + 85. Let z be g(9). Solve 25 = -5*b, z*c + 4*b = -c for c.
4
Let x = 26 - 8. Suppose 4*v = 3*h, 17 + x = 5*h + 5*v. Solve -l + 3*l = -f - h, 4*l = f - 8 for l.
-2
Let v(l) = l**3 - 7*l**2 - 2*l - 44. Let f be v(8). Solve c + j - 7 = 2, -f*c = -j - 16 for c.
5
Let w be 0 + -8 - -3 - -9. Solve -2*s + 2 + 4 = 3*y, 4*y + w*s - 8 = 0 for y.
2
Let d = 45 + -45. Suppose 2*p + 13 - 53 = d. Solve 2*t + 19 = 5*y, -5*y + 8 = t - p for y.
5
Suppose 72 + 48 = -4*s. Let j be ((-24)/s)/(2/10). Solve -j*f = 2*q - 12, -q = -5*f + 4*q - 15 for f.
1
Let h = -1608 - -1615. Solve -5*f = h*t - 2*t + 15, 0 = -4*f + 4*t + 28 for f.
2
Suppose -13*v = -2*v - 55. Solve -5*g - 4*a = v, 0 = g - 2*g - 2*a - 7 for g.
3
Let r = 72 - 114. Let y = r - -59. Solve -5*p + 2*m - 11 = 9, 4*p + 5*m - y = 0 for p.
-2
Let h(d) = -3*d - 20. Let k be h(-8). Suppose 23*c = 81 + 11. Solve 0 = -k*z + c*t - 12, 4*t = 4*z - 6*z for z.
-2
Suppose -2*d = 3*x + 32, 3*d + 33 = -7*x + 4*x. Let b be (x/5 - -5) + 2. Solve 11 = 2*a - 4*a - 3*k, 11 = 4*a - b*k for a.
-1
Suppose -6*p + 12 = -4*p - b, 0 = -4*p - 4*b. Let l(o) = -o**2 + 7*o - 8. Let c be l(p). Solve 0 = -5*i + 2*a - 12, 2*i + c*a - 6*a = -6 for i.
-2
Let c = -90 - -105. Suppose -4*n = n - c. Solve n*y + 7 = 2*m, 6 = 3*y - 5*m + 1 for y.
-5
Let r(o) = -4*o - 11. Suppose 2 = -5*s + z - 7, -3*z = 3*s + 9. Let d be (-6)/((-7)/(-2) + s). Let m be r(d). Solve -4*l = -2*j, -5*l = m*j - 0*j for l.
0
Let m be 120/32 - (-3 + (-60)/(-16)). Solve -2*p = 5*f + 19, 0*p - 4*p - 17 = m*f for p.
-2
Let p be (-112 + 115)/(6/4). Solve 3*c = 2*i + 3, i + p*c + 0*c = 9 for i.
3
Let y be (-6)/(-30) - (-558)/10. Suppose 7*b - 3*b - y = 0. Let z be (4/b)/(1/7). Solve o + 1 = -z*g, -3*o + 3 = -4*g - 24 for o.
5
Let c(q) be the third derivative of -q**4/24 + 5*q**3/3 - 9*q**2. Let u be c(-6). Solve 2*b + p + 3 - 1 = 0, -4*b = 5*p + u for b.
1
Suppose 2*w = 6*w - 16. Let a(q) = q**3 - 17*q**2 + 14. Suppose -31 - 20 = -3*b. Let u be a(b). Solve 5*k + v - 4*v = u, w*k - 4*v = 8 for k.
4
Suppose -5*v = 5*u + 24 - 14, v - u - 8 = 0. Solve -6 = 2*b, -n + 3*b + v = -4 for n.
-2
Let j(v) = v**3 - v - 3. Let t(p) = p**3 - p - 3. Let y(f) = -5*j(f) + 4*t(f). Let q be y(0). Solve 0 = 5*b - l - 11, -4*l + 3 = q*b + 1 for b.
2
Suppose -2*b = 2*b - 20. Let m = -44 + 23. Let w = 25 + m. Solve -b*v - 30 = 3*a, 2 = -w*a + 6*a - 4*v for a.
-5
Suppose 0 = -0*l + l + 6. Let x = l - -5. Let v be x/4 + (-99)/(-44). Solve 1 = -s + 2*o + 3, v*o = 2*s for s.
-2
Let u be -6 - (-8 + -6) - 6. Solve p = -2*q + 3, 3*p + u - 16 = -q for q.
-1
Suppose 74 = 32*h + 10. Solve -v = 2, v + h = -o - 4 for o.
-4
Let k(t) = 2*t**2 + 13*t - 3. Let m be k(-7). Solve 0 = -2*z + 4*n, -m*n = z + n - 14 for z.
4
Suppose -7*j = 21*j - 224. Let u be (-1)/3 - 10/(-3). Suppose j - 62 = -u*h. Solve 5*m - 6 = -5*n + 14, 3*n - h = -5*m for n.
1
Let m(q) = -2*q**3 + 39*q**2 - 53*q - 17. Let y be m(18). Solve y = 4*d - 5*s - 9, -2*d + s = -8 for d.
5
Suppose -a - 2*a = -15. Let l be -5 + (7 - -17)/3. Solve 2*x + 0*b = l*b - 5, a*b = 5*x + 15 for x.
-4
Let w(k) = -k**2 + 4*k - 1. Let s be w(2). Suppose -2*u - 5*v + 14 = 0, 5*u - 1 = 3*v + s. Solve u*z - 6 = 4*y + 6, 0 = 5*y - 5*z + 10 for y.
-4
Let w(r) = -r**2 - 8*r - 7. Let c be w(-6). Let n = -119 - -262. Let k = n + -138. Solve 5*j + 5 + 8 = i, -k*j = -c*i + 5 for i.
-2
Let b(n) be the first derivative of -2*n**3/3 - 13*n**2/2 - 3*n + 31. Let m be b(-6). Solve -m*s - 5*x + 17 = 0, -2*s - 4*x + 14 = -0 for s.
-1
Let t be 25 - ((-2 - 0) + 4). Suppose 37 = -5*m - t. Let f be m/(-10)*(-5)/(-2). Solve 0 = -g + 4*z + f, g - 3*z + z = 3 for g.
3
Suppose 8*t + 2*v - 108 = 4*t, 2*t - 34 = 4*v. Solve 5*g = 4*c - 20, -3*g + t = 5*c - 5*g for c.
5
Suppose -4*l + z - 32 = 0, 0*l + 2*l - 4*z = -16. Let a be (-13)/(52/l)*(-16)/(-2). Solve -4*u + a = -3*s - 6*u, 5*s + 10 = 5*u for s.
-4
Suppose 3*c + 116 = -5*x - 0*x, -5*c - 32 = x. Let t be ((-164)/(-8))/((-2)/8). Let z be t/(-7) - x/77. Solve 2*o + 4*k - z = 0, -4*o + 0*k + 18 = 5*k for o.
2
Let s = 253 + -253. Solve 2*m = 2*z - 0*m - 16, z + 3*m + 8 = s for z.
4
Let s be ((-2)/6)/(1/(-9)). Solve -o - 3*k = 11, -s*o + 4*k + 6 = -0*o for o.
-2
Suppose -2*n + 8 = -0*n. Let r(y) = 2*y + 8. Let a be r(-4). Let v = n + a. Solve 8 = 2*h + 5*z, -h - h = -z + v for h.
-1
Let h 