2/(-10)). Solve -o*b = -7*b + 10 for b.
2
Suppose -9*u + 30 = u. Solve 2*r = -u*r - 15 for r.
-3
Let a(j) be the first derivative of -1/4*j**4 + 0*j - 2 + 4/3*j**3 - j**2. Let s be a(3). Solve s*b + b = 8 for b.
2
Let i(l) = 2*l**3 + 99*l**2 - 151*l + 117. Let d be i(-51). Solve y = 4*y + d for y.
-5
Let s(u) = u**2 - 3*u - 10. Let w be 19/38*(11 - 1). Let v be s(w). Suppose -2*p + 5*p - 6 = v. Solve 0 = 3*b + p*b for b.
0
Let c(o) = o - 1. Let x be c(5). Let q(b) = -5*b**3 + b**2 + b + 1. Let h be q(-1). Let w(y) = 109*y + 547. Let j be w(-5). Solve -h - j = x*z for z.
-2
Let i = -3 - -35. Let m = i + -32. Let w = 0 + 0. Solve w*x - x - 3 = m for x.
-3
Let g(t) = 2*t**2 + 14*t + 14. Let d be g(-6). Solve -d*y = 4*y for y.
0
Let x = -24 - -8. Let l = -7 - x. Solve l = 5*g - 2*g for g.
3
Suppose -5*b + 8*b - c - 203 = 0, 0 = -4*b - 2*c + 264. Let t = -64 + b. Solve 0 = -t*x + x for x.
0
Let r be (-2)/6*(-12 + 0). Suppose -h - 2 = -3*h, r*l - 50 = -2*h. Let z be l/(-36)*(1 - 7). Solve -z*o = o - 15 for o.
5
Let n = 207 - 203. Solve -5*l = -l - n for l.
1
Let y(a) = a**2 - 15*a - 46. Let q be y(18). Solve 6*f - 4*f - q = 0 for f.
4
Let q(f) = f**3 + 3*f**2 + 3*f + 6. Let o be q(0). Solve o + 78 = -21*d for d.
-4
Let k(f) = -f + 13. Let g be k(7). Let l be (1 - 10/15)*g. Solve -4*y + 2 = -l*y for y.
1
Let a(d) = 5*d**2 + 40*d - 39. Let q be a(1). Solve 2*l - q*l = 12 for l.
-3
Let x(h) = h**3 + 7*h**2 + 7*h + 11. Let p be x(-5). Solve 27*i = p*i + 1 for i.
1
Let k(y) = 4*y + 3. Let n be k(2). Suppose 0 = 12*b - n*b + 2. Let z be (-2)/(((-6)/b)/(-6)). Solve -z*m + 6 = -14 for m.
5
Let y = 5 - 2. Suppose y*j = 2*q - 3, 3*q - 4*q - 2 = 2*j. Suppose 0 = -t - q*t. Solve -u - 1 - 1 = t for u.
-2
Suppose 4*f = 2*m + 12, 0 = -4*f + 28 - 8. Let x(b) = -b. Let n(i) = 2*i + 2. Let r be n(-2). Let h be x(r). Solve -h*s + m*s = 0 for s.
0
Let o = 227 + -160. Let j = o + -67. Solve 5 = -h - j for h.
-5
Suppose -5*v + 4*w + 66 = -10*v, -2*v + 4*w - 4 = 0. Let g(y) = 2*y**2 + 20*y. Let t be g(v). Solve t = 2*x + 5 - 3 for x.
-1
Let v(q) = 2*q**3 + 54*q**2. Let j be v(-27). Solve 0 = -2*c + 6 - j for c.
3
Let f be (4/(-1))/(-2) - (-11 - -8). Let k be -5*f/10*-2. Solve 4*p - k = 7 for p.
3
Suppose 8*w - 19 = -3. Let y(d) = 2*d - 6. Let m be y(5). Solve -m = w*t + 4 for t.
-4
Suppose -5*u - f + 0*f + 64 = 0, 0 = 3*f + 3. Suppose 0 = u*m - 8*m - 25. Solve 0 = -0*w - w - m for w.
-5
Suppose 2*g + 2*r = 6, 5*g + 3*r - 30 + 9 = 0. Let o = -3 + 2. Let l = g + o. Solve 0 = -0*u - l*u for u.
0
Let k be ((-16)/(-6))/(4/6). Let j be -6*(-1)/k*2. Suppose z + 3*w + j = 0, 0*z = -3*z + 5*w + 33. Solve z = -2*f - f for f.
-2
Suppose -3*l = 2*l - 40. Let u(v) = -6*v + 2. Let p be u(-3). Let i be (-3)/16 - (-11055)/2640. Solve -i*a = -p + l for a.
3
Suppose 5*f = 2*s - 66, 2*s - 113 = -s + 4*f. Solve 0 = -45*k + s*k + 6 for k.
3
Suppose -2*b + 42 = b - 3*n, -82 = -5*b - n. Solve 0 = 18*m - b*m for m.
0
Let y be 4/(14/(-4) + 3). Let j(x) = -x**2 - 4*x + 34. Let u be j(y). Solve u*d - 4*d + 6 = 0 for d.
3
Let r = 1092 + -1084. Solve 9*q - r + 26 = 0 for q.
-2
Let b(l) = l + 8. Let x be b(-6). Let f(r) = -r**2 + 3*r + 1. Let m be f(x). Suppose -3*g + g + 14 = d, -m*g = -3. Solve -d + 4 = 2*o for o.
-4
Let l(z) = 3*z + 20. Let q be l(-6). Suppose 0 = -0*c - q*c + 18. Let j be c/(5/10 + 1). Solve 4*w + j + 6 = 0 for w.
-3
Suppose -7*m = -6*m - 2. Let d be 3/m - (-2)/4. Suppose 9*i = 5*i + 8. Solve -2*x + i = -d for x.
2
Suppose -2*q + 10 = y, 5*y - 11 = 9. Let h(k) = -4*k - 3*k + q*k. Let a be h(-5). Solve 0 = -2*j - 2*j + a for j.
5
Let h = 14 + -11. Suppose -h = -5*z + 4*z. Let q be 2 + (z - (3 - 0)). Solve 3 + q = -y for y.
-5
Let v(n) = -2*n - 3. Let o be v(-3). Let d = -9 - -14. Suppose -7*f - d*j - 13 = -5*f, f = -4*j - 14. Solve -o*g - f = 9 for g.
-5
Let w = 382 - 346. Solve 13*t - t = w for t.
3
Let m = 2 - 2. Let o(s) = 4*s**3 + 2*s**2 - 4*s + 3. Let t be o(1). Suppose m = -t*a - f + 5, -3*f + 5*f = -a + 10. Solve -2 = 2*w - a for w.
-1
Let a be 100/(-36) + 6/(-27) + 15. Suppose -2 - 10 = -3*m, -5*o - a = -3*m. Solve o = -2*b - 1 + 11 for b.
5
Let o(w) = 5*w**2 - 1. Let x be o(-1). Suppose x*u - 2 = 10. Solve 16 = u*y + y for y.
4
Let l(x) = x - 12. Suppose -2*y + 28 = -3*d - 2, 5*y - 75 = -2*d. Let k be l(y). Suppose q + 3 = -c, 2*c - k*q - 8 = 1. Solve c = 4*v + v + 15 for v.
-3
Let n be 2*4 + (-118)/(-2). Solve -63*o + n*o + 8 = 0 for o.
-2
Suppose 12*m + 30 = 15*m. Let k be 72/m + (-8)/(-10). Solve 3*j = -j - k for j.
-2
Let q = 789 - 789. Let j = 5 - 2. Solve -v - j = -q for v.
-3
Let a(j) = -j**3 - 6*j**2 - 5*j - 29. Let m be a(-6). Solve 5 - m = -4*f for f.
-1
Suppose -8 = 4*s - 4*x, 0*s - 14 = s - 4*x. Let k be ((-8)/12)/(2/(-3)). Solve 0 = -o + s*o - k for o.
1
Let q(f) = -3*f**3 + 2*f - 1. Let u be q(-2). Solve 0 = -6*d + u + 11 for d.
5
Suppose -8 = -9*t - 8. Solve t*p - 1 = -p for p.
1
Let t(k) = -9*k + 4. Let p be t(-8). Suppose 3*b = q - 19 - p, 0 = -5*b + q - 161. Let g be (-16)/(-6) - (-22)/b. Solve r = -0 + g for r.
2
Let j = -56 - -64. Suppose -12 - 13 = -5*g + 2*a, a + j = g. Solve 2*c + g = -1 for c.
-2
Let w be (16/(-12))/(8/12). Let x be ((-40)/(-24))/(w/(-6)). Suppose 3*u - 5*b - 24 = -2*b, 0 = -u + x*b + 24. Solve -p + 5 = u*p for p.
1
Let i = 1351 + -1306. Solve -4*j + i = -19*j for j.
-3
Let r be (1 - 0)*-2 - -2. Let o = -1754 + 1762. Solve -4*k = o - r for k.
-2
Let n(f) = 12*f**2 + 2*f - 1. Let t(o) = 11*o**2 + 3*o - 2. Suppose 6*a - 2*a + 8 = 0. Let c(b) = a*t(b) + 3*n(b). Let j be c(1). Solve -4*p - p + j = 0 for p.
3
Suppose -709 = -v - 706. Solve -j = v*j - 20 for j.
5
Let u(j) = 17*j**3 - j**2 + 4*j - 4. Let f be u(1). Solve l + 3*l = -f for l.
-4
Suppose -2*i = 18 + 18. Let w = i + 33. Solve 2*g - w = 7*g for g.
-3
Suppose -65 = -4*t - y + 105, 0 = -3*t - 3*y + 123. Let o = t - 41. Solve 0 = r - o*r + 1 for r.
1
Let a = -27 + 23. Let z be (-10 - a)*(0 + 1). Let l = 9 + z. Solve 0 = -l*b + 3 for b.
1
Let l(q) = -q**2 - 6*q + 2. Let p be l(-8). Let j = -14 - p. Solve -h - 2 + 3 = j for h.
1
Let h = -98 - -106. Solve m = -h + 4 for m.
-4
Let v(y) = y**2 + 17*y + 36. Let k be v(-16). Suppose -h + 6*h - k = 0. Solve 6 = -h*o - 6 for o.
-3
Let d = -30 + 37. Suppose 4*l = 4*k - 20, -5*k = 6*l - 5*l - d. Solve -w = k*w for w.
0
Let z(q) = 17*q**2 + 13*q - 25. Let k be z(2). Solve -39 + k = 6*p for p.
5
Suppose 0 = 8*a + 74 - 114. Solve -a*p + 16 = -9 for p.
5
Let z(t) = -30 + t**3 - 11*t**2 + 41*t**2 - 18*t - 5 + 72*t. Let x be z(-28). Solve 5 = -4*d + x for d.
4
Suppose 152*v - 2 = 148*v - 2*y, -2*y + 2 = -2*v. Solve -c + 1 + 0 = v for c.
1
Let c = 13 - 12. Let y = -1 + c. Suppose -2*s = -y*s - 10. Solve -2*d + s = -5 for d.
5
Let s be (1 - 20/16)*-20. Suppose s*f = 3*b - 5, -2*b + 8 = -2*f + 2. Suppose 1 - 3 = -g. Solve -3*i = g - b for i.
1
Let i(f) = 3*f**2 + 11*f - 6. Let w be i(-8). Let t = -92 + w. Solve 0 = -3*q - t + 3 for q.
-1
Let y be 120/50*(2 + (-3)/(-6)). Solve -q + y*q = -20 for q.
-4
Suppose 0 = 17*x - 22*x - 150. Let d = x - -30. Solve d*n - 1 = n for n.
-1
Suppose -5*n = 675 - 1745. Let r be -3 - (8/28 + n/(-14)). Solve -r = -2*w - w for w.
4
Let y = 4 + -2. Let j be (0 - 1)/(1/(-4)). Suppose 196*q - 203*q + 56 = 0. Solve -y*l + q = -j*l for l.
-4
Let n be (-20)/(-30) - (-4)/(-6). Suppose -4*v + n*v = 8. Let o = v - -7. Solve p = 2 - o for p.
-3
Suppose -5*m - 5*t + 51 = -9, 2*t = -5*m + 45. Let k be (-61)/(-4) - m/28. Solve k = -0*y + 5*y for y.
3
Suppose 5*x - 4 = 3*h, 4*x - 27 = -3*h + 2*h. Suppose h*n = 1 + 55. Solve -5*u + n*u = -12 for u.
-4
Let h(i) = i**2 + 23*i + 65. Let w be h(-20). Solve -w*d + 16 = -9*d for d.
-4
Suppose 0 = 8*n - 33 + 1. Solve 4*g = -2*g + n*g for g.
0
Let u = 159 + -155. Solve 5*x + u = x for x.
-1
Let r(a) = a - 15. Let i be r(16). Suppose -f - i - 11 = -5*p, 3*p = 2*f + 3. Solve f - 15 = 3*x for x.
-4
Suppose 0 = 5*r + d - 51, -d - 9 - 30 = -4*r. Solve r*h - 6*h = -12 for h.
-3
Let u = -31 + 38. Let i(l) = -l**2 + 7*l + 4. Let t be i(u). Solve b = t*b for b.
0
Let j(k) = -k**3 - 15. Suppose 3*s - 3*z + 15 = 0, 0*s - 3*s + 2*z = 10. Let d be j(s). Let q = -12 - d. Solve -f - 2*f = -q for f.
1
Let q = -28 - -35. Solve -q = k - 10 for k.
3
Let h = 46 + -26. Let z = h - 16. Suppose -p + z*p = 0. So