.
4
Let u = -14 - -18. Let x = -1 - -2. Solve -u*w - 5 = -x for w.
-1
Suppose -4*q = 5*x - 36, q + 0*x = 2*x - 4. Suppose -2*d + 6 = -f - 3*f, 0 = -q*d - 4*f. Solve -2*t - d = 3 for t.
-2
Let k = -57 - -94. Suppose -1 - k = 3*s + 2*q, -20 = 4*s - 5*q. Let p be 1/((2/s)/(-1)). Solve 0 = i - p*i + 8 for i.
2
Suppose -5*q = -59 - 41. Suppose -4*x + 12 = 4. Suppose 0 = x*l - 3*l. Solve -5*k - q = -l*k for k.
-4
Let y(q) = 6*q**3 - q. Suppose 0*w + 1 = w. Let p be y(w). Solve p*x - 15 = 2*x for x.
5
Let u(s) = 4*s + 1. Let z be u(1). Suppose 2*x = z*x + 3*r + 6, -4*x - 3*r = 6. Let v(d) = d**2 + 3*d + 3. Let o be v(-2). Solve t = -x + o for t.
1
Suppose 10 = 6*r - 2*r + 2*l, 5*r - 2*l = 17. Suppose -4*h - 7*s + 24 = -3*s, -r*s = -6. Suppose -h*c = 6 - 22. Solve -c*f = 4 + 12 for f.
-4
Let u(o) = 7*o**3 + o**2 - o + 1. Let p be u(1). Solve 7*t - 3*t + p = 0 for t.
-2
Let k(y) = y + 10. Let f be k(8). Solve -3 = 5*s - f for s.
3
Suppose 5*x = -4*c - 3 + 15, 0 = x - 5*c - 14. Solve 11 = -x*t + 3 for t.
-2
Let v be (-24)/15 + 6/10. Let o be (1 + 1)*(-1)/v. Suppose -1 + 5 = o*r. Solve -2 + 0 = r*g for g.
-1
Suppose -4*v + 1 + 13 = -3*w, -10 = -5*w. Suppose -2*t - 4 = -2*c, -5*c + 8 = -2*t - 5. Suppose 0 = 4*l - 3*k + c, 1 = -5*l + k - 0. Solve i + v = -l for i.
-5
Let h be 59/(-7) - 12/(-28). Let j(x) = -x. Let o be j(h). Solve -v = v - o for v.
4
Let o = -7 + 11. Solve o*s - 15 = 7*s for s.
-5
Let j(y) = y**2 - 7*y + 9. Let b be j(8). Let u = b - 12. Solve 1 - u = 2*n for n.
-2
Let m(w) = -w**3 + w**2 + w + 3. Let o(f) = -f**3 + 13*f**2 - 11*f - 12. Let j be o(12). Let d be m(j). Solve -2*r = -d*r + 1 for r.
1
Let x(j) = j + 16. Let g be x(-10). Let a(n) = n - 2. Let c be a(g). Solve -c*h - 2 = 14 for h.
-4
Let g(w) be the second derivative of -w**3/3 - 6*w**2 + 3*w. Let z be g(-8). Solve f + 15 = -z*f for f.
-3
Let m(q) be the second derivative of -q**5/20 + 5*q**4/12 - q**3/2 - q**2/2 - 3*q. Let t be m(3). Suppose -4 - t = -2*k. Solve h - k*h = 0 for h.
0
Let o be ((-8)/3 + 2)*3. Let m(h) = -2*h - 2. Let d be m(o). Solve -n + d*n = -1 for n.
-1
Let d = 21 - 1. Suppose -p + 15 = 3*o, -2*o - 3*p = -d + 3. Let z be (o/(-3))/(2/(-3)). Solve -7 = -z*q + 3 for q.
5
Let z(b) = 6*b - 4. Let d be z(4). Solve 7*j - 11*j = d for j.
-5
Suppose -2*i - 35 = 2*m + 37, 4*m = -4. Let z be i/(-11) + (-2)/11. Solve z*g = 5*g - 4 for g.
2
Suppose -4*g - 5*o + 35 = g, 2*g = 4*o + 2. Suppose -5*m = -g - 15. Solve m = p - 1 for p.
5
Let h(s) = 2*s**3 + 8*s**2 + 2*s + 9. Let a be h(-4). Solve -3 = -4*u + a for u.
1
Let u(b) = -b**3 + 8*b**2 + 3*b - 15. Let i be u(8). Solve -2*y + i = y for y.
3
Let t = 0 - 0. Suppose 2*p = -5*f + 9, 0 = -4*p - 4*f + 2*f + 10. Let x = p - t. Solve x*k = -2 - 4 for k.
-3
Let h be (-2)/((3*1)/(75/(-10))). Solve 5 = h*r - 15 for r.
4
Let t be 4 - (2 + -3)*1. Solve 2*s = 7*s - t for s.
1
Let v = -2 + -8. Let r(n) = n + 13. Let u be r(v). Solve -u*y + 2 = -1 for y.
1
Suppose 5 = -3*g + 8. Let y be (7 - 5) + (2 - g). Solve 6 = y*x - 9 for x.
5
Let g = 7 + 2. Suppose -6 - 10 = -4*m + 3*y, -5*m + 19 = -4*y. Suppose -2*h - 3 = -v, -4*h + 4*v - m = g. Solve 4*s = h + 3 for s.
1
Suppose -2*b - 1 + 5 = 0, 4*b + 37 = 3*f. Solve 0 = -u - 2*u + f for u.
5
Let t be ((-10)/3)/((-26)/39). Solve 28 - 8 = -t*z for z.
-4
Let h(i) = -i**3 + 7*i**2 + 7*i + 14. Let g be h(8). Solve 0 = -g*x + 3*x for x.
0
Let s(u) = 4*u - 5. Let h = 5 - 0. Let l be s(h). Solve 0 = -2*d + 7*d + l for d.
-3
Let g = 10 - 10. Let s be ((-1)/(-2))/((-1)/(-2)). Suppose 2*i = 3 + s. Solve g + 2 = -i*j for j.
-1
Suppose 0 = -b + 4. Let x be (-6)/(-21) - (-54)/7. Suppose 3*f = x + 1. Solve 1 = b*q - f for q.
1
Let j = 9 - 9. Solve -6*z + 2*z - 8 = j for z.
-2
Let v = 3 - 0. Suppose -a = -n - 4*n + 27, -v*a = n + 1. Solve -4*l + 3 = -n for l.
2
Let i = 3 + 6. Let o be 2/(-3)*i/(-2). Solve -2*m = -o*m for m.
0
Suppose -1 + 6 = -5*r. Suppose -3*v + 39 = -3*i, -4*i - 3*v = 70 + 10. Let a be r/4 - i/4. Solve -11 = 3*j + a for j.
-5
Let n be 6 + -2 - (-5 + 4). Solve k + n = 2*k for k.
5
Suppose o = -o. Suppose o = -3*t - 9 - 0. Let n be -1*t/((-3)/(-4)). Solve -m - n*m = 5 for m.
-1
Suppose -3 = -w - 3*h, -w - 2*h - 1 = -9. Suppose -4*b - 2*a = -w, -8*b + 3*b - a + 24 = 0. Solve d - 6*d + b = 0 for d.
1
Suppose -b - 3*b - 2*n + 16 = 0, b - 3*n + 10 = 0. Solve -4 = 2*a + b for a.
-3
Let g(o) = o**2 - 2*o - 10. Let a be g(5). Solve -a = -h - 4 for h.
1
Let b(n) = -n**3 - 21*n**2 + 23*n + 24. Let j be b(-22). Solve j*w = w for w.
0
Let z = -4 + 16. Suppose 0 = -2*g - 5*s + 9, -3*s - 8 + 1 = -5*g. Solve -g*i - z = 2*i for i.
-3
Let f(v) = -v + 10. Let c be f(7). Suppose -5*r = -10, 0 = -0*m + 4*m - 2*r - 20. Solve -m*w + 3*w = -c for w.
1
Let h(i) = -2*i - 4. Suppose -2*c - 14 = -4*f, f + 2 = 2*f. Let a be h(c). Suppose 10 = -a*k + 7*k. Solve -m = k - 1 for m.
-1
Suppose -2*v - 348 = -3*x, 2*x = v - 0*x + 174. Let u be v/(-12) + (-1)/(-2). Solve 0*i = 3*i - u for i.
5
Let p(h) = h**2 + 2*h - 1. Let o be p(-3). Solve -u + 12 = o*u for u.
4
Let q(m) = m**3 + 2*m**2 - 2*m + 4. Let j be q(-3). Suppose -x + y = -6, 0 = -x - 2*y - j + 7. Solve 7*z = x*z + 2 for z.
2
Suppose 0 = -q + 4 - 1. Let x = 3 + -2. Suppose -x = -o + 2. Solve -o*m = q - 15 for m.
4
Let r be (2/(-5))/(2/(-20)). Solve r*j - 6 + 18 = 0 for j.
-3
Let y = 9 + -9. Let q = 1 + -4. Let s = y - q. Solve 0*r = -s*r for r.
0
Suppose -12 = -5*k + 23. Suppose 2 = -k*h + 16. Solve -h*x = x for x.
0
Let m(q) = -q - 17. Let h be 0/2 - (-16)/(-2). Let v be m(h). Let n be 24/v*6/(-4). Solve -n*x = -4 + 24 for x.
-5
Suppose 0*f = 2*f. Solve 2*l - 3*l = f for l.
0
Let l(a) = 2*a + 1. Let r be l(1). Let t = 2 + 15. Suppose 0 = r*j - 92 + t. Solve -6*b + b = -j for b.
5
Let g = -57 - -63. Solve 0*i = -2*i + g for i.
3
Suppose -3*q + 10 = 2*q. Suppose 4*n + 2*n - 4*n = 0. Solve -q*g - 10 = -n for g.
-5
Let g = -1 - -17. Suppose 0 = -3*z + g - 61. Let q = 24 + z. Solve 3*f + q = -0*f for f.
-3
Suppose 2*l - 5*l = 5*a + 2, 2*l = -4*a - 4. Let p = 8 - l. Solve 7*i - 10 = p*i for i.
2
Suppose -3*d + 3 = 4*w, -4*w + 2*d - 4*d + 2 = 0. Let t(o) = o**3 + o**2 + o + 1. Let g be t(w). Let c be (-2)/(-4)*(g - 1). Solve -3 = -c*l + l for l.
-3
Suppose -4*b + 2*b + 4 = 0. Suppose 0 = 2*a - 4*c - 10 + 2, 3*a - c - 22 = 0. Solve -b*p + a = -2 for p.
5
Let h(q) = -q + 6. Let d be h(4). Solve d*v + 0*v = 6 for v.
3
Let f be 2*-9*4/(-12). Let k = -4 + f. Solve k*d = 5*d - 3 for d.
1
Let d(i) = -6*i - 3. Let c be d(-1). Solve c*z = -2*z for z.
0
Let v(t) = -t**3 - 10*t**2. Suppose q = -4*q - 50. Let s be v(q). Solve s = -2*u - u for u.
0
Suppose -c = -1 - 0. Let l = c + 2. Solve w - l = -2 for w.
1
Let p(c) = c**2 + 7*c - 5. Let q be p(-8). Let k = 5 - 10. Let m(i) = -i**2 - 4*i + 6. Let x be m(k). Solve q*l + x = 16 for l.
5
Let x(h) = -h**3 + 3*h**2 - h - 2. Let b be x(2). Suppose b = t - 4*t. Let g be t/(-1) + (20 - 0). Solve g = 5*s - 0*s for s.
4
Let r(c) = -13*c**2 - c. Let m be r(1). Let p = m + 40. Let k = 36 - p. Solve -8*z + k = -3*z for z.
2
Let z(x) be the third derivative of -x**5/60 - x**4/3 - 3*x**3/2 + 2*x**2. Let u be z(-6). Let h = 5 - u. Solve -h*i = i + 3 for i.
-1
Let q(g) = g + 6. Let l be q(-5). Let c be (0 - 0)/((-1)/l). Solve c*j = -5*j for j.
0
Let w(t) = t**3 + 6*t**2 + t + 7. Let d be w(-6). Suppose j - 3 = 3. Suppose -3*o + 18 = j. Solve -3*z + d = o for z.
-1
Let i be (-11)/44 + (-17)/(-4) + -2. Let n = 7 + 0. Solve -n*f + i*f = 15 for f.
-3
Let b = -28 + 33. Solve -5 - b = -5*d for d.
2
Suppose o - 4*c - 11 = 0, -o = o + 5*c + 43. Let v = 21 + o. Suppose 5*a + r - 11 = 0, 0 = a + 2*a - r - 13. Solve s = -a*s - v for s.
-3
Let l(b) = b - 6. Let p be l(0). Let c be (4/p)/(1/12). Let j(z) = z**2 + 8*z + 4. Let x be j(c). Solve -2*s = -x*s + 6 for s.
3
Let y = -100 + 102. Solve -y*j = -4*j + 6 for j.
3
Let z(c) = c**2 + 20*c + 3. Let o be z(-20). Solve 5 - 17 = o*b for b.
-4
Let j(o) = -o**2 + 6*o - 5. Let g be j(5). Let t be g*((-1)/1 + 2). Suppose -5*p + t*p = -5. Solve -2 = u + p for u.
-3
Let p be (5/15)/((-2)/(-12)). Let s be (p - 3)/((-1)/(-6)). Let a = s + 8. Solve 0*j = -a*j + 8 for j.
4
Let q(s) = s**2 - 5*s - 19. Let f be q(8). Solve 15 = -f*m - 0*m for m.
-3
Let w(x) = -x**3 + 3*x**2 + 6*x - 4. Let l be w(4). Suppose -c + l = -4*k,