 Let x(w) = -3*w + 12. Let u be x(4). Solve -3*b + a*b = u for b.
0
Let k(w) = -4*w**3 - 2*w**2 - 7*w - 8. Let o(q) = -11*q**3 - 6*q**2 - 20*q - 23. Let v(r) = -17*k(r) + 6*o(r). Let i be v(2). Solve b = -1 - i for b.
-5
Suppose 0 = -6*k + k + 35. Let q be (495/(-132))/(2 - 35/16). Solve -q = -3*d + k*d for d.
-5
Let y(s) = s**2 - 2*s - 4. Let g be y(-2). Solve -4 + 0 = g*v for v.
-1
Suppose -4*m + 30 = m. Suppose 0 = 2*i + i - m. Suppose 0*t - t + i = 0. Solve 0 = -2*u - 0 - t for u.
-1
Let t = -40 - -42. Solve -t*v + 3 = -v for v.
3
Let u(d) = -3 + 2 + d + 2. Let q be u(4). Let h(t) = t**3 - 13*t**2 + 23*t - 10. Let y be h(11). Solve -q*i + 9 = -y for i.
2
Suppose -2*q + 2*k = -42, 2*q - 4*k + 16 = 68. Solve 0*g + q = 4*g for g.
4
Let n = -1 - -6. Solve 3*w = -17 + n for w.
-4
Suppose i = -2, -z - 56 = 4*z - 2*i. Let x be (-56)/z + (-3)/(-9). Suppose 4*a - 21 = -5*y + 10, -4*y = -5*a - 33. Solve -x*l = -3 - y for l.
2
Let d be (-5 - -5)/(0 + 2). Suppose 2*t + d*t - 12 = 0. Suppose t + 9 = 3*a. Solve a*w + 6 - 1 = 0 for w.
-1
Suppose -14*s + 6 = -12*s. Solve -s*m = 2*m + 25 for m.
-5
Let p(m) = -8*m - 4. Let w be p(-3). Let z be (-4 - -1) + 8 - 1. Let f be (0/1)/(z/2). Solve 5*c = -f*c - w for c.
-4
Let b be ((-6)/4 + 1)*-2. Let i be (b/(-2))/((-2)/4). Let x = 2 + i. Solve -6 = -x*q - 3 for q.
1
Let o be 126/15 + (-6)/15. Let q be 8/(-2)*(-36)/o. Let s(l) = -l**3 + 4*l**2 + 7*l - 7. Let d be s(5). Solve -6 + q = -d*c for c.
-4
Let v be 91/4 - 4/(-16). Suppose -2*n + 7 - v = 0. Let y be 180/n*(-2)/3. Solve -c = 2*c + y for c.
-5
Let u(t) = t**2 - 10*t + 9. Suppose 3*r - 4 = 8, -3*v + 4*r = -11. Let d be u(v). Solve 5*k = -d*k - 20 for k.
-4
Let l = 33 - 29. Suppose r + l*r - 60 = 0. Solve 0 = -i - 2*i + r for i.
4
Suppose -13 + 4 = 4*m + y, 0 = m + 3*y + 5. Let s be 3 + (m - (-3 - 2)). Solve -3*t + t = s for t.
-3
Let p be (-1 - -5) + (-4)/(-1). Solve 6*f - p = 2*f for f.
2
Suppose -3*p + 6*p - 6 = 0. Suppose 3*r = -p*r. Suppose -a + 2 = -0. Solve r = a*s - 4 - 0 for s.
2
Suppose -4*x = 5*o - 2*o + 1, -12 = 4*o. Suppose -2*v = -0*v. Solve 0 = -2*f - v - x for f.
-1
Let h(k) = k**3 + 5*k**2 + k - 12. Let b be h(-4). Solve b = g - 1 + 3 for g.
-2
Let t(x) = 2*x**3 - 4*x**2 - 4. Let k be t(3). Suppose -4*w - a + 6*a + k = 0, -2*w + 6 = -3*a. Suppose -w - 6 = -3*d. Solve -2*p = -0*p - d for p.
2
Suppose -2*h - h + 9 = 0. Solve -h = -3*q + 3 for q.
2
Let t(u) = -3*u - 3. Let p be t(-2). Solve p*o - 7 - 2 = 0 for o.
3
Let j(o) = -o**2 + 5*o + 4. Let n be j(5). Solve w + n = -3*w for w.
-1
Let s be (10 + -1 + 0)*2. Let x be (7/(-21)*0)/2. Solve -3*z - 6 + s = x for z.
4
Let g(i) = -i - 12. Let p be g(-13). Solve -3 - p = 2*m for m.
-2
Suppose 6*o = 4*o. Suppose -3*l = g - 1, 5*l - 3*g = 2*g + 35. Solve o = -3*p + 8 - l for p.
2
Let y = -4 + 6. Let u(l) be the second derivative of l**3/6 + 15*l**2/2 - 2*l. Let b be u(-12). Solve -b*k = -7 - y for k.
3
Let y be (36/8)/(-3)*-2. Solve -y*l = 6 + 6 for l.
-4
Let r = -55 - -59. Solve 4*h + 0*h + r = 0 for h.
-1
Let g = -4 - -2. Let n be g/(-4)*1*10. Suppose -45 = -0*j - n*j. Solve -3*y + j = -0*y for y.
3
Let q be 0/(4 + -1 + -2). Solve b - 1 + q = 0 for b.
1
Suppose -2*v + 0*v = 0. Suppose v = -u - 0*u. Solve u = 2*y - 7*y - 20 for y.
-4
Let v(r) = r**2 - 12*r - 13. Let c be v(13). Solve c = -3*h - 2*h for h.
0
Let r be -6 + 1/((-1)/(-2)). Let p be (-110)/(-25) + r/10. Suppose 4*a + p*h - 8 = 0, -4*h - 14 = -2*a - h. Solve a = 2*m - 0*m for m.
2
Suppose 3*p - 12 = -3*i, 4*i - 7 = -3*p + 9. Suppose -i*a = 20, 3*w - 5*a = 22 + 6. Let x be 3 - 0 - w - -3. Solve -x*y + 3 = -2*y for y.
1
Let f = -17 - -19. Solve f*n = -0*n for n.
0
Let s(y) = 2*y**3 - 4*y**2 + 3*y - 1. Let l be s(2). Let f = l + -5. Solve f = -4*r - r for r.
0
Let l = 8 + 0. Let m(p) = p**2 + 8*p + 9. Let y(a) = a**2 + 7*a + 8. Let t(w) = -5*m(w) + 6*y(w). Let u be t(-2). Solve -l = -d - u*d for d.
2
Suppose -5 = -j - 0*j + 2*z, 3*j - z - 15 = 0. Solve 0 = j*v + 2 + 18 for v.
-4
Suppose 41 - 6 = 5*g - 5*d, -4*g - 4*d = 4. Solve 8 = r - g*r for r.
-4
Let o be 1*(-2 - 0) + 11. Let t(c) = -2 - 9*c**2 + o*c + c**3 - 4 + 3. Let r be t(8). Solve -4*d - r = d for d.
-1
Let h = 7 - 12. Let d(s) = -4*s - 29. Let b(l) = -l - 7. Let o(u) = -9*b(u) + 2*d(u). Let w be o(h). Solve w = 5*y - 7 - 3 for y.
2
Let y = 86 - 86. Solve y*r - r + 4 = 0 for r.
4
Suppose -4*p - f = f - 10, f = p + 5. Suppose i - 3 + 0 = p. Solve 3 + i = -2*n for n.
-3
Let v = 38 - 38. Let c = 2 + 2. Solve v = -0*o - c*o - 12 for o.
-3
Suppose 4*w - 20 = -2*d, 0 = 4*d - 8*w + 11*w - 55. Solve -q + 5*q + d = 0 for q.
-4
Let w(c) = -c - 1. Let m(z) = 6*z + 8. Let l(x) = 2*m(x) + 14*w(x). Let n be l(-1). Solve 0 = -n*j + 17 - 1 for j.
4
Suppose -a - 20 = -4*m, -4*m - 13 = 3*a - 33. Let y be (-1 + a)/((-3)/12). Suppose -4*c = o + 4, -2*c + 0*c = y. Solve 0 = -j - o for j.
-4
Suppose -u = 2*u. Suppose -2*i + i + 4 = u. Suppose -i*l + 3*l + 2 = 0. Solve -h = -l*h for h.
0
Let y be 1/(((-15)/(-18))/(-5)). Let l = 0 - y. Let g = l - 4. Solve g*b = 1 + 1 for b.
1
Let s be 0 - -3*(-3 + 2). Let p be (-2)/3 + (-2)/s. Solve -2*a = -p*a - 4 for a.
2
Let z = -9 + -3. Let p = z + 15. Solve -p*l + 4*l - 3 = 0 for l.
3
Let y be 4/10*(-105)/3. Let c(k) = -k**3 - 6*k**2 - k - 4. Let w be c(-5). Let r = y - w. Solve -25 = 5*n - r*n for n.
5
Let q = -5 - -9. Suppose -7 = 4*t - 31. Let s = t - q. Solve -5 = -3*a - s for a.
1
Let s = 33 - 31. Solve -4 = s*i - 0 for i.
-2
Let k be (10/8)/((-1)/(-4)). Let y(n) = -n - 7. Let c be y(-7). Let x be 1/(5/55) + c. Solve -14 = k*r + x for r.
-5
Let r(c) = c - 5. Let b be r(6). Let n be -1 + (4 - 3/b). Solve n*d + 2*d = -6 for d.
-3
Let q = -28 - -28. Solve 3*n + 2*n - 5 = q for n.
1
Let y(j) be the third derivative of j**5/60 - 5*j**4/12 + 11*j**3/6 - 2*j**2. Let n be y(9). Solve -5*r = -n*r for r.
0
Let d be (14/(-42))/((-46)/(-24) + -2). Solve 0 = d*p - p for p.
0
Suppose 2 + 8 = 2*p. Solve 0 = -2*w - 1 - p for w.
-3
Suppose 3*r - 4 = -5*j + 5, 0 = -j. Let c(w) = -w - 5. Let b be c(-6). Suppose b = -3*p - 11, -5*h + 3*p + 87 = 0. Solve 8*u + h = r*u for u.
-3
Suppose 2*r + 2*r = 0, -4*f - 3*r + 24 = 0. Let z = -6 + f. Solve z*j - 3*j + 15 = 0 for j.
5
Let g(c) = c + 5. Let f be g(-3). Let r be (f/(-2))/(1/(-6)). Let l be 20/(-6)*r/(-4). Solve l*x - x = -12 for x.
-3
Let t be 8/36 + (-4)/18. Suppose -3*p = 3*a + 6 - 33, t = -4*p + 2*a + 12. Solve 0 = -4*u + 11 + p for u.
4
Let p be 1/(-2) - 119/(-14). Suppose p = -5*y + y, 24 = 5*n - 2*y. Solve -2*z = -n*z - 10 for z.
-5
Let n = 3 - 2. Let d = 2 + n. Suppose r - 4*c - 1 = -4, 0 = 4*r - 3*c - 14. Solve -d*p + 1 = -r for p.
2
Let m be 16 + 1/(2/(-4)). Let k = m + -9. Solve -2*n + 12 = -k*n for n.
-4
Let d = 7 - -5. Suppose 3*j - u - d = 2*u, 4*j - 9 = -3*u. Let t be 14/(-42) + (-7)/(-3). Solve 5 = j*l - t*l for l.
5
Let h be ((-4)/3)/(72/(-216)). Let a(q) = q. Let u be a(0). Solve u = -3*x - h + 1 for x.
-1
Let b(q) be the first derivative of q**2/2 + 6*q - 2. Let c be b(-6). Suppose c = 2*p + 2*p - 4, 3*w = -p + 7. Solve w*y = -3*y - 5 for y.
-1
Let l(k) = 5*k - 3 - 6 - 4*k**2 + 0*k**2 - k**3 - 2*k**2. Let m be l(-7). Solve m*r - 5 = 20 for r.
5
Let u(p) = -2*p - 10. Let c be u(-7). Suppose 4 = c*i - 0*i. Solve 3*o - i = -7 for o.
-2
Suppose -56 = 6*k + 10. Let l = -8 - k. Solve l = t - 2 for t.
5
Suppose 0*l - 25 = -5*l. Suppose l*y + 19 - 2 = 3*p, 2*p = -4*y + 4. Solve p*d = -0*d for d.
0
Let x(g) = g**3 - 7*g**2 + 9*g - 3. Let d be x(6). Suppose 0 = -3*n - 12, 2*a + 3*n = -d + 3. Let p be (a*(-1)/(-2))/1. Solve -k + p = -1 for k.
1
Suppose -20 = -s - 4*o, 25 = 3*s + 2*s + 5*o. Solve s*u = 3*u for u.
0
Suppose -4*y = -8, 3*y - 1 - 11 = -3*w. Solve 7*k + 5 = w*k for k.
-1
Let f(b) = -b**2 - 7*b + 6. Let i(k) = -7*k + 1. Let v be i(1). Let m be f(v). Solve -4*d + m = -0*d for d.
3
Let s be -9 + 8 - -1*6. Suppose 6*l - 10 = -4*g + 3*l, 0 = 4*g + s*l - 6. Solve -g*b - 15 = -9*b for b.
3
Suppose -20 = -3*q - 11. Suppose 0 = 4*u - 7*u + 3*s + 6, -4*u = -2*s - 12. Solve -u*g = 5 + q for g.
-2
Suppose -2*c - y - 2*y = -8, y = -5*c + 33. Suppose 3*d - c = 2. Let x be ((-45)/12)/(d/(-8)). Solve 0 = 3*f - f - x for f.
5
Suppose 2*f = 4*f. Suppose f = -v - v. Solve v*a = 2*a - 10 for a.
5
Suppose 4*w = 2*l + 8, -3*w + l = 