 - 15 - 2 = d, 19 = 5*u - 2*c for u.
3
Suppose -2 = -5*a + 23. Suppose 4*k - 11 = -3*p - 1, -k = 4*p - 35. Let s = p - 5. Solve -4*z + 3*z = -2*j - s, a = 4*j - 5*z for j.
-5
Let y(v) = v**2 - 20*v + 21. Let i be y(19). Solve -i*s = -3*u + 8, -5*u + 3 = -s - 1 for u.
0
Let q = -75 + 77. Solve q*d = i - 4, 0*i = 4*i + 4*d + 8 for i.
0
Let t(d) = -d**3 + d**2 + 8. Let i be t(0). Solve 0 = -4*a + z + i, -5*a = -5*z - 2 - 23 for a.
1
Let i(c) = 2*c**2 + 4*c - 1. Let u be i(-3). Suppose 2*n - 16 = -u*t + 44, -5*n - 25 = 0. Solve 5*x + t = 4*s, -4*x = -x + 6 for s.
1
Let f = -96 + 116. Solve -c - 2*u = 3, -5*c + 0*c = 5*u + f for c.
-5
Let j be (-1)/4 + (-147)/(-28). Suppose -p + 12 = v, -3*p + j*v - 4 = -0*p. Solve 0 = -2*r - 2, -4*r + 2 = l - p*r for l.
-1
Let k = 11 + -9. Solve -k*x + 3*x - 10 = -5*u, 4*x + 3*u + 11 = 0 for x.
-5
Let h(r) = -5*r**3 + r**2 + 3*r + 2. Let o be h(-1). Suppose 2*k = -0*k. Solve c - 2*i - 4 = k, -o*i - 3 = c - 0 for c.
2
Let u be (2/(-3))/(4/(-12)). Suppose -2*b - 10 = 0, u*t + 3*b = 4*b + 15. Solve 0 = 5*q - 2*q - t*f, 3*f = 4*q - 11 for q.
5
Suppose 5*x + 0*q = -5*q + 20, -3*x - 5*q = -14. Solve x*d - u = 8, -4*u - 2 = -2*d - 0 for d.
3
Suppose 5*i - 38 = -4*u, u = 4*u + 5*i - 31. Suppose -3 = 3*g, -l + 8 = 2*g - u*g. Solve 0*x + 5 = l*f - 2*x, -x = 4*f + 8 for f.
-1
Let t = -6 - -4. Let p(i) = i**2 - 1. Let z be p(-2). Let m be (z/t)/((-5)/10). Solve -3*f - h - 3 = 0, -5*f - m*h - 8 = -3 for f.
-1
Let v = 0 + 12. Solve 3 = -5*p - u, -5*u + u = 4*p + v for p.
0
Suppose -4*z - 2*w + 4*w + 70 = 0, -77 = -4*z - 5*w. Let g = z - 13. Solve 3*d - 5*o - 23 + 55 = 0, g*d + 32 = 3*o for d.
-4
Suppose m - 25 = -4*m. Let z be 3/(9/2) - (-14)/(-21). Solve -q + z*j - 12 = 4*j, -10 = m*q - 5*j for q.
-4
Let s = -7 + 13. Let l be 21/s + (-9)/6. Solve v = -h - 4*v + 22, -8 = -l*h - v for h.
2
Suppose -2*a + 6*a = 8, 0 = 3*k + a - 11. Solve 4*r - 2*t = 16, 26 = 4*r - 0*r + k*t for r.
5
Let t = 1 - 1. Let r be 10*3*(-4)/24. Let o = t - r. Solve z - u + o = 6*z, z - 20 = -4*u for z.
0
Suppose -5*r - 35 = -12*r. Solve 0 = 3*k - r*w - 5, 0*w = -5*k - 4*w + 33 for k.
5
Suppose 2*x - 2 = 0, -j + 1 = 2*x - 6. Solve u = 3*k, -2*u + 0 + j = -k for k.
1
Let d(j) = -j**3 + 4*j**2 + 8*j - 10. Let h be d(5). Solve -4*z + 3*r - 4 = 0, 4*r + h = -11 for z.
-4
Let x = 20 - 16. Suppose -q - 2*q + x*b + 32 = 0, 0 = 3*q + 4*b + 8. Solve 4*j + q*d = -12, -4*j + 18 = -6*j + 4*d for j.
-5
Suppose -6*w - 2*v = -4*w, -5*w - v = -4. Solve -2*m - 3*y + 2 = -1, w = -3*m + y for m.
0
Let k be 0*(11/3 - 4). Solve 4*n = 3*c - 35, k*n - n = 3*c - 10 for c.
5
Let j be 7*(0 + 1) - 2. Let p(s) = -s**3 - 7*s**2 - 8*s - 8. Let y be p(-6). Solve -x = 4*h - 19, -y*x - j = -4*h - 1 for h.
4
Let r = -11 + 14. Solve -5*n = u - 5*u + 6, -3*u - r = 0 for n.
-2
Let g = 17 - 14. Let j be (-6)/(-5)*(-30)/(-9). Solve -i + j*u = -24, -2*u + g = 5*i - 7 for i.
4
Let l(y) be the third derivative of -y**6/120 - y**5/12 - y**4/6 + y**3/3 - y**2. Let b = -5 + 1. Let w be l(b). Solve -j + w*h + h = 11, -3*j - h = -17 for j.
4
Let a be (-620)/(-150) - 2/15. Solve 2*z - 7*z - 2*g = -24, -8 = -a*z + 4*g for z.
4
Let o be 7/2 - 4/(-8). Suppose 0 = -4*p + 4 + o. Let r be (-22)/(-6) - (-1)/3. Solve d - 22 = -3*h - 2*h, r*h + p*d - 20 = 0 for h.
4
Let j(b) = -b**2 - 6*b - 2. Let g be j(-4). Let l be (g/4)/((-3)/(-4)). Solve -z = 5*w + 8, l*z + 13 = -z - 4*w for z.
-3
Suppose 4*w - 2*w - 19 = 3*s, -4*w + 2*s + 42 = 0. Solve z = 3*h + w, 0 = h + 2 + 1 for z.
2
Let i(r) = -r + 11. Let k be i(8). Let b be (0 - -3)*(-30)/(-9). Solve -2*p = -0*p - b, -k*m - 20 = -p for m.
-5
Let g be 4/(-6) - (-10)/6. Let w = g - -13. Suppose 4*z = 2 + w. Solve 3*r = 2*r, -z*j + 20 = -5*r for j.
5
Let t(q) = q**2 + 2*q + 2. Let h be t(-4). Let x = 17 - 10. Suppose 3*c + h = w - x, 4*c = w - 21. Solve -3*s = -d - 3, w*d = -2*s + 7*s - 5 for s.
1
Let i be ((-36)/84)/((-1)/7). Solve 3*x - i*d = 5*x - 9, -4*x + 3 = d for x.
0
Suppose 4 - 9 = -d. Solve 3*z = 4*v - 3, d*v = -5*z - 0 + 30 for v.
3
Let d be 4/10 - (-69)/15. Let u = d + -2. Suppose -u*h = -14 - 1. Solve -24 = -x + h*w, 6*w - w + 23 = 2*x for x.
-1
Suppose -4 = -o - 0*o. Solve 0 = g + 5, 0 = -2*p + g + o*g + 23 for p.
-1
Suppose 4*x - 2*h + 58 = 0, 4*x = 2*h - 6*h - 52. Let q be (-192)/x - 4/(-14). Let c(j) = 6*j**2 - j. Let k be c(1). Solve -q = -4*w + 2, w - k = -v for v.
1
Suppose 5*v - 3*d - 3 = 0, v + d = -2*d - 3. Let f(z) = -z + 8. Let b be f(v). Solve -2*p - 4 = 4*h + 4, 0 = 2*h - 5*p - b for h.
-1
Let w = 32 + -28. Solve w*n - 5 = 4*f - f, 3*n = -f + 7 for n.
2
Suppose d = -7*d. Solve 5*n + d*n = 4*w + 25, -5*n - 2*w = -25 for n.
5
Suppose 0 = -6*r + r + 120. Suppose 7*z - 3*z - r = 0. Solve 2*i - z*i - 3*v + 32 = 0, 2*i = 5*v - 10 for i.
5
Let a(y) = -y**2 - 9*y - 7. Let s be a(-8). Suppose -6 = -v - s. Solve d - u - 16 = 3*u, -2*d - u = -v for d.
4
Let g(n) = n**2 - 13*n + 14. Let d = 3 + 9. Let c be g(d). Solve 2*x + 10 = h - 4*h, -5*h - 14 = c*x for h.
-2
Let w(z) = z**2 + 11*z + 10. Let c be w(-10). Let g = c - 0. Solve -3*b + 2*m + 4 - 15 = 0, -4*b - m - 11 = g for b.
-3
Let v(t) = 5*t**3 + t - 1. Let m be v(1). Let x be 6/15 - (-6)/(-15). Solve l = -2*j + m, j - 4*l - 1 + 3 = x for j.
2
Let t(b) = b**3 - 4*b**2 + 4*b - 6. Let i be t(4). Suppose -2*l = -0*l + i, 5*k = 3*l + 55. Let m = -4 + k. Solve -14 = -2*o + 2*y, 2*o + 3*o + m*y = -10 for o.
2
Suppose 4*s + 2*k - 10 = 0, 5*k - 2*k - 3 = 0. Solve 4*t = -s*n + 3*t + 3, -4*t = 2*n for n.
2
Let r = 2 - -3. Suppose r*h = -13 + 33. Solve 3*d + j = 0, h*j = -d - d + 10 for d.
-1
Suppose 55 = 4*r + r. Suppose -r = -4*s - 0*k - k, 0 = -3*k + 9. Solve -o = 5*v - 3*v - 4, 0 = -v + 2*o + s for v.
2
Let x(k) be the first derivative of -k**4/4 + 2*k**3/3 + k**2 - k - 2. Let f be x(2). Solve -f*r - 2*r + 4*z = 22, 3 = z for r.
-2
Let d = -1 + 11. Suppose -5*h = -d - 0. Suppose -1 = -h*s + 3. Solve 3*q = -7*v + 2*v + 5, -q = s*v - 3 for v.
4
Let a = 167 - 116. Suppose a = 5*q - 4*p, 5*p + 4 = -q + 20. Solve -5*i + 0*i + 4*k - 19 = 0, k = -4*i - q for i.
-3
Suppose -2*b + 12 = 2*b + 2*n, 2*n = -b + 6. Let z be 3 + -2 + (4 - 2). Suppose -56 = -z*a + 4. Solve 0*g + a = 3*h + b*g, -3*g = -2*h - 4 for h.
4
Suppose 14 - 9 = g. Solve 2*a - 10 = -g*l, 4*a - l = 4*l - 40 for a.
-5
Let x be 3/(-6)*(4 + -1 - 11). Solve 4*q - x*z = 0, 5*z + 11 - 38 = -4*q for q.
3
Let m(v) = v + 3. Let f be m(3). Let u be 6/(-3) + f + 0. Solve -u*y = -3*s + 12 - 3, -3*s - 5*y = 18 for s.
-1
Suppose -3*g + 0*g = -39. Suppose 0 = 5*v - g - 7. Suppose 8*k - 12 = v*k. Solve -1 = 5*i - l - 0*l, -2*i + k*l + 10 = 0 for i.
-1
Let t be -2 - (-1*2 + -4). Suppose -s = -2*s + 2. Suppose -82 + 32 = -5*j. Solve t*b - 2 = s*k + 10, 0 = -k + 4*b - j for k.
-2
Let z(v) = -v - 5. Let c be z(-5). Suppose 3*t - 18 = -2*d - c, 2*t - 2*d - 2 = 0. Suppose -s + 9 = -t. Solve -l + 3 = -2*o - 3, 2*l = 5*o + s for l.
4
Let o(x) = x**2 - 4*x. Let g be o(5). Let h be 2/(-11) + (-212)/44. Let s be (-10)/(-4)*(-4)/h. Solve 5*y - s = 4*y, -p - y + g = 0 for p.
3
Let w(n) = n + 15. Let u be w(-10). Let z(j) = -j + 14. Let g be z(6). Let p be (1 - 0) + 0 - -3. Solve -u*i + 32 = -p*l, i = -i + g for l.
-3
Let w = 10 - 0. Let x = -74 + 76. Solve -3*n - 4 = -2*n + x*z, 2*n - 5*z = w for n.
0
Let j be (4 + -3 - 3) + 9. Suppose -2*a + j*a = 15. Solve -u - 4*u = q - 29, a*u = 2*q + 7 for u.
5
Let a be ((-21)/12)/(8/(-64)). Solve -11 = r + 4*y, -6*r + 2*r - y = a for r.
-3
Suppose -4*p + 23 - 7 = 0. Solve w - p*t = 6*w + 40, 5*w + 35 = -3*t for w.
-4
Suppose 5 = -h + 10. Solve -h*c + 0*t = 4*t, -4*c = -3*t - 31 for c.
4
Let c = -50 + 58. Solve 2*g + 2 = -c, 5*z - 10 = -g for z.
3
Suppose 5 - 8 = -m. Solve -2*o = -2*y - 6, y - 18 = -2*o - m*y for o.
5
Let u(g) = g**3 + 8*g**2 + 8*g + 15. Let y be u(-7). Suppose -4 = -4*a, o + 4*a = -0*o + y. Solve 2*d = -2, o*n - 2*n + 2*d = 0 for n.
1
Let u = 11 - 16. Let y = u + -2. Let q(p) = -p**3 - 8*p**2 - 7*p + 3. Let a be q(y). Solve a*x = -b + 7, -3*x + 5*b + 13 = 3*b for x.
3
Let w be (-1 - -1) + (-13 - -13). Solve -5*r + 9 = t, t - 5*r + 2 - 1 = w for t.
4
Let w = 8 + -3. Suppose -12 - 8 = -w*z. Let d be 1/(-6) - (-22)/132. Solve -2*n = n + 2*h - z, -n - 3*h - 1 = d for n.
2
Let u(f) = 0*f**2 + 7*f - 6 + 8 - f**2. Let t be u