t z(n) = n**2 - 15*n - 1. Let v be z(15). Let c be (-2 - v)/(1/5). Let t(g) = -g**3 - 6*g**2 - 4*g + 7. Let o be t(c). Solve -2*s - o = -3*s for s.
2
Let k(c) = -5*c + 6. Let u = 11 - 13. Let l be k(u). Solve 3*w = -w + l for w.
4
Let g = 31 + -26. Let b = -175 - -183. Solve -g*m + 3*m - b = 0 for m.
-4
Suppose 11*g - 5*g = 0. Suppose -4*k + 15 = v, g*k - 5*k + 5*v + 25 = 0. Suppose 4*h + 52 = 4*s, s - 32 = -2*s - k*h. Solve 5*p + 8 = -s for p.
-4
Let w(b) = 67*b**2 - b**3 - 2*b + b + 0 + 2 - 68*b**2. Let i be w(0). Solve -n = i*n + 15 for n.
-5
Suppose 116 = 5*m - 54. Let l = m - 31. Solve -l - 3 = -2*z for z.
3
Suppose -13*a - 235 + 651 = 0. Solve 11*q - 84 = a*q for q.
-4
Suppose -5*b + 10 = -2*q, 4*b = -0*b - 2*q + 26. Solve 15 = -b*m + m for m.
-5
Suppose -4*h - 8 = y - 5*y, -y = -2*h. Let v = 67 - 64. Suppose -3*b = y*m - 0*b, -v*b - 24 = -4*m. Solve -3*w + 12 = m for w.
3
Suppose 0 = 18*m - 34 - 20. Solve -m*h + 5*h + 4 = 0 for h.
-2
Let q = 31 + -41. Let b = q - -20. Suppose -3*y - 2*y = -b. Solve -6 - y = 2*s for s.
-4
Let f = -238 + 250. Solve -3*y - f = -0*y for y.
-4
Suppose -333 = -25*i - 33. Solve i = -4*b - 2*b for b.
-2
Let j = -87 + 105. Solve j*o = 19*o for o.
0
Let c(s) = -21*s - 6. Let l be c(-1). Suppose -4*v = -3*v. Suppose -m - 3*w = -v*m - l, 0 = -5*w + 15. Solve -x - x = m for x.
-3
Let q be (-1)/(((-1)/(-2))/(14/(-4))). Solve -4*d - 12 = -q*d for d.
4
Suppose 16*o = 7*o + 99. Suppose -44 = -o*r - 11. Solve -r = 3*m + 3 for m.
-2
Suppose 2*v = 32 - 28, 0 = -4*x + 2*v + 1128. Solve 282*b = x*b + 4 for b.
-4
Let z be 3/(-6)*(-10 - 4). Solve 2*c - z = -1 for c.
3
Let v = 29 - 29. Solve v = -4*f + 8*f for f.
0
Let j(t) = -1 + 0*t**3 + t + t**2 + t**3 + 5. Let b be (0/(-2))/(6 - 2). Let n be j(b). Solve n*s - 4 - 16 = 0 for s.
5
Let m = -504 + 524. Solve -m = -7*u + 17*u for u.
-2
Let s(z) = z**3 - 11*z**2 + 3*z - 13. Suppose 2*y = 5*h - 3*y - 75, -2*y = 8. Let p be s(h). Solve -6*r - p = -r for r.
-4
Let p be (-112)/(-16) + 1 + -3. Suppose p*v = v. Solve -y = -1 - v for y.
1
Let x be 174*(55/(-22) + 3). Solve 15*h - x = -27 for h.
4
Let s be ((-33)/4)/((-2)/8). Let r(q) = q + 20. Let h be r(-17). Suppose 3*x = 4*u - s, -h*u + 3*x = -3 - 24. Solve -d = -u*d for d.
0
Let p be (-5 - -1)*5/4. Let b be (72/60)/((-1)/p). Suppose 2*m - h - 4 = 0, 5*m + h = b*h + 5. Solve 0 = 3*n + m for n.
-1
Let g(o) = -o**2 - 17*o - 8. Let p be g(-8). Let i = p - 58. Solve 12 = 2*v - i*v for v.
-3
Let t = 17 + -17. Let c be 1 - t - (-4 + 5). Solve -n + 4*n + 12 = c for n.
-4
Let j(l) = -l**3 + 7*l**2 - 6*l. Let n be j(6). Suppose n = -2*v + 5*v - 3. Solve -3*g = v - 10 for g.
3
Let a(v) = -5*v - 5. Let t(l) = -l - 1. Let u(m) = -a(m) + 4*t(m). Let f be u(3). Solve -3*i + 5 = -f*i for i.
-5
Let k be 5 + 2 + -2 + (2 - 5). Solve k = 4*q - 2 for q.
1
Suppose -7*a = -28 - 28. Solve -a*z + 5*z = 15 for z.
-5
Let v = -80 - -122. Solve -5*n + 17 - v = 0 for n.
-5
Let q be 5/((-3)/15*(-3 + -2)). Solve -q*v = v + 30 for v.
-5
Let p = -325 + 325. Solve g + g + 4 = p for g.
-2
Suppose -2*t = 14 + 58. Let n be (-9)/(-7) + (1 - t/(-28)). Solve -2 = -u + n for u.
3
Suppose -4*d + 8*d = -16. Let l(a) = -a**3 + 3*a - 4. Let w(s) = 2*s**3 - 4*s + 5. Let p(t) = d*w(t) - 5*l(t). Let n be p(-1). Solve -n*f = 3*f for f.
0
Suppose 0 = 4*t, -2*k - 3*t - t = 0. Solve 2*m - 5*m = k for m.
0
Suppose 3*m - 44 = 4*c + 3, 3*c = -4*m - 29. Let k = -7 - c. Suppose -2*q + 4 = -k. Solve -5 = -3*n + q for n.
3
Suppose -f + 13 = -3*j, -3*j = -4*f + j + 28. Solve 21 - 29 = -f*c for c.
2
Suppose 4*d = 4*w + 64, -2*d = -4*w - 39 + 5. Suppose o = -11 + d. Solve o*k - 8 = 8*k for k.
-2
Let u(g) = -6*g**2 + g**3 + 0*g**3 + g + 2 - 8*g - 9*g. Suppose 2*w + 9 = 5*a, 3*a - 55 = -7*w + 2*w. Let h be u(w). Solve -h*o = -5*o for o.
0
Suppose 4*w - 14*g = -18*g + 64, 3*w = -g + 40. Solve -s - w*s + 52 = 0 for s.
4
Let v(k) = 5*k**2 + k - 2. Let r be v(2). Let z(i) = i**3 + 5*i**2 - 6. Let c be z(-5). Let w be (-6 - c) + 6/2. Solve -w*l - l = -r for l.
5
Let a = 56 - 31. Suppose 3*y = -23 - a. Let l = y + 18. Solve -5 = -l*d + 1 for d.
3
Suppose g = 3*k + 10, -4*k = -4*g - 15 + 31. Let j(h) be the third derivative of 7*h**5/60 + h**4/24 - h**2. Let o be j(-1). Solve 0 = -w + o - g for w.
5
Let p(a) = -a**3 + 2*a + 3. Let m be p(-2). Let i(o) = -o + 1. Let f be i(-2). Suppose 3*b - 7 = -2*w, 2*b = w + 10 - f. Solve -b*d - 2 = m for d.
-3
Suppose -3*h + 7 = -5*x - 35, 5*x = -5*h + 30. Suppose 1 = 4*b + h. Let w(t) = 2*t**2 + 3*t + 1. Let j be w(b). Solve i = -2*i - j for i.
-1
Let c be -12 + 8 + 2 - (-7 + -1). Let t = 4 - -1. Suppose -w - t*d = -9, -4*w - 3*d + 4*d + 15 = 0. Solve 2 = -w*x + c for x.
1
Suppose -30 = -8*i + 3*i. Suppose 0 = 3*b - 0 - i. Let n = 4 + -1. Solve 0 = n*s + b*s + 20 for s.
-4
Let g = -98 + 148. Let y = g - 48. Solve y*a + a - 15 = 0 for a.
5
Let m(l) = 6*l - 15. Let x be m(7). Let b = x + -7. Solve 4*c + 0*c = b for c.
5
Suppose -2*c + 2 = u, -2*u + 2*c - 163 = -161. Solve 2*f = -u + 2 for f.
1
Suppose -4*r + 13*r = 18. Suppose 0 = r*b + 5*b - 42. Solve 6*k = 4*k + b for k.
3
Let f(k) = -18*k - 28. Let u be f(-2). Solve -h - u = h for h.
-4
Suppose -h - 4 = -9. Suppose -h*d + 0*x + x + 10 = 0, -2*d + 5*x = -27. Solve 4*y + d + 3 = 0 for y.
-1
Let v = -55 - -23. Let f = -26 - v. Let s be (-8)/1*1/(-2). Solve 2 = -s*w + f for w.
1
Let i = 17 + -14. Let x be 3/((-9)/i) - -3. Suppose -x*p + 6 = -4. Solve -3 = -p*k + 7 for k.
2
Suppose 5*i = -2*u + 122, 3*i = 2*u + 32 - 122. Suppose 30 = u*n - 45*n. Solve -9 = 2*s - n*s for s.
3
Suppose -3*v + f + 6 + 13 = 0, 5*v - 13 = -3*f. Solve -v*a = -4*a - 3 for a.
3
Suppose 3*v - 2*v = 18. Let y(t) = -t + 23. Let h be y(v). Solve 0 = 2*b - 3*b + h for b.
5
Let j = -285 + 287. Solve j = -4*i - 6 for i.
-2
Suppose -5*k - 4*a = 5, a + 3 - 1 = -k. Solve -k*j + 71 = 65 for j.
2
Let l(m) = 2*m**2 - 32*m. Let a be l(17). Solve 3*d + 40 - a = 0 for d.
-2
Let a(b) = -b**2 + 20*b - 84. Let w be a(6). Solve t + 21 - 24 = w for t.
3
Suppose -14*l - 48 + 202 = 0. Solve l + 25 = 9*r for r.
4
Let q(t) = 22*t**2 + 25 - 3*t**3 + 9*t - 12*t**2 + 2*t**3. Let w be q(11). Suppose -5*n - w - 11 = -2*g, -2*g = 3*n + 2. Solve -f = g*f for f.
0
Suppose 455 = -5*n + 4*s, -n + 7*s = 3*s + 75. Let q = 96 + n. Solve q + 7 = -4*t for t.
-2
Let i = 42 - 38. Suppose -25 = i*p - 5. Let o = p - -25. Solve -3*x = x - o for x.
5
Let f(l) be the third derivative of l**4/8 + 15*l**3/2 + 2*l**2 + 12*l. Let y be f(-13). Solve y*u = 5*u for u.
0
Let r(i) = -i**3 - 40*i**2 + 43*i + 93. Let u be r(-41). Solve -u = -8*x - 35 for x.
-3
Let w(r) = -r**2 - 7*r. Let f be w(-4). Suppose 36*d - f = 32*d. Solve -2 = -d*l + 2*l for l.
2
Suppose 67*h + 2 = 68*h. Solve 156*u = 155*u - h for u.
-2
Suppose 0*m - 33 = -m + 5*d, -6 = 2*d. Suppose 0 = 3*v - m + 6. Solve -v*s - s = 20 for s.
-4
Let j = -291 - -295. Suppose -3*x + 4 + 8 = 0. Suppose -5*a = -3*h + x - 49, -18 = -2*a - 2*h. Solve 0 = -a*u + j*u for u.
0
Suppose 0 = -4*w + 3*l + 5, -4*w + l = -0*w - 15. Suppose -3 + 0 = -4*z - w*p, 0 = z - 3*p - 5. Solve -6*h = -z*h for h.
0
Suppose 3*l + 30 = 4*v - 23, 4*l - 32 = -4*v. Suppose 2*o - v = -3. Solve -o*a = -a for a.
0
Suppose 0 = -5*u + 3*o - 11 - 40, 0 = 3*u + 4*o + 48. Let w be u/9*(-60)/(-8). Let p = w + 10. Solve p*y + 16 = 4*y for y.
4
Let m be 0/(3*3/9). Let i = -168 - -174. Solve -2*l = -m*l + i for l.
-3
Let w(r) be the first derivative of r**2 + 49*r - 11. Let n be w(-21). Solve -3*d + 16 = -n*d for d.
-4
Suppose -71 = -4*l + 5*f, -5*f = l - 0*f + 1. Suppose 2*p + 4*b = 32, 0 = -p - 4*b + 8 + l. Solve 5*a + p + 10 = 0 for a.
-4
Let u be (-1 + (-2)/(-2))/1. Let q(m) = 17*m**3 - 748*m**2 + m - 39. Let z be q(44). Solve 20 = -u*w - z*w for w.
-4
Suppose f = -y + 1, 7*f + 40 = 11*f - 5*y. Solve 0 = 4*r - f*r + 4 for r.
4
Suppose 0 = -a + 1, 5*n = a + a - 2. Suppose 3*y + n*y - 24 = 0. Suppose -y*f = -3*f. Solve f*j = 4*j for j.
0
Suppose 0 = 46*i - 50*i + 56. Suppose -2*k - 5*f = -0*k - i, 2*f = -3*k + 10. Let n = 2 + -2. Solve 0 = -n*y - k*y for y.
0
Let s be (0/(4 - 3))/(9/(-9)). Solve 0 = -4*o - s + 8 for o.
2
Suppose 4*j - 35 = r - 6*r, 0 = -2*r - 4*j + 14. Solve -r*v - 8 = -9*v for v.
4
Let w be (-2)/(-3*(-5)/(-2160)). Let u be (w/30 + (-2)/(-5))/2. Solve u + 3 = 4*q