 o = 0 for b.
2
Let r be 2/(-6)*(-44 - -8). Let f(u) = -u**2 + 12*u + 2. Let l be f(r). Solve l*v + 2*v = 4 for v.
1
Let s be ((-4)/(-6))/(3/18). Let k be (-39)/(-12) - 1/s. Solve c = 5 - k for c.
2
Suppose -5*c + 5*v + 4 + 21 = 0, 55 = 5*c + v. Solve 0 = -7*i + c*i + 9 for i.
-3
Let w be ((-9)/2 - -3)*(-34)/3. Solve w*g - 10*g + 28 = 0 for g.
-4
Let f(a) = 5*a + 50. Let v be f(-9). Solve -v*g - 17 - 8 = 0 for g.
-5
Let l be 37/7 + (-7)/((-49)/(-2)). Solve -l = 4*y + 11 for y.
-4
Let j = -2236 + 2250. Solve 0 = 7*q + 42 - j for q.
-4
Let n = 161 + -100. Let l = -58 + n. Solve -w + l = 4 for w.
-1
Let b(n) = -n**3 + 7*n**2 - 2*n + 16. Let q be b(7). Solve q*g - 10*g = -40 for g.
5
Let k be (-2 - 2 - -3 - -3) + 9. Let y = k + -9. Solve -3*f + 25 = y*f for f.
5
Suppose 7*r = -l + 3*r + 28, r = 3*l - 123. Let v = l - 25. Suppose -k - 4*k = -v. Solve 20 = 8*h - k*h for h.
4
Suppose -5*v + 2*n - 25 = 0, -v = v + n + 10. Let k = -4 - v. Suppose -u - k - 5 = -3*l, 4*u + 3 = 5*l. Solve l*p = 7*p for p.
0
Suppose 0 = -3*n - 3*y, 5 = 2*n - 3*y - 10. Let r be -3*-1*(-2 + n). Solve -2*x - r = x for x.
-1
Suppose 3*v - 9 - 6 = 0. Suppose v*y = u - 15, -2*y = -6*u + 4*u + 30. Solve 2*g + g + u = 0 for g.
-5
Let d = 0 + 4. Suppose -4*i + 8 = 2*c + 2*c, c = d*i + 7. Suppose w - c = -0. Solve 0 = w*h - 6 for h.
2
Suppose -6 - 18 = -t. Suppose -2*q + t = q. Suppose 0 = -5*b - 5*y + 15, 5*y + 0 - 1 = 2*b. Solve q = b*d - 0*d for d.
4
Suppose -4*c = o - 7, -3*o + o = 2*c - 14. Solve -3*v = -o - 2 for v.
3
Suppose 0 = o + 42*o - 258. Solve o*d + d - 14 = 0 for d.
2
Let p(k) = -5*k - 17. Let l be p(-4). Let m be (l/4)/(11/264). Solve 3 - m = -3*t for t.
5
Let t = -18 + 32. Suppose -5*o + 11 = -t. Solve 0 = -o*d - 5 + 25 for d.
4
Let m(b) = b + 9. Let f be m(-7). Let h be ((-64)/(-2 - 2))/f. Solve -r - h = -3 for r.
-5
Suppose -26*r = -183 - 25. Solve -s - r = -3*s for s.
4
Let l(z) = z**2 + 1. Let p be l(1). Suppose -p*o + 4*o = 0. Suppose -4*v = -3*i + 6 + 2, 4*v - i = 0. Solve 2*x + v - 5 = o for x.
2
Let q(z) = 2*z**3 + 18*z**2 + 33*z + 45. Let s be q(-7). Solve 22*j = s*j + 12 for j.
1
Suppose -4*a = -14*a - 780. Let g = a + 85. Solve -g = -4*f + 5 for f.
3
Suppose -v - 5 = -2*t + 1, -2*v = -t. Suppose -v*p = -22 - 18. Solve -4*x = x - p for x.
4
Suppose j - 5 - 1 = 0. Let y = -8 + j. Let u = y - -3. Solve -c - u = -2 for c.
1
Let c = -1247 + 1254. Solve c = -6*i - 23 for i.
-5
Let z be (23/(-3) - 2) + 14/21. Let r be 80/8*z/(-15). Solve -2*m + 0 = r for m.
-3
Let o = 3 + -2. Let w(x) = -2*x + 23. Let l be w(7). Let m be (3 + (-29)/l)*-9. Solve -m*p - o = 1 for p.
-1
Let x(z) = 2*z + 25. Let o be x(8). Suppose m = 6*m + 5, -3*b + 5*m = -o. Solve 0 = -3*f - 0*f - b for f.
-4
Let q = 13 - 5. Let z = 20 - q. Suppose -2*a = 2 - z. Solve -7*n + 2*n = -a for n.
1
Let w = 3 + 5. Let t = -5 + w. Suppose -t*o = -4*o + 4. Solve -2*n - o = 2 for n.
-3
Let r = 118 + -71. Let q = 2 + r. Suppose 0 = -2*p - 3*s + 22, 3*s + q + 6 = 5*p. Solve 5*k + p = -9 for k.
-4
Let h = 66 - 42. Solve 27*m - 15 = h*m for m.
5
Let q(l) = 50*l + 622. Let v be q(-12). Solve 13*b - v*b = -27 for b.
3
Let j be -4 + 4 - 1/(3/(-15)). Solve -8 = j*b + 7 for b.
-3
Let o = -151 - -53. Let m be o/(-35) + 1 + (-2)/(-10). Solve -m*l - 35 = -15 for l.
-5
Let m(f) be the third derivative of f**5/60 + 2*f**3/3 - f**2. Let x be m(-2). Solve x = -v + 3*v for v.
4
Let g(q) = -q**2 - 14*q - 30. Let n(t) = -5*t - 9. Let s be n(0). Let u be g(s). Solve 4*z - u = -z for z.
3
Let y(m) = 3*m**3 - 6*m**2 + 4*m + 5. Let o(u) = 4*u**3 - 7*u**2 + 5*u + 6. Let j(f) = -4*o(f) + 5*y(f). Let l be j(-2). Solve 0 = s + l + 4 for s.
-5
Let g(j) = 18*j**2 - 2*j + 1. Let r be g(1). Let n = -14 + r. Solve -2*d - n*d - 5 = 0 for d.
-1
Suppose 37*j = 44*j - 28. Solve j = -0*n + n for n.
4
Let o be 5 - 2 - (-9 + 8). Suppose 3*z - z + 18 = 3*y, o*y - 3*z = 24. Solve 0 = -6*k + 4*k - y for k.
-3
Let s = 11 - 11. Suppose s = -5*c + 6*c. Suppose -19 = -k + 3*y, 2*y = -3*k + y + 7. Solve 0 = k*l - c*l for l.
0
Let a = -2848 + 2850. Let k = 0 - -2. Solve -k = d + a for d.
-4
Let t = 2586 + -2496. Solve 8 = -98*i + t*i for i.
-1
Let o be (-3)/(-21) - 450/14. Let g be o/40*(-10)/4. Solve g + 1 = -b for b.
-3
Let c = 46 + -45. Suppose -h + 8 = c. Solve -z - 2 = -h for z.
5
Let l(k) = 3*k**2 + 1 + 26*k - 5*k**2 + k**2. Let d be l(26). Solve d = 3*p - 5 for p.
2
Suppose 27*a = 5*a + 286. Solve -12*f + a - 1 = 0 for f.
1
Let k be (-282)/(-9) - (-2)/(-6). Let h = 61 - k. Let b be (-22)/55*h/(-2). Solve -b = 2*n + n for n.
-2
Suppose 4*y - 53 = -3*b, 4*b - 24 = -9*y + 7*y. Solve -j - y = -8*j for j.
2
Let n(y) = y**3 + 2*y**2 - y - 2. Let p be n(0). Let b be -2*p/20 - (-27)/15. Solve -3*x = 4 + b for x.
-2
Let n be 4 - (-3 + 4) - -1. Let a(f) = -f**2 + 4*f. Let y be a(4). Suppose -d + 0*d + 1 = y. Solve z - n = -d for z.
3
Suppose -68 = -6*x - 8. Suppose 11*k - x*k = 8. Suppose g - 18 = -2*g. Solve -k = -2*m + g*m for m.
-2
Let h(l) = -2*l**3 - 25*l**2 - 12*l + 15. Let v be h(-12). Solve 0 = -12*w - v - 9 for w.
-2
Let h = 44 - 41. Suppose -h*y = -3*o - 15, 0 = -0*y - 4*y + 5*o + 22. Solve -1 - y = 2*x for x.
-2
Let k(m) = m**3 - 8*m**2 + 4. Let f be k(8). Suppose 25 = -2*n + 7*n, f*n - 44 = -2*c. Suppose -3*w + 72 = 60. Solve 8 = w*z - c for z.
5
Suppose 0 = 147*w - 152*w + 25. Solve f + 1 - w = 0 for f.
4
Let x(r) = -2*r**2 - 24*r - 15. Let u be x(-10). Solve -6*c + c - u = 0 for c.
-5
Let q(h) = 14*h - 4 + 5 - h**3 + 13 + 14*h**2 + 3. Let v be q(15). Solve -4 = -o + v*o for o.
-4
Let b = -71 - -75. Let r = 16 - 16. Solve -b*a + 2*a + 2 = r for a.
1
Let k be 2 - (1 - 0)/(-1). Let h be (-4 - (-4)/1)/2. Let c be (-12 - -20) + (0 - h). Solve -k*z + 5*z = -c for z.
-4
Let g be 2 - (5 + -3) - 0. Suppose -u - 4*f = -24, 41 = 4*u - g*f + 5*f. Let b be (-9)/((-2)/u*2). Solve 0*w + b = 3*w for w.
3
Let c be 63 - (30/(-5) + 1). Suppose 61*x - c*x + 56 = 0. Solve -x - 7 = -5*n for n.
3
Let r(q) = q**2 + 14*q - 18. Let h be r(-17). Let a be (-1)/(h/(-36) - (-2)/3). Solve -1 = a*u + 7 for u.
-2
Let k(u) = -14*u + 158. Let w be k(11). Solve 0 = -w*y - 7 - 1 for y.
-2
Let k = -408 + 408. Let l = 14 - 8. Suppose l*m - m = k. Solve 2*s + 2 + 0 = m for s.
-1
Let a(v) be the third derivative of v**5/30 + v**4/24 - 2*v**3/3 - 11*v**2. Let l be a(-2). Suppose -y - 4*y = 0. Solve y = l*k - 6 + 2 for k.
2
Suppose -16*f + 1596 = 26*f. Solve -7*v = 3 - f for v.
5
Let p = -289 - -299. Solve -5*q = -3*q + p for q.
-5
Suppose -17*p + 14*p + 5 = r, -4 = 4*r. Solve -p*a + 6*a = 16 for a.
4
Let j = 13 + -9. Let h(o) = -o**3 + o**2 - o. Let r be h(0). Suppose -d = -r - j. Solve -d*a = 3 + 1 for a.
-1
Suppose 8*h - 18*h = -90. Suppose -h*d = -14*d + 15. Solve -10 = -d*b + 5 for b.
5
Let u(s) = -s**3 + 2*s**2 - 1. Let v be 45/(-27)*(-4 - -1). Let c(t) = -t**3 + 2*t**2. Let h(x) = v*u(x) - 6*c(x). Let p be h(3). Solve -d = p*d for d.
0
Let x be (3 - (-22)/(-6))*-3. Let l be x*((-1)/(-2))/1. Suppose -12*i = 32*i. Solve i = -w - 3 + l for w.
-2
Let a(l) = l**3 - 16*l**2 - 16*l - 5. Let g be a(17). Suppose 3*w = -0 + g. Solve 2*k + 0*k = w for k.
2
Let t be (-4)/10 - (-2)/5. Let q = 204 - 184. Suppose t = 2*r - 0*r - q. Solve -l = l - r for l.
5
Suppose 2*g = 4*f + 22, -2*g - 2 + 27 = -5*f. Let o(v) = 2*v**2 - 9*v - 4. Let j be o(g). Solve -2*p = -j - 9 for p.
5
Let z = 102 + -101. Let y be 0*z/(5/(-5)). Solve 0 = -y*o + o - 3 for o.
3
Let a = -23 + 23. Let b(c) = -21*c + 214. Let g be b(10). Solve a = -z - g*z + 20 for z.
4
Let p(i) = -2*i - 16. Let a be p(-12). Suppose 4*x - a = 2*x. Suppose f - 30 = -f + x*n, 5*f - 3*n - 103 = 0. Solve 8 = -5*k + f for k.
3
Let d be -11*(5 + (-434)/77). Suppose 2*h - 2 = -0. Let v = h + -1. Solve v = -5*l - d - 3 for l.
-2
Suppose -22*q - 18 = -28*q. Let a = -3 - -3. Suppose -4*t + 6*t + 4*s + 16 = a, 4*t + 8 = -2*s. Solve t = -q*j - 4 + 1 for j.
-1
Suppose 10*z - 2*z - 56 = 0. Solve -8*n - 5 = -z*n for n.
-5
Let t(p) = -p**2 - 11*p + 28. Let r be t(-13). Suppose 2*f = 2*v + v + 7, v - 19 = -r*f. Solve s - 3*s = f for s.
-4
Let o be (-1)/((-11)/77) + 25. Solve 3*d = -5*d + o for d.
4
Let k = -604 - -607. Solve -3 - 3 = -k*b for b.
2
Let u(f) = -2*f**3 - 9*f**2 - 3*f + 10. Let d be u(-4). Solve -d*m + 4*m = 10 for m.
-5
Let q(z) = -2*z - 21.