q + 21, -20 = 2*z + 5*q - 53. Suppose 3*p - 3*m + z = 3, 3*p = m + 4. Solve p*t + 0*t + 6 = 0 for t.
-2
Suppose -3*y = y - 48. Suppose 0 = -3*q + y, 4*c = 3*q - 2 - 2. Suppose -a - c = -4. Solve a*x = 3*x for x.
0
Suppose 25 - 1 = -3*c. Let i = 10 + c. Let o = 35 + -21. Solve 3*l = i - o for l.
-4
Suppose 2*d = -3*s + 73, s - 21 = -0*d - 4*d. Solve -5*m + 0 - s = 0 for m.
-5
Suppose 14 + 4 = q + 4*g, -5*g + 10 = -5*q. Suppose 3*c = 2*n + 71, -n + 42 = q*c - 10. Solve -c = -0*z + 5*z for z.
-5
Let x(n) = n**3 - 10*n**2 - 11*n + 3. Let s(z) = z**2 - 4*z - 1. Let a be s(6). Let m be x(a). Solve c = -m - 2 for c.
-5
Let f(m) = -7*m - 21. Let q be f(-3). Let g = -8 + 13. Solve -g = o - q for o.
-5
Let v(b) = -b**2 + 8*b + 13. Let s be v(9). Solve -11 - 1 = -s*g for g.
3
Suppose 0 = 4*u, 0 = -2*k - 2*k + 4*u + 8. Let q(y) = -y**3 + 3*y + 5*y**k - 3*y**2 + y. Let t be q(3). Solve 3*s = -t - 3 for s.
-2
Let z be 5 + 3 + -1 + -3. Suppose -3*k - 3*v = -18, z = k + 2*v - 3. Solve 0 = -a + k*a + 20 for a.
-5
Suppose 0*b - 5*b = 0. Let p(c) = c**3 - c**2 - c + 2. Let v be p(b). Solve -2*x - v = -12 for x.
5
Suppose -1 = -2*h + 13. Solve -4*k + 5 = -h for k.
3
Let w(c) = 4*c + 8. Let b(y) = y - 1. Let t(j) = -3*b(j) + w(j). Let z be t(-9). Suppose h = -z*h. Solve -s = -h*s for s.
0
Let w be 3*(-6)/(-9) + 0. Let o be ((-28)/(-49))/(w/7). Solve 0*p - o*p = 8 for p.
-4
Let i(a) = a**2 - 6*a + 1. Let p be i(4). Let r(b) = -b - 1. Let l be r(p). Solve 3 + l = -3*d for d.
-3
Let k = -21 - -33. Let v be 2/1*30/k. Suppose -o - 2 = -v. Solve -15 = -0*f - o*f for f.
5
Let w(i) = -11*i. Let a be w(1). Let k = -9 - a. Solve -r = -k*r + 5 for r.
5
Suppose -4*f + 39 - 15 = 0. Let u(b) be the first derivative of -b**3/3 + 5*b**2/2 + 8*b - 1. Let a be u(f). Solve 0 = -3*i + a*i - 4 for i.
-4
Suppose 4*b - 3*k = 28, -b - b + 14 = -2*k. Let t(h) = -5*h. Let f be t(1). Let y = f + b. Solve y*n + 20 = -2*n for n.
-5
Let x = -15 - -27. Let y be (-8)/6*x/(-8). Solve y*f = -1 - 5 for f.
-3
Let k(j) = j**2 - 8*j - 1. Let f be k(9). Solve -4*b + 2*b = f for b.
-4
Suppose -35 - 29 = -2*i. Suppose 3*x + i - 11 = 0. Let t be x/(-3) + (-2)/6. Solve 6 = -4*c - t for c.
-2
Let p(r) = -r**3 + 10*r**2 - 9*r + 1. Let c be p(9). Solve 3*q - c = 2 for q.
1
Suppose 0 = 2*y + y. Solve -n + y = 3 for n.
-3
Suppose 5*y = 16*y. Solve u - 3*u - 4 = y for u.
-2
Suppose 0 = -2*m - 1 + 9. Let i = -58 + 58. Solve i = -2*v - 4 - m for v.
-4
Let a = 56 - 54. Solve 2*v = -a*v - 16 for v.
-4
Let d(x) = -x**3 - 11*x**2 - 10*x + 2. Let g be d(-10). Suppose 5*y = 2*y. Solve 4 = -y*n - g*n for n.
-2
Let s be 2/(2/(-19))*1. Let u = s - -19. Solve u + 20 = -5*v for v.
-4
Suppose -h - 24 = h. Suppose 16 = -5*v + v. Let y be (h/10)/(v/40). Solve 0*x - y = 3*x for x.
-4
Suppose 0 = -7*t + 2*t - 15. Let c be (0 + t/(-1))/1. Solve j + c*j = 16 for j.
4
Suppose -2*q + 2 = m, 2*q + 3*q = 2*m - 4. Suppose 2*b = -q*b + 8. Solve 0 = b*y - 2*y for y.
0
Let k(s) = 2*s + 1. Let b(m) = -m. Let n(z) = -5*b(z) - k(z). Let x be n(1). Solve -x*i = -5*i + 15 for i.
5
Let l be (3 - (-45)/(-21))/(27/126). Solve l*d = -8 - 8 for d.
-4
Suppose x - 8*y = -3*y, 5*x = -3*y. Solve x*p = -3*p + 15 for p.
5
Suppose -f = 6*f. Solve f*l + 2*l - 2 = 0 for l.
1
Let s(c) = -c. Let u be s(-10). Let t be (1/2)/(u/40). Solve t*b = b for b.
0
Let q = -19 - -23. Let d(x) = x**3 - 4*x**2 - 5*x + 6. Let i be d(5). Suppose i + q = 5*k. Solve w = k*w + 5 for w.
-5
Let k(y) = -y**2 + 4*y. Let i be k(3). Solve 7 = -2*n - i for n.
-5
Suppose 18*g - 150 + 6 = 0. Solve -17 - g = 5*v for v.
-5
Let j = 3 - 0. Let v(k) = -k - 9. Let q be v(-13). Suppose -q*f + 0*f = 0. Solve -j*h - h + 4 = f for h.
1
Let b be (450/(-24))/(-5) - (-3)/12. Solve 5*x = x + b for x.
1
Suppose -4*c = -15 + 3. Let g = 4 - c. Let n be g - (-1)/(2 - 3). Solve -5*w = -n + 15 for w.
-3
Suppose -2 + 0 = -2*t. Let q = 4 - 8. Let u = q - -4. Solve -t = -u*f - f for f.
1
Suppose 4*x + 7 = 27. Solve -x*i + 1 = -24 for i.
5
Suppose j - i = i + 14, 5*j - 5*i - 45 = 0. Suppose 2*d = q + 2, -q + 5*q = j*d - 8. Let a be (q/(-4))/((-1)/(-20)). Solve 4*r + a = 2 for r.
-2
Let l be 204/(-14) + 9/(-21). Let n be (-118)/(-6) + (-5)/l. Solve 0*h - n = -4*h for h.
5
Let o = 7 + -4. Suppose -5*n - o = 2*b, 2*n = b - 0*b - 12. Solve b = 4*l - 2 for l.
2
Let t = -115 + 117. Solve -4*l + 14 = t for l.
3
Let d be -1*(-3)/9*-3. Let k = -7 - d. Let y = k + 9. Solve 0*t = -y*t - 9 for t.
-3
Let w be 0/((3 - 2)*-1). Suppose -5*x - 4*v + 70 = w, 4*x + 0*x = -5*v + 47. Suppose r + 0*b + 3*b = x, 0 = -4*r + 3*b - 3. Solve -r = f - 1 for f.
-2
Let u be 13/15 + 10/75. Let j be (-1 - (-3 - -2))/u. Solve j*l = -2*l + 6 for l.
3
Suppose 2*f - 6*f = 0. Let r(g) = -g**2 + g + 15. Let t be r(0). Suppose -j + 4 = -0. Solve m + j*m - t = f for m.
3
Suppose 5*x = 2*x + 12. Suppose x*v = v + 3. Let g = 4 - -2. Solve 0 = 5*z - v + g for z.
-1
Suppose 2*s + 0*s = -5*f + 30, 0 = -5*s - 2*f + 33. Solve 0 = -y - 4*y - s for y.
-1
Let q(w) = w**2 + w + w**3 - w**3 - 2*w**3 + 1. Let k be q(-1). Let j = 167 + -164. Solve 0*s = -j*s - k for s.
-1
Suppose -4*u = 5*b - 24, 3*b + 6*u - 3*u = 15. Let f = b + 1. Solve r - f*r = 4 for r.
-1
Let i be -2*(-2)/8*2. Let l be 1*(0 + i)*6. Let z = 5 + 0. Solve -w - z = -l for w.
1
Suppose 5*l + 2*w = 12, 4*l - w = -0*w + 20. Solve l*y - 8*y = -8 for y.
2
Suppose -5*c - 3*y = -10, -c + 2*y = -3*c. Suppose 10*q = c*q. Suppose 0 = -4*p - 4*z + 24, -13 = -4*p - 2*z + 9. Solve q*x - 10 = p*x for x.
-2
Let a be 45/(-12) + 8 + (-6)/(-8). Solve a*w = 7*w + 10 for w.
-5
Suppose -2*s + 16*s = 28. Solve 0*z = s*z for z.
0
Suppose 5 + 1 = 3*g. Suppose 0*u + 2*u - 4 = 4*i, 3*u + 2*i + g = 0. Solve u = 2*y + y - 15 for y.
5
Suppose 24*o - 20 = 20*o. Solve 0*r - o = -r for r.
5
Let v be (-4)/(-3) - 6/(-9). Suppose 4*b - 5*b = -20. Suppose -4*q = 8 - b. Solve 3 = -v*r - q for r.
-3
Let b be (-261)/(-15) - 3/(-5). Suppose 0 = v - 4*o + b, 0 = 4*o + 2 - 22. Let i be (-1 + (-1)/(-2))*0. Solve j + v + 3 = i for j.
-5
Let t be (-4)/(-12) - 4/(-48)*-4. Solve t*x = 5*x for x.
0
Let k(y) = -y**3 + 7*y**2 + 6. Let r be k(7). Solve r + 6 = 3*v for v.
4
Let g(l) be the second derivative of 2*l + 0 + 5/2*l**3 + 0*l**2. Let q be g(1). Solve -3*j = 2*j - q for j.
3
Let k = -4 - -10. Solve 2*q + k = -2 for q.
-4
Let v(n) = -2*n - 12. Let t be v(-8). Solve -1 = t*q + 11 for q.
-3
Suppose 5*c - 3*c = 8. Suppose 2*r - 7 - 14 = 3*t, -8 = -r + 4*t. Solve -r = -2*h - c for h.
4
Suppose 0 = -4*c + 137 - 1. Suppose -3*u = m - c, 2*u + u = 5*m + 28. Solve -3*w - u = 4 for w.
-5
Suppose -9 - 9 = -3*v. Suppose -v + 3 = -y + 2*b, b = -y + 18. Suppose 2*z - 1 = 7. Solve z = 3*x + y for x.
-3
Let t be ((-5)/(-2))/(1/10). Suppose 0 = 3*b + 2*b + 5*y - t, -3*y = -5*b + 1. Suppose 7 = c + b. Solve -7 - 3 = -c*u for u.
2
Suppose -2*q + 0*q - 17 = -r, 5*r + 5*q - 40 = 0. Solve -3*o + r = 2 for o.
3
Suppose 5*g - 3*c - 6 = 2*g, 4*c = -8. Suppose g = -3*v + 3. Solve 2*o = -v - 9 for o.
-5
Let j be 4/12 - 3/9. Solve 0 = 2*u - j - 6 for u.
3
Suppose -5*a + 103 = 3*z, -2*z + 5 = 3*z. Solve 2*q - a = 6*q for q.
-5
Suppose 2*v = -4*q + 12, 5*q - v = -4*v + 16. Suppose 0 = -5*y + 10, 2*t - 4*y = -q. Solve -t*h - 4 = -7*h for h.
1
Let y(r) be the third derivative of r**6/120 + r**5/12 + r**4/8 - r**3/6 - 9*r**2. Suppose -12 - 8 = 5*b. Let l be y(b). Solve 1 = j - l for j.
4
Let o(r) = -r**3 - 5*r**2 + 7*r + 9. Let a be o(-6). Suppose 5*f = a*f. Solve -2*w + 5*w - 3 = f for w.
1
Suppose 10*h - 5*h = 20. Suppose 2*o - h = 16. Solve o = -2*j + 4 for j.
-3
Let m(k) = -k**3 - 5*k**2 - 5*k + 1. Let f(t) = 7*t - 1. Let z be f(-1). Let q = -12 - z. Let g be m(q). Solve 0 = -a - 0 - g for a.
-5
Let p be 5/2 - 2/(-4). Suppose 4*w + 3*h - 31 = 0, 5*w - w - 49 = p*h. Let n(d) = d**3 + 5*d**2 - 2*d - 4. Let c be n(-5). Solve s + w = c*s for s.
2
Suppose 3*z - 6 = -0. Suppose -4 = -2*t + 4*v, 3*t = -2*v + 12 + z. Solve -k - k = t for k.
-2
Suppose -2*a + 8 = 2*c, c + 3*a + 2*a = 4. Suppose 0 = -4*w - 4*b + 32, 3*b + 0 - 32 = -c*w. Solve -k = 3*k + w for k.
-2
Let g = -11 + 7. Let t(m) = -m**3 - 3*m**2 + 3*m - 5. Let c be t(g). Let i be c/1 + -1 + 2. Solve i*j = -j for j.
0
Suppose -2*h = -2*c - 16, -2 - 8 = 2*c. Let n be -3 + h - (-1 + -3). Solve 0 = 3*b + 19 - n for