(((-45)/10)/b)/(1/6). Solve -2*v - w = 3 for v.
-3
Let k(z) = 2*z**2 + 18*z + 45. Let a be k(-9). Solve a*u - 6 = 43*u for u.
3
Let w = 52 - 79. Let x(i) = i**3 + 28*i**2 + 26*i - 27. Let c be x(w). Solve c = 5*g + 3 + 2 for g.
-1
Suppose -30*h = 1 - 241. Solve -h = -s + 5*s for s.
-2
Let s be (2 + -1)*(-2)/(-2). Let d = -43 - -46. Let x = d - s. Solve r + x = 1 for r.
-1
Suppose -2*j - 3*y = 1, -6*y = 5*j - 8*y - 45. Solve j*s + 2*s = 18 for s.
2
Let v be (-1)/(-2) - 50/(-4). Suppose -10 = -18*k + v*k. Solve -k*t = -5*t - 15 for t.
-5
Let i be (-372)/(-132) - (-2)/11. Let j = -3 + i. Solve j = -2*v - 3 + 5 for v.
1
Let i(n) = 3*n - 28. Let l be i(14). Let g(y) = -y**3 - 10*y**2 + 11*y - 8. Let r be g(-11). Let u = l + r. Solve -4 = 2*q - u*q for q.
1
Suppose a + 3*w - 4 = 0, 5*w + 0*w + 8 = 2*a. Solve 134 - 150 = -a*j for j.
4
Let y = -1057 + 1077. Solve -27*v = -y*v + 7 for v.
-1
Suppose 2*o - 15 = 2*f - 39, -3*f + 32 = -o. Solve g - f*g = 45 for g.
-5
Let y be 9*-1 - (-585)/39. Solve -12 = y*u - 12*u for u.
2
Let k(p) = 3*p - 1. Let g(i) = i - 1. Let j(r) = 2*g(r) - k(r). Let m be j(-4). Solve -m*t - 2 = -t for t.
-1
Suppose -5*s - 5 = 15, 2*s + 176 = 4*r. Let g = -39 + r. Solve g*y + 3 = 6 for y.
1
Let w(m) = m**2 - 7*m + 9. Let t be w(6). Suppose -5*h = -7 - t. Solve h*k = 3*k - 2 for k.
2
Let g(x) be the first derivative of -3*x**2 - 1/3*x**3 + 5*x - 5. Let m be g(-5). Solve 5*z + m = -0*z for z.
-2
Suppose -4 = -2*t - 12. Let z be ((-3)/12)/(t/32). Solve -5*u - 3 = z for u.
-1
Suppose 4*m + 2 = -b + 17, 3*m = -3*b. Let c be 4 - (-10 + m + -3). Solve 3 + c = 3*q for q.
5
Let s(g) = -g + 7. Let w be s(11). Let a be ((-2)/8)/(1/w). Suppose -5 = -3*q + a. Solve 1 - q = -o for o.
1
Let o = -7 + 14. Suppose -14*y - 47 = -75. Solve y = -x + o for x.
5
Let h(g) = -g**3 + 3*g**2 + g + 3. Let n be h(3). Let b be ((-4)/2 + 1)*-2. Suppose -b*z = -n*z + 16. Solve 4*q + 0*q - z = 0 for q.
1
Suppose v = -4*v - 4*a + 79, -4 = -4*a. Suppose 4*o + 2*q = -56, -3*q - 46 = 3*o - 1. Let f = o + v. Solve g + 3 = f*g for g.
3
Let c be (-406)/(-87)*(-6)/(-4). Solve -c*p = -4*p for p.
0
Suppose 0*p - 12 = -3*p. Let a(n) = 2*n + 16. Let t be a(-7). Suppose m - 5 = -p*g, 4*g + t*m - 6*m = 0. Solve -j - g = -3 for j.
2
Let t(n) = n + 13. Let r be t(-11). Suppose r*k - 34 - 10 = 0. Solve 3*z + 7 = k for z.
5
Suppose -c + 26 = 5*p - 2*p, 2*p = 3*c + 32. Let v be (-5)/p + 44/8. Let i = 19 + -19. Solve -v + i = -f for f.
5
Let m = 15 - 62. Let k = m + 47. Solve b = -k*b - 3 for b.
-3
Suppose -a + 3*z - 2 = 0, -4*a + z - 8 = -0. Let j(h) = 4*h**2 - h - 6. Let g be j(a). Solve 4*c = c + g for c.
4
Suppose 0*g + 1 = g. Suppose -4 - 41 = -5*c. Let n = -4 + c. Solve -n = 2*p + g for p.
-3
Let i(k) = -k**2 + 9*k + 19. Let b be i(11). Let u be 1/((-5)/90*b). Solve -3*a - 6 = u for a.
-4
Let s(m) = 2 + 3 - 8*m - 7. Let k be s(-4). Let c = k + -18. Solve -4*a + c = -0*a for a.
3
Let t(p) = p**2 + p - 1. Let k(d) = -3*d**2 + 18*d + 29. Let b(w) = k(w) + 4*t(w). Let g be b(-21). Solve 0 = -6*v + g*v for v.
0
Suppose 9*z - 95 = -d, 3*z - 6 = -3*d + 15. Solve -z = y - 9 for y.
-2
Let k = -1429 + 1438. Solve 5 - k = 2*n for n.
-2
Suppose -4*p = 2*r - 16, -49 = -5*r - 2*p + p. Suppose -4*m = m - r. Suppose 2*i + m*u + 2*u = 14, 18 = 3*i + 5*u. Solve -i - 1 = -2*j for j.
1
Suppose -2*d = -10 - 0. Let m = 9 - d. Let x be (-20)/(-2) + 3/3. Solve 0 = m*g + x - 3 for g.
-2
Let h(i) = 27*i + 55. Let z be h(-2). Solve o + z - 5 = 0 for o.
4
Let z = -938 - -944. Solve -5*a = z*a - 44 for a.
4
Suppose -r - 576 = -49*r. Solve -7*s - 2 = r for s.
-2
Let i = 91 + -94. Let z be i - (8 - -2)/(-2). Solve n - z*n = 5 for n.
-5
Let t be -3*((-8)/(-12) + -2). Suppose 5*v - 5*m = 15, v + t*m = 2*v - 12. Suppose p + 31 = 2*c - 2*p, 18 = 3*c + 5*p. Solve v = 4*h - c - 5 for h.
4
Let n be (-2)/4*(15 + -21). Solve 0 = -y + n - 8 for y.
-5
Let f(y) = -26 - 6*y**2 + 17 + 5*y - 3*y**3 + 3*y**3 - y**3. Let p be f(-7). Solve 1 = -p*v - 9 for v.
-2
Let g be (-117)/(-143) - (-8)/44. Solve 9 = -4*o + g for o.
-2
Let p be (1 + (0 - 2) - 7)*-6. Let u = p + -48. Solve 0 = b - u*b for b.
0
Let f be (28/(-42))/(1 + 7/(-6)). Solve f*o = 6*o + 4 for o.
-2
Suppose -20*x - 5*x + 500 = 0. Solve 0 = -3*h - 2*h + x for h.
4
Let x(z) be the first derivative of -z**3/3 - 11*z**2/2 + 3*z - 4. Let t be x(-11). Solve t = -4*c - 1 for c.
-1
Suppose x = 5*s - 121, 2*s + 9 = -5*x + 52. Let w be (-4 + 8)*18/s. Solve w*l + l + 12 = 0 for l.
-3
Suppose -5*s + 6 = -2*h - 2, 3*h - 11 = -4*s. Let b(l) = -6*l**2 - 4*l. Let r be b(-2). Let q = 17 + r. Solve s + q = -3*y for y.
-1
Let n be ((-2)/(-8))/((-14)/(-112)). Suppose -3*u = -n + 119. Let a = u + 41. Solve i + i = -a for i.
-1
Let q = 460 - 438. Solve 14 = 9*b - q for b.
4
Suppose 9 = 3*j + 60. Let x = j + 22. Suppose -3 + 33 = 3*p. Solve p = -0*c - x*c for c.
-2
Let z = 66 + -63. Solve 0 = -z*k + 10 - 1 for k.
3
Suppose 10*z - 12*z = 2*l - 56, 3*z - 76 = -l. Suppose 0 = 5*t - n + 123, -5*t = -3*t - 4*n + 60. Let m = z + t. Solve 6 = -3*b - m for b.
-2
Suppose 0 = 3*d - 7 - 5. Suppose -72 = 3*i - 6*i. Let u be 3/(-2)*(-32)/i. Solve x + d = u for x.
-2
Let n = 600 + -598. Solve -n*t + 16 - 18 = 0 for t.
-1
Let d(h) = 17*h**2 + 42*h - 43. Let n be d(1). Solve -13*m = -n*m - 6 for m.
-2
Let t(n) be the first derivative of -2*n + 5 + 3/2*n**2. Let b be t(1). Solve 0 = -f + b for f.
1
Suppose -2*b = b. Suppose 38 = -2*v - v - 4*c, -2*v + c - 7 = b. Let f(t) = t**3 + 7*t**2 + 4*t - 1. Let o be f(v). Solve -o = -4*m + 5 for m.
4
Let g = -41 - -31. Let r be (-5)/g - 3/(-2). Solve -r*w + 0*w + 8 = 0 for w.
4
Let r(q) = q**3 - 5*q**2 - 8*q - 15. Let l be r(7). Solve -7*t = 1 + l for t.
-4
Suppose 0 = 5*a - 4*a - 4*p + 9, 6 = 2*p. Let i = -25 - -29. Solve -r - i = -a*r for r.
2
Let m = -204 - -211. Solve 7 = -m*u + 14 for u.
1
Let y be -4 - -1 - (23 - 0). Suppose 3*a + 85 + 9 = -2*v, -4*v = -5*a - 164. Let l = y - a. Solve l = -2*w - 4 for w.
-5
Let s be (-12)/(-10)*(1 - (-34)/6). Let o be (-3)/(-6)*(0 - -2). Let l be 2 + (-2 - -2) + o. Solve -l*b + s*b = 0 for b.
0
Suppose 0 = 3*n - 0*n - 6, 148 = 4*i - 2*n. Let w = -36 + i. Solve -2 = w*g - 0 for g.
-1
Let n be 3/(-2) - 210/(-28) - 2. Suppose 1 = j, -3*y = 2*y + 5*j - 10. Solve 0 = 5*g - y - n for g.
1
Let m = -1 + 4. Suppose 0*j - 60 = -3*j - 3*o, -4*j + o + 70 = 0. Suppose 2*p - 10 = -c, -5*c - 2*p + 17 = -17. Solve j - c = m*b for b.
4
Let c(u) = 2*u**2 - 19*u - 22. Let l be c(10). Let h(s) = 2*s**2 + 24*s + 3. Let i be h(l). Solve 6*x = i*x for x.
0
Let b(l) = -3*l**3 - 35*l**2 + 11*l - 7. Let i be b(-12). Solve -i*x + 0*x = -3*x for x.
0
Suppose -10*n - 294 - 266 = 0. Let f be (n/70)/((-2)/5). Let q = -7 - -7. Solve 2 = f*v - q*v for v.
1
Let i(m) = 4*m + 1. Let q(k) = -13*k - 3. Let u(z) = 8*i(z) + 3*q(z). Let x be u(-1). Solve 0 = -3*l + x + 3 for l.
3
Let v = 22 - 17. Let o = -94 - -131. Suppose o + 43 = 5*c. Solve v*w + c = w for w.
-4
Let j(g) = g**3 - 2*g**2 - 5*g - 1. Let o be j(-2). Let k(h) = 6*h + 49. Let x be k(o). Solve 2*v - 5 = x*v for v.
-1
Suppose -72*u + 60*u + 36 = 0. Solve -x + 1 + u = 0 for x.
4
Let c(t) = t**3 - 2*t**2 + 2*t - 2. Suppose -60 = 2*b + 2*b. Let i = b - -17. Let v be c(i). Solve -3*l = v*l + 25 for l.
-5
Suppose 1 = -g, -2*d - 3 = -0*d + 3*g. Suppose -4*h = 2*x - 8, -4*x + 5 - 21 = d. Suppose 20 - 4 = h*q. Solve 5*f = 4*f - q for f.
-4
Let q(z) = -z**2 - 12*z - 15. Let o be q(-10). Solve 8*x - o*x + 3 = 0 for x.
-1
Let r = -100 + 144. Let a = -37 + r. Solve 3 = 5*k - a for k.
2
Suppose -u - 2*u = -12. Suppose 3*d + 4*k = 2, -k + 0*k = -5*d + 34. Let h(o) = -o**3 - o**2 + 2*o + 2. Let f be h(-1). Solve -u*i + i + d = f for i.
2
Let v(o) = 2*o - 1. Let d be v(2). Let l = 33 - 33. Suppose i - 4*i - 9 = l, 3*x - 5*i = 30. Solve -d*k = -20 + x for k.
5
Let f be (-40)/8*1 - -5. Solve -5*a - a - 12 = f for a.
-2
Suppose -v = 3*v. Let d = 65 + -105. Let j be (-18)/(-5) + (-16)/d. Solve v = -q - j + 6 for q.
2
Suppose 0 = -0*q - 7*q + 35. Let t be (-2 - q/(-3))*15/(-1). Solve -5*b + t = -10*b for b.
-1
Let i = -98 + 103. Let y be 4*(58/8 + -1). Suppose -4*q + 40 = -3*a - a, i*a = y. Solve -6*j + j + q = 0 for j.
3
Let f = -11 + 13. Suppose -f*y + 40 = 4*v - 50, -3*y = 3*v - 60. Suppose -5*u + 2 = 2*o - 3*u, -v