*c + 10 = 0. Solve -2*g - 4*s + 4 = 12, b = g + 3*s + 7 for g.
2
Let i = -1 + 4. Suppose 3*d + 0*d - 6 = 0. Suppose -d*m = 4*x - 1 - 3, 4*m - 2*x - 18 = 0. Solve -2*t = 0, m*p + 0*p - 16 = -i*t for p.
4
Let j(n) = -n**3 + 4*n**2 - 4. Let z be j(3). Let a = -12 + 14. Suppose -3*o + z = -a*o. Solve o*d - 3 = -3*u + 3*d, 5*u - 3*d = 5 for u.
1
Let h(s) = s**2 + 2. Let l be h(3). Suppose l + 4 = 5*v. Solve 5*x = -5*p - 25, -5 = -p - v*x + 4*x for p.
0
Let i(g) = -g - 6. Let h(w) = w**2 + 7*w + 6. Let m be h(-4). Let o be i(m). Suppose o = 2*f + 2 - 8. Solve 3*q - 24 = f*b + 6*q, 4*q = -b - 23 for b.
-3
Suppose -42 = -6*v + 3*v. Let o be 3*1 - 2/(-2). Let f be 0*2*1/o. Solve f = -k - y - 4, 3*k + 5*y + v = 0 for k.
-3
Suppose 9 = 5*f - 6. Suppose -4*l - 2*p + 24 = -0*l, -p - 16 = -5*l. Suppose 2*k + l*d + 8 = 0, 7 = f*k - d - 16. Solve -3*t + 15 = -h, k = 2*t - 4 for h.
0
Suppose 0 = 2*z - 7 - 1. Solve -3*d - 3*j = -12, -z*d + 4*j - 12 = -7*d for d.
4
Suppose -3*m + 9 + 3 = 0. Solve 0 = 2*n + j - 8, m*n - 5*j + 2 = 4 for n.
3
Let p be (-2)/8 - 10/(-8). Let v = 4 - p. Solve v*b = -2*a - a - 3, -3*b + 4*a = -25 for b.
3
Let k(x) = -x - 1. Let m be k(1). Let f be 2*m/(-12)*6. Suppose 10 = f*p - 10. Solve -2*a + 4*l = -a - 2, 5*a - p = 4*l for a.
2
Suppose -2*f + f = 5, -2*u - 2*f + 46 = 0. Suppose -38 + 10 = -4*i. Let c = -6 + i. Solve c - 2 = z - r, -2*z + u = 4*r for z.
4
Let w(b) = -3*b - 3. Let m be w(-2). Let o(c) = -c**2 + 3*c + 3. Let x be o(m). Let i be -2 - 0 - 5*-1. Solve 2*l = 5*u + 7, x*l + i + 6 = u for u.
-3
Suppose 4*w = 23 - 7. Let p = 0 + w. Suppose -5*f + 0*f = 0. Solve p*u = -m + 3, f*u + u + 3*m = -13 for u.
2
Suppose 2*a - 12 = -5*m, 0*a - 30 = -2*a + 4*m. Solve a = -l - 2*j, -2*j - 17 = 2*l + l for l.
-3
Suppose -12*u = -9*u - 96. Solve -5*y + 27 = -3*c, 2*c + u = -3*c + 4*y for c.
-4
Let s be (-46)/(-2)*1/1. Solve s = -3*b - 5*i, 0 = -i - i - 8 for b.
-1
Suppose -3*u - 2*s = -4*u + 21, u - 3*s = 19. Suppose -4*d = -3*q + u, 5*q + 2*d - 59 = -0*q. Solve 3*o = f + 5, -f + q = 5*o - 0*f for o.
2
Let i = 29 + -24. Solve -3*s - q + 5 = 0, -4*s + 26 = i*q + 1 for s.
0
Suppose -4 = 6*z - 22. Solve -4*o = o - 2*q - 5, z = 3*o + q for o.
1
Let x(s) be the first derivative of 3*s**2/2 + s + 2. Let k be x(1). Solve -k*g - 24 = -i, -2*i - 4 = -3*i for g.
-5
Let u = -3 + 5. Suppose 4*s - 3*w - 6 = s, 0 = -u*s - w + 16. Let c be 58*3/s + -2. Solve -5*m - 2*v = 2*v + c, -12 = 5*m - v for m.
-3
Let c(v) = -v**2 + 2 - 6*v - 4 + 3. Let g be c(-6). Suppose -r + 1 = -g. Solve -b = u - 2, -5*b - u - r*u + 6 = 0 for b.
0
Suppose 10*y = 15*y - 15. Solve -u + 0*b = 2*b + 15, 0 = -2*u - y*b - 25 for u.
-5
Let n be (-392)/(-22) - (-8)/44. Solve -2*q - 7 = 5*f, -2 + n = 4*q for f.
-3
Let j = 37 + -8. Solve -f - 4*r = -2*f - 19, -j = 3*f - 5*r for f.
-3
Suppose 3*c + 16 = 5*u - u, -5*u = -3*c - 20. Solve -5*r + 25 = c, -3*o + 3*r = 3 + 3 for o.
3
Let x be ((-32)/10 - -2)*-5. Suppose x + 6 = 3*f. Solve h - f*q = -q - 14, 0 = -4*q + 20 for h.
1
Let x be (-1)/(-3) - (-12)/18. Solve -4*u - 4*y + 1 = -u, x = u + y for u.
3
Let t = -15 - -23. Solve b + 4*b + i + 14 = 0, t = -2*b - i for b.
-2
Let o(v) = v**2 - 5*v - 2. Let x be o(3). Let r(h) = -2*h + 2 - 5*h + 6*h. Let a be r(x). Solve b = 3*y + 14, -5*y + 3*b = 4*b + a for y.
-3
Suppose -48 = -5*b + r, 0 = 4*r - 7 - 1. Solve -2*p + 3*o = 8*o - 2, 4*p + b = -3*o for p.
-4
Suppose u + x - 53 = 0, 5*x = u - 45 + 4. Let q = u - 31. Solve 2*v - 2*r = -0*v, -4*v - r = q for v.
-4
Let w(n) = n**2 - 2. Suppose v + 0*l + 4*l = -10, 0 = v - 3*l - 4. Let r be w(v). Solve -4*a = -3*q - 6, -q + 11 = a + r*a for q.
2
Let i(h) = -2*h + 3. Let r be i(0). Solve -5*a - 2*o = -3*o - 3, 2*a - 8 = -r*o for a.
1
Suppose -3*w = -5*h - 1, 2*w + 4*h - 1 = 7. Solve -4*n - n + 17 = -b, 2*n - w*b = 2 for n.
4
Suppose 3*a - 48 = 4*m, a = -2*m + 6*a - 38. Let h(y) = -y**2 - 8*y + 13. Let i be h(m). Solve -4*k + w = 5, i*k = -2*w - 3 + 13 for k.
0
Let k be -1*(3 + -3)*1. Suppose 0 = 2*w - h - 3*h - 18, k = 5*w - 4*h - 27. Solve -w*p = 5*r + 20, 4*r + 20 = -r - 2*p for r.
-4
Let n = 4 - 19. Let s be (-4)/(-10) - 219/n. Suppose 3 = -4*w + s. Solve 5*o + 0 = -w*t - 1, -4*o + 3*t = -10 for o.
1
Suppose 0 = -2*m - 2*n - 0 + 4, -2*m - 5*n = -19. Let q = m + 7. Suppose q*c = c + 9. Solve 0 = -2*w + c*t + 23, 32 = -0*w + 3*w - 4*t for w.
4
Let f(n) = -n**2 - 7*n - 6. Let u be (8/(-10))/((-10)/(-75)). Let i be f(u). Solve -b + i*k = 2*k + 5, -2*b + 4*k - 2 = 0 for b.
-3
Let d = 68 - 63. Solve 3*y = -d*o + 4*y + 3, -4*o - 5*y = -14 for o.
1
Suppose -12*z + 15 = -7*z. Solve 0 = 2*y + m - 1, -4*m + 1 = 5*y - z for y.
0
Let i(y) = y**2 + 5*y - 8. Let s be i(-6). Let b = -2 - s. Let q be b*(2/(-1) - -3). Solve -22 = 4*t - q*o - 2*o, -13 = 2*t - 3*o for t.
-5
Let u(s) = -s + 6. Let q be u(8). Let b be (q - -6)*(-2 - -3). Solve 7 = -2*r - v, -b*v - 18 - 4 = 2*r for r.
-1
Suppose 2*y = 2*l + 7 + 5, -y = -3*l - 10. Let m be 0 - l*33/6. Suppose -41 = -3*c - m. Solve 2*r + 5*n = 24, 3*r + 2*n - c = 4 for r.
2
Let g = -41 - -57. Solve 2*k = -2*k + g, -k = -l + 1 for l.
5
Suppose 0 = 4*g - 0*g - 8. Solve i - l + 3 = 0, -2*l + l + 7 = -g*i for i.
-4
Suppose 6*m - v + 38 = 2*m, 0 = 3*v + 6. Let c = -56 - -40. Let w = m - c. Solve -w*l = -5*l + k, 0 = -2*l + 5*k + 14 for l.
2
Let g = 109 + -105. Solve -g*n + 25 = -x, n - 2 + 12 = -3*x for x.
-5
Let b(o) = o**3 - 13*o**2 + 13*o - 10. Let c be b(12). Suppose 60 = 3*q + c*q. Solve -3*t - 3*y + 15 = 0, 3*y = -0*y + q for t.
1
Let d(h) = -h**3 - 3*h**2. Let f be d(-3). Suppose i + f = 3. Solve -4*g = -0 + 20, 4*a + 35 = -i*g for a.
-5
Let q be (1 - (-2)/(-2)) + 4. Suppose 4*d = -2*x - d + 17, -36 = 4*x - q*d. Let o be x/(-10) + 8/5. Solve 4*l + 10 = 4*b - o, -3*l - b = 1 for l.
-1
Let u be (72/(-60))/(6/(-20)). Solve -2*l - m = -0*l - 10, -5*l - u*m = -28 for l.
4
Let l = 9 + -5. Let u(f) = f**3 - 4*f**2 + f - 1. Let q be u(l). Solve -k + 0*k = 3*r + 11, 2*r = -5*k - q for k.
1
Suppose 3*r + 1 = 5*y + 6, 1 = 3*y - r. Suppose w - 5 = -y. Let g be 1 - ((3 - 6) + -4). Solve 0*k - 5*x = -5*k + 40, -g = k + w*x for k.
4
Suppose 10*g + g = 0. Solve -k + 4*f = 25, g = 4*k + k + 2*f + 15 for k.
-5
Suppose 4*g - 20 = -4*z, 3*g - 4 - 11 = 0. Solve -2*b + 3*a + z = -18, 3*a + 24 = 4*b for b.
3
Let u(q) = -q + 6. Let d be u(6). Suppose -h = -b - 16, 2*h + h + 2*b - 23 = d. Solve -17 = t - 5*i, -3*i = -h + 2 for t.
-2
Let h(i) = -3*i - 4. Let v be h(-3). Solve 0 = v*z - 5*r, 2*r + 5 = 5*z - 4 for z.
3
Let r = -42 - -46. Solve -r*z + 3*u + 20 = 0, u - 2*u = z + 2 for z.
2
Let p be ((-2)/4)/((-3)/12). Solve x - m + 5 = -0, 0 = -p*x - 4*m - 10 for x.
-5
Let h be (-1)/(-5) - (-76)/20. Suppose 6*y = h*y + 6. Solve 0 = y*j - 3, 4*n + n - 2 = 3*j for n.
1
Suppose 0 = l - 2*l + 2*x, 4*l + 2*x - 10 = 0. Let n(c) = 2*c**2 - 1. Let m be n(1). Solve -l*z = y + 3, -m = -z - y - 2*y for z.
-2
Let q = 13 - 13. Suppose -3*g - g - 12 = q, -h + 18 = -5*g. Solve 4*f - 2*f - 24 = -5*u, -4*f + h*u = 4 for f.
2
Suppose 1 + 4 = m, -3*x + 30 = 3*m. Suppose -2*p = -1 - 5, -65 = -x*t - 5*p. Let c(v) = v - 8. Let j be c(t). Solve 3*l - j*r = -6, -2*l - 3*r = 2*r + 4 for l.
-2
Suppose 2*r + 66 = 2*h, h - r = r + 33. Solve -9 = -5*v + 16, -2*z - 5*v = -h for z.
4
Let h = 53 - 48. Solve 5*w - 2*k - 16 = w, h*k + 13 = w for w.
3
Suppose 11 - 2 = 3*i. Solve -4*n = 3*l - 15, -i*l - 3*n = -6*l + 15 for l.
5
Let i(x) = x**2 + 3*x - 4. Suppose 6*c - g = 3*c - 7, 3*c + 37 = -5*g. Let d be i(c). Solve d = -u + q - 1, 2*u + q = -u + 17 for u.
4
Let s(l) = 2*l**2 + 15*l + 9. Let z be s(-7). Solve 4*f = 3*m + 13, -5 = f - z*f - m for f.
4
Suppose 5*t = -3*m + 17, -2 + 13 = 2*m + 3*t. Solve -3*n + 2*a = -0*a - m, -3*a - 15 = 0 for n.
-2
Let b = 5 + -1. Let u = 1 + b. Suppose -15 = -5*p + u. Solve 0 = 3*r - 5*t + 4, 1 = 5*r - p*t - 1 for r.
2
Let v(b) = -b**2 + 5*b - 3. Let k be v(3). Let i = k + -2. Suppose -u - i = -2. Solve u = 5*o - 4*y - 2, -3*o = -y + 1 for o.
-1
Let i(o) = 8*o - 7. Let t be i(2). Solve 4*b + 3*l + 2 + t = 0, 5*l = -b + 10 for b.
-5
Let u be (-5 - -5)*(-2)/(-4). Let f be 0/((-2)/(2 - u)). Suppose f*c = -3*c + 24. Solve z - 2*w = -8, -3*z + 10 = -c*z + 4*w for z.
2
Let p be ((-60)/(-8))/(-3)*-2. Solve 2*q - r + 3 = 4, 5*q - p = 3*r for q.
-2
Suppos