) = -k**3 + 9*k**2 - 11*k - 2. Let p be f(7). Solve -5*d - p + 4 = 0 for d.
-3
Let s(x) = x**3 + 7*x**2 + 5*x + 5. Let f be s(-5). Let b be (-1)/((-3)/f - 0). Solve c + b = -c for c.
-5
Let y be (2 - (-4)/(-3))*3. Solve 0 = -2*z + 3*z - y for z.
2
Let p be ((-20)/8)/((-1)/2). Suppose -w - 4*n - 7 - 1 = 0, 2*n + 4 = -3*w. Suppose -p*z + w*z = -10. Solve z*c = -c for c.
0
Let s(v) = 7*v**3 + 10*v**2 + 6*v + 5. Let z(y) = 10*y**3 + 15*y**2 + 9*y + 7. Let b(h) = 7*s(h) - 5*z(h). Let c be b(-5). Solve f = -2*f - c for f.
-5
Let c = -15 - -18. Solve a - 4 = -c*a for a.
1
Suppose 0 = -d + 2*z - 2, -z - 2 = 5*d - 4*d. Let l = 2 + d. Let o = 11 + -8. Solve 0 = o*f - l*f - 6 for f.
2
Let g = -9 - -35. Let v = g + -16. Solve -6*j - v = -j for j.
-2
Suppose 0*x = 4*x - 48. Let y = x + 5. Let l = 38 - y. Solve l - 6 = 5*d for d.
3
Let l(x) = x. Let k be l(3). Suppose 0 = k*r - 2*r + 10. Let u(f) = f**2 + 8*f - 11. Let b be u(r). Solve 0 = -5*a + b + 1 for a.
2
Suppose 5 = 5*q + 85. Let x = q + 28. Solve 5*a - x = 3 for a.
3
Let r be 1*(-14)/(-2)*1. Let g = -21 + 21. Solve g = r*w - 3*w - 4 for w.
1
Suppose -4*d = -0*d - 20. Let v(j) = j**3 - 2*j. Let a be v(-2). Let h = -4 - a. Solve h = -0*k + d*k + 20 for k.
-4
Let l = -9 - -9. Suppose -3*h + l*t = 3*t, -t = -h + 8. Solve 5*a - h + 29 = 0 for a.
-5
Let r(d) = d**3 + d**2 + 11. Let o be r(0). Let p = -8 + o. Suppose 45 = 2*n - 5*z, 4*z - 48 = -5*n + 48. Solve s + n = -p*s for s.
-5
Let l be -3 + 5 + -5 - -3. Suppose u + l = 3. Solve -15 = -8*w + u*w for w.
3
Suppose 5*p - 5*n + 98 = -3*n, -5*p = -n + 94. Let u = -12 - p. Let b = 1 - -2. Solve -r - u = -b*r for r.
3
Suppose 0*h - 3 = -3*h. Let c(r) = r**3 - 14*r**2 + 5. Let k be c(14). Solve g + k = h for g.
-4
Let m(z) = z**3 - 6*z**2 + 4*z - 3. Let k be m(6). Suppose -2*n + 2*h = -12, -4*h + 2*h - k = -5*n. Let f be (-91)/(-21) - (-2)/(-6). Solve f*a = 3*a + n for a.
3
Suppose i - 21 = 4*a, 3*i - 4 = -2*a - 11. Let h be i/(-4) + 116/16. Solve -h*x + 3*x = 0 for x.
0
Let n = 8 - 3. Let t(l) = -l**2 + 7*l + 2. Let s be t(7). Solve s*c - c = n for c.
5
Let y = -8 - -11. Suppose k + 0*k - y*t - 11 = 0, 0 = 3*k - t - 57. Solve u + 3*u = -k for u.
-5
Let f be ((-18)/4 - -3)*-4. Solve 3*w + 9 = -f for w.
-5
Let w = 6 - -3. Suppose 0 = -a - 2*a. Suppose 5*u - w - 21 = a. Solve -r + u = r for r.
3
Let l = 40 + -40. Solve l = -2*k + k - 3 for k.
-3
Suppose 126 = g + 114. Solve -8*j = -4*j + g for j.
-3
Let y be 4 + 2 + 0/(-2). Solve -4*g = 2 - y for g.
1
Suppose -16 = f - 5*f. Solve 2 = t + f for t.
-2
Let d(z) = 3*z - 17. Let x be d(7). Solve 9 = l - x*l for l.
-3
Suppose 0 = -a - a + 6. Solve -13 = a*k + 2 for k.
-5
Let h(x) = 3*x - 1. Let u be h(2). Let q(k) = k. Let t be q(u). Solve 2*p = t*p + 6 for p.
-2
Suppose 0 = 3*v - 5*c - 43, -2*v + 25 = 3*v + c. Suppose 4*g = v - 2. Solve 2*r + g + 7 = 0 for r.
-4
Let g be ((-3)/9)/(1/6). Let s = 2 + g. Suppose -2*z = -7*z. Solve s = -z*o + o + 3 for o.
-3
Suppose 0 = -47*f + 48*f - 5. Solve 2*h = h + f for h.
5
Let i(r) = r + 9. Let b be 2/(-12) + (-2)/(-12). Suppose 0*a + a + 17 = -2*l, -3*a - 3*l - 39 = b. Let g be i(a). Solve g = -3*u + 5*u - 6 for u.
3
Let l(b) = b**2 + b + 2. Let u be l(0). Suppose -30 = -u*k + 3*s, s = -5*k - 3*s + 52. Solve 2*n + k = -n for n.
-4
Let p(o) = -o**3 + 6*o**2 - 4*o - 3. Let b be p(5). Suppose 5*y - 20 = -4*x - 50, y - 4*x = 18. Let j be (3 - 2)/(y + 3). Solve -t = j + b for t.
-3
Let x be 2/6*15 - 2. Solve -x - 17 = -4*a for a.
5
Suppose 12 = -3*k - 3*t - 0, 0 = -5*k - 3*t - 20. Let z be k/(-14) + (-10)/35. Suppose 0 = 5*y + 2 + 8, -4*i - 4*y + 8 = 0. Solve 0*j - i*j = z for j.
0
Let i(k) = 1 - k**3 - k + k - k - 6 - 8*k**2. Let j be i(-8). Suppose j*s = -0*s. Solve x + s - 1 = 0 for x.
1
Suppose 2*c = -5*h + 12, 0 = 3*h + 2*c - 10 + 6. Solve h = -5*a - 21 for a.
-5
Let l = 7 + -2. Let g(n) = -3*n - 13. Let r be g(-8). Solve l*i + 36 = r for i.
-5
Let x = 12 - 10. Solve v - x = 3*v for v.
-1
Let p = -4 - -4. Solve 3*v = 15 - p for v.
5
Let u be (-2)/5 - 32/(-5). Let v(s) = -2*s - 1. Let b(g) = -g. Let n(k) = b(k) + v(k). Let d be n(-1). Solve u + 0 = d*o for o.
3
Let p be (-5)/(-2)*(-11 - -19). Solve i - 5*i = -p for i.
5
Let q(l) = 5*l - 15. Let g be q(5). Suppose 0 = -6*i + 2*i + 20. Solve -i*v = -3*v + g for v.
-5
Suppose 3 + 5 = 2*j. Solve -4*v = -2*v + j for v.
-2
Let i be 6/(-9) - 123/(-9). Let w = i + -11. Solve 0 = w*p + 4 - 8 for p.
2
Suppose 0 = -m - 2*m - 42. Let v be 4/14 - (-88)/m. Let i = -3 - v. Solve 0 = -r + i for r.
3
Suppose 4*a - 13 = 19. Solve a = -4*o + 2*o for o.
-4
Let p be (-1 + -1)*2/(-4). Suppose j + p = 0, -2 = 2*x + j - 7. Solve -6 = x*q + 3 for q.
-3
Let j = 11 + -7. Suppose -4*m = -6*m + j. Solve m = -5*n + 17 for n.
3
Suppose -3*f = 3*x - 113 + 23, -2*x - 76 = -2*f. Suppose -3*u = -u - f. Solve 3 + u = 5*g for g.
4
Let c = -4 - -7. Suppose -5*t = -4*t + c. Let o = t - -3. Solve o = 2*n - 7*n + 25 for n.
5
Suppose 25 = -5*p, -4*j = j - 5*p - 35. Suppose j*h - n + 17 = 5*h, 23 = 4*h + n. Solve -h*f - 10 = -f for f.
-2
Let r = 26 - 14. Solve 0 = 4*d - r - 0 for d.
3
Let n(h) = 2*h**2 - 5*h + 5. Let j be n(2). Solve j*y + 0 = -3 for y.
-1
Suppose -2 = 5*q - 17. Let a(i) = -8*i + 1. Let u be a(-1). Let y be (-3)/(-2 - ((-2)/1 - -1)). Solve y*n - u = q for n.
4
Suppose 4*z + 96 = 5*k, -5*k = -3*z - 117 + 20. Let d be (2/(-3))/((-1)/3). Suppose 0 = -d*w + 3*w - 5. Solve -w*a + k = -10*a for a.
-4
Suppose 3*u - s = 20, 23 = 4*u - 0*u - 5*s. Let i = 12 - u. Solve 0*z = i*z + 5 for z.
-1
Let s be 18 + 3 + 1 + 0. Suppose -3*q + 5*a = 19, 2*a = -q - 2*a + s. Suppose 0 = -3*b - 2*d - q, -4*b - 4*d - 6 = b. Solve -b*z = -z for z.
0
Let k(j) = j**2 - j + 2. Let v be k(0). Suppose -3*u + 10 = -5*b, -6*b = -b - 5. Let q(t) = 5*t - 11. Let l be q(4). Solve -l = u*s - v*s for s.
-3
Suppose -5*t = -10, 0 = 2*j - 0*j - t + 10. Let z be 7/((-14)/j) - -1. Solve z*f = -4 + 10 for f.
2
Let v = -10 - -10. Suppose 5*r + m - 4 = 0, v*m - 2 = 2*r + 4*m. Solve -i + 2 = r for i.
1
Let n(f) = f**3 - 3*f**3 + 3*f**3 + 0 - f + 7*f**2 - 4. Let b be n(-7). Solve -b*g = 2*g for g.
0
Suppose 5*q = 3 - 33. Let s = -2 - q. Suppose s*w - 24 = w. Solve 0*l - w = -4*l for l.
2
Suppose 0*f = f + 3, 0 = p - 3*f - 12. Solve -p*r + 10 = -8*r for r.
-2
Suppose c + 0*c = -6*c. Solve c*p = 2*p - 10 for p.
5
Suppose 5*i = i + 3*a + 3, 3*i + 5 = -5*a. Solve i = 5*p + 19 + 1 for p.
-4
Let w(v) = v**2 + 9*v - 7. Let j(h) = 2*h + 2. Let s be j(-6). Let r be w(s). Solve -r + 4 = -i for i.
-1
Suppose -7*b + 10 = -5*b. Suppose b*z - 3*o - 10 = 12, -5*o = 5*z + 10. Solve -z*x = 6 - 0 for x.
-3
Suppose 0 = 5*i - 0*i - 3*t - 9, 0 = -4*i + 5*t + 15. Solve 2*u = -i*u for u.
0
Let u be ((-44)/(-12) + -3)*30. Let b = -14 + u. Solve -4*i + 6 + b = 0 for i.
3
Let t be ((-120)/(-70))/(2/7). Solve 0 = 2*o - t*o - 8 for o.
-2
Let n(y) = -y**3 - 4*y**2 - 5*y - 4. Let f be n(-3). Solve f = -x - 0 for x.
-2
Let v = 14 + -14. Suppose 5*o + 2*r - 25 = -3*r, -5*o - r + 17 = v. Solve b + 1 = -o for b.
-4
Suppose -2*w - 42 = -8*w. Solve 2*t = w + 1 for t.
4
Let s(p) = -3*p**2 + 4*p**2 + 7 - 8. Let c be s(1). Let v be c/(3 + 2 + -3). Solve v = -a - 2*a + 3 for a.
1
Suppose 0*t - t + 12 = 3*u, -4*t - 3*u = -48. Suppose -1 = 2*k - 3*k + 4*i, 3*k + 3*i = -t. Let g(z) = z**2 - 1. Let l be g(k). Solve -y - y = l for y.
-4
Let y(w) = -w**3 + 4*w**2 + 8*w - 7. Let x be y(5). Let n(u) = u**3 - 7*u**2 - 9*u + 8. Let v be n(x). Let b be (-5)/(-3) + 2/6. Solve v*t = b*t for t.
0
Let l(v) = v**3 - 5*v**2 + v. Let g be l(5). Suppose 0 = g*b - 2*b - 42. Let r = -7 + b. Solve 2*m = r - 1 for m.
3
Let h be 8 - 16/4 - -1. Solve 0 = -h*z + z for z.
0
Let s = 7 + -5. Solve 0 = -5*y + s*y - 15 for y.
-5
Suppose -44*x = -46*x + 36. Let s(d) = -3*d. Let p be s(-2). Solve 0 = 3*y + x - p for y.
-4
Let s(l) = -l**3 - 14*l**2 - 14*l - 13. Let v be s(-13). Solve 3*r + 5 + 7 = v for r.
-4
Let h(i) = i**3 - 6*i**2 + 7*i - 6. Let m be h(5). Solve 18 = m*p - 2 for p.
5
Let q(j) = j**2 + j + 4. Let t be q(0). Suppose 0 = 3*w + w. Suppose 2*f + 10 = 0, -2*y - 2*f - 2 = -w*f. Solve 0 = -t*p - y for p.
-1
Suppose 4*l = 7*l - 6. Suppose 0 = 4*p - l*p + 4. Let n = p - -11. Solve -2*b + n = b for b.
3
Suppose 5*n + 7 = -2*o - 22, -3*o = -5*n + 31. Let c = -7