+ 6 = -x*l for l.
2
Suppose -4*t + 4 = -16. Let l(r) = -5*r - 3. Let h be l(-2). Let y(m) = m - 7. Let j be y(h). Solve -n + j = -t for n.
5
Let q be (0 - -1)*0 - -1. Let x be 6*(2 + q)/(-3). Let k be (x/4)/((-2)/4). Solve -4*t + k + 5 = 0 for t.
2
Let p be ((-8)/20)/((-1)/20). Let b = p - 5. Solve 0 = -b*j - 0*j for j.
0
Suppose w - 29 = -2*f, -5*f + 16 = 2*w - 38. Let q = -21 + w. Let g be 0*-1*(-2)/4. Solve g*s + q = -4*s for s.
-4
Let o(p) = p**3 + 6*p**2 - 10*p - 8. Let u be o(-7). Let i = 25 - u. Suppose 4*h - 4 - i = 4*a, 2*a - 4*h = -16. Solve a = -t - 2*t for t.
0
Suppose 30 = 6*l - 3*l. Solve 4*j - l = 6*j for j.
-5
Suppose -2*y = -3*y. Suppose 2*o = -y*o + 64. Suppose -2*w - 10 = -4*j - o, -2*j = 6. Solve 0*r = -w*r + 20 for r.
4
Let k = -12 + 24. Solve -4*z + k = -7*z for z.
-4
Let o = -5 + 12. Let a = o - 7. Solve f + 0 - 1 = a for f.
1
Suppose -c - 3*c = 0. Solve c*h + 6 = 3*h for h.
2
Let a be 216/(-15) - 8/(-20). Let g be (a/4 - -3)*-4. Solve 0 = g*c - 0*c for c.
0
Suppose -8 = -10*p + 6*p. Let g = 15 - 15. Solve -p*q + 7*q = g for q.
0
Let o(v) = -v - 9. Let b be o(-7). Let g = b - -5. Solve g*y + 0*y - 12 = 0 for y.
4
Suppose 4*b - 1 = -3*s + 2, 2*b = -s - 1. Suppose 0*u - s*u - 2*g = -28, -3*g = 2*u - 9. Let r = 11 - u. Solve 2*w = 7*w + r for w.
-1
Suppose 0 = w - 9 - 1. Suppose -u - 2 = -0*u. Let r = u + 4. Solve r*b - w = -3*b for b.
2
Let i be 42/(-2)*(-1)/(-3). Let p = -3 - i. Solve -5*j - 24 = -p for j.
-4
Let c be ((-4)/12*0)/3. Solve 2*r + c*r + 6 = 0 for r.
-3
Suppose -2*l - 8 = i, 0 = 4*i - 0*i + 2*l + 2. Solve -h = -i*h - 5 for h.
-5
Let k = -10 + 10. Solve k = o + 4*o + 25 for o.
-5
Let s(l) = -l + 3. Let g be s(0). Suppose -3*p - 2*p = -2*n - 69, 5*p - 3*n - 66 = 0. Let u be 1/g - 5/p. Solve u*j + 2*j = -6 for j.
-3
Suppose 3*u + 2*p = -5, 5*u + p - 3 + 2 = 0. Let w be 4 + u + (-9)/3. Solve 3*l - w = l for l.
1
Suppose -v + 25 = 2*l + 4*v, -5*l - 15 = -3*v. Solve 0*o - 5*o = l for o.
0
Let w = 16 + -10. Suppose 0 = w*b - b. Solve -5*p - 28 + 3 = b for p.
-5
Let a = 3 + -3. Let w be (a/2)/((-4)/2). Suppose w = -2*d - 3*d + 20. Solve d = 5*s - 3*s for s.
2
Let v(f) = 2*f**2 + 4*f - 4. Let a be v(-3). Let h(r) = r**2 + 7*r + 8. Let u be h(-6). Solve -n + u = -a*n for n.
-2
Let c(z) = -3*z**3 + 2*z**2 - 2 + 4*z**3 - 8*z**2 + 2*z. Let p be c(6). Solve 3*y + 1 = p for y.
3
Let q(a) = 2*a**2 - 6. Let p be q(3). Solve -2*l - p = l for l.
-4
Let i be (2/10)/(-1) - (-64)/20. Solve -4*u - 1 = -i*u for u.
-1
Let m be ((-136)/(-32))/(1/4). Suppose m + 3 = 3*g - 5*q, -3*q - 12 = 5*g. Solve 4*d + 15 - 3 = g for d.
-3
Let w = -28 + 30. Solve 2*l = 10 - w for l.
4
Let y(j) = -j**3 - 5*j**2 - 5*j - 1. Let z be y(-4). Let b be 15/12 + z/4. Suppose 0*l = 2*l. Solve l = r + b + 1 for r.
-3
Suppose -21*b - 8 = -22*b. Solve b*n + 15 = 3*n for n.
-3
Suppose -3*b - s - 3 + 5 = 0, 15 = -5*b + 2*s. Let x(g) = 4*g**2 - 11*g**2 - 1 + g**3 + 9*g**2. Let q be x(b). Solve q = 2*i - 7*i - 15 for i.
-3
Suppose -3*b + a = -1, 0 = 2*b + b + 4*a - 26. Solve b*m - 12 = -2*m for m.
3
Suppose 16 - 28 = -4*f. Solve f*i = i for i.
0
Let p be (0*1/4)/(-1). Solve 3*s - s - 10 = p for s.
5
Let q = -5 - -5. Let m be (0/2 - -1) + 2. Solve 3*x + m + 0 = q for x.
-1
Suppose 4*b - 21 = -5. Suppose b*v - 5*c - 72 = -c, 4*c = -2*v + 6. Let t = -7 + v. Solve 1 = -5*o + t for o.
1
Let p be 1 - (-3 - 1*-2). Suppose 6*k - 6 = k - 3*f, -p*f - 15 = -3*k. Suppose -2*g + c - k*c = -14, 4*g + 2*c = 22. Solve -l = g*l - 15 for l.
3
Let i be 7 + -1 - (3 - 1). Suppose 2*n = -4*c + i*n + 16, 0 = -5*c + 2*n + 18. Suppose 3*q = -v + 24, 5*q - q - 5*v - 32 = 0. Solve -q = 2*r + c*r for r.
-2
Suppose 0 = -5*x + s + 7, 22*s - 17*s = 15. Let m = 18 + -11. Solve -m - x = 3*y for y.
-3
Let d = 17 - 15. Solve f = d*f for f.
0
Suppose -4*t + 2 = 2*n + 8, -2*n + 5*t = -21. Suppose 5*i = i + 28. Solve n*a - 5 = i for a.
4
Let a = 6 + -10. Let t = 4 - 0. Let r be 2/a - (-2)/t. Solve r = -s + 5*s + 20 for s.
-5
Suppose -k + 5*k - 8 = -4*c, -4*c + 2 = k. Let l be 16/(-1 - c - -3). Solve 3*m + 7 = -l for m.
-5
Let a be (-46)/(-6) + 3/9. Let x = 6 + -4. Suppose -j = -2*j + x. Solve j*k - 2 = a for k.
5
Let o = 74 - 71. Solve -1 - o = -2*l for l.
2
Suppose -1 = g - 5. Suppose 0 = -3*t + n - g*n + 6, -3*n + 7 = 4*t. Solve 2*x = x - t for x.
-1
Suppose -6*d - 2*d = -80. Let m(p) = 2*p**2 + 8*p + 5. Let h be m(-5). Solve 5*c + h = -d for c.
-5
Suppose 3*b + 1 = 4*b. Solve t + 4 = -b for t.
-5
Suppose 2*o = -22 + 2. Let j be (-8)/o*(-5)/(-1). Suppose 0 = -6*h + 3*h - 4*b + 25, -b - 13 = -h. Solve -3*r = j + h for r.
-5
Suppose v = -4*v + 25. Solve -6*w - v = -w for w.
-1
Let j = 8 - 13. Let l = -15 - -10. Let t be -1*l/(j/(-3)). Solve 8*b - t*b = 0 for b.
0
Let u(h) = -h**3 + 8*h**2 + h + 4. Let d(v) = -v**2 - v - 1. Let s(b) = -4*d(b) - u(b). Let t be s(3). Solve t*q - 2 = q for q.
-2
Let k(y) = y + 1. Let t(q) = -q + 6. Let b be t(-6). Suppose 0 - b = -4*u. Let j be k(u). Solve 10 + 2 = -j*s for s.
-3
Suppose -3*z = 5*c + 19, -z + 2*c + 18 = 3*z. Solve 2*q = q - z for q.
-2
Let w be (1/(4/(-2)))/((-3)/60). Solve 6*n - w*n = 0 for n.
0
Suppose -d = -5*i + 23 + 3, d + 2*i = 9. Let t = 8 + d. Solve 3*m + 4 = t*m for m.
1
Let h(o) = -o**2 - 4*o. Let s be h(-3). Solve s*g + 2*g = -5 for g.
-1
Let u(m) = -2*m + 12. Let y(w) = w + 1. Let f(c) = -u(c) + 2*y(c). Let b be f(4). Solve -b = -5*l - 26 for l.
-4
Let q be -1 - 112/(-18) - (-28)/(-126). Solve y - q*y - 20 = 0 for y.
-5
Suppose -181*p + 182*p = 10. Let r = -3 + 5. Solve -4*u + p = -r for u.
3
Let o = 45 + -40. Solve -o*n + 6 + 4 = 0 for n.
2
Let f = -8 + 16. Solve -f - 2 = -2*i for i.
5
Let i be -3*(-3)/(-9)*0. Solve 4*h - h + 3 = i for h.
-1
Suppose 3*n + 2*n = 110. Let s = n - 22. Solve s = 5*c + 1 + 9 for c.
-2
Suppose 4*v - v - 9 = 0. Suppose -4*s + 68 = 3*h, 3*h - 40 = -v*s + 26. Solve 3*l + h = 7*l for l.
5
Suppose -2*q - 76 = 4*z, q + 20 = -z - 0*z. Let t = z - -18. Solve t = -g - g for g.
0
Let s(v) = -v**3 + 14*v**2 + 14*v + 19. Suppose 1 = -2*n + 31. Let g be s(n). Solve 0 = -4*u + 8 - g for u.
1
Let u(f) = f**3 - 13*f**2 + f - 12. Let a be u(13). Solve 0 = -2*b + a + 3 for b.
2
Let a be 0/(-3 - (-8)/2). Solve -3*g - 1 + 4 = a for g.
1
Suppose -4*w + z - 61 = 0, 0 = 2*w + z + 2*z + 27. Let f = w + 18. Solve 0 = -f*o - 8 + 2 for o.
-2
Let f(j) = j**3 + 3*j**2 - 4*j + 2. Let o be f(1). Solve 0*q = o*q + 4 for q.
-2
Suppose -f + 38 = 36. Solve f*w - 16 = -2*w for w.
4
Let h be 12/(-10)*60/(-18). Suppose h*z - 68 = 4*g, -2*z = 2*g - 30 + 4. Solve -z + 5 = 2*o for o.
-5
Suppose 2*h = 11*h - 54. Solve 0 = -h*m + m + 15 for m.
3
Suppose -3*j - 6 = -5*j. Suppose j = -4*m + 11. Solve m = -h - 0*h for h.
-2
Suppose 2 + 6 = -2*t. Let r = 1 - t. Solve -r*p - 7 = 13 for p.
-4
Let a be (2/1 - 4) + 4. Suppose 4*d = a*j + j - 2, j = -2*d + 4. Solve b = j + 2 for b.
4
Suppose -5*b = -3*n - 13, 0*b = b + n - 1. Solve t + 7 = b for t.
-5
Let t = -7 + 19. Suppose 3*p + t = 7*p. Solve -p*y + 0 - 9 = 0 for y.
-3
Suppose 0*k - 2*a = k - 18, -5*k - 4*a + 66 = 0. Solve -4*h - h = k for h.
-2
Let n(f) = f**3 + 22*f**2 - f - 20. Let g be n(-22). Solve -13 - g = -5*w for w.
3
Let w be (2 + 3)/(-2 - -3). Let b = 5 - w. Solve -v - 2*v + 3 = b for v.
1
Let s(l) = -l**2. Let t be s(0). Let k be (-2 + -3)*2/(-5). Suppose 0 = -4*c + 22 - k. Solve t = c*u - 26 + 1 for u.
5
Suppose -1 = 3*w - 16. Suppose -t = -w*t + 4. Solve -u + 2 - t = 0 for u.
1
Suppose 7*y + 35 - 63 = 0. Solve -21 = y*d - 9 for d.
-3
Suppose -2*t = -4*y + 20, 5*y - 3*t = 9 + 15. Suppose 8 = -0*f + f + 3*p, -f + y = p. Solve -7*w + f*w + 2 = 0 for w.
1
Suppose 0*k = -2*k + 4. Let c(v) = 2*v - 3. Let w be c(4). Suppose k*o - w = o. Solve o*m = -0 - 5 for m.
-1
Suppose 0 = -5*s - 3*d + 63, -3*s + 0*s = 2*d - 38. Let q = s - 3. Solve 5*p - q = 6 for p.
3
Suppose 2 = 4*k - 2*u - 22, -24 = -4*k + 5*u. Solve -k*f - 2 = 4 for f.
-1
Let w(q) = q + 3. Let x be w(3). Suppose 3*l = -2*r - 4, -5*l - 1 = r + 1. Let s = l + 3. Solve -x = k - s*k for k.
3
Let q = 10 - 6. Solve 3*h + q = h for h.
-2
Let o(f) = -f. Let p = 0 + 7. Let c be o(p). Let i = c + 13. Solve i = k + k for k.
3
Let r(q) = 2*q - 3. Let f be r(4). Solve -f = -z - 0 for z.
5
Suppose r + 6 = -0*b + 3*b, -2*r = b - 9. Suppose -2*u - 3*u = 0. Su