*b**2 + b. Let i be s(1). Let l be 2*(2 - i)/(-1). Let v = 7 + -2. Solve -a + x = -x + v, -x = -l*a - 1 for a.
1
Suppose 4*q + 23 = 5*s - 10, 3*s - 36 = -3*q. Suppose 4*z - 37 = -s. Solve -2*j = -n - n - 2, -n = -3*j - z for j.
-4
Let a(u) = -2*u - 11. Let m be a(6). Let s = -21 - m. Let p = s - 1. Solve q + 2*i - p = -9, -3*q = -2*i - 8 for q.
0
Suppose 20 = m + 3. Suppose w + 11 = 2*l, 0*l + m = 4*l + 3*w. Suppose -l*a = -4*a - 7. Solve -2*c = -5*d - 5, a*c = 4*d + 4*c - 3 for d.
-3
Let w = -8 + 12. Suppose 6*a - w*a = -2. Let p be 45/12 + a/(-4). Solve -3*x - 5 = -5*o - 22, -8 = -p*o - 3*x for o.
-1
Let y(b) = b**3 + b**2 + 3. Let z be 0/(1 + 2 + -2). Let m be y(z). Let c be (-5)/(5/m) + 6. Solve c*j + l - 14 = 0, -j + 0*l = l - 6 for j.
4
Let i = 39 - 35. Solve v - 5*k = 3*v - 16, i*v - k = 10 for v.
3
Let z(s) = -s - 1. Let u(o) = -3*o - 2. Let h = -7 - -8. Let r(t) = h*u(t) - 4*z(t). Let y be r(3). Solve -y*i - 2*w = -w + 30, 5*i = 5*w for i.
-5
Suppose -28*z = -78 - 62. Solve 0*w = -2*m + 5*w - 12, -z*m - 5*w + 40 = 0 for m.
4
Suppose 0 = -2*w + 51 - 7. Let h be (-4)/w - (-1)/((-44)/(-96)). Solve 2*d = -2*s - 12, -11 = -s + 2*s + h*d for s.
-1
Let g = 86 - 81. Solve -5*b + 0*w = g*w, 2*w - 21 = 5*b for b.
-3
Let m = -55 - -74. Suppose -25*j = -m*j - 18. Suppose 3*f + 1 = -f + 3*r, 0 = -f - 3*r + 11. Solve -f = 4*i + 2*s, j*s + s + 4 = 3*i for i.
0
Suppose 0 = -22*p + 68 + 64. Solve 12 = p*y - 3*y - 5*z, y + 7 = -2*z for y.
-1
Suppose -j = 2*j. Suppose -4*l + 32 = -4*z, j = -z - 4*z + 3*l - 34. Let k be 1/4*(3 - z). Solve 36 = -4*c - 5*f, k*c - 16 = c + 5*f for c.
-4
Suppose -9*o - 2 = -11. Solve q = 2*v - 3, q - 5*v - o + 16 = 0 for q.
5
Let q be (0 + -4)*(-2)/(-4). Let c(i) = 9 - 3 - 11 + 3*i - 8*i. Let w be c(q). Solve -w*o = 0, 0 = -3*v - v + o - 16 for v.
-4
Let o(z) be the second derivative of z**4/2 + 13*z**3/6 + 3*z**2/2 + 6*z. Let v be o(-3). Let m = -2 + 2. Solve m*b = -4*u - 2*b + v, -3 = -3*u + 2*b for u.
3
Let q = 1512 - 1510. Solve -q*w + 2 = t - 8, 0 = -4*w + t + 8 for w.
3
Let b be (0 - -4) + -6 + (0 - -4). Suppose 6 = -2*r - 4*q, b*q + 6 = -0. Solve 3*w + 17 = 4*a, 9 = 2*a + r*w - 4 for a.
5
Suppose -37*g = -32*g - 30. Solve -g*a + 2 = -b - 2*a, -5*b - a = -11 for b.
2
Let y = -306 + 306. Solve y = -3*d + 3*w - 6, -4*w = -2*w + 6 for d.
-5
Suppose 0 = -4*u + 7 + 5. Suppose 115 = 5*a - 2*l - u*l, 4*a - 104 = -2*l. Solve -4*g = -2*t - 20, 5*g - 2*t - a = -6*t for g.
5
Suppose g = -3, 21 = 3*b + 107*g - 112*g. Solve -4*q + 5*r - 6 = 0, 2*r = -b*q - 3*r - 18 for q.
-4
Suppose y - 2 = -r, -18*y - 10 = -5*r - 15*y. Solve 5*n = -r*m + m - 3, n + 11 = 5*m for n.
-1
Let j(y) be the first derivative of -y**3/3 + 11*y**2/2 + 41*y - 11. Let n be j(13). Solve a - 3 = f - 3*f, 0 = 3*a - n for f.
-1
Let b(a) = -3*a**2 - 16*a - 16. Let h be b(-4). Solve 4*c - 3*f - 6 = h, 5*f - 32 = -3*c - 13 for c.
3
Suppose 2*w - 64 = -2*w. Suppose -12 = 5*k + 63. Let i = w + k. Solve 3*t = 3*f, 20 + i = -4*f - 3*t for f.
-3
Let s = -47 + 50. Let g be 7 - (6 + -1 + -2). Solve s*z + 4 = b + 16, -z - b + g = 0 for z.
4
Let j(b) = -b**2 + 13*b - 27. Let o be j(9). Suppose 5*t - 29 + o = 0. Solve -q - a + 2 = 0, 6*q + 3*a = q + t for q.
-1
Let a = 1124 - 1120. Solve -5*c - 8 = 4*u, -a*u + 1 = c - 7 for c.
-4
Let o = -789 - -794. Solve -2*s + 5 = -3*v, o*s = v - 2*v - 13 for s.
-2
Let a(f) = f**2 + 10*f + 13. Let t be a(-10). Solve 2*r - t = -0*u + u, 5*u = 3*r - 37 for r.
4
Let t(p) = p**3 + 5*p**2 + 5*p + 9. Let a be t(-4). Solve 3*b - a*y + 4 - 27 = 0, -1 = 3*b + y for b.
1
Let g be ((-10)/(-16)*-2)/((-24)/576). Suppose -g*p + 40 = -26*p. Solve -3*m = -4*y - 1, 4*m + 4*y - 10 = p for m.
3
Suppose 9*b - 54 = 5*b + 2*w, 5*w = -2*b + 57. Solve -4*a = -4*c - b, -5*c - 4*a + 2*a = 27 for c.
-5
Suppose 26*g + 24 = 34*g. Solve 3*i = u, -3*u + 2*i + g*i + 4 = 0 for u.
3
Let h(s) = -1 + 1 + 5*s + 8 - s**3 - 1 - 3*s**2. Let t be h(-4). Solve -3*r = -2*r + t*o, 3*r = o for r.
0
Let t(b) = 5*b**2 - 3*b - 3. Let m be t(3). Let a = -31 + m. Suppose -3*g - 2*g - 20 = 0, 2*i - 3*g = 20. Solve -x - a*d + 6*d + 8 = 0, 4*x - 20 = i*d for x.
4
Let q(s) = s**2 + 9*s + 20. Let h be q(-6). Suppose -12 = -3*b + h*b. Solve -2*j + 20 = 4*k, 4*j + 2 = 2*k + b for j.
4
Suppose 20 - 8 = 3*s. Solve 0 = -2*h - 2*r + 20, 2*h + 4*r = 26 + s for h.
5
Suppose 5*c - 25 = -v, v + 4*v = 3*c + 13. Let p(s) = 4*s - 14. Let g be p(c). Solve 5*j - 41 = 4*i, -4*j + i + 32 = -g*i for j.
5
Let a be 8/(-14) - 101/7. Let u be 5/a + (-40)/(-12). Solve u*s - 2*m - 2*m = -28, m = 4 for s.
-4
Let c = 47 + 2. Suppose -c = 10*k - 169. Let l be -3*((-28)/k - -2). Solve 2*y - 4*q + 6 = 0, -4*q + 0*q + l = -3*y for y.
5
Let z(w) = w**3 - 12*w**2 + 4*w + 4. Let c be z(0). Solve -m + l = -3*l - 7, -c = 2*l for m.
-1
Let s(g) be the second derivative of -2*g**3/3 - g**2 + 3*g. Let b be s(-1). Let u = b - -12. Solve -2*i - y = -7*i - u, 0 = -i + 5*y - 22 for i.
-2
Let h = 72 + -70. Solve 6*v = v + h*t + 35, 4*t = -4*v for v.
5
Suppose 0 = -7*t - 150 + 332. Solve -3*d + 16 = 1, 4*d - t = -2*z for z.
3
Let s(c) = -2*c - 11. Let t be s(-5). Let n = 6 + t. Solve -5*x + 15 = -n*l - 0*x, 0 = 2*x - 6 for l.
0
Let k be 12/(7 + -4) + -2. Let c = 87 + -85. Solve -3*r - 13 = i - 3*i, k*r + c = -2*i for r.
-3
Suppose 6 = j - 4*q, -2*j - 2*q - 3*q - 1 = 0. Suppose -8 = 2*k - 4*d, -3*k - j - 26 = 2*d. Let i = k - -16. Solve g = f + f - i, -8 = -2*g - 4*f for g.
-2
Let o = 6 - 1. Suppose -3*f - 6 = -0*f. Let k be (4 - 5)/(f/30). Solve 5*n + 0*x = o*x + k, 0 = -3*x + 3 for n.
4
Let d = 2 + -5. Let z be d/(-12) - (-30)/8. Suppose 0 = -3*m + 31*m + 40*m. Solve -z*x = x, 4*r - 2*x + 12 = m for r.
-3
Suppose 23*m - 20*m = 27. Suppose m*j + 15 = 12*j. Solve 0 = w + 4*r - 4, j*r - 3*r = 2*w - 8 for w.
4
Let q = -74 + 69. Let l be -1 + q/(-4) + 4/(-16). Solve -5*z + 4*h + 24 = 0, -4*h + l*h = -2*z + 12 for z.
4
Suppose 3 = -3*k + 9. Solve k*y - 14 = 2*m, -4*m + y - 2*y - 18 = 0 for m.
-5
Suppose 2*j - 3*b = -3*j + 25, -5*b - 20 = -4*j. Let n = -1190 - -1214. Solve -u + 2 = 0, j*m + u + n = 3*u for m.
-4
Let h be 3753/(-834)*(16/(-18) + 0). Solve 4*v - 3*f + 6 = 0, 4*v - 2 = h*f - 6 for v.
-3
Suppose -1432 = 3*c - 1450. Solve -2*t = -y - 7, -3*y - c = -t - 0 for t.
3
Suppose 23*q = 10*q + 169. Let x = q - 9. Solve 3*b = 3*l - 9, -5*b - 9 = -x*l + 4 for l.
2
Suppose 8*t - 20 = 20. Solve 5*d = 5*h, 2*d + 3*d - 4*h + t = 0 for d.
-5
Suppose -107*u + 105*u = 5*r + 5, -4*u - 1 = r. Solve -y = -3*k - u*y + 17, -5*k + y = -25 for k.
4
Suppose -14 - 6 = -4*k. Suppose 5*d = -4*r - 22, -11 = 4*d + 3*r - 2*r. Let c = d + k. Solve -13 = 2*f - p, -4*p = -0*f + c*f - 8 for f.
-4
Let u = 80 + -59. Suppose 3*h - 6*h - k = -8, -u = -h - 4*k. Solve -4*s + 36 = 4*m, 3 = s - h for m.
5
Let h be (384/(-88))/(-2) - (-2)/(-11). Solve -t - 14 = -h*p - p, 3*t + 15 = 0 for p.
3
Let t be (20/1)/5 + -2. Solve 7*n - 12 = o + 2*n, t*o = -n - 2 for o.
-2
Let l(u) = 25*u - 34. Let b be l(3). Suppose b*d + 5 = 42*d. Solve 3*o + 31 = d*j, 3 = -o + 2*o + j for o.
-2
Let h be (0 - -1)*(0 - 3). Let t be (-612)/(-108) - 1/h. Solve t*n - 8 = -f + 3*n, -4*f + n = -6 for f.
2
Let a(b) = 19*b + 82. Let q be a(-4). Solve 1 = -4*c + 3*g, -5*c + g - 2*g = q for c.
-1
Let o = -604 + 607. Solve 2*y = -4, o*y - 9 = -z + 5*y for z.
5
Suppose f + 2*p = 14, -3*f + 0*f - 3*p = -27. Suppose 6*g = f*g + 50. Solve 4*m - 5*b = -g, 5*b - 25 = 3*m - 2*m for m.
0
Let p = -476 - -478. Solve 0 = -p*c - 4, 5*n = -c + 6*c - 10 for n.
-4
Suppose 0*i = i - 1. Suppose -4*t = -5*m - 2, 2*m = 3 + i. Suppose c - 2*c + t = 0. Solve -4*k - 5*r + c = 0, 0 = -r - 0*r + 3 for k.
-3
Suppose 12*n - 60 = -0*n. Let l(f) = f. Let p be l(3). Let s = -3 - -10. Solve n*o = -p*w - s, w = -w - 8 for o.
1
Let u = 687 + -684. Let f = 28 - 26. Solve 2*c - 12 = f*s, s + u*c = -0*s + 14 for s.
-1
Suppose 3*u + 3 = 4*b + 8, 5*u - 13 = 2*b. Suppose -4*m + 1 = -f - 3, -f = u*m - 10. Solve y = 3*p + 5*y, f*y = -p for p.
0
Let b = 634 - 617. Solve -f = -3*f - 4*j - 24, -5*j - b = -4*f for f.
-2
Let b be (-11)/110*-6*5. Solve -5*o - z + 0*z = 14, -z - 8 = b*o for o.
-3
Suppose -12*r + 14 = -10*r. Solve -5*a - 2*q + 15 = 4, -4*a + r = q for a.
1
Let t be 5 + -3*(-4 + 14/3). Solve h + 12 = -3*v, t*h + 4*v - 3 + 24 = 0 for h.
