) = c*y(t) + 2*z(t). Let r be b(-9). Solve -2*l - 3 = r for l.
-4
Let c(n) = 2*n - 4. Suppose s + 44 = 5*s. Let x be c(s). Suppose 5*d = -4*j + 30, 0*d - x = d - 4*j. Solve -2 - d = 2*f for f.
-2
Let i(o) = 3*o**2 - 2*o - 1. Let f be i(3). Solve f = 3*g - 8*g for g.
-4
Let l(v) = 3*v**2 - 13*v - 6. Let k be l(5). Solve -3*o = k + 8 for o.
-4
Let o be 2 + 1/1*-1. Suppose 2*y = -y. Let l be (o + 3 + -5)*y. Solve -c + l*c - 2 = 0 for c.
-2
Let r be 2 + (1 - -3 - 1). Suppose -b + r*k = -3, -3*k + 4*k - 3 = -b. Let t(a) = a**2 - 12*a - 13. Let n be t(13). Solve -9 + n = -b*q for q.
3
Let n(w) = -2*w - 3. Let f be n(-4). Solve f*p = 7 + 3 for p.
2
Suppose 2*k = 1 + 1. Let d = 6 - k. Solve 0*f = -f + d for f.
5
Let r(f) = 5*f**2 - 2*f - 1. Let s be r(-1). Suppose 0 = y - s*y. Solve y*h - 20 = 5*h for h.
-4
Let m = -45 - -46. Solve -4*t - m = -9 for t.
2
Let f(i) = -13*i - 2. Suppose 1 = -3*o + 2*m - 1, -m = -4*o - 6. Let p be f(o). Solve -5*h = p + 1 for h.
-5
Let w(m) = m**3 - 2*m**2 + 4*m - 3. Let q be w(2). Suppose -2*t = c - 13, -4 = 2*c - 6*c + 4*t. Suppose -q - 10 = -c*v. Solve -4*p - 2 = -v*p for p.
-2
Let m be (-4)/14 + 141/(-21). Let a = m + 10. Solve -4*u - a = -u for u.
-1
Suppose -2*y = -4*y + 4. Suppose 3*j = -j - 3*x, 4*j = 5*x + 32. Suppose -f = y*p - 9, p + j - 21 = -5*f. Solve 0 = -p*t - 3 - 3 for t.
-2
Suppose 5*v = -3*n - 10, -4*v + 0 - 11 = 3*n. Let p be (v - 1)/(-8 + 7). Solve p = 2*b + b - 9 for b.
3
Let a(k) = 2*k - 44. Let n be a(24). Let w = -3 + -1. Let f = n + w. Solve f = 2*i + 2*i - 8 for i.
2
Let y = 1 + 7. Let n(f) = f**3 - 8*f**2 + 4*f - 12. Let x be n(y). Suppose 0*a = 3*a - 4*s - x, 3*a - s = 5. Solve -25 + a = -5*g for g.
5
Suppose 0*h + 2*h = 0. Solve h = -2*n + 5*n + 6 for n.
-2
Suppose 0 = 4*p - c - 16, -4*p + 2*p - c + 14 = 0. Solve 0 = 2*v + 3*v - p for v.
1
Suppose -3*p = -2*p - 2. Suppose -w = 5*k - 24, -4*k = -p*w + 3*w - 20. Solve -4*m + 16 = -w for m.
5
Suppose -5*b = -0*b + 5. Let z be (-5)/(-10) - b/(-2). Suppose z = -5*y - 2 + 12. Solve 0 = -3*c + 1 + y for c.
1
Suppose -3*l - 8 = -7*l. Solve 15 = 5*f - l*f for f.
5
Suppose 0*m - 2 = 2*g - 2*m, 4*g = 2*m - 6. Let q be 56/10 - g/5. Suppose 4*k - k = -2*k. Solve 5*u + q + 4 = k for u.
-2
Let r = 3 + -1. Let k = 8 - r. Let u(n) = -n + 5. Let l be u(5). Solve l = -2*h + k - 16 for h.
-5
Let q = 1 - -2. Solve 13 = 2*c + q for c.
5
Let r be (-2 + ((-20)/(-4) - 3))/2. Solve r = -4*g + 7*g - 6 for g.
2
Let k be (-1 + -1)/(18/(-45)). Suppose k = 3*b + 2*x + 2, -x - 18 = -5*b. Solve b*m = -0 - 6 for m.
-2
Let l(r) = 3*r - 9. Let c be l(11). Let z be c/10*(-70)/(-21). Solve u + z = -3*u for u.
-2
Let r(m) = m**3 + 2*m**2 - 4*m. Let a be r(-3). Suppose 5*h = -4*d + 13, 4*d - 2*d = 3*h - 21. Suppose -h*c = -0*c. Solve 0 = a*v - c*v for v.
0
Let i(c) = 4*c + 49. Let m be i(-11). Solve -4*u = -3 - m for u.
2
Let y(f) = 7*f**2 - 2*f + 1. Let v be y(1). Solve -12 = -v*t + 3*t for t.
4
Let b = 11 + -8. Let q = -523 + 529. Solve q*p - 3*p = -b for p.
-1
Let h(n) = 2*n**2 + 6*n - 7. Let k be h(-5). Let j = k + 7. Solve -4*c + 0*c - j = 0 for c.
-5
Suppose -4*v + 7 = 4*a - 1, v - 2 = 0. Suppose 0*j = 4*j + 8. Let l = a - j. Solve n = -l*n - 15 for n.
-5
Let f(x) be the third derivative of x**5/30 + x**4/6 - 5*x**3/6 + x**2. Let z be f(-5). Solve -z = n + 4*n for n.
-5
Suppose -j = 2*t + 3, 0 = 5*j + 2*t - 2 - 7. Suppose 2*a = j*a. Let i be -1 - (a - (0 + 1)). Solve -2*z + i = 4 for z.
-2
Let v(x) = -x**2 + 3. Let b be v(0). Suppose y - u = -3*y + b, -4*u - 12 = y. Suppose z = 3 + 2. Solve y = -0*g + z*g for g.
0
Suppose 2*u - 5*i = 14, 24 - 8 = 3*u - 5*i. Suppose -5*o + 4*p = -3 + 1, o - u*p + 2 = 0. Let g be -2*(0 + -1)*o. Solve 0 = -d - g - 0 for d.
-4
Let m = -9 + 21. Let z = m - 9. Solve 3*k = -0 + z for k.
1
Suppose 3*s - 6 = 3*n, -n = -0*n + 1. Let m = s - -2. Let d be (-1)/(-3)*1*(-6)/(-2). Solve -4*k + d = -m*k for k.
1
Let h be (16 + -1)*8/(-20). Let i(v) = -v**3 - 6*v**2 - v. Let a be i(h). Solve -a*j + 5 = -j for j.
1
Let f = 5 + -1. Suppose 7*n + 4*y - 28 = 3*n, 3*n = 3*y + 39. Solve -f*l + 10 + n = 0 for l.
5
Let n(l) = -3*l + 65. Let j be n(21). Solve 0 = t + 7 - j for t.
-5
Let f = 2 + -8. Let n = 30 + -21. Let x = f + n. Solve -x*j = -1 + 4 for j.
-1
Suppose 5*u = 4 + 11. Solve -u*b + 4*b = 0 for b.
0
Suppose -i + 5 = -0. Solve -2*h = 1 - i for h.
2
Let v(j) = -j + 11. Let u be v(-6). Suppose 3*d + u = 53. Solve -4 = -4*r - d for r.
-2
Let p be -5*8/(-20) + -10. Let b(r) = -3*r - 18. Let n be b(p). Solve z + n = -z for z.
-3
Suppose 5*r - x - 2 = 0, x + 3 = -5*r + 1. Suppose -s - 32 - 20 = -2*l, l - 3*s - 31 = r. Let v be (-33)/(-5) - (-10)/l. Solve -v - 13 = 5*j for j.
-4
Suppose 0 = -4*w - 16 + 48. Solve -5*d = -2 - w for d.
2
Let h be 1 + -1 + -3 - -3. Solve h = p + p + 2 for p.
-1
Let i be (8 - 7)*(1 - -1). Let y be (0 - 0)/(2/(-2)). Solve y*z - i = -2*z for z.
1
Let u(p) = p**3 + 6*p**2 - 8*p - 7. Suppose -4*v - v = 35. Let a be u(v). Suppose -2*b + 16 = 2*b. Solve -b*m + 3*m - 3 = a for m.
-3
Let i(o) = 2*o**2 - 3*o + 2. Let m be i(2). Let r = -7 - -11. Suppose 0 = -p - 3*c + 20, 3*p - 5 = -2*c + r*c. Solve 4*k + m = p*k for k.
4
Suppose 2*n + 2*z + 44 = 5*n, -n = 3*z - 33. Let d = 8 - 6. Solve 0 = -4*f - d - n for f.
-5
Suppose 0*r + 3 = -3*r. Let o be -1 - -13 - (r + 3). Suppose 0*n + 6 = 4*s - n, -2*n + o = 3*s. Solve a = 1 + s for a.
3
Let z be (-6 - -11) + (-9)/3. Solve 0 = z*w - w for w.
0
Suppose 3 = -i - 3. Let q(n) = -7*n**3 - 6*n**2 + 11*n - 8. Let b(x) = -x**3 + x. Let m(u) = i*b(u) + q(u). Let v be m(-7). Solve -3*o = -v*o - 3 for o.
-1
Let y be 58/5 + (-8)/(-20). Suppose x = -3*x + y. Solve p = -x*p for p.
0
Suppose 0 = 5*r - 0*u + 2*u - 34, -31 = -2*r + 5*u. Let d be 12*2 - 2 - 3. Let x = d - r. Solve 1 - x = -2*c for c.
5
Let i be (-80)/(-56) - 3/7. Let q(t) = t**2 - t. Let w be q(i). Solve -2 + w = -r for r.
2
Let v(k) = 9*k**2 + 2*k. Let i be v(3). Suppose -30 = -2*t - 2*j, 5*t - 2*j + j = i. Solve 0 = -4*g - t - 3 for g.
-5
Suppose 3*i = -i. Solve i*s = -5*s + 20 for s.
4
Let j(k) = k**3 + 3*k**2 + k. Let r be j(-2). Solve 0 = r*c - c for c.
0
Let j(q) = -q**3 - 2*q - 1. Let v be (-3)/4 + 11/(-44). Let a be j(v). Solve a*f - 7 + 1 = 0 for f.
3
Let j be -3*(-140)/(-42)*(-2)/5. Suppose 0 = 5*t + l - 8, 3 = -t + 2*l + 9. Suppose -2*z + 2*v = 3*z - t, -5*z - 2*v + 18 = 0. Solve -z = -j*w + 3*w for w.
2
Let d(z) = z**3 - 7*z**2 + 13*z. Let l be d(4). Let x be (1/2)/((-2)/(-8)). Solve 0 = x*s + l + 4 for s.
-4
Suppose -2*v = v - 6. Suppose v*u = 3*u. Let k(h) = 13*h + 41. Let t be k(-3). Solve u = t*c + c for c.
0
Suppose -4*x + 2*m + 16 = 0, 3*x = -5*m + 16 + 9. Solve 0 - 25 = -x*s for s.
5
Suppose -2*z = -2*q - z + 10, -10 = -2*q - 2*z. Suppose 3*f - q = 13. Solve 5*o - f + 1 = 0 for o.
1
Let z be (12/8)/(3/4). Solve 0 = -z*p - 8 for p.
-4
Suppose 22 = 2*h + 2*i, -3*h + 7 + 10 = -i. Solve -2*d + 3 = -h for d.
5
Let k = 1 + 4. Suppose k*x + w = 22, x + 0 = -w + 2. Solve x*t - 19 - 1 = 0 for t.
4
Let t = 46 - 41. Solve -s = -2*s - t for s.
-5
Let h be ((-4)/14 + 0)*-21. Solve h = 3*w + 3 for w.
1
Suppose 0 = 2*r - 9*r + 7. Solve 7 = 2*c + r for c.
3
Suppose 21 = -3*w - d, -5*d = -5*w - 2*d - 35. Let f = -4 - w. Let y be (f + -3)/(2/(-1)). Solve -x = -y + 1 for x.
-1
Suppose 22*r - 18*r = 32. Solve 2*a + 2 - r = 0 for a.
3
Let v(n) = -n**3 - 8*n**2 + 5*n - 35. Let m be v(-9). Let x be (-52)/(-6) - (-2)/6. Solve -4*f + x - m = 0 for f.
2
Suppose -4*a = -6*a - 8. Let h = a + 10. Solve 3*l = 6*l - h for l.
2
Suppose -5*t + 4 = 2*x - 0, x + 5*t = 2. Suppose 24 = 6*z - x*z. Suppose -4*c + z = 2. Solve -c + 4 = -u for u.
-3
Let f = -42 + 69. Suppose f = 5*y - 18. Solve 4*j - 7 - y = 0 for j.
4
Suppose 2*u = -3*u + 15. Solve -u*s = s for s.
0
Suppose -3*t = -5*t + 6. Solve 13 = -t*c + 1 for c.
-4
Let d(k) = k**2 + 18. Let b be d(0). Suppose -y = -5*o + 8, 0 = -5*o - 3*y - y + b. Let f be o/4*(1 - -7). Solve f*m + 1 = 3*m for m.
-1
Suppose -5 = -4*y + 3*y. Solve y*m + 12 = m for m.
-3
Let t be (-12)/10*(-50)/15. Let s(d) = -2*d**2 + 9 + 0*d + t*d**2 - d**2 + 6*d. Let y be s(-6). Solve -4*f + y*f = 5 for f.
1
Let f be (2/(-12)*1)/((-1)/6). Solve 2*q + 3 = -f for q.
-2
Suppose 5*l = 2*l - 12. Let n be (-4)/(-10) + l/10. Solve n*q = 4*q + 20 for q