*a - 21, 0 = -x*a - 3*a - 3*r - 3 for a.
-4
Let g = -134 - -78. Let p = g + 60. Solve 3*b + 22 = b + 4*h, 0 = -3*b - p*h + 7 for b.
-3
Suppose -5*h = -4*b - 28, -8*h + 13*h + 4*b = 12. Solve -2*u + 3*a - 3 = 3, -9 = 3*u + h*a for u.
-3
Let s(a) = a. Let q be s(4). Let n be -4*((-15)/q + 1). Let h = 14 - n. Solve 0 = 5*b + 2*x - 0 - h, b + 4*x - 15 = 0 for b.
-1
Let d = -5 - -9. Suppose -d*l + 55 = -3*g, -l + 4*g + 70 = 4*l. Let y = 15 - l. Solve s - 2*z = -0 - 1, -y*s = 4*z - 23 for s.
3
Suppose w = -230 + 235. Solve -u + 2*u = -a, w*a + 8 = -3*u for a.
-4
Let l = 57 - 55. Let j be ((-3)/6)/(l/(-40)). Solve -c - 4*m + 35 = 2*c, -m + j = c for c.
5
Suppose -4*m + 0 = 8. Let v(p) = p**2 - p - 2. Let w be v(m). Let n(q) = q**2 - 1. Let d be n(2). Solve 5*t + 5*r + 1 = -w, d*t = r - 15 for t.
-4
Suppose 0 = 5*n - 2*j - 9 - 12, -5*n + 15 = -5*j. Solve 5 = -n*t - y, -3*y = 4*t - 0*y + 15 for t.
0
Let j = 772 - 764. Solve -2*b + 2*q + j = 0, 0 = 4*b - 2*b - q - 9 for b.
5
Let g = 54 - 51. Let d be 2 - (2 - (4 + -1 - g)). Solve -y - 1 + 9 = -3*u, -2*u - 2 = d for y.
5
Suppose -2*j + y = 0, -4*y + 5*y = -j + 6. Suppose -v - 8 = -j*k, -k - 2*k = v - 7. Solve 3*l - k = -5*x - 10, 0 = -5*x - 5*l - 5 for x.
-2
Let r = 4 - 13. Let w be 6/r + 16/6. Suppose -f + 15 = w*f. Solve h - 4*b + 13 = 0, -3*h + 2*b + 6 = f*b for h.
-1
Let a = -4 - -10. Let k = a - -2. Let n = 15 + k. Solve 3*b + 0*m = 2*m + 13, 5*b = 4*m + n for b.
3
Let p be -3 + ((-5)/(15/(-6)) - -4). Solve -4*o + 5*b + 39 = 13, -3*b - 18 = -p*o for o.
4
Suppose 0 = -o - 3*o + 120. Let h be ((-10)/4)/(-2 - (-55)/o). Solve 0 = 3*q - 3*n + 6, -5*n + h = 0 for q.
1
Suppose b - 2*k = -9, 0*b + 4*k - 21 = -b. Let g be b + 10*2/4. Suppose 10 = 8*o - 3*o. Solve -h = -y + h - g, h = o*y - 3 for y.
4
Let c be 3/(-6)*1*28. Let f = 3 - c. Suppose f = 4*w - 3. Solve -4*q - 20 = -2*a, 3*q + 2*q + 10 = -w*a for q.
-4
Let z be 26/143 - (-26)/(-22). Let x be 38/8 + z + 6/24. Solve -x*c + 4 = 3*j, -j + 0*c - c = -2 for j.
4
Suppose 0 = 11*z + 10*z - 20*z. Suppose z = x + 19 - 22. Solve 0 = 2*a, -3*b + b + x*a = 8 for b.
-4
Let c = 1169 - 1162. Solve n - 1 + 2 = -3*t, 0 = 2*n + t + c for n.
-4
Let w = 48 + -48. Suppose w = 6*s - 3*s - 4*x - 38, -5 = -5*x. Solve 4*q - 1 = -2*p - q, 2*q = 4*p - s for p.
3
Let h(s) = -s**2 + 7*s. Let o be h(8). Let m(v) = -v**2 - 7*v + 8. Let z be m(o). Solve -5*u = -4*d - 3, 3*d + u - 8 - 4 = z for d.
3
Suppose -4*a + 225 = -5*p - 0*p, -5*a + 297 = -p. Suppose r + 5*h = 6, 4*r + h + h = a. Solve 0*o - 4*l - 7 = 5*o, r = o - 5*l for o.
1
Let z(s) = s + 9. Let f be z(-7). Suppose -f*v + 3*r - 4 = -r, 31 = 2*v + 3*r. Suppose -12*j + 8*j = -v. Solve 0 = -3*k - 1 - j, 2 = -c - 3*k for c.
1
Suppose 2*o = 2*a - 2, -10 = 4*o - 5*a - 3. Let w(q) = 2*q**2 - 24*q - 378. Let l be w(21). Solve l*t + 16 = 3*t - 5*u, 0 = 5*t + o*u + 25 for t.
-3
Suppose -6*j = -2*j + 72. Let i = j + 21. Solve -i*a = a + 4*f + 40, -4*f = -3*a + 5 for a.
-5
Let v(b) = 2*b**3 + 7*b - 7. Let q be v(1). Solve -q*j = y - 3*j + 3, -2*y - j - 9 = 0 for y.
-4
Let n be 2/(0 + -1 + 3). Let s = 4 - n. Suppose 2*o - 9 = -s. Solve 0 = -o*w + 3*v, -2*v = 3*v + 10 for w.
-2
Suppose 44 = y - 21. Let g = y - 63. Solve -n = 2*j - g, -5*j + 3 = 6*n - 4*n for j.
-1
Let v be (44/10 - 5) + 23/5. Solve 3*z + 2 = q + 19, -v*q - 32 = -3*z for q.
-5
Let q = -330 + 330. Solve g - 8 = -2*l, -5*g - 3 + 13 = q for l.
3
Let b be 0/((8 - 3)/5). Let f be (b - -12)/(3 - 1). Solve p = -4*t + 4, -f*t = -t + p - 6 for t.
2
Suppose -42*o - 20 = -46*o. Solve 2*d = q + 14, 40 = o*d - d - 5*q for d.
5
Let i(x) = 38*x + 639. Let p be i(-16). Solve -6 = 3*n - 3*a, p = 2*n + a + 4*a for n.
3
Let t = -2 + 10. Suppose -6*b + 44 - t = 0. Solve -3*z + 4*z + b = l, -4*l - 4 = 3*z for z.
-4
Suppose -28*y = -8 - 76. Solve 6 = -3*v, 4*v - 8 = y*p - 7*p for p.
4
Let s = 29 - 24. Suppose -s*r + 8 = -r. Solve -11 = o - 5*w + 3, o + r*w = 0 for o.
-4
Let a = -246 - -481. Let p be a/75 - (-2)/(-15). Solve -5*t - 2*i = -24, i = -t + p + 3 for t.
4
Let h = 90 - 90. Solve -2*z + 0 - 10 = h, 2*z + 11 = r for r.
1
Suppose 22*d - 18*d - 12 = 0. Solve -4*g + 12 = 0, -h = 2*h + d*g for h.
-3
Suppose 0 = -o + 2, y - 4*o + 12 = 0. Let z be 8/12*(-138)/y. Suppose l + 0*l + 3 = 0, 5*f - l - z = 0. Solve 0 = -d + 2*t + 10, -15 = f*d + 7*t - 4*t for d.
0
Let d be ((-56)/20)/(4/(-10)). Let u = -4 + d. Suppose -2*l - 6 = 0, u*k - 31 = 5*l - 4. Solve 2*o = k*v - 6, 2*v + 9 = 3*v - 2*o for v.
-1
Let h(y) = y**2 - 1. Let d be h(2). Let x(b) = -2*b - 3*b - 11 + b - 6 + b**2 + 20. Let j be x(d). Solve 0 = -5*c - 4*i - 20, j = -0*c - c - 3*i - 15 for c.
0
Suppose 26 = 2*u - 2*w + 4, -u = -3*w - 17. Suppose o - 2*o = 1. Let r = 4 - o. Solve -u = 2*p - f, -r*p - f - 2 = -2*p for p.
-2
Suppose 4*x + 24 = 12*x. Solve x*r = -v + 2 - 5, -5*v - 15 = -2*r for r.
0
Let f = -680 + 682. Solve -4*j - 5*z = -40, z - 4*z = f*j - 22 for j.
5
Let w(p) = 2*p**2 - 16*p + 31. Let r be w(2). Solve -4*n - r*a = -5*a - 22, -n = -3*a + 12 for n.
3
Let j(z) = -z**2 + 9*z + 2. Let i(s) = -s**2 + 10*s + 1. Let u(t) = -3*i(t) + 4*j(t). Let f be u(6). Solve 0 = f*g + 4*b - b - 5, 5*g = 2*b + 5 for g.
1
Let y = 12 + -16. Let u(q) = -q**3 - 3*q**2 - 13. Let z be u(y). Solve z*t + 4*k + 21 = -3, -t + 11 = -5*k for t.
-4
Suppose -2*z = 5*h - 63 + 59, -h - 2*z = -4. Suppose -2*v + 8 = -v + 2*f, 5*v - 12 = 4*f. Solve 0 = -5*j - c - 17, -j + h*j = -v*c - 5 for j.
-3
Let w(x) = x**2 + x + 2. Let m be w(0). Suppose -2*o + 96 = m*o. Let j = -3822 - -3826. Solve 2*n + a - 4 = 0, -j*n + a = -a - o for n.
4
Suppose 7*p + 223 = 300. Solve -4*u = -r + p, 0 = -2*r - 0*u - 4*u - 14 for r.
-1
Suppose 4*f + 3*u - 5 = 2*u, -4*u = 12. Solve 2*i - 9 = -n, f*n + i = -n + 12 for n.
3
Let l(d) be the first derivative of -d**2/2 + d + 6. Let r be l(-4). Suppose h + 120 = r*h. Solve -u + 9 = 2*u + 2*x, h = 3*u - 5*x for u.
5
Let o = 27 - 3. Let m = o - 24. Let y be (-13)/(-3) - (-1)/(-3). Solve -y*k - r = 10, m*r = -r + 2 for k.
-3
Let s be 290/29 - (5 - -2). Solve 4*m - 7 = -s*q, 1 - 2 = 3*q - 4*m for q.
1
Let p be 1/((-2 - -1)/((-8)/4)). Suppose 30 = 4*w + 3*c, -w + p*c - 10 = -2*w. Solve -5*v - 3*l - 30 = -w*l, 2*l - 19 = 3*v for v.
-3
Let d(f) = -f**3 + 16*f**2 + 16*f + 18. Let x be d(17). Solve z - 3*h = -x, 6*z - z - 4*h - 6 = 0 for z.
2
Let w be (-5)/(-3)*(5 + -2). Let x be 6/(-4)*(24 + 2). Let b be 24/13 - 6/x. Solve g = -m + b, -3*m - w*g + 1 + 3 = 0 for m.
3
Suppose -4*z = 2*z - 30. Suppose y = -z*c - 8, c = -4*y + 5 + 1. Solve y*a + 9 = -n, 6 = n + 2*a - 3*a for n.
1
Suppose -n + 32 - 15 = -d, 4*d = 12. Solve 3*m - n = -m, 2*z = -m - 3 for z.
-4
Let i = -56 + 38. Let c be i/(-15) + 5/(-25). Let s be (5/10)/(c/8). Solve 4*v - s*o = -8, 2*o + 2*o = v - 1 for v.
-3
Let m = -17 + 32. Suppose 0 = -3*b + 6*b - m. Solve 4*c = -b*d - 2 + 12, 2*d = -5*c + 4 for c.
0
Suppose 0*n = -20*n + 160. Solve x + 5*p = n - 3, 5*x = -4*p + 25 for x.
5
Let d = -47 + 49. Let v be -1 - (-1)/(3/9). Solve -3*u - 21 = -v*u - 4*j, d*u = 4*j - 26 for u.
-5
Suppose 0 = 4*b + 12, -2*b - b = -5*i + 34. Suppose -3*r - 4 = -i*r. Solve -4*q + m - 1 = q, 2 = 5*q + r*m for q.
0
Suppose -18*h + 496 = 190. Solve -5*x + i = -5, -5*i + 8 = -h for x.
2
Suppose o + 9 - 63 = 3*v, -5*o = -4*v - 215. Let s be 0 - ((-422)/12 - 6/(-36)). Let p = o - s. Solve 3*z = 2*d + 1, p*z - 3 = 5*z for d.
-5
Let g(v) be the first derivative of -v**4/2 - 5*v**3/3 + 3*v**2/2 - 3*v - 41. Let b be g(-4). Solve x + s = 9, 2*x + 3*x + 2*s - b = 0 for x.
5
Let f(j) = -j**3 - 13*j**2 - 27*j - 30. Let z be f(-11). Suppose 45 = 4*p + n, -5 = -2*p - 2*n + z. Solve 5*b + a - p = 0, 4*b + 2*a - 2 = 6 for b.
2
Let i(j) = j**3 - 11*j**2 + 19*j + 1. Let w be i(9). Let o be (w/(-25))/(4/20*-1). Solve -3*v - 23 = -o*y, -5*v = -2*y + 34 - 1 for v.
-5
Let a = -17 - -14. Let m(l) = -5*l - 5. Let x be m(a). Let z = 11 + x. Solve 0 = -5*c + 10, 5*c + 6 = -5*y + z for y.
1
Suppose 0 = -3*f + 5*f + 8. Let z be 9 + (f - -7)/(-1). Solve 2*r = 4*r - z, r - 8 = -5*u for u.
1
Suppose -7*c + 4*j = -5*c - 20, -3*j = -5*c + 36. Suppose 0 = 5*h + b + 2, 5*h + c*b = 3*b - 6. Solve h*k = 4*p + k - 12, -3*p = 2*k - 4 for p.
4
Let m be -3 + (-56)/(-20) + (-792)/(-10). Let j = m - 72. Solve 25 = -3*s - 2*l, 3*s + 4*l = j*s for s.
