 - 3*b, -9 = -3*k + 5*b - 0 for k.
3
Let f be (-2)/(-6) + 56/12. Solve -f*l + 10 = 0, 3*q + l - 6 = -1 for q.
1
Suppose -4*x - 4*a + 40 = -0*a, 4*x = 3*a + 5. Suppose 5*c + m - 26 = 0, -c - m = 1 - 7. Solve -c*l + 12 = -l - x*g, 0 = 5*l + 4*g + 26 for l.
-2
Let a = 13 + -8. Suppose -a*c = -3*c. Solve 5*q = s + 28, 2*q = -c*q - 4*s - 2 for q.
5
Suppose -6*h + 8 = -10. Solve 4*s + h = -5*f - 15, -4*s + 2*f - 4 = 0 for s.
-2
Let f be 20 + -3 + 0/(-2). Suppose -a + f = 9. Solve -4*v + m + 14 = -0, m = 2*v - a for v.
3
Suppose -27 + 32 = 5*a. Suppose p + i = 23, 3*p - 5*i - 21 = 24. Solve 4*q - p = -k, -3*k - 3*q + 25 = a for k.
4
Let d = -9 - -6. Let x = d - -1. Let s be x/(-1) - -9 - -2. Solve -j + 5*t + s = 4, 3*j - 13 = t for j.
4
Let c(g) = -g - 5. Let y be c(-10). Suppose 34 = y*o + 4. Solve 20 = -5*w + k, -o*w + k - 4 = -5*w for w.
-4
Suppose 2*s = 6*s - 20. Let x be 3/(-6)*(0 - 4). Let l be 34*-1*x/(-4). Solve -21 = -4*r - s*n, -2*n - n = -2*r - l for r.
-1
Suppose -1 - 2 = -l. Suppose q = -l*q. Solve 2*w - 10 = q, -5*a + 8*a = w - 8 for a.
-1
Suppose k - 4*j - 14 = 0, -3*k + 10 + 32 = 4*j. Suppose -3*r - k = -5*v, 0*r - 6 = v - 5*r. Solve v*i + 2 = -s + 25, 12 = 4*s for i.
5
Suppose l = -3*p, 0 = -2*l - 3*l - p. Solve l = d - c + 2, 0*c - 2*c + 7 = -5*d for d.
-1
Let k = 6 - 4. Let h be (-6)/(-15) + 13/5. Let d be 16/12*(-3)/(-2). Solve -k*p - 7 = h*y, -d = p + y - 1 for p.
4
Suppose -3*z = -4*g - 16 - 34, -2*z - g + 15 = 0. Let c(q) = q - 10. Let s be c(z). Solve f = -5*v, 0*f + 4*f + 5*v - 15 = s for f.
5
Let x(a) = a**3 + 4*a**2 + a - 2. Let r be x(-3). Solve -c - c + r = -2*t, -2*t = c + 13 for c.
-3
Let l be (1 + 0 + 3)*15. Suppose 4*f = f + l. Suppose 2*u - u = f. Solve 0 = 4*n - u, -2*n + 3 = b - 10 for b.
3
Let y be (-6)/27*3*-6. Solve -4*o - o = 0, -y*p = 3*o - 12 for p.
3
Let y(o) = -2*o - 10. Let i be y(-9). Suppose t - 2*g + i = 3, g = 5*t - 11. Suppose -w = -b - 2 - t, 5*b = 3*w - 25. Solve m + 2*z = -1 - 2, w = 3*z for m.
-3
Let f(x) = x**2 - 5*x - 3. Let n be f(6). Solve 0 = p - 2*s + 4, -n*p + 2*p - 5*s + 17 = 0 for p.
2
Let z(u) = u**2 + 7*u - 9. Let s = 10 + -19. Let v be z(s). Solve -2*h - 3*x = -1, -h + x + 2 = v for h.
-4
Let w be (-10)/(-3) - (-2)/3. Solve -5*p = -5*s - 10, 0 = w*s - 2*s - 3*p + 2 for s.
-4
Suppose 3*o - 12 = 4*h, -2*o + o + 2*h + 6 = 0. Let s be 3/(3/4)*1. Solve -s = 3*k - r, o = 5*r - 10*r - 25 for k.
-3
Let v be 86/18 - (-4)/18. Let t = v - 3. Suppose -t*d + 2*q + 11 = d, -2*d - 5*q = -1. Solve 0*k - 4*l - 32 = 4*k, 0 = -d*l - 12 for k.
-4
Let v(a) = -a**3 + 8*a**2 + 8*a + 9. Let x be v(9). Let k be 10/(-3 + x + 2). Let n be (-4)/k - (-69)/15. Solve -5*w - 20 = -5*z, n*w + 7 + 13 = 4*z for z.
0
Let d be 156/8*4/6. Solve 0 = -2*y + 2*h - d - 5, y + 5*h = 21 for y.
-4
Let d = 8 - 11. Let s = d - -4. Suppose o - 2 = s. Solve -3 = -o*v + 5*k - 16, 26 = 4*v + 2*k for v.
4
Let i = -34 + 39. Solve 3*j - 8 = i*a, -a = -4*j - 0*j - 12 for j.
-4
Let z(p) = 2*p**2 - 2*p - 5. Let v be z(4). Suppose -5*f - 4 = -2*c - v, 3*c + f = 20. Solve 2*b - 2*n = 2, -c*b + 3*n = 2*n + 15 for b.
-4
Let n(m) be the second derivative of 7*m**3/6 - 3*m**2/2 + 3*m. Let u be n(3). Solve 2*g - u = 4*r + 8, 3*r - 3*g + 24 = 0 for r.
-5
Suppose 5*z + 4 = -3*s + 26, -4*z - 2*s + 16 = 0. Let p = 9 - 5. Suppose -32 = -7*h - h. Solve 0 = h*c + 4, -p*c = -z*u + 7 - 3 for u.
0
Let f(x) = 3*x**2 - 3*x + 4. Let i be f(3). Solve 0 = -5*c - i - 3, -5*v - 40 = 4*c for v.
-4
Suppose 2*l = -4 - 4. Let p be 6 - 2 - (l - -2). Solve 0 - 1 = -2*d + 5*v, -5*d - p = -4*v for d.
-2
Let t = -41 - -57. Solve -t = -3*h + h - 5*l, 0 = 4*h + 2*l - 16 for h.
3
Let r(n) be the first derivative of 3*n**2 - 10*n + 2. Let g be r(5). Solve 0 = -o + 3*q - 8, -6*q = -5*o - q - g for o.
-2
Suppose 2*m - 3*v - 24 = 3, -3*v = 2*m + 3. Let n be (-8)/6*54/(-4). Solve -3*l + 4*i = -l - n, m = -3*i for l.
5
Let i = 62 - 57. Solve -26 = 3*b - 4*h - 5, 15 = i*h for b.
-3
Let f be (-19)/(-4) + 3/(-4). Solve 0*z = -f*z + 5*q + 15, -2*z = q - 11 for z.
5
Let t(k) = 2*k + 13. Let m be t(-5). Solve 0 = -3*v - 5*x + 14, -m*v + 5*v + 24 = 5*x for v.
-2
Let l(b) = b**3 + 6*b**2 - 6*b + 10. Let d be l(-7). Let a be (d - 0)/((-9)/6). Let n = 6 + a. Solve 4*y + 0*y + 20 = n*f, -3*f - 6 = 4*y for y.
-3
Suppose 2*w = 5*d - 4, -d - w = -0*w + 2. Solve -3*q + 0*o = -o - 17, d = 5*q - 2*o - 29 for q.
5
Let w be ((-2)/8)/((-28)/(-32) + -1). Solve 0 = b + w*s - 5, -s + 1 = 2*b + 3 for b.
-3
Suppose 4*z = 10 + 74. Let i = z - 5. Solve 4*d = -2*h - i, -4*d = -d + h + 13 for d.
-5
Let f = 3 + -1. Suppose 5*l = f*l + 45. Solve m + 5*n = 20, l = -4*m + 5*m + 4*n for m.
-5
Suppose 0 = w - p - 4*p + 2, 2*w + 3*p = 9. Solve -3*h + 0*b + 3 = 3*b, w*h - 3 = -5*b for h.
1
Suppose -4*x = 2*x - 18. Solve -5*s + 10 = x*b, 0 = -3*s - s + 2*b + 30 for s.
5
Let s be ((-18)/6)/(-9) - (-4)/6. Solve 2*u - s = 2*v + u, 4*v + 5 = 5*u for v.
0
Let v(j) be the second derivative of -j**3/6 + j**2/2 + 3*j. Let z be v(-3). Suppose z*g + 0*g - 8 = 0. Solve 4*o = -b + 12, b - 1 - 5 = -g*o for o.
3
Suppose -2*m - 80 = -12*m. Solve j = -4*b + 12, -m = -b - b - j for b.
2
Let m(i) = -i + 9. Let q be m(9). Suppose 3*c - 5*c + 4 = q. Let d = 18 + -10. Solve 0 = -2*g - 2*w - d, c*w + 1 = -1 for g.
-3
Let s(m) = m - 4. Let k = 11 + -7. Let u be s(k). Solve u = o - v - 5, -o + 2*v + 8 = 0 for o.
2
Let a = 50 + -47. Solve -15 = -3*p, -8*p + a*p = z - 28 for z.
3
Suppose 0*a - 2*a - 2*k + 2 = 0, 0 = -2*k - 2. Solve -a*v = 3*v + 15, 0 = 4*q - 5*v - 19 for q.
1
Let y be (8/(-10))/((-16)/40). Solve p - z + 8 = -3*p, 0 = y*p - 3*z + 14 for p.
-1
Let f = -41 - -58. Solve -5*b - 1 = -2*q, 5*q + 7 - f = 5*b for b.
1
Suppose -2 + 1 = -2*f - z, -3*f - 3*z - 6 = 0. Suppose f = 2*q - 3. Solve -d - 3*d - 5*s = 0, -q*d = 5*s for d.
0
Let d(s) = -9*s. Let l be d(-5). Let r be ((-1)/(-3))/(5/l). Let w be (r - 0)*(-24)/(-18). Solve -5*a - 18 = 4*p, -w = -p + 5*a + 4 for p.
-2
Let w be -2 + 3*(-7)/(-3). Suppose -29 = -3*u + c - 2, 3*u + w*c = 27. Solve 0 = 3*j + 3*f + 3 + u, -5*f = 4*j + 17 for j.
-3
Suppose 2 = 2*a - 0. Let l be 1*4 - (-1)/a. Solve -4*r - 17 = -l*u - 3*r, 12 = 4*r for u.
4
Let j be 13/91 + (-26)/(-14). Solve 2*y - 16 = 3*o, -6 = -2*y - j*o - 0 for y.
5
Let b(w) = w**2 + 8*w + 19. Let f be b(-5). Solve 2 = -d + 2*d, 5*d - 2 = -f*l for l.
-2
Suppose -o - o + 8 = 3*p, 0 = -3*o - 6. Solve -5*r - 1 = -p*g, -2*g - 3*g + 5*r = 0 for g.
-1
Let w be -1*(-1 + 10)*2. Let m be 33/(-27) + (-4)/w. Let z be -1 + -4*m/2. Solve 0*d - d + 4*u = -z, 0 = 5*d + 4*u - 5 for d.
1
Let q(k) = -k + 8. Let m = 19 - 13. Let d be q(m). Solve -2*p + 7*p = 25, -4 = d*y - 2*p for y.
3
Let d be (4 + 2)*(3 + -4). Let b = 12 + d. Let g = b - 2. Solve -4*i = 2*v + 10, -g*i - 12 - 3 = v for v.
5
Let g(b) = b**3 + 9*b**2 + 5*b - 8. Let t(w) = w**2 + 1. Let h(r) = -g(r) + 2*t(r). Let p be h(-6). Solve -20 = 4*d - 4*a, -2*a = 2*d - 6 - p for d.
0
Suppose 5*u = -4*r + 25, -r = -4*r + 4*u + 11. Solve c - 13 = 3*w, r = -4*w - 4*c - 7 for w.
-4
Let j be (-6)/(-4) + 1/2. Let o be (j + -3)*(-9 + 2). Let c = -1 - -5. Solve 4*x + 24 = 4*a, -c*x - a - o - 7 = 0 for x.
-4
Let z = -29 + 44. Solve 4*b + 5*l = 5, b - 4*l - 2 - z = 0 for b.
5
Suppose 4*v = -4*f + 48, 4*v = -0*f + f - 7. Let b be f/4 - (-1)/4. Solve 2*u = -c + 7, b*c - 7*u + 2*u + 34 = 0 for c.
-3
Let u = -12 + 15. Solve 0 = 4*h + 5*k - 21, -2*k + 14 = u*h - 0*k for h.
4
Suppose x - 5 = -3. Solve -2*w = -0*w - x*u - 10, -u - 9 = -3*w for w.
2
Let n(p) = -2*p - 6. Let s be n(-6). Suppose 2*b - s*b + 12 = 0. Solve -2*j - 2*v = -4, -4*j + 5*v - b = -2 for j.
1
Let u(c) = 14*c**2 - c. Let n be u(-1). Suppose 0 = -5*y - 0*y + n. Suppose -x = -0 - y. Solve -4*i - m = 6, -x*i + 3*m - 10 = 2 for i.
-2
Suppose 0 = -0*b - 2*b. Suppose b = 5*d - 9 - 6. Let x = -16 - -28. Solve -8 = 2*i, -4 + x = w - d*i for w.
-4
Let u be 1 + -1*3*1/3. Solve v = 5, 5*m + v + u*v = -10 for m.
-3
Let a be 6/(7/(21/6)) + -1. Solve 2*n = -n - z - 8, a*n - z = -2 for n.
-2
Suppose -x + 0 = -5. Suppose 0 = x*q + 3*u - 72, -2*q + u + 8 = -q. Solve -3*b + g + q = 0, 4*b - b + 3 = -4*g for b.
3
Let k(v) = 2*v + 2*v - v - 1. Let p be k(2). Solve 5*j = i - 14 + 5, -p*i + 25 = -5*j for j.
-1
Let r be (-3)/2*(-8)/3. Suppose c = 4*d - 5*d + 10, d = -3