-4
Let r(l) = 7*l - 6. Suppose 4*b - 2*t = 20, 0 = b - 4*b - 5*t - 11. Let c be r(b). Solve 11*g - c = 6*g for g.
3
Suppose 1 = v - 9. Let y = 18 - v. Solve 0 = y*b - 3*b + 15 for b.
-3
Suppose 0 = 2*v - 3*n - 5 - 3, 5*n - 12 = -3*v. Suppose -2*h = -v*h + 16. Solve h = -k + 3*k for k.
4
Suppose -5*z - 4 = -14. Solve z*d + 5 = d for d.
-5
Let j(x) = -x**3 - x**2 - x - 1. Let n be j(-2). Suppose 4*c + n = 13. Let z = -1 + c. Solve -2 - z = o for o.
-3
Let k be 60/27 + 4/(-18). Suppose k = i - 2. Solve -l - i = l for l.
-2
Let a be 8 + 0*(-4)/12. Solve j = 3*j + a for j.
-4
Let y = -4 + 9. Suppose 0 = -9*n + 7*n + 8. Suppose 4*v + 2 = -3*l + 15, 0 = -4*l + 12. Solve y - v = n*o for o.
1
Let y = -85 - -92. Solve 0 = -3*t + y*t + 4 for t.
-1
Let p(z) = -z**3 - 2*z**2 - 5*z - 2. Let b be p(-3). Let h = -19 + b. Solve h*x - 5 = 4 for x.
3
Suppose 4 = 4*o + 4*v - 4, 2*v = -4. Suppose 6*a - 2*a = 0. Let q(x) = -x**2 - 6*x + 5. Let g be q(-6). Solve r - g*r - o = a for r.
-1
Let s = -72 - -76. Solve s*a - 11 = 1 for a.
3
Let f = -53 + 53. Solve f = -2*r - 0*r for r.
0
Suppose 21*k = 22*k - 2. Solve -k*b - b = -6 for b.
2
Suppose -5*c + 60 = -5*z, -2*c = -6*z + 2*z - 24. Solve -2*v = 2*v + c for v.
-3
Let m be 84/22 + 16/88. Suppose -3*d = o - 5*d - m, -o - 2*d = -16. Solve -o - 5 = 5*a for a.
-3
Suppose 6*t - 8*t = 0. Solve -n - 3*n + 20 = t for n.
5
Let n(d) = -5*d + 2. Let w be n(-2). Let t be 2/(-2*(-3)/w). Let r = t + -4. Solve r*k = -k + 3 for k.
3
Let h(x) = -2 + 7*x**2 - 3*x**3 + 4*x**3 - 7 - 2*x. Let q be h(-7). Suppose -3*p + 10 = -q. Solve -p*g + 3 = 13 for g.
-2
Suppose 1 = -3*c - 3*n + 2*n, -3*n = -5*c + 3. Solve 0 = m - 1 - c for m.
1
Let w(z) = z**3 + 17*z**2 + z + 20. Let p be w(-17). Solve -4*u + p = -u for u.
1
Let f = -16 + 9. Let u(g) = g**2 + 5*g - 5. Let l be u(f). Suppose -w - 5 = -l. Solve n = -w*n for n.
0
Let v = -30 + 32. Solve d - 4 = v*d for d.
-4
Let r(a) = -8*a + 0*a + a**3 - a + 7*a**2 + 2. Let w be r(-8). Suppose 8*j - 3*j - w = 0. Solve -j*o = 2 + 8 for o.
-5
Let a(r) = r**3 - 4*r**2 - 9*r + 21. Let k be a(5). Solve k = 4*t + 17 for t.
-4
Let l be (-1)/2*-4 - 2. Suppose -3*k = 7*k - 30. Solve -k*i + l*i = -6 for i.
2
Suppose 2*x = 6*x - 44. Let r(z) = 4 - z**3 - 1 - 3 - 4*z**2 - 5*z - 3. Let g be r(-3). Solve 4 = g*j - x for j.
5
Let y be (-2)/4 - (-9)/(-2). Let a be (-46)/8 + 1/(-4). Let d = y - a. Solve 3 = 4*m - d for m.
1
Let y(i) = i - 14. Let o be y(14). Solve o = -4*p + 9 + 11 for p.
5
Let z(u) = u**3 + 3*u**2 - 7*u - 1. Let a be z(-4). Solve -1 = -3*h + a for h.
4
Let t = 136 + -92. Let o be (-6)/9 - t/(-12). Suppose 0 = -k - 0*k + r + 2, 3 = -2*k - 5*r. Solve -2*d + o*d = k for d.
1
Let h(g) = -2*g**3 + 3*g**3 + 2 + 6*g - 7*g**2 + 0*g**2. Let z be h(6). Solve -27 + z = -5*u for u.
5
Suppose -6*x = -2*x. Suppose 0*o + o - 4 = x. Solve o = 4*l - 2*l for l.
2
Suppose 0 = 4*g - 8. Let f be g - 2 - (-26)/2. Solve -4*m = f - 5 for m.
-2
Let r(i) = i**3 - 3*i**2 - 6*i + 8. Let q be r(4). Solve -5*h + 2*h - 12 = q for h.
-4
Let u(z) be the third derivative of -z**4/24 + 4*z**3/3 - z**2. Let x be u(5). Solve x*j = -j for j.
0
Let w = 24 + -22. Solve 4*a = w + 6 for a.
2
Let p be ((-63)/(-35))/(6/20). Suppose j + 10 = p*j. Solve 9 = j*y + 3 for y.
3
Suppose 4*r + 2 = 10. Solve -6 = 4*w + r for w.
-2
Let m be (-7)/(-3) - 3/9. Let s be 6 + -8 + (0 - 0). Let x be -7*s/(2 + 0). Solve 3*a + x + m = 0 for a.
-3
Let f be ((-1)/((-1)/2))/1. Solve f*w = 6 + 4 for w.
5
Let v be (4/(-12))/(2/(-30)). Solve -v*o + 0*o = 0 for o.
0
Suppose 4*o = -4*d, -d - 2*o + 6 = -4*o. Suppose -2*v + 9 = 3*j, -4*v + 3*j + 15 = -d*v. Let m = v - 6. Solve -6*q + q = m for q.
0
Let s be 2/(6/9*1). Suppose 1 = -4*q - s*m, -3*m + m = 4*q - 2. Solve 0 = 7*i - q*i for i.
0
Suppose u = -8*u + 18. Solve -2*j = u*j - 16 for j.
4
Let g(q) = -q**2 - 8*q - 9. Let z be g(-6). Solve -z*h + 6 = -h for h.
3
Let l(v) = v**3 + 6*v**2. Let n be l(-6). Solve n = o - 0*o - 5 for o.
5
Suppose -5*p + 1 = -4*p. Let c be ((-6)/(-10))/(p/5). Let i be (1 + (-1)/c)*6. Solve 0 + 20 = i*y for y.
5
Suppose -g - 8 = 4*t - 0, -2*t - 4 = -4*g. Let l(c) = -c + 2. Let w be l(g). Solve -w*a - 5 = 3*a for a.
-1
Let y = -162 + 163. Solve -v - 3 = -y for v.
-2
Let c = 20 + -17. Solve c*l - 3 + 0 = 0 for l.
1
Let i = -3 - -7. Let o be ((-1)/(-2))/((-2)/(-240)). Let s be 3/((-27)/o)*-3. Solve -s = i*j - 4 for j.
-4
Suppose 15*s - 14 = 31. Solve 2*i = -s*i - 25 for i.
-5
Suppose -8*t = -3*t - 2*q - 10, -28 = -2*t - 4*q. Let i(l) = -l**2 + 8*l + 3. Let w be i(6). Solve t*s - w = -s for s.
3
Suppose v - 8 = -v. Suppose 0 = -4*o - 2*c + 70, -v*c - 100 = -o - 3*o. Solve a - o = 6*a for a.
-4
Let j = -11 + 18. Solve -j*r = -3*r for r.
0
Let u(d) = -d + 13. Let y be u(12). Let s = y - -1. Solve 0 = -5*c + s*c for c.
0
Suppose -s = -4*s + 33. Let f = 22 - s. Let u = -7 + f. Solve u*w - w = 12 for w.
4
Suppose 0 = -0*x + 5*x + 75. Let t be (10/x)/(4/(-6)). Solve 1 = -j - t for j.
-2
Let g = -19 + 22. Solve -12 = 3*a + g for a.
-5
Let k = -6 - -7. Let r be 3/2*30/9. Solve -4*j - k + r = 0 for j.
1
Let d(k) = k**3 + 10*k**2 + 9*k + 5. Let h = -5 - -9. Let q be -2*(-2 - (-26)/h). Let x be d(q). Solve -12 - 8 = -x*m for m.
4
Let y(q) = -q + 31. Let f be y(26). Solve 0 = 2*h - f*h for h.
0
Let r(m) = -2*m**3 + 5*m**2 - 3*m + 2. Let j be r(3). Let i = j - -18. Let k = -2 + 2. Solve -i + k = -2*q for q.
1
Let r(f) = 3*f**2 - 3*f. Let z be r(2). Suppose z*b = 2*b + 68. Let s = b - 2. Solve 7*c - s = 4*c for c.
5
Let c(f) = -f**2 + 5*f + 1. Let g be c(5). Let j be g*(-2 + 1)*6. Let u(y) = -2*y - 9. Let s be u(j). Solve -1 = -a - s for a.
-2
Suppose a = -3*t + 19, -5*a + 0*t + t = -15. Solve 2*z + 0 = -a for z.
-2
Let q(x) = -2*x - 1. Let h be q(-1). Suppose -7 + 1 = -3*v. Let k = v - h. Solve -k - 4 = -t for t.
5
Suppose -d - d = -5*n - 32, -4*n = 3*d - 48. Let y be (-94)/(-14) + (-4)/(-14). Let a = y + -2. Solve k - a*k = d for k.
-4
Let z = -5 - -11. Suppose -2*l = t - 15 + 4, -3*l + 3*t = z. Solve -l*y - 2 = 7 for y.
-3
Let f = 11 - 5. Let r = 7 - f. Solve -2*n = -11 + r for n.
5
Let n = -17 - -29. Let v be (-12)/3*(-3)/n. Let w be ((-6)/(-4))/(v/2). Solve 2*z - w*z = 0 for z.
0
Let p = 0 + 2. Suppose 8 = -p*i, 2*w + 0*w - 58 = 3*i. Suppose -u - 6 = -1, w = -f - 5*u. Solve f*y - 7 + 1 = 0 for y.
3
Let l(r) = 3*r**3 + 4 + 2*r**3 + 3*r + 2*r**2 - 6*r**3. Let s be l(3). Suppose -4*t = -3*w - 88 - s, 4*t - 84 = w. Solve 8*d = 4*d - t for d.
-5
Let b be (-27)/(-5) + 0 - (-4)/(-10). Solve -2*y + b = 3 for y.
1
Let l(m) = 2*m - 5. Let j be l(4). Solve j*g = 5*g for g.
0
Suppose -2*m + 0*z = z, 3*m - 2*z = 0. Let h = 2 - m. Solve -h*b + 4*b = 0 for b.
0
Let x(y) = 3*y + 3. Suppose -13 = -3*m - 1. Let h be x(m). Solve 5*t + h = -0*t for t.
-3
Let t(o) = -o**3 - o**2 + 1. Let z be t(-2). Suppose -2 = -g, -4*j = -2*g + 7*g - 10. Suppose j*f = -2*f. Solve f*h = -z*h for h.
0
Let r be 4/14 + (-15)/(-21). Let h = r + 2. Suppose -4*y = -4 - 4. Solve -h*x = -y*x for x.
0
Suppose 9*b - 24 = 5*b. Let r = 34 + -29. Solve -r = s - b for s.
1
Suppose 3*w + 3 = 0, -s + 4*s - 6 = -3*w. Suppose 2*a - 9 = 4*g - 3*a, -4*a + 32 = 3*g. Suppose 3*n = g*n - 6. Solve -s*r = -n*r + 12 for r.
4
Suppose -z + 4 = 2. Suppose 5*r - 4*a = -z + 11, 0 = 5*r + 4*a - 41. Suppose 0*u = 5*u - r. Solve u = -3*w + 2*w for w.
-1
Let t(x) = x**3 + 3*x**2 + x + 2. Suppose 0 = -4*v - v - 10. Let d be t(v). Solve d*w = -w for w.
0
Let r(n) be the third derivative of -n**5/60 + 11*n**4/24 - n**3/2 + n**2. Let a(i) = -i**2 + 6*i + 17. Let q be a(7). Let o be r(q). Solve 2*k = -o + 1 for k.
-3
Let h = 88 - 87. Solve o + h = -4 for o.
-5
Let c = -4 - -1. Let d = -1 - 1. Let u = d - c. Solve 4*m = u - 13 for m.
-3
Let t = -1 - -1. Suppose 5*w + 2*v - 25 = 0, -17*w + 5*v - 40 = -22*w. Solve -w + t = 3*c for c.
-1
Let v be (12/10)/(4/20). Suppose -19 + 59 = 4*u. Let i = u - v. Solve f + 0*f - i = 0 for f.
4
Let s = -11 + 14. Solve 8 = s*o - 7 for o.
5
Suppose -2*u - 18 = -3*n, 5*n - 11 = 3*n + u. Let i(q) = -q - 1. Let h be i(n). Let a = h - -7. Solve a = s - 0 for s.
2
Suppose 21 = p + 2*p. Let z(a) = a**3 - 6*a**2 - 4*a + 9. Let h be z(p). Suppose 3*d - 78 = 4*b, d = -4*b + h - 4. Solve 5*f + 1 = d for f.
5
Let y be (-8)/10*(70/(-4))/7. Solve y*w = -2 - 2 