 = 15*l - 4. Let w be h(4). Let p be (-279)/39 - (-4)/26. Let s be (2/p)/((-4)/w). Solve 2 - s = t for t.
-2
Suppose -4*x = -5 - 47. Suppose -x*u - 200 = -15*u. Suppose 0 = 5*j - j - u. Solve -4*n = n + j for n.
-5
Let t be 8/(-18)*(-12 + -6). Solve -150*n + 152*n = t for n.
4
Let n(r) = -r**2 + 17*r + 15. Let f be n(18). Let i(c) = 4*c - 2. Let b be i(2). Let o = f + b. Solve o*p + 4 = -p for p.
-1
Suppose -2*s = -4*u - u + 15, -4*s - 2*u = -30. Let c(h) = -h**2 - 13*h - 26. Let x be c(-10). Suppose x*z = s*z. Solve 4*m - 1 - 3 = z for m.
1
Let u = 1 + 3. Let i be (1/(5 - u))/1. Solve 0 = v + i + 4 for v.
-5
Let d = -503 + 507. Solve -5*j + d*j = 0 for j.
0
Let z(s) = -s - 4. Let c be z(-7). Let p be c/12 - 21/(-12). Suppose -p*i + n - 5 = 6*n, 1 = -3*i - n. Solve 3 + i = x for x.
3
Suppose 5 - 5 = -6*s. Solve -3*a + 7*a + 20 = s for a.
-5
Suppose 3*r = -3*l - 2 - 4, -3*l - 3 = 4*r. Suppose -2*x - 4 = -3*u - 1, 5*x = 3*u - r. Solve 3*f - 12 = -x*f for f.
4
Suppose -7 = -4*z + 5. Suppose -m + 8 = p - 0*p, -19 = -2*m - z*p. Suppose 63 = m*b + 3. Solve -3*q - b = -6*q for q.
4
Let t(b) = 3*b - 6. Let j be (-4 + 1)/(2 + -3). Suppose -i = -j*i + 6. Let a be t(i). Solve -2*y - 1 = a for y.
-2
Suppose -144 = 13*u - 339. Solve o + u = 17 for o.
2
Suppose 0 = x - 3*y + 65, 3*x + 7*y = 6*y - 195. Let q = x + 65. Solve q = -s + 2*s for s.
0
Let v(r) = -3*r**3 + r**2 + r - 6. Let k be v(2). Let d = k + 29. Solve 24 + 1 = d*f for f.
5
Suppose 0 = -5*t - 24 + 99. Solve 1 + t = 4*j for j.
4
Let c = 27 - -41. Suppose -4*q = -c + 56. Let i = -1 + 3. Solve -i*h - 3 = -q*h for h.
3
Let w = -100 + 103. Let v = -2 + -1. Let q be 0 + -3*2/v. Solve q*t - w = -5 for t.
-1
Suppose 0 = -0*d - 7*d + 70. Let g be (-288)/(-90) - 2/d. Solve 0 = 2*s - g - 5 for s.
4
Let a(h) = -2*h + 5 - 18 - 7. Let q be a(-10). Solve 0 = -5*b - 5 - q for b.
-1
Let r be (-6*3/48)/(17/(-136)). Solve -2*k = r*k + 5 for k.
-1
Let g be 3/(6/46) - 1. Suppose -g = 5*i + 5*m - 2, 2*m = -4*i - 6. Let h = 49 + -48. Solve i + h = 2*z for z.
1
Suppose -94*u + 87*u + 609 = 0. Solve -26*w - u = -217 for w.
5
Let z be 3663/81 + (-2)/9. Suppose -d = 2*j - 37, -3*j + d + z = 6*d. Solve -2*n = 3*n - j for n.
4
Suppose -2*x + 56 = 4*f, 143 - 12 = 5*x + f. Solve 5*y + 1 = x for y.
5
Let k(h) = h**2 + 2. Let f be k(-2). Suppose 0 = -5*p + f + 14. Suppose 0 = 4*r + 12, -m - p*r + 0*r = 8. Solve 0 = m*i + 1 + 11 for i.
-3
Let m(d) = -373*d - 2. Let a be m(2). Let v be (-4)/(-14) + a/(-77). Solve v - 2 = -2*q for q.
-4
Let m = 2 - -8. Suppose 2*f = 4*b - m, 0*b + 3*f = -5*b + 29. Suppose 28 = 5*u + b*a, 6*a - 10 = a. Solve v - u = 3*v for v.
-2
Let q = 9 - 7. Suppose -6 = q*m - 14. Suppose m*y = -3*l + 3, -3*y + 4*l - 5 = -l. Solve -2 = -w - y for w.
2
Let u(k) be the first derivative of -2*k**2 + 3*k + 4. Let s = -15 - -12. Let j be u(s). Solve 4*y - 3 + j = 0 for y.
-3
Let z(a) = -a**3 - 6*a**2 + 6*a - 3. Let g be z(-7). Suppose 0 = i + 4*y - 16, 0 = -4*i + g*y + 24. Solve p = -p + i for p.
4
Suppose -k = -0*k - 4. Suppose -79 + 15 = -k*r. Solve -6 = 2*b - r for b.
5
Let a(p) = -p**3 - 5*p**2 - 5*p - 12. Let z be a(-5). Suppose 0 = -7*w + 2*w + 35. Solve -4*y = z + w for y.
-5
Let x(c) = -c**2 + 23*c + 50. Let t be x(25). Solve -3*s - 13 + 4 = t for s.
-3
Let i = 543 + -536. Solve i*j + 2*j = -18 for j.
-2
Suppose 2*h + 13 = h. Let n(f) = f**2 - 329 + 14*f + 662 - 319. Let o be n(h). Solve 0 = 4*y - 5*y - o for y.
-1
Suppose p = -5*d + 44, 5*d - 2*p + 0*p - 47 = 0. Solve d = 153*l - 156*l for l.
-3
Suppose 25 = w - 2*i, 0*w = -5*w - 2*i + 149. Let z = -7 - -30. Let g = w - z. Solve -3*d = -g*d + 3 for d.
1
Let u = 51 + -43. Suppose -u*m + 10 = -6*m. Solve -m*y + 0 = 5 for y.
-1
Suppose -24*x + 22*x + 2 = 0. Let k be (1 - x)*(-4)/(48/(-4)). Solve k*h = 3*h + 12 for h.
-4
Let y be (-22)/55 - (-710)/25. Solve -y*f + 28 = -35*f for f.
-4
Let u(i) be the third derivative of -i**6/120 - 7*i**5/60 - i**4/3 - 4*i**3/3 - 7*i**2. Let p be u(-6). Solve p + 1 = -o for o.
-5
Suppose 12*w + 12 = -0*w. Suppose 2*b = 3*x - 18, 0 = -x + 2*x - 4*b - 16. Let d = x + w. Solve d*o + 0*o = -15 for o.
-5
Suppose 5*m = 3*m + 6. Suppose m*a - 7*a + 8 = 0. Solve 3*o - a*o - 1 = 0 for o.
1
Suppose 0 = v + 3*v. Suppose 2*h + 2*r = v, 5 = -3*r - 1. Solve 0*a + h*a + 2 = 0 for a.
-1
Let f(t) = -2*t**2 + 2*t - 17. Let r(p) = 3*p**2 - 2*p + 18. Let g(l) = 4*f(l) + 3*r(l). Let k be g(0). Let d = 17 + k. Solve d*i - 10 = i for i.
5
Suppose 0 = 3*w - 4*l + 2*l + 4, 20 = 4*l. Suppose s - 2*u - 12 = 0, 0 = w*s + 3*s + 4*u + 10. Solve -6*b + s*b - 16 = 0 for b.
-4
Let s = -738 + 744. Solve 17*f - s*f + 11 = 0 for f.
-1
Let u be (576/42)/((-2)/(-14)). Suppose 3*b = -9, -j - 33 = -5*b - u. Let c be 27/4 - (-12)/j. Solve k + 3 = c for k.
4
Let j be (3*2/4)/(366/(-4636)). Suppose -2*s + 39 = 3*v, 4*v = -2*s - 19 + 57. Let r = j + s. Solve r*q = -2*q - 16 for q.
-4
Let w be ((-2)/3)/((-31)/279). Solve w*l + 8 = 8*l for l.
4
Suppose 0 = -5*n + 5*g + 30, 4*n + 7 = -2*g + 31. Solve -11 = j - n for j.
-5
Let v be ((-1)/(-1)*-3 - -3)/(-1). Let b be (3/6)/(1/14). Suppose 5*n - 4*n - 3*x = b, 5*n = -x + 19. Solve v = -n*l + l for l.
0
Suppose -4*s + 25 = -a - 0*a, -2*a - 10 = 0. Suppose s = 5*h - 0, -u + 7 = 3*h. Solve u*k + 5 = -15 for k.
-5
Suppose 126 = -9*w + 23*w. Solve w*g - 46 + 10 = 0 for g.
4
Let l = -417 - -424. Solve 8 = l*z - 6 for z.
2
Suppose -3*v - x = -13, 4*v = -v + 2*x + 18. Let t be (-6)/(-3) + (v - 1). Suppose 2*o - 2*a = 7*o - 11, -3*o - t*a = 1. Solve o*i + 5 = -7 for i.
-4
Let u be 88/(-66) + 52/3. Solve 24*f + u = 28*f for f.
4
Let j be -4*3/1 - (-46)/23. Let q(p) = 2*p + 23. Let c be q(j). Solve c*l - 3 = -9 for l.
-2
Let p(n) = 3*n - 27. Suppose -4*w = -q + w - 9, 0 = -2*w + 8. Let l be p(q). Solve -l*j + 2*j = 0 for j.
0
Let k be 0/(-3) + -1 - (4 - 7). Solve -4*h + k*h = -8 for h.
4
Let s = -45 - -49. Suppose -5*m - 7 = -f - 0*f, -s*m = -3*f + 10. Solve q + 1 - f = 0 for q.
1
Let g be (2/14 + 142/(-14))*-6. Let q be 0/(-2 - -1)*20/g. Solve 7*o - 2*o = q for o.
0
Let a = 24 - 14. Suppose 9*z - 10*z - a = 0. Let f = z + 11. Solve -f - 1 = -p for p.
2
Let w = 32 - 41. Let l be 0 - -13 - (w - -12). Solve -3*o + o + l = 0 for o.
5
Let t(s) = -s + 15. Let x be t(-7). Suppose 7*g - x = -4*g. Solve 0 = g*d - 2 + 10 for d.
-4
Suppose -f = 2*l + l - 14, -4*f + 8 = 0. Suppose -3*a + l*z = -6*a + 23, 5*a - 17 = 4*z. Let v(b) = b - 3. Let p be v(a). Solve -p*y = -3*y for y.
0
Let l = -1 + 5. Suppose d - 2 = -l*c, 3*c - 9 = -2*c + 2*d. Suppose -3*q + 4 - c = 0. Solve -z - 2 = q for z.
-3
Suppose a + 2*x = 26, x + 87 = 2*a - 2*x. Suppose -a + 34 = -i. Solve -i*v + 1 = -v for v.
1
Suppose -k + 3 = 1. Let h = k + -2. Suppose 0 = -10*p + 12*p. Solve -5*w + p*w = h for w.
0
Let r(o) be the first derivative of -4*o**2 - 5*o + 9. Let w be r(-2). Solve 4*n + w = 3 for n.
-2
Let p be ((-1)/(-2))/(5/(-360)*1). Let x = p - -42. Solve d = -2*d + x for d.
2
Let k be (-494)/(-14) + (-56)/196. Suppose 39*r - k*r - 48 = 0. Solve 6*p = 3*p - r for p.
-4
Suppose -m + 4*m + 4*v - 17 = 0, -m + 8 = -v. Suppose -2*k - 2*t = -k - 3, -3*k = -5*t + 46. Let h = -4 - k. Solve -h*b + m = 1 for b.
2
Let w(y) = -y**3 + 6*y**2 + y - 1. Let q = 4 + 2. Let h be w(q). Suppose 12*a = 4*a. Solve a = h*l - 12 + 32 for l.
-4
Let l be 4/(-24) - (-25)/6. Solve -l = -15*w + 17*w for w.
-2
Let r(y) = 3*y**3 - y**2 - 7. Let j be r(-3). Let u = j - -118. Solve -u = -5*a - 1 for a.
4
Let c(w) be the second derivative of w**5/20 - w**4/2 + w**3/3 - 9*w**2/2 + 8*w. Let s be c(6). Solve -s*d + 8 = 2 for d.
2
Suppose -4*c + 55 = -3*v, 2*c - 5*v = -2*v + 29. Let w(q) = -q**3 - 7*q**2 - 7*q + 7. Let k be w(-6). Let l = c - k. Solve 2*b + 3 + 3 = l for b.
-3
Let y(n) be the first derivative of n**4/4 + 2*n**3 + n**2/2 + 11*n + 11. Let r be y(-6). Suppose -4*f + 4 + 4 = 0. Solve -r*o - 6 = -f*o for o.
-2
Let p be ((-84)/9)/((-1)/(-3)). Let o = p - -35. Solve -o*u - 20 = -2*u for u.
-4
Let k = -4 - -9. Suppose -4*n + 38 = 5*t, k*t + 2*n - 12 = 22. Solve -l - 4 + t = 0 for l.
2
Let n = -81 - -94. Suppose -2*c + 4*c - 54 = 0. Let f = c + -15. Solve f = 5*d - n for d.
5
Suppose -5*a - 114 = a. Let f = 23 + a. Solve 6 + 2 = -f*k for k.
-2
Let c(s) = 3*s + 23. Let a(w) = w**2 - 14*w + 41. Let m be a