= 5*i, 0*i = -3*w - i - h for w.
-5
Let w = 13 - 0. Suppose -4*d + w = -15. Let i(k) = k**2 - 6*k - 1. Let p be i(d). Solve -5*g - 1 = 3*u, 4*u = p*u + 3*g for u.
3
Suppose -5*a = -10 - 5. Let i(x) = 5*x. Let f be i(3). Suppose -w = 4*w - f. Solve a*n = -5*s - w, 3*s - 3*n - 3 = -0*s for s.
0
Let i = -27 - -30. Solve i*v + 4*j = -0 + 8, 5*j - 10 = -4*v for v.
0
Suppose 5*h + 42 = 107. Suppose 2*t = -h + 19. Solve -t*n - 2*n = -4*j - 22, -3*n - 9 = 5*j for j.
-3
Let v(i) = -i**3 - 5*i**2 + 4*i - 8. Let l be v(-6). Let a = -3 - -6. Suppose -6 = -a*g - 0*g. Solve 4*x + 2*q = -14, 0 = g*x - 2*q - 0 + l for x.
-3
Let c(i) = -i - 1. Let l be c(-4). Let o = 9 + -7. Solve -2*q + 6 = 0, f - l*q = o*q - 20 for f.
-5
Let h = -5 + 8. Suppose 0 = -5*b - h*r + 32, b - 5*b = 5*r - 36. Solve -5*a + j = 26, -4*j - 8 = b*a + 8 for a.
-5
Let n(i) = -i + 5. Let a be n(4). Let l = 1 - -2. Suppose -l = -v + a. Solve -2*f - 3*y = -0*f - v, 5*f - 17 = -4*y for f.
5
Let y = 17 - 14. Solve 2*p + y*i - 20 = 3*p, -p - 2*i = -5 for p.
-5
Let x = -1 - -1. Suppose -29 = -5*t + 2*c, -2 = c - 5. Solve -5*v + t = -2*i, v = i - x*i + 2 for v.
1
Let d(j) = j**2 + j + 2. Let o be d(-1). Solve o*r + 23 = -2*r - 3*l, l - 24 = 5*r for r.
-5
Let f be 6/(-15) + (-102)/(-5). Let b be (-1)/(3/12*2). Let j be 1/b*0 + 3. Solve -5*x + f = -4*o + 7, -j*o = 6 for x.
1
Let n be 1/2*2*3. Solve 5 = -3*j - a, 2 + 1 = n*a for j.
-2
Suppose 5*y - 30 = -r, y - 5*y - 4*r + 40 = 0. Let s = y + 7. Solve 5*u - 5*g + 20 = 0, -5*g + 3 = -s for u.
-1
Let b = -5 - -6. Let x be b*3*(-32)/(-12). Solve 35 = -5*k - 4*y, -3*k + y + 20 = -x*k for k.
-3
Let a = 31 + -19. Solve f - 1 = -k, 0 = 5*k + a + 8 for f.
5
Let p = 4 - 4. Suppose p = 3*m + u - 0*u - 267, -258 = -3*m + 2*u. Suppose -2*l + m = 2*l. Solve 4*f + 12 = 5*k - 9, 4*k - l = -2*f for f.
1
Let j(h) = -h**3 + 6*h**2 + 6*h + 10. Let y be j(7). Solve 2*p + 3*p + 25 = 0, 3*b + 30 = -y*p for b.
-5
Let z = -14 + 28. Solve q = 2*f, 4*f + q = -f - z for f.
-2
Suppose -8*a + 3*a - 3*z = -25, 3*a = -5*z + 15. Solve 3*u + 5 = -5*l, -a*u - 4*l + 0*l - 17 = 0 for u.
-5
Suppose -q = 3*q - 248. Suppose -2*n + 34 = -q. Let l = n + -18. Solve 4*k = 5*j - k + l, 0 = j + 4*k - 19 for j.
-1
Let z be (4/12)/(5/30). Suppose 0 = -0*l + l - z. Solve o = -2*c + 13, 5*o - 45 = l*c - 7*c for c.
4
Suppose 0 = 6*g - 9*g + 6. Solve -o - 2*o = 5*u + 15, -5*o = g*u + 6 for o.
0
Let h = -75 - -105. Solve 4*l - q - 18 = q, 5*l - 4*q - h = 0 for l.
2
Suppose 5*m = 4*m - 2. Let n = -1 - m. Suppose -3*b - n = -13. Solve 3*c + 15 = 0, 0 = x - 2*x - b*c - 18 for x.
2
Suppose -2*r + r = 0. Suppose -5*x - 2*c + c + 8 = r, -x = c. Solve x*q + 6*z - 3*z = 19, -4*z = -4*q - 12 for q.
2
Let t be ((-4)/(-10))/(8/80). Solve -o + 2*q = -3*o + 16, -3*o - 4 = -t*q for o.
4
Let i(j) = -j - 1. Let q be i(5). Let v(m) be the first derivative of m**3/3 + 5*m**2/2 - 4*m + 1. Let h be v(q). Solve 2*r - h = z, 3*r - z = z + 3 for r.
1
Suppose u - 4*u = -9. Let h(d) = -4*d**3 + d**2 - d - 1. Let y be h(-1). Solve 0*c + u*c = -a, c + 14 = -y*a for a.
-3
Let u = 57 - 53. Let c(b) = -b**2 - 3*b + 2. Suppose -4*m + 9*m - 15 = 0, 0 = -2*o + 2*m - 12. Let x be c(o). Solve -w + x*i = -3*i + 19, -u*i + 12 = 0 for w.
-4
Suppose 2*f - 3*f - 4*i = 5, -4*f - 40 = -4*i. Let v be ((-5)/(-3))/((-3)/f). Solve 0 = -5*u + v*z + 10, 4 = 2*z - 2 for u.
5
Let b(r) = r**2 + 14*r. Let z be b(-14). Let h = z - -2. Solve 4*j + 8 = s, -2*j - 2*s - 4 = h*s for j.
-2
Let q(z) = -z + 9. Let x be q(4). Solve -2*t = -3*t - 5*g - x, 0 = 2*t - 4*g - 18 for t.
5
Suppose 2*t + 30 = 7*t. Solve -3*u - 15 = 3*r - t*u, -5*u + 21 = -4*r for r.
-4
Suppose 3*g - g = -12. Let z be (-3)/g + (-3)/6. Solve -5*k = x + 13, 3*x = k - z*k + 9 for k.
-3
Suppose 2*f - f + 0*f = 0. Solve -16 = 4*k, 0*s + s + 4*k + 16 = f for s.
0
Let p(j) = 4*j**3 - 2*j + 1. Let q(n) = n - 4. Let l be q(5). Let t be p(l). Solve -4*h = 3*u - 9, -5*u = t*h - 2*u - 9 for h.
0
Let q be (-1)/((2/(-3))/(-2)). Let z be (-3 - -11) + -2 - -2. Let j = z + q. Solve j*w + 3*b + 11 + 4 = 0, 0 = 4*w + 3*b + 12 for w.
-3
Suppose -5*h + 7*h = 6. Solve -5 = -5*t + h*k + 3, 5*k = -t + 24 for t.
4
Suppose 4*n + 46 + 34 = 0. Let q be (-1)/(4/n) - -1. Solve -2*i + 2*y - q = 0, -4 = -3*y - 1 for i.
-2
Suppose 3*m = -2*m + 10. Let f be 34/4 + m/(-4). Let o be 101/9 - f/36. Solve 31 = 5*p - t + 5*t, o = p + 2*t for p.
3
Suppose -5*h + h + 8 = 0. Suppose 0 = -5*s - h*y + 3*y + 42, -5*s - y = -48. Solve 5*x + 3*m + s = -m, x = m for x.
-1
Let y = 5 + -3. Solve -2*g + 16 = -y*a, -6*a = -4*g - 4*a + 26 for g.
5
Let k(s) = s**3 - 4*s**2 + 2*s - 5. Let x be k(4). Suppose -5*r = -x*r - 10. Solve -6 = -2*p - r*d, -5*p - 2*d = d + 4 for p.
-2
Let v be -4*(11/4 + -1). Let r = v - -3. Let x = -2 - r. Solve -x*g = -5*g + u - 1, 2*g - 2*u - 6 = 0 for g.
-2
Let y(d) = -d - 1. Let w be y(-5). Solve -w*o - o = -3*x - 7, 3*o - 4*x - 13 = 0 for o.
-1
Let q = -26 - -47. Suppose q + 15 = 4*w. Let t be ((-12)/w + 1)*-9. Solve 0 = x + n + 2, -t*x + 4*n - 5*n + 2 = 0 for x.
2
Suppose -2*k = -5 - 15. Suppose 0 = -3*f + 3 + 3. Suppose -15 = -b - f*b. Solve b*w - 5*q - k = 0, -w - 2*w + 4*q = -11 for w.
-3
Suppose -j - 6 = -3*j - 5*w, w = 5*j - 15. Suppose -60 = -4*g - j*s, -5*g + 19 + 83 = -3*s. Solve 4*z + 3 = 3*b, 5*z - 3*z + 4*b + g = 0 for z.
-3
Let q = 7 + -4. Suppose t - 3*v - 6 = 0, 4*t + 5*v + 7 = -q. Let z(m) = m**3 - m**2 - m. Let o be z(t). Solve 4*c - n - 7 = o, 5*n - 1 - 6 = -c for c.
2
Suppose 2 = 2*v - 2. Suppose 8 = 2*z + v*z. Suppose z*m + 2*m - 12 = 0. Solve -4*x = m*r - 9 - 23, 0 = 3*x - 15 for r.
4
Let y = 0 + 2. Let o be -2 + (9 - 3) + 1. Let z be 320/12 + (-1)/(-3). Solve -2*m = -o*w - z, -24 = y*m - m + 5*w for m.
1
Let k = 192 + -177. Let q(h) = -2*h - 9. Let n be q(-6). Solve -u - k = -2*s - 0*u, 5 = -2*s - n*u for s.
5
Let f(y) = y**2 - 3*y - 3. Let l be f(2). Let c = l - -8. Solve 3*a = -3*z + c, 4*z = 5*a - a + 20 for a.
-2
Let r(i) = 4*i**2. Let x be r(-1). Suppose j - 25 = -3*k, -3*j + 21 = -2*k + 1. Solve 2*c = -2*a + j, 7*a - 2*a = -x*c + 22 for c.
3
Suppose -s + 8 = -4. Let t = s + -7. Solve t*r - 3*p - p = -25, -r = 5*p + 5 for r.
-5
Let m = 200 + -120. Suppose 0 = w + w - m. Solve -i + 5 = -2*s - 0, 4*i + w = -4*s for s.
-5
Suppose 0*d - 6 = d. Let f be (3/(-2))/(d/20). Solve 4*h - 8 = v - 2, -v - f*h + 12 = 0 for v.
2
Suppose -f - 4 = 0, 3*z - f = -2*z + 14. Suppose -h + 4*d - 6 = 0, 0 = 3*h - 3*d + 8 + 1. Let j = h + z. Solve 3*t = q - 8, -4 = -3*t - 5*q - j for t.
-2
Let p(m) = m**3 + 6*m**2 - 8*m - 2. Let u be p(-7). Suppose 5*z = c + 20, -u*z - c + 10 = -4*z. Solve r + 7 = z*x - r, 0 = -2*x - 2*r for x.
1
Suppose 4*g + 20 = 5*g - 5*v, 2*v = g - 11. Solve -4*y + 1 = -3*j + y, -17 = -g*j - y for j.
3
Let v(l) = -3*l - 1 - 1 + 0. Let w be v(-2). Suppose -3*m + w*n = -2*m - 1, 16 = 3*m + n. Solve 2*y - 2*p = -y, -3*p = -m*y + 1 for y.
2
Let l = 8 - 7. Let u(z) = 5*z**3 - z**2 + z - 1. Let c be u(l). Solve 0 = -2*w - 3*k + 7, -w - c*w + 2*k = -27 for w.
5
Let a be (272/(-51))/((-4)/6). Let r = a + 3. Solve s + r = 2*c, -4*s + 3 = -c + 19 for c.
4
Let a be 1*-3 - 12/(-6) - -6. Solve -a*l + n + 16 = 0, 5*l - 36 = 3*n - 7*n for l.
4
Suppose -j + 29 = 20. Solve -5*w - 3*d + 23 = 0, -j*w + 18 = -4*w - 2*d for w.
4
Let q = -6 + 11. Suppose d - k + 2*k = 4, 3*d - q*k - 4 = 0. Let b = 10 + -6. Solve -d*w - 15 = -b*w - 4*j, 9 = 4*w - j for w.
3
Let w be (-1)/(-1) + 0/1. Let c(o) = o**2 + 6*o - 9. Let b be c(-7). Let v = 0 - b. Solve 4*q = -4*n - 0*n + 20, v*n - w = q for n.
2
Suppose -11*k + 9 = -8*k. Solve m + 18 = 6*m - r, 5*m = -k*r + 6 for m.
3
Suppose -7*r + 9 + 12 = 0. Solve -r*x + 5*h + 1 - 27 = 0, -2*h + 8 = 0 for x.
-2
Let u(k) = 4*k - 13. Let z be u(4). Solve 4*a + t - 8 = 0, a + 2*t - z*t = 2 for a.
2
Let k = 4 + -2. Suppose h = -k*w - 3, w + 3*w - 3 = h. Solve x + 3*p + 2 = w, 2*x - 4 = x + 3*p for x.
1
Let o(r) = -2*r + 3*r + 0*r - 3. Let l be o(4). Suppose -l + 21 = 4*g. Solve g*y + 11 = -d - 14, 5*d - 4*y = -9 for d.
-5
Let z be -6*(-2)/20 - 30/50. Solve 3 + 2 = -5*n, z = -5*g + 4*n - 6 for g.
-2
Let d(r) = r + 12. Let i be d(-9). Suppose -4*h - c + 19 = 0, -3 = -2*h - 4*c + i. Solve h*j = -g - 18, 11 = -j + g + 5 for j.
-4
Let m(u) = 7*u**2 - 2*u + 1. Suppose -4 = -2*o - 2. Let 