i = -23, 0 = 4*f - 3*d + 32 for f.
-5
Let y(r) = -4*r + 99. Let o be y(24). Suppose -23 = o*n - 35. Solve -b - n*l - 2 = -6, -5*b + 20 = -4*l for b.
4
Let t(w) = w**3 - 22*w**2 - 45*w - 52. Let f be t(24). Let c(b) = 7*b - 140. Let z be c(f). Solve z = 4*k + 4*m + 24, -2*k + 4 + 0 = -2*m for k.
-2
Let r = 4078 + -4070. Solve -25 = l - 5*m, 6*l = r*l + m + 6 for l.
-5
Let d(w) = 7*w**2 - 5*w - 3. Let v be d(-2). Suppose -9*o = -v - 10. Solve -x + 0*x = 4*g - 11, -g - x = -o for g.
2
Let z be (1 - -2)/(((-104)/1703)/(-8)). Let r = 396 - z. Solve b = 4*g - 1 - 4, 5*g = -2*b + r for b.
-1
Suppose -47*w + 2224 = 114*w - 996. Solve -2*p + 23 - 3 = 2*n, 4*p = w for n.
5
Let z = 2 + -2. Suppose z = -5*o - 7 + 22. Suppose -o*r + 20 = -4*w, -3*r + 20 = -6*r - 4*w. Solve -4*k = -r*k + 4*s, k - 2*s - 9 = 0 for k.
3
Let t(y) = -y**2 - 12*y - 17. Let s be t(-12). Let c = s + 28. Suppose c*z + 18 = 12*z. Solve -3*n = -2*k + z, 4*k - 12 = 2*n + 8 for k.
3
Let c = 891 - 891. Solve c = 3*o + 4*t + 4, -o + 5*t - 19 = -24 for o.
0
Let f = 2232 + -2232. Solve 0*v - 2*v + 3*d = 10, f = v + 4*d + 5 for v.
-5
Let m = 172 + -197. Let c be (m/(-5))/(-5)*0. Solve 3*i + c*i + 3 = 4*k, k = 0 for i.
-1
Let d(k) = 3*k**2 - 7*k + 7. Let o be d(-7). Let q = -178 + o. Solve h - 3*u + 7*u = -16, 0 = -5*u - q for h.
4
Suppose 0 = 5*u + 15, -8*q - 4*u - 17 = -13*q. Solve 23*h = 3*b + 27*h - 5, -2*h - q = 5*b for b.
-1
Let i(q) = -36*q + 3137. Let n be i(87). Solve n = 2*o + 3*d, -8*o = -9*o + 2*d - 15 for o.
-5
Suppose -4*v - 21 = 40*i - 37*i, -5*v - 70 = -5*i. Solve -4*u - 17 = 2*z - 47, i*u = 5*z for z.
5
Let j(v) = -6*v + 5. Let b be j(-7). Let n = b + -45. Suppose -a - n = -4. Solve -a*l + 2*x - 8 = 0, -5*l - 5*x = 1 - 31 for l.
1
Let f = -125 + 127. Suppose i + f = 8. Solve -4*y + y + u = 13, i = -2*y - 2*u for y.
-4
Let t(w) = -3*w - 19. Let n be t(7). Let b = n + 44. Solve -9 = 2*q - 5*p, 5*q - 2 = 3*p + b for q.
3
Suppose 202*z = 53 + 1671 + 1508. Solve z = -4*w + g + 40, -2*w - 5*g = 10 for w.
5
Suppose -2*w + 18 = -10*a + 8*a, -a - 25 = -3*w. Solve 3*r - 3*n = -2*r, -r + w = n for r.
3
Let w(q) = 21*q**2 - 6*q - 6. Let t be w(-1). Let d be 6 + -3 + 1 + 0. Suppose 10 = -d*b - 6, -5*h + t = b. Solve -h*p - 20 = -x, 0 = 4*p - 3*x + 22 + 5 for p.
-3
Suppose -495 = -3836*j + 3671*j. Let v(h) = 6*h**2 + h + 2. Let d be v(2). Let y be d/20 - (-2)/(-5). Solve 2*g - j*s = -7 - y, -5*g + 2*s - 20 = 0 for g.
-4
Let c(j) = -2*j**2 - 119*j - 174. Let x be c(-58). Solve 0 = 2*o + 10, 2*b + 0*o - 5*o - 25 = x for b.
0
Let r(w) = -3*w**2 + 18*w + 28. Let o be r(13). Let t = -242 - o. Solve -t*v - 6*y + 9*y + 3 = 0, v + 11 = -5*y for v.
-1
Let a(l) = -8*l**2 - 17*l - 2. Let y(w) = -12*w**2 - 33*w - 5. Let s(j) = -5*a(j) + 3*y(j). Let g be s(4). Solve -g*k + 4*d - 8 = k, 4*d + 12 = 0 for k.
-5
Let k = -10 + 263. Let n = k - 247. Solve 2*a - 11 = -3*s, 4*a - n*s + s = -11 for a.
1
Let v be (16 + -17)*0/(-2) + -10 + 15. Suppose q + 2 = 3*q. Solve 0 = 2*c - 4*t + t + q, v*t + 5 = 0 for c.
-2
Let l(k) = -k**3 - 38*k**2 + 6*k + 3. Let c be l(0). Solve 5*g + 5*a - 27 = 3, c*g - 2*a = 3 for g.
3
Let r = 106 - 73. Suppose -2*o - 5*k = -0*k + 17, 5*o + 3*k + r = 0. Let z be (-1 - 3)/(8/o). Solve 0 = f + 3*m - 16, z*f - 3*m + 20 = 5*f for f.
4
Let i(p) = -5*p**2 - 6*p + 2. Let s(b) = 18*b**2 + 18*b - 5. Let c(d) = -7*i(d) - 2*s(d). Let y be c(3). Solve -5*q = -5*w - 10, -20 = -y*q + 5 for w.
3
Let u be ((-1368)/15)/((-5)/((-350)/(-21))) + 6. Solve t = u*b - 312*b + 8, b = -2*t + 4 for b.
4
Suppose 5*y = -f + 18, 3*y - 10 = -5*f + 14. Suppose 15 - 1 = -2*z - 5*k, 0 = 5*z + 3*k - 3. Solve z = -f*q + 5*b, -q + 3*b - 8 = -3 for q.
4
Suppose 2*i + 3*j + 1 + 3 = 0, i + j = 0. Let x(b) = b**3 + 12*b**2 - b - 7. Let k be x(-12). Let y = -347 - -351. Solve -m = -k*z + 2 - 5, 0 = -i*z - y for m.
-2
Suppose 330*p + 338 = 343*p. Solve 0 = r + 16 - 11, 5*r + p = l for l.
1
Let i(m) = m**3 - m - 17 + 20 - 6*m**2 + 7. Let o be i(6). Solve -3*q + 4 + 4 = -o*a, 0 = -2*q + 5*a + 10 for q.
0
Suppose -24*u + 25*u - 3*p - 21 = 0, 0 = -2*u + 2*p + 22. Suppose -8*l = -u*l - 6. Solve -5*q + l*h = 4, 2*h = 2*q + 3*q + 1 for q.
1
Suppose -4*h = 156 - 360. Suppose 34*l - h = 17*l. Solve 0*d + 25 = 3*v + 2*d, d + 10 = l*v for v.
5
Let h be 600/(-280) + (-76)/(-42) + (-76)/(-3). Solve 59*v - 61*v = s - 13, 0 = s + 5*v - h for s.
5
Suppose 12 = 2*g, 0 = -2*w - g + 7 + 9. Solve -3*f = x + w, -4*x + 30 = -5*f + 50 for f.
0
Let s be (6/7)/((-100)/(-840)) - (-13)/(-65). Solve b - 5*j - 12 = 0, -s*b = -10*b - 4*j - 21 for b.
-3
Let t be -3*4*4/64*4. Let k be 4*9/24*(-4)/t. Solve -k*b - 3*z = 0, 0 = 5*b + z - 5*z for b.
0
Let q = 5759 + -5757. Solve 1 = q*o + 5*w - 15, o + 5*w = 18 for o.
-2
Suppose -25 = -5*d - 7*m + 9*m, m = -5*d + 25. Let x = -319 + 323. Solve -w = 2*w - x*b + 6, -3*b + d = -2*w for w.
2
Let v = -67 + 65. Let a be (5/v)/(-1)*(-24)/(-30). Suppose -f + a*f = 2*c - 4, 5*c = -f + 10. Solve 2*b + c*m = 4, -3*b + 0 + 4 = m for b.
1
Let w = 71 - 67. Suppose w*g + 3*a - 130 = 0, -3*g = 2*a - a - 95. Let d = g - 31. Solve -4*x - v + 16 = d, -2*v = -0*x + x + 3 for x.
5
Let l = 21 - 16. Suppose 0 = l*z - 0 - 25. Let f(p) = p**2 + 7*p + 6. Let b be f(-6). Solve 5*h + z*q - 10 = b, 11 = 2*h - 0*h - 5*q for h.
3
Let p(l) = -l**3 + 6*l**2 + 4*l + 9. Let a(v) = v + 1. Let n(f) = -a(f) - p(f). Let d be n(7). Solve h = -2*b - 10, -8*h - 31 = -d*h + 5*b for h.
-4
Suppose -4*y - 2*x - 58 = 0, -2*y = x + 4*x + 49. Let z be (0/(-2))/(y/4). Let m be z - (-1 + 4/(-4)). Solve 0*a + h = -a + 4, 20 = -m*a + 5*h for a.
0
Let z be (-6)/63 + 325/105. Let b(t) = 3*t**2 - 4*t + 8. Let q be b(z). Solve 0 = 3*d + k + k - q, d + 5*k = 25 for d.
5
Let y(t) = 264*t + 1589. Let b be y(-6). Solve -5*z + 15 = 0, -i - 11 + 22 = b*z for i.
-4
Let j(a) = -2*a**2 - 14*a - 9. Let s be j(-6). Suppose -25 = 5*k, s*o + 24 = -2*k + 8. Let z be 20/8 + (-1)/o. Solve h + 9 - 3 = -3*m, 2*m = -3*h + z for m.
-3
Suppose -34 = -46*d - 29 + 133. Solve 5*g + 3*t + 9 = 8*g, 0 = 2*g - t - d for g.
0
Let i(u) = -u**2 - 7*u - 7. Let h be i(-7). Let p be 6/((21/(-2))/h). Suppose -27*o + 14*o - 4 + 147 = 0. Solve p = -2*c - s, o = -c + 3*s + s for c.
-3
Let x = -6692 + 6695. Solve -3*d - d - 8 = 0, 0 = -y - x*d - 6 for y.
0
Suppose 0 = -286*k - 149*k + 1305. Solve 0 = k*z + 2*q + 5, -q = -3*z - 32 + 12 for z.
-5
Let v(j) = j + 9. Let k be v(12). Suppose -a - s + 20 = -3*s, 5*a - 130 = -5*s. Let t = a - k. Solve -t*z - 2 = -w, -5*w + 0 = 5 for z.
-1
Suppose -138*c = -22*c - 348. Solve -2*f + c*o = -10, -3*f - 9*o + 7*o - 11 = 0 for f.
-1
Let s be ((-4)/(-20))/((-49)/(-735)). Solve 0 = 4*f + 5*b + 2, -13 = s*f + b - 6 for f.
-3
Let m be 5/225*-6 + (-385)/(-75). Solve 3*x - m*y - 34 = 0, -6*x + 3*y = -x - 30 for x.
3
Suppose -3*p - 5*z = -32, 17*p - 4*z = 22*p - 36. Solve -2*w = -y - 7, w = p*w - 6 for y.
-3
Let f be (20/6)/((-800)/(-3600)). Suppose 3*c = -2*m - 2*c + 13, 2*m + c = 9. Solve -5*u = -2*o + 29, m*u + u = -5*o - f for u.
-5
Suppose -6 - 153 = -3*l. Let u = l - 51. Solve 15 - 3 = -c - 5*b, 2*c + 8 = -u*b for c.
-2
Let g = 128 - 40. Let o = -90 + g. Let j be -3 + (-90)/(-11) + o/11. Solve -5*x + b = 24, 0*b - j*b - 5 = 0 for x.
-5
Let j(a) = a**2 + 22*a + 89. Let o be j(-17). Let w be (8 - 2) + 0 + o + -4. Let f(p) = -p**2 - p + 5. Let v be f(0). Solve -w = r + z - 0, 0 = v*r - 5*z for r.
-3
Let v = -9 - -9. Let n be 0/(2/2*-4). Suppose -3*f + 42 = -3*m, 2*f - 4*m = -n*m + 32. Solve -i = -v*x - 3*x - f, 2*x + 9 = i for i.
3
Let v be -3 - (-9)/18*(2 + 0). Let r be v + (-5)/5 + 9. Suppose 0 = -2*u + r. Solve -3*a = 0, 0 = -4*f - 5*a - 1 - u for f.
-1
Suppose 0 = -3*m - 5*k + 26, 190 = 4*m + 4*k + 158. Solve 0 = -3*d + 2*z - m, 4*z - 11 - 4 = 5*d for d.
1
Let b(v) = v**2 + 3*v + 4. Let o be b(-5). Suppose 8*p + 58 = 74. Let d(k) = 2*k - 6. Let f be d(3). Solve y - 8 = -p*z, f = 4*z + 3*y - o - 6 for z.
2
Let y = -57 - -54. Let l be (-1)/y*(12 - 6) - 2. Let i be 1 + -3 - l - (-1 + -5). Solve i*k - 1 = -3*h, 0 = 3*k + 2*h - 2 for k.
4
Let h(y) = -y**2 + 17*y + 2. Suppose 6*q - 128 = -26. Let j be h(q). Solve j*a - 2*o = -3*a + 15, -o = a + 4 for a.
1
Suppose 5*a = 2*r - 2680, -4*a - r = -899 + 3030. Let u = -512 - a. Solve -4*v = 2*q + u, -2*v - 32 = 2*v + 4*q for v.