. Let q be o(f). Solve -3*d + 1 = -x, d - q*x = 2*x - 7 for d.
1
Let b(u) = 2*u + 6 + 0*u + 0*u - 15. Let r be b(7). Suppose 4*i - 17 + r = 0. Solve 6*t = 3*t, i*p - 2*t = -15 for p.
-5
Let z(i) = -2*i**3 - 70*i**2 + 3*i + 108. Let y be z(-35). Solve -3*l + 5 = -2*h, -3*l + l = -y*h + 5 for l.
5
Let g = -5 - -8. Suppose y + g = -11. Let b = -11 - y. Solve q - b*q + o = 2, 2*o = q + 4 for q.
0
Let q = -4 + 24. Let k = -1477 - -1481. Solve -2*w = t - k*t - 8, 2*w + q = -4*t for t.
-4
Let u = 2 + 28. Suppose -u = -2*j - 4*j. Solve -5*s - 20 = -j*g, 0*s = g - 4*s - 16 for g.
0
Let g(w) = -5*w - 8. Let n be g(-3). Suppose -n*x - 36 = -19*x. Solve x = -2*s + 5, -4 = -i - 5*s for i.
-1
Let j(t) = t**3 - 19*t**2 - 22*t + 26. Let a be j(20). Let v = a - -22. Solve 3*g + v = -w, g + 4*w - 7 = 2*g for g.
-3
Let t(o) = 14*o**2. Let d be t(-1). Let c(p) = p**3 + 8*p**2 - 19*p + 13. Let r = 66 + -76. Let h be c(r). Solve 4*q = 4*v + 28, 2*v - d = 6*v + h*q for v.
-5
Let x = -665 + 668. Solve -s = 2*b, -x*b + 1 = s + 2 for s.
2
Let o(t) = t**2 - 8*t - 20. Let b be o(10). Solve -n - 3 = b, -3*j + n - 3 = -3*n for j.
-5
Let z(o) = 2*o - 1. Let k be z(12). Solve -r = b - 6, 3*r + 4*b - k = -0*b for r.
1
Let t = -17 + -1. Let c = t - -19. Let q be c - 0 - (-7 - -4). Solve 0 = p - 5*f + 14, 0 = -f + q*f - 9 for p.
1
Suppose 30*i = 2*h + 35*i + 4, 0 = -h - 2*i - 1. Solve -h*d + 15 = -3*t, -3*t = d - 3 + 2 for t.
-1
Let w(k) = 2*k**2 - 3*k - 1. Let y be w(-1). Let l(x) = x + 1. Let j be l(-7). Let d = j + 10. Solve -v - 18 = d*r, 8 = -y*v + r + 4 for v.
-2
Suppose 3*f = -5*r + 10, -2*f + 4 + 3 = 3*r. Solve 15 = -3*i - f*m + 2*m, 3*m = -3 for i.
-4
Let i be -15*((-27)/15 + 1). Let b = i + 12. Solve 0 = 4*y + x + b, -5*x + 1 + 4 = -5*y for y.
-5
Let n be 1/(-4) + 2/8. Let y = 328 + -326. Solve -b = -4*s - 1, -y*b = -n*b + s - 11 for b.
5
Suppose q + q - 5*k = -14, 4*q - k = 8. Suppose -q*o + 2*b = -46, -3*b = -4*o - 0*b + 62. Solve -3*i + 6 = 0, -4*h + o = -i + 4*i for h.
2
Suppose 0 = a - 7*a + 24. Solve -j + h + 1 = -3*h, -a*j + 2*h - 10 = 0 for j.
-3
Suppose -a = k - 4, -a = -5*k - 4*a + 18. Solve 5*n + 4*b = 1 - 5, -2*n + k = -3*b for n.
0
Let q be (-5 + 2)/(-3)*1. Suppose f + q = 0, 5*f - 2*f = -3*u + 3. Solve 2 = 2*c + u*y, -2*c + 6*c + 3*y = 2 for c.
-1
Let p = 7 - 5. Let w be (10/p - -1)*2. Let t(l) = l**2 - 13*l + 15. Let x be t(w). Solve 2*s - 4*y = y + x, 4*s + y + 5 = 0 for s.
-1
Let n be (-2)/(-4) + (-2)/4. Suppose -4*x + x = n. Suppose x = -3*m - 4*o + 28, o = 3*m - 2*o. Solve -5*z + 0*p = -m*p - 35, -4*p - 5 = 5*z for z.
3
Let z(o) = -23*o**2 + 6*o + 13. Let w be z(-2). Let n = -88 - w. Solve -12 = -2*i - n*g + 6, 3*g - 27 = -5*i for i.
3
Suppose 3*j + 10*j - 1040 = 0. Let l = -77 + j. Solve l*a - 2*b = -5*b - 12, -4 = -a + b for a.
0
Let z(s) = 4*s - 62. Let t be z(14). Let k be 2/(t/10 - -1). Solve -j + 0*j - 3*r + 1 = 0, 2*j = -k*r for j.
-5
Let s = -778 + 780. Solve 0 = -s*w - 5*d + 19, 3*d = -6*w + w for w.
-3
Suppose -2 = -2*g + g. Let j(y) = y**3 - 18*y**2 - 21*y + 41. Let l be j(19). Solve -m + 16 = n + 3*n, l*n + g*m - 17 = 0 for n.
3
Let x be (23/4)/(15/180). Let m = x + -58. Solve -4*l + 17 = -3*l - 4*p, -3*l = -2*p - m for l.
1
Let c = -47 + 47. Suppose c = 7*i - 12*i + 15. Solve q = -2*f - i + 2, f - 7 = -3*q for f.
-2
Suppose -2 - 3 = k + c, 5*k + 2*c = -19. Let z(r) = r + 5. Let w be z(k). Solve 0 = -5*a - 2*i - 20, -i + 9 = -w*a - 2*i for a.
-2
Let t(x) = x**3 + 6*x**2 - x - 4. Let r be t(-6). Suppose -3*z - r*z = -20. Solve -13 = -z*k - a, 5*k - 3*a + 4 = 16 for k.
3
Suppose 4 = 5*q - 21. Suppose -q*a = -31 + 6. Suppose 3*d - 2*x = x, -3*d - a*x + 16 = 0. Solve 3*g + 15 = 0, 3*g - 4*g = c + d for c.
3
Suppose 8*v - 14*v - 12 = 0. Let x be (4/2)/(4 + 7/v). Solve x*k + 11 = -3*z, 5*k + 4*z + 2 = -13 for k.
1
Let u(b) = 4*b - 29. Let q be u(8). Suppose -6 = -2*c - 0. Solve -2*j = -q*n - 0*j + c, j = 3*n - 3 for n.
1
Let d = 78 + -70. Suppose 3*s = 3 + 3, -48 = 4*i - 4*s. Let q = -6 - i. Solve 2*u = -4*r - 3*u + 36, -d = 2*r - q*u for r.
4
Let q be -3*(-14)/(-21) + 2. Solve 24 = h + 5*j, -2*j = 5*h - q*j - 28 for h.
4
Let a(n) = -11*n + 165. Let d be a(14). Solve -5*f + 4*o - 22 = 0, -o - 2*o + d = -f for f.
-2
Let t be (6/(-9) - (-1)/6)*0. Solve -z = -3*g - 10, -g + t + 5 = -2*z for g.
-5
Suppose 0 = -5*a - q + 5 + 8, 3*a - 3*q = 15. Let l = -1 + 4. Let f = l + 2. Solve 6*o - 5 = o + f*w, -o + a*w + 1 = 0 for o.
1
Let n be (-18)/(-14) - (-418)/154. Solve n*p + 20 = -5*h - 7, -5*p + h - 12 = 0 for p.
-3
Suppose 0 = -7*o + 19*o - 48. Solve -15 = -k - o*c, -k - k - 5*c = -21 for k.
3
Suppose 0*k - 4*k + 56 = 0. Suppose -k = -5*s + 11. Solve 0 = -2*f - 3*o + 9, 31 = -3*f + f + s*o for f.
-3
Let m be -2 + -1 + (48 - (6 + -2)). Suppose -5*h + m = 16. Solve -24 = -h*q - 4, -c + 2*q - 12 = 0 for c.
-4
Let l = -10 + 13. Suppose l*p + 4 = 13. Solve -2*k = -0*k + 5*x + 18, p*k - x = 7 for k.
1
Let c = 35 + -31. Suppose 3*s + 4 = c*s. Let n(u) = -u**3 + 3*u**2 + 6*u - 5. Let h be n(s). Solve 5*f = 2*f - 3*x - h, 12 = -3*x for f.
3
Suppose -3*o + 16 - 3 = -2*m, -2*o = 3*m. Solve o*c = 5*u + 20, 4*c = 8*c + u + 4 for c.
0
Let k be ((-15)/10)/(1/6). Let j be (-30)/k*(-48)/(-40). Solve -r - 6 = -j*i, i + 6 = 4*r - 0 for r.
2
Let y be 1*15/(-40) - 545/40. Suppose 0 = -g - 8 - 9. Let n = y - g. Solve 3*t = 5*m - 7, -3*t = -t + n*m + 11 for t.
-4
Suppose 46*k - 44*k - 26 = 0. Solve -2*b = 2*b + m + 11, m + k = -5*b for b.
-2
Suppose 21*u = 26*u - 15. Solve 0 = -3*b + s - u, s + 1 - 4 = -b for b.
0
Let u(y) = 3*y + 7. Let h be u(10). Let n = h - 36. Solve j = 5*a - 26, -2*j = 4*a - 19 + n for j.
-1
Let v(n) = -n**2 + n + 24. Let w be v(5). Solve 2*u + 6 = 3*l - l, l + w*u + 22 = 0 for l.
-2
Let x(l) be the first derivative of -l**3/3 - 11*l**2/2 + 5*l - 1. Suppose -4*u = -17 + 61. Let z be x(u). Solve 2*d + 5 = z*d - s, -5*d + 5*s + 25 = 0 for d.
0
Let i = -2 - -8. Suppose 4*r - 4*x - i = -3*x, 0 = r - 3*x - 7. Suppose 0 = s + 2*u - r, -2*u = 2*u + 12. Solve -5*v = -v + j + 8, -3*v - s = j for v.
-1
Let p be (-9*1/(-3))/((-9)/(-12)). Solve 3*m = -2*d + p, -2*d = -8*m + 3*m - 20 for d.
5
Let c be 0 - -1 - (-3 + 10/2). Suppose y + 4*n = -16, 3*y + n + 11 = y. Let a be -2 + c - (-9 - y). Solve l - 5*z + 6*z - 1 = 0, -5*z = -a*l + 16 for l.
3
Suppose 19*g - 6*g - 143 = 0. Solve -n + g = 3*p, -2*n - 1 = 5*p - 18 for n.
-4
Let v = 5 + 0. Let f = -14 - -17. Let o = -492 - -509. Solve q = t + v, 0 = -0*q + 4*q - f*t - o for q.
2
Suppose -5*r = -g + 102, -4*r + 2*r - 45 = g. Let i = -16 - r. Solve x + i*l = 22, -3*x = -0*x - 4*l + 29 for x.
-3
Let g be 84/(-35)*(-25)/15. Solve 0 = -c - 4*c, 0 = b + g*c - 5 for b.
5
Let q(i) = -i**2 + 7*i + 20. Let p be q(9). Solve -4*f + x + p = 11, 6 = 2*f - 4*x for f.
-3
Suppose -5*f = 4*r + 28, -2*r + 5*f = r - 14. Let t(d) = -d. Let v be t(r). Suppose 0 = -4*i - v + 10. Solve i*k + 0 = c - 8, -5*k = 2*c + 11 for c.
2
Let z(a) = 10*a**2 + 220*a + 4. Let r be z(-22). Solve -r*l + 20 = -4*h, h + 5 = 6*l - 4*l for l.
0
Suppose -12*l = -19 - 5. Solve f + 3*f = -w, l*w = f for w.
0
Let o be (-1 + 3)*(-33)/(-22). Suppose l - 20 = 4*x, -o*l - l + 12 = x. Let m be (-13)/x - (-6)/(-24). Solve 5*z - 2 = 3*v, v - m*v + 5*z = -2 for v.
-4
Suppose -13*n + 300 = 12*n. Solve -2*h = 2*y, -4*y + 3*y - n = -5*h for h.
2
Suppose 0 = -q - 3*b + 20, 5*q + 5*b = 21 + 29. Solve 4*t = -3*v + 15, -2*v + q*v = -2*t + 9 for t.
3
Let s(p) = 11*p + 2. Let z be s(-4). Let n be 8*(-2)/(-4) + 3. Let m be (1/(-2))/(n/z). Solve -5*q + m*l = -0*l - 16, 0 = 3*q - l - 8 for q.
2
Suppose -16 = -5*m - 1. Suppose -8 = -5*r + 3*r. Let w be (-34)/(-153) - (-2)/(-9). Solve w*x = -f - 3*x + 13, -r*f - m*x + 16 = 0 for f.
1
Let y(j) = -j**3 - 2*j**2 - 3*j - 2. Let s be y(-2). Solve 0*v + s = v + 4*o, -3*o - 14 = 5*v for v.
-4
Let d be ((-2)/(-5))/((-6)/(-120)). Solve 4*p + z = -12, -2*p = -5*z - 8 - d for p.
-2
Suppose -2*a + 9 + 6 = 3*n, -a = -3*n + 15. Suppose a = 3*h - 11 - 4. Let r = 3 + 3. Solve v + o + 9 = 5*v, -3*v = -h*o + r for v.
3
Suppose -17 = -18*s + 55. Solve -i - 1 = -h + 7, -27 = 3*i - s*h for i.
-5
Let l(g) = -g**2 + 8*g + 12. Let q be l(9). Suppose -5*s - w = 2*w - 98, w = 2*s - 37. Solve -j + s = -4*z, 0*z - 3 = q*j + 3*z for j.
3
Let y be 2/(-2 + 20/