g*b - 2. Solve 4*k = 2*k + z for k.
1
Let a = 4 - 2. Let x = -2 - 2. Let y = 0 - x. Solve 6*b - a*b = y for b.
1
Suppose -x + 5*o - 4 = 0, -2*x - 3*o = 3*x - 8. Let f be (0 - -7 - x) + -1. Let c(g) = g**3 - 6*g**2 + 7*g - 3. Let t be c(f). Solve 13 = -5*w - t for w.
-4
Suppose 10 = -0*h + 5*h, 4*m = -3*h + 26. Solve 3*j - 2 = -m for j.
-1
Let h be 54/10 - 2/5. Solve x - h = -0*x for x.
5
Let d(u) = -u**2 - 12*u + 23. Let j be d(-13). Solve 5*v + j = -0*v for v.
-2
Let j(k) be the third derivative of -k**4/24 - 11*k**3/6 - 2*k**2. Let d be j(-16). Solve -d*m - 3 = 7 for m.
-2
Let a be (-2 - -2) + (-1)/1. Let n be -40*((-21)/15 - a). Suppose -3*i + 7*i = n. Solve p = -i*p for p.
0
Let z be (25 + -22)*(-1)/(-1 + 0). Solve 5 = v + z for v.
2
Suppose -5*s - 2*z + 12 = -11, -11 = -s - 2*z. Let t be (3/2)/(6/8). Suppose -10 = -s*y - t*y. Solve -y*k + 7*k + 25 = 0 for k.
-5
Let v(t) = t**2 + t + 0*t**2 + 3 - 2*t**2. Let z be v(0). Solve -10 - 2 = -z*f for f.
4
Suppose q + 0 + 2 = -3*r, 0 = -4*r - 3*q - 6. Suppose l - 6 = 3*l. Let m = l + 6. Solve 0 = -m*j - r*j - 12 for j.
-4
Let a = -154 - -163. Solve -3*k - 3 = -a for k.
2
Suppose -2*j - j = 0. Suppose -2*k - 44 = -6*k. Solve j = -4*x + k + 5 for x.
4
Suppose 0 = -5*c + 92 + 93. Suppose 0 = 3*r - c + 7. Solve 2*q + r = 4*q for q.
5
Let s be 10/20 + 46/4. Solve 0 = -2*h - h + s for h.
4
Suppose 3*o + 1 = -5*y, y - 5 - 13 = 2*o. Let p = 13 + o. Let m be 9/6 - p/(-4). Solve -m*j + 2 = 5 for j.
-1
Let y be (-6 - -11)*(0 + 1). Suppose -12 + y = -7*a. Solve 3*t - 2*t = -a for t.
-1
Let t = -8 - -13. Let a = 3 + -5. Let u be (-8)/((-4)/(a + 4)). Solve -u*v + t = v for v.
1
Suppose -3*z - 2 + 17 = 0. Solve -z - 10 = 5*x for x.
-3
Let k be (10 + -9)*(5 + 0). Solve k*i - 12 = -2 for i.
2
Let t = 61 + -59. Solve t + 1 = c for c.
3
Suppose -3*d + 6 = -3. Suppose 2*u - d*l + 7*l = -2, 3*u + 3*l = 3. Solve u*c + 8 = -c for c.
-2
Let c = -27 + 28. Solve j + 2 = c for j.
-1
Suppose w = 4 - 1. Suppose 2*h - 34 = -4*j, 0 = j - 4*h + 7 - 2. Let g be ((-2)/4)/((-1)/2). Solve w*i - g = -j for i.
-2
Let w(r) = -3*r + 1. Let f be w(-1). Suppose f*l = l. Suppose 0 = -4*q + q + 45. Solve l*a = 3*a + q for a.
-5
Suppose 5*s - 39 = 4*f, -4*s - 4*f + 26 = -2*f. Suppose s*o + 15 = 3*p + 4*o, -2*o - 10 = 3*p. Let d be 0 + 3 - (-2 + 2). Solve p*g - d = 3*g for g.
-1
Suppose -24 = -3*d + 33. Suppose 10*u - 5*u = o - d, -3*u = 12. Let j be 9/3 - (-2 - o). Solve -2*l + j*l = 0 for l.
0
Let r(w) = -4*w**2 + w + 4. Let a(x) = x**3 - 21*x**2 + 4*x + 21. Let l(z) = -2*a(z) + 11*r(z). Let c be l(-2). Solve 0 = -3*t - t + c for t.
1
Let n be 3 + (24/(-3) - 0). Let h be (-8)/(n + 3)*-1. Let x be h/(-24) + (-17)/(-6). Solve -m + 16 = x*m for m.
4
Suppose 18 = 3*l + 4*x, 5*l - 5*x = -2*x + 1. Let u be 0 + (0 - -1) + -1. Let h be 5 - (1 + u/1). Solve -h*d - l = -5*d for d.
2
Suppose 54 - 58 = -4*r. Suppose 6 = f + 3. Solve r = -x - f for x.
-4
Let j(r) = 6*r + 5. Let x be j(-3). Let w = x + 19. Solve -6 = w*k - 3*k for k.
-2
Suppose u + 0 = 4*j - 6, 3*u - 50 = -5*j. Suppose 4*o - 22 = 2*t, -t + o = t + u. Let m(f) = f**2 + 2*f. Let v be m(t). Solve -v*k + 3 + 6 = 0 for k.
3
Suppose 2*f + 60 = 5*k, -2*k - 2*f + 22 = -2. Suppose -3*m - u + k = 0, m + 0*u - 4 = 3*u. Suppose -2 = x - 2*x. Solve m = -x*l - 0 for l.
-2
Let v(l) = -3*l**3 - 3*l**3 + 9*l**2 + 9 + 6*l**3 + l**3. Let u be v(-9). Solve 3*x + 0 - u = 0 for x.
3
Let q be ((-4)/(-6))/((-4)/(-24)). Let l be q/(-4)*(-1 - 40). Suppose -3*u - 8 = -l. Solve -4*h = 3 - u for h.
2
Suppose -4*p - 5*p + 36 = 0. Solve 1 = p*y - 3 for y.
1
Let g be (-3)/9 + (-6)/9. Let q be (-5 + 5)*g/2. Solve q*k = k for k.
0
Suppose -t = 3*t - 16. Suppose -5*y = -t - 11. Suppose -2*k = y*b - 20, -2*k - b = -3*k. Solve k*a = a for a.
0
Suppose 4 = 4*u - 16. Solve 0 = -u*y + y + 20 for y.
5
Let c = -11 - -13. Suppose -c*v + 4*l - 8 = -0*l, 5*l = -v + 24. Solve -4*d + 2*d + v = 0 for d.
2
Let s(z) = z**3 + 2*z**2 - 4*z - 3. Suppose -3*v - 1 = 23. Let r = v + 5. Let g be s(r). Solve l - 2*l = g for l.
0
Let l be -6*1*(-2)/4. Suppose 0 = 2*p + 3*p - 5. Suppose q + p = l. Solve -q*i = -0*i for i.
0
Let f(k) = 4*k - 24. Let q be f(10). Let j be 3/2*q/6. Solve -3*c + c - j = 0 for c.
-2
Let n(g) = -2*g - 4. Let p be n(-4). Suppose -3*s = 2*b - 18, 54 = 4*b - 4*s - 22. Solve -p*y + y = -b for y.
5
Let x = -17 - -22. Solve 4*y - 3 = x for y.
2
Let i be (-2)/(-8) + 38/8. Suppose -4*o - 3*f = -16 - 8, 2*o + 14 = i*f. Solve -7 = x - o for x.
-4
Let k = 23 + -10. Let s = -15 + 10. Let u = k + s. Solve -z - z = u for z.
-4
Let m = -2 + 3. Suppose w + 24 = 9*w. Solve -w*t - m = -16 for t.
5
Suppose -5*f + 28 = 2*n, -26 = -4*n + 5*f - 0*f. Suppose -5*t = -n - 6. Solve 5*q + 6 = t*q for q.
-3
Let j be (-15)/(-6) + (-2)/(-4). Suppose 4*k + 2 = j*k. Let u be 7/2 + 1/k. Solve 2*h - 1 = -u for h.
-1
Let x = 6 + -10. Let y = x + 10. Suppose 0 = 2*s + 2 - y. Solve -2 = -4*r + s for r.
1
Let a(b) = b**3 - 13*b**2 - b + 18. Let g be a(13). Solve 3*k = 4*k + g for k.
-5
Suppose i + 12 = 4*l, 1 = l + 2*i - 2. Suppose -3*y + 44 = -l*g + 11, -y - 3*g = 1. Solve -4*b + 2*b = -y for b.
4
Let k = -6 + 7. Let f(j) = -j**3 - 5*j**2 - 3*j + 5. Let b be f(-4). Let p = b - k. Solve n = -p*n for n.
0
Let p(h) = h - 6. Let g be p(6). Solve g = -2*z - 0 + 10 for z.
5
Let y(a) = -1 + 1 - a - 2 + 7*a**2 - a. Let d be y(2). Suppose 3*p - 2 = d. Solve 2*m + p = 2 for m.
-3
Suppose 11 = -i + 11. Solve f + 1 = -i for f.
-1
Let b(v) = v**3 - 3*v**2 - 5*v + 6. Let a be b(4). Let r(o) = -3 + 5*o + 2*o + 1. Let y be r(a). Solve 2*h - y = -h for h.
4
Let m be ((-9)/(-4))/((-15)/40). Let d be 1 + 2*m/(-4). Solve -2*t + d = -6*t for t.
-1
Let v(p) = -p**2 - 9*p + 5. Let b be v(-10). Let k = -4 - 0. Let i be (46/k)/(b/10). Solve 3 - i = -4*y for y.
5
Let n be (-75)/11 + 10/(-55). Let q = 7 + n. Solve 0 = -3*w - q - 12 for w.
-4
Let a(m) be the first derivative of 1/2*m**2 + 1 + 0*m + 4/3*m**3. Let s be a(-1). Solve s = f + 6 for f.
-3
Let m be (-2)/(-1)*1/2. Let y be ((-6)/9)/(m/12). Let c be 12/(-1)*y/12. Solve -18 + c = -5*x for x.
2
Let f = 14 - 12. Solve 0*v = f*v for v.
0
Let h = 5 + 1. Suppose -3*w - 4*i - h = -33, 5*w + 3*i = 34. Solve -w*x + 7 = 32 for x.
-5
Suppose -107 = 5*l + 4*o - 16, 2*l = o - 26. Let m be (3 + -1)/((-10)/l). Solve m*n + 8 = 5*n for n.
4
Suppose -37 = -2*b - 17. Solve -s - b = s for s.
-5
Suppose -4*c - 20 = 4*k, 3*c - 21 = 5*k + 4. Solve -z + c*z = 3 for z.
-3
Suppose -4*p - 3 = 3*i + 48, 4*i = -2*p - 18. Let y be p/(-20) - 37/(-4). Solve 0 = x - 3*x + y for x.
5
Let o be (7/14)/(1/(-48)). Let l = o - -15. Let j be -3 + l/(-6)*2. Solve 4*n - 6 + 2 = j for n.
1
Let o(n) = 4*n - 3. Let b be o(2). Solve 4*a = 3*a + b for a.
5
Let a = 62 + -46. Solve 0 = -d + 5*d - a for d.
4
Let g be 24/20*25/10. Solve -a + 4 = g*a for a.
1
Let i be (-1 + 1)/((-2)/2). Solve i*o = -4*o for o.
0
Let y be (-2 - -2) + (-3)/(-1). Solve -2*c - 7 = -y for c.
-2
Suppose p - 5 = g, 7*p + 3*g + 8 = 3*p. Solve 0 = -h + p + 4 for h.
5
Let u(t) = -t**2 - 8*t - 6. Let h be u(-7). Suppose 0 = q - h. Let m be 2/(-4) + q/2. Solve m = 2*l + 3*l for l.
0
Let v be 2 + (-7 - -2 - -3). Solve g + v = -1 for g.
-1
Let u = 41 + -41. Solve 3*v + 3 = -u for v.
-1
Let h(c) = -2*c - 1. Let z(q) = q**3 + 6*q**2 + q + 6. Let s be z(-6). Let x = -3 - s. Let w be h(x). Solve -w*i - 1 = -11 for i.
2
Suppose o = 2*o. Suppose o = -3*x + 3*k - 6, -x - 4*x = 3*k + 42. Let t = x - -9. Solve -4*h - t = 9 for h.
-3
Let p(n) = -n + 12. Let w be p(10). Suppose 0 = -c + 2 + w. Solve 0 = c*k - 3*k + 1 for k.
-1
Suppose s - 1 = -j - 0*s, -5 = 5*s. Suppose c - 25 + j = 0. Let p = 37 - c. Solve 3*t + 5 = p for t.
3
Let p(h) be the second derivative of h**5/20 + 5*h**4/12 + h**2 + 4*h. Let f be p(-5). Solve -3*x - 4 = f for x.
-2
Suppose -5*a = 3*q - 0*q - 52, 2*q + 32 = 5*a. Solve 7*f - a = 3*f for f.
2
Suppose 5*q + 297 = -28. Let d = q - -25. Let x be (d/15)/((-4)/6). Solve 0 = -x*m - 4 - 8 for m.
-3
Let n(w) = w**3 + 3*w**2 - 6*w - 3. Let u be n(-4). Let y = -2 + u. Solve y*p - 3 = -6 for p.
-1
Suppose -2*c + 4*c + 6 = 0. Let w be (1 + 3)*(c - -4). Solve 3*k = -w + 19 for k.
5
Let s be ((9/(-1))/(-3))/1. Suppose 4 = w, -3*j - s*w - 148 = -5*j. Let z be ((-3)/2)/((-12)/j). Solve -3*d + 5*d = z for 