Solve l*t = t + 5 for t.
5
Let u(s) = s**2 - 27*s + 45. Let x be u(26). Let g = 29 - x. Solve 3*r + g - 1 = 0 for r.
-3
Suppose 2*d = -10, -4*o - 4*d - 23 = -3*o. Let c = o + 3. Solve c*b + 4*b + 20 = 0 for b.
-5
Let f = -653 - -653. Solve f = 4*j + 1 + 7 for j.
-2
Let y = 292 + -283. Solve -2*k = -y*k - 14 for k.
-2
Let x be (-252)/(-15) - (-12)/(-15). Let y = x - 8. Suppose -5*r = 4*o + y, -2*o + 0 = 4. Solve -h - 4*h = r for h.
0
Let t(n) = n**3 - 18*n**2 + n - 15. Let o be (-36)/14*4/(4/(-7)). Let m be t(o). Solve m*s - 12 = -0*s for s.
4
Suppose -5*f + 2*r = -r - 39, 0 = 6*r + 18. Solve 0 = 4*b - f*b - 6 for b.
-3
Suppose -5 = w, 2*j + 47 = 5*w - 8. Let t be (11/44)/((-2)/j). Suppose t*g + 16 = -4*p + g, -g = 4. Solve -5*d - 25 = -p*d for d.
-5
Let z be 4 + (1 - 2) + 0. Suppose -b = -z*p + 2*b + 54, -5*p = -4*b - 90. Suppose 2*l = -4*d + p, -d - 2 = -6. Solve s + 1 = -l for s.
-2
Let c be (3/2)/(1/4). Let x(t) = t**3 - t**2 + t - 3. Let y be x(2). Suppose 0 = 4*r - 3*p - 0*p - 9, -y*r + 14 = 5*p. Solve -r*d + c*d - 3 = 0 for d.
1
Suppose -4*s - 2*j + 12 = 2*j, -2*s + 3*j + 21 = 0. Let n = 0 + 0. Suppose n = -s*k + 4*k. Solve 0*c + 4*c - 16 = k for c.
4
Let d(w) = 6*w**3 + 59*w**2 - 11*w + 13. Let u be d(-10). Solve -15*g = -u*g + 8 for g.
1
Let a = 15 - 10. Suppose -w = -2*w - a*v - 5, w + v + 1 = 0. Let g(f) = -f**2 - 5*f - 1. Let r be g(-2). Solve w = i - r*i - 8 for i.
-2
Let u(k) = -k**3 + 5*k**2 - 3*k - 1. Let t(s) = -s**3 - 19*s**2 - 19*s - 14. Let y be t(-18). Let f be u(y). Solve 3 + 0 = -f*n for n.
-1
Let b be (-8)/(-6)*-1*6. Let t(r) = r + 13. Let p be t(b). Suppose -q + 0*q = p, 3*d - 5*q - 70 = 0. Solve 9*u - 4*u + d = 0 for u.
-3
Let p be 0/(8 + -6) + 2 + 8. Solve -8*o = -3*o + p for o.
-2
Let n = -1639 + 1645. Solve 0 = n*c - 3 - 27 for c.
5
Suppose -21 = -25*b + 4. Solve 12*a = 13*a - b for a.
1
Suppose 2*t + 17*i = 21*i + 74, -4*t + 2*i + 118 = 0. Solve 67*f = 58*f + t for f.
3
Suppose -2*b + 15 = 3*b. Suppose v = -q - 4 + 11, 0 = 3*v - 15. Solve b*i - 15 = -q*i for i.
3
Let q(z) = -2*z**2 + 19*z + 10. Suppose 35 = 5*f - 5*i, 3*f - 16 = 5*i - 1. Let n be q(f). Solve n = r + 4*r + 25 for r.
-5
Suppose 2*r + 0*r = -3*q - 95, 0 = 2*q - r + 54. Let x = -28 - q. Let t be 0 + 7 + (0 - x). Solve t + 10 = -4*f for f.
-4
Suppose -9*m + 3*f = -5*m - 74, -4*f = -2*m + 42. Solve -m*a + 5 = -29 for a.
2
Let u = 26 - 29. Let x = 17 - u. Solve -f = 4*f + x for f.
-4
Let c = 81 - 80. Let h be -4 - 36/(c + -3). Solve 4*n - 6 = h for n.
5
Let h(d) = d + 5. Let m be h(-5). Suppose -k + 0 + 6 = m. Solve -k*f + 3*f = -12 for f.
4
Let y be (3 - 27/6 - -1)*-4. Solve 11*k = 12*k + y for k.
-2
Let t be (-2 - 8/(-4))/(-2). Suppose 4*d = 5*x - 12, t = -4*x - 2*d - 4 - 2. Let z be (4 - -3)/(1 - x). Solve m = 3 - z for m.
-4
Suppose 7 + 8 = 2*z + k, -3*z = -2*k - 5. Suppose 20 = z*r, -r + 5 + 8 = 3*u. Solve u*j + 5 + 4 = 0 for j.
-3
Suppose -x - 22 = 4*z + 34, -z + 31 = -x. Let i = -36 - x. Solve j = -i*j + 1 for j.
1
Let i(f) = 2*f**2 - 11*f + 7. Suppose -11 = b + 4*s, 5*b + 8 = s + 37. Let u be i(b). Solve -u*j = -0*j + 10 for j.
-5
Suppose 3*c = 2*c + 2. Let a = 1169 - 1169. Solve -c*m = -a*m for m.
0
Let d be (4/(-6))/((-65)/30 - -2). Suppose -d*j - 2*j = -30. Solve 0 = 4*k - 1 + j for k.
-1
Let d = 29 - -6. Let i = 37 - d. Solve i*t + 16 = -2*t for t.
-4
Suppose 0 = r + 5*s - s - 23, -r - s = -8. Solve 8 = -r*h - 4 for h.
-4
Let y(m) = -2*m**2 + 62*m + 4. Let z be y(31). Suppose 4*b = 4 + 4. Solve 0 = -z*f + 2 + b for f.
1
Let w(g) = -g - 7. Let m be w(-6). Let r = m - -3. Let o be (1 + 60/(-40))/((-1)/16). Solve -r = 2*d + o for d.
-5
Suppose -3*b + 4*b + 66 = -5*v, 0 = b + 3*v + 56. Let l = -16 - b. Solve 7*o = 2*o - l for o.
-5
Suppose 21*t - 187 = 128. Solve -t = -0*f - 5*f for f.
3
Suppose 4*y + 42 = m, -4*m + m + 110 = 4*y. Let b = m + -82. Let s = 69 + b. Solve -2*a - s = 3*a for a.
-5
Let c = 38 + -13. Let g(s) = 4*s - 2. Let l be g(5). Let n(y) = -y + 24. Let p be n(l). Solve -x = -p*x + c for x.
5
Let m(s) be the third derivative of s**4/24 + s**3/3 - s**2. Let p be m(-4). Let t be (-1)/p*(1 - 1). Solve t = -i - 4 + 7 for i.
3
Suppose 0 = 8*d - 4*d + 2*u - 10, -4*u = 3*d. Solve 0 = d*o - o for o.
0
Suppose -t + 4*t = -18. Let f be (-16)/(-20)*(-15)/t. Suppose -3*v - 2*v = -f*b + 19, 0 = -4*b - 2*v + 2. Solve k - b = 2 for k.
4
Suppose 1 + 15 = 4*g - 4*h, -3*g - 5*h = 4. Suppose -g*p = -0 - 4. Solve -2*x - p*x = 0 for x.
0
Suppose 21*a - 2*l = 16*a + 52, 2 = -2*l. Solve 8*d - a*d + 4 = 0 for d.
2
Suppose 2*b = 3*x - 6, 5*b = -2*x + x + 2. Solve x = 3*a - 1 for a.
1
Let j be 15/(-5*4/(-20)). Solve 19*g - 4 = j*g for g.
1
Let w(a) = -2*a**2 - a + 1. Let g be w(0). Suppose 3*s = -5*i + g, 5*s - 9 = -0*s - i. Solve -s*b = 7 - 1 for b.
-3
Let f(n) = 18*n + 77. Let t(m) = -8*m - 38. Let v(y) = -2*f(y) - 5*t(y). Let l be v(-7). Solve -3*o + l = -o for o.
4
Let o(i) be the first derivative of -i**2 - 3*i - 42. Let r = 1 - 4. Let f be o(r). Solve -2*z - f*z - 10 = 0 for z.
-2
Let u(s) = s + 17. Let x be u(-13). Let j be (18/x)/((-6)/(-8)). Solve 0 = 5*f + j + 19 for f.
-5
Let j = 605 + -590. Solve j*c = 7*c - 8 for c.
-1
Let w = 26 - 6. Let k = -13 + w. Let r = -4 + k. Solve 3*t + 0 = -r for t.
-1
Let d = 66 - 33. Let o = -28 + d. Suppose 0 = h - 5*k - 9, 4*h = -0*h + o*k + 21. Solve -h*u = u for u.
0
Let p be (-3)/(-15) - (-314)/5. Suppose 2*x + 7*x = p. Solve -5 = 3*h + x for h.
-4
Let h(d) = -d**2 - 9*d - 13. Let b be h(-6). Solve -8 = b*s - 3 for s.
-1
Suppose -328*t + 15*t + 276 + 350 = 0. Suppose -3*s - 20 = -4*s - 3*q, -q = s - 10. Solve -s*h + t*h = -3 for h.
1
Suppose -24*o + 31*o = 28. Let g be (-158)/(-22) + 2/(-11). Solve 27 = o*j + g for j.
5
Let f be 3/(-6)*14*-1. Let q(a) = -a - 1. Let n be q(f). Let k = n + 12. Solve -8 - k = -3*d for d.
4
Let i(l) = 2*l**2 + 56*l - 173. Let g be i(-31). Solve s - g = -8 for s.
5
Let w(h) = h**3 + 4*h**2 - 6*h - 4. Let o be w(-4). Solve 3*b - 7*b + o = 0 for b.
5
Suppose -4251*m - 252 = -4253*m. Solve -120 = -2*o - m for o.
-3
Suppose 4*t - 7*t + 177 = 0. Suppose 0 = 4*x + t - 79. Solve 2*m + x + 3 = 0 for m.
-4
Suppose 2*o + 81 = 11*o. Solve 5*w - o + 4 = 0 for w.
1
Suppose 0*y = 2*y. Suppose y = -d + 4 + 10. Suppose 0 = 5*z - 4*l - 151 + 1, -3*l = -5*z + 155. Solve 4*i = -d + z for i.
5
Suppose -5*k + 220 = 70. Solve 4*d + 11*d + k = 0 for d.
-2
Suppose s + 3*s = 68. Let w be (-2)/6 + (-3725)/75. Let l = w - -52. Solve l*t - 7 = -s for t.
-5
Let y be 1/(-7) - (-435)/203. Solve -y*l + 6*l - 16 = 0 for l.
4
Let b = 0 + 2. Suppose b*p + 2*p = 0. Suppose 5 = g - p. Solve g*w = 4 + 6 for w.
2
Suppose -14 - 61 = 5*t. Let s = -13 - t. Suppose 0 = -d - 0*d + 3, 5*x - 24 = s*d. Solve -2*v - 2 = -x for v.
2
Suppose r = -y + 11 - 3, -4*r - y + 23 = 0. Solve 22 = -r*g - 3 for g.
-5
Let h(o) = -o - o - 1 + 3*o - 2*o. Let i be h(-4). Suppose z = l, -6*z + z + 30 = l. Solve -i*q = -l - 1 for q.
2
Let y(x) = x + x - 3 - 3*x. Let d be y(-5). Suppose 3*n - 61 = -2*s - 42, 5*n + 3 = s. Solve d*m = -2*m - s for m.
-2
Let j be (0 - (-21)/3) + 4. Suppose -z = j*z. Solve -9*p + 7*p = z for p.
0
Let q be (10/(-35))/((10/14)/(-5)). Suppose -3 = -y - 0. Suppose -q*o + 7 = y. Solve -4*g - o = 14 for g.
-4
Suppose -103 = 2*j - 17. Let i = j + 54. Solve 3*r - i = 1 for r.
4
Let t be ((15/2)/(-5))/(17/(-34)). Let c(z) = -z**2 - 8*z - 5. Let g be c(-7). Solve t*k - 3 = g*k for k.
3
Let l = -31 + 17. Let o be l/(-2) - (-3 - -7). Solve -2*z - 5 = -o*z for z.
5
Suppose -4*j = 3*j + 14. Let v be 68/32 - j/(-16). Suppose -3*x - 2*x - v*q = -120, -57 = -2*x + q. Solve 5*b = -x + 1 for b.
-5
Let q(h) = 2*h**2 + 13*h - 57. Let p be q(4). Solve -25*j - 4 = -p*j for j.
2
Let a(l) = 2*l**2 - 87*l - 24. Let n be a(44). Solve 4*i - 12 = -n for i.
-2
Let s(v) = -2*v**2 + v + 0*v + 14 - 6*v + 3*v**2. Let j be s(3). Solve j*d - 3*d = 15 for d.
3
Let m(z) be the third derivative of z**5/60 + z**4/12 - z**2. Let x be m(-3). Suppose x*q - 2 = 2*q. Solve 8 = -2*k + q for k.
-3
Let w be ((-10)/3)/(4/(-6)). Suppose 3*a - 2 = w*q - 0*q, 2*a = -q + 10. Let h be 0/(-4 - 3/(-3)). Solve 6*x - q*x - 20 = h for x.
5
Suppose -18 = -731*j + 729*j. Solve 3 + 6 = -j*h for h.
-1
Let f(n) = -6*n + 4. Let l(p) = -3*p + 2. Let m(h) = 3*f(h) - 7*l(h). Let k 