4*h + 6 - 18 = o for h.
3
Let q(u) = -u**2 + 8*u - 12. Let g = -2 + 7. Let n be q(g). Solve -t = n*t for t.
0
Let n be (-6)/9 + (-7)/3. Let z = n - -8. Solve z*k + 3 = -17 for k.
-4
Suppose 2*k - 25 = -4*z - k, 5*k - 31 = -4*z. Suppose -o = -2*o - 2. Let j be 0 - o*52/8. Solve -z*s = -7 - j for s.
5
Let m = -52 - -54. Solve -m*w + 3*w + 2 = 0 for w.
-2
Suppose p = 5*p + 40. Let v be 4/10 + 4/p. Suppose 3*w - 2 = 2*x, 0*w - 4*w + 2*x + 2 = v. Solve 6 = 3*h - w for h.
2
Let i be -1 + 5 + 7/(-7). Solve -4 = -i*g - 1 for g.
1
Let k(m) = m + 2. Let s(x) = x**2 + 4*x + 1. Let i be s(-3). Let g be k(i). Solve g*r - 5*r = 20 for r.
-4
Let g(y) = -y + 28. Let r be g(13). Suppose 5*d + 5 - r = 0. Solve 4*x = d + 2 for x.
1
Suppose 5*m + 1 - 11 = 0. Suppose 0*t + 4*t + 32 = 0. Let b = t - -10. Solve -b*d - m = -12 for d.
5
Let g be (0 - -1*1) + 1. Suppose -5*v - 4*d = -22, v + 2*d + 0*d = 8. Solve v*c = -g*c for c.
0
Suppose 3*y + 2*y = 0. Solve 6*j - 10*j + 16 = y for j.
4
Let y be (7 + -1)/((-3)/4). Let b = -5 - y. Suppose 0 = b*d - 2*d. Solve -z - 1 = -d*z for z.
-1
Let f = 33 - 25. Solve 7 = z + f for z.
-1
Let p be (413/154 + (-4)/22)*2. Solve 0 = 4*a + a + p for a.
-1
Suppose -3*w + 3*q + 27 = 0, -2*q = -5*w - 3*q + 69. Suppose -5*l - w = -38. Suppose -l*g + 16 = -g. Solve -g*m = -0*m for m.
0
Suppose -3*j + 14 = 5. Let q = -54 + 59. Solve -v + j = q for v.
-2
Suppose 0 = -4*b - 2*s + 26, -b + 4*b + 2*s - 22 = 0. Suppose 0 = b*v - 1 - 19. Suppose v*y = 3*t - 6, t - 2*t + 2 = -2*y. Solve -5*f + t = -3 for f.
1
Let q(l) = -2*l - 9. Let k be q(-6). Let z be 2/k + 44/6. Solve z*g - 3*g = -25 for g.
-5
Let j = -39 + 46. Solve 3*d = 19 - j for d.
4
Suppose 0 = 5*g + 9 - 24. Solve 4*z = g - 7 for z.
-1
Let b(u) = -2*u**3 + u + 2. Let o be b(0). Solve -3*w - o*w = 5 for w.
-1
Suppose 0 = -5*h + 27 - 2. Solve h*j = 3*j + 2 for j.
1
Let v = -10 + 15. Solve -v*y + 0*y = -15 for y.
3
Let x(v) = -v + 20. Let k be x(18). Suppose 5*f - 7 = -k. Solve f + 3 = -h for h.
-4
Suppose 0 = -0*f + f. Let r = 12 + -6. Solve j + 2*j - r = f for j.
2
Let q be 4 - ((0 - -2) + 0). Solve -q*o - 10 = -0*o for o.
-5
Suppose 4*s = s + 21. Let l = s + -2. Let m = l + -1. Solve -d + m = -2*d for d.
-4
Suppose -5*f - 1 = -26. Let z(o) = -2*o + 10. Let a be z(f). Solve 0 = -a*h + h - 2 for h.
2
Let l(g) = -g**2 + 3*g + 9. Let f be l(4). Solve -20 = -f*s + s for s.
5
Suppose v - 6*v + d = 21, 3*v = -2*d - 10. Let h be -1*v/(0 + 2). Suppose 0 = -5*a + 81 - 31. Solve 4*m + h = a for m.
2
Let m be (-186)/14 - 24/(-84). Let l = m + 25. Suppose 13 = 2*p + 5. Solve -8 = -p*k + l for k.
5
Suppose -c + 3*c - 4*n = 0, 4*c + 2*n = 10. Suppose y = -2*y + 3*j - 3, 5*y - 11 = j. Solve 0 = k - y - c for k.
5
Let r(v) = -v**3 + 10*v**2 + 2*v - 14. Let g be r(10). Solve j - g = -j for j.
3
Let j(o) = -4*o - 27. Let w be j(-13). Solve 10 - w = -3*s for s.
5
Let u be ((-24)/28)/((-1 - -2)/(-7)). Solve 15 = -u*w + 11*w for w.
3
Let h = -8 + 8. Suppose 0*o = -2*o + 6. Solve -12 = -o*b - h*b for b.
4
Let m(s) = -s**2 + 19*s + 16. Let c be m(19). Solve 0 = 2*f - 6*f + c for f.
4
Let a(x) = -x**3 + 4*x**2 + x. Let g be a(3). Solve 5*k = 2*k + g for k.
4
Let a(p) = 2*p - 8. Suppose -3*r - 1 = n - 23, 2*r + n - 15 = 0. Let j be a(r). Solve -j*q = -q - 10 for q.
2
Let o be -1*(-1 - -2 - 1). Let t be o + (-2)/((-3)/3). Let n = -4 - -6. Solve -n - t = i for i.
-4
Suppose 5*j - 10 - 10 = 0. Suppose -i + 2 + j = 0. Solve -i*k = -4*k - 10 for k.
5
Let x(f) = -3*f - 11. Let t be x(-5). Solve -5 = t*z + z for z.
-1
Suppose 1 = 3*b - 2. Suppose 5*h = 5*n, 4*n = -h + 9 + b. Suppose -2*p - n = -3*p. Solve o + p = -0 for o.
-2
Let a(u) be the third derivative of -u**4/24 + 5*u**3/6 - 2*u**2. Let m be a(5). Solve 1 = v - m*v for v.
1
Let a be 6/(-5)*20/3. Let y = a - -10. Solve 0 = -4*c + 6*c + y for c.
-1
Let w = 3 - 1. Solve w*r = -0*r - 8 for r.
-4
Let r(u) = u**3 + 8*u**2 + 5*u + 11. Let g be 2/(-4)*14/1. Let o be r(g). Solve -j - 4*j = o for j.
-5
Let x(s) = -s**2 + 4*s - 3. Let u = 0 - -3. Let h be x(u). Suppose 0 = 3*c + 7*n - 2*n - 25, 3*n = -3*c + 15. Solve 2*z + 4 + h = c for z.
-2
Suppose 8*d - 17 - 7 = 0. Solve -d*u - u = -20 for u.
5
Let w(m) = m**3 + 5*m**2 - 7*m - 6. Let l be w(-6). Solve 4 = -l*u - 4*u for u.
-1
Let f = 11 + -20. Let n = f + 34. Let s be (10/n)/((-2)/(-20)). Solve 0 = b + 1 - s for b.
3
Let t = -25 + 25. Let o be 2/(-1) + (1 - 0). Let l = 2 + o. Solve t = -0*b + b - l for b.
1
Let p(r) = -r**3 - 6*r**2 + 1. Let i be 0 - (-6)/((-3)/3). Let b be p(i). Let z be 0*(b/(-2))/1. Solve v = -z + 3 for v.
3
Let l(x) = -x**3 + 11*x**2 - 9*x - 8. Let j be l(10). Solve -j = 3*u + 1 for u.
-1
Let g = -5 + 7. Let q = g + 0. Let r = 6 - 4. Solve r*b = -q*b + 16 for b.
4
Suppose -12*w + 38 = 14. Solve w - 10 = -4*p for p.
2
Let y be 8*1/(4/2). Solve 0 = 4*r + y for r.
-1
Let l(x) = x**2 - 3*x - 4. Let g be l(5). Let b(u) = -4*u**2 + 2 + u**3 + 0*u**2 + 1 - 5*u. Let o be b(5). Solve 0 = -m + o - g for m.
-3
Let m(n) = n + 6. Let j be m(-6). Let s be (5 + -3)/(-1) + j. Let t be s + 6 - (-3 + 5). Solve -3*i - 25 = t*i for i.
-5
Suppose 46 + 54 = 2*l - 3*m, -2*m = 0. Suppose 0*w + 4*w - 2*a + l = 0, 5*w + 5*a = -40. Let z(k) = k**2 + 11*k + 4. Let p be z(w). Solve -2*r - p = -2 for r.
-1
Suppose -3*r = -3*b - 87, -b = -r - 5*b + 9. Solve 4*i + 17 = r for i.
2
Let v(f) = f - 4. Let z be v(5). Suppose -z - 7 = -2*n. Solve 10 = -n*g - g for g.
-2
Let j = 1 + 4. Solve 4*q + j = -q for q.
-1
Suppose -6 - 4 = -5*n. Let f = 8 + -2. Let o = 2 + f. Solve 2*x - o = -n*x for x.
2
Let x(m) = m + 9. Let r be x(-4). Suppose -25 = -r*j + p, -4*p = -2*j - 2*p + 10. Let s = j + -2. Solve 4*o - 5 = s*o for o.
5
Let i be 1 - ((-6)/(-1) + -2). Let v(b) = b + 7. Let q be v(i). Suppose -2 = -5*h + 4*h. Solve q = h*j - 6 for j.
5
Let v(c) = c**3 + 6*c**2 - 6*c + 1. Let q = 6 - 13. Let p be v(q). Let s be p/(-9) - (-4)/3. Solve -s*a = -a for a.
0
Let a = 34 + -20. Let t = a + -12. Solve -t*q + 5 = -q for q.
5
Suppose 0 = -5*g + 2*g + 9. Suppose 0 = -g*s + 1 + 2. Solve n - 2*n = s for n.
-1
Suppose -4*s - 28 = -o, 3*o + 2*s = -0*s + 154. Suppose b - 4*b - o = 0. Let x be b/3*(-12)/8. Solve -4 = 4*l + x for l.
-3
Let r(k) = k. Let l be r(6). Let s be (2/l)/((-5)/(-75)). Let d be 3/(0 + 3) + 2. Solve -d + 18 = -s*f for f.
-3
Let n(u) = -6*u + 3*u + u**2 + 2 + u. Let m be n(2). Let q(o) = o - 1. Let r be q(m). Solve 6 = -5*v + r for v.
-1
Let d be (-1080)/(-132) + 4/(-22). Solve -k - 3*k = -d for k.
2
Let h = -7 - -9. Let q = h + 0. Solve q*l = 7*l - 10 for l.
2
Let h(g) = 6*g**3 - 3*g**2 + 6*g - 6. Let v(y) = 5*y**3 - 3*y**2 + 5*y - 5. Let k(l) = 4*h(l) - 5*v(l). Let c be k(3). Let p = 5 + c. Solve -t + 2*t = -p for t.
-3
Let d be 4/16 + (-21)/(-12). Solve j + j = d for j.
1
Suppose b + 7 = 3*c, 4*c - 2*b = 2*b - 4. Suppose 2*o + 0*o + 22 = c*l, 2*o = -l + 13. Solve 2 = d + l for d.
-5
Suppose 0 = 3*f - 2*j - 16, -3*f + 3*j + 6 = -15. Solve 5*i - 4*i + f = 0 for i.
-2
Suppose -a + z = -14, -3*z = 4*a - 9 - 12. Let g be a*2/6*-2. Let r be (-1 - -1) + (-18)/g. Solve 17 = -5*u - r for u.
-4
Let v = -110 - -114. Let k = 3 - 0. Suppose -5*c + 1 = -l, -2*c + 3 = -3*c + l. Solve c + k = -v*m for m.
-1
Suppose -48 = -2*f + 4*y, -5*y - 43 - 56 = -4*f. Suppose 3*z - 28 = 4*r, 0*z + 4*z - r - 46 = 0. Let o be (-2 + -1)*(-16)/z. Solve o*b = -f + 10 for b.
-4
Let j(o) = -o + 9. Let s(l) = l - 9. Let d(z) = 2*j(z) + 3*s(z). Let r be d(9). Solve r = -5*x - 15 - 10 for x.
-5
Let n(m) = -m**2 - 11*m + 16. Let w(c) = 2*c**3 - 8*c**2 - 3*c. Let b be w(4). Let q be n(b). Solve -10 = q*a + a for a.
-2
Suppose 20 = b + b. Suppose -5*s + 12 = -2*s. Let v be s + -2 + -2 + 4. Solve -v*y + 2 = b for y.
-2
Let g(y) = 2*y**3 - 7*y**2 + 3*y + 1. Let i be g(3). Solve -4*n = -i - 3 for n.
1
Let h be (-1)/(-1 - (-2)/4). Let k be 4/8*(-2 + h). Solve p + 2*p - 3 = k for p.
1
Let s(t) be the second derivative of t**3/3 - 3*t**2 + 3*t. Let l be s(4). Solve f = -l*f - 9 for f.
-3
Let f(b) = b + 6. Let z be f(5). Suppose -a = -q - 1, 5*a - 4 = -5*q + z. Solve 3*s - q = -7 for s.
-2
Let o(n) = -n**2 + 8*n + 5. Let g = 26 - 18. Let c be o(g). Let q(i) = i**2 + 4*i. Let k be q(-4). Solve 3*m - 4*m + c = k for m.
5
Suppose 0 = u - 0 - 6. Let v = -28 - -44. Solve -u*p = -2*p