 0 = q*m + 16 - 4 for m.
-4
Let z(n) = 3*n**3 + 2*n - 1. Let c be z(2). Let f = 15 - c. Let s = -5 - f. Solve 4 - s = v for v.
-3
Let m be (-4)/2 - (6 + -8). Let u(i) = -i**3 + 10*i**2 - 7*i - 12. Let f be u(9). Suppose -3*n + 0*n + f = m. Solve -n = -q + 3 for q.
5
Suppose -4*t - 2*z - z = -26, 4*t = 4*z + 12. Suppose -t*d = -d - 8. Solve -d = -3*u - 11 for u.
-3
Let a(p) = 7 + p**3 - p**2 - 5*p - p + 7*p**2. Let m be a(-7). Let b(d) = -d**3 - d**2 - d - 2. Let u be b(-2). Solve m = 2*v - 0 - u for v.
2
Let d be ((-8)/(-2))/(4 - 2). Suppose -12 = -6*f + d*f. Solve 5*y - f = -28 for y.
-5
Let m(z) = -z**3 - 2*z**2 + 3*z. Let p be m(-3). Suppose 0 = q + 1, -4*q = 4*t + 2 + 2. Solve t = -p*w + w for w.
0
Let w(y) = y**2 + 6*y - 23. Let a be w(-9). Solve -2*f - 12 = -a for f.
-4
Suppose 4*h = 8 - 0. Let j(x) = 3*x - 4. Let r be j(h). Solve -20 = -r*l + 7*l for l.
-4
Suppose 5*v - 16 = 4*x - 2*x, -4*x + 2*v = 0. Let t be 3 - (x + -3)*-3. Solve t = 5*w - 8 - 2 for w.
2
Suppose 2*c = 8 - 2. Solve -s = c*s for s.
0
Let d be 20/(-6) - (-2)/(-3). Let s = 6 + d. Solve 0 = -s*r + 5*r + 12 for r.
-4
Suppose j = 2 + 4. Let v(q) = 4*q**3 - 5*q**2 + 5*q - 4. Let b be v(2). Solve 3*w - b = -j for w.
4
Let c(p) = p**3 + 4*p**2 + 2. Let t be c(-4). Let u be ((-1)/(-3))/((-1)/(-18)). Solve 4*d = t*d + u for d.
3
Let v be (-1 + 3)*(-5)/(-2). Solve v*j = 2*j for j.
0
Let t(x) = x - 6. Let p be t(8). Suppose 0 = p*l + 3*l. Suppose l = 3*a - 5*a - 2*z + 16, 0 = -5*z + 25. Solve -13 = a*h - 1 for h.
-4
Suppose b - 5*x = -23, -5*x = -0*b - 2*b - 21. Solve -8 = b*y - 0*y for y.
-4
Let b(i) = -i**2 + 11*i - 21. Let f be b(8). Solve 2*d - 9 = -f for d.
3
Let d(h) = h + 12. Let a be d(-8). Solve 5*k - 11 = a for k.
3
Let p(m) = -m**3 + 5*m**2 + 3. Suppose 5*f - 37 = -3*r, 3*f + 5*r - 22 = 13. Let v be p(f). Suppose -7 - 9 = 4*u + 4*o, 3 = -2*u - o. Solve v*h = -u + 10 for h.
3
Let d(w) = w**2 + 9*w + 6. Let r be d(-8). Let o be (-1)/(1 + 1)*r. Solve -i + 1 = -o for i.
2
Suppose 0 = -5*q + 2*q. Solve 5*v + q*v = 15 for v.
3
Suppose 0 = 2*d + 8, -3*l - l - 4*d - 8 = 0. Suppose -l*m + 42 = 6. Let q be 1 - (12/30)/(6/15). Solve -5*c - 3 + m = q for c.
3
Let r(m) = -m - 3. Let s be r(-3). Let h(a) = -a**2 - a + 3. Let c be h(s). Let n be (c + 2)*1 + -2. Solve -3 = -3*j + n for j.
2
Let v = 2 + 1. Let a = -2 + v. Solve a + 14 = 5*t for t.
3
Let d be 4*-1 + -18 + 7. Let h = -11 - d. Solve -5*z - 14 = -h for z.
-2
Suppose 2*a - 5 - 1 = 0. Let h = a + 0. Suppose 3*m - 4*m - l = -8, h*m + 2*l - 20 = 0. Solve -m*g + g = 9 for g.
-3
Let n(v) = -v - 16. Let r be n(-7). Let l = r + 14. Solve 3*q - l = 1 for q.
2
Let l(t) = -t + 1. Let a be l(-12). Suppose 4*b - a = 7. Solve b*i - 4*i = 0 for i.
0
Let b be 1*(-2)/((-2)/(-9)). Let y(u) = -2*u - 3. Let k be y(b). Solve 0 = -c + 4*c - k for c.
5
Let g be 6 + -8 + 5/1. Suppose 4*l + 5 - 116 = x, -5*x = 3*l - 89. Let a = 40 - l. Solve -3*m - a = g for m.
-5
Let r(l) = 2*l**2 + l**2 - 5 - 4 - 4*l**2 - 8*l. Let a be r(-6). Let q be -1*(2 - a)*3. Solve -x - q + 2 = 0 for x.
-1
Let l(f) = -f**2 + 17*f + 5. Let w be l(17). Solve -3 = 4*q + w for q.
-2
Let h be (-5)/5*(-1 + -8). Let z = h - 2. Solve 2 - z = -l for l.
5
Suppose -5*j = -2*v + 56 - 232, -2*j = -3*v - 66. Let u be (4/(-3))/((-8)/j). Let q = u + -4. Solve 7*w = q*w for w.
0
Suppose 30 = -0*q + 6*q. Solve -5 = q*b - 20 for b.
3
Let z be (-8)/(-60) + 4/(-30). Solve -v - 2*v + 15 = z for v.
5
Suppose 0 = -3*m - 3, 4*a - m = -0*m + 5. Suppose 4*v + 12 = 4*t, 2*t - 4*t = -v - a. Let b = t + 4. Solve r + 0*r = b for r.
2
Let r = 20 + -14. Suppose 5*x - r*x = 0. Solve x = -u - 3 - 1 for u.
-4
Let y be (-8)/24 - (-52)/(-6). Let s = 13 + y. Solve -s*x + x = 3 for x.
-1
Let g = 42 - 33. Solve -4*q + g*q = 20 for q.
4
Let g = -8 + 3. Let f = g + 5. Solve -s + 0 + 1 = f for s.
1
Suppose -3*u - 2*f = -0*f - 8, -5*u + 5 = -5*f. Let y = -1 + 4. Suppose 27 = 5*z - y. Solve z = -0*v + u*v for v.
3
Let w be (0 - -3)*(-109)/3. Let p be w/(-5) - 3/(-15). Let x be (p/(-4))/((-5)/10). Solve 0 = -3*i + 2 - x for i.
-3
Let v be (-47)/(-4) + (-6)/(-24). Suppose 0 + v = 3*o. Solve o*w - 6*w - 6 = 0 for w.
-3
Suppose 0 = 5*k + 2*d - 22, 3*k = -2*k - d + 21. Solve -k*g = g + 20 for g.
-4
Let g(r) be the first derivative of -r**3/3 - 3*r**2 - 6*r + 6. Let k be g(-4). Solve 4*a - 2 = k for a.
1
Suppose -2*g + 33 + 19 = 0. Let w = -18 + g. Solve 0 = 2*n + w + 2 for n.
-5
Let y = -6 - -13. Let n(o) = o**2 + 11*o + 4. Let s be n(-11). Suppose -5*b + s*d + 4 = 0, -b - 3 + 4 = -d. Solve -2*l + y*l + 25 = b for l.
-5
Suppose 0 = -m + 2 - 0. Suppose z + 2 + 2 = 3*s, 0 = 5*z - s - 36. Suppose -2*n - 1 = y - m, y = n - z. Solve n*p + 16 = 4 for p.
-4
Suppose -5*l + 50 = 5. Let b = l + -7. Solve b = w + 5 for w.
-3
Suppose j + 0*j = 2*j. Solve -5*d + 25 + 0 = j for d.
5
Let d = 5 - 1. Solve d*m - 2*m = -4 for m.
-2
Suppose -u - 3*u - 2*k = -12, u + 7 = -3*k. Solve -u*r = -0*r for r.
0
Let h(i) = i**2 + 2*i + 3. Let b be h(0). Solve 0 = -0*f + f + b for f.
-3
Suppose -4*f = -i - 14, 1 + 0 = 3*f + 4*i. Solve g - f*g = 10 for g.
-5
Suppose -1 = 5*i - 6. Let a be 6/(-2)*-1*i. Let j be (5/(-10))/(1/(-2)). Solve -j = a*w + 5 for w.
-2
Let r be -1 - (-1 - 6) - 3. Suppose 0 = o - 3*p + 8 + 1, -r*o = -3*p + 3. Solve -o = 4*m - m for m.
-1
Let y be 18*(0 + (-6)/(-9)). Let w = -3 - -8. Suppose -w*h + y = -h. Solve 2*l = -h*l for l.
0
Let w = -8 + 12. Let r(v) = v**3 - 3*v**2 - v. Let p be r(4). Solve 0 = 2*k + w - p for k.
4
Suppose 3*a = -0*n - 3*n, 2*n - 5*a - 21 = 0. Solve n*c = -9 + 3 for c.
-2
Let l(u) = u - 8. Let n be l(13). Suppose 0 = n*p - 10 - 5. Solve 25 = -2*h - p*h for h.
-5
Let p(c) = -c. Let t(s) = 2*s - 8. Let m(r) = 3*p(r) + t(r). Let g be m(-10). Solve 2*f = -g*f - 16 for f.
-4
Suppose -3*m - 3*s = 0, 2*m = -m - 2*s. Suppose k - 37 + 11 = m. Suppose a - 14 = -2*w - a, 5*a = -2*w + k. Solve -4*o + 3*o = w for o.
-3
Suppose -i = i + 6, 3 = -3*n - 3*i. Let r(b) = -b**2 + b. Let d(f) = 3*f**2 - 3*f - 2. Let h(v) = -d(v) - 6*r(v). Let x be h(2). Solve -6*s = -n*s - x for s.
2
Let k = -18 - -38. Suppose a + 3*a - k = 0. Suppose 0*s + 4*s = -2*v + 22, 5*v = -s + 19. Solve -2*j - a = v*j for j.
-1
Suppose -5*x + 30 = 5*f, 2*x - 3*f + 10 = 2. Suppose -2 = -2*y + x. Solve -2 = -0*b - y*b for b.
1
Let d(s) = s**3 - 3*s**2. Let x be d(3). Suppose x = 4*c - c - 6. Solve -6 = c*t + 2 for t.
-4
Let c(x) be the first derivative of 0*x - 4 + x**3 + 1/2*x**2. Let h be c(-1). Solve -h*m = -m for m.
0
Let h = -7 + 9. Suppose -s - s - 3*k = -4, 0 = 5*s + h*k - 21. Suppose 3*b = -5*q + 24, s*q - 3 = 2*b + 6. Solve 4 = -y - b*y for y.
-1
Suppose -2 = -q + 4. Solve 6*y - q = 4*y for y.
3
Suppose 3 = 3*s - 0*s. Let h be -10*s/(-12)*6. Solve -v + 0 - h = 0 for v.
-5
Let s(h) = 10*h**2 + 0*h**3 - 10 + 7*h + h**3 - 2. Let j be s(-9). Suppose -2*l = -10 - j. Solve l*q - 3*q = 25 for q.
5
Suppose 4*c = 9*c - 45. Suppose 5*l = 2*l - 18. Let h be c/l - (-5)/2. Solve 3 = 2*b + h for b.
1
Let l(g) = -g**3 - 8*g**2 - 2*g + 6. Let x be l(-8). Let t = x - 37. Let n be (t/(-4))/(1/4). Solve 0*i + n = 3*i for i.
5
Let h = -8 - -8. Suppose 2 + h = l. Let b be 3/(-6)*(-2 - l). Solve 2*v = -b*v for v.
0
Let n(b) = b - 8. Let x be n(11). Solve -h - 6 = -x for h.
-3
Let j be 2/(-11) - 70/(-22). Suppose -1 = -0*l + j*l - a, -5*l + 5 = 5*a. Solve -3*z - z - 4 = l for z.
-1
Suppose 7*x = -0*x + 105. Solve 0 = m + 4*m - x for m.
3
Let b(d) = -d + 20. Suppose -2*c = -2*q - 4, 3*c - 5 - 1 = -4*q. Let r be b(q). Solve u - r = -4*u for u.
4
Suppose -4*w + 0*w = 0. Solve 1 = u - w for u.
1
Suppose -4*r = 4*y - 2 - 2, -3*r - 4*y - 2 = 0. Let a = -48 - -23. Let l = 30 + a. Solve -l*j - r = -2*j for j.
-2
Suppose -3 = -l + 4. Suppose y + 35 = 4*t - t, 5*y = 2*t - 32. Let j = t - l. Solve n - j*n = -6 for n.
2
Suppose a - 3*y - 22 = 0, 6*a - 2*y - 38 = 2*a. Suppose 12 = -2*l + 5*l. Solve l*b + 23 = a for b.
-4
Suppose n - 20 = -3*n. Let m(a) = -a - 5. Let w be m(n). Let z be 4/10 + w/25. Solve 4*l + z*l + 4 = 0 for l.
-1
Let q(p) = -p + 5. Let k be q(5). Let v be (-3 - -2) + (3 - k). Let l be 2 + (0 - (v + -9)). Solve 4*o = o - l for o.
-3
Let o(j) = -j + 0 + 0 - 1 - 2. Let p be o(-3). Solve 0 = 2*k - p*k for k.
0
Suppose 3*y = y + 10. Suppose 0 = 5*o + l - 146, -2*l 