 + 10 = -5*k, m - s*k - 11 = 1 for m.
-3
Suppose 4*c = -10 + 54. Let o = 16 - c. Solve u - 3 = n, 3 = -0*u - u - o*n for u.
2
Let b = 2 - 2. Suppose -2*t + 2*f + 5 = 3, b = 5*t + 2*f - 5. Let h(w) = 4*w**2 + w. Let n be h(t). Solve -v + u = -4*v - 10, 0 = -n*v + 2*u - 13 for v.
-3
Let m = -11 - -15. Suppose -3*n + 2*n = m, v - n + 9 = 0. Let a = v - -30. Solve -3*s = -2*u - a, 2*u + 2*s - 7*s = -27 for u.
-1
Let l = -20 - -11. Let v = 14 + l. Solve -d - 4*d - u + v = 0, 0 = -5*d - 4*u + 20 for d.
0
Suppose 5*t - s = 5 - 43, -5*s - 18 = t. Let n be 15/6*t/(-5). Solve -15 = w + 4*w - n*h, 0 = h for w.
-3
Let u = 36 + -33. Solve 5*n - 2*r - 19 = 2*r, -2*n - u*r + 3 = 0 for n.
3
Let h = -38 - -64. Suppose 0 = -h*f + 25*f. Solve i + f*i = m - 5, 0 = -2*i for m.
5
Suppose -3*n + m + 1 = -10, -7 = -n + m. Solve -n*h + 2*v + 14 = 0, -4*h + 0*v + 26 = -3*v for h.
5
Let o(m) = 5*m - 30. Let k be o(7). Solve -2*j + 19 = -3*n, -3*n = -k*j + 13 + 12 for j.
2
Let k(t) = t**3 - 6*t**2 + 5*t + 3. Let c be k(5). Solve z + c*z - 4*y = 16, 2*z = 4*y + 8 for z.
4
Let r(o) = o + 4. Let t be r(-4). Suppose -5*d + 18 + 7 = t. Solve 0*a = a + 3*c, -d*c = 0 for a.
0
Let x = 7 + -5. Let j be (20/(-16))/(x/(-8)). Solve -12 = 3*y - j*h, 0*y + 2*h + 16 = -4*y for y.
-4
Suppose -4*a + 60 = -p, -3*a + 2*p = 5*p - 60. Solve a = 5*d + m, 0 + 11 = 5*d - 4*m for d.
3
Let f(r) = r**3 - 4*r**2 + 4*r. Let v be f(3). Solve g - 2*g + v*x + 10 = 0, 6 = -3*x for g.
4
Let h(z) = -6*z + 25. Let q(f) = -f + 5. Let b(n) = 4*h(n) - 22*q(n). Let p be b(-5). Solve 4*k - i = 1, -5 = k + 5*i - p*i for k.
0
Let i(p) = -3*p - 2 + 5*p - p - 3*p. Let q be i(-11). Solve 2*m - 3*y = -0*m - 25, -m + q = 5*y for m.
-5
Suppose 4*w - 4*o = -0*o + 24, 4*w - 5*o = 26. Solve 4*i - 4*z = -16, -i - w*z + 7 = -4 for i.
-1
Let m be 0 - (-3)/1*(-3)/(-1). Let u = 30 + -9. Solve 2*f = -2*s, 4*f - 2*s + u = m for f.
-2
Suppose t + 2*t = -q - 6, -4*q - 4*t = 0. Solve 5*o + 16 = y, y + o = q*o + 7 for y.
1
Let s = 6 + -10. Let x be 3/2 + 6/s. Let r be 2 + x + 2 + -3. Solve -r - 4 = 3*u - 5*i, -4*u - 24 = 2*i for u.
-5
Let c = 2 - 6. Let o = c + 7. Solve 4*i + 0 = -h - o, i + 4 = 3*h for h.
1
Let q(j) = j**3 + 11*j**2 + 5. Let i be q(-11). Solve -i*b = 2*o - 10 - 17, 6 = o + b for o.
1
Let n be 33/18 + 1/6. Let l be n/(-4) + (-15)/(-6). Suppose -2*v + 8 = 2*q, -2*q + l = -0*v - v. Solve -26 = 4*k + q*u, -2*k - u = -3*k + 1 for k.
-4
Suppose -65 + 230 = -2*y + 5*c, 0 = -2*y - 4*c - 120. Let u be ((-8)/20)/(4/y). Solve -3*k + 5*b = -2*k + u, -b = 3*k - 11 for k.
3
Let m(t) = -t**3 - 7*t**2 - 6*t + 3. Let o be m(-6). Suppose f = -f. Suppose -z + 1 + 3 = f. Solve -4*a = o*h + 7, -2*a + 2 = z for h.
-1
Suppose 3*g = z - 6 - 6, -z + 4*g = -16. Solve 5*w - 2*s + 28 = 0, -2*s = -w - z*s - 12 for w.
-4
Suppose -6 = -s - s. Let m = 1 - -1. Let z = m + 0. Solve -5*v + s*v + z*k + 2 = 0, -27 = -3*v - 3*k for v.
5
Let k(m) = m**3 + 3*m**2 + 3*m + 2. Let n be k(-2). Suppose n = h + 5*a + 22, -4*a = 5*h - 0*a + 5. Solve 0 = -3*d - 3*v - 18, -h*d + 5*v - 5 = -d for d.
-5
Suppose 0 = 6*h - 3*h. Solve -3 = -b - 4*g, -3*b + 9 = 4*g - h*g for b.
3
Let c = 64 + -61. Solve z = -4*k + 16, 3*z = -4*k + 11 - c for k.
5
Let y = 6 + -6. Let a(f) = -f**3 - f**2 + f + 4. Let m be a(y). Solve m*p - 3*o = -10, 0 = p - 3*o - 0*o + 7 for p.
-1
Suppose -3*g + 5 + 10 = -3*y, 0 = -g - y + 3. Solve 2*l + l + 5*s - 12 = 0, 0 = g*l - 3*s - 16 for l.
4
Suppose c + 23 + 60 = 0. Let w be (-2)/(-5) - c/5. Let y be 18/(-15)*20/(-6). Solve y*q - w = m, -q - 9 = -4*q for m.
-5
Suppose -2*x + 18 + 37 = 5*a, -3*a - 5*x = -14. Let z be a/3 - 1/3. Let g be (-46)/(-14) + (-4)/14. Solve 13 = g*u - y, -u - z*u = 4*y - 33 for u.
5
Let m(n) = -3*n - 3. Let c be m(-3). Let j(k) = -k**3 - 8*k**2 - 7*k. Let w be j(-7). Solve 0 = -4*x + 3*i - c*i + 19, 4*x - 5*i + 21 = w for x.
1
Let r = -202 - -212. Solve r = 3*m + o, 2*m + o = 4*m - 10 for m.
4
Let t(c) = c**3 + 6*c**2 - 6*c + 9. Let z be t(-7). Solve -1 = 4*r + o, z*o + 3 = -7 for r.
1
Suppose 4*k + 0*g - 6 = -5*g, -4*k - 3*g + 10 = 0. Let l = -14 + 2. Let p be (k/3)/((-8)/l). Solve 3*w + 5*c - 16 = 0, p*w + 2*c - 10 = -w for w.
2
Let g(d) = -d + 1. Let w(f) = 1 + 0*f**2 + 5*f**2 + 5 + 1 - f**3 - 3*f. Let j be w(5). Let h be g(j). Solve -4*n - 24 = y, 0 = -2*y - n - 4 - h for y.
-4
Let z(x) = x**3 + 16*x**2 - 17*x + 30. Let h be z(-17). Solve 2*w - d = -12, -4*w + 6*d = d + h for w.
-5
Let d(o) = o + 4. Let t be d(1). Solve -v + 29 = -5*n, -3*v - t = 2*v + 5*n for v.
4
Suppose 0 = -g + 3*g + 12. Let d be (g/3*-2)/1. Let b = d + 3. Solve -4*m + y = 18, -3*m - y = -2*m + b for m.
-5
Let t(a) = a**3 + 7*a**2 - 8*a + 12. Let f be t(-8). Solve o - f = -4*n, -58 = -5*n + 4*o - 22 for n.
4
Let v(t) be the second derivative of t**5/20 + 5*t**4/12 + 2*t**3/3 + t**2/2 - 4*t. Let d be v(-4). Solve 3*x + 4*c - d = 0, -5*c + 1 - 2 = 3*x for x.
3
Suppose 5*j - 4*r = 26, -j + 0*j + 7 = r. Let w = -2 + 2. Suppose -j*z + 5*z = w. Solve 4 + 0 = -5*o + 4*f, z = 5*o - 2*f + 12 for o.
-4
Let j be (0/2 - 0)*1. Suppose -5*a = -q - 6, 4*a + q + 7 - 19 = j. Solve 4*i - 2*o - 8 = 0, -2 + 1 = 3*i + a*o for i.
1
Let x = 474 - 251. Let s be x/15 - (-2)/15. Let u be (-6)/(-5)*(-15)/(-2). Solve 3*v + u = 5*h, -2*v = -5*h + 3*v + s for h.
0
Let q be 1*((-12)/(-3) - 1). Let v(t) = t. Let p be v(q). Suppose 1 = -p*y + 10. Solve -y*r + 4*r + 20 = -3*u, 15 = -u - 2*r for u.
-5
Suppose k + 24 = j, 2*j - 16 = j - k. Solve -y + 0*s = 4*s + 22, 5*y + 2*s = -j for y.
-2
Suppose 4*z + 4 = 12. Suppose z*v - 1 = 3*v - n, 4*n = 20. Suppose -w + 6 = 3*q, -q - q + w = -v. Solve -26 = 3*l + 8*u - 3*u, -q*u - 4 = -2*l for l.
-2
Suppose 4*a + 25 = 3*m + 8*a, 2*m = 3*a - 6. Solve -2*k + 15 = -l + m, 5 = -k - 5*l for k.
5
Suppose 5*m = 10*m - 10. Suppose 0*r = -m*r. Suppose r = 3*s + 5*o - 22, 5*o + 1 - 11 = 0. Solve -4*b = 4*p + 32, 0 = b - 2*p + s*p + 13 for b.
-3
Let o(z) = -z**3 + 2*z**2 + 4*z - 1. Let r be o(3). Suppose 2*d + x = r + 3, 0 = 5*d + x - 11. Solve -3*a - 3*w = d*w - 8, -w + 20 = -4*a for a.
-4
Let i(u) = u**2 + u - 1. Let h(w) = 4*w**2 + 21*w - 16. Let c(q) = h(q) - 5*i(q). Let o be c(15). Solve 4*m = o*b - 8, 3*b - 5 = -3*m + 1 for m.
0
Let f = 1 + 3. Solve 3*r + f = 5*t, 0 = 2*r + 2*t + 2*t - 12 for r.
2
Suppose -x + 4*x = 24. Suppose x + 7 = 5*y. Solve -4*v = -3*z + 19 + y, -4*v = 3*z + 10 for v.
-4
Suppose 3*y = -1 + 7. Let h(a) = -2*a + 27. Let c be h(8). Solve -5*r - 21 = -g, 4*r = 3*g + y*r - c for g.
1
Let p(s) = 3*s + 13. Let m(t) = -t - 1. Let y(g) = 4*m(g) + p(g). Let c be y(6). Solve 5*v - 17 = c*h, v = -h - 3*v + 17 for h.
1
Let u be 2 + -1 - (-4 - -1). Suppose 9 = u*n - 7. Solve 5*c + w = 5, -w = -3*c + n*w + 31 for c.
2
Let f(w) be the first derivative of w**4/4 + 4*w**3/3 - w**2 - w + 2. Let x be f(-4). Let k be (0 - (1 - 0)) + x. Solve 3*g + 35 = -5*l, 2*l + g = -7 - k for l.
-4
Let k(t) = 2*t + 9. Let n be k(-4). Solve 3*h + 2*r = 11 + 5, 3*h - r = n for h.
2
Suppose 0 = -3*h - i, -h - i - 2*i = 0. Solve -2*b + 4*x = h, 0*x - 8 = 3*b + 2*x for b.
-2
Let f(q) = q**2 + 3*q + 6. Let y be f(-3). Suppose -3*w + 6*w + 9 = 0, 2*i - 5*w - 19 = 0. Solve i*h - d = -6, -2*d = y*h - 2*h + 20 for h.
-4
Suppose z = -22 + 25. Solve -2*f - 2*f - 16 = -m, -z*f = 12 for m.
0
Let w(r) = -r**3 - r**2 + r + 2. Let s = 1 - 3. Let n be w(s). Suppose j - 3*j + n = 0. Solve -k - 2 = x, -3*k + j*k + 4*x + 23 = 0 for k.
3
Suppose -5*d + 5 = 4*o + 49, -5*d = 2*o + 52. Let u = -8 - d. Solve 6 = -z + 4*i, 0*z = -4*z + u*i for z.
2
Let w be (-23)/(-7) + (-4)/14. Solve 0 = -3*p + a - 5*a + 24, a - w = 0 for p.
4
Let u be (0 - 0) + (1 - -3). Suppose 5*c = i + 39, -26 - 17 = -5*c - 3*i. Solve k + 16 = -u*p + p, -p + c = -3*k for p.
-4
Suppose 3*w + 0*b + b = 9, -2*b - 9 = -3*w. Let y = -11 - -16. Solve y*u = 2*d - 10 - 5, 4*d - 17 = -w*u for d.
5
Suppose 4 = -4*j - 3*i + 14, 2*j + 2 = 2*i. Suppose -4*p + 16 = -20. Solve -x = 5*l + j + 11, -l + p = 4*x for x.
3
Let t = -9 - -18. Solve 2 - t = 2*s + u, -5*s - 2*u - 18 = 0 for s.
-4
Suppose 0 = -4*a + 28 + 272. Suppose -3*d = -3*z + a, -d - 2*d + 65 = 4*z. Solve k - 5*k = z, n + 5*k + 24 = 0 for n.
1
Suppose 5*b - 19 - 3 = 3*h, -4*h = -4*b + 24. Let o = 7 - b. Solve -18 - 2 = 5*a - k, 0 = o*a - 5*k for a.
-5
Let d be (