4*k - 6*k + 0 + h. Let r be v(8). Solve -4 = -r*l + 3*l for l.
-4
Let y = 7 + -5. Suppose 0 = h - 5*t - 5, 10 = -3*h + y*t + 90. Let x = -15 + h. Solve -p + x = 2*p for p.
5
Let t = 0 + 10. Let q(u) = -u**2 + 11*u - 8. Let c be q(8). Let g = c - t. Solve 2*x - g*x = 12 for x.
-3
Suppose -150 = -164*q + 154*q. Solve q*m - 9 = 6*m for m.
1
Let v = 9 + -1. Suppose -l - 3*j = -v, 4*l + 18 = -2*j - 0*j. Let f be l/(-7)*(-1 + 1). Solve f*c + 20 = -4*c for c.
-5
Suppose 15*o - 20 = 11*o. Suppose -2*h + 12 = 3*g, -o*g - 3 = -4*h - 1. Suppose 3*m + 4 + 2 = 2*n, -8 = g*n + 4*m. Solve 0*d + 4*d + 16 = n for d.
-4
Let g = 51 - 60. Let x be (-1 + -1)/(42/g - -4). Solve x*z = z for z.
0
Let n be (-342)/450*-5 + 1/5. Solve 2 = n*z + 10 for z.
-2
Suppose 2*f = 454 - 414. Solve 0 = -5*c - 0*c - f for c.
-4
Let y(f) = 5 - 13*f + 11 + 0*f**2 + f**2. Let r = -8 + 20. Let g be y(r). Solve 0 = 3*m + m - g for m.
1
Let x = 55 + -60. Let o = -4 - x. Solve -o = -4*w + 3 for w.
1
Suppose 3 - 11 = -8*h. Solve w + 0*w = h for w.
1
Let a be 259/(-14)*(-1 - 1). Suppose -3*t + 5*t = -4*h + 10, 5*h = 3*t - a. Solve -m + t = -4*m for m.
-3
Let i(x) = 17*x - 130. Let t be i(8). Solve t*u = 5 + 7 for u.
2
Suppose -1 = -3*q + 2*q. Suppose -5*s = -4*o - 2*s - 7, s = 3*o - 1. Let f be -2 - 4*(o + -3). Solve -5 = -f*u - q for u.
2
Let r be (270/(-24))/5 - 1/(-4). Suppose -13 = -2*z - 3. Let n = z + r. Solve -t = -n - 2 for t.
5
Suppose 0 = -2*d + 6*d + 32. Let t = d - -5. Let h be t + (2 + -7)/(-1). Solve -h = -b - 0*b for b.
2
Let r(k) = k**3 - 25*k**2 + 21*k + 77. Let g be r(24). Solve -g*j - 5*j = 20 for j.
-2
Suppose -2*c = -5 + 1. Let n(t) = t**2 - 4*t. Let v be n(5). Suppose 10 = w + 2*m, 3*m = 5*w - 0*m + 15. Solve -v*r + c + 23 = w for r.
5
Suppose -2*q + 3*p = -4*q - 2, 7 = 3*q + 2*p. Let k = q - 2. Solve k*z = -0*z - 6 for z.
-2
Let x(w) = -2*w**2 + 12. Let u be x(7). Let m = u - -90. Solve -m + 1 = 3*t for t.
-1
Let p(m) be the first derivative of -m**4/4 - m**3 - m**2/2 + 3*m - 1. Let g be p(-3). Let y = g + -6. Solve 3*s = -y*s + 9 for s.
3
Let o(s) = -15*s**2 + 14*s - 6. Let c(p) = -7*p**2 + 7*p - 3. Let v(b) = 13*c(b) - 6*o(b). Let h be v(7). Let q = h + 3. Solve q = z + z + 4 for z.
-2
Suppose -3*t - 4*o + 4 = 0, -4*o - 12 + 0 = -t. Suppose -t*b = 12, a + b = -2*a. Solve -4*i = -11 - a for i.
3
Let v(t) = t**3 + t**2 - t + 4. Let u be v(0). Suppose -u = 4*p - 6*p. Solve 0 = l - p - 0 for l.
2
Suppose -100 = -4*a - 5*c + 5, -c = -5. Let l be (234/168 - (-2)/(-14))*a. Solve 6*q = q - l for q.
-5
Let n(l) = -l**2 + 5*l + 3. Let p be n(5). Let q = -339 + 343. Solve i + p - q = 0 for i.
1
Suppose -2*u = 3*s - 5*s, 4*s = -u + 10. Suppose y + s = -4*l - 5, 9 = -3*l. Suppose 3 + 1 = j. Solve j*i = -y + 1 for i.
-1
Suppose r - 10 = -r. Suppose -4 = -f + 9. Suppose r = -2*j + f. Solve 15 = -j*g - g for g.
-3
Suppose -16*n + 60 + 52 = 0. Suppose -3*l + t + 25 = 0, -t = l - n - 8. Solve 0 = -4*c + 2 + l for c.
3
Suppose 0 = -5*m + 9 - 14. Let v be ((-1)/(-2))/(m/(-6)). Solve x + 2 = v for x.
1
Let u be (-4)/(-24) - 17/(-6). Suppose 2*t = -u*t + 15. Suppose -y = t*j - j, y - 3*j = 5. Solve k + 15 = -y*k for k.
-5
Let y(g) = g + 8. Let m = -7 + 2. Let n be y(m). Let t be (23 + -27)/(1/(6/(-4))). Solve -n*f + 9 = -t for f.
5
Suppose -8 = 2*q, 2*q = -h + 5*q + 12. Let m = -6 - -12. Suppose h = -4*w - 2 + m. Solve 0*x = x - w for x.
1
Let o(x) = -x + 19. Let m be o(16). Let s be 0/(m + -6 - -1). Suppose -3*p + 4*u - 12 = s, 0*u + 4*u - 12 = -p. Solve -i - 3 = -p*i for i.
-3
Suppose -4*r + 8 = 3*u - 8, r - 13 = -3*u. Let g be ((-10)/r)/((-15)/30). Let x be 32/20 - (-8)/g. Solve -3*w - x = -4*w for w.
2
Let p(z) = -z**3 - 18*z**2 - 2*z - 35. Let g be p(-18). Solve 14 + g = -5*k for k.
-3
Suppose 3*w + x = 0, 0 = 3*w - 0*w - 4*x. Solve w = 7*a - 3*a for a.
0
Suppose -1 = 3*y - 13. Suppose -p = -o + p + 3, 5*o + 13 = -y*p. Let r be o - -6*6/9. Solve 0 = -4*d + 11 - r for d.
2
Suppose 2*m + 2*k = 2, -2*k - 22 = -5*m - 3. Suppose 3 = -4*a + m*c - 6*c, 3*c = 3*a - 3. Suppose a*f + 2*f - 4 = 0. Solve 0*t = f*t for t.
0
Let p(n) = 3*n - 29. Suppose 0 = 2*u - 3*w - 15, -2*u = -0*w + 3*w - 33. Let v be p(u). Solve 0 = -x + v - 5 for x.
2
Let l be (2 + 3 - 4)*(-1)/(-1). Suppose 0 = -o - 2*p + 11, o - 2*p = -6 + l. Solve 0 = -m - o*m - 20 for m.
-5
Let a = 38 + -18. Let m(l) = l**2 + l - 4. Let n be m(-3). Suppose 1 = -n*q - 2*v - 3*v, -3*v = 3. Solve -7*o = -q*o - a for o.
4
Let b(y) = 11*y - 15. Let f be b(-5). Let g = f - -72. Solve -k = -g*k - 1 for k.
-1
Let a = 334 - 334. Suppose 0*c - 2*c - 4 = 0. Let s be 9 + (1 - (-4)/c). Solve a*b + 4*b = s for b.
2
Let f(d) = -6*d**2 - 310*d + 108. Let j be f(-52). Solve -15*n = -j*n - 22 for n.
2
Let k(l) = 4*l - 3. Let v be ((-2)/(-6))/((-2)/(-18)). Let m be k(v). Let t be (m/6)/(3/8). Solve -t + 0 = c for c.
-4
Let r = 36 + -31. Suppose 8*s = 2*m + 3*s - 79, 0 = -r*m - s + 130. Let h = -24 + m. Solve -2*o + 9 = h for o.
3
Let i = -1 + 1. Let r be (2/6 - i)*-15. Let q(w) = w**3 + 4*w**2 - 6*w - 2. Let x be q(r). Solve -2*o - 5 - x = 0 for o.
-4
Let b(m) = -m**2 + 9*m - 18. Let j be b(5). Solve c - j*c = 0 for c.
0
Let o(q) be the second derivative of -q**3/3 - 15*q**2/2 + 19*q. Let t = 5 + -15. Let h be o(t). Solve h*l - 2*l + 9 = 0 for l.
-3
Let q(z) = z**2 + 1. Let f be q(-1). Let a(u) = 4*u - 4 + 16 + 2*u**2 - 9. Let c be a(-2). Solve -f = j - c for j.
1
Suppose 0 = 13*w - 1353 + 404. Solve -78*h + w*h - 20 = 0 for h.
-4
Let l = 1551 + -1539. Solve -2*i - 14 = l*i for i.
-1
Let g(d) = -d**3 + d**2 - 1. Let p(k) = -k**3 + 4*k**2 - 5*k - 6. Let o(s) = -2*g(s) + p(s). Let c be o(-3). Solve -4*a - 4 = -c*a for a.
-2
Suppose 4 = n - 14. Suppose 4*i = -i + 2*z + n, 0 = 3*i + 2*z - 14. Solve -i = -k - k for k.
2
Let g = 24 + -19. Suppose 0 = g*h - 2*h - 24. Let c(t) = -t + 9. Let q be c(7). Solve 0 = -q*x + h for x.
4
Let t(o) = o**2 - 9*o - 12. Let s be t(13). Let m be (0/(-2))/(10*8/s). Solve m = -2*u - 0 - 8 for u.
-4
Let y be 11 - (-1 - -2 - 6). Solve -44*j = -y*j + 112 for j.
-4
Let h(n) = -n**2 + 6*n - 1. Let v be h(4). Let p = 36 - 32. Solve v = -p*q - 5 for q.
-3
Let f = 1987 + -1982. Solve f*x - 40 + 15 = 0 for x.
5
Let t be 2/11 + (-9)/(-11) + 4. Let a = -16 - -18. Suppose 0 = 2*h + a*m - 12, 0 = m + 5 - 1. Solve -h = -t*f - 0 for f.
2
Let c be (-6 - -14)/(5/10). Solve -3*s - 1 = -c for s.
5
Suppose -20 = -2*k - 2*a, 58*k + 4*a = 61*k - 51. Solve 9*l - k*l + 8 = 0 for l.
2
Suppose 11 = -9*g - 7. Let u be g*4/8 + 1. Solve u*z - 5*z = -5 for z.
1
Let j(b) = 2*b**2 + 14*b - 9. Let m(y) = 3*y**2 + 15*y - 8. Let i(d) = -4*j(d) + 3*m(d). Let a be i(10). Solve 11 - a = 3*f for f.
3
Suppose -7 + 19 = -3*a, 2*a = -4*x + 4. Solve -6*o = -2*o - x*o for o.
0
Let t(o) = -18*o + 327. Let l be t(18). Solve -9*i + l = 3 for i.
0
Suppose 3 - 13 = 5*s. Let u be ((4/(-2))/(-1))/s. Let l be (-5)/((-5)/3) - u. Solve b = -l*b + 25 for b.
5
Let u(r) = -r**3 + 2*r**2 + 14*r + 6. Let w be u(-3). Solve -65 = -4*o - w*o for o.
5
Let x(q) be the third derivative of -q**4/24 - 7*q**3/6 - 13*q**2. Let r be x(-11). Solve -33 = -r*z - 13 for z.
5
Let g(r) = 31*r + 65. Let a be g(-2). Solve 0 = a*x - 11*x + 40 for x.
5
Let d be 91/21 + (-12)/(-18). Solve 0 = 2*q - d*q + 15 for q.
5
Let u(g) = 23*g + 199. Let w be u(-8). Solve w*q = -0*q for q.
0
Let h be (-1 - 0)/((-1)/(-2)). Let v be 4 - (-3)/(3/h). Let j be 6/v - (0 - 0). Solve 1 + j = 2*d for d.
2
Let m(u) = -8*u + 176. Let b be m(23). Suppose -5*n = 4*k - 15, 5*n - n + 2*k - 18 = 0. Let p be (28/b)/n*0. Solve p = -y + 5*y + 4 for y.
-1
Let w be (6/(-15))/(9/45). Let c be (-7 + 6)/(-1 + (-1)/w). Solve c*v = 5*v - 15 for v.
5
Let x be (-6)/(-4)*2/3. Let d be 2/(-3)*(-1 + -2). Suppose -m + 2 = d*j + j, 0 = -2*m - 8. Solve -3*g + x = -j for g.
1
Let u = -3 - -4. Suppose s + u = -5*p + 2*s, 4*p - 5 = -5*s. Suppose 28 = 4*o + 4*j, 2*j = o + j - 5. Solve 3*h + o = -p*h for h.
-2
Suppose -3*y = 2*l - 12, -22 = -l - 3*l - 5*y. Let c(a) = 2*a - 2. Let t be c(8). Suppose -4*m + 74 - t = 0. Solve 4*u - l = -m for u.
-3
Let y(s) = 13*s - 39. Let d be y(3). Solve 5*w - 10 + 5 = d for w.
1
Let b(h) = -3*h**3 + 2*h**2 - 17*h - 46. Let u be b(-2). Solve 135 = 23*d + u for d.
5
Let k(r) = r**2 - r - 1. Let z be k(3). Suppose -5*h - 34