Let l be u(0). Solve 5*i = l - 7 for i.
4
Let o(c) = c - 1. Suppose 3*d + 3*u + 8 - 20 = 0, 14 = d + 3*u. Let j = d - -2. Let m be o(j). Solve 8 + m = 4*v for v.
2
Let d be (-114)/19*(-5)/15. Solve 1 = d*j - 1 for j.
1
Suppose -5*a + 3*a - 6 = 5*l, a - 12 = 5*l. Let p(d) = 7*d - 369. Let n be p(53). Solve -n*c = a - 10 for c.
4
Let g be 18/12 + 6/4. Let k = 20 - 11. Solve -g = -4*l + k for l.
3
Suppose 6*w - 2*o = 4*w + 36, 40 = 2*w + 2*o. Solve 2 = -7*g - w for g.
-3
Let q(t) = 3*t**3. Let w be q(-1). Let i be ((-24)/16)/(w/(-8)). Let r = -3 - i. Solve 2*h = -r - 1 for h.
-1
Let a(o) = 10*o + 150. Let y be a(-15). Solve 15*u - 8*u - 21 = y for u.
3
Suppose 4 = z, -q + 2*z = 3*q + 4. Let k be 5/((-15)/(-9)) - 19. Let n be (-1)/(1/4*(-18 - k)). Solve n*t = -q - 7 for t.
-4
Let i be -1 + (-180)/(-25) - 1/5. Solve o - i*o = 15 for o.
-3
Let b(y) = -5*y - 10. Suppose 2*j + r + 1 = 4*r, -r + 5 = -3*j. Let v be b(j). Solve t + v = -4 for t.
-4
Let f(x) = 110*x + 686. Let b be f(-6). Solve b*t + 5 = 27*t for t.
5
Suppose 11 = h - 3*n + 4*n, -4*h + 54 = 2*n. Let g(t) = -t**3 + 16*t**2 + 5*t + 8. Let p be g(h). Let c be (-2)/5 + p/20. Solve -c*b = -0*b for b.
0
Let s be ((-2)/1 + 0)/(-2). Let o be ((-6)/18)/(s/(-6)). Let i(l) = -l**2 + 7*l + 8. Let n be i(8). Solve n = -a + 2*a - o for a.
2
Let u(q) be the third derivative of q**7/1680 - q**6/48 + q**5/15 - 6*q**2. Let c(t) be the third derivative of u(t). Let g be c(6). Solve -f + 12 = g*f for f.
3
Let v(r) = 4*r**2 - 18*r - 1. Let s be v(5). Solve 4*o - s = 3 for o.
3
Let j(n) = -n**3 + 3*n**2 - 14*n + 24. Let m be j(2). Solve -2*c + m*c = 10 for c.
-5
Let y be 10/4*(-1 + (-9)/(-5)). Let q(m) = m**2 - 7*m - 13. Let d be q(9). Suppose 5*z + 4*r - 25 - 3 = 0, -5*r = -d*z + 55. Solve z = -0*b - y*b for b.
-4
Let z(h) = -4*h - 4 + 13 - 1. Let d be z(10). Let o = d - -33. Solve 0 = 3*l - 7 + o for l.
2
Suppose -185 = 5*b - 205. Suppose -3*w - b*t + 7 + 9 = 0, 5*w = 2*t + 18. Solve -2*s - w = -6 for s.
1
Let x = 1120 + -1095. Solve -25*w + 20*w - x = 0 for w.
-5
Let u be 18/(-10) + 1 + 572/65. Solve 0 = -u*q - 8 - 16 for q.
-3
Suppose 2*n - 1 = -z, 3*n - 13 = -4*z - 4. Solve 6 = -z*q - 9 for q.
-5
Let i = -800 + 815. Solve 0 = -20*t + 25*t + i for t.
-3
Suppose 4*n - u - 17 = 0, -3*u = -0*n - 4*n + 27. Solve 0 = -n*t + 4*t - 4 for t.
4
Let b(g) = -5*g - 6. Let p be b(-4). Let y = 16 - p. Let h(x) = x**2 - x - 2. Let k be h(y). Solve 0*w + 5*w = k for w.
0
Let w = 103 - 55. Suppose -3*c + w = 4*n, c - n = n + 6. Solve 4*j - j = c for j.
4
Let d = -25 - -32. Suppose -d*g - 4 = -8*g. Solve g = u + 2 for u.
2
Suppose 15*l - 12*l - 15 = 0. Solve -17 = 4*t - l for t.
-3
Let n = 2 - -33. Suppose 3*m + 2*m = n. Solve 2*z = 15 - m for z.
4
Let p(n) = -16*n - 42. Let g be p(-4). Suppose -3 = 2*s + 3, 13 = j + 4*s. Let w = j - g. Solve 0*o = -o - w for o.
-3
Suppose -3*u = -5*u + 16. Suppose -j = j - u. Suppose -j*c = 4*q + q - 12, c = 4*q + 3. Solve 2*y + 10 = -q for y.
-5
Suppose k + 2 = 9. Suppose 12 = j - 0. Let n = 15 - j. Solve -2 = n*t + k for t.
-3
Suppose 5*z - 30 = -0*z. Let p(o) = o + 3. Let l be p(1). Solve -2*n = -l - z for n.
5
Let l(d) = d**3 + 5*d**2 - 15*d - 4. Let r be l(-7). Solve -h + r*h = 8 for h.
4
Suppose -h + 5*j = -2, -4*j - 6 = -3*h - j. Suppose -2*r + 3*k = 4, 0 = -2*k + h + 6. Let n be (-18)/(-4) + r/(-8). Solve 0*u - u = -n for u.
4
Suppose 9*d - 36 = 7*d. Let o = -13 + d. Solve -x = -0*x + o for x.
-5
Let s = 15 + -13. Suppose s*c + 3*c + 4*k = -4, -4*k - 4 = 0. Suppose b + c*b = 0. Solve b = -2*w - 0 + 4 for w.
2
Suppose 3 = 3*t - 0*t. Let x be (-2 - -2)/(t - 3). Solve -20 = -x*j - 5*j for j.
4
Let c(j) = 3*j - 19. Let m be c(12). Let o = m - 15. Suppose 3*r = 4*a - 0*a, -2*a = -o*r. Solve r = 5*d - 8 - 2 for d.
2
Suppose 3*f - 15 = 3*g, -3*f + 3*g + 23 = f. Let j = f - 2. Solve -5*b = 9 + j for b.
-3
Let q = -698 - -723. Solve -6*a = -q + 1 for a.
4
Let u = 24 - 22. Solve 2*b + u = -0 for b.
-1
Suppose 36 = 3*f + 3*s, 0*s - 24 = -3*f + 3*s. Suppose 0 = -z - z + f. Suppose -5*p + 2*v + 18 = 3, 0 = 3*p - 4*v + z. Solve 0 = -p*h - 25 - 0 for h.
-5
Let y(t) = t**3 - 11*t**2 - 16. Let d be y(11). Let o be (d/20 + (-58)/(-10))*1. Solve 2*s = o*s for s.
0
Suppose -5*q = -3*q + 48. Let v = q + 31. Solve 0 = -2*n - 3 - v for n.
-5
Let i(r) = r**2 - 8*r + 4. Let p be i(7). Let l be (-2 - p)*(0 + -1)*-17. Solve 5*b = -l + 7 for b.
-2
Let l be (55/(-20))/((-2)/(-8)). Let b = l - -24. Suppose 4*t + 2*g - 1 = b, -g + 13 = 4*t. Solve t*n - 11 = 1 for n.
4
Suppose 0 = -25*u + 22*u - 4*r - 2, -u - r = -1. Solve -u*n = -16*n + 40 for n.
4
Suppose 4*j = -5*g + 5*j + 92, 0 = -3*g + j + 54. Let r = 21 - g. Solve -4 = -p + r*p for p.
-4
Let v be 13 + (0/4)/(-1). Suppose -18*z + 15 = -v*z. Suppose 4*t - 4 = 2*r, 0*r - 2 = -2*t + z*r. Solve i - t + 0 = 0 for i.
1
Suppose -6*r - 75 = -201. Suppose -2*b + 63 = r. Let v = b - 13. Solve j - v = -j for j.
4
Let q be (-2 - -2) + 1 + 2. Suppose -3*b - h = -b - 4, -b - q*h + 7 = 0. Solve -3*l - b = -2*l for l.
-1
Let q = 17 - 11. Let g(a) = a + 12. Let v be g(-4). Let n = v - q. Solve n*t = 4*t for t.
0
Let w = 1656 - 1569. Solve 14*t + w = 31 for t.
-4
Let z = -36 - -39. Suppose -48 = -z*r - 0*r. Suppose 0 = -2*u - 2*u + 2*p + 16, 0 = 2*u - 5*p - r. Solve 8*c - 15 = u*c for c.
3
Let p(z) = 2*z**2 + 3*z - 5. Let j be (2 + 3 - 4) + -2*2. Let u be p(j). Suppose 0*f = 5*f - 20. Solve -u*l = -3*l - f for l.
4
Suppose 10*o = 4*o + 90. Let w = 19 - o. Solve w = 2*h + 2*h for h.
1
Let n = -838 + 853. Solve 0 = -n*v + 18*v - 6 for v.
2
Let o(c) = c**3 + c**2 - 1. Let p(r) = 3*r**3 + 10*r**2 + 8*r - 9. Let l(g) = -4*o(g) + p(g). Let i = 15 - 8. Let v be l(i). Solve -3*m - 1 = -v*m for m.
-1
Let v = -225 + 236. Solve -v*j - 15 = -14*j for j.
5
Let t be 21/(-6)*-2*-1. Let j be (-4)/4 - (1 - 15). Let m = t + j. Solve -m*n - 25 = -n for n.
-5
Let f(z) = z - 3. Let i be f(6). Suppose 0*x = i*x + 6. Let w be 0 + 1 + x/(-2). Solve -w*v = -0 - 4 for v.
2
Suppose 29 = h - 5*r, -4*h + 8*r + 56 = 3*r. Solve -2*p = p - h for p.
3
Let j be (-1 - (3 + -4))/(2 - 1). Let z be j + 1 + 3 + 1 + -2. Solve 0*w + 3 = z*w for w.
1
Let f(a) = 4*a**2 + 4*a. Let k be f(3). Let x = 93 - k. Suppose 0 = 5*l - 10*l + x. Solve -11 = -5*h + l for h.
4
Let p be (-1)/(45/12 + -4). Suppose 2*a - 4 = z, p*a + 4*z - 4 = 2*a. Solve 0 = -a*m + 2 for m.
1
Let u(w) = 2*w + 18. Let m be u(-8). Suppose -2*c = o + 14, -m*o + 3*c = -3*o - 12. Let a be ((-26)/117)/(2/o). Solve a*x - 2 = 2 for x.
2
Let o = 5 + 3. Suppose -5*a - 30 = -p, 0*p - 4*a = 3*p + 5. Solve s + o = p*s for s.
2
Suppose 2*n - 7*b + 9 = -4*b, 4*b - 10 = 2*n. Let s be (0 - 1) + (-25)/5. Let i be 2 - (-4 - (s - n)). Solve -l - i*l = -16 for l.
4
Suppose -n = 7*n + 96. Suppose -b - 3*u = 25, -2*b = -u + 2 + 13. Let j = b - n. Solve j*w + 3 = 3*w for w.
3
Suppose -64 = -5*y - 3*y. Solve 0*a = -2*a - y for a.
-4
Let c = -388 + 393. Solve -c*f - 8 = -33 for f.
5
Let r = -3 + 9. Suppose -4*i - r = -18. Solve -i*p = -7*p for p.
0
Let s be (-18)/(-42) + 480/56 + -7. Solve s*o - 15 + 17 = 0 for o.
-1
Suppose 2*g + 3*g - 25 = 4*k, -15 = -5*k - 3*g. Solve 9*i - 45 = -k*i for i.
5
Let u(g) = -g**2 + 19*g - 35. Let p be u(7). Let k = -29 + p. Let o be ((-8)/(-6))/(2/6). Solve h + o*h = -k for h.
-4
Let f = -874 - -880. Solve 0 = -f*n + 4*n for n.
0
Let p = 3 - 3. Let f = -6 + 9. Suppose -52 = -3*d + u - 15, f*u - 15 = 0. Solve -5*x + 11 + d = p for x.
5
Let o(k) = -k**3 - 6*k**2 - 6*k - 6. Let b be o(-6). Let v = -67 + 39. Let m = v + b. Solve -c + m*c = -1 for c.
-1
Let q be (-32 - -34) + 3 + -1 - 3. Let t(u) = -u - 3. Let i be t(-5). Solve -f = q - i for f.
1
Suppose -19*q + 13*q = -66. Solve q*x + 6 = 9*x for x.
-3
Let n = 126 - 126. Solve n = 7*w - 8*w - 2 for w.
-2
Let q = -209 + 347. Let h = q - 138. Solve 4*y - 12 = -h*y for y.
3
Suppose -8*i + 9 = 3*h - 5*i, 3*h + 1 = -5*i. Suppose -2*s + 4 = -0*s. Solve s*t + h = 2 for t.
-3
Suppose -142 = -195*f + 443. Suppose -6*n + n + 65 = 0. Solve 4*d + f = -n for d.
-4
Let c = 75 + -70. Let g be (72/(-30) - 4/(-10)) + 2. Solve g*i = -c*i for i.
0
Let b(r) = r**2 + 5*r - 10. Let u be b(-7). Let m be (2/2)/(((-32)/(-8))/8). Suppose 2*g - 20 = -2*g, -m*g = u*t - 10. Solve t = -y - 4*y + 10 for y.
2
Let u = -1 - -4