f(u) - 5*r(u). Let g be k(6). Solve -g*b + 24 = -1 for b.
5
Suppose 0 = 5*a - 6*a - 7. Let x = a - -11. Solve x - 13 = -3*b for b.
3
Suppose 7 + 2 = 3*u. Suppose 0 = 5*o + u*m + 24, -3*m - m - 3 = -3*o. Let q = o + 3. Solve -3 = n - q for n.
-3
Let k(a) = 5 + a - a - a. Let d be k(5). Suppose -7 - 17 = -2*h. Solve n - 5*n - h = d for n.
-3
Let g be 1*3/(6/8). Solve g*f - 1 = 3 for f.
1
Let v = 32 + -27. Solve -v*w + 16 = 1 for w.
3
Let t(u) = -5*u - 8. Let x be t(-4). Let d = -11 + x. Solve -q + d = -0 for q.
1
Suppose -3*h = 5*j + h - 11, j - h - 4 = 0. Solve -j*q + 5 = -1 for q.
2
Let u = -37 + 39. Solve -u*p = -p - 3 for p.
3
Let a be 4/6*(-1 - -4). Suppose -5*j = -a*j - 12. Solve j = z + z for z.
2
Suppose -5*o + 2*x = -4, -4*o + 4*x - 4 = -0*o. Suppose 40 = -o*y + 4*y. Suppose 0 = 4*f + f + 5*i - y, -5*f + 3*i + 12 = 0. Solve 0 = 2*n + f + 7 for n.
-5
Let n = 8 + -5. Let f = n - -1. Suppose r - g = 5*r - 49, -3*r - f*g + 40 = 0. Solve 0 = 5*d - d - r for d.
3
Let t = -1 + 1. Suppose t*g = 3*g - 282. Suppose 4*h + 23 - g = -3*u, -4*u = 12. Solve 5*v + h = -5 for v.
-5
Let p(x) = -x + 13. Let h be p(10). Solve u + h*u = 0 for u.
0
Let j(s) = -2*s + 8. Let w(r) = -r + 4. Let z(c) = -3*j(c) + 7*w(c). Let l be z(8). Let h = l - -8. Solve -5*t + h = -7*t for t.
-2
Suppose 20 = 4*t - 3*f, 0 = 3*t - 4*f - 3 - 19. Solve 4 = -2*j - t*j for j.
-1
Suppose f + 0*n - 4*n - 12 = 0, 0 = 5*f + 5*n - 10. Suppose l + 5*c = f, -2*l + 5*c = l - 12. Let y be 0/(-3*3/(-9)). Solve y = 8*v - l*v - 4 for v.
1
Let m(v) = 3*v + 6. Let h be m(-2). Solve h = z + 4*z for z.
0
Suppose -8 = -4*w + 8. Suppose 0 = -4*b + c + c - 2, -4*c = w*b - 28. Suppose -z + 4*l + 24 = 0, b*z - 6 = -2*z - 2*l. Solve z*h = h - 3 for h.
-1
Let i = 0 - -2. Let s be 0/(i/(-4)*-4). Solve 15 = -s*k + 3*k for k.
5
Let o(w) = -12*w + 2. Let k be o(-1). Solve -3*a + 2 - k = 0 for a.
-4
Let s(p) = -4*p - 13. Let z be s(-4). Solve z*f = 8 + 1 for f.
3
Let h = 99 + -97. Solve c + c - h = 0 for c.
1
Let z(w) = -5*w + 67. Let h be z(13). Solve -15 = -f - h*f for f.
5
Suppose 21*s + 36 = 23*s. Solve -s = 4*j + 2 for j.
-5
Let o(p) = -p**3 - 7*p**2 + 5*p - 9. Let y be o(-8). Let h be ((-3)/5)/((-3)/y). Solve h*u + 22 - 7 = 0 for u.
-5
Let v(w) = 2*w**2 - 5*w - 1. Let n be v(5). Solve 5*c + n - 9 = 0 for c.
-3
Let r be 12/(-9) + 16/3. Solve -i + 9 = -r*i for i.
-3
Let x be ((-2)/5)/((-2)/100). Suppose 4*i + 4 = -5*l, 2*l - 3 = -l + 3*i. Let m = l - -3. Solve m*r = -r - x for r.
-5
Let i be (2/3)/((-12)/18). Let w be 0*(i - 3/(-2)). Solve w = -2*m - m - 6 for m.
-2
Suppose -h = h - 46. Let g = 25 - h. Solve -2 + 4 = g*p for p.
1
Let v = 12 + -21. Let f = -5 - v. Solve -3*a = -4*a - f for a.
-4
Suppose 0 = 3*g + 11 + 1, -5*j + 53 = -2*g. Let w = j - 5. Suppose 40 + 16 = 4*z. Solve z = -5*l + w for l.
-2
Suppose 0 = z - 4*z - 4*i + 24, 0 = -5*z - 2*i + 26. Let g be (44/6)/(2/6). Let r = g + -16. Solve -z*a = -a + r for a.
-2
Suppose 3*i + 0 = 4*b - 10, -5*b + 5*i = -15. Solve b + 2 = -3*o for o.
-1
Let y(j) = j**3 - 10*j**2 + j - 7. Let m be y(10). Suppose z - 2 = m. Solve -z = -0*t + 5*t for t.
-1
Suppose 2*b - 3*b = 6. Let m be (b + -2 + 1)*-1. Let l = m + -5. Solve 2 = l*s + 10 for s.
-4
Let x(z) = 2*z**2 - z + 16. Let c be x(0). Solve -c = -3*b - b for b.
4
Suppose q - 15 = -2*q. Let i = q - 5. Suppose 2*d + 10 = 0, i = -2*t - 2*d + 6*d + 28. Solve -k + 25 = t*k for k.
5
Suppose -3*d + 46 - 40 = 0. Solve d*t = -t + 15 for t.
5
Let i = 1 + -1. Let x(d) = -d + 6. Let b be x(-3). Solve 4*n + 3 + b = i for n.
-3
Suppose -2*x = 3*j + 27, -5*x + 11 = -4. Suppose -40 = -f + 6*f. Let c = f - j. Solve 0 = 2*t - c + 1 for t.
1
Let u(b) = -6*b + 34. Let z be u(3). Solve 0 = 4*l + 36 - z for l.
-5
Let f be 2/(-5) - 34/(-10). Let l be (-1)/4 - 69/12. Let o(c) = -c**3 - 6*c**2 - c. Let d be o(l). Solve f*m = d - 0 for m.
2
Let r(a) = -a + 15. Let t be r(7). Suppose -5*u + t + 12 = 0. Solve 5*z - 1 = u*z for z.
1
Suppose -3*r - 10 = -2*w, 3*w = 6*r - r + 15. Solve 8 = 2*j - r for j.
4
Suppose -v = 5, -q - 4*q - v = -15. Let m be q/1 + 7 + -8. Solve m = i - 2 for i.
5
Let l = 45 + -43. Solve -l*o - 3*o = 10 for o.
-2
Let r(a) = -9*a**3 + 7*a**2 - 5*a - 12. Let g(q) = 5*q**3 - 3*q**2 + 3*q + 6. Let s(f) = 7*g(f) + 4*r(f). Let p be s(7). Solve m - p = -3 for m.
-2
Let a be 11 - (-1)/(5/10). Solve -12 = -5*q + a for q.
5
Suppose -5 + 26 = -3*g. Let b = 7 + g. Solve -5*j = -b*j - 15 for j.
3
Suppose f + 1 = 3. Suppose -4*w = -m + 20, 5*m - m + w + 5 = 0. Solve m = -p + f for p.
2
Let z(o) = -o**3 - 5*o**2 + 4*o - 10. Let s be z(-6). Solve -s*u - 8 = -4*u for u.
4
Let a be (-12)/10*10/(-6). Solve -a*w = 2*w + 4 for w.
-1
Let f(k) be the first derivative of -11/2*k**2 + 1/3*k**3 + 8*k - 4. Let p be f(11). Solve 0 = w + 3*w + p for w.
-2
Let s = -49 - -69. Solve -2*v - s = 2*v for v.
-5
Let w = 1 + -1. Let y = 54 + -49. Suppose w = 3*m - a, -y*m = -0*a - 3*a. Solve -l + 3*l - 4 = m for l.
2
Let l(p) = -3*p - 2. Let f be l(-2). Solve 5 = -f*y - 3 for y.
-2
Let r = -34 - -38. Solve 2*b - r = 3*b for b.
-4
Let g(j) = 3*j - 3*j - 3*j - 5. Let z be g(-7). Solve 0 = 3*c + 4 - z for c.
4
Let r = -18 - -38. Suppose -z + 0 - r = -3*p, 0 = 4*p + 3*z - 5. Solve p*w = -1 - 4 for w.
-1
Let d(m) = m**2 - 9*m + 12. Let q be d(8). Let h be 3/(-1 + 10/q). Suppose -2*n + 2 = 0, -3*k + n - h*n = -10. Solve 0 = -2*l + k*l + 3 for l.
-3
Suppose -4*i + 2 + 6 = 0. Solve 0 = -i*m - 3*m + 15 for m.
3
Suppose 3*p - 2*r - 4 = 0, -p - 2*p + 8 = -r. Suppose p*c = -c + 15. Solve f = c*f - 10 for f.
5
Let t be 2/(1 + 3/(-6)). Solve 0 = -0*v - t*v + 8 for v.
2
Let y = 12 - 10. Solve 0 = y*x - 10 for x.
5
Suppose -2*y + y = -1. Suppose -5*t = -26 + y. Suppose -3*i = 2*i + l - 80, t*l = 2*i - 32. Solve 2*p - i = -2*p for p.
4
Let c(d) = d**3 - 5*d**2 + 3. Let t be c(5). Solve 10 + 2 = -t*w for w.
-4
Let n be (-1)/(4/(-7))*-16. Let d = -2 - n. Solve 1 - d = 5*k for k.
-5
Let a = -20 + 24. Solve a*h - 5 = -h for h.
1
Suppose -41 = -5*n - 4*f, -4*n - 10*f = -6*f - 36. Solve -2*i + 1 = -n for i.
3
Suppose 4*b = 16 + 4. Let n be b/(-4) - 2/(-8). Let q be n/(-3) + (-4)/(-6). Solve q = -4*d - 3 for d.
-1
Suppose 0 = 6*c - 31 + 7. Solve -7*l - c = -3*l for l.
-1
Let d = -3 + -1. Let b be 2/(1 - (-2)/d). Solve -b*n = 3 - 19 for n.
4
Let i be (25/(-15))/(5/(-6)). Solve 6 = -4*w + i for w.
-1
Let w(j) = 5*j**3 - 11*j**2 - 9*j + 4. Let x(z) = z**3 - z**2 - z. Let o(n) = w(n) - 6*x(n). Let p be o(-4). Solve -4*q + 3*q - 4 = p for q.
-4
Suppose q + 5*d + 7 = 0, 3 = -q - 0*q - d. Let o = 8 - q. Let z(t) = t**3 - 8*t**2 + 7*t. Let k be z(7). Solve o = -2*p - k*p for p.
-5
Let s be 8/1 - (-11 + 15). Solve s*c = -8 - 12 for c.
-5
Suppose -8 = -6*l + 2*l. Suppose l*u + 4 = -0*m - 2*m, -4*m - 2*u - 4 = 0. Let a be 2/(-1*(-1)/2). Solve n + a = -m*n for n.
-4
Let c(w) = -4*w - 10. Let f be c(-5). Solve -2*l + f = 3*l for l.
2
Suppose -104 - 6 = -2*l. Suppose -5*v + l = 20. Suppose -v = -k + 3*d + 28, 55 = 3*k + d. Solve 5*h = -k - 0 for h.
-4
Let b be (-11 + 1)*(7 - 56/7). Solve 0*t - b = 5*t for t.
-2
Suppose 24 - 8 = 2*m. Suppose 3*b + 3*u = m - 2, 0 = -b + 2*u + 2. Suppose 0 = 5*c - 5*o - 10, -b = 5*c - 4*o - 10. Solve 0 = 4*s - c*s for s.
0
Suppose -4*m + 2 = 3*q - 5*q, 4*q = -m - 4. Solve m = -4*t + t + 9 for t.
3
Let l be ((0 + 3)*2)/2. Suppose -25 = -4*y + l*w + 22, 0 = -4*y + 5*w + 57. Let d be 6*2/y*2. Solve -d*g = -21 + 6 for g.
5
Let k be -4 - -1 - (-1 + -5). Solve 0*z - 15 = -k*z for z.
5
Let q = -16 - -19. Solve -h = -q*h + 8 for h.
4
Let s be 2*(-1 - (0 - 0)). Let r be s/(-4 - 7/(-2)). Solve -2*g - r = 2*g for g.
-1
Let a = 1 - -13. Let n = a - 9. Suppose 3 = 4*g - n. Solve 0 = 5*h + g + 13 for h.
-3
Let x(v) = -8*v**3 - v**2 - 2*v. Let j be x(-1). Let p = j - 5. Solve 10 = -p*h - 2 for h.
-3
Let u(g) be the first derivative of 9*g**2/2 + 11*g + 1. Let l(s) = -17*s - 21. Let v(t) = 6*l(t) + 11*u(t). Let m be v(-5). Solve 3*n + m = 4 for n.
-2
Let t = -3 + 11. Let n be (0 - -3)*16/8. Let u = t - n. Solve -3 = -u*c + c for c.
3
Let v(n) = 3*n**2 + n + 2. Let h be v(-1). Suppose s = -h*s + 15. Solve 0 = 4*z - 19 + s for z.
4
Let y(b) be the third derivative of -b**4/24 + 5*b**3/6 + b**2. Let r = 3 - -1. Let l be y(r). Solve -p - l = -0 for p.
-1
Let f(b) = -b**3 +