= m - 4 - l. Solve -x + m*x = 8 for x.
2
Let q(k) = k - 2. Let d be q(4). Let h(s) = 3*s**3 - d + 4 + 2*s**2 - 2*s**3. Let t be h(-2). Solve -o - o = -t for o.
1
Let m = 5 + -5. Suppose -5*g - 2*v + 8 = m, -g - v = -0*v - 1. Suppose -3*u - 4 = 3*h - 2*h, g*h - 3*u = 10. Solve h*s = -3*s for s.
0
Suppose -n - 3*n + 20 = 0. Suppose 16 = -z + n*z. Let i = 2 + -2. Solve i = 2*q - 3*q - z for q.
-4
Let r(b) = b**3 - 6*b**2 + 4*b + 7. Let a be r(5). Let l = -17 + 11. Let n = -2 - l. Solve -6*s = -a*s + n for s.
-1
Let d(n) = n + 5. Let z be d(-7). Let w be z/(2 + (-48)/21). Let y = w - 2. Solve -2*a - y = -1 for a.
-2
Let h(g) = 2*g + 2. Let w be h(-2). Let t be w/(-7) - (-8)/(-28). Solve t = -m - 3*m + 16 for m.
4
Let x = -11 - -7. Let q be (x/(-5))/(1/10). Suppose b + b = q. Solve 0*s = b*s + 8 for s.
-2
Suppose -f = -4*f + 6. Suppose 0 = -b + f*b - z - 5, 0 = b - 2*z - 10. Solve -2*u + u + 2 = b for u.
2
Let r be (-6)/(-21) - 2/7. Let p(h) = -h - 15. Let i be p(-15). Solve i = -r*m + 3*m - 12 for m.
4
Let p(o) be the second derivative of -o**3/6 + o**2/2 + 2*o. Let c be p(3). Let i be (-1 - -1)/(c + 5). Solve i = 3*t - 2 + 5 for t.
-1
Let u be 4/8*-2*0. Solve -3*y + 2*y = u for y.
0
Let s = -9 - -8. Let j be 2/(s*3/21). Let i = -4 - j. Solve 2 = 2*h + i for h.
-4
Suppose 3*m + 0*o = -2*o - 8, o + 4 = -2*m. Solve m*c = c - 3 for c.
3
Suppose -5*w + 10 = 0, 3*z - 4*w - 3 = 1. Suppose 4*c - 10 = 3*o - 0*o, -3*o + 3*c = 6. Suppose -q - o = -2*q. Solve 2*r - z = q for r.
3
Let l(h) = 8*h + 1. Let q be l(-1). Let w = q + 10. Suppose -5*p = -u - 2 + 15, -5*u = 4*p - 36. Solve -w*g - u = -7*g for g.
2
Let w(z) = 10*z - 1. Let d be w(-1). Let u be (-3 + d/(-2))*2. Solve 3 = -u*o - 2 for o.
-1
Let q be -6 - -6 - (-1 - -1). Solve w = -q*w - 5 for w.
-5
Suppose 3*r - h - 3 = -4*h, -2*h = r. Let t be -77*(-1)/2*r. Suppose 3*b - t = -b - 3*k, 5*b - 101 = k. Solve b = -0*d - 5*d for d.
-4
Let l(a) = 2*a**2 - 11*a - 6. Let m(u) = -5*u**2 + 23*u + 11. Let s(x) = 7*l(x) + 3*m(x). Let b be s(-6). Solve -3 = b*i + 3 for i.
-2
Suppose -30 = -3*q + 4*o, -15 + 42 = 3*q - 3*o. Solve 2*l = -l + q for l.
2
Let t = -4 + 12. Let n be (-146)/t - (-6)/24. Let s = n + 27. Solve s*p - 4*p = 15 for p.
3
Suppose 5*s + 4 = 14. Let o(d) = -d**2 - d + 2. Let x be o(s). Let i(b) = -3*b - 5. Let u be i(x). Solve -u*j + 2*j + 25 = 0 for j.
5
Let v = -3 - -3. Let c = 67 + -47. Suppose 2*h = -2*i - 3*h + c, 3*h = 0. Solve -i = 2*n - v*n for n.
-5
Let y = -41 - -46. Solve -y = -l + 2*l for l.
-5
Suppose -3*m + 5*m = i + 7, -5*i + 5 = 0. Solve -10 + 2 = -m*h for h.
2
Let y = 28 - 28. Solve 0*g + g = y for g.
0
Suppose 5*t - 29 = -4*x + x, 3*x = 5*t - 11. Let y be (x/9)/(2/12). Solve -y*q = 16 - 6 for q.
-5
Suppose 3*i + 4 = l + 4*i, i - 1 = 2*l. Solve 2*s = l + 9 for s.
5
Suppose 4*a - 1 = -17. Let b = 1 - a. Solve -2*v - b = -3*v for v.
5
Let u be ((-88)/(-14) - 3) + (-4)/14. Solve 2*a - u = 1 for a.
2
Suppose g - 2 = -5*p + 17, 4*g = -4. Solve -2*w + 0 = p for w.
-2
Let o(n) = n**2 - 2*n + 1. Let r be o(1). Let p be (r + -4)/((-1)/2). Solve 5*h - 7 = p for h.
3
Suppose 3*b = 5*m - 20, -3*b + 4*m = -b + 16. Let w be (5 + -4)/(2/8). Solve b = 3*i - i + w for i.
-2
Suppose 0 = -3*i - 10 - 14. Let m(q) be the second derivative of -q**3/6 - 4*q**2 - q. Let s be m(i). Solve g + s = -2 for g.
-2
Let l be 0*(-2)/(-4) + (-2 - -4). Solve 2*j + l*j = 0 for j.
0
Let b(o) = -o + 2. Let n be b(-2). Solve 5 = -5*y + n*y for y.
-5
Let k(a) = -2*a - 6. Let j be k(-3). Solve j = -7*h + 2*h + 15 for h.
3
Suppose 5*h = -8 + 113. Solve 4 = -5*n - h for n.
-5
Let h(z) = -z**2 + 2*z + 4. Let i be h(3). Solve 5*f = -4 - i for f.
-1
Let h(f) = 5*f**3 + f**2 - f. Let z be h(1). Solve -13 + 3 = z*g for g.
-2
Suppose -o = -31 + 11. Solve 0 = -r - 4*r + o for r.
4
Suppose 2*j + v + 7 - 32 = 0, 3*j - 32 = 4*v. Solve 3*r - j = -0*r for r.
4
Let x be ((-6)/(-4))/((-2)/(-4)). Suppose -2*s = 3*s + r - 13, 9 = 3*r. Solve -4 = x*c + s for c.
-2
Let d = 2 + 4. Suppose 4*u - 3*g + d*g - 44 = 0, -32 = -2*u + g. Suppose -3*x + 4 + u = 0. Solve -4*w = -2*w + x for w.
-3
Let y = -18 - -12. Let z(m) = -m**2 - 5*m + 9. Let t be z(y). Solve -t*x - 6 = -0*x for x.
-2
Let b(u) = -u**2 - 12*u - 11. Let a be b(-11). Solve 5*x - 6 - 4 = a for x.
2
Suppose 0 = -3*c + 4*c + 4*v - 6, 0 = 5*c + 4*v - 62. Suppose 11*o = c*o. Solve -9 = -3*r - o for r.
3
Suppose -4*t - 7 = -h, -4*h + 5*t + 28 = -0*h. Let i = 17 - h. Suppose -15 = 5*w + 3*y, 3*y - 25 = -2*w + 8*y. Solve w*q = 5*q - i for q.
2
Let n = -28 - -28. Solve 5*m - 4 - 1 = n for m.
1
Suppose 2*q = -q - 5*d + 26, -5 = -q + 2*d. Solve 3*f + 1 = q for f.
2
Suppose -s + 3 = 1. Solve 3*h - 17 = -s for h.
5
Let a(b) = -b**3 + 4*b**2 + 6*b - 6. Let c be a(5). Let i = c + 3. Suppose -f - 6 = -2*u, -i*u - 5*f - 6 + 0 = 0. Solve d = u*d for d.
0
Let h be -3*(0 + (-2 - -1)). Suppose -2*p = -2*b - 6, -4*p + 4*b + 17 = p. Suppose h*l - o = o + 10, o + p = 0. Solve -2*s + 4 = -l*s for s.
2
Let r = 162 - 160. Solve 13 = -r*z + 7 for z.
-3
Let a be 24/(-6) - (-13 - 1). Solve 3*l - a = l for l.
5
Let d = -15 - -21. Suppose 3*y + 3 = -3*f + 9, 2*f + 3*y = d. Solve 0 = -f*z + z for z.
0
Let t be ((1 - 0)/1 - -12) + -3. Solve 0*o - t = 2*o for o.
-5
Suppose 0 = m + 3*a + 9, 2*m - 7 = -4*a - 17. Suppose m*w = -w + 12. Suppose 8 = -4*f + 32. Solve -f = -w*h + 3 for h.
3
Suppose 5*t + 3 = 18. Solve 0*k = t*k - 9 for k.
3
Let j = 11 + -6. Suppose 4 = 3*h - j. Solve -2 = h*p + 7 for p.
-3
Let u be (4/4)/(2/4). Let h = u - 2. Suppose 4*l = 20 - h. Solve -l*m = -10*m - 15 for m.
-3
Let x = 86 - 82. Solve 0 = s + x*s for s.
0
Let f(y) = -y**2 + 2*y**2 + 0*y**2 + 3*y. Let o(c) = c**2 + 10*c + 4. Let v be o(-9). Let q be f(v). Solve 6*s + q = s for s.
-2
Suppose 3*s = -0 + 15. Suppose 0 = s*d + c - 17, 5*d = -c - c + 19. Solve d = 3*b - 6 for b.
3
Let y(f) be the second derivative of f**3/2 - 6*f**2 - 4*f. Let g be y(6). Solve -g = -2*i - i for i.
2
Let l = 36 + -24. Suppose -7*f + 5*m = -2*f + 20, -3*f - 3*m = -l. Suppose 0 = -3*q - 5*t + 27, 0 = 3*q + 2*q + 5*t - 35. Solve z + q = -f for z.
-4
Let y(x) = -2*x**3 - x + x**3 - 2*x**2 - 2 - 2*x. Let s be y(-1). Solve s*t - t = 3 for t.
-3
Let s be 24/15 - (-4)/10. Solve -8 = -2*l - s*l for l.
2
Let i be ((-2)/(-6))/(1/(-360)*-8). Suppose 2*r = -5*l + 9 + 1, 3*l + 5*r - 25 = 0. Solve i = -3*m - l for m.
-5
Let g be -6*2/4 + 7. Let l be (-7)/(-2) + 6/g. Solve -5*k = -0 - l for k.
1
Let x be 1/(1 + (-8)/10). Suppose -2*j = 4*y - 23 - 1, j + 4 = 0. Suppose -3*k - y = -x*k. Solve -k*z + 6 = -2*z for z.
3
Suppose 5*v - 35 = -0*v. Let h(m) = -m**3 - 7*m**2 - 6*m - 3. Let t be h(-6). Let n = 7 + t. Solve n*y = -v - 1 for y.
-2
Let s(x) = 2*x - 5. Let k be s(5). Suppose 5*c - 33 = -4*i, 2*i - 5*c = -k - 16. Solve -15 = -7*p + i*p for p.
3
Let h(b) = -b. Let z be h(-2). Solve 2*g = 3*g - z for g.
2
Suppose -p = f - 6*p + 11, 21 = 3*f + 3*p. Solve -3*g + f = 10 for g.
-2
Let s = -11 - -12. Solve 4*q + s = 5*q for q.
1
Let c = 3 - 5. Let b be 6 + c + 1 + 1. Solve -2*j = -b*j - 4 for j.
-1
Let z be (4/6)/(2/15). Let h = z + -2. Suppose 0 = -3*c - h*a - 3, a + a = -4*c - 2. Solve 2*p - 1 - 3 = c for p.
2
Let h(u) = -u**3 + u + 9. Let l be h(0). Solve -o = 2*o - l for o.
3
Let l be 7/(21/60)*1. Let g = l + -12. Solve 0 = q + q - g for q.
4
Suppose 4 = -n + 3*n. Suppose -2*z = -z - n. Solve 0 = -2*m - 10 + z for m.
-4
Let h = -12 + 22. Let z = -6 + h. Solve -m + 1 = z for m.
-3
Suppose -4*s = -4*v + 40, -5*v + 3*s - 18 = -60. Let y be (1 - 2) + 0 + 1. Solve y = -3*p + v*p + 3 for p.
-1
Suppose -2*f + 7 = -z, 4 = 2*z - 2. Solve -4*l = l - f for l.
1
Let a be (-5)/(20/(-16)) - -41. Let n be a/39 - (-10)/(-65). Solve 3*c + 2 = -n for c.
-1
Suppose 4*u - 6 = 6. Solve u*v - 4 = 4*v for v.
-4
Let g = 8 - 5. Let m be ((-1)/g)/((-8)/72). Solve 3*p = m - 9 for p.
-2
Let u(h) = -h**3 - 7*h**2 + h. Let c be u(-7). Let i(y) = -y**3 + 4*y**2 + 3*y - 3. Let s be i(4). Let x = s + c. Solve x*t - 4 = -2*t for t.
1
Let o(h) = h - 1. Let y be o(2). Let c = y + -2. Let n be 6*((-6)/9 - c). Solve -k + 9 = n*k for k.
3
Let p(a) be the third derivative of -a**6/120 + a**5/20 - a**4/12 + a**3/3 + 18*a**2. Let w be (-2)/(-7) + (-12)/(-7). Let v be p(w). Solve 0*k = -v*k for k.
0
Suppose 3*z + 3 = -0*