= 2*m + 3*m for m.
1
Suppose 0 = -b + 2*b + 3. Let j be 2 + (1 - 2 - b). Suppose 4*o - 12 = -4*s, -4*o - j = 3*s - 16. Solve -c + s*c = -3 for c.
3
Suppose -c - 16 = -3*c. Let z be c/3 - (-1)/3. Suppose -z*u - 3*f + f + 17 = 0, -f = 2*u - 10. Solve u*v = v for v.
0
Let o(l) = l**3 + 9*l**2 - 9*l + 14. Let x be o(-10). Suppose 0*f = -2*f + x. Solve -c + 3 = f*c for c.
1
Let z(a) = a**3 + 8*a**2 - a - 5. Let x be z(-8). Solve -15 + 6 = x*k for k.
-3
Let r = 1 + -4. Let f(k) = -k**3 + 8*k**2 + 10*k - 10. Let o be f(9). Let g = o - r. Solve -4 = g*y - 2 for y.
-1
Let f = 57 - 29. Let j be (7/f)/(2/8). Solve -x + 2 = j for x.
1
Suppose 5*z - 12 = 13. Solve -z*n + 0*n = -10 for n.
2
Let p be -1 - (-2 - (-2 - -4)). Solve 2*h - 25 = -p*h for h.
5
Let z be 6*-3*2/(-12). Solve z = -j - 0 for j.
-3
Suppose -12 = -5*z + 93. Let d = z - 18. Let a(l) = l**3 - l - 1. Let f be a(2). Solve -2*q = -f*q + d for q.
1
Let q be -1*((-18)/171 + 2/19). Let c be -5*5/((-25)/12). Solve 3*m = -q*m - c for m.
-4
Suppose 0 = -43*b + 44*b - 3. Solve -9 = -b*m + 6*m for m.
-3
Let k(r) = r + 5. Let y be k(-4). Let c = y - -1. Solve c*d + 2 = -4 for d.
-3
Let p(f) = f**3 + 4*f**2 + 2*f + 2. Let q be p(-3). Suppose -b - 2 = -3*v + 11, -v - 17 = q*b. Let g = -2 + 2. Solve g = -2*a - v + 13 for a.
5
Let i = -12 + 0. Let y = i + 17. Solve y*b + 8 = -12 for b.
-4
Suppose -l = 3*m + 3 - 17, m + 4 = 4*l. Solve m*t + 8 = 24 for t.
4
Let q(k) = k**3 - 2*k**2 + 3*k - 2. Let l be q(2). Let j be -2 - (0/1 - 2). Solve j*t + t + l = 0 for t.
-4
Let c = -7 - -15. Solve 7*v = 3*v - c for v.
-2
Let o(j) = -j**2 + 2. Let v be o(0). Solve 3*p - v*p - 2 = 0 for p.
2
Let c be (-3 + 3)/(-4) + 3. Solve 4*h - c = 17 for h.
5
Let k be (-2 - (-15)/6)*12. Suppose 15 = 5*p + 2*t + 3*t, 0 = -2*p - t + k. Let b = 6 + -4. Solve b*l - p = -l for l.
1
Let v be 23/5 + (-9)/15. Suppose v = -5*r + 14. Solve 2 + 4 = -r*q for q.
-3
Let s(m) = 3*m + 2. Let d be s(0). Solve 4*u - 10 = d for u.
3
Suppose -19*q = -16*q - 30. Solve q + 5 = 3*j for j.
5
Suppose -2*w - 4 = -6*w - 4*y, 3*y = w - 21. Solve 3*v - w - 6 = 0 for v.
4
Let q = 6 + -1. Suppose 70 = 112*l - 105*l. Solve q*f = -0*f - l for f.
-2
Let p(w) = w**2 + 8*w - 2. Let x be p(-9). Let c(l) = l**2 - 7*l + 5. Let t be c(x). Solve -j + t = -2*j for j.
-5
Let z = -14 - -14. Solve z = 4*l - 0*l for l.
0
Let r = -14 + 24. Let j = r + -5. Solve j = 5*v - 0*v for v.
1
Suppose -2*c + 3*c = 2. Let z(j) = 2 + 6*j**2 - 5*j**2 + 0*j**c - 3. Let n be z(-2). Solve n*q = -0*q for q.
0
Suppose 0 = 7*b - 2*b - 15. Let t be 7 + (1 - 4) + b. Solve -2 + t = n for n.
5
Let v(c) = -c**3 - 12*c**2 + c + 17. Let s be v(-12). Suppose 1 - 36 = s*j. Let q = 17 + j. Solve -5*n + 0*n - q = 0 for n.
-2
Let o(v) = -v - 1. Let j be o(-4). Let f be (4/j)/((-2)/(-3)). Suppose 2*y - f*h - 3 - 3 = 0, 5*y + 4*h + 12 = 0. Solve y*c = -4*c + 20 for c.
5
Let c = -5 + 10. Let m(j) = j**3 - 5*j**2 + 4. Let z be m(c). Solve z = 3*t + 1 for t.
1
Let o be (4/(-10))/(4/(-100)). Let t = o - 4. Solve 0 - t = 3*z for z.
-2
Suppose 0*f = -f - 36. Let u = -21 - f. Suppose 0*j - u = -5*c - 3*j, 2*j - 10 = -2*c. Solve -2*d - 8 = -c*d for d.
-4
Let x = 19 + -13. Solve 2 = -4*j - x for j.
-2
Suppose -m + 2*r + 9 = 0, 0 = -4*m - m + 4*r + 51. Solve 20 = -6*t + m*t for t.
4
Let m = -4 + 5. Let q be (m*6)/(-3)*-2. Suppose 40 = 3*z - 5*v, -6 = -q*z + 4*v + 34. Solve 15 = z*t - 0 for t.
3
Suppose -3*w + 0*w = -21. Suppose -1 = -2*r + w. Suppose 7*p = 4*p - r*n - 1, 5*p = -n + 4. Solve -2 = d - p for d.
-1
Let z = 7 + -25. Let t = z - -26. Solve -2*p = -6*p + t for p.
2
Suppose -2 + 5 = u. Suppose 4 = 2*d + u*v, d = -3*d + v + 8. Solve d*q - q = 4 for q.
4
Let q(j) = 3*j - 5. Let h be q(3). Solve -2 = h*b - 6 for b.
1
Let u = 8 - 6. Let b = u + -2. Solve b*p + 2*p = 6 for p.
3
Let d = -7 - -9. Let n be d - 1 - (-2 - -1). Solve 0 = -o + n*o + 4 for o.
-4
Let l be (30/(-9))/((-1)/18). Suppose 0*x - 5*x - l = 0. Let c = x + 19. Solve -4*y = -c*y for y.
0
Let x(o) = o**3 + 10*o**2 + 11*o + 4. Let h(b) = b - 4. Let i be h(-3). Let u be x(i). Let g be u/6 - 7/21. Solve -3*n = n + g for n.
-3
Let l(h) = h**2 + 9*h + 12. Let q(u) = -u**2 - 9*u - 12. Let s(z) = 3*l(z) + 2*q(z). Suppose 0*n - 5*n = 40. Let w be s(n). Solve -w*j + j = 12 for j.
-4
Let c(o) = 5*o**2 + o. Let a be c(-1). Solve 0 = -3*k + a*k - 3 for k.
3
Suppose 0 = 2*f + 15 - 23. Solve -f*g - 6 = -g for g.
-2
Suppose -5*s + s + 8 = 0. Solve -2*z - s*z = 0 for z.
0
Let w = -1 - -3. Suppose 2*j + 12 - 22 = 0. Solve j*o + 6 = w*o for o.
-2
Let d = 40 - 40. Solve d = -4*f - 1 + 17 for f.
4
Let b be -2 - (-5)/1 - -9. Solve -3*l + b = l for l.
3
Suppose 0*z + 8 = 4*z. Solve -12 = 5*k - z*k for k.
-4
Suppose 12 = 2*v - 0*v. Solve 0 = z + 2*z - v for z.
2
Let g(y) = -y**2 + 5*y + 4. Let h be g(5). Suppose -2*j + 6*j + h = 0. Let b be 1/(j + 6/4). Solve b*m + 3*m = 0 for m.
0
Let o(k) be the third derivative of -k**4/24 + 2*k**3/3 + k**2. Let j be o(-9). Solve 0 = -4*g + 5 - j for g.
-2
Let s(f) be the first derivative of f**2/2 - 5*f - 2. Let p be s(9). Let x = 48 + -48. Solve x*o = o - p for o.
4
Suppose 2*w - d = 7, -w + 2*w - 7 = -3*d. Let r = 5 - w. Let o(a) = 3*a**3 + a - 1. Let f be o(r). Solve -5 = -f*z - 2*z for z.
1
Let m(c) = -c**2 - 10*c - 12. Let n be m(-8). Suppose -2*r + r + n = 0. Suppose -2*l + 5*f - 4*f = 3, 2*l = -r*f + 22. Solve 0 = x - l - 0 for x.
1
Let s(m) = -9*m - 87. Let u be s(-10). Suppose -4*d = -5*z - 17, -3*d - 5*z - 1 = -5. Suppose d*a = 5*a. Solve a*f = -u*f - 12 for f.
-4
Suppose 3*h + l - 1 = 0, -1 = 3*h - 0*l - l. Let t be 1*(-20)/(1 + -3). Solve h = -5*j + t for j.
2
Let t(j) = -j. Let q(p) = -2*p**2 + 4. Let r(l) = -q(l) + 3*t(l). Let w be r(3). Solve f = -0 + w for f.
5
Suppose -j = -0 - 5. Let u(l) be the second derivative of -l**4/12 + 2*l**3/3 + 5*l**2/2 - 2*l. Let m be u(j). Solve m = 7*g - 3*g + 8 for g.
-2
Let b = -2 + 4. Suppose 0*d = d - 1. Suppose 3 = -2*c + d, p = -4*c - b. Solve -12 = -5*w + p*w for w.
4
Let a be ((-10)/12)/((-2)/12). Solve 0 = a*i - 24 - 1 for i.
5
Let r be ((-20)/8)/((-1)/(-2)). Let a be 39/r + 4/(-20). Let g = a + 10. Solve g*l - 4 = 2 for l.
3
Let v be 11/(-11) - 8/(-2). Solve -y - v*y = 0 for y.
0
Let v = -14 - -23. Solve -2*j - v = 1 for j.
-5
Let u be 3/1*(-2)/(-6). Let a = u - -3. Solve 0 = -0*j + a*j + 16 for j.
-4
Suppose -5*b + 3*y + 21 = 0, 2*b - 4 = 4*y + 10. Suppose -j = -5 + b. Solve 4*u + 6 = j*u for u.
-3
Suppose 0 = 3*c, -z - 7*c + 3*c + 15 = 0. Solve -5*k + 2*k = z for k.
-5
Suppose 0 = -3*d - 2*d - z + 32, -z = 3*d - 20. Let l be (6/4)/(2/4). Solve d = -l*n + n for n.
-3
Let w(d) = -d**2 + 11*d - 20. Let f be w(8). Solve 0 = -z + f for z.
4
Let b = 9 + -4. Solve -b*s + 25 = -0*s for s.
5
Let d(t) = -t**3 + 6*t**2 + t - 4. Let l be d(6). Let h be (-1)/((-4)/(30 - -2)). Solve l*r + 0*r = h for r.
4
Let x be (-4)/(-10) - (-38)/(-95). Let h(z) = 2*z - 4. Let b be h(3). Suppose b*m = -x*m. Solve m*w - 2 = w for w.
-2
Let z(i) = 14 - i**2 + 0*i**2 + 0*i**2 - 11*i. Let y be z(-12). Solve -y*g - 14 = -4 for g.
-5
Let j(c) = 2*c - 5. Let v be j(4). Suppose -22 = 2*a - 4*a. Suppose v*k + m - a - 6 = 0, -3*k + 2*m = -29. Solve -k*l = -2*l - 5 for l.
1
Let o(j) = j**3 + 7*j**2 - 7*j + 11. Let x be o(-8). Suppose 4*m - 17 = -5*u, 0 = -6*u + 2*u - x*m + 14. Solve -5*z + 4*z = -u for z.
5
Suppose 0 = 2*x - 27 - 7. Solve x + 3 = 4*o for o.
5
Let y(t) = t**2 + 3*t + 2. Let g be y(-1). Solve -3*m + g*m - 9 = 0 for m.
-3
Let q be (-1 + -1)/2*-4. Solve -1 = -q*x - 5 for x.
-1
Suppose -3*t + 7*t = 20. Suppose -10 - t = -3*c. Solve c*v - 15 - 5 = 0 for v.
4
Let o be (-528)/(-52) + 2/(-13). Let y be -3*3/27*3. Let a be (4 - 2) + -1 + y. Solve a = 7*w - 2*w - o for w.
2
Let j be 16/12*-1*9. Let a = -6 - j. Solve 4*b = 2*b - a for b.
-3
Suppose 25 = c - 0*c - 4*a, 4*c - 40 = 4*a. Suppose -32 + 7 = -c*d. Let p be d*4/(-10)*-1. Solve p = -2*w + w for w.
-2
Let o(l) = 2*l + l**2 + 37 - 38 - 2*l. Let m be o(2). Solve m*y = -y for y.
0
Let x(j) = j**3 - 5*j**2 - 9*j + 5. Let p be x(7). Suppose -f + 3*f - p = 0. Solve b + 4*b = f for b.
4
Let f be (-7)/35 + (-42)/(-10). Let v = f + -4. Solve 4*r - 3*r - 3 = v for r.
3
Suppose -y + 14 = 5*w, 0*w + 5*w = -3*y + 22. Suppose 8 = -0*v + 2*v - w*n, -4*v + 2*n = -16. 