3*f + 2*j. Suppose 20 + 7 = -3*z. Let h be (-263)/z - 2/9. Solve 2*d = -y, d - f*y + 11 = h for d.
2
Let k be (1 + 1)/((-284)/(-710)). Solve -10 = 4*a - k*p, -p = -2*a + 4*p for a.
-5
Let p = 8 - -12. Let j = 22 - p. Solve 0 = -j*t + 3*q - 18, -t + 2*q - q = 7 for t.
-3
Let z be 1 + -1 - (-6 + 3). Suppose 9 = -3*p + 6*p. Solve z*m - 8 = 5*x, -m - p*x - 1 = m for m.
1
Let m(b) = b**3 - 2*b**2 + b + 2. Let a be m(0). Let f = 11 + a. Solve 0 = -d + 3*g - 11, 0 = 4*d - 7*d + 5*g - f for d.
4
Let z = -31 - -22. Let j(m) = m + 16. Let d be j(z). Let o = d - 6. Solve -4*h = 3*i + 6, -2*h + 5*i = -9 - o for h.
0
Let k be ((-1 + 4/8)*0)/(-1). Let f = 1 + 1. Solve -f*a + k*h = 5*h + 5, -5*h - 15 = 0 for a.
5
Let d be (-1 - -4) + 0/2. Solve d*v + 2 = 4*k - 2*v, k - 4 = 3*v for k.
-2
Suppose -5*g + 4*d + 6 = 0, -7*g = -2*g + 4*d - 14. Solve -5*q - g*l = -0*l - 1, 0 = 4*q + l - 2 for q.
1
Suppose 35*h - 31*h + 3*x = 7, h - 3*x - 13 = 0. Solve 0 = -5*r + 5*k - 20, 0*r - 4*k - 16 = h*r for r.
-4
Suppose -w + 15 = -5. Suppose -r + w = 4*r. Suppose -r*q = 3*a + 2*a - 30, -5*q + 3*a + 19 = 0. Solve -21 = -q*l + 4*p, -3*p - 23 + 7 = -4*l for l.
1
Suppose -m + 7 = 5*h - h, -4*h + m = -17. Suppose v = -h*q - 3*v + 31, -2*q - v = -14. Solve -2*x + q*a + 1 = 2*a, -3*x + a = 2 for x.
-1
Let a(z) = -z**3 - 19*z**2 + 69*z - 6. Let q be a(3). Solve 0 = 2*v + q*l + 3, -6*v + 5*l - 11 = -4*v for v.
-3
Let z(q) = 2*q**3 + q**2 + q. Let d be ((-6)/(-9)*3)/(-2). Let b be z(d). Let i be (-2 - 22/b) + -3. Solve i = -a + 5*x, -5*a + 3*x + 2*x = 10 for a.
-1
Let i = -72 + 171. Let c = i - 90. Solve 5*f = 4*r - c*r - 10, 0 = -2*r + 2 for f.
-3
Suppose -3*n + 5 + 1 = 0. Suppose -2*s - n*s = 0. Suppose 4*d = 4*y + 20 - 72, 0 = -2*y + 3*d + 34. Solve -2 = l, s = 3*o + 2*o + y*l + 25 for o.
-3
Suppose -4*j = -3*j. Let a be -6*(128/12)/4. Let n = a - -21. Solve 5*r = 2*s + 21, j = n*s - 0*r + 4*r + 3 for s.
-3
Let t(z) = -9*z - 14. Suppose 0 = f + 5 + 1. Let u be t(f). Suppose -12*b + 17*b = u. Solve 2 = 2*q + 2*x, -q - b = -3*q + x for q.
3
Let z = -7 - -9. Suppose z*o - 4*o = 3*w - 15, 3*o - 5 = -w. Suppose -p = -w*p. Solve -3*a - m = -7 + 2, p = 3*m - 6 for a.
1
Let b be 3/(-2) - 230/(-4). Let g be b/12*(-36)/(-21). Solve -3*k - 18 = 3*m, -g*m + 3*m - 10 = k for k.
-5
Suppose 2*o + p = 5*o - 9, o - 2*p = 8. Suppose 0 = -6*b + o*b + 20. Suppose 3*s = 3*i - 3, -25 = -b*s - 3*i - 2*i. Solve 0*u + u + 8 = j, 4*u = -s*j - 8 for j.
4
Suppose -28*t = 16 - 128. Suppose -4*o + 5*c = -23, 5*o - 3*c = -7*c - 2. Solve -5*j - n - o = 0, 5*n + 6 = -4*j - t for j.
0
Let m(z) = -z**3 - 6*z**2 + 7*z + 3. Let d be m(-7). Suppose 11*r - 16 = 3*r. Solve r = -2*k + 4*v - 0, -d*v - 6 = 0 for k.
-5
Let x be (5 - -1)/((-2)/5*-5). Solve -g - 6 = g - x*k, 3*g = -5*k - 9 for g.
-3
Let h(t) = -t**2 + 8*t + 4. Let o be h(8). Suppose -o*f = f. Suppose z + z = f. Solve z = 3*m + 4*i + 21, 6*i + 6 = 4*i for m.
-3
Let a(c) = 3*c + 6. Let z be a(3). Let d = z - 11. Suppose -64 = -5*r + t - 9, -4*t = -2*r + d. Solve -r = -3*n, -j + 2 = -6*j + 3*n for j.
2
Let a = -26 + 29. Suppose 2*w + 2 = 2*y, y + 2 + a = 4*w. Solve 9 = -4*l + 5*t, 0 = 2*l - y*t + t + 2 for l.
4
Suppose 16 + 22 = 3*s + 2*w, -5*s - 2*w + 58 = 0. Let i(k) = -2*k - 6. Let r be i(-4). Solve 4*q + 2*d = d + 8, -2*d + s = r*q for q.
1
Let g(a) = 6*a**2 - 9*a - 3. Let z = 18 + -14. Let t be g(z). Let i = t - 37. Solve -2*w = 5*x - i, -w - 2*x = -3*x - 3 for w.
5
Let g(k) = k**2 + 3*k. Let p be g(-3). Solve 0 = -2*f - p*m + m + 12, -5*m = -5*f + 35 for f.
5
Let j(c) = 70 + c**2 + 4*c - 43 - 39. Let b be j(-6). Solve 6 = -5*f - 2*y, b*f = f + y for f.
-2
Let u(l) = l**2 - 16*l + 37. Let x(j) = -2*j**2 + 32*j - 75. Let n(a) = 7*u(a) + 3*x(a). Let i be n(14). Solve -4*k - 2 = 3*y, -4*y + 6*y = -5*k - i for y.
2
Let w be 0/(6/(-4)*-2). Let o = w - -5. Solve -2*c = -x - 4, 3 = -x - o*c - 1 for x.
-4
Let c = 21 + -37. Let r = c + 25. Suppose -3 - r = -4*s. Solve l = d - 2 + s, -2*l + 4*d = -4 for l.
0
Let x be (-20)/(-3)*(-18)/(-30). Solve 0 = x*h, 0 = n + 4*n - 3*h + 5 for n.
-1
Let f(x) = -29*x**2 + 28*x**2 - 3*x + 2*x + 6. Let v be f(2). Solve v = 5*u + i - 9, -u + 2 = -i + 5 for u.
1
Suppose -13*o - 1173 = -82*o. Let w = -15 + 11. Let v be -5*(-1)/((-10)/w). Solve 0*s = -2*s + 4*c - 10, -5*s + v*c = o for s.
-3
Suppose 0 = 5*t - 2*k - 27, 5*k = t + 5 - 15. Let v(p) = p**2 - 6*p + 10. Let i be v(t). Solve -5*r - 1 + 26 = i*u, 0 = -4*r + 20 for u.
0
Suppose 2*g = -w + 3, -5*w - 25 = 4*g - 22. Solve 1 = -2*c + 3*y - 1, g*c = 5*y - 5 for c.
5
Let w(g) = -15*g - 10. Let y be w(-1). Solve q = -4*p, 4 = y*p - 3*q + 21 for p.
-1
Let t(p) = p**2 - 36*p + 101. Let f be t(33). Solve 4 = 4*u - l, f*u + 8*l - 8 = 7*l for u.
2
Let o(r) = -r - 1. Let k be o(-3). Let v = -5472 + 5479. Solve 2*i + 6*h = v*h, 2*i - k*h = 0 for i.
0
Suppose 3*d + 0*d = 0. Suppose 0 = 5*u - 5*k - d + 45, -3*u = -5*k + 25. Let g be 3/(-9) - u/3. Solve g*x - 12 = 2*j, -2*j = x + j - 4 for x.
4
Suppose 0 = -11*i + 59*i - 144. Suppose 5*w = 4*j - 18, -2 - 7 = w + j. Let v = 8 + w. Solve -4*m + 24 = i*a, -5*m - 5 = -v*a - 3*a for a.
4
Suppose -6*s + s = 0. Suppose 8 = -w - x, -3*w - w - 2*x = 38. Let r(f) = -3*f - 18. Let p be r(w). Solve -2*c + 4*j - 15 = c, 3*c + 4*j + p = s for c.
-5
Suppose 0*r - 13 = -2*r + 5*a, 5*r + a + 8 = 0. Let h be (3/5)/r*-5. Suppose h*w + w = 12. Solve 0 = w*g - 3 - 12, -5*c + 20 = 2*g for c.
2
Let d be (-2)/(-7) - (-184)/(-56). Let n be d/(-12)*84/7. Solve 5*i + u = 4*u + 29, 0 = -n*i - 3*u + 3 for i.
4
Suppose -4 = -4*b + 6*b, -4*p - 4*b - 20 = 0. Let i be (p - 31)/2*(1 + -2). Solve -3*y + 5*c = y + i, 4*y + 9 = -3*c for y.
-3
Let f be 3 + 6/(3 - 0). Suppose 8 = -f*u + 28. Solve -20 = -5*o, -u*p + 2*p = o - 14 for p.
5
Let x = -33 - -36. Suppose 0 = -5*g - x*l + 32, 0 = 2*g - 3*l + 8*l - 28. Solve 0 = -3*a - g*u + 16, 6*a = a - 4*u + 24 for a.
4
Let f(q) = q**3 - 10*q**2 - 11*q + 4. Suppose 0*w - 2*w = -22. Let k be f(w). Solve -3*h - 16 = h - 4*x, x = -h + k for h.
0
Suppose 94 = -2*t + 100. Let p = 2 + 2. Suppose 0 = -4*y + 4, -4*f + 2*y = -p - 2. Solve -5*m + f*r + t*r + 15 = 0, 2*r = -5*m - 20 for m.
-2
Let b(a) = a - 2. Let y be b(5). Let c(n) = 46*n + 416. Let v be c(-9). Let j = 1 - -1. Solve 14 = j*z + 3*h, -3*z - y = -v*z - h for z.
1
Let y be 8 - (-20)/15*-3. Suppose 7*n - 2*n - 15 = 0, -3*c + 6 = -y*n. Suppose -h + c*h = 10. Solve -h + 1 = p - b, 2*p - 4 = -4*b for p.
0
Let n = -1466 - -1483. Solve 4*a - 3*a - n = -4*z, 0 = 4*z + 5*a - 5 for z.
5
Let p(w) = 4*w**3 - w - 2. Let o be 2/(-11) - (-120)/55. Let q be p(o). Let h = -10 + q. Solve g + 2*s + 4 = -g, -4*g - h = -s for g.
-4
Suppose 7 = -4*n + 15. Suppose -2*o - 18 = -4*b, 3*o = -5*b + n + 15. Solve -x + 5*v + 9 = -0*x, 0 = -b*x - 2*v + 14 for x.
4
Let y be (-6 + -16 - -21)/((-1)/2). Solve 4*w - 1 + 6 = 3*v, -y*v + w = -5 for v.
3
Let c(j) = j**3 + 4*j**2 + 7*j + 22. Let y be c(-3). Solve 4*g + 3*o + y = -0*g, 0 = 2*g + 4*o for g.
-4
Let b be (3/(-2))/(72/(-192)). Let n be 2 - (-1 + -1)*1. Suppose 63 = 5*h - 32. Solve -2*u + h = -u + 4*j, b*u + n*j - 28 = 0 for u.
3
Suppose 5 = -b, 3 = 2*n + 4*b + 11. Solve 2*z + n = -2*f, -16 = 5*f + z - 1 for f.
-3
Let z(h) = h**3 + 6*h**2 + 18 - 25 - 2*h**2 - 6*h. Let x be z(-5). Let b be (-1 - -18) + (-1 - x). Solve 3*t = 3*m + b, 4*m - 3*t + 18 = -4 for m.
-4
Suppose -6 = -2*u + 6. Let f be 16/u - 36/54. Let p = 33 + -7. Solve p = 5*m + f*w, 5*m - 5*w = -10*w + 35 for m.
4
Let f be 170/60 + 2/12. Suppose -f*v - 1 = -7. Solve v = -2*m - 2*i, 0 = 2*m - 2*i - 15 + 5 for m.
2
Let i(s) = -s**2 + 9*s - 3. Let o be i(9). Let d be ((-2)/o)/((-22)/(-495)). Let c = 26 - d. Solve -4*m + b = -2*m - 7, m - 3*b = c for m.
2
Let i be (0 + 1)*(5 + 0). Let a be 1/6 + 1 + 87/18. Let t(p) = -p**3 + 8*p**2 - 13*p + 11. Let w be t(a). Solve 0 = -5*k, -w*r - 20 = k - i for r.
-3
Let f = 2025 + -2022. Solve f*z - 4*h - 4 = 0, 8*z + 5*h - 18 = 6*z for z.
4
Let s(g) = -g**3 + 12*g**2 + 14*g - 2. Let x be s(13). Let c(i) = -i + 14. Let q be c(x). Solve -m + k - 11 = -3*k, m = q*k - 7 for m.
5
Let t(k) = -k**3 - 5*k**2 - k - 17. Let d be t(-5). Let o be (-45)/(-18)*d/(-5) - 1. Solve -o*x + 0*w - w = -1, 5*x - 3*w + 3 = 0 for x.
0
Suppose 0 = -3*o - 2*o + 25. Suppose -t - 3 = -29. Let