+ 5*h(t). Suppose 0 = 3*j - 4*j - 1. Let f be o(j). Solve -2*c = 4 - f for c.
-2
Let p = 57 + -36. Suppose 2*d = -1 + p. Solve -l = 4*l + d for l.
-2
Let i(n) = 11*n - 64. Let p be i(6). Solve -p*m - 2*m - 4 = 0 for m.
-1
Let k be (1 + 0)/(-1 + 2). Let s = 24 + k. Let n be 4/10 + 40/s. Solve 2*b - n - 8 = 0 for b.
5
Let d(r) = -3*r - 2. Let i be d(-3). Solve 3 - i = 2*h for h.
-2
Suppose -4*w = -13*w. Solve 4*m + 7 + 1 = w for m.
-2
Let y = 7 + -4. Suppose -1 + 7 = y*j. Solve 2*n + j*n - 20 = 0 for n.
5
Let h be 12/(-16) + (-375)/(-20). Let j = -6 + h. Solve -v - j = 2*v for v.
-4
Suppose x + 4 + 8 = 2*d, 5*x = -2*d + 24. Suppose 2*a = 4*h, -8*a + 3*a + 18 = -h. Solve 0 = a*t - d*t - 15 for t.
-5
Let w = 1 + 1. Solve 1 = -w*m + 9 for m.
4
Let z(g) = -3*g**2 + 2*g + 3. Let p(k) = 7*k**2 - 3*k - 6. Let t(w) = 2*p(w) + 5*z(w). Let n be t(4). Solve -n*s - 20 = 2*s for s.
-4
Let j = -5 + 9. Suppose 0 = -3*r + 5 + 10. Suppose -r*u = -u - 12, 8 = -o + j*u. Solve -f = o*f - 20 for f.
4
Let o = 1 + -1. Suppose 5*v = -o*v. Solve 2*k + 0 + 2 = v for k.
-1
Let w be (4/(-10))/((-6)/180). Solve 0 = d + 3*d - w for d.
3
Let v(f) = f**2 + 2*f - 4. Let d(q) = -q**2 - 2*q + 4. Let r(n) = -2*d(n) - 3*v(n). Let w be r(-3). Solve h + 0*h - w = 0 for h.
1
Suppose 2*r + r = 0. Solve 3*n - 17 + 5 = r for n.
4
Suppose -4*y + 4*p + 177 = 65, -146 = -5*y + 3*p. Let z = -88 - -92. Solve 11 = z*w + y for w.
-5
Suppose -2*l - 10 = -7*l. Solve -4*p + l = 10 for p.
-2
Let q(g) = -4*g - 1. Suppose -v + 2*v + 3*j = 0, 5*v + j = 0. Let d(o) = -o**2 + o - 1. Let n be d(v). Let r be q(n). Solve -1 + r = -i for i.
-2
Let d be 14*(-1 + 36/28). Solve d*u = 3*u for u.
0
Suppose -10*n - 3 = -133. Solve 4*i - 3 = n for i.
4
Suppose 0*i + 1 = -3*i + j, -4*i - 2 = -2*j. Suppose i = -s + 2*s - 5*x - 26, s - 10 = x. Solve -n + s = n for n.
3
Suppose -5*o + 2*o = -6. Suppose -o*j + 7 = -23. Let q = j - 11. Solve -q*p - 10 = -6*p for p.
5
Let k be 8/12*(1 + -4). Let v = k + 6. Solve -6 + v = -a for a.
2
Let g(b) = 2*b + 39. Let n be g(-18). Solve z = n*z for z.
0
Suppose q + 3*l = 14, 0 = -2*q + 7*q - l - 6. Suppose -q*y - 40 = -7*y. Solve 4*d + y = -12 for d.
-5
Let v(d) = d**3 + 7*d**2 + 3*d - 3. Let a be 2/(-6) + 17/(-3). Let f be v(a). Solve f = 2*g + g for g.
5
Let s be (-60)/75 + (-29)/(-5). Solve d = -s + 2 for d.
-3
Let s be (-8)/(-6) + (-28)/(-42). Let w = 4 - s. Solve 0 = w*o + 3*o for o.
0
Let y(l) = -5*l + 1 + l + 5*l**2 + 2*l + l**3. Let m be y(-5). Suppose -r - 6 = -3*d, 2*r - m = -2*d + 1. Solve 0 = -d*q + 4*q + 5 for q.
-5
Let a be 11/4 + 14/56. Solve m = -a*m for m.
0
Let f = -4 - -4. Solve m - 1 + 2 = f for m.
-1
Let c(i) = i**2 + 13*i + 17. Let x be c(-11). Let v(o) = o**3 + 4*o**2 - 4*o + 7. Let w be v(x). Solve 4*q + 2 = -w for q.
-1
Let i(x) = -7 - 4*x - 5 + 2*x - 1. Let j be i(-9). Solve -9 = -j*y + 11 for y.
4
Suppose -2*v - 2*l + 12 = 0, -5*l + 15 = -3*v - 7. Solve 3 = 2*o + v for o.
1
Suppose -c = 2*c - 3*j + 15, 5*j - 25 = -2*c. Solve c = 5*m - 3*m + 4 for m.
-2
Let d(p) = -p + 5. Let f be d(-6). Let m = -1 - -3. Suppose 1 = -m*l + f. Solve -2*o + l*o = -15 for o.
-5
Suppose 5*z - 10 = -5*y, 5*z - 1 = 3*z - 3*y. Suppose -z*c - 5 = 0, -4*x - x = -2*c - 102. Solve k - 5*k = -x for k.
5
Suppose 2*n - 6 - 2 = 2*z, 4*n - z - 10 = 0. Solve 3*l - 1 = n for l.
1
Let h = 85 - 81. Solve -x - 9 = -h*x for x.
3
Let z(w) = 2*w**3 - 3*w**2 + 1. Suppose 2*f - f - 2 = 0. Let c be z(f). Suppose -12 = -c*r - 2. Solve -2*n + r = 12 for n.
-5
Suppose h + q = 2*h - 4, 5*q + 15 = 0. Let o be 38/10 - h/(-5). Let k be o/(5/(10/4)). Solve -2*j + k - 4 = 0 for j.
-1
Suppose -4*c + 2*k + 369 = -k, -4*c = 3*k - 399. Suppose 4*r - 4*s + c = 0, r - 6*r - 5*s - 150 = 0. Let i be r/(-4) + (-9)/12. Solve 0 = -t - 1 + i for t.
5
Suppose -5*i + 1 = 5*y + 6, -3*y + 7 = i. Suppose -l + 2 = -a - 0*a, -a + 13 = y*l. Solve -l*w - 4 = -1 for w.
-1
Suppose -3*c + 26 = -4*a + 91, 35 = -3*c - 2*a. Let j be 2/6 - c/9. Solve 0 = 2*g - j for g.
1
Let m(t) = t**2 - t. Let j(f) = f - 3. Let x be j(3). Let o be m(x). Suppose 5*z = 3*y + 39, -2*y - y = 5*z - 21. Solve o = -z*w + w for w.
0
Let s(y) = y**2 - 7*y + 10. Let v be s(7). Let h = v + -7. Suppose 2*u = -h*g + 23, -8 - 10 = -2*u - 2*g. Solve -1 = n - u for n.
3
Let n = 11 - 19. Let t = -8 - n. Solve -4 = -4*k - t*k for k.
1
Let z(f) = f**3 + 10*f**2 + 16*f. Let k be z(-8). Solve k = 6*l - l - 15 for l.
3
Let t(m) = -4*m**3 - 8*m**2 + 3*m + 3. Let g(n) = 7*n**3 + 16*n**2 - 5*n - 5. Let d(j) = 3*g(j) + 5*t(j). Let s be d(-8). Solve 2*z - 10 = -s*z for z.
5
Let q be (-2 - -1 - -1) + 1. Let x be 1 - q/((-1)/14). Solve -m - x = 4*m for m.
-3
Let a(g) = 0*g**3 + 2 - g + 4*g**3 - 5*g**3 - 4*g**2 + 5*g**2. Let w be a(0). Suppose 0*n + w*n = 3*f + 18, 5*n + 5*f = 20. Solve -20 = n*y - 2*y for y.
-5
Let u be (-1*3/(-1))/1. Solve -u*x - 7 = 2 for x.
-3
Suppose -h = 3, o + 11 = -2*h - h. Let w be o/4*0/(-5). Solve -2*b - b + 15 = w for b.
5
Suppose -3*j = -5*h - 3, -j + h = -0*j + 1. Let u be (-4)/(-2) + j/(-2). Let m = 3 - 0. Solve p = -m*p + u for p.
1
Let r = 18 - 14. Solve -r*f + 3*f = 0 for f.
0
Suppose -3*y - 3*p = -0*p, 5*y = -4*p + 3. Suppose k = y*s - 3 - 9, -4*s + 8 = -4*k. Let n be (k/(-3) - -8) + -2. Solve -9 - 16 = -n*z for z.
5
Suppose 5*q - 6 = 2*z, 2*q + 3*z - 10 = -0*q. Let a(i) = 5*i**3 - i - 2. Let s be a(q). Suppose 2*r - 5*r = -s. Solve -3*o - o = -r for o.
3
Suppose x - 23 = -10. Let a = x - 8. Solve 0 = 5*y - a for y.
1
Let q = -12 + 25. Suppose 0 = -2*n + 6 + 4, -2*d + 3*n - 9 = 0. Solve -5*j - d = -q for j.
2
Suppose 2*j - 5*h + 40 = 5*j, 2*j + 15 = 5*h. Suppose -5*n - 19 - 11 = 0. Let l(b) = -b**2 - 7*b - 1. Let v be l(n). Solve j*s + v = -0 for s.
-1
Suppose 2*c - 24 = -2*u + 5*c, 3*c - 18 = -5*u. Solve -s = -4*s + u for s.
2
Let w(x) = -2*x + 3. Let d be w(-3). Solve 3 = 4*b - d for b.
3
Suppose 0 = 4*k - 11 + 3. Let g(t) = 2*t - t + 2*t**3 - t**2 - t**3. Let n be g(k). Solve 0 = 2*l + l + n for l.
-2
Suppose -4*s + s + 30 = 0. Suppose 0 - s = -5*r. Solve -3 = -r*o - 1 for o.
1
Suppose 0*d = -5*d. Let i(h) = h - 2. Let l be i(6). Suppose v = -3*m + 2 - 1, l*m - v = -1. Solve d*c + 4*c - 4 = m for c.
1
Let c(t) = t**3 - 3*t**2 - 4*t + 4. Let a be c(4). Let h = 1 + a. Solve h*x + 15 = 40 for x.
5
Let j(l) = -l**2 - 6*l. Let z be j(-6). Let c be ((-8)/(-3))/((-2)/(-3)). Solve k + c = -z for k.
-4
Let q be (2 + 2)*1 + 0. Solve -2 = -q*g + 6 for g.
2
Suppose 0 = l + 23 - 25. Solve o - 1 = l for o.
3
Suppose r + 0 = 9. Let d = -3 + -5. Let h be r/2 - (-4)/d. Solve s = -h*s for s.
0
Let w(m) = -2*m**3 - 10*m**2 - 3*m + 5. Let x be w(-5). Solve -x = 6*r - r for r.
-4
Suppose 0 = -2*g + g + 3*l + 18, 20 = 2*g + 2*l. Suppose -5*k = -2*k - g. Solve -5 = -j - k*j for j.
1
Suppose -h + 5*k = 10, 0*h = -2*h + 3*k - 20. Let a = h - -14. Solve 0*m + a = -m for m.
-4
Suppose -9*w + 16 = -w. Solve k = w + 1 for k.
3
Suppose -4*q + y + 56 = 0, -3*q + 2*y + 14 = -23. Solve -3*x = -0*x - q for x.
5
Suppose 2*f - 5*f - b = -33, -2*b - 66 = -5*f. Suppose n + 3*n = f. Solve 0 = -n*z + 8 + 4 for z.
4
Suppose -2*h - 6 = -4*h. Solve 0 = -5*o - 28 + h for o.
-5
Let x(v) = 3*v - 6. Let k = -1 + 7. Let o be x(k). Suppose 0 = -4*q + o - 4. Solve q*s = -s + 15 for s.
5
Let a(n) = 6*n - 51. Let i be a(9). Solve i*y - 8 = 4 for y.
4
Suppose 3*l + 3*t = -l - 15, 0 = 4*l - 5*t - 25. Suppose l*j + j = 6. Solve i + 2*i = -j for i.
-2
Let v be (-8)/(-3)*3/1. Let r(w) be the second derivative of w**5/20 - 3*w**4/4 + 7*w**3/6 + 9*w**2/2 - 7*w. Let n be r(v). Solve 2*t + 3 = n for t.
-1
Suppose w - 5*w = 0. Solve w = p - 5 for p.
5
Let n be 1 - (0*(-3)/15 + -1). Solve 0 = -n*k - 3*k for k.
0
Let v be 1/(-2) + (-108)/(-8). Suppose -3*p + v = 2*p - d, 2*p + 5*d = 16. Solve -5*h = -p*h + 4 for h.
-2
Let q = 109 - 107. Solve 0 = -q*k - 10 + 16 for k.
3
Suppose 2*g - 8 = 2. Suppose g*s + 0*s = 20. Solve s*a + 1 = -11 for a.
-3
Suppose 0 = 5*c - 129 - 156. Suppose -5*j + c = -0*j + 4*m, 2*m + 21 = 3*j. Solve -g + j = 2*g for g.
3
Suppose -3*s = -2 - 4. Let q(k) = -k**3 - 2*k**2 + 3*k. Let p = -2 + -1. Let l be q(p). Solve r = -l*r + s for r.
2
Suppose 20 = 3*i - 10. Let c = -7 + i. Solve -c = -3*l + 3 for l.
2
Let j(s) = 2*s**2 - 4*s - 1. Let q be j(3). Suppose -5 = -5*f - 2*a + q, 4