4 - h = 0 for i.
-3
Let l be ((-6)/5)/(12/520). Let i = l - -56. Solve i*k + 3 = -1 for k.
-1
Suppose -8*v - 156 = -5*v. Let h = v + 53. Solve h = 4*j - 3 for j.
1
Suppose 3 = -2*q + 3*g, 2*q + 67*g - 68*g = 7. Solve 7*p - 1 = q*p for p.
1
Suppose 2 = 3*i + 2*t, 2*i - i - 3 = -3*t. Solve i = q + 2*q - 6*q for q.
0
Suppose -18*c - 48 = -22*c. Suppose 0*m - 3*m = -c. Suppose 2*k = k. Solve -v - m + 1 = k for v.
-3
Let v = 104 - 67. Let r = v + -33. Let w = 3 + -1. Solve r*h + w = -2 for h.
-1
Suppose 3*z + 3*l + 168 = 0, 52 + 180 = -4*z + 4*l. Let y = -52 - z. Solve -6*n = -n + y for n.
-1
Let o(s) = s**3 - 6*s**2 + 12*s - 13. Let b be o(4). Let j(w) = w + 3. Let z be j(-6). Let v = z - -5. Solve v*c = b*c for c.
0
Let j(s) = 0*s + 3*s + 4 + s**2 + 5*s + 7*s. Suppose -3*z + 4 = 49. Let q be j(z). Solve y + q = -y for y.
-2
Let v(h) = -8*h + 132. Let z be v(16). Solve 4*p - 16 = -z*p for p.
2
Let o = -2735 - -2750. Solve -o*y = -35*y + 20 for y.
1
Let f(h) = h**3 - h**2 + h - 1. Let i be f(2). Suppose 0 = -n - i + 6. Suppose s + z = 3, 4*s + z - n = 2. Solve -3*c + 2 + 1 = s for c.
1
Let p = -665 + 690. Solve -96 = -p*i - 21 for i.
3
Suppose -n = -5*n + 3*i + 17, i - 29 = -3*n. Let x = -206 + 208. Suppose 0 = n*f - 7*f - x. Solve -6*d + 16 = -f*d for d.
4
Let t be (52/(-130))/(2/30). Let j = 3 - -3. Let m = j + t. Solve m = -c - 0 - 1 for c.
-1
Let j(q) = -q**2 + 12*q - 12. Let y be j(10). Solve -y*o + 0*o - 32 = 0 for o.
-4
Let y be (7/3)/((-2)/6). Let p be (-2 + 3)*y/(-1). Let s be (2 - (p + -4))*-3. Solve -2*j + 25 = s*j for j.
5
Let c(s) = s**3 + 3*s**2 + 2*s + 9. Let h be c(-3). Solve 12 = -0*p + h*p for p.
4
Suppose 3*h + 2*a = 40, -2*h + 15*a - 16*a + 27 = 0. Solve 0 = -10*j + h*j + 8 for j.
-2
Let t = 448 + -438. Solve -2*i - t = -4 for i.
-3
Let m = -136 + 139. Solve -6*v - m*v + 27 = 0 for v.
3
Suppose -5*w - 5 = 3*t, -w + 4 = 5. Suppose t = -10*r + 16*r. Solve h + 2 - 5 = r for h.
3
Suppose 3*o - 31 = 11. Let u = o - 11. Solve -i = -u*i for i.
0
Suppose 11*j - 23*j = -72. Solve -4 = j*s - 16 for s.
2
Suppose -5*d - 5*u = -u - 6, -5*d + 2*u + 12 = 0. Suppose -3*s + 5 = 2*s. Let f = s + 3. Solve -6*r + f*r - d = 0 for r.
-1
Suppose 208*h = 202*h + 72. Solve 0 = -19*y + h*y - 7 for y.
-1
Suppose -a = 2*h - 6, -4*a - 2*h + 11 = -7. Let v be 30/a + 6/4. Solve -3*s = v - 0 for s.
-3
Suppose -3*r + 48 = -0*r. Suppose -4*d = -0*w - 2*w - r, -2*d = -5*w - 40. Let a = -3 - w. Solve a*h + 3 = -17 for h.
-4
Let i = -92 - -93. Solve -4*b + 9 - i = 0 for b.
2
Let x = -56 - -29. Let c = -19 - x. Solve o = -3*o - c for o.
-2
Suppose -c - 15 = 2*c - 5*b, -c - 4*b = -12. Solve 0 = u - c*u - 3*u for u.
0
Let b(u) = -u**2 + 12*u - 13. Let v be b(9). Solve 0 = 4*q - 2 - v for q.
4
Suppose -8 = 2*z + 5*u, -1 = -5*z - 5*u - 6. Suppose f + 2*f + 6 = 0. Let i = f + 4. Solve d = i + z for d.
3
Suppose 0 = r + 3*b - 0*b - 2, 0 = 3*r + 5*b - 18. Let o be ((-75)/(-20))/((-9)/(-12)). Solve -14 - r = o*p for p.
-5
Suppose -5*t + 32 - 2 = 0. Let d be ((-9)/(-12))/(t/32). Solve d*y = y for y.
0
Let g be (-240)/(6 + -12 + 4). Solve -2*d - 118 + g = 0 for d.
1
Let h = -72 - -82. Let b(j) be the third derivative of j**5/60 - 11*j**4/24 + 5*j**3/3 + 2*j**2. Let f be b(h). Solve f = -y + 2 + 1 for y.
3
Let o(n) = n + 23. Let h be o(-13). Suppose 12*f - 38 = h. Solve 0 = 2*x - f - 6 for x.
5
Let x(t) = t - 9. Let y be x(5). Let j be 0*(8 + y)/(-8). Solve 3*r + 5 - 2 = j for r.
-1
Let z = -1 + 18. Solve 0 = 6*q - 1 - z for q.
3
Suppose -5*n + 2*g + 133 = 0, 2*n - 3*g + 0*g = 62. Let h be n/8 + (-8)/64. Solve 0 = r + h*r for r.
0
Let d = 379 - 379. Solve d = 7*r + 8 + 6 for r.
-2
Suppose -5*s = 31 - 11. Let n be s/(-10) - 28/(-5). Let k be (-48)/(-18)*n/4. Solve 0 = -j - k for j.
-4
Let z(w) = w**2 + 8*w. Let u be z(-8). Suppose -2*y - 3*h + 2 = -u*y, 5*h = -4*y + 6. Suppose -y = k - 9. Solve k*p - 17 = -2 for p.
3
Let p be (-13 - -2)*-1 + -3. Suppose 3*o - 18 + 6 = 0. Solve 8*t - o*t = -p for t.
-2
Let i(f) = 15*f**2 + f - 7. Let v(l) = -7*l**2 - l + 3. Let y(o) = -6*i(o) - 13*v(o). Let u be y(-5). Let t = u - -13. Solve -8 = -2*w + t*w for w.
-2
Let d be 2 + (-7)/1*-2. Suppose 0 = -3*j + 2*s + 1 + 10, d = 2*j + 3*s. Let h(n) = -n**3 + 8*n**2 - 29*n + 102. Let b be h(6). Solve b = -j*o - 17 + 2 for o.
-3
Let q be 59/5 - (273/35 + -8). Solve 3*d - q = 6*d for d.
-4
Let i = 9 + -2. Let n(p) = p**2 - 6*p - 5. Let v be n(i). Suppose 4*q = -3*j - 11, 4*q = v*j + 2*q - 16. Solve j*b = 2*b for b.
0
Let q = -19 + 39. Suppose -q = -8*k + 4*k. Solve 3*n - k = -20 for n.
-5
Let r be (-24)/18*(1 + 2*-2). Suppose 0 = -b + 2*c - 6, -b - c = r*b - 3. Solve -g = -b + 3 for g.
-3
Let o(q) = q**3 - q**2 - 3*q + 3. Let s be o(3). Suppose p = 3*p, 0 = 4*c + 2*p - s. Suppose c*a = -2*a + 20. Solve -a*f = f - 10 for f.
2
Let g = -100 + 104. Suppose g*m - v + 2*v - 8 = 0, 10 = 5*m - 5*v. Let u(f) = -f**3 + 5*f**2 + f + 2. Let k be u(5). Solve k*o = m*o + 25 for o.
5
Let n(z) = z**2 - 6*z + 8. Suppose -8*y + 3*y + 27 = 4*s, -4*y - 4*s + 24 = 0. Suppose y*b - 14 = b. Let r be n(b). Solve r = -2*j - j for j.
-5
Suppose 21*r = 23*r. Suppose r = 34*g - 37*g + 6. Let t(n) = n**2 + n. Let f be t(-1). Solve f*k = g*k for k.
0
Suppose 45 = 9*g + 18. Let b be 34/4 - 2/4. Let z = 7 + 0. Solve -z*o = -g*o - b for o.
2
Let u = 26 + -11. Suppose 2*n + n = u. Let g = 8 - n. Solve -1 + 7 = g*i for i.
2
Suppose -398*r = -385*r - 520. Solve r*b - 37*b = 0 for b.
0
Suppose 4*b = j - 10, 5*b = -20*j + 18*j - 6. Let u(n) = -n. Let x be u(-1). Let k be 1/(x/4)*1. Solve -k = 3*t + j for t.
-2
Let l = -1 + 5. Let b(a) = -a**3 + 19*a**2 + a - 19. Let q be b(19). Solve i = l - q for i.
4
Let t(r) be the second derivative of r**4/12 - r**3/3 + r. Suppose 0*a = -a + 5. Let u be t(a). Solve 4*v + 5 + u = 0 for v.
-5
Suppose -6*i + 12 = -3*i. Suppose -3*r - i*l = 6, 3*r = l - 3*l. Let o = r + 0. Solve 0 = o*h - h for h.
0
Let p = 23 - 15. Let l be (-2)/((p/4)/(-2)). Solve 9 = -l*g - 1 for g.
-5
Let d = -7 + 10. Let p(s) = -s**2 + 6*s - 7. Let k be p(d). Suppose -k*b = 2*o + 1 - 7, b = 2*o. Solve -4*w - b + 14 = 0 for w.
3
Let a(p) = 2*p**2 - 7*p + 7. Suppose 3*f - f + 8 = w, -2*f = 4*w - 12. Let n be a(w). Suppose 0 = 4*r + r - 20. Solve 0 = r*k - 1 - n for k.
3
Let m be (-1)/(-4) + 0 - 22/(-8). Solve -m*w = w for w.
0
Suppose f - 4*s = -3*f + 12, 0 = 3*s - 9. Suppose 3*y - 2*y = -2*i - f, -4*i - 8 = 3*y. Suppose 1 + 59 = y*u. Solve -u = 3*l + 2*l for l.
-3
Let b = -18 - -18. Suppose -5*d - 25 = 0, b*d - 3 = r + d. Solve 2*x + 4 - r = 0 for x.
-1
Let p(t) = -t**3 - 6*t**2 - 4*t - 11. Let z be p(-5). Let n = 22 + z. Let m be -1 + 1*(-1 + 2). Solve n + m = 2*q for q.
3
Let h = -310 - -315. Solve 0*y + h*y - 15 = 0 for y.
3
Let c = -10 + 20. Let t be 43/5 + 4/c. Let r(i) = -12*i - 115. Let s be r(-10). Solve -s*p + t = 34 for p.
-5
Let p = -72 - -75. Let b be -30*(-4)/(-30)*3. Let n be (-50)/b - (-3)/(-18). Solve p*q + 5 = -n for q.
-3
Let o(x) = -24*x - 107. Let f be o(-5). Solve f*t + 1 = 14*t for t.
1
Let b(d) = -d**2 - 2*d. Let v be b(-2). Solve v = -4*z + 6*z for z.
0
Let l be ((-24)/32)/((-1)/24). Let s = l - 14. Suppose -4*y = s*i - 4, -i = -4*y - 7 + 16. Solve -3*w = -y*w + 1 for w.
-1
Let x be ((-22)/6)/(4/(-12)). Solve 3*k - x = 1 for k.
4
Let m(s) = -38*s**3 + 3*s**2 + 4*s + 2. Let c be m(-1). Let n = c - 37. Solve -n*r = -0 + 4 for r.
-2
Let p(x) = -6*x**3 - x**2 + 2*x + 4. Let h be p(-1). Let j = 3 + -1. Suppose -4*w = -3*q + h, 2*q = 3*w + j*w. Solve 0*r = -r + q for r.
5
Let q be (-6)/(-21) - (-52)/14. Suppose 2*l - 4*w - 18 = 0, 0 = 3*w - q + 13. Solve l*h - 10 = -1 for h.
3
Let k(o) = o + 4. Suppose -5*m + 13 - 33 = 0. Let j be k(m). Suppose -4*f - 2*v + 30 = j, 3*f - 2*f - 2*v = -5. Solve -f*w + 20 = -w for w.
5
Suppose c = -4*j - 4, 0*c = -c + 3*j + 10. Suppose 4*t = -u + 1, -2*t - 3*u + c = u. Solve 2*s - 6 = -t*s for s.
3
Let a be ((-3)/(3/(-2)))/(-2). Let d = a - -4. Let g be -7 + 4 - -1*d. Solve -j = 1 - g for j.
-1
Suppose 0 = 4*n - 26 + 98. Let f = 24 + n. Solve 6 + f = 3*q for q.
4
Suppose -42 = -0*o + o. Let t = -36 - o. Solve -c + t = 2 for c.
4
Suppose i = -4*l, i = -5*l - 3 + 2. Let k be 966/2576*8/1. Solve k = i*j + 7 for j.
-1
Suppose 18 = 5*x + 5*t + 3, 3*t = 5*x - 23. Let y be (7 - 3)/4*0 + 