i = 31 - 19. Let r = i + -8. Suppose 3*f = r*k - 3, -5*k = 2*f + 9 - 30. Solve -4*o - k*l + 11 = 0, 4*l - 16 = -5*o + o for o.
-1
Let o be 1/(35/(-21) + 2). Suppose 0*z = 3*z. Solve o*f - 9 = z, -4*f + 4 = b - 4 for b.
-4
Suppose -v + 4*v - 2*x - 20 = 0, -5 = -x. Solve -6 = 5*y + g - 20, 0 = 4*y + 2*g - v for y.
3
Let d be 3/15 - 27/(-15). Let j = 4 + 0. Suppose -j = -0*q - q. Solve k + k = -4*i, q*i + d = -3*k for k.
-2
Let l = -1491 - -1500. Solve -l*y = -5*w - 12*y - 1, 10 = 2*w - 4*y for w.
1
Let q be (0 + 1)/((-2)/(-50)). Let h = 33 + -11. Let w be 28/42 + 20/6 + 1. Solve -h + 1 = d + 5*c, c + q = w*d for d.
4
Let l(c) = -2*c**2 - 30*c + 70. Let m be l(-17). Solve 11 = 5*x + 3*v - 4*v, 0 = 3*x + m*v - 17 for x.
3
Let t(j) = -j**3 - 32*j**2 - 60*j + 5. Let o be t(-30). Solve x = -3*i + 7, 3 - 8 = o*x - 5*i for x.
1
Let v(m) = -20*m**2 + 18*m + 13. Let n(t) = -7*t**2 + 6*t + 4. Let l(w) = -17*n(w) + 6*v(w). Let r be l(7). Solve -j = r*j + 5*u + 6, 22 = -4*j + 3*u for j.
-4
Suppose 313 = -v + 332. Solve -5*g - 3*j = v, 4*g + 26 = -0*j + 3*j for g.
-5
Let y(r) be the first derivative of r**4/4 + 4*r**3/3 - r**2 - 8*r - 13. Let z be y(-2). Solve z*o + n - 6*n - 2 = 0, 0 = -o + 4*n - 5 for o.
3
Suppose -18*b = -14*b - 188. Suppose -y - b = -5*k - 4*y, 3*y - 7 = -k. Solve -2*i + n + n - k = 0, 0 = -5*n for i.
-5
Let j = -1148 + 1150. Solve -6 = -2*p + i, -10 + j = -3*p + 2*i for p.
4
Let s(m) = m + 2. Let y be s(1). Let v be (-6)/(y/(6/(-4))). Let z be -2 - -2 - (-6 + v). Solve -30 = -5*w + x, -5*w - z*x = -4 - 6 for w.
5
Suppose -37*g + 66 + 8 = 0. Solve 5*u = g*l + 6, -9 = -5*l + 2*u - 24 for l.
-3
Let y = 21 - 21. Suppose -3*b + 8 - 47 = y. Let o(m) = -m**2 - 16*m - 19. Let p be o(b). Solve z + 0*z = 5*u - 19, 0 = -5*z - p for u.
3
Suppose 2*h - 4 = -0*h. Let m = h + 1. Let o(b) = 14*b + 16. Let i be o(-1). Solve i*n - m*n + 1 = 3*u, -2*n = -8 for u.
-1
Let c = 1664 + -1655. Solve -c*g = -2*h - 8*g - 3, 3 = -4*h - g for h.
-1
Let z be (-1)/((2 + 1 - -2) + -4). Let a be z/2 - (-1 - 36/8). Solve y = t + 3*y + 8, 10 = -a*y for t.
-4
Let g(j) = j**3 + 8*j**2 - 15*j + 54. Let w be g(-10). Solve 9 = 5*t + q, -5*q - 5 = -2*t + w for t.
2
Let r(i) = i**2 + i + 15. Let f(s) = -2*s + 2. Let a be f(1). Let b be r(a). Let p be 6/b*(2 - -3). Solve -5*q - p*k = -8, 3*q + 2*k = -1 + 5 for q.
2
Let s = 636 + -625. Solve -3*r + 21 = -3*c, -2*c + s = 5*r - 10 for c.
-2
Let d(w) = -2 + 2 + 0*w + 1 - 2*w. Let s be d(-2). Solve 3*v - 24 = s*h, 0*h - 15 = -v + 4*h for v.
3
Suppose 0*i = -2*i + 10. Suppose 2*d + 9 = i*d. Solve 0 = -3*b + 2*p + 10, -b - 5 = -d*b + p for b.
0
Let m(z) = 3*z**2 - 17*z - 33. Let o(t) = t**2 - 9*t - 16. Let f(b) = -2*m(b) + 5*o(b). Let j be f(-9). Solve -3*h - 2*h = 2*s - 10, 0 = -j*h for s.
5
Let o = 654 + -649. Solve 0 = -o*w - 25, 3*u - w = u - 5 for u.
-5
Let f = -99 - -114. Let d be 3 - (1 - -2 - (-11 + f)). Solve -31 = -5*h + 2*h + 4*j, -d = -4*h - 4*j for h.
5
Let m = -7 - -11. Suppose -5 = -f - 5*c - 1, 0 = 3*f - c - 76. Solve 2*j = n - 3, 0*n + m*j = -4*n - f for n.
-3
Suppose 3*x - 20*x + 85 = 0. Solve 0 = 4*z + 4*c - 32, -x*z + c + 3 + 13 = 0 for z.
4
Let r(q) = -q**2 + q. Let x be r(2). Let n(w) = -28*w - 25*w - 27*w - 3 - 24*w + 100*w. Let t be n(x). Solve -k = -2*a - 0*k, 3*a - t*k = 14 for a.
-2
Let u be -1 + 1/(1/24). Let c be ((-170)/20 + 12)*12/(-2). Let m = u + c. Solve -m*p + 4*p - 3 = -l, 19 = p + 4*l for p.
-1
Let q(u) = 198*u - 1186. Let r be q(6). Solve 2*k + r*i - 11 = -3, 14 = 2*k + 4*i for k.
1
Suppose 9 - 1 = 2*z. Suppose -20 = -8*r + 3*r. Let k be r/18 - 86/(-18). Solve 4 = 2*j - 2*g, z*j - 8 = g - k*g for j.
2
Suppose 12*v = 17*v - 10. Suppose 0 = -4*u - 6*o + 2*o + 32, v*o - 26 = -4*u. Solve u*f - 20 = z - 6*z, f - 4 = 0 for z.
0
Suppose 4*x - 51 = -2*w + 7, 0 = -5*x + w + 55. Solve -j = -a - 4, 5*j - 2*a = 2*j + x for j.
4
Suppose 0*a - 4*a = 20. Let o be 20*(-2)/a*1. Let w(c) = -2*c**3 - 4*c**2 - 2*c + 1. Let i be w(-2). Solve i*j = m + 3*m + 24, -3*j + o = 4*m for m.
-1
Let u(y) = 0 - 87*y + 85*y + 4. Suppose z + 3 = 3*t - 3, -3*z - 2*t = -4. Let i be u(z). Solve 0 = -4*v - 4*f + i, 4*f = 3*v - 2*v - 21 for v.
5
Suppose 5*o - f = 46, -4*f + 36 = o + 10. Solve -o = 2*x, 32 = 3*n - 2*x - 2*x for n.
4
Let o(x) = x + 6. Let n = -9 + 6. Let a be o(n). Solve -4*g - 20 = 4*l, -15 = a*g + l - 5*l for g.
-5
Suppose -3*s = -5*t + 36, 0*t - 2*t - 5*s + 2 = 0. Let h be 2/t + (-5 - (-282)/18). Solve -3*x - j = h, -4*x + 0*j = 2*j + 14 for x.
-4
Let c be 66/18 - (-2)/(-3). Suppose 4*q = 16, q + 67 - 71 = 4*y. Solve c*d = -3*u + 15, y*d - d + 6 = 2*u for u.
1
Suppose -16 = -7*t + 3*t. Let h be -1 + t + 5/(-5). Solve -3*v - 10 = h*o, v + v = 5*o - 13 for o.
1
Let l = 113 + -112. Suppose -d + l = -19. Solve -2*x + 4*w = x - 29, -4*w - d = 0 for x.
3
Let p be (0 + 4)/((-1)/2). Let j = p - -10. Let a(f) = f**3 - 5*f**2 + 2*f + 13. Let d be a(4). Solve -4*h = h - 3*g + 5, j*g + 5 = -d*h for h.
-1
Let d be 1/(5*(-4)/(-2480)). Let j = 131 - d. Solve -3*q + 3*r = 2*q - j, r = -4 for q.
-1
Let f = -1265 + 1268. Solve -3*r + 4*u + f = 0, r + 9*u = 7*u - 9 for r.
-3
Let m(x) = x + 14. Let l be m(-12). Let w be 1/((2/6)/1). Solve 2*f = 6*b - l*b - 12, 0 = b - f - w for b.
3
Let o(f) = -8*f + 107. Let k be o(13). Solve -k*c = -t - 3*t + 11, 9 = t - 2*c for t.
-1
Suppose -3*w = -3*m, -4*w + 0*m = -5*m. Let i be (2 - (0 - 6)) + w. Suppose -4*b + 0 + i = 0. Solve -2*v + 1 = -b*k + k, -4*v - 4 = -4*k for v.
2
Suppose -3*o + 4*o = 6. Suppose -2*h = -v - h - 14, 16 = -2*v + 5*h. Let k be v/(-24)*(o - 2). Solve 3*m - 5 = -2*u, -k*m + 6*m + u - 7 = 0 for m.
3
Let j(l) = 8*l + 56. Let g be j(-6). Solve -2*z + 3*t = 8*t - 7, -4*t + g = z for z.
-4
Let g be (-1)/2 + 58/4. Suppose -g = -4*f + 6. Let o be f + -2 + 1 + -1. Solve -5*y + 3 = -2*m + 10, m - 2*y = o for m.
1
Let v(f) = f**2 - 9*f. Let t be v(9). Let p = 3 - t. Suppose 0*q + p*q - 18 = 0. Solve 4*b + u - 18 = 0, -5*b - u = -q*u - 10 for b.
4
Let z(g) be the second derivative of -5/12*g**4 + 7/2*g**2 + 1/10*g**5 + 1/6*g**3 + 7*g + 0. Let n be z(3). Solve -5*b + 3*q = -4, -n = b + 4*q - 6 for b.
-1
Suppose 0 = o - 129 + 37. Let b be (o/(-8))/((-3)/6). Let j = 38 - b. Solve -2*g = -2*p + 2*g - 20, 2*p - j = -3*g for p.
0
Suppose -3*n = 4 - 16. Suppose 2*s = 6 + n. Suppose 3*x = s*x + 2, 17 = 3*u - 2*x. Solve u*h = 10, -1 - 1 = -2*m + h for m.
2
Let s be 3 + (1 - 4/1). Suppose s = -5*a + 2*i - 16 + 51, -5*a - 2*i + 35 = 0. Suppose -4*l + a + 9 = 0. Solve -o + 4*p = -5*o + 24, l*o + 1 = p for o.
1
Let x be (36/24)/((-6)/(-160)). Let t = -26 + x. Let p be (-6)/(-10) - t/(-10). Solve p*o - 1 = -s, -2 = 5*o - 0*s - 2*s for o.
0
Suppose 3*q + 6 - 3 = 0, 2*l - 2*q - 10 = 0. Solve 7*r - 22 = -3*z + 2*r, l*r - 12 = -z for z.
4
Let d = -98 + 113. Suppose 9 = -d*x + 9. Solve 4*i + 5*l = 16, -i = -l - x*l - 4 for i.
4
Let z = -23 + 38. Suppose 0 = d + 2*n - 6, -3*d + 4*n - 7 = z. Let m be -4 + 18 - (d + 2). Solve 5*l + m = 2*s, -3*s = 2*s - 5*l - 5 for s.
-3
Suppose -5 = -4*f - 1. Let l be (f/(-2))/((-3)/48). Suppose -5*c + 4 = g - 7, -c + 11 = g. Solve l = -y + 2*h, 4*y - 12 - g = -3*h for y.
2
Suppose 5*o - 37 = -2*q, 4*q + 86*o - 82*o = 44. Solve 4*k - q*k = 2*t + 8, -3*k + 4*t = 19 for k.
-5
Let q(s) = -s**3 - 4*s**2 + 57*s + 22. Let j be q(6). Solve 3*l = -2*w + 4*w - 12, j*l + 5 = -w for w.
3
Let v be (-16)/5 - 1/(-5). Let u be v/(-5) + (-235)/(-25). Suppose 2*n - n + 8 = 4*a, -u = -5*a + 4*n. Solve -2*s - 2*i - 4 = 0, 6 = -4*s - 0*s - a*i for s.
-1
Let l(u) = -3*u**3. Let x = -20 - -28. Let w = 7 - x. Let g be l(w). Solve -3 = 3*t, -g*j = -2*t - 2*t - 19 for j.
5
Let z be 7 + -9 + -5 + 33/3. Solve -4*x - 2*j = 6, -z*j - 3 + 17 = -5*x for x.
-2
Suppose -2 = -0*s - s. Let z(h) = h**2 - 9*h + 12. Let p be z(8). Solve -s*m - 3*j + 0*j + p = 0, 3*j + 16 = 2*m for m.
5
Let h be (-2)/4*(-76 + -2). Suppose c = -0*c - 3*y - 4, c - 4*y = -h. Let p = 25 + c. Solve 0 = -2*u + u - 5*g - p, 3 = -3*g for u.
-1
Let n(x) = -3 + 21 - x + 0*x + 0. Let l be n(14). Solve l*y + 3*t + 3 = 14, 5*t - 3 = y for y.
2
Let m(b) = b - 9. Let r be m(-5). Let a = 16 + r. Solve -w - 2*w = 15, -5*v + 5 = a*w for v.
3
Suppose 5*q - 1 - 9 = 0. Suppose 17*h = 4*h + 26. Let k be (1 - 2)*(0 + -2)/h. Solve -3*f = 3*r + 2*f +