 0 for h.
-2
Suppose 10 = -5*h, x + 8 = 2*x - 2*h. Suppose o = 4*c + 5*o - 16, -5*o + 13 = 4*c. Solve 5*y - c*u - 1 = -x*u, 0 = -y - 5*u - 11 for y.
-1
Suppose -2*x - 2 = -12. Solve -2 = -2*s + 5*c - 0, -2*s - x*c + 2 = 0 for s.
1
Let y be (-8)/3*9/(-6). Let t be (-16)/6*18/(-24). Suppose -t*q = -y*q + 4. Solve 0*r - 3*g + 4 = -5*r, 2*r = q*g - 4 for r.
1
Let j be (20/(-1 - 1))/1. Let c = -6 - j. Solve 0 = -c*y + 12, 2*a = y - 3*y + 2 for a.
-2
Let h be (-16)/12*(-6)/(-2). Let a be (-30)/5*(-2)/h. Let u be ((-2)/6)/(a/18). Solve -i = -u*z + 5, -4*z + 3 = 2*i + 13 for z.
0
Let y(f) = f**3 - f**2 - 3*f - 3. Let x be y(3). Suppose m = -2*m + x. Solve 4*c - j - m = -9, 3*c = 2*j - 9 for c.
-1
Let c(s) = -s - 3. Let p be c(6). Let g = 27 + p. Solve w + j = 10, 5*w - g - 22 = -3*j for w.
5
Suppose -2*r + 4*v - 16 = -6*r, 3*r - v = 12. Solve -r*d + 3*j = 1, d - 2*j - 11 = j for d.
-4
Suppose -5*x + 40 = 5*f, f - 5*f = 3*x - 27. Suppose 5*d = 3*t + 22, -5*d + d + 5*t = -15. Let q = 5 - d. Solve 3*v - s - 16 = 4*s, -x*v - 5*s = q for v.
2
Suppose 3*r = -y - 4*y + 19, 0 = 2*r + 4*y - 14. Solve -f - r*t - 10 = 0, 0*t = -3*f - 5*t - 14 for f.
2
Let x(r) = r**2 + 4*r - 3. Let k be x(-5). Suppose 3*j + k*m = 3*m + 9, -m - 12 = -4*j. Suppose -3 = -j*v + 3. Solve 3*c = 15, -3*i - v*i + 30 = c for i.
5
Let k = 37 - 33. Solve -z - 5*h + 24 = -2*z, 20 = k*h for z.
1
Let o be (-147 - -7)*2/(-5). Suppose -i - 5*t = 3, 2*t - 18 = -5*i - o. Let m be (-23)/(-3) - i/(-12). Solve 2*c + 3 = -5*v - 10, -c - 3*v = m for c.
-4
Let q = 10 - -5. Suppose 0 = y + y - 10. Suppose 0 = 4*c - q - y. Solve -2 = -n - c*m + 14, 0 = 5*m - 15 for n.
1
Let t(z) be the second derivative of -z**3/3 - 15*z**2/2 - z. Let q be t(-10). Solve 2*o - 5 = -3*p + 4, -q*p = 2*o - 11 for o.
3
Let j(q) = q - 1. Let i be j(3). Solve i*v + 8 = x + 6*v, -3*v = 5*x - 6 for x.
0
Let f(a) = 2*a + 1. Let x be f(2). Suppose 2*d + 4 = 4*d. Solve -g = -z - 3 + x, -3*g + d*z = 5 for g.
-1
Let d = -37 + 62. Suppose -6*w = -w - 4*h, -5*h + d = 0. Suppose 0*s + 2 = s. Solve s*p = 4*x - x - 6, -12 = w*p - 5*x for p.
-3
Suppose 0 = 5*k + 7*k - 48. Suppose -2*o + 9 = -3*s - 11, -19 = -o - 3*s. Suppose 2*u - 43 + o = 0. Solve 0 = -5*m - 5*d + u, -m + 0*d - k*d = -9 for m.
1
Let n(r) = r + 7. Let t(i) = 2*i + 15. Let c(x) = -5*n(x) + 2*t(x). Let z be c(-5). Suppose z = -5*o - 1 + 11. Solve o*j - 10 = -4*y, 4*y = j + 3*y + 1 for j.
1
Let o(p) = 6*p**2 + 0*p**3 + 8 + 6*p - 3*p**3 + 2*p**3. Let i be o(7). Solve -x = -4*c - i, 3*x - c - 3 = -5*c for x.
1
Let r(u) = -u**2 - 7*u - 3. Let c be r(-6). Let g = c - 3. Let z = 4 - g. Solve -4*w - 19 = -4*v + v, 0 = -2*w - z*v + 18 for w.
-1
Let a(z) = z**2 + 10*z + 11. Let f be a(-9). Solve q = -2*g - 7 + 1, 3*q + 2*g = -f for q.
2
Let y = 0 + 3. Suppose 4*c = 5*g - 13, -y*c + 0*c + 19 = 2*g. Solve -s = 4*i + 13, -11 = 3*i + c*s - 2*s for i.
-2
Let j = -8 - -8. Let i be 3 - j/(-1 - 0). Solve -5 = o + i*o - p, -1 = -4*o - 5*p for o.
-1
Let m(f) = 3*f**3 - f**2 - f - 1. Let i be m(2). Suppose -i = -4*z + 31. Solve 4*p - 4*x + x = z, 4*p - 4*x - 12 = 0 for p.
3
Let x(g) = 22*g**3 - 2*g**2 + 1. Let h be x(1). Let b be h/15 - (-15)/25. Solve -y - j = -9, b*y - 15 = -5*j + 15 for y.
5
Let p = -42 - -45. Solve 0 = m - 6 + 3, 7 = -4*s - p*m for s.
-4
Let f = -25 - -46. Solve 0 = -3*c + 3*n, 0*c - 4*n - f = 3*c for c.
-3
Let b be -3*(-4)/((-24)/(-10)). Suppose -m = -5, b = 3*z - 7*z + m. Solve t + z*t = -2*k - 10, 4*t - 25 = 5*k for t.
0
Let w(c) = -c**2 + 9*c - 11. Let u be w(8). Let x(m) = -m**3 - 3*m**2 - m - 3. Let j be x(u). Solve 3*i - 24 = -3*r, 4*r + j = 2*i + 2 for i.
5
Suppose -6 = s - 2*s. Suppose -2*q + s*q = 16. Solve -q*d - 23 = -l, -d = 4*d + 5*l + 10 for d.
-5
Let n = 189 - 180. Suppose 0 = 5*u - 3*u + 4. Let p be ((-6)/(-8))/(u/(-8)). Solve -4*a = p*w - n, 7*w - 7 = 2*w - 4*a for w.
-1
Let m(s) = -s**3 - 2*s**2 - 3*s - 3. Let j be m(-2). Suppose 2*f = j*f - 6. Solve 2*k - f = -4*y, -3*k + 3*y + 17 = y for k.
5
Suppose 0 = w + 14 - 18. Solve 0 = w*c - 2*x - 2, -5*x - 1 = 4 for c.
0
Let s be 0/(2 - -1 - 1). Let i = 9 + -5. Suppose 3*c - 7 = -i*j + 2, -2*j - 9 = -3*c. Solve -2*y - 4 = 3*l + 2*y, 4*l + 3*y + c = s for l.
0
Let j(m) = -9*m**2 - 5*m - 17 - 2*m + 4 + m**3. Let g be j(10). Solve -5*u - 5*z = -15, -u + 5*z + g = 2*u for u.
4
Let m(t) = -2*t + 2. Let j be m(-1). Solve -3*b - j = -o + 9, 4*o = b + 19 for o.
4
Suppose -9*f = -43 - 20. Solve -4*j = f + 1, 0 = z - 5*j - 10 for z.
0
Let d(a) = a**2 + 3*a + 3. Let w be d(-4). Suppose w = -3*h - 2. Let y = h - -7. Solve -y*o + 0*o + 5*c = 37, 0 = o + 3*c - 12 for o.
-3
Let f(z) = z**2 + 7*z + 5. Let n be f(-7). Solve -2*i - t + n = 0, 0 = -i - 0*t - 4*t - 1 for i.
3
Suppose -4 = 4*g - 16. Solve g*u - w + 1 = 0, -2 = u + w - 3*w for u.
0
Let l be 5/10*20/2. Let v be -5*(-1)/l*2. Solve 2*z - w = -v*w - 5, 2*z + 4*w = -2 for z.
-3
Let u = -36 - -61. Let h be (-2)/(-6) - u/(-15). Solve h*a = -3*v + 8 - 1, 0 = 5*a - 10 for v.
1
Let h(i) = i**2 - i. Let b be h(3). Suppose b*v - 24 = 2*v. Solve 0*w = -3*w + v, 2*w = -4*d - 8 for d.
-3
Let v(p) = -4*p + 4. Let f be v(-4). Let c be 3/(2 + -1) - -2. Let a be (-72)/(-84)*14*1. Solve -c*m + f = t, -t + 3*m - a = t for t.
0
Let m = -1 - -9. Solve 4*f - 4*x - 24 = 0, -5*f - 10 = -m*f - 5*x for f.
5
Suppose 25 = 5*m - 2*b, m - 4*b + 2 = -5*b. Let d = 18 + -13. Solve 0 = -l + d*i + 29, 5 = 3*l + 2*i + m for l.
4
Suppose -7 - 1 = -4*s. Let j = s - 0. Solve 6 = 2*y - 5*b, j*y - b = -3*b - 8 for y.
-2
Let y be (-4)/(-18) + (-43)/(-9). Let r be (-24)/32 + (-126)/(-8). Solve m - f + r = -6*f, y*f = -15 for m.
0
Let y be 4/(-36)*-3*18. Solve 3 = t + g, -t - 4*g + 3 = -y for t.
1
Let z = -1 - -2. Let p = 24 - -27. Suppose 5*j - 24 = p. Solve -m + 5*m + q - z = 0, -5*q - j = 0 for m.
1
Let d(g) = -g**3 - 6*g**2 - 8*g - 11. Suppose 0*p + 4*p = -2*q - 18, -24 = 5*p + q. Let i be d(p). Solve i = -o + 3*l, -4*o - 3 = 3*l - 2*l for o.
-1
Let m = 14 - -6. Suppose 10*j - 6*j + 92 = 0. Let b = -18 - j. Solve -4*a = -4*d - m, -b = d - 6*d - a for d.
0
Let x be -1 + -1 - (-3 + 2). Let l be ((-9)/3)/(-1) + x. Suppose 5*o = i + 1, 3*i - l - 5 = 5*o. Solve -v - n + 0*n - 1 = 0, 3*v + i*n + 6 = 0 for v.
2
Let w = -6 + 6. Suppose t - 4 = w, 4*t - t - 12 = -l. Solve -2*s - 7 = 4*h - 1, l = -s + 2*h + 5 for s.
1
Suppose -4*w = 5 + 7. Let l = 18 - w. Solve -3*a - l = 2*n, -4*a - 15 = -2*n - 1 for n.
-3
Let j = -20 + 34. Let p(y) = y**2 + 5*y. Suppose -8*g = -4*g + 20. Let l be p(g). Solve l = -b - 2*w - 0*w + 5, -j = -b - 5*w for b.
-1
Let i be (-2)/((-5)/((-45)/(-6))). Suppose -o = -i*o, 2*u + 2*o - 8 = 0. Solve 0 = 3*s + w - u*w + 9, 3*s + 2*w = 6 for s.
0
Suppose 32 = 5*h - 4*y, -5*y + 0 = 2*h + 7. Solve -2*f - 5*b = 25, -h*f - b = 4*b + 35 for f.
-5
Let w(r) = -r**2 + 5. Let f be w(0). Suppose 2*j - 3*j = -5*u - 19, -5*j = -f*u - 35. Solve -j*z + 3*t - 22 = 0, -4*z + 28 = -9*z + 4*t for z.
-4
Let l = 7 - 3. Let y be 7/35 - (-119)/5. Solve -l*i + 4*o - 2*o = y, 0 = -3*i + 5*o - 32 for i.
-4
Let y(p) = -p**3 - 10*p**2 - 9*p + 2. Suppose h + 45 = -4*h. Let r be y(h). Solve 4*z + r*o = 4*o + 20, 0 = -z + 2*o + 8 for z.
4
Let b = -13 - -18. Suppose 0 = -5*v - 2*g - g + 10, -2*v + 4 = b*g. Solve 5*p - 2 - 3 = v*u, u + 10 = 5*p for u.
5
Let h be 2/(-1 - 15/(-18)). Let c = -8 - h. Solve -5*g - 21 = -4*q + 4, -5*q = c*g - 21 for g.
-1
Let h be 6725/30 + (-2)/12. Let g be (-4)/18 + h/36. Let b = 8 - g. Solve 2*o - 2 = 0, 2*z + 12 = 4*z + b*o for z.
5
Let d(j) = j + 3. Let c be d(-1). Solve -2 + 6 = -m, -2*t + 3*m + c = 0 for t.
-5
Let g = -5 - -18. Solve 2*q = z - 6, -2 = -3*q + z - g for q.
-5
Let b = -70 - -74. Solve b*h = -5*n - 11 - 5, 5*n = 5*h + 20 for h.
-4
Let u be 4/8 + (-10)/(-4). Solve u*o = -4*n + 1 - 7, n - o = -5 for n.
-3
Suppose -4 = -2*j + 4. Let m = j - 4. Solve -13 = -5*y - 2*c, m = -2*c + 8 for y.
1
Let a be -2 + (-1 - (-1 - 2)). Let r be a + (0/(-1))/3. Let s = r + 3. Solve 5*k + 4 = s*v, 4*k + 2 = 3*v - v for v.
3
Suppose 2*v + 0*w - w = -24, -2*w = -2*v - 28. Let r = -8 - v. Let q(a) = a - 5. Let p be q(7). Solve -r = -2*s - p*x, s + 2*x + 3*x + 7 = 0 for s.
3
Let k(m) = m + 7. Let y be -2*1*9/(-6). Let o = y + -8. Let n be k(o). Solve 5*i = -20, 3*c + 3*i = -n*c - 12 for c.
0
Suppose -3*o +