/(-5). Suppose 3 = 2*w - 1. Suppose 5*b - 22 = -w. Solve b = 4*m - t for m.
3
Let u = 28 - 21. Let w be (-1)/3*-2*3. Solve q - u = -w for q.
5
Suppose -3*x + 1 = -14. Solve 0*k - 20 = x*k for k.
-4
Suppose 0 = 5*q - q - 20. Suppose 0*p = -5*p. Solve p = q*s - 20 - 0 for s.
4
Let x(u) = -16*u**2 + 6*u + 19*u**2 - 9*u**2 + u**3. Let p be x(5). Solve -p*f - 10 = -3*f for f.
-5
Suppose -2*x = -x. Solve 2*s = -x*s for s.
0
Let l = 5 - -1. Let n be (2 + 13)/((-12)/(-12)). Solve -z + l*z + n = 0 for z.
-3
Let l = 20 + -10. Suppose -4*s - 18 = -v, 3*v + 0*s + 4*s + l = 0. Let o = -3 + 5. Solve v = o*b - 3*b for b.
-2
Let d(h) = -h + 1. Let u be d(-3). Suppose 2*n - q - 2 = 0, 5*n + 0*q - 2*q - 6 = 0. Suppose 2*t - u - n = 0. Solve -t*p - 4 - 5 = 0 for p.
-3
Let o = 47 - 32. Let p be -1*(-1)/((-1)/(-3)). Suppose -15 = -0*m - p*m. Solve 10 = -m*z - o for z.
-5
Suppose 3*p - 10 = 4*k, -2*k + 0*k = 8. Let i = p + 7. Suppose 3*u = i*u. Solve b = -u*b for b.
0
Suppose 0*a = l - 2*a - 21, -a = 3. Suppose -4*g = -g - l. Solve 8*j + 12 = g*j for j.
-4
Suppose 2*l + l - 45 = 0. Let z(j) = -j + 6. Let o be z(0). Suppose -o = -4*m + 2. Solve -f = m*f + l for f.
-5
Suppose 2*o = 4*o - i - 15, -33 = -5*o + i. Suppose -p + o = 3*v - 8, 3*p + 4*v = 22. Solve -p*s + 4*s - 4 = 0 for s.
2
Let t(k) = -2*k**3 - k**2 - 3*k + 1. Let s be t(-4). Suppose s = b - 6*b. Let p be (-10)/b + 16/10. Solve 0 = -p*i + i - 1 for i.
-1
Let a(g) = g**2 - 7*g + 10. Let y be a(6). Solve 0 = y*c + c for c.
0
Let g be (-2)/(-8) + (-2)/(-8)*-1. Solve 0 = -g*h + h - 3 for h.
3
Let r be 2 + (-2 - -3 - 1). Solve 4*g - r - 2 = 0 for g.
1
Suppose 0 = -4*m - m + 55. Solve -m = -3*h + 4 for h.
5
Let l(o) = -o - 3. Let f = -3 + -3. Let w be l(f). Solve w*a - 10 = 2 for a.
4
Suppose -2*k + 5*k - 9 = 0. Solve 5 = 2*n - k*n for n.
-5
Suppose r + 0*r = 4. Solve -r = 3*f + 2 for f.
-2
Let j be (-4)/(-36) - (-44)/9. Solve 12 = -j*w - 8 for w.
-4
Let p(c) = c + 12. Let x be p(-9). Suppose x*t - t = -4*d - 2, 3*d = 4*t - 29. Suppose -t*y + 3*y = -2. Solve -v = -2*v - y for v.
-1
Let r = 21 + -12. Solve m - r = -2*m for m.
3
Let l(t) = t**3 + t**2 + 5. Let b be l(0). Suppose -2*s + 20 = -4*s + 4*z, 0 = 3*s + b*z - 3. Let q = s + 7. Solve x = -q*x + 4 for x.
1
Let i(k) = 7*k + k**2 + 2 - 5 + 0. Let u be i(-8). Solve 0*j - u*j = 15 for j.
-3
Let l be (16/12)/(2/(-6)). Let s = l + 4. Suppose 24 = -s*p + 2*p. Solve 3*o + o = -p for o.
-3
Suppose -1 - 3 = -z - a, 5*z - 26 = -2*a. Solve 25 = -z*u + u for u.
-5
Let s(z) = -z - 5. Let m be s(-7). Solve m*a - a - 4 = 0 for a.
4
Let s(h) = 3*h - 18. Let i be s(6). Let d(y) = -y**3 + 2*y**2 + 4*y. Let r be d(3). Solve i*u = r*u for u.
0
Let m be (9/6)/(4/8). Suppose 2*v = -3*f, m*v - 8 = 5*f + 30. Solve -v*n - 20 = -n for n.
-4
Let h(u) = -3 + 8*u - 8*u + u**3 + 6*u**2 - 8*u. Let i be h(-7). Solve -k = -3*k - i for k.
-2
Let v(p) = -p**3 - 6*p**2 - p - 1. Let x be v(-6). Suppose -5*u + c = 3 - 12, 3*u + 3*c + 9 = 0. Let n be 2/6 + 1/(-3). Solve n = j - u + x for j.
-4
Suppose 3*d + 3*l - 60 = 0, d + 3*l = -4*d + 90. Solve -3*k + d = -0*k for k.
5
Let l = 3 - 4. Let y(d) be the first derivative of -2*d**2 + d - 3. Let s be y(l). Solve -n = -0*n - s for n.
5
Let i be 2 + (2*-1)/(-2). Suppose -14 = -5*z + 1. Suppose z = 2*m - i. Solve 11 + 1 = m*j for j.
4
Suppose 3*p - g = 9, 0 = -p + 2*g - 0 - 2. Solve -4 = 2*a + p for a.
-4
Let c be (-1)/(-5) + (-2)/10. Solve 2*k - 3*k + 2 = c for k.
2
Let i = 14 - 11. Solve 0 = i*o + 2*o - 15 for o.
3
Suppose 5*t + 3*v = -2*v + 10, 3*v - 6 = -4*t. Solve t = -5*b - 15 - 10 for b.
-5
Let w(y) = -y**2 + 4*y - 2. Let l be w(2). Let x = 4 - l. Solve -z + 15 = x*z for z.
5
Suppose 20 - 30 = -2*r. Solve 3*f + 7 = -r for f.
-4
Let s(m) = -3*m. Let p(j) = -j**2 - j - 1. Let h(v) = -p(v) - s(v). Let l be h(-4). Let d be (-20)/(-9) - (-4)/(-18). Solve -w - l + d = 0 for w.
1
Let z = -15 - -22. Solve 2 = -3*v - z for v.
-3
Let y(x) = -x**2 + 10*x - 8. Let l be y(9). Solve -5*n = l - 26 for n.
5
Let g be ((-27)/(-45))/((-2)/(-10)). Solve -g*u + 9 = -6 for u.
5
Let l(m) = m + 14. Let a be l(-12). Solve a*p = 3 + 3 for p.
3
Suppose 6*l = 4*l - 2. Let b = 1 + l. Solve b = -7*y + 2*y for y.
0
Suppose -u + 5*d = -26, -3*u + 5*d = -8 - 20. Solve u = -x + 2*x for x.
1
Suppose l - 2*v = -v - 1, -3*l = -2*v - 2. Solve 3*k + l = -5 for k.
-3
Let z = 35 + -20. Solve -w - z = 2*w for w.
-5
Let v be (2/3)/(24/108). Solve -2*y - 20 = v*y for y.
-4
Let s(b) = -b - 11. Let a be s(-12). Let h be ((-1)/(-3))/(a/12). Solve h = -2*j + 3*j for j.
4
Let o = 25 - 20. Let x be ((-10)/(-4))/(2/16). Solve 5*p = o + x for p.
5
Let y(d) = -d**3 + 7*d**2 - 5*d - 5. Let l be y(5). Solve -3*j - j = l for j.
-5
Let i(s) = 9*s - 18. Let v be i(5). Solve -5*a + v - 2 = 0 for a.
5
Let u(v) = v**2 + 3*v - 11. Let g be u(-6). Solve 4 = -g*w + 3*w for w.
-1
Suppose 9*c - 50 = 4*c. Let s(n) = n**3 - 10*n**2 + 5. Let l be s(c). Solve -4*y + l*y + 1 = 0 for y.
-1
Suppose 2*y - 6*y = 0. Solve y*d + 3*d = 0 for d.
0
Let j = 72 + -62. Solve 0 = 3*w + 5 + j for w.
-5
Suppose o + 23 = n, 0 = -4*n - 0*n + 3*o + 87. Suppose -5*k + n = -57. Solve k = -0*s + 3*s for s.
5
Suppose -2*i + 7 = -5. Let a(k) = -k**3 + 4*k**2 + 4*k + 5. Let d be a(5). Suppose -o = -3*o - 6, -4*l + 3*o + 21 = d. Solve -i*s = -l*s for s.
0
Suppose -3 = 3*o - 15. Suppose -3 = o*u - n - 0, 0 = -4*n + 12. Solve -5*d + 5 = -u*d for d.
1
Let g = -12 + 14. Suppose 3 = g*v + x, v - 2*x = 2*x - 12. Solve v*z - 3*z + 12 = 0 for z.
4
Let r(h) = h**3 + 2*h**2 - 2*h - 3. Let q be r(-3). Let k be -24*((-9)/q + -2). Let f = 5 - 1. Solve -f*w + w = k for w.
-4
Suppose 3*w = -2*w - 5, 5*o + w = 9. Suppose 0 = l + o*l - 9. Solve 6 = -0*s - l*s for s.
-2
Suppose 2*j - 5*j = 0. Solve j = q + 1 - 4 for q.
3
Let x = 17 - 14. Solve -4*u + x = 23 for u.
-5
Let m(v) = v**2 + 1 + 0*v**3 - 2*v**2 - v**3 + v. Let s be m(-2). Let q(l) = 2*l - 2. Let h be q(4). Solve -h*u + s*u = -9 for u.
3
Let k = -16 - -17. Solve 0 = 5*o + k - 26 for o.
5
Let a(b) = -2*b - 4. Let o be a(-5). Let w = -14 - -18. Let j = -1 - -5. Solve j*u = o*u - w for u.
2
Let i be (-2 - 12/(-6))*-1. Solve i = -n + 2 - 1 for n.
1
Let u(g) be the second derivative of -g**4/12 + 7*g**3/6 - 5*g**2/2 + g. Let j be u(6). Solve -3*r - 5 = j for r.
-2
Suppose 0 = -k + 4 + 3. Suppose 0 = -5*u - 2*l - 1 + k, -4*l - 2 = 3*u. Solve -4*x = -3*x - u for x.
2
Suppose -2*l = -2*n + 20, l - 8 - 18 = -2*n. Suppose -n = 2*w - 28. Suppose -w = -4*f + 4. Solve -2*t - f = -3*t for t.
3
Let r = 5 + -3. Suppose 60 = 7*k - 2*k. Suppose 60 = 5*b + 5*t - r*t, 5*t + k = b. Solve -4*o - b = -0*o for o.
-3
Suppose 10 = 3*p - 5. Let o(k) = k**2 - 3*k - 6. Let h be o(p). Solve -r + h*r = -3 for r.
-1
Let l be 95/35 + -3 + (-37)/(-7). Solve l*t - 13 = -38 for t.
-5
Let b be 3/((-12)/8*-1). Solve -b*y = -3 - 3 for y.
3
Let q be (-2)/2 - (-12 - -8). Solve 20 = -q*p + 8 for p.
-4
Let y = -1 + 1. Suppose 2*b - 3*u = u + 4, u = -4*b - 10. Let w = y - b. Solve 3*x + 8 = w for x.
-2
Let c be ((-4)/6)/(1 - (-22)/(-18)). Solve -4*t - 3 = -c*t for t.
-3
Suppose 0 = -2*s - s - 108. Let m be (s/(-4))/((-6)/(-4)). Suppose 3*r = 3*n - 5*n + 30, -4*r + 26 = 2*n. Solve -5*k = -m + n for k.
-3
Let q(c) = c**2 + 7*c + 9. Let a be q(-6). Suppose -a*b = -j - 4, 4*j + 22 = b + 6. Suppose 2*n = 10, -2*i - 3*n - n + 26 = b. Solve 0 = -i*d + d for d.
0
Suppose -2*m = -m - 2. Solve -m*t = t - 6 for t.
2
Let q(w) = -w**2 - 3*w + 3. Let y be q(-3). Suppose y*p - 2*p - 2 = 0. Solve p = 5*g + 7 for g.
-1
Let y be 2/(-9) - (-685)/45. Suppose y = 3*u - 3. Let o = u + -4. Solve o*v = 3*v - 2 for v.
2
Let t(v) = -v**3 - 4*v**2 - 6*v - 2. Let y be t(-6). Suppose 4*n - y + 26 = 0. Solve -n = -b - 4*b for b.
4
Suppose -4 = -0*u - 2*u. Let l = -266 - -268. Solve 0*v = -u*v + l for v.
1
Let u be 0*((0/4)/(-3) + -1). Suppose 3*n - y = -50, -2*n = 2*n + 4*y + 40. Let i = -9 - n. Solve u = i*f - f for f.
0
Let y = -13 - -18. Suppose 3*o + 2*o = y. Let s be 1 - (26/(-2) - 2). Solve 5*m - o + s = 0 for m.
-3
Let g be (-1)/2 + (-3)/2. Let o be (-12)/(-18)*(-3)/g. Solve -o = l - 3 for l.
2
Suppose 2*o = 7 - 1. Suppose -x - 3*h - 1 = -6, h = 4*x - 46. Suppose -2*j = 2*c + 2, 10*j + x = -2*c + 5*j. Solve o*i = -c - 10 for i.
-4
Let f be (-5 - -7)*(-30)/(-