*t - 4*z - 14, 4*t + z + 3 = 6. Solve -t*h - 6 = 2 for h.
-4
Suppose 3*l - 2*l - 8 = 0. Suppose -4*n - 2*t = -l - 0, t + 24 = 5*n. Suppose 0 = 4*z - n - 0. Solve -z - 2 = 3*w for w.
-1
Let s(d) = 2*d - 36. Let x be s(18). Solve -2*l + l - 1 = x for l.
-1
Suppose 2 = 4*z + v - 20, -4*z = 3*v - 26. Solve -6 = -z*g + 19 for g.
5
Let m(d) = -d**2 - 5*d + 3. Let o be m(-6). Let f = 8 + o. Solve -3*c = 1 + f for c.
-2
Let z be 1 + (2 - 6)*-1. Solve z*k + 3 = 18 for k.
3
Let w(x) = 5*x - 8. Let n be w(3). Solve -3*t = -n*t + 12 for t.
3
Suppose 0 = -5*f + 3*h + 3, 4*f + 2*h = -h + 24. Solve x - 20 = -f*x for x.
5
Suppose -14 = -4*c - 6. Solve -6 = -2*f - c for f.
2
Let t be -3 - (2 - (3 + 2)). Let q(l) = -l**3 + 3. Let o be q(t). Solve -o*s - 1 + 13 = 0 for s.
4
Suppose -2*r = 2*r. Let v(z) = z**3 + z**2 + z + 25. Let s be v(r). Let n = s + -13. Solve -k - 2*k + n = 0 for k.
4
Let o = 10 - 5. Solve -2*y - 3 = -o for y.
1
Suppose -4*f = -2*t + 38, 3*f - 4*f = -3*t + 72. Solve 7*g + t = 12*g for g.
5
Let l = 1 - -4. Solve -l*f - 11 = 9 for f.
-4
Let p be 2 + 6/2 + -10. Let y = p - -5. Solve 5*m - 2*m + 12 = y for m.
-4
Let t = -3 + 6. Solve -g = -4*g + t for g.
1
Let x(n) = n**3 - 6*n**2 + 4*n + 7. Let f(w) = w**2 + 9*w + 5. Let u be f(-9). Let t be x(u). Solve 0 = t*g - 6*g - 4 for g.
-1
Let l = -10 - -12. Solve -3 - l = -5*r for r.
1
Let c be (12/(-10))/((-4)/10). Let d be (-1 + (0 - -2))*0. Solve c*g - 3 - 6 = d for g.
3
Suppose 3*y + 15 = 57. Suppose -y = -3*l + l - w, -2*w + 22 = 3*l. Suppose -4*n - 15 = -5*a, -5*a + 2 = 4*n - 13. Solve f - a*f + l = 0 for f.
3
Suppose -4*s - 4 = q, 0 = -3*s - s - 3*q - 12. Solve s = 5*v + 2 + 3 for v.
-1
Let u(n) be the second derivative of n**4/12 - n**2 + 4*n. Let c be u(2). Solve -c*a - 10 = 3*a for a.
-2
Let i(y) = y**2 + 8*y + 8. Let v be i(-5). Let b be -3 + (0 - v) + -3. Solve 1 = a - b for a.
2
Let y = 19 - 14. Solve 16 = -q + y*q for q.
4
Suppose -8*u = -3*u + 5. Let h = 22 + -19. Let x = h + u. Solve 2*k - 8 = x for k.
5
Suppose 3*d + 2*a - 11 = -2*a, 0 = d + 3*a - 7. Let v(r) = 7*r**2. Let k be v(d). Let h(y) = y**3 - 7*y**2 + 6*y + 5. Let c be h(6). Solve c*n + 3 = -k for n.
-2
Suppose b + 3*t - 14 = 0, 0*b - 5*b - 2*t = -44. Suppose -6 = -b*v + 7*v. Solve v*g = g - 25 for g.
-5
Suppose 2*n + 3*g + 12 = 0, -n - 8 = -5*n + 2*g. Solve n*m = -3*m for m.
0
Let j = -8 - 4. Let v = j + 7. Let s be (-117)/(-45) - 2/v. Solve 6 = -s*i + 15 for i.
3
Let o(b) = -b**2 - 13*b - 35. Let f be o(-5). Solve f*x = x for x.
0
Suppose 0 = -4*f + 2*f. Solve f = 5*h - 5 for h.
1
Let x(p) be the third derivative of p**4/12 - 2*p**2. Let j be x(2). Let z = 40 + -21. Solve j*l = -3 + z for l.
4
Let z be -3 + (-4 + 3 - -4). Solve z = h - 3 for h.
3
Let t = 7 - 7. Suppose t = -4*k + 4*v, -3*k - v = 2*v. Let l be 2*2/(-6)*-24. Solve 7*x - 3*x - l = k for x.
4
Suppose 0 = -5*p + 31 + 4. Suppose -y - 2 = -p. Solve 2*l - y = -3 for l.
1
Let z(k) = -12*k. Let p be z(1). Let u be (-352)/p + 4/6. Let r = u + -10. Solve -r = y + 4*y for y.
-4
Suppose -5*m - 58 - 432 = 0. Let v be (-4)/6 - m/21. Solve 0 = -4*g - 0*g + v for g.
1
Let k(u) = 2*u - 2. Let h be 1/2 + (-9)/(-6). Let b be k(h). Suppose s = b*s. Solve s = x + 3*x for x.
0
Let h(b) be the second derivative of -b**5/20 + 7*b**4/12 - b**3 + 3*b**2/2 + 2*b. Let s be h(6). Solve -s*k - 10 + 1 = 0 for k.
-3
Let f(x) = -7 - 2*x - 6 + 4. Let n be f(-6). Solve -2 = n*b - 17 for b.
5
Let w(v) = 2*v - 14. Let x be w(7). Solve 2*u - u = x for u.
0
Suppose 7 - 2 = -2*v - 5*o, 4*v + 5*o = -5. Suppose 0*x + 4*x = v. Solve -4*g + x*g - 20 = 0 for g.
-5
Suppose -3*l = 12, -3*s + 30 = -0*s - 3*l. Let d = -2 + 5. Solve 3 = -d*o + s*o for o.
1
Let k be -1 + ((-2)/(-2) - 1). Let i be k + 1 - (-2 - -8). Let q(a) = a**2 + 6*a. Let u be q(i). Solve u = -3*t - 1 - 11 for t.
-4
Let t = 4 + -2. Suppose -o = -4*o + 3, t*c - 46 = 2*o. Suppose -3*f + 4*j = 7, -2*j + c = 4*f + j. Solve -f*y = -2*y + 3 for y.
-3
Suppose 3 - 11 = n + 4*t, -5*n + 6 = -3*t. Suppose -v + 4*v - 3 = n. Solve 3*q = 2 + v for q.
1
Let q be 2/(-18) - (-1110)/270. Solve s - 5 = -q*s for s.
1
Suppose -5*d + 3*d = -16. Solve -4*h + 4 = -d for h.
3
Let m(i) = -i**2 - 4*i - 3. Let k be m(-3). Let q(d) = d**3 + 5*d**2 - 5*d + 8. Let p be q(-6). Suppose 7*s = p*s. Solve k = -y - s*y for y.
0
Let h be (-4 - -2) + 3 + 1. Let a(w) = -4 + 2 + 1 + h*w + 2*w. Let n be a(1). Solve -n = -b - 2*b for b.
1
Let m(u) = -u**3 + 14*u**2 + 16*u - 11. Let p be m(15). Let w be 1/p - 14/(-8). Solve w*y = 3*y for y.
0
Suppose 2*o - 18 = -0*o + 2*r, 2*o - 3 = -3*r. Let k be o*((-9)/6)/(-3). Solve -k*d - 23 = -8 for d.
-5
Let t be (-14)/(-3) + (-1)/(-3). Suppose z = t*z. Suppose 3*m = -d - 1, z = 3*d + 3*m + 1 - 4. Solve -k = -d*k - 3 for k.
-3
Let a(n) = -3*n**2 - 5*n - 4. Let z(y) = 4*y**2 + 6*y + 5. Let h(i) = 5*a(i) + 4*z(i). Let t be h(1). Let u be (-2)/(-2*1) - -1. Solve -s = -t*s + u for s.
-2
Suppose 3*s - 36 = -s. Let r(h) = h - 7. Let k be r(4). Let j = k - -3. Solve 2*n + n + s = j for n.
-3
Let w = 14 + 0. Solve 6 = 4*d - w for d.
5
Let g(j) = -j - 3. Let c be g(3). Let x = c - -10. Solve x + 8 = -4*y for y.
-3
Let v be 18/8 - 4/16. Solve -3*o = v*o for o.
0
Suppose 10 = 2*i - 2*v, -i + v = 3*v + 1. Solve i*k + k - 8 = 0 for k.
2
Let h(l) = l + 9. Suppose 10 = -4*n - 10. Let u be h(n). Solve 10 = u*z - 10 for z.
5
Suppose 6*q = q + 10. Let z = -8 + 8. Suppose -m + z*m = 0. Solve m*x = -q*x + 6 for x.
3
Let s = -2 + 4. Suppose 0 = q + f - 11, 0*f - f + 25 = s*q. Solve 2*v = -4 + q for v.
5
Let k(p) = -p**2 + 4*p - 2. Let n(g) = 3*g**2 - 13*g + 6. Let m(q) = 11*k(q) + 4*n(q). Let z be m(8). Solve 2*c = -z*c - 12 for c.
-3
Let a = 2 - 3. Let d = a + 3. Suppose -p + 6 = d*p. Solve p*q - 8 = -0 for q.
4
Suppose -5*b = -13 - 17. Solve -b*k + k - 10 = 0 for k.
-2
Let b = 21 - 21. Solve b = -u - 4 - 1 for u.
-5
Let y = 24 - 24. Let u be 1/(5/(-2) + 2). Let s be (2/4)/((-1)/u). Solve y = -v - s - 2 for v.
-3
Let a = -8 + 15. Let s(g) = -g**3 + 6*g**2 + 8*g - 1. Let p be s(a). Solve -p = j - 2 for j.
-4
Let v(j) = 11*j**2 + j. Let w(i) = -i**3 - 3*i**2 + i + 2. Let u be w(-3). Let r be v(u). Solve 5*l - r = 3*l for l.
5
Suppose 0 = -17*v + 18*v - 15. Solve 4*l = l - v for l.
-5
Let n(z) = z**3 + 6*z**2 + 4*z - 4. Let m be n(-5). Suppose -3*v - 35 = 4*a, a + 5*v + 14 = m. Let u = a + 12. Solve u*w - w = 15 for w.
5
Suppose 0 = -2*z - 0 + 4. Let m be (-1 + z)*(8 + -3). Solve -10 - 5 = m*h for h.
-3
Let k be ((-9)/(-12))/(1/12). Let q(a) = a**3 + 5*a**2 + 4*a - 1. Let c be q(-3). Solve 4*z - k*z = -c for z.
1
Suppose 3*r - 8 = -2*r + 2*y, -4 = -3*r + 2*y. Solve 1 = r*m - 1 for m.
1
Let w = 59 + -99. Let f be w/(-25) - 2/(-5). Let k(m) = m**2 - 2*m + 3. Let u be k(f). Solve -u*l + 6*l - 12 = 0 for l.
4
Let h be (-10)/4*4/(-5). Suppose 0 = -2*w + 6*w - 28. Suppose h*q = 31 - w. Solve -4 + q = 4*r for r.
2
Let b(r) = -2*r**2 - 10*r. Let d(v) = v**2 + v. Let i(a) = b(a) + d(a). Let f be i(-8). Let q(o) = -o + 1. Let s be q(-2). Solve 0 = u + s - f for u.
5
Let o be -8 + 10 - -2*3. Let r = o - 6. Solve 0 = -f + 2*f + r for f.
-2
Suppose 0 = -y - 0*y + 2. Suppose -3*n + 3*h + 16 = -2*h, -4*n = -y*h - 26. Solve 0 = -n*z + 2*z for z.
0
Let u(v) = -v - 3. Let h = -10 - -34. Suppose 5*s + 1 = -h. Let m be u(s). Solve -m*a = 2*a for a.
0
Suppose c + 2*r - 3 + 1 = 0, -3*r = 0. Solve -5*z = -c*z - 15 for z.
5
Let p be (3 + -6)/3 + -3. Let c = 4 + p. Solve c = 4*x - 4 + 12 for x.
-2
Suppose 0 = 8*i + i - 81. Solve i*q = 12*q - 15 for q.
5
Let r = -6 + 9. Suppose 0*f - 10 = -5*f. Suppose -4*q = -2*a + 5 + r, q = -4*a - f. Solve -5*d = -a*d - 25 for d.
5
Suppose m + 3*m + 8 = 0. Let d be m/(-6) + 25/15. Solve -3*w + 25 = d*w for w.
5
Let d be (-2)/(24/(-28)) - (-10)/15. Solve 0 = u - d*u for u.
0
Let w(y) = -y**3 + 7*y**2 + 9*y. Let x be w(8). Solve -4*j = -2*j + x for j.
-4
Suppose -3*g = -2*g - 3. Solve -g*h + 8 = h for h.
2
Let c(q) = q**3 - 7*q**2 + 2*q - 7. Let l be c(7). Let u = l + -11. Let z be ((-2)/u)/(1/32). Solve -3*j = j - z for j.
4
Let q be 8 - 0 - (1 + 1). Suppose 1 = -3*l + i + 3, -2*l + 3*i = -q. Solve -a = 1 - l for a.
-1
Let j(m) = m + 2. Let a be j(0). Solve 0*n + n = -a for n.
-2
Let r(k) be the second derivative of k**5/20 - k**3/3 + k**2 - 2*k. Supp