= -x*f - b + 5, 3*b + 9 = 3*f for f.
-2
Let k = -509 - -525. Solve 4*b = 4*g + k, -b - 3*b + 2*g + 10 = 0 for b.
1
Let y be 15/(-3) - (-10 + 3). Solve 4*l - 8*a = -4*a, -y*l = -4*a + 10 for l.
5
Suppose 6*g + 70 = -80. Let z be (-8)/(-10) + 20/g. Solve -5*f + 3*o - 31 = z, -2*f + o - 4*o = 4 for f.
-5
Suppose -h - h + 52 = 0. Let l = h - 26. Suppose l*x = -5*x + 20. Solve -3*z = -4*z - 5, x*y = -2*z + 2 for y.
3
Suppose 5*y + 4 = y, 3 = 3*l + 3*y. Suppose -k - z + 2 + l = 0, -2*z + 8 = 5*k. Solve -2*a + x - 8 = 3*a, 3*a + x + 8 = k for a.
-2
Let m(c) = -c**3 - 5*c**2 + 16*c + 14. Let x be m(-7). Suppose x = 6*y - 24 - 0. Solve 4*g = -1 + 21, y*g = -5*d + 15 for d.
-1
Let p(u) = u**3 + 10*u**2 + 11*u - 1. Let n be p(-8). Let d be 25/6 + (n/18)/(-13). Solve -3*s = -4*f + 15, -s + f - d = 1 for s.
-5
Let d = -46 + 50. Suppose -3*a - 1 = -v, d*v + 0*v - 5*a = 11. Solve 3*q = -j - 14, q = -v*q - 5*j - 30 for q.
-4
Let s(b) = 6*b + 5*b**2 - 3 - 2*b + 11*b**2 - 17*b**2. Let q be s(3). Solve -4*f + p - 8 = 8, q = 2*p + 8 for f.
-5
Suppose -t = -3*y + 34, 0*t + 16 = 2*y - 4*t. Suppose -32 - y = -4*m. Solve -z + f - 2 = 0, -2*z + 5*f - 8 - m = 0 for z.
3
Suppose -3*y = -6 - 0. Let q be 4*(2 + (-6)/4). Suppose 0 = q*j + 4*i + 12, 4*j = -j - 5*i - 15. Solve 4*v + y*o - 6 = 3*v, j = v + 3*o - 11 for v.
-4
Suppose 3*i + 2 = -2*w + i, 0 = 3*w + 5*i + 13. Solve 2 = -2*l - 2*o, -o + 5*o + w = 0 for l.
0
Let h = 336 - 333. Solve -h*m = -2*d + 7, -2*m - 4*d = -5*d + 5 for m.
-3
Let t = 9 - 7. Suppose 2*v = -3*a + 10, 2*a + 17 - t = 3*v. Suppose 2*q + 20 = 4*q + 3*z, -4*q = 3*z - 46. Solve y - q - v = 4*s, -3*y = s + 11 for s.
-5
Let y(p) = -p**3 + 18*p**2 + p + 13. Let g be y(18). Solve -4*d - g = 3*r, -r - 2*d = -5*r - 12 for r.
-5
Suppose -4*s - s = 0. Suppose -4*b - 2 + 18 = s. Suppose -21 = b*z - 7*z. Solve -6*v = -o - 2*v + z, -2 = 2*v for o.
3
Let p be (-9)/72*-4*4. Solve 10 = l - 2*l + p*z, 3*z - 15 = 3*l for l.
0
Suppose 0 = -9*d - 3 + 21. Suppose 0 = d*v - v - 4, -4 = 2*x - 2*v. Solve -5*h - x*s + 2 = -3*s, s = -2*h + 5 for h.
1
Suppose 8 = -391*k + 395*k. Solve z - 3*b = -3*z + 24, -k = 2*z + 2*b for z.
3
Let s(k) = k**2 + 20*k - 5. Let l be s(-21). Solve 2*t + 23 = 3*u + 2*u, -4*t = l for u.
3
Let n = 35 - 25. Let u be (4 - 2/5) + 4/n. Solve 0 - 4 = -4*b + 2*l, 0 = b + u*l + 17 for b.
-1
Let a(u) = 2*u - 14. Let i be a(7). Let w be i - (3 + (2 - 9)). Suppose s = -w*s. Solve 0 = -q + 2*y - 5, 0 = -s*q - q + y - 2 for q.
1
Suppose 0 = 5*k - 11*k + 12. Solve 2*x + 2*l = k + 8, 4*x = -5*l + 22 for x.
3
Let x be -2*(1 + -4 - -1). Suppose k = x - 0. Solve -3*j - 4 - 9 = -2*w, 21 = -w - k*j for w.
-1
Suppose 1 = c + 1. Suppose a - w - 3 = -0*a, 4*a + 2*w - 12 = c. Solve 4*y + 6 + 2 = 0, -a*f + 17 = -4*y for f.
3
Let q(n) = 7*n**2 - 4*n - 3. Let u be q(-1). Solve -2*f - u = -2*w, f - 1 = -2*w + 1 for f.
-2
Let t(z) = 12*z - 115. Let o be t(10). Solve -4*k - 10 = -0*k + 2*n, o*k + n = -11 for k.
-2
Suppose 4*l + 2*r = 5*r + 22, -r = 2*l - 6. Let y be (84/(-35))/((-2)/5). Suppose -l*n + y = -n. Solve -4*w = -9*w + 10, n*o + 3*w - 2 = 0 for o.
-2
Let w = 1316 - 1311. Solve 3*j + 7 = -4*p, -2 = 2*p - 5*p + w*j for p.
-1
Let h(t) = -2*t**2 + 17*t + 11. Let z be h(9). Solve -4*u = -u + 3, -z*u = -b - 1 for b.
-3
Suppose -k - o - 10 = 0, 4*o = -k + o - 6. Let q(z) = -z**2 - 13*z - 8. Let u be q(k). Solve x + 3 = 3*p, 8 + 4 = -u*p - 4*x for p.
0
Suppose 24*i - 66 = 21*i. Solve 4*m + i - 7 = -q, -5*q = -4*m - 21 for m.
-4
Suppose 18 + 66 = 3*v. Let t be (-3)/(-6)*-6 + v. Let j be 2/5 + 15/t. Solve -3*c = y + j, 2*c + 4 = -0*c for y.
5
Let g be (6 - 7)/(2/(-22)). Let s be (5 - -11) + (-4)/2. Let k = s - 11. Solve 0 = 2*j + f + g, -2*j = 3*j - k*f for j.
-3
Let p(j) = j**3 + 7*j**2 - 7*j + 8. Let g be p(-8). Solve x - 16 = -3*n, -4*x - 3*n + g*n = -28 for x.
4
Suppose -24 + 23 = -q. Let l = -3 - -6. Solve -s = -a, s + q = -l*a + 5 for a.
1
Let n be 8 + (-5 - (-2 + -1)). Suppose -n*t + 2*t = -32. Let v = t + -4. Solve -4*f = -v*l - 13 - 23, -9 = -4*l - 5*f for l.
-4
Let r = -13 - 50. Let z = r - -68. Solve -z*b - 2*m = -4*m - 6, -4*m = 3*b - 14 for b.
2
Let w(z) = -z**3 + 10*z**2 - 5*z + 3. Let t be w(9). Let m = t - 37. Solve -2*r = -2*s + 16, s = -m*r - 2*s + 9 for r.
-3
Let j = 3080 - 3076. Solve z = -7*i + 2*i + 30, -z = -j*i + 15 for i.
5
Let f(y) = -y + 1. Suppose 1 - 4 = -w. Suppose -w*s - 2 = 2*b, -b - 5*s + 0*s = -6. Let o be f(b). Solve 4*a - 16 = 2*p + 2*a, -16 = -p - o*a for p.
-4
Suppose 0*i = 5*i. Let n(o) = o**3 + 4*o**2 - 7*o - 2. Let w be n(-5). Suppose -3*p = -w*p + 20. Solve 0 = 5*z - 5*d - 15, 0 = 4*z - 2*d - i*d - p for z.
-1
Let g(s) = s - 34. Let w(m) = -m + 51. Let t(q) = 7*g(q) + 5*w(q). Let x be t(-7). Solve -5*u + 3*h = 4, 2*h + 6 = -x*u - 4 for u.
-2
Let x be 290/(-30) + 1/(-3). Let c(h) = 4*h - 2. Let m be c(-4). Let k be (-418)/m - x/(-45). Solve 5 = 4*z - 2*l + k, -21 = -2*z - 5*l for z.
-2
Suppose 13*l + 2 - 80 = 0. Solve -l*k - 5 = -2*k + 3*u, 4*k = 5*u - 13 for k.
-2
Let x = -36 - -38. Suppose -x*r + w - 1 = -2*w, -2*w = 4*r - 22. Solve -5*z = -y + 10, 0*y + 2*z = 2*y + r for y.
-5
Let j(k) = -k**3 - k**2 - 3*k - 27. Let h be j(0). Let q = -21 - h. Solve 5*i - q = -3*t, -3 = -3*i - 0*t - 2*t for i.
3
Let i be ((-312)/(-21))/4 + (-28)/(-98). Solve -4*f = 3*v + 3 + 1, -4*f = i*v for f.
-4
Suppose 16*m - 19*m + 27 = 0. Let f = m + -7. Solve 9 = 3*g + 4*b - 2, -2*g + 6 = f*b for g.
1
Let z be 196/10 - 24/40. Suppose -4 + 1 = -g. Suppose z = g*i - 3*p + 4, -1 = p. Solve i*b = 4*u, -2*u + 5*b - 20 = -u for u.
5
Suppose 5*v - 7 = -2*p + 17, 0 = 4*p + 4*v - 24. Suppose -n + 12 = p*n. Solve 2*x - 2*y = 6, 3*x + 8 = 6*x - n*y for x.
4
Let j(b) = -b**2 + 36*b - 32. Let p be j(35). Solve a + 4*k - 1 = -0*k, 0 = 2*a - p*k + 9 for a.
-3
Let l be 4494/168 - (-2)/8. Solve l = -5*s - 2*f, s = -0*f + 5*f for s.
-5
Suppose -3*j + 17 = 4*n - 4*j, -4*n = 4*j - 12. Let r(h) = h - 1. Let t be r(n). Solve 5*x + t*z - 22 = 0, -2*x - 2 + 11 = z for x.
5
Let w(b) = -5*b - 10. Suppose -4*v - 6 = -2*v. Let t be w(v). Solve 3*o - 5 = t*m, 5*o = 3*o + 5*m for o.
5
Let t(l) = -l**2 + 2 + 3*l**3 + 0*l**3 - 2*l**3 + l. Let r be 0/(2*(-6)/4). Let f be t(r). Solve y + f*s = -1, -2*y - 12 = -5*y - s for y.
5
Let r be 0 - (-1 - (-1 + 2)). Solve r*s = 3*n - s + 6, -4*n + 2 = -2*s for n.
3
Let q(a) = 39*a + 276. Let l be q(-7). Solve -g = l*b + 4 - 12, 5*b = 5*g for b.
2
Let v = 894 - 889. Solve -4*s - 4 = b, -v*s - 6 = 4 for b.
4
Let d = 23 - 23. Suppose d = 5*n - 3*j - 92, -n + j = 6*j - 24. Suppose -3*z + n = 4*s, 3*s + 3*z = s + 11. Solve 3*a + 5*k + 4 = -11, -5*k = s*a + 15 for a.
0
Let c be (16/(-6))/(31/(-15) - -2). Let l = c + -36. Solve -l*m + 3*h = 18, m = 5*m + h + 10 for m.
-3
Let d = 5 + -1. Suppose l + 16 = 7*z - 2*z, -2 = -2*z - 4*l. Solve d*w + z*u = 4 + 23, -11 = -2*w - u for w.
3
Let v(k) = k**3 - 4*k**2 - 6*k + 10. Suppose 4*g = d + 1 + 10, -5*g = 3*d - 35. Let m be v(d). Solve 3*s + 3 + 3 = 0, s - 23 = -m*p for p.
5
Let z be (-3)/(-4)*280/42. Solve -4*s = -5*r + 25, s + 4*s + z = r for s.
0
Let p be (-2 + -1)/(2*(-2)/4). Suppose -p - 1 = -2*m. Solve -m*g = j + 15, -2*j - j = g + 20 for g.
-5
Let a be 1/(-2)*5/(15/(-12)). Let h(f) = 2*f**3 - 4*f**2. Let x be h(a). Solve -5*n - 5*q - 11 = 14, x = 4*n + 3*q + 16 for n.
-1
Suppose -3 = 3*o, -4*i - 2*o + 12 + 6 = 0. Solve -3*z = i*h - 11, -3*h = -0 - 3 for z.
2
Let x(u) be the first derivative of -2*u**2 + 6*u + 28. Let l be x(-2). Solve 0 = -2*w - 3*k - 2, 0*k = 5*w + 3*k + l for w.
-4
Let o = 82 + -77. Suppose 5*i - 3*w - 19 = 0, -2*i - o*w + 30 = 10. Solve -3*a + 1 = -i*h - 2, -3 = -5*h - 3*a for h.
0
Let g be ((-5)/((-25)/15))/1. Suppose 0 = 4*m + 4*k - 4, -2 = 2*k - 4*k. Solve m = -5*r - o - 17, g*r + 22 = -r - 5*o for r.
-3
Let a(d) = -d - 11. Let q = 18 + -26. Let y(i) = i - 7. Let p be y(q). Let z be a(p). Solve 5*m + n - 14 - 15 = 0, z*m - 5*n = 0 for m.
5
Let c = 17 - -13. Suppose -t + 6*t = 3*n - c, t = -n + 10. Suppose 0 = -3*z - 2*z + n. Solve 7 = -a + z*a + q, -3*a = 4*q - 23 for a.
5
Let k be (4/6)/(1/3). Suppose -492*b + 232 = -1244. Solve -3*p - 16 = -2*i + b*i, -2*p - 12 = k*i for i.
-1
Let k = -5 + 10. Suppose -q - k = 0, 2*f + 0*q + 4*q + 12 = 0. Solve 11 = -f*m + d - 2, 8 = -4*m - 4*d f