 5*f - 12. Solve k*s - g = 2*g - 3, 0 = s + g - f for s.
4
Let z(v) = 1. Let p(h) = 2*h + 11. Let i(b) = p(b) - 2*z(b). Let k be i(7). Solve -d - 5*q = 3*d + 25, 0 = -5*d + 2*q - k for d.
-5
Suppose 0 = l + 3*l - 32. Suppose 0 = -4*m + 3*m + l. Solve -5*k = -4*a + m, 3*a + 2 = -k + 8 for a.
2
Suppose -26 = 8*f - 21*f. Solve 0 = 3*w - 0*d + 2*d - 3, -f*w + 4*d + 2 = 0 for w.
1
Suppose 0 = 2*b + 7 - 1. Let c be b/(-4) - 18/(-8). Solve -3*w = -5*j, c*j + 3 = -j + 3*w for j.
3
Let y = -18 - -18. Suppose -2*j + x = -y*x - 4, 4*j = -5*x + 36. Solve 0 = -4*w - 2*a - 3 - 1, j = -w + a for w.
-2
Let h = -13 + 18. Solve -h*i - 12 = -3*z, -2*z = -0*z + i - 8 for z.
4
Let j = 30 + -30. Solve 2*w - 4*o - 12 = j, 5*w - 2*o - 14 = -0*o for w.
2
Let d be 5/10 - 1/2. Let v be (0 - d)/(-11 + 8). Solve 2*k + 4*p + 12 = v, -3*k + 2*p = -2*k + 2 for k.
-4
Let h(u) = -u**2 + 5*u + 4. Let y be h(5). Let j = 7 + -5. Suppose j*q + 8 = y*q. Solve -k - q*k - b + 25 = 0, -20 = -4*b for k.
4
Suppose 0 = -3*o + 12 - 9. Solve 4 = f, -f = 4*l + o - 5 for l.
0
Suppose k = 2*c + 6, -2*k + 12 = -4*k - 4*c. Let p = 2 - k. Let j be 2*51/(-6)*-1. Solve -5*z - p = 5*m - m, 5*m + j = z for z.
2
Suppose 4*n + 5*m = 8, 2*n - m = -2*m + 4. Suppose 2*s - s - n = 0. Solve -3*k - 35 = 5*h + s*k, -4*h + 3*k = 0 for h.
-3
Let h(s) = -s**2 - 8*s + 13. Let c be h(-9). Let t be 12/3 + 1*-2. Suppose t*v - 5 = 3*z, -c*v - 3*z = -z - 34. Solve o = -4*a - v - 5, -5*o = -5*a - 15 for o.
0
Let k = -39 + 45. Solve 4*i - r + 0 + 1 = 0, 2*r + k = 0 for i.
-1
Suppose 0*m + 160 = 5*m. Let c be (2 - 1) + -3 + m. Let w = c + -17. Solve -5*z + 2*g - 15 = 0, -2*z + g = 4*g - w for z.
-1
Suppose -12 = 3*v - 6*v. Suppose 0 = 3*t - v*j - 36, 2*j = -4*t + 3*j + 48. Solve 2*i - t = -0*i - 3*r, r = 4*i + 4 for i.
0
Suppose 3*n = n. Suppose n = -3*f + 7 - 1. Suppose 3*p + 2*z - 3 = 4*p, -f*z + 45 = 5*p. Solve 12 = 5*x - c - p, -5 = -x - c for x.
4
Let s(r) = r**3 - r**2 - 3. Let c be s(0). Let a = -1 - c. Suppose 0 = 6*b - 3*b. Solve -2*d = 3*t + 25, t + 15 = -a*d - b*d for d.
-5
Suppose -2*d = 2*i + 2, 4*d + 0*d + 32 = 3*i. Solve i*c + 9 = h, -h + 2*c + 6 = -c for h.
-3
Let b = 11 + -6. Suppose -2*t - w + 4 = 0, -2*t + b*t = w + 1. Solve -g = -4*s - 13, -2 + t = 4*s - 5*g for s.
-4
Let z = 5 - 16. Let i(k) = -k**3 - 7 + 0*k**3 + 10*k - 24*k**2 + 14*k**2. Let m be i(z). Solve -m*w + 10 = o, -5*w + 3*o = -2*o for w.
2
Let h be (-5)/(-3*(-2)/(-12)). Solve -i + 1 = p + p, -5*i + h = 5*p for p.
-1
Suppose 0 = -4*h + 2 + 26. Solve -5*c + 0 = -4*m - h, -5*m - 15 = 0 for c.
-1
Let b be 3/(-2) - (-150)/20. Solve -b*i + 4*i + 2*k + 4 = 0, -4*i - 4*k = 16 for i.
-1
Let h = 22 - 14. Solve 3*z - 5*x + 3*x - 5 = 0, -4*z + h = -2*x for z.
3
Suppose d - 28 - 21 = 0. Suppose -3*q + 10 = 1. Suppose -4*n + 39 = 5*l, 0*n + 4*n - d = -q*l. Solve -2*c + n = c - v, -3*c + 20 = -2*v for c.
4
Let x be -3*2*2/(-4). Suppose x*i = -9, -i + 1 = s - 0. Solve -5 = 5*l - 3*o, -s = 5*l + o + 1 for l.
-1
Let t(j) = j**2 - j - 2. Let r = 8 - 11. Let p be (-6)/(-9)*r + 0. Let y be t(p). Solve 2*q - 2*i + y = 0, -4*q + i - 2 = 3 for q.
-1
Let c = -11 - -13. Solve z = -c*b + 9, 3*b + 3 = 15 for z.
1
Let p(r) = -5*r**2 - 14*r. Let j be p(-2). Solve 3*n - b = -13, j = -5*n - 4*b - 8 for n.
-4
Let q be 2 - (15 + (-6)/(-3)). Let s be q/(-6)*2 + -3. Suppose -g = 4*g - 25. Solve 0 = -s*u - 3*x - 0*x + 8, x = g*u - 20 for u.
4
Let x(y) = y**2 - 4*y + 2. Let m = 4 - 0. Let z be x(m). Suppose -z*s + 27 = -17. Solve 4*i + 31 = -3*j, 3*i + j - 5 = -s for i.
-4
Let o(f) = -2*f**3 + 4*f**2 + 5*f - 5. Let q be o(4). Let m = 127 + -48. Let x = m + q. Solve 5*p = 3*j - 7*j - x, -5*j = -5*p + 15 for p.
-2
Let d(a) = -a - 6. Let f be d(7). Let o = 17 + f. Solve o*c - 2*k = -18, 0 = 2*c - 0*c + 5*k - 9 for c.
-3
Let t = 2 - 2. Suppose 0 = -3*c + 15. Solve t = 6*j - j + 4*u + 16, -c*j + u = -4 for j.
0
Suppose 3*m = -m - 2*u + 26, 3*u + 15 = 0. Let b be 2/m - 68/(-18). Suppose -g + o = -4, -5*g - o + b = -4. Solve 31 = h + h - 5*n, g*h + n - 1 = 0 for h.
3
Let w be (-75)/(-10) + (-1)/2. Let t be (0/(-2))/(w + -6). Solve -j - l + 3 = j, -3*l + 3 = t for j.
1
Let q(u) = -u**2 + 4*u + 5. Let m be q(5). Suppose -12 = -2*o - 2*p - 2*p, 2*o + 5*p - 14 = 0. Let h = o - -9. Solve -15 = -5*x, m*z = -4*z - 3*x - h for z.
-5
Let o be (39/(-15) + 5)*(-10)/(-4). Solve 0 = -d - 2*d + 4*k + 2, -4*k = d - o for d.
2
Let y be (-7)/(-4)*-1*-4. Let r = -4 + y. Solve r*v = 3*h + 4 + 2, 4*v - 8 = -3*h for v.
2
Suppose 3 - 15 = -3*i. Suppose 2*l - i = l. Solve l*d + o = -18 + 4, -2*d + 2 = -4*o for d.
-3
Let i(t) be the first derivative of t**2/2 - 4*t + 4. Let k be i(8). Solve -h - 13 = 4*q, -k*q + 2 - 13 = -h for q.
-3
Let g be 40/6 + (-3)/(-9). Suppose -b - 3*b = 4*f - 4, -5*f - 3*b + g = 0. Solve z + 2*x + 4 + f = 0, 0 = -2*x - 6 for z.
0
Let c(f) = -2*f - 11. Let x be c(-8). Suppose -p - 6 = -3*r + 7, -p = -5*r + 25. Solve 11 = 4*i + 3*v, 0 = -5*i - v + x*v + r for i.
2
Let g be (-20)/(-6)*(-6)/(-4). Let h(o) = 2*o**2 + 2*o. Let a be h(-2). Solve -g*k - 18 = -a*j - 42, j + 1 = 0 for k.
4
Let b be (27/6)/3*2. Solve -5*s + 32 = -o + 11, -b*s + 15 = -3*o for s.
4
Let l(w) = w**3 - 11*w**2 - 12*w + 4. Let o be l(12). Let h = -49 + 29. Let u be (h/12)/((-2)/6). Solve -u*a = -o*d - 1 - 3, -4*d - 4 = -a for d.
-1
Let h = 80 - 77. Solve -3*y + 2 - 22 = -u, -h*y - 25 = -2*u for u.
5
Let t = 25 - 22. Solve 0 = y - 4*f - 1, 4*f - 8 = 5*y + t for y.
-3
Suppose 0 = 5*n - 5, 3*n - n = k. Solve -k*u - 30 = 5*t, -t + 9 = -5*u + 3*t for u.
-5
Let h = 10 + -4. Solve 5*g - 4*d + h = 0, -2*g + 28 = 2*g + 5*d for g.
2
Suppose 4*q - 2*g = 2*q, 3*q - 5*g - 10 = 0. Let y(f) = -f**2 - 7*f - 7. Let z be y(q). Solve 2*j = -o + j + 3, 3*o = z*j - 15 for o.
-1
Let w = 0 + 4. Suppose -4*b + 0*o = 4*o, 2*b - 2 = -3*o. Let t = w + b. Solve h - 4*z - 26 = -1, t*z = -5*h + 15 for h.
5
Suppose 2*t + 3 = -17. Let i(k) = k + 11. Let v be i(t). Solve v - 3 = -u, -4*u + 10 = -j for j.
-2
Let r(p) = -p**2 - 8*p - 9. Let z be r(-4). Solve -15 = -5*o, 3*o = 2*u + 8 + z for u.
-3
Suppose -s + 3*n - 1 = 0, -4*n + 116 = 4*s + 40. Solve 4*i + 2*q = -16, 2*i + i - 5*q = s for i.
-2
Let p be 6 - (1 + 1) - 2. Suppose -4*o - 5 = 5*y, 0*y = p*o - 5*y - 5. Suppose 0 = 4*u - o*u - 44. Solve c + u = -3*s, -c = s + 4 - 1 for c.
1
Suppose -5*z + n + 4 = 3*n, -4*n + 8 = 2*z. Solve 0 = 5*b + 20 + 5, 2*j - 5*b - 25 = z for j.
0
Let b(w) = -w**3 + 6*w**2 - 3*w + 4. Let g be b(5). Let m be 38/g + 4/14. Solve -1 = 2*p - 3*p - m*q, -3*q - 3 = 3*p for p.
-2
Let l = 189 + -183. Solve 4*j + 5 = -h, -l*h = -2*h + 5*j + 9 for h.
-1
Let z be (-3)/(-2 + (-7)/(-2)). Let s(m) = m**3 + 7*m**2 + 8*m + 7. Let o be s(-6). Let b = z - o. Solve 0 = -g - 4*g + 3*c - 27, -g + 9 = b*c for g.
-3
Let q(m) = 2*m + 9. Suppose 0 = 5*b - b - 28. Let h be q(b). Suppose -7 = 4*n - h. Solve 2*f + 5 = -n*l + 17, 2*l + 5*f = -2 for l.
4
Let a be (130/30)/((-2)/6). Let v = 16 + a. Solve -6*f + 5*b = -f + 5, -v*b = 12 for f.
-5
Let b(l) = -l**3 + 5*l**2 + 13*l + 7. Let f be b(7). Solve 0 = 4*g - 6*x + x + 9, f = -5*g - x + 25 for g.
4
Let j be -1*2/((-4)/14). Solve 0 = 4*i + 3*t - 6, j*t - 10 = 2*i + 2*t for i.
0
Suppose 20 = 2*x - b - 2*b, -4*x - b = -12. Suppose 0 = -4*q - x*j + 40, -q - 5*j = -15 - 15. Solve 4*p = 4*t, -4 = -5*t + 6*t - q*p for t.
1
Suppose n - 16 = -3*n. Solve n*u + 33 = 5*b, 3*u - 5*b = -0*b - 31 for u.
-2
Suppose p + 35 = 37. Solve -r + 2 + p = -2*i, 2*r = -3*i - 6 for r.
0
Suppose -2*b + 6 = -2. Solve -y + 2*v = -2, 0*y = -2*y - b*v + 12 for y.
4
Suppose -u + 2*c = -26, -2 = -0*c + c. Suppose -l - 5*z - u = -4*l, -3*l + 16 = -2*z. Let b = -3 - -10. Solve -3*h - b = l*g, 0*h = h + 1 for g.
-1
Suppose -30*u = -31*u + 5. Solve 5*m = 5*f - 10, u*f + 0*m - 24 = -2*m for f.
4
Let g = 0 + 5. Suppose -6 = -g*a + 4. Solve -5*q + 9 - 1 = -4*p, 0 = 4*p + a*q + 8 for p.
-2
Let o be (-555)/(-45) + 1/(-3). Suppose 0 = -0*v - 3*v + o. Solve 5*x = -v*c - 12, 2*c + 2*x = -2*c for c.
2
Suppose -r + 3 = -1. Solve v + 14 = -3*v - u, -u + r = -2*v for v.
-3
Suppose -5*m + 105 = -4*i, -4*m + 3*i = -54 - 29. Solve -m = y + 4*n, -4*n = -3*y + 16 + 13 for y.
3
Let d(x) = x**3 + 9*x**2 + 2*x + 21. Let z be d(-9). Solve 2*t = z*s - 3, -4*t = -5*s - t + 5 for s.
1
Let x be (-4)/