ve 0 = b*l - t*l for l.
0
Suppose -24 = -3*w + 3. Solve -t + w = 6 for t.
3
Let a be (24/(-28))/(2/(-14)). Let o be 412/28 - a/(-21). Solve 4*x - o + 3 = 0 for x.
3
Let y be 2/(-8)*2*-4. Suppose 2 = y*m - 8. Solve -m*v - 2 = 3 for v.
-1
Let l = 53 - 28. Solve 0 = -2*c - 3*c + l for c.
5
Let r = -25 - -41. Let m = r - 14. Let g be (4 - 2)*-1*-1. Solve -m = g*j + 6 for j.
-4
Let y(b) = -b + 15. Let w be y(13). Solve -w*d = -4*d - 8 for d.
-4
Suppose -5*z - 5*n = -20 + 5, 4*z - n - 27 = 0. Suppose 0*p = -3*y - 2*p + 15, -3*p + 9 = 0. Solve 5*h = z*h + y for h.
-3
Suppose -4*o + 4 = -2*o. Let x be ((-1)/(-1))/(o/8). Suppose -3*n + 11 = x*f, 0 = 2*f - 4*f - 5*n - 5. Solve -f*l + 2 = -8 for l.
2
Let h(g) = 0*g + 2*g + 0*g. Let l be h(-2). Let c be (104/(-12))/(l/6). Solve 5*y = 3 - c for y.
-2
Let t = 45 - 23. Let m = t + -10. Solve -6*g - m = -2*g for g.
-3
Suppose 3*v = 5 - 2. Let b = v - -2. Let j(c) = c**2 - 25*c + 46. Let a be j(23). Solve -s + 1 + b = a for s.
4
Let l = 36 - 33. Solve -w + l + 0 = 0 for w.
3
Let z(d) = d**3 - 7*d**2 + 5*d + 6. Let v be z(6). Solve v = 4*n - 0*n + 8 for n.
-2
Suppose 0 = -6*b + 35 + 1. Solve 4*d + 2 = -b for d.
-2
Let y be (-11)/(-11) - (4 - 2)/(-2). Solve -y*f + 6 = 2 for f.
2
Suppose -25 = -5*b - 2*n + 5*n, 4*b + 5*n = 57. Let o = -6 + b. Solve o*l - 5 = -3 for l.
1
Let t(u) = 3*u**2 - 3*u - 2. Let s be t(-2). Let w = s - 16. Let v(z) = -z - 7. Let r be v(-7). Solve 5*c + r*c - 15 = w for c.
3
Let i(a) = a + 6. Let y be i(-3). Suppose -y*m + 0*m + 3 = 0. Solve 3 + m = -4*t for t.
-1
Suppose -21 = -3*u + 9. Let x(n) = -n + 12. Let c be x(u). Solve -c = -m + 1 for m.
3
Let i(x) = x**3 + 9*x**2 + 8*x - 5. Let w be i(-8). Let a = 7 + w. Solve -a*k - 9 + 1 = 0 for k.
-4
Let g be 117/12 - (-4)/16. Let k be (g + -7)*5/3. Solve -3*a - 17 = -k for a.
-4
Let z = -5 + 8. Let y be (12/(-4))/((-1)/1). Suppose -3 = 2*p + z*f, -4*p - y = 2*f + 3*f. Solve 2 + 7 = -p*u for u.
-3
Let x(z) = 3*z - 8. Let a be x(6). Suppose -2*o - 3*o = 0. Solve -q - q - a = o for q.
-5
Let h(v) = -v**3 - 5*v**2 - 2*v - 3. Suppose 4*i = 8 + 12. Suppose a = 2*s - 1 + 4, 5*a - 5*s = -i. Let l be h(a). Solve 2*k = l*k - 5 for k.
1
Suppose -2*h - 17 - 1 = 0. Let y = h + 12. Solve -2*g = y*g + 5 for g.
-1
Let v be 4 - (-3 + (-3 - -8)). Let a(f) = 6*f + 5. Let j be a(-4). Let o = -3 - j. Solve -2*i - v*i = o for i.
-4
Suppose -4*q = 16 + 8. Let d = q + 9. Solve l = -d*l + 8 for l.
2
Suppose 4*t - 13 = y, 4*t + y = -2*y - 7. Suppose -t - 18 = -5*g - 5*n, 2*g = -4*n + 12. Solve -6 = -o - g*o for o.
2
Suppose 0 = -2*u + 3*u. Suppose -2*s - 2 = -2*o, u = 3*o - s + 4*s - 15. Solve -y = 2 + o for y.
-5
Let d be (-2)/((6*-1)/(-3)). Let h = d + -3. Let j(w) = -5*w - 5. Let m be j(h). Solve -4*n - n - m = 0 for n.
-3
Let x(i) = 2*i + 16. Let n be x(-8). Suppose n = 5*p - 20 - 5. Solve p*b + 0*b = 5 for b.
1
Let t(r) = -5*r - 3. Let u be t(-3). Suppose 5*q - 15 = -a, -5*a - 3*q - 2*q + 15 = 0. Let k be (-4)/(2*(-1 - a)). Solve -k*y - u = y for y.
-4
Suppose 6*d - 16 - 14 = 0. Solve d*z - 6 = 9 for z.
3
Suppose c - 2*u = -3 - 2, 20 = 4*c + 2*u. Solve c*h = 8*h - 20 for h.
4
Let g be (1 + 0)*-4 - -7. Solve -2*h - 2 = -g*h for h.
2
Let j(v) = -3*v - 7. Let w be j(-6). Let f = -15 + w. Let b(k) = -k - 4. Let x be b(f). Solve i + x = 2 for i.
2
Suppose 0 = -10*g + 8 + 12. Solve -7*p + g*p = -15 for p.
3
Let r(k) = k**3 - 6*k**2 - k - 1. Let y be r(6). Let p = y - -3. Let h = 7 + p. Solve h - 5 = 2*u for u.
-1
Suppose 4*q = 4*c + 24, q = -2*c - 4 + 7. Suppose 3*f = q*x + 26, 5*f + 3*x = -0 - 2. Solve 0 = -5*s - 8 - f for s.
-2
Suppose -5*s - 2*o = -43, 2*o + 11 = -2*s + 3*s. Let g = -7 + s. Solve -g*p + 0 - 8 = 0 for p.
-4
Let m be (-5 + 3)*-1 - 0. Solve 0 = x + m*x + 3 for x.
-1
Suppose -2*q + 4 = -q. Suppose -15*z + q = -14*z. Solve z*b - 2*b = -4 for b.
-2
Suppose -2*y = 2*p + 2*p + 50, 22 = -y - 5*p. Let i = -12 - y. Let b be i*(4/(-6))/(-2). Solve -b = -z - 1 for z.
4
Suppose 0 = 2*t + 8, -t = 2*m + 3*t + 8. Solve -m*p + 2*p = 2 for p.
-1
Let k be -3 - (-27)/((-12)/(-4)). Solve a = 4*a + k for a.
-2
Let a be -2 + ((-42)/(-3) - -1). Let w = a + -11. Solve z + w = 4 for z.
2
Let v = 131 - 126. Solve -v*d + 3 = -7 for d.
2
Let h = -1 + -3. Let v be (-2 - h)/((-2)/(-4)). Solve -v*i = 6 + 2 for i.
-2
Suppose 0 = 2*w - d - 5, w = 3*d - 0*d + 5. Let n(x) = -2*x + 3. Let c be n(w). Let t = 1 + c. Solve 5*z - 3*z + 10 = t for z.
-5
Suppose -2*a - 10 = -28. Solve 5*h - 6 = a for h.
3
Let y(u) = -u**2 + 5*u - 1. Let x be y(2). Suppose 0 = -5*b + 20 + x. Suppose 0*m = -b*m. Solve 2*o = -m*o + 2 for o.
1
Suppose n - 16 = -5*q, 8*n + q = 3*n + 8. Let t be (n*-2)/((-5)/10). Solve 8 + 4 = -t*o for o.
-3
Let z be -6*(-10)/(-15) + 4. Solve -2*i - 13 + 5 = z for i.
-4
Let a(f) = 2*f**2 - 3*f + 3. Let t be a(2). Suppose -s = t*q - 0 - 11, 0 = q + 4*s - 6. Solve 0 = -5*i - 7 + q for i.
-1
Let m(z) = -z - 15. Let u = 16 - 35. Let r be m(u). Solve -g = -r*g - 6 for g.
-2
Suppose -3*s + 5*u - 2*u = -15, 4*u - 7 = -5*s. Let g = 16 + -11. Suppose -4*t + t - 3 = 0, -g*o + 3*t = -13. Solve 0 = o*w + 1 - s for w.
1
Let d(l) = l**3 - 9*l**2 + 7. Let w be d(9). Let q = 13 - w. Solve 2*f - 4*f + q = 0 for f.
3
Let h = 23 - 20. Solve c - h*c = 0 for c.
0
Let a(l) = l**2 - 9*l + 12. Let s be a(8). Let f be (-8)/(-12) - 58/(-3). Solve -f = -s*k - k for k.
4
Let h = 25 - 15. Let r = h - 5. Suppose 6 - 21 = -3*f. Solve -5*p = -r - f for p.
2
Let x(a) = -13*a**3 - a**2 + a + 1. Let g = -3 - -2. Let f be x(g). Solve -2*y + f = 2*y for y.
3
Suppose 9*i = 4*i. Let j be (-4)/(-12) + 164/(-6). Let a be (-9)/j + (-34)/(-6). Solve i = -5*m - 4 - a for m.
-2
Suppose c = -146 + 156. Solve 0 = -5*t - 0*t - c for t.
-2
Let o(h) = -h + 3. Let x = -4 - -1. Let y be o(x). Solve 2*p + y = 5*p for p.
2
Let c(t) = t**3 + 6*t**2 - 2*t - 6. Let o be 2*(2 - 1) + -8. Let d be c(o). Solve -5*p - 31 = -d for p.
-5
Let f(c) = -2*c + 2. Let p be f(-2). Suppose -5 = u + 5*s, 0 = 4*s + p - 2. Suppose -3*v - v + 16 = u. Solve -v*h + 9*h = -5 for h.
-1
Suppose -2*m + 3*r = 3*m + 32, -2*m = 4*r - 8. Suppose -5*s = 5*b + 25, -35 = 4*s + 3*b - 12. Let c = m - s. Solve -o = o + c for o.
-2
Let x be (-2)/((1 - -2)/(-18)). Let r = -7 + x. Solve -r*z + 1 - 11 = 0 for z.
-2
Let t(u) = -u**2 + 7*u + 2. Let l be t(7). Let z = 5 - 6. Let x be (1/l + z)*0. Solve -2*a = -x - 10 for a.
5
Let d(z) = 8*z. Let s be d(1). Let b be (-138)/(-24) + 2/s. Solve -w + b = 2 for w.
4
Suppose -9*j + 8*j + 18 = 5*p, -2*j + 5*p - 9 = 0. Solve -2 = -j*s - 17 for s.
-5
Suppose 5*s = 9*s - 72. Solve -5*v + s = -2 for v.
4
Let v = 95 - 92. Solve v + 3 = -3*m for m.
-2
Let m = 0 - 2. Let a = m + 5. Solve 0 = u - a*u + 10 for u.
5
Let u(l) = -2*l**2 + 3*l - 31. Let v(k) = k**2 - 2*k + 15. Let i(h) = -6*u(h) - 13*v(h). Let w be i(6). Solve 5*t - w*t = 8 for t.
4
Let b(v) = -9*v + 3. Let u be b(-1). Suppose 7*s - 3*s - u = 0. Solve s*a + 0*a - 3 = 0 for a.
1
Let v be 4 + (2 - -2) + -4. Solve -7 = -v*x + 1 for x.
2
Let u(y) = 2*y + 17. Let f be u(-7). Suppose -3*t = -f*b - 18, 2*t + b = -0 + 3. Solve s + t = 7 for s.
4
Let m(s) = s**2 + 8*s + 8. Let y be m(-6). Let n = y - -6. Suppose n*d - 7*d = 0. Solve 1 = t - d for t.
1
Let n(t) = t**2 + 7*t - 1. Let a be -6 - 6/(-2 - -5). Let c be n(a). Solve 0 = c*x - 4*x + 12 for x.
-4
Let p(c) be the second derivative of -c**5/20 + c**4/3 - c**3/3 - c**2/2 + c. Let h be p(3). Solve q = h*q + 3 for q.
-3
Let j be 3/(-12) - 34/(-8). Let k be (-87)/(-27) - j/18. Solve -f = -4*f + k for f.
1
Let n be 5 + (-22)/5 - 7/(-5). Solve o - n - 1 = 0 for o.
3
Suppose -3*r = -4*r + 2. Suppose 0*y = r*y. Suppose -2*j + 3*j - 10 = 0. Solve y = w + w + j for w.
-5
Suppose -2*z - m = -0*z - 26, 65 = 5*z - m. Solve -4*v + 29 = z for v.
4
Let b be (-22)/18 - (-4)/18. Let u = 1 - b. Solve -3*v = -u*v - 3 for v.
3
Suppose -19 = -z - k - k, 4*z - 4*k = 112. Let p = z - 22. Solve 6 = -p*q + q for q.
-3
Let i = 22 - 6. Suppose 3*b + 2*b + q - 6 = 0, 4*q = -i. Solve -2*z - b = -12 for z.
5
Let k(v) = -v**3 + v**2. Let j be 5/10 - 9/(-2). Suppose 25 = -j*r + 5*p, 2*p = -4*r - 0*p + 10. Let x be k(r). Solve -2*l + 7*l - 20 = x for l.
4
Let t(q) = -q**3 + q**2 + 1. Let a = -8 + 8. Let h be t(a). Solve -2*m + h = -3 for m.
2
Let l(o) = o**3 + 10*o*