 + -15. Solve -7 = 4*a + 5*y, -21 = -0*a - t*a + 5*y for a.
2
Let j = -3 - -5. Let p = 2 - -1. Let s = 2 - 2. Solve -3*u - 2*u + 5*b + 20 = s, -p*u + j = -b for u.
-1
Let k(p) = -p**3 - 5*p**2 + 10*p + 2. Let a be k(-7). Suppose -5*v + a = 3*q, q - 5 = -0*q. Solve -3*y + 5*y - 3 = v*z, 11 = 3*y + 2*z for y.
3
Suppose -13 + 3 = -5*i. Suppose -d = 4*d + 30. Let j = 10 + d. Solve -j = z, -z - 2 = 5*m + i for m.
0
Let f(p) be the second derivative of -p**5/20 + p**3/6 + 5*p**2/2 + 4*p. Let u be f(0). Solve -k + 6 = -u*r - 5, 0 = -3*k + 4*r for k.
-4
Suppose 0 = -18*p + 13*p. Solve 0 = 4*j - 5*h - 22, p = -h - 1 - 1 for j.
3
Let s be 2 - (6 + 3 - 2). Let p be 0 - s - 0/6. Solve -5*t + 18 = 2*d, p*t - 3*d - 13 - 10 = 0 for t.
4
Let h be 3/(0 - -6 - 3). Let t = -1 + h. Solve y + 0*f + 2*f - 7 = t, 3*y + 4*f = 13 for y.
-1
Let r = 22 + -20. Suppose 0 = 2*k - 3*k. Solve k = -3*j - 2*z, -r = -j + 5*j + 2*z for j.
-2
Let f(j) be the second derivative of 1/12*j**4 + 2*j**2 + 5/6*j**3 + 0 - 4*j. Let i be f(-5). Solve -q - 5*n = 24, -4 = -2*q + 4*n + i for q.
-4
Let x be (19 - 1)*(-6)/(-18). Let h(a) = a + 3 - 3 - 4. Let y be h(x). Solve y*s + 5*z = 27, 2*z - 2 = 4*s + 4 for s.
1
Suppose 3 = -v + 10. Let n = -3 + v. Solve -9 = 4*t - t - n*l, 0 = 3*t + 4*l - 15 for t.
1
Suppose 4*s - 9 - 11 = 0. Solve 0 = 4*i - 3*p - 4 + 19, -25 = -i - s*p for i.
0
Suppose 5*h - 26 = -o, 16 = 2*h + h + o. Let l be 0 + 4 + 24/4. Solve -h*v + 0*v - y - 2 = 0, 2*v + 5*y = -l for v.
0
Let d be (30/(-12))/((-1)/2). Solve -2*z - 18 = -3*g, 5*z - 2*g = -18 - d for z.
-3
Let c(y) = 2*y + 3. Let s be c(3). Suppose -13*d + 20 = -s*d. Solve 0 = -2*n + 3*g + 25, -d*n + 4 + 16 = g for n.
5
Let w(a) = 3*a**3 + a**2. Let o be w(1). Suppose o*m + 2 = 14. Suppose -22*c + 17*c = -30. Solve c*j + u - 5 = 2*j, 4*j = m*u + 17 for j.
2
Let p = -5 + 8. Suppose -2*l = -33 + p. Suppose 0 = -5*y - 2*n + 3*n + l, -2*y - 4*n = -28. Solve 5*o - 4*o = y, -q + o = 3 for q.
1
Let k(m) = m**2 - 11*m + 3. Let l be k(11). Solve r + l*a + 3 = -3*r, r - 2*a - 2 = 0 for r.
0
Let w(o) = 2*o - 2. Suppose k = 4*k - 6. Let p be w(k). Suppose b + p*r = 26, -5*b - r + 3*r + 130 = 0. Solve 6*g = g - 4*d + b, 2*g + 5*d = 24 for g.
2
Suppose -4*v + 8*v = -12. Let y be -78*v/18*2. Solve w + 5*c = -w + 16, 5*c - y = 3*w for w.
-2
Let s be 26/8 - 2/8. Let y(z) = z**2 + 2*z + 3. Let l be y(-2). Suppose -1 = -l*g + 11. Solve g*t + 5 + s = 3*u, 0 = 2*u - 2*t - 6 for u.
4
Let k be (1 - 1) + (-4)/(-1). Suppose 2 = 5*i - b - 6, 6 = k*i - b. Solve h + 2*s - 8 = 0, -3*h = i*h + s - 22 for h.
4
Let z(v) = -v - 8. Let m be z(-10). Suppose -m*r = -0*r - 8. Suppose 25 = r*u + 9. Solve 0 = 4*i + 2*x - 14, -u*i = 4*x + 7 - 15 for i.
5
Suppose -11 - 9 = -4*l. Let p be (2/(-4))/((-2)/12). Suppose -2*w + 18 = w. Solve 3*o - n + p + 5 = 0, -l*o - 2*n = w for o.
-2
Suppose 4*t - 25 = -t. Let w = -6 - -6. Suppose w = -x - 2, k = -4*k + 5*x + 15. Solve 5*a + t*o - 11 = 2*o, 0 = -3*a + o + k for a.
1
Suppose 3 = t - 0*q + q, 3*t + q = 13. Solve -5 = 5*x + t*a, -5*x - 4*a - 17 = -2*a for x.
-5
Suppose -3*w = 3*s - 6, 3*s - 3 - 5 = -4*w. Let f(h) be the second derivative of -7*h**3/6 - h**2 + h. Let r be f(-4). Solve -w*b + 15 = b, -r = -c - 5*b for c.
1
Let l = 2 - -1. Suppose -3*o = 3*m - 3, 3*o + l*m = 4*o - 5. Solve -t + 2*f - 1 = 0, -o*t + 2*f = -3*t - 9 for t.
-5
Suppose 1 = -3*g + 4*s - 3, 0 = s - 4. Suppose 4*r + 0 + 2 = 2*p, -g*r + 7 = -p. Suppose 0 = 2*a - 5*a + 27. Solve 0 = 5*t + y + y + a, -p = -3*y for t.
-3
Let v = -12 + 3. Let y = -6 - v. Let k be ((-1)/(-2))/((-1)/(-6)). Solve y = k*q - 3*p, 0 = -5*q - p + 6 + 5 for q.
2
Suppose -4*g + i + 15 = -10, 3*i + 19 = 4*g. Solve k = -2*d + g, -2*k + 5 = -7*k for d.
4
Let q(x) = x**2 - 2*x - 6. Let l be q(5). Solve -4*s + 7*s + l = 3*a, 0 = 5*s + a - 15 for s.
2
Let m = 17 + -11. Let c = m + -4. Let z = c + 4. Solve 0 = -2*w - 3*s + z, 0*w - s - 12 = -4*w for w.
3
Let c(x) = -2*x**2 + 16*x + 20. Let s be c(9). Solve 3 = k, 5 = 2*i - k + s*k for i.
1
Let t be (2 - 15/6)*-68. Suppose 3*z - s - 4 = 0, z - 4*z + t = 5*s. Solve z = 2*w + a, -w - 4*w - a = -9 for w.
2
Suppose -3*n = 3*d - 0*d + 48, -4*n - 2*d - 54 = 0. Let z = -7 - n. Suppose 3*p = 3*r, 4*r - 5*p - 2 + z = 0. Solve 3*u + 11 = 5*b, -2*u - r*b = -u for u.
-2
Let o(i) be the second derivative of -i**4/12 - 7*i**3/6 - 3*i**2 - i. Let m be o(-5). Solve -4*c - 8 + 28 = -p, 4*p = -m*c for c.
4
Suppose 6*d + 19 = 37. Solve -4*n + 0*n - 15 = -d*l, l - 4 = n for l.
1
Suppose 5*l = 13 + 12. Solve -15 = l*y, -4*o - y - 4 = 3 for o.
-1
Suppose 4*b - 28 = -4*f, 3*f + f - 13 = -b. Let z(u) = 3*u - 5. Let c be z(b). Solve 3*o + 3*k + 35 = 7*k, o - c = -3*k for o.
-5
Let v(l) = -l**3 - 10*l**2 - 10*l - 7. Let u be v(-9). Solve u*g = -n - 14, -2*g + 2*n + 10 = -3*n for g.
-5
Suppose -a = -0*a + 2*m + 2, 0 = 5*a + 5*m. Suppose c = -3*c + 5*j + 35, -3*j + 1 = a*c. Solve 3 = -5*h + 3*q - 1, -5*h - 10 = -c*q for h.
1
Let b = 33 - 29. Solve -5*h = -5*c + 20, b*c + 20 = -4*h - h for h.
-4
Suppose -2*t - 4*d + 4 = 14, 2*t - 11 = 3*d. Solve -n = -4, -2*y - t + 3 = -n for y.
3
Suppose 0 = -5*y + 5, 4*t = 3*t + 4*y - 1. Solve -w + 3*d = -17, 3*w - 2*d - t*d = 35 for w.
5
Suppose -2*h + 4 = -4*r, 5*h - 5 = -3*r + 5. Suppose -h*b + 2 = -b. Suppose b*t - 2 = 4. Solve i - 9 = -5*n + 3*i, t*i = n + 6 for n.
3
Let m = -12 - -27. Solve -3*k = q - 2*q + m, -2*q + 2 = k for q.
3
Let q = -1 + -1. Let f = 0 - q. Solve -j - f*j = -d - 19, 3 = -2*d - j for d.
-4
Let r = 74 + -49. Let s(n) = -n**3 - 4*n**2 + 5*n - 6. Let b be s(-5). Let h = b - -11. Solve -h*u = -5*p + r, -4*p + 5*u + 27 - 5 = 0 for p.
3
Suppose -2*x + 22 = 2*z, 5*z = -4*x - 25 + 74. Let m = -4 + x. Solve 2*r = 2*c, -2*r - m = -3*c - 6 for r.
-4
Suppose 3*w - 30 = 3*y, -w + 2*w - 2*y = 15. Suppose 3*m = -1 + 10. Suppose -5*s = -m*s - 6. Solve 4*z + f = w*f + 8, 5*f = -s*z + 22 for z.
4
Let u = -11 - -7. Let c be u/((-12)/39) + 2. Solve f = 2*z - 6 + 1, -5*f = -c for z.
4
Suppose -3*j + 5*u + 27 = 0, 31 = 4*j - 2*u - 3*u. Let q be (3/2)/((-4)/(-32)). Solve 0 = 3*b + j*l + 4, 3*b - q = 5*b + 5*l for b.
4
Let l be -4 - 0 - 10/(-5). Let f be 6/l*(-40)/30. Solve f*i + 0*i + 10 = 5*q, i = -5 for q.
-2
Suppose 0 = 3*f - 3*s - 27, 0 = s - 3*s - 10. Let v be 18/f - (-10)/(-20). Solve v*m - 29 = 5*t, -4*m - 2*t = m + 5 for m.
1
Suppose 6 = 5*l - 2*s, -l + 3 = -4*s + 3*s. Let c(w) = 4*w - w**2 + 0 - 3 + 10. Let n be c(5). Solve 4*h - a - 19 = l, -n*h + 2*a = -4*h + 12 for h.
5
Let b be ((-1)/2)/(3/(-30)). Suppose -3 = m, 1 = 4*n + b*m + 4. Solve 2*o = 4*s - n*o - 16, 2*s = -4*o + 8 for s.
4
Let j(n) = -n**3 + 7*n**2 + n - 3. Let l be j(7). Solve m + z = -3, -2*m - l*z - 20 = -8 for m.
0
Suppose 21 = 5*t + 4*r, 0 = 3*t - 4*r + 3 - 22. Suppose -t*m - 3*v = -12, -2*m + 3*m - 12 = -3*v. Solve 3*o - 5*u = -m*o + 31, -o - 23 = 5*u for o.
2
Let d be 2/(-8) - (-27)/12. Suppose 8 = -3*s + 2. Let w = s + d. Solve v + 2 = w, v + 12 + 0 = -2*u for u.
-5
Suppose 16 = 5*a + 6. Let t be a/(0 + 2) - 0. Solve 2*m - 2*c + 3*c - 7 = 0, 2*c = m - t for m.
3
Suppose g + 0*g = -5*c + 112, c + 4*g - 11 = 0. Let y = -21 + c. Solve -y*a - 16 = 4*f, -2*f + 4*a + 1 = -1 for f.
-3
Let p = 6 + 0. Suppose 2*w + 20 = p*w. Solve o - 2 = -h - 4, 0 = w*h + o + 14 for h.
-3
Let i = -1 - -7. Suppose -3*l - i = -3*f, -4*f + f - 3*l = -36. Let q = -2 + f. Solve q*j = 4*p - 11, 3*p + 0*j = -2*j - 9 for p.
-1
Suppose 0 = -4*w, -3*t + 4*w + 25 = 2*t. Solve 18 = 5*n + h - 0*h, 0 = -2*n + t*h + 18 for n.
4
Suppose 2*t - 20 = -3*t. Suppose t*r = -3*i + 93, 2*r - 6*r - 2*i = -94. Suppose 2*v + v - 9 = 0. Solve 19 = 3*a + 4*k, 5*a - v*k - r = -2*k for a.
5
Let v = 11 - 0. Let d = -285 + 285. Solve 5*x - 2*i + 27 = d, 3*x - 2*i + 6*i + v = 0 for x.
-5
Let b = -7 - -10. Let l(z) = z**2 - 13*z - 10. Let o be l(14). Suppose -o*k + 3 = -3*k. Solve k*v - 3 = -3*i, -v + b = -i - 0 for i.
-1
Suppose 4*t = -n - 7, 2*n + 2*t = -3*t - 8. Let r be 21*n + (4 - 5). Suppose -r = -3*i - 5. Solve 5*z = 2*q + 17, q - 2*z + 1 = -i for q.
4
Let l = 0 + 0. Suppose -15 = -3*z - l*z. Let d = -1 - -3. Solve -z*q + d = -4*t + 1, -4*t = -4 for q.
1
Let c = 8 + -5. Let o = 3 + c. Suppose -o*q = -4*q - 24. Solve 5*n + q + 4 = -2*f, 2*n = -4*f for f.
2
Let n(v) = 2*v**2 - 6*v + 4. L