i for h.
-2
Let l be ((-24)/(-20))/((-6)/(-40)). Let d = l - 6. Suppose -2*g - 36 = -d*z, 3*z - 6*z + 52 = -2*g. Solve 0 = 4*i - 0*i + z for i.
-4
Let y = 0 + 4. Solve -5*f - y - 6 = 0 for f.
-2
Let i(n) = -n**2 - 7*n - 2. Let s be i(-6). Solve -p = s*p + 5 for p.
-1
Let f(g) = -g**3 - 7*g**2 - g - 7. Let h be f(-7). Let q = 2 - 2. Suppose q = -h*l - 4*l. Solve l = 2*u - 0 - 2 for u.
1
Let r = 17 + -13. Solve 0 = r*a - 5 + 1 for a.
1
Let y = -3 - -6. Suppose -4*q + h = -4, 5*h = q - y + 2. Solve b - 2 = q for b.
3
Let p(c) = 3*c - 25. Let r(o) = -o + 12. Let b(k) = 2*p(k) + 5*r(k). Let q be b(-6). Solve q*a + 8 + 8 = 0 for a.
-4
Suppose 2*y = 1 + 1. Let i be (-130)/(-70) - 1/(-7). Let u be 16/56 + (-47)/(-7). Solve -i*h - y = -u for h.
3
Suppose 5*i - 19 + 4 = 0. Let d be (-12)/(-3)*3/4. Solve 4*n = d*n + i for n.
3
Let j = -6 - -14. Let q(y) = y + 2. Let g be q(-2). Suppose g = 2*f - j, -2*u + 80 = u + 5*f. Solve 0 = 3*t + t + u for t.
-5
Suppose 4*r + 14 + 1 = n, -4*r = 3*n + 3. Solve c = -n*c - 4 for c.
-1
Let k(c) = -c - 5. Let n be k(-9). Solve n*v - 3 = 1 for v.
1
Let i be (36/(-14))/(6/(-28)). Let h = i - 9. Solve -h = -2*z - z for z.
1
Suppose -f - 4*t - 17 = 0, 3*f - 2*t = -6*t - 11. Let s be 2/8 + (-47)/(-4). Solve 7*d = f*d - s for d.
-3
Let i(j) = -j**3 + 7*j + 7. Let r be i(-2). Solve -r - 4 = -5*o for o.
1
Let y = 26 + -22. Solve -3*c - 5 = y for c.
-3
Let a(r) = r - 7. Let s be a(7). Suppose s*m = -4*m. Suppose m = -4*j + 32 - 4. Solve 3*b - j*b = 0 for b.
0
Suppose -3*w - 8 = -23. Let d = w + -1. Solve d*i + 0*i - 20 = 0 for i.
5
Let k be (-31)/(-3) + (-1)/3. Let p = -8 + k. Solve -4*m = 2 + p for m.
-1
Let d(s) = 2*s - 11. Suppose -2*v + 3 = -13. Let m be d(v). Suppose 0*p - m*p = 2*g - 20, -p + 4 = g. Solve g*c + 6 = 3*c for c.
2
Let g(h) = -h**2 - 7*h + 10. Let i be g(-8). Suppose 2*x - 13 = -1. Let m = x + -3. Solve r - i*r = -m for r.
3
Let v(f) = f**3 - 3*f**2 - 3*f - 4. Let a be v(4). Solve -5*c - 22 + 7 = a for c.
-3
Suppose -4*d - 4 = 16. Let j = d + 7. Solve -1 = 3*k - j*k for k.
-1
Let v(t) = t**3 + 5*t**2 + 6*t + 2. Let q be v(-2). Solve -2 = -q*l - 0 for l.
1
Let g = -78 - -81. Solve -g*a = -0 + 6 for a.
-2
Let r be -2 - (1/1 + -4). Suppose -x - x - 25 = -5*b, b - x = 8. Solve r + b = v for v.
4
Suppose 5*m + 5*d - 105 = 0, 205 = 5*m - 5*d + 50. Suppose 20 = 5*z, 0*g = -5*g - 4*z + m. Solve g - 4 = -n for n.
2
Let d(t) = 4*t + 5. Let a be d(-2). Let p = 9 + a. Solve 5*l = 2*l + p for l.
2
Suppose 16 = 4*j, -9 = -i - 2*j + j. Suppose y = 2*v + 3*y, 4*v = -i*y. Let w = -22 + 32. Solve v*d + w = 5*d for d.
2
Let m = -79 + 82. Solve -m*l = 20 - 5 for l.
-5
Suppose 3*z - 2*o + 2 = -1, -5*o + 12 = -3*z. Solve 3*r - z = 14 for r.
5
Let m = -7 + 5. Let r = m - -4. Suppose -1 - 1 = -t. Solve -2*q + r + t = 0 for q.
2
Suppose -1 + 11 = -5*o, 2*f - o = 6. Suppose 0 = f*a - 24 - 14. Suppose 7 = 5*j + c, 2*j + a = 4*j - 5*c. Solve 0*g = -j*g - 10 for g.
-5
Let h(g) be the second derivative of -g**3/3 - 3*g**2/2 + 3*g. Let o be h(-3). Solve o*a = 4*a + 3 for a.
-3
Suppose 4 = -i + q + 9, 5*q + 11 = -2*i. Solve -2*g = i*g - 20 for g.
5
Suppose k - 4*p + 19 = 2, k = -p + 3. Suppose a + 2 = 2*a. Let f = k + a. Solve -f = 3*c + 5 for c.
-2
Suppose -5*b = d + 22, 6 = -d + b - 2*b. Let j(a) = -4*a - 3. Let q be j(d). Solve 0 = -s + q for s.
5
Suppose 0 = -2*r - 6 - 6. Let w be (-6)/21 - (-33)/(-7). Let d be (r/w)/((-3)/(-10)). Solve 0 = f + d*f - 25 for f.
5
Let m(u) = -2*u - u + 2 + 2*u. Let n be m(0). Solve -n*v + 8 = -4*v for v.
-4
Let n = -41 - -58. Suppose 2*b + 1 = n. Suppose -2*f + 2*h = -4, 2*f + 3*h = -2*f + b. Solve f*d - 2 = d for d.
2
Let p = 11 + -3. Let u be 38/p + 13/52. Solve 0 = -u*t + 9 + 6 for t.
3
Let q(t) = t**2 - t + 3. Let l(a) = a**3 + 10*a**2 + a + 10. Let o be l(-10). Let n be q(o). Solve 2*v - n*v = -4 for v.
4
Suppose -3*l = -2*u + 2*l - 13, 4*u = 3*l - 5. Solve -4*s = u - 5 for s.
1
Let j(k) = -k**2 - 4*k - 2. Let m(l) = l**2 - 3*l - 12. Let o be m(5). Let i be j(o). Solve -4*n + 2*n = -i for n.
1
Let i(r) = -10*r**2 - 1 - 2*r - 2*r**3 + r - r**3 + 2*r**3. Let o be i(-10). Solve -u = -4*u - o for u.
-3
Let g(c) = -2*c + 3. Let h be g(2). Let p = -1 - h. Solve 6 = -3*s - p for s.
-2
Let u be -1 - -3 - (3 + -1). Suppose u*c = 3*c - 3. Solve -l + c = 2 for l.
-1
Let s(l) = 2*l**3 - 3*l + 2. Let o be s(2). Let j = o + 8. Suppose -z + 3*g = 0, 0*z = 4*z - 3*g. Solve z*f - 5*f = j for f.
-4
Let r = 44 + -44. Solve r*x - 4 = -4*x for x.
1
Let n = 107 + -104. Solve -3*c = -18 + n for c.
5
Suppose -20 = -2*h - 3*h. Let s be 1*0*(-2)/6. Let t = s + h. Solve 0 = t*g + 5 + 3 for g.
-2
Suppose -3*r - 8 = -2*v - 2*r, 0 = -2*v + 5*r + 24. Let m be (-246)/(-21) - 4/(-14). Solve 2*u = -v*u - m for u.
-3
Let a = 60 + -45. Suppose 2*l = 3 + 33. Suppose 0 = -4*k - 4*x + 16, k - 5*k + l = 5*x. Solve k*u = -3*u + a for u.
3
Suppose 8*g - 3*g - 15 = 0. Suppose a - 13 = -5*x, g*x - 27 + 8 = 5*a. Let j be 8/3 + a/3. Solve 0 = -2*q - 0*q - j for q.
-1
Suppose -d + 12 = -5*v - 7, -8 = 4*v. Let t be (-6)/9*d/(-2). Suppose -t*u = -6*u. Solve 2*i - 6 + 14 = u for i.
-4
Let k = -1 + 5. Suppose -6*f + 4 = -k*f. Solve 15 = f*u - 7*u for u.
-3
Let a(i) = 4*i - 21. Let b be a(6). Solve 0 = b*f + f - 12 for f.
3
Let f = 7 + 1. Suppose 0 = 5*i - 4*i. Let n be 2 + -1 + (3 - i). Solve 4*b + n = -f for b.
-3
Let h be (-1 - 15)/4 - -11. Let d = 2 - 3. Let l be d - (-5 + (1 - 0)). Solve -l - h = 5*t for t.
-2
Let d = 6 - 1. Let c(i) = -i**3 + 8*i**2 - 8*i + 10. Let m be c(7). Suppose w + m = d. Solve j + 2 = w*j for j.
2
Let q = 154 - 222. Let r be 4/(-10) + q/(-20). Suppose 0*v + r*v = 15. Solve 10*f - v = 5*f for f.
1
Let j = -8 - -14. Solve -3*u - j = -u for u.
-3
Let v(w) = w**3 - 5*w**2 - w - 6. Let a be v(6). Solve -4*y = a - 4 for y.
-5
Suppose 8 + 24 = 2*k + 3*s, -2 = -s. Suppose -5*v = k - 43. Solve 3*b - v = b for b.
3
Let b be 1/((2 - 3)*1). Let g(k) = -2*k. Let j be g(b). Let q = 11 - j. Solve -3*v + q = -3 for v.
4
Let l(x) = x**2 - 3*x - 13. Let t be l(6). Suppose t*q = -0*q + 25. Let u(a) = -3*a + 1. Let d be u(-1). Solve d + 21 = q*h for h.
5
Let m be (4 + (1 - 4))/1. Solve -m + 4 = -3*z for z.
-1
Suppose 5*m - m = 8. Suppose 2*r = -2*i + 20, i - 2*i + 15 = m*r. Solve o = 2*o - i for o.
5
Let w = 21 + -16. Solve w*d = -22 + 2 for d.
-4
Suppose -o = 6*o. Solve o*n = -5*n for n.
0
Suppose 0 = 4*c - 13 + 1. Suppose -t = 2*u - 2, c + 7 = -u + 5*t. Solve -2*n + 3 + 3 = u for n.
3
Let z be 0*2/2*-1. Suppose -3*d + 1 + 8 = z. Solve -h = -4*h - d for h.
-1
Let l = -24 - -27. Suppose l*g - 6 = -3. Solve 2*m + g = -1 for m.
-1
Let t = 117 + -125. Let d(y) = -2*y**2 + 3*y + 4. Let g be d(4). Let n = t - g. Solve 0*l = 4*l + n for l.
-2
Suppose -2*r + 4*h + 16 = 0, -5*r - 4*h + 0*h - 2 = 0. Suppose -m + 2*k - 8 = 0, m - r*m - 12 = -3*k. Solve m*c - 4*c = 12 for c.
-3
Let y be (6/5)/((-2)/(-5)). Let m be 1/4 + 2/(-8). Suppose -3*i + 32 = -t, 5*i = -5*t + 8 + 72. Solve -y*l = -m*l - i for l.
4
Let i(v) = 6*v**2 - 2*v - 1. Let d be i(-1). Let s be d/(-14)*32/(-2). Let k be 2/s - 70/(-40). Solve -k = -y + 2 for y.
4
Let g(b) be the second derivative of b**3/6 - b**2 - b. Suppose -8*p - 5*w = -4*p + 1, 4*w = -p - 14. Let j be g(p). Solve j = -5*f - 6 for f.
-2
Let d be (-3)/(-6) + (-58)/(-4). Suppose 4*z - 24 = -t, -14 = -4*t + 3*t - 2*z. Solve -t*r + d = r for r.
3
Let k(x) = -x**3 - x + 2. Let o be k(1). Solve o = -i + 3*i for i.
0
Suppose 0 = -5*z - 3*w + 116, 20 + 46 = 3*z + 3*w. Let o = z - 22. Solve -f - 4 = -o*f for f.
2
Let m be ((-2)/12)/(2/(-12)). Let u be 12/3 + (m - 5). Solve -3*v + v - 6 = u for v.
-3
Suppose 4*a + 7 = 31. Let u = 7 + -6. Let s be 2 - (0 - u) - -3. Solve -3*t = -s*t + a for t.
2
Suppose 2*b - 4*u - 14 = 0, 2*b + b - 2*u = 37. Suppose -w + b = 4*w. Let n(v) = -v - 5. Let d be n(-8). Solve w*f + d = -0 for f.
-1
Suppose -6 = t - x - 19, x = -2*t + 11. Suppose -4*l = -t*l. Solve l*u = -3*u + 6 for u.
2
Let r(i) = i**2 - 5*i + 2. Let a be r(5). Solve 0 = 3*h + a*h + 10 for h.
-2
Let s = 38 - 38. Solve s = 3*v + v - 20 for v.
5
Let y(t) = 3*t**3 - t**2. Let w be y(1). Let i(q) = w*q + 3*q - q**3 + 6 - 2. Let d be i(-3). Solve -b = 3*b - d for b.
4
Let k(g) = -g**2 + 4*g. Let m be k(3). Let x(l) = l**2 - 2*l - 4. Let f 