e -17 - 3 = h*x for x.
-5
Suppose -3*x + 9 - 3 = 0. Suppose 2*d - 5*z - 35 = 35, 108 = 4*d - x*z. Solve y - 6*y = d for y.
-5
Suppose u + 7 = 2*m - 4, 0 = -2*u - 10. Suppose 0 = -r + 2*r - m. Suppose 0 = -r*v - 0*v + 3. Solve 4*g = 5*g + v for g.
-1
Suppose -2*d = 0, 0 = 4*a - 2*d - 0*d - 20. Solve -a = -0*c + c for c.
-5
Let x(c) = c**3 - 5*c**2 + 5*c - 4. Let q be x(4). Let y be (q - 3)/(-3) - -3. Suppose -3*j - 18 = -3*r, -2*r = -j + y*j - 32. Solve 8*o - 3*o = -r for o.
-2
Let l be (0 - (-4)/(-2)) + -1 + 6. Solve -l*s - 15 = 2*s for s.
-3
Let u = -2 + 4. Suppose t = -u*t. Solve -s = -t*s for s.
0
Suppose 7*q - 10 = 2*q. Solve -9 = -q*s - 3 for s.
3
Suppose 6*p = 2*p - 4. Let l be p/(2 - 3) + 3. Solve 0 = -l*i - 6 - 10 for i.
-4
Let t be 5/((-5)/3) + 9. Suppose 75 = t*q - 45. Solve 0 = -2*v - 2*v - q for v.
-5
Let d = -11 + 20. Let y = d - 13. Let u be (-2)/4 - 6/y. Solve -3*z - u - 2 = 0 for z.
-1
Let z be (-22)/(-6) - 2/(-6). Suppose -3*a - z = -4*g - 22, a = -3*g - 7. Let l = g - -3. Solve -2*i + 6*i = l for i.
0
Let g(w) = w**3 + 4*w**2 + 2*w - 1. Let y be g(-3). Let p(q) = y - q + 2 + 3*q. Let o be p(3). Solve 5*c + 0 - o = 0 for c.
2
Let j(h) = -h + 10. Let i be j(6). Suppose -i*n + 24 = 3*g, -g - 1 = -4*n + 39. Solve -1 - n = -5*z for z.
2
Suppose 2*f - t - 4 = -2*f, -3*f - 20 = 5*t. Solve -l - 3*l - 12 = f for l.
-3
Suppose -3*x + 5 = 10*y - 8*y, 2*x - 14 = -4*y. Solve 0 = y*m - 7*m - 6 for m.
-2
Let p(j) = j**3 - j**2 + 3. Let r be p(0). Suppose -r*a + 4*k = 2 + 12, 5*a + 5 = 3*k. Solve -5*g = -a*g for g.
0
Suppose 10*b - 6 = 7*b. Solve -b*d - 4 - 6 = 0 for d.
-5
Let g(n) = -n + 7. Let b = 1 - 1. Let c be g(b). Solve 4*y = 1 + c for y.
2
Let s(j) = j - 16. Let v(m) = 1. Let w(g) = -s(g) - 2*v(g). Let z be w(11). Solve -f - z = -2*f for f.
3
Suppose -2*p - 4*p = -18. Solve 2 + 7 = -p*o for o.
-3
Let f = -1 + 11. Let k be (-5)/f + 2/4. Solve k = 4*d + d for d.
0
Let f = -140 - -140. Solve -2 = 2*g - f for g.
-1
Suppose 0 = -x - 2 + 6. Suppose 3*a = a + x. Solve -a*m + 1 = -7 for m.
4
Let p = -21 - -21. Solve 0 = -2*z - p - 4 for z.
-2
Suppose -14*c + 15*c - 4 = 0. Let w(a) = a + 4. Suppose 5*j + 8 = 3*o, -4*j + 3*j - 4 = -o. Let d be w(o). Solve 0 = -c*h + 6*h - d for h.
5
Let l = -4 - -8. Suppose l + 5 = 3*x + 3*w, 0 = 5*w + 20. Solve x = -5*q + 17 for q.
2
Suppose 1 - 7 = -3*d. Suppose -d*m + 2*k + 62 = 3*m, -2*m + 5*k = -8. Suppose -4*p = -2*p. Solve 4*j + 2 + m = p for j.
-4
Let u be (12/(-2))/(-2 + 0). Solve -u*a - 3 - 3 = 0 for a.
-2
Let q = 5 - 1. Suppose -4*l + 3*g = -27, -q*l + g = -3*g - 32. Solve z + 8 = -l*z for z.
-2
Let f(k) = k + 11. Let d(o) = o**3 + 6*o**2 - 6*o + 7. Let t be d(-6). Suppose q + 0*q + 10 = -x, -4*q = 5*x + t. Let w be f(q). Solve w*j - 4 = 5*j for j.
-4
Let o(n) = n**2. Let y be o(2). Suppose 8 = 2*a - 2*j, a = j + 3*j + 19. Let z(f) = -2*f + 1. Let b be z(a). Solve s = y*s + b for s.
-1
Suppose 0 = 3*k + 162 - 174. Solve 8*b = 4*b + k for b.
1
Suppose -95 - 55 = -3*l - 5*u, -2*l - 2*u = -100. Suppose 2 = -2*a - 4, 4*q - 2*a - l = 0. Solve q - 2 = -3*m for m.
-3
Suppose 5*r = m - 28, 0*m = -r - m - 8. Let w(v) = -v + 1. Let d be w(r). Solve 3*k + 2 + d = 0 for k.
-3
Suppose -4*s = -5*h - 20, 3*h - 12 = -2*s + 5*h. Suppose -2*g + 12 = -k, -2*g + k + 18 = -3*k. Solve -g*i + 0 = s for i.
-2
Let v be 18/(-45) + 2/5. Suppose 8 = 4*f - v*f. Solve -j + 2*j = -f for j.
-2
Suppose 3*w = 5*f - 18, -4*w + 3*w - 1 = 0. Solve 4 = -f*d + 1 for d.
-1
Suppose 5*q = s, 5*s - 30 = -5*q - 0. Suppose -2*k = 4*l + 9 - 23, -20 = -s*k + 5*l. Solve 11 = -k*n - 9 for n.
-4
Suppose 149 = 5*a - 101. Suppose 3*x = x - 5*s + a, -4*x - 3*s = -86. Solve -2*u = -6*u + x for u.
5
Suppose -4*v + 33 + 7 = 0. Let s be (-4)/v - 4/(-10). Suppose z - 5 = -4*o, o + 4*o - 4 = z. Solve -j + s = z for j.
-1
Let l = 16 + -5. Suppose -3*w - 5*i + 14 = -l, -20 = 2*w - 4*i. Solve -5*j - 13 + 38 = w for j.
5
Suppose 4*k + 2*q - 2 = 0, -3*q - 2*q = -5*k + 10. Suppose 8 = -y + 3*y. Solve -n = y - k for n.
-3
Suppose 2*y + 2*y = 72. Let a = y - 13. Suppose 8 + 2 = a*k. Solve -k*d = -d for d.
0
Suppose -2*b = -3*b + 5. Let t = 23 + -15. Suppose 2*u = g - t, -u = b*g - 3*u - 8. Solve -4*j + g*j = 8 for j.
-2
Let o be 15/(-2)*2/1. Let t be (-22)/(-6) - 5/o. Suppose b = -t + 5. Solve -y = -0*y + b for y.
-1
Let o(d) = 2*d**2 + 13*d - 7. Let n = 9 + -16. Let s be o(n). Solve -z + 0*z = s for z.
0
Let q be (-4)/(-14) - 2/7. Let h be (-1 - -3) + q/(-1). Let s(f) = -f**2 + 7*f + 3. Let m be s(4). Solve h*t + 3*t = m for t.
3
Let y = 6 + -5. Let l = y - -2. Suppose -l*v + 17 = -43. Solve v = -8*n + 3*n for n.
-4
Suppose -18 = 4*z + 2. Let y = 9 + z. Suppose 4*k - y*t - 14 = 18, -2*k = 5*t + 19. Solve 4*j = 5*j + k for j.
-3
Let l be -2 - (-1)/((-2)/(-16)). Suppose 4*g + 16 = 0, -4*g - 6 = 2*s + l. Solve -1 = s*z - 9 for z.
4
Suppose -3*x - 10 = -2*p, -2*p + 3*p - 6 = 2*x. Solve 2*n + 8 = p for n.
-3
Let o(m) be the second derivative of m**4/12 - 2*m**3/3 + m**2/2 - m. Let i be o(4). Solve 0 = -0*r - r + i for r.
1
Suppose 4*u = 2*k + 24, 0*u + 20 = 2*u - 5*k. Solve -3*h - u = -2*h for h.
-5
Suppose 0 = 5*u - u. Let r = u + 3. Solve -7 = r*o + 5 for o.
-4
Let l(r) = 9*r + 8. Let i be l(0). Solve -7*z - i = -3*z for z.
-2
Let j = -6 + 5. Suppose h + 3*k = -2*k - 15, -2*h + 4*k = -12. Let d be 1*h/(2 + j). Solve d = 2*v + 2*v for v.
0
Suppose -5 - 6 = -x. Solve -3*f = 1 + x for f.
-4
Let t = -31 - -33. Solve 0 = -0*v - t*v - 4 for v.
-2
Let n = 14 + -10. Suppose 2*a + n = 3*a. Solve -f - a = -0 for f.
-4
Let a(z) = z**3 - 7*z**2 + 2*z - 4. Let q be a(7). Let c(y) = -y**3 - 3*y**2 + 3*y + 2. Let d be c(-4). Let b = d + -6. Solve 2*i = -b*i - q for i.
-5
Suppose 4*k = -u + 4, -u - 2*k = u - 2. Solve u*o - 2 = o for o.
-2
Let f(y) = y**3 + 5*y**2 - 6*y + 3. Let a be f(-6). Let b = 6 - a. Solve 2 = 2*v - b*v for v.
-2
Suppose -3*m = -d - 44, -2*m + 3*d + d = -26. Suppose 17*p = m*p. Solve 4*g - 5 - 3 = p for g.
2
Let s = 20 + -16. Solve -5*u - s = 16 for u.
-4
Let c = -70 - -72. Solve 4*z - c*z = -6 for z.
-3
Let z be 12/8*(-7 + 9). Solve 2*g + 5 = -z*g for g.
-1
Let g = -23 - -26. Solve g*w - 1 = 14 for w.
5
Let b(c) = c**2 + c - 3. Let h be b(-3). Let g = 5 - h. Solve -g*z + 6*z + 4 = 0 for z.
-1
Let t(o) be the third derivative of -o**6/120 + 11*o**5/60 + o**4/24 - 5*o**3/3 + o**2. Let r be t(11). Suppose 0 = -2*m + 11 - r. Solve -4 = -m*j + j for j.
1
Let k(p) = p**3 + 14*p**2 - 16*p - 11. Let s be k(-15). Suppose -s*b = y - 16, -2 = 2*y + 3*b - 14. Solve -2*f + 6 + 4 = y for f.
5
Let m = 1 - 1. Suppose m = -0*f + 2*f. Let t be (-2 + (1 - f))*-3. Solve -1 = t*g + 11 for g.
-4
Let y(v) = -v**2 + 5*v - 2. Let i be y(5). Let p = 3 + -5. Let q = p - i. Solve q*l - l = 0 for l.
0
Let s(o) = o**3 - o**2 - o + 1. Let z be s(0). Suppose 4*n - 29 = -5*l, n = -3 - z. Solve 2*v + l = -v for v.
-3
Suppose -7 - 9 = -4*j. Suppose -2*r = -s + j, r - 2*s + 0*s = -5. Let d be (2 + -1)*0/r. Solve 5*u - 2*u + 15 = d for u.
-5
Suppose -26 = -0*p - 4*p + q, 0 = p - q - 8. Suppose k = 3*l - 4 - 2, 0 = 3*k - 3*l. Let y = p - k. Solve -y*t = -4*t + 2 for t.
2
Let t(j) = -3*j - 4. Let k be t(-3). Solve -k*r + 19 + 1 = 0 for r.
4
Suppose -3*v + 14 = 4*s, 3*v + 2 = 4*s - 0. Suppose -5*k - 5*w + 11 = -s*w, 4*k - 5*w - 31 = 0. Solve -c - c = -k for c.
2
Let g(x) = -x - 6. Let n be g(-6). Suppose n = q + t - 3, 5*q + 2*t = 2 + 13. Solve 0 = q*d + 6 for d.
-2
Suppose 5*a + 4*q - 80 = -q, -2*q = a - 20. Solve 2*s + a = -s for s.
-4
Let w(f) = 8*f**2 - 4*f - 4. Let a(m) = -m**2 + m + 1. Let j(y) = 5*a(y) + w(y). Let t be j(-1). Solve -6 + 3 = -t*o for o.
1
Let c = -14 - -10. Let t(l) = l + 5. Let w be t(c). Solve 0 = -3*j - 7 + w for j.
-2
Suppose -5*f = 3*q, 3*f = -3*q + 2*q. Suppose 2*k + 2*d = -2*d - 2, -k + 4*d - 31 = 0. Let p = k + 21. Solve f*i + 5*i + p = 0 for i.
-2
Let g be -3*(-2)/(-3) + 3. Suppose -d + 5 = g. Solve -2 = -d*z + 2 for z.
1
Let n = -6 - -5. Let s be 1 + (n - 2)/3. Solve s = -3*d + 2*d - 3 for d.
-3
Suppose -4*u + 0*l - 5 = l, 3*l = -3*u - 15. Let c be 0 + -1*(u + 0). Solve c = -3*k + k for k.
0
Suppose -9*b = -6*b - 6. Solve -b*t - 1 = 1 for t.
-1
Suppose 5*a - 24 = 11. Let o(g) be the second derivative of -g**4/12 + 4*g**3/3 - 5*g**2/2 + g. Let y be o(a). Solve y*q