 Let c = d + -8. Solve -2*i + 5*s + 5 = 3*i, c*i - 7 = 5*s for i.
-1
Suppose -3*v + 2*d = -8, -1 - 10 = -5*v + d. Suppose q - c + 4 = 0, -v*c = -4*q - 13 + 5. Solve 5*m - 40 = 4*b - q*m, 4*b = 3*m - 32 for b.
-5
Let c be (6/(-4))/(6/16). Let p = c + 5. Let v = 3 - p. Solve -v = -4*o + 2*z, 2*o + z - 16 = -3*z for o.
2
Suppose v + 1 - 4 = 0. Solve 0*o + 4*o = 4*m + 4, -4*m - v = -5*o for m.
-2
Suppose 0 = 5*n + 10, 10 = 2*z - 3*n - 22. Suppose -5*k = -u - z, -k - 8 = k + 4*u. Suppose -k - 10 = -4*a. Solve -5*l - 4 = -2*b, -5*l + 4*b - 7 = a*b for l.
-2
Suppose -2 = 3*r + 4*h - 32, 0 = -4*r + 2*h + 40. Solve -4*c - 16 = x, r*x = 5*x - 4*c - 16 for x.
0
Let p(m) be the first derivative of m**3/3 - m**2/2 - 12*m + 4. Let v be p(-6). Solve -19 = 3*s + 4*z, -5*s + 0*z = 5*z + v for s.
-5
Suppose -3*c = -4 - 2. Let b(a) = 4*a**2 - 1 - 2 + c. Let m be b(2). Solve 5*v + m = 4*z, 2*z = z for v.
-3
Suppose 0*n + 5*n + 6 = 2*d, -2*n = -5*d + 15. Suppose 0 = d*h + h - 8. Solve 4*y + 10 = 2*f + h*y, f + y - 3 = 0 for f.
4
Suppose -2*g + 66 = 4*a, 3*g - g = -2*a + 30. Let t = -14 + a. Solve 4*o + 8 = -t*j, o + o + 4*j + 12 = 0 for o.
2
Let u(x) = 2*x - 2. Let v be u(4). Let k = v + -1. Suppose 2*a - p = 8, k*p = -a - 21 + 3. Solve a + 2 = -o, -5*z = 5*o for z.
4
Let c be (60/18)/(4/6). Suppose 5*z + c*m = 115, -3*z - 87 = -7*z - 3*m. Let d be ((-4)/(-6))/(4/z). Solve 3*v - 22 = -5*a - 0*v, 3 = -d*v for a.
5
Let c(h) = h**3 - 4*h**2 + 4*h + 1. Let n be c(3). Suppose -n*f - 16 = 0, -2*f + 4*f + 20 = 3*v. Solve a = -v*w - 15, w = 6*w + 2*a + 15 for w.
-5
Let v(r) = 2*r**2 + 9*r - 1. Let i be v(-4). Let b be (-6)/(4/2)*-3. Let x = i + b. Solve 0 = -3*l + 3*c - 6, -l - 8 = x*c - 21 for l.
1
Let z(y) = -y**2 + 8*y - 6. Let s be z(4). Suppose -4*d + 12 = -0*d. Solve -d*l = -5*o, 10 = -4*l - s for o.
-3
Let s(j) = 2*j - j - 23 - 30 + 66. Let u be s(-11). Solve -u*i = -m - 0*i + 14, -5 = -5*m - 3*i for m.
4
Let f = 10 - 9. Let w be 36 + -8 - (f + -4). Solve j + 2 = 0, 0*l + 3*j = 5*l - w for l.
5
Let t(a) = -a**3 + 6*a**2 + 8. Let i be t(6). Solve i = 4*y + 4*x, 0 = 4*x + 5 - 13 for y.
0
Let s(d) = -1. Let u(g) = g + 9. Let k(q) = -4*s(q) + 2*u(q). Let m be k(-11). Solve m = -w + 3*w - c + 8, -w - 22 = -5*c for w.
-2
Let t(f) = 33*f**3 - 1. Let n be t(1). Solve 4*k = 4*r + 3*k + 7, 4*r + 4*k + n = 0 for r.
-3
Suppose -l = 4*l. Suppose 14 + 20 = 2*w. Suppose -2*u = -3*c - w, -4*u + 10 = 5*c - 3*c. Solve 3*b + 3*x - 3 = l, -x - u = -2*b - 2*x for b.
3
Let g(t) = t**3 + 5*t**2 + 5*t - 1. Let w(a) = a. Let r(s) = g(s) - 2*w(s). Let c be r(-4). Solve -4*z - 16 = -6*n + n, -5*n + 23 = c*z for z.
1
Suppose -2*q = 2*q - 8. Solve -3*f + 15 = -y + 2*y, q*f - y = 5 for f.
4
Let k be (-9*2)/(4 + -6). Suppose -3*c + 0*c = -k. Solve -4*u + c*d + 1 + 6 = 0, 5*u - 5*d = 15 for u.
-2
Suppose -d = -28 + 15. Let z be -1 + (5 + 0 - 1). Solve 0 = 5*u + l - 8 - 15, z*u + l = d for u.
5
Let d(g) = g - 2. Let p be d(0). Let v be p*(-6)/(-8)*-2. Suppose z = v*z - 6. Solve -z*w + k = -8, -3*w - 4*k = -k for w.
2
Suppose 3*s = -3*r - 6, 5*s - 6 = 5*r - 2*r. Solve -3*y = 2*z - 3, 2 = -z + 2*y - s*y for z.
0
Let d be 10*1*(-3)/(-6). Let y be 7/(-21)*(1 + -4). Let i be 12*y/((-6)/(-10)). Solve -5*g + 2*g - 12 = -3*k, 0 = -g + d*k - i for g.
0
Suppose -9 + 1 = -2*q. Solve 0 = -c + 4*h - 17, 2*c + q*h = 2*h - 4 for c.
-5
Let p = -20 + 31. Solve 3*l = -2*c - p, l + 1 = 2*c - 4*c for l.
-5
Let q be (1*1/(-3))/((-25)/150). Solve 4*x - 20 = -2*y, 3*y + x = 3*x - q for y.
2
Let h(g) = g**3 + g**2 + 5. Let d(w) = -w - 5. Let f be d(-7). Suppose -k = -f*k. Let a be h(k). Solve -8 = -5*j + 2*j + a*i, j = -3*i - 2 for j.
1
Suppose -2 = -5*l + 23. Let w = 4 + -3. Solve o + 2*z - w = 0, 3*z - 7 = l*o - o for o.
-1
Let a = -6 + 14. Let z = a - 7. Let c(u) = -u**2 - 7*u + 4. Let g be c(-7). Solve b - z = -p, -g = 2*p - 6*p for b.
0
Let i = 68 - 64. Solve -c = -i*j + 3, 4*c + j - 10 - 12 = 0 for c.
5
Let t = 12 - 8. Suppose 0 = t*x + x - 20. Suppose -4*l + 5 = -3. Solve -x = l*h + 2*h, 3*u + 3*h = 0 for u.
1
Let h be -3 + 4*3/6. Let l be 4 - (4 + (h - 1)). Solve 0*z = -3*r - 5*z - 23, 6 = -l*r - z for r.
-1
Let m(f) = f**3 + 5*f**2 - f. Let s be m(-5). Solve -o - 4*h = -10, -s*o = -2*o + 5*h - 16 for o.
2
Suppose -3*x + 2*b + 11 = 0, -5*x - b = -0*x - 14. Solve 4*s - 4 = -f, x*s + 2 = 5 for f.
0
Suppose 2*s = -1 + 9. Solve 0 = 4*t + s, h + 5*t + 10 = -0*t for h.
-5
Let h = -97 + 100. Solve 5 = 5*j - s - 10, -h*s = 4*j + 7 for j.
2
Let b be (2 + -4)/((-2)/12). Suppose 3*c + g = 3*g + b, 0 = -c - 4*g + 4. Solve 3*w + 1 = 5*y + 4, c*y = 3*w for y.
-3
Let q(g) = g + 1. Let h(k) = 3*k + 6. Let t(p) = -h(p) + 4*q(p). Let w be t(2). Solve -2*v - 5*z = -0*v - 19, w = 4*v + 3*z - 17 for v.
2
Suppose -56 = -3*d - 2. Suppose 4*l - d = l - 2*f, -8 = l - 4*f. Solve s + 17 = 5*h - 2*s, 8 = h + l*s for h.
4
Let z(p) = -1 + 3 + 2*p**2 - p**2 - 5*p. Let y be z(5). Suppose -69 = -2*f - f. Solve 2*u - y*s - 15 = -3*u, 0 = -2*u - 5*s - f for u.
1
Let s be 21/10*2 + (-2)/10. Solve 0 = -5*v - 4*h - 0*h - 33, 3*h - s = 2*v for v.
-5
Let u(l) = -6*l + 8. Let f be u(-6). Suppose i - 10 - 8 = 2*p, -f = -3*i - 4*p. Suppose k = -3*k + i. Solve -4*c + 2*g = -2*g - 4, k*c = -5*g + 31 for c.
4
Suppose 4*i - 10 = -5*l, 5*i + 40 = 5*l - 15. Solve -l = -3*n + 5*n - x, -4*n - x - 12 = 0 for n.
-3
Let g(p) = 2*p**2 - 5*p + 5. Let t be g(2). Solve t*d = -d - 5*k + 28, -12 = 4*d - 5*k for d.
2
Suppose a - 5 = 6*a. Let z be 1*(0 - 1)*a. Solve 4*l = m - 7, 2*m - 4*l + l + z = 0 for m.
-5
Let c(j) = 6*j - 1. Let v be c(1). Solve -3*g + 8 = -v*u, 2*u = 5*g - 4 - 3 for u.
-1
Let o be (2/4)/(5/10). Suppose -l + 1 + o = 0. Solve -3*z - l*z + 40 = 4*w, -3*w + z + 11 = 0 for w.
5
Let o = 111 - 70. Solve b - o = -5*z - 3*b, 5*b - 40 = -4*z for z.
5
Let d be 1/(-3)*3*(0 + 0). Solve 4*c = -12 - 0, d = 2*r - 3*c - 1 for r.
-4
Suppose 2*i = 3*u + 4, i + 2 - 4 = 0. Suppose -5*b + 105 = -u*b. Let s(a) = -a**3 - 5*a**2 + 3. Let f be s(-5). Solve 0*g - g = -4*c + 8, b = 3*c + f*g for c.
3
Suppose 5*t - 14 = 1. Suppose 3*b + 2*b = 4*y + 47, -2 = -y. Let j(m) = -m + 5. Let a be j(-6). Solve t*u = -5*n + a, 2*n = -3*u + 4*u + b for u.
-3
Let l be (-6)/(-5)*(4 + 1). Let n be 3/l*(1 + -1). Solve 5*b = -2*j - n*b + 21, -j - 4*b + 18 = 0 for j.
-2
Let h = 13 + -3. Let m be (0 + 1)*(-6 + 8). Suppose 3*p + 2*p = 15. Solve -5*r + 11 = -t, -p*r = -2*t - m*t - h for t.
-1
Let g be (6 + -5)*(12 - -2). Let n be (-10)/35 + 186/g. Solve 2*k = 2*m - 8, n = -0*k - 2*k + 3*m for k.
1
Let h(j) = -2*j**2 - 15*j - 23. Let s be h(-5). Solve z + 4*i + 1 = 0, s*z - z - i + 1 = 0 for z.
-1
Let f(s) = -s + 5. Let j = -7 + 7. Let c be f(j). Solve c*d - 24 = 3*w, 5*d - 6 = 4*w - 7*w for w.
-3
Let k = 6 + -4. Let p be (2 + 1/2)*k. Solve -p*b = -0*b - 2*l + 2, -l + 1 = -5*b for b.
0
Let a = -3 + 6. Let m(u) = 9*u - 44. Let v be m(8). Solve -z + 4*w - v = 3*z, -2*w + 16 = -a*z for z.
-2
Let a(n) = -2*n - 11. Let l be a(-10). Let k be 1/3 - 3/l. Solve q + 3*i + 5 = k, 0 = -q + 2*q + 2*i + 3 for q.
1
Let n(l) = -l + 64. Let i be n(0). Let j = -46 + i. Suppose 0*a = -4*a. Solve -2*r - 12 = 2*u, a*r + u = 5*r + j for r.
-4
Suppose 4*p - 19 = -3*k - 8, p = -3*k + 14. Suppose k = 2*t + 1. Solve 2*n - 4*n = 4*q - 26, t*q = 5*n - 5 for n.
3
Let y(u) = 6*u**3 - u**2 + u - 1. Let h be y(1). Let z be ((2 - 2) + -2)*(12 - 13). Solve h*m + 2*o = -z*o + 22, -4*m = o - 11 for m.
2
Suppose 2*x - 24 = -2*b, -4*b + 9 + 27 = x. Suppose 3*s + 4*t - 13 = 0, 0 = 3*s - 3*t + b*t - 14. Solve 0 = -v + j + 2 - 6, s*j - 12 = v for v.
0
Suppose -n + 2*x + 3*x - 17 = 0, 5*n + 3*x - 55 = 0. Solve 0 = u, n*g - 3*g - 3*u = -5 for g.
-1
Let y(k) = -5*k - 24. Let c be y(-8). Solve -5*a + 0*p + 23 = -4*p, -2*p = -4*a + c for a.
3
Let q be (-6)/4*8/(-6). Let f = -28 - -18. Let x be f/(-4) - (-1)/2. Solve -x*s - q*k = -6, 0 = 3*s + 6*k - k + 3 for s.
4
Let g be (0 + 1)*-2 + -1. Let s be (-1)/((-2)/54*g). Let f be 1/(s/5 - -2). Solve 0 = -5*t + f*z - 15, -2*z + 6 = -2 for t.
1
Let x be ((-16)/12)/((-1)/3). Let u be (-1)/((-4 + 2)/6). Solve -u*r = x*z + 7, z + 3*r = -9 - 4 for z.
2
Let a be 2/2 + (-6)/(-2). Solve 9 = -2*b + w - a, -4*w + 27 = -3*b for b.
-5
Let t(x) = x**2 + 10. Let h be t(0). Let y = h + -3. Solve 5*m - y = -a, 4*