s, z + 3*v = -0*z - 4 for z.
2
Let q be (-7)/((-14)/6) + -2. Suppose -22 = 4*r + 2*k, 5*k = -3*r - r - 7. Let l = q - r. Solve -2*b + 6*s - 15 = s, -3*s = -2*b - l for b.
0
Let f(o) = o**2 - 7*o + 17. Let q be f(4). Solve 3*z = -p + q*z - 8, 2*z = -4*p - 12 for p.
-4
Suppose 0 = 4*l + i - 5*i - 16, 0 = -4*i. Suppose 0 = -l*p + 2 + 6, -a = 2*p - 4. Solve 2*t + 4*y + 18 = a, 8 = t + 2*t - y for t.
1
Suppose -p - 5*s + 24 = 0, 30 = 2*p + 2*s + 6. Let r be 1 - ((-12)/(-2))/(-3). Let k be (2 - -3)*(r - 1). Solve 2*o + k = -2*c, 2*c + o = -0*o - p for c.
-4
Suppose -3*f + 33 - 8 = -y, -2*f - 5*y = -28. Suppose 0 = -3*h + f + 63. Let k be -5*(0 - h/5). Solve 3*d - k = -d + 4*q, 5*d = -5*q + 10 for d.
4
Suppose 3*q - 10 = m - 13, -m = 2*q - 3. Solve m*f - 23 + 8 = -2*t, -t - 4*f + 15 = 0 for t.
3
Let j be 2*(-6 - -4) - (1 - 0). Let l be (-10 - -2)/(-1) + j. Solve l*h = 5*b - 5 - 3, 5 = -h + 4*b for h.
-1
Let g(h) = 2*h**2 + 26*h + 26. Let l be g(-12). Suppose 12 = 2*z + l*i, -5*z - 3*i + 23 = -1. Solve -2*y + 22 = z*n, -n + 3*y - 31 = -5*n for n.
4
Let y = 1093 + -1090. Solve -2*a + 6*a + 10 = -y*r, -4*r = -3*a + 5 for a.
-1
Let a(v) = 6 - 4*v**2 + 5 + 3 - 8*v - 5 + 5*v**2. Suppose l + 2*m = -3, 25 = 2*l + 3*l + 2*m. Let z be a(l). Solve 0 = -z*q - 3*h - 13, h - 2*h = -q + 1 for q.
-2
Let w(r) = 175*r + 877. Let a be w(-5). Solve 5*h + 0*h - 31 = 2*c, 4*h + a*c = 14 for h.
5
Let o be ((3 - 2) + 24/(-40))*5. Solve 0 = 4*i - i - o*n + 21, -2*n - 9 = 3*i for i.
-5
Let v = 273 + -271. Solve -v*w - 5 = 4*z - 21, -5*z + 25 = 0 for w.
-2
Suppose -8 = -12*o + 8*o. Suppose 0 - 4 = -4*y, g - o*y = 16. Solve 4*m = 2*l - m + g, 0 = 4*l + m - 8 for l.
1
Let j = 12 + -9. Solve -i + 2 = -j*a, 5*i = 4*a + 7*i - 14 for a.
1
Let a be 4 - 4*(-3)/(-6). Let g be a/9 - 364/(-63). Suppose 0*r - 4*r - 2*z + 14 = 0, 4*r - 21 = 5*z. Solve -2*l = r, 5*p - 5*l = -4 - g for p.
-4
Let g = 102 - 45. Let n = g + -52. Solve -s - 2*t - 2 = s, 0 = -s + n*t + 11 for s.
1
Let j = 5 + -5. Let m(y) = 2*y**3 + 3*y**2 + 4*y + 2. Let p be m(-2). Let r = 14 + p. Solve n - 4*f - 11 = j, 2*f + 2 = r*n + 7*f for n.
3
Let l be (-4 + -2 - -16) + -7. Solve h - 5*z + 19 = 0, -2*h = -l*z + 6 + 11 for h.
-4
Let p be (7*(-4)/(-35))/((-3)/(-15)). Let c = -7 - -10. Solve -o + 24 = p*o - z, -2*z = -o + c for o.
5
Suppose -2*b + b = -1. Let p be (b - -2)*-1 + 5. Suppose -p = -3*r + 7. Solve -4*w + 16 = 0, -2 = r*c + 3*w - 29 for c.
5
Let f = -27 - -42. Let w = f - 7. Solve 32 = 3*n + 3*s - w*s, n + 12 = -4*s for n.
4
Let j be ((-60)/(-24) + -5)*2*-1. Let s(i) = 3*i - 3. Let f be s(3). Let a be -1*3/f*-2. Solve 0 = 4*w + g + 12 + a, 0 = -5*w - j*g - 20 for w.
-3
Let b = 5 + 1. Suppose -11*f + 13*f = b. Let w be 1 + (-2)/(-1 + -1). Solve 2*u = -f*z - 8, w*z = 2*u + 3*u + 20 for z.
0
Let r = 20 + -16. Suppose 0 = -4*f - 4*c - 24, -2*f + 4*c + 6 = -r*f. Let j(g) = g + 12. Let y be j(f). Solve -y*q + k = -3 - 4, -2*k - 10 = -5*q for q.
4
Suppose 13 = -n - 0*n. Let f = -36 - n. Let t = f - -32. Solve 0 = -5*b + 4*z + 32, -2*b - 5*z = -2 + t for b.
4
Let u(d) = 2*d - 12. Let w be u(9). Solve -2*t + n + 5 = 4*n, 0 = t - 2*n - w for t.
4
Let t(s) = -s - 1. Let f be t(-1). Suppose f = -b + 3*b - 16. Let p be (0 - 1)*(-8 + b). Solve 0 = q, 3*v + q + 16 - 1 = p for v.
-5
Let v = 11687 - 11677. Let k = 0 - 0. Solve k = 3*l + 4*z + 20, 4*l + 2*z = 4*z + v for l.
0
Let r = 326 + -293. Solve -18 = 4*a - 2*v, -5*v = -5*a + 8 - r for a.
-4
Let o = 39 - 29. Solve -6*z + 2*z = -5*y - 8, 5*z - y = o for z.
2
Let l = 6 - 4. Solve 4*o = l*q + 3*q - 1, -q = -o - 1 for q.
-3
Let n(g) = -3*g - 6. Let y = -104 - -100. Let j be n(y). Solve 5*i - 14 = -m, j*i - 20 = 5*m + i for m.
-1
Suppose 8 = 52*n - 50*n. Solve n*q - 4*y = -7 + 19, -11 = -q + 3*y for q.
-1
Suppose -9*b + 10 = -4*b. Let u(c) = c + 16. Let k be u(-12). Suppose 0 = k*a - 11 + 3. Solve a*x - s = 11, x + s + b = -0 for x.
3
Let v(d) = -d**3 - d**2 + 11*d + 21. Let g be v(-4). Solve 20 = l + 4*j, -g = -8*l + 3*l - 5*j for l.
0
Suppose y = 54 - 24. Solve m + 5*c + y = 0, 0*m - m = -5*c - 20 for m.
-5
Let i = 75 + -70. Suppose -i*l = 5*q - 0*l, -l = 5*q - 20. Solve -5*v + 7 = -4*h, -2 = -3*v + h + q for v.
3
Let v = 192 + -184. Solve 8*x + v = 4*x, 2*c - 3*x = 6 for c.
0
Let g = -1 - -1. Suppose -5*x - 3*b = -8, -4*b - 15 = 1. Suppose -3*f = -x*f + 14. Solve a + 4*v - 16 = g, -2*v = 2*a - 0 - f for a.
4
Let s = -22 + 25. Suppose -s*v = -3*v - v. Solve 0 = 3*y - 4*k - 32, 3*y + k - 7 = -v*y for y.
4
Let o be 104/20 - (-24)/(-20). Solve 9*w = -4*p + 4*w - 2, 0 = -2*p - o*w + 2 for p.
-3
Suppose -16*n - 9 = -41. Solve -n*b - r + 0*r = -4, -2*b + 4 = 3*r for b.
2
Let q(a) = -a**2 - 5*a + 3. Let h be q(-4). Let r(k) = k**2 - 4*k - 5. Let w be r(4). Let g = h + w. Solve 3*f - 2*f = -5*z + 21, g*f + 3 = -z for z.
5
Let m(g) = -g - 1. Let u be m(-5). Solve -4*a + u = 0, -3*c - c - 2*a + 18 = 0 for c.
4
Suppose -2*n + 5*u + 22 = -4, 0 = -3*n - u + 5. Let p be (-1 - 0)/(n/(-15)). Solve -d = p*q - q + 8, -2*d - 12 = 4*q for q.
-1
Let o be (45/30)/(1*(-2)/(-4)). Suppose -n + 2*y + o = -0*n, -4*n + y + 12 = 0. Solve n*v = -4*s + 14, s - 5 = -3 for v.
2
Let z = 104 - 98. Solve -5*j - z*m = -2*m, 0 = -3*j - 3*m for j.
0
Suppose -d + 1 = 2*z + 2*d, 3*d = 3*z - 9. Let l be ((-4)/(-6))/(((-40)/(-42))/10). Solve 0 = -2*r - 5*x + 2*x + l, z*r + 4*x = 6 for r.
5
Let s = -19 + 22. Let x = 3 + -4. Let d be (-25)/(-1) - (-1 - x). Solve 0 = -5*p - 6*r + r - d, s*r = p + 5 for p.
-5
Let r be (-2)/6 + 2608/48. Suppose 6*u = 3*s + u - 22, -4*u = -5*s + r. Solve -3*b = -5*i - s, 5*i + 24 = -3*b - 2 for i.
-4
Let i = 618 - 584. Solve 4*q - 3*r + i - 7 = 0, -1 = -3*q - 2*r for q.
-3
Suppose -p - 3 + 5 = 0. Suppose a = 5*q + 19, 2*q + q = p*a - 17. Solve -4*l = -a*v - 32, 5*v - 1 + 21 = l for v.
-3
Suppose 3*f - 451 = -451. Solve 3*g + 3*u = f, -3*g + 2 = -4*g + u for g.
-1
Let y(p) = -p**2 + 5*p + 3. Let j be 6 + 2 - (5 + -2). Let v be y(j). Solve -3*r + 4*c - 40 = -7*r, -v*r - 2*c + 25 = 0 for r.
5
Let b(a) = -a**3 + 7*a**2 - 8*a + 15. Let q be b(6). Suppose -q*r = 5*h + 2*r - 10, -3*h - r + 12 = 0. Solve -2*z + h*i - 32 + 13 = 0, 4 = z + 2*i for z.
-2
Let s = 45 - 25. Suppose -a + 20 = g - 4*g, -s = -3*a + g. Solve y + 0*y = -b - a, 4*y = 4*b + 12 for y.
-1
Let i be ((-42)/(-8))/(9/(-24)). Let k = 19 + i. Suppose k = g + 2. Solve -f - 4*c + 2 = -3*c, 15 = g*c for f.
-3
Let d(j) = -29*j. Suppose 0 = 2*q - 5*q, 2*h + 5*q + 2 = 0. Let y be d(h). Solve -o = 4*o - 4*r - y, -12 = -2*o + 2*r for o.
5
Let r = 1372 - 1367. Solve -3*l + r*t = 2*t, 4*t = -2*l - 18 for l.
-3
Let w = 30 + -26. Suppose 8*u + 38 = w*m + 3*u, 2*m - 28 = -2*u. Solve 0 = 5*i - 3*x - 22, -2*i - 5*x = -3 - m for i.
5
Let w(u) = -u**2 + 13*u - 18. Let j be w(11). Solve -y = -2*r - 1 - 1, j*y = 3*r - 2 for y.
-2
Let j = -11 - -30. Let f(z) = -z**2 + 2*z + 8. Let s be f(6). Let u = j + s. Solve 5*d - 2*c = u, 2*d = d - c + 2 for d.
1
Suppose 2*o = -2*h - 12, 3*o + o + 8 = 0. Let a be 2/(h*(-2)/40). Solve a = -b + 2*f, b - 3*f + 13 = -0*f for b.
-4
Let u = -578 - -588. Solve 2*r - 4*j - 10 = 0, -r - 2*j = -5*j - u for r.
-5
Suppose -d - 1 = -3, -2*d = 2*o - 16. Suppose o = 3*b - 3. Let h be (-78)/(-9) + (-6)/(-18). Solve b*j - c = c - 7, 5*j = 2*c - h for j.
-1
Let u be 4/(-1) - (-4 + -15). Suppose 0 = 24*k - 27*k + u. Solve k*f - 4 = -2*v + 3*v, -5*f + 6 = v for f.
1
Let t = -104 - -109. Solve -5*g - 3*n = -4, 5*n + 0 - 10 = -t*g for g.
-1
Let m(j) = -5*j - 41. Let y be m(-11). Suppose 9*q - y = 4. Solve -2*t - 11 = -2*u - 1, -2 = -q*u - 2*t for u.
3
Suppose 4*n - 20 = -n, -5*n = 3*v - 20. Solve -5*b + 20 = v, c + 0*c - b + 6 = 0 for c.
-2
Let i be (4/4)/((168/(-16))/(-21)). Solve 4*x + c = 8, 18 = -i*x + 6*c - c for x.
1
Let g(z) = -6*z**2 - 14*z - 5. Let m be g(-1). Solve -m*t - 6 = a - 21, 15 = 5*a for t.
4
Let w be (40/80 - (-50)/4)*1. Solve -k + w = 3*i + k, 0 = i + 4*k - 11 for i.
3
Let f(d) = -17*d**3 + 2*d**2 + 1. Let k be f(-2). Let s be (-2)/9 - k/(-45). Solve 6 + 5 = l - 2*u, s*l + u + 2 = 0 for l.
1
Let k(j) = -j + 6. Let f be k(6). Suppose -5*h + 0*h = f. Let i(q) = -q + 22. Let v be i(2). Solve 0 = 5*a - h*a - 5*n - 20, -5*a + v = -2*n for a.
4
Suppose -5*d + 7 = 32. Let c = 12 + -4. Let j = d + c. Solve 4*z = -2*h - 18, 3