5*u + 80 = 5*s, u + s = -2 - 4. Let q = u - -16. Suppose 0 = -2*h + 6*h - 3*v + 15, 3*v = -4*h + 15. Solve h = j - q*j for j.
0
Suppose 3*i = 4*i - 5*r, 3 = 3*r. Suppose -2*d = i*a - 9, -4*d - 6 = a + 3. Solve -w - a*w = 0 for w.
0
Let d = 223 - 213. Solve -2*v = 4 - d for v.
3
Let t = -8 + 11. Suppose -m - 5*v = -31, t*m = 5*m - 2*v - 2. Let a be (-3)/3 - (-4 + 1). Solve -4*b + m = -a for b.
2
Let b(o) = o - 1. Let g(j) = -j**3 + 6*j**2 + 2*j + 1. Let k(a) = 3*b(a) - g(a). Let y(z) = z**3 + 6. Let r be y(0). Let h be k(r). Solve -3*q + 25 = h*q for q.
5
Let q = -60 - -84. Suppose 5*o - q = 1. Solve -3 = o*h - 13 for h.
2
Suppose 3*t = 3, 3*t = 3*y + 6*t - 408. Suppose 4*q + y = 5*c + q, 2*q = -c + 40. Suppose c = 4*n + l - 6*l, 3*n - l = 17. Solve 11 = n*x - 9 for x.
4
Let s(i) = i**3 + 2. Let a be s(0). Solve 2*n + 4 = -a*n for n.
-1
Let w be -5 - (-12)/3 - -1. Solve w*c - 4*c - 4 = 0 for c.
-1
Suppose 3*r = -r + 12. Solve 2*a - 25 = -r*a for a.
5
Let t be 1 - (-3 + -2 + 4). Solve 0 = t*k - 3*k for k.
0
Let y(m) = -3*m**2 - 1. Let b(p) = -p**3 - p**2 + p. Let l(a) = 2*b(a) - y(a). Let w be l(-1). Solve w*q = -q + 15 for q.
5
Let m be (0 + 0)*11/(-11). Solve m*f + f = -2 for f.
-2
Let i(w) = 17*w**2 + 2*w + 1. Let a = 4 + -5. Let z be i(a). Suppose 4*r + z = -2*o, -2*o - 2*r = 3*o + 8. Solve -p - p + 10 = o for p.
5
Suppose -5*z = 4*q - 55, -q + 4 = -2*z - 0. Solve 0 = -2*m + q for m.
5
Let m(l) = l**3 + 5*l**2 - 6*l + 3. Let g be m(-6). Suppose 0 = r - 3 - 13. Suppose 20 = -5*f - 5*u, f + 2*f - r = 4*u. Solve f = -g*n - 1 - 5 for n.
-2
Let b = 2 + 4. Suppose 0*z + 8 = 3*z + 5*v, v = -5*z + b. Suppose c = 6 - 2. Solve z = -c*s - 3 for s.
-1
Let q(r) = 5*r**2. Let p(y) = -y + 6. Let n be p(5). Let g be q(n). Solve g*h + 2 = -13 for h.
-3
Suppose -4*m + 5*g = -37, 2*m + 34 = 5*m - 5*g. Suppose a - 5*k = -3*a - 34, -34 = 5*a - 2*k. Let b = a + 6. Solve b = m*u + 12 for u.
-4
Suppose 3*z = -4 - 17. Let x = z + 11. Suppose x*i = -i. Solve i = 4*f - 2 - 14 for f.
4
Let o = 9 + -7. Solve 7 = -o*g + 1 for g.
-3
Let q(r) = r**3 + 2*r**2 - 2*r - 3. Let w be q(-2). Suppose 4*i + s - 3 = 3*i, 4*s = 12. Let y be (-2 - (i - 1))*-3. Solve -y*l - w = 2 for l.
-1
Suppose 3*v - s + 3*s = 32, -2*v + 15 = -5*s. Solve -3*j + v = -j for j.
5
Suppose 0 = 4*g - p - 12, 5*g + 4*p = -9 + 24. Suppose 16 = g*k + k. Suppose 4 = 3*m + k*l, -2*l = 4*m + 1 - 13. Solve -m*i - 10 = 6 for i.
-4
Let v(a) = a**3 - 5*a**2 - 7*a + 6. Let f be v(6). Suppose 3*k - 32 = -2*r - 3*r, 0 = 4*r - 16. Suppose w = k - f. Solve m = w*m for m.
0
Suppose 2*c - 15 = -3*c. Suppose 5*g = -5*t - 15, -c*g - 5*t - 1 = -4*t. Let l = 6 - g. Solve 15 + 10 = l*f for f.
5
Let x = 194 + -131. Let v be 108/x*(-7)/(-2). Solve v*k - k = -5 for k.
-1
Suppose -4*s + l = 39, 4*l = -2*s - 28 + 4. Let r = 14 + s. Suppose r*o = 12 - 0. Solve -3*h + o - 18 = 0 for h.
-5
Suppose 2*w - 25 = -5*j, 0 = 3*j - 3*w + 9 - 3. Let x = 10 - j. Solve -2*d = 3 + x for d.
-5
Let d be 0/3 + -2 + 4. Let v be d/(-3) - 4/(-6). Let c = v + 0. Solve c = -3*u + u + 10 for u.
5
Suppose 4*o - 4 = 0, -2*o - 1 = 2*f - 13. Suppose 3*p - 3*v - 6 = 0, -2*p - f*v - 2 - 1 = 0. Solve g + 0 = p for g.
1
Let d be (-1 - -12)*(-1 - -2). Suppose l - 33 = -3*p - p, -5*l + d = -2*p. Suppose -5*v + 14 = -2*r, -4*v + 3*r + 16 = -r. Solve -v*x = -p*x + 5 for x.
1
Let j(s) = s - 2 - 3*s + s. Let w be j(-2). Solve 2*x - x + 3 = w for x.
-3
Let v = -2 - -8. Let n be (2/(-3))/(v/(-36)). Solve -4*t + n = -8 for t.
3
Let x = 9 + -6. Suppose 0 = x*u + u. Suppose -2*w - 2 + 14 = 0. Solve -3*m + w*m = u for m.
0
Suppose 5*i - 11 = 14. Let b = i + -2. Suppose 0 = 2*w - 3*v + 5, 4*w = b*v - 2*v + 5. Solve -3*x = -w - 7 for x.
3
Let f(w) = 3*w - 2 + 6 - 5*w. Let g be f(0). Solve -2*q - g + 2 = 0 for q.
-1
Let h(i) be the second derivative of i**4/12 + i**3/6 - i**2 - i. Let d be h(-3). Let g(y) = y + 6. Let w be g(0). Solve -w - 14 = d*a for a.
-5
Suppose -3*p + 13 = -14. Solve -4*z + 3 + p = 0 for z.
3
Suppose -p + 4*p - 15 = 0. Suppose -5*x - 9 = -2*x. Let j = x + p. Solve -j*a = 2*a + 20 for a.
-5
Let h(x) = -x**3 + 8*x**2 - 17*x + 10. Let a be h(5). Solve a*z = -z - 5 for z.
-5
Let r(t) = t**2 + t - 4. Let i be r(-3). Suppose 0 = -f + 4*p - 8, 2*f - i - 34 = -5*p. Solve -f = u + u for u.
-4
Suppose -2*g - 4 = -f, 2*f + 2*g + g = 1. Solve -2*x + 20 = f*x for x.
5
Let c(o) = o**3 + 5*o**2 - 5*o - 5. Let k be c(-5). Suppose 0 = 3*i - 8*i + k. Solve i = r + 3*r for r.
1
Suppose h + y = 12 + 4, 10 = 2*y. Let p = h + 7. Let m = 30 - p. Solve 0 = -3*l + m + 3 for l.
5
Suppose 3 + 2 = x. Suppose 0 = -2*c + x*c - 12. Solve -10 = c*s + s for s.
-2
Let f = 7 - 3. Suppose 0 = 4*g - q - 1 - 7, -f*q + 13 = -g. Solve r = -g*r for r.
0
Suppose 0 = 3*u - 4*h - 20, 5*u - 5 - 5 = -5*h. Solve u*l - 2 = 6 for l.
2
Let f be (-356)/24 - (-1)/(-6). Let c be 3/f - 156/(-30). Solve 0*i + c = -5*i for i.
-1
Let m be 5/(-20) - 2/(-8). Suppose 3*q + 5*h = 67, q - 6*h + 2*h + 6 = m. Solve -2 = -4*z - q for z.
-3
Let q = 22 - 17. Solve q*v - 20 = -0*v for v.
4
Let c be (-4)/8*2 + 1. Solve c = 5*w + 13 + 2 for w.
-3
Suppose 3*l = -3 - 6. Let d be 32/6 + l/9. Solve -d*v = -1 - 19 for v.
4
Let n be ((-3)/(-1))/(3/2). Suppose -g = -1 - n. Let v be (2/4)/((-1)/(-6)). Solve g*x = -v - 9 for x.
-4
Let v be -1 - 3/6*-14. Solve -p = p - v for p.
3
Let y = 8 + -2. Suppose -4 = 2*u + y. Let x = -5 - u. Solve x*n - n = 2 for n.
-2
Suppose -f = 2*u, 2 = u + 3. Solve 2*s + 16 = -f*s for s.
-4
Let o(p) = p**2 - 6*p + 7. Let q be o(5). Let r(j) = 2*j - 3. Let n be r(q). Solve -c + 4 = -n for c.
5
Let h(v) = -v**2 - 10*v - 1. Let p be h(-9). Solve 2*r + p = 6*r for r.
2
Let d(t) be the third derivative of -t**5/60 - 5*t**4/12 + 3*t**3/2 + 7*t**2. Let q be d(-10). Solve -4*u - q = -u for u.
-3
Suppose -4*a - 4*r = -4, -r = -0 - 1. Suppose 0 = -2*j + n - 28, 3*n = 5*j + 7*n + 44. Let h be (6*-1)/(j/8). Solve a = q + h - 0 for q.
-4
Suppose -2*a + 2 = 3*y - y, a - 1 = -4*y. Solve -1 - a = -i for i.
2
Suppose 6*v = -27 + 69. Solve 0 = -3*d + 1 - v for d.
-2
Suppose 3*v + 8 - 17 = 0. Suppose -v*b + 2*l + 4 = 0, -4 = 3*l - l. Solve 2*a + b = -8 for a.
-4
Suppose 5*a + 34 - 5 = 3*i, -2*i + a + 10 = 0. Solve -i = -4*k + 17 for k.
5
Let j(d) = d + 7. Let o be j(-6). Suppose -o = 2*w + 3. Let u be (0 + -1)/(w/8). Solve -p + 5 = u for p.
1
Let n be (-38)/(-10) + (-3)/(-15). Suppose 10 = 3*u - u. Solve y - n = u*y for y.
-1
Let n(l) = -l**2 - 7*l - 4. Let y be n(-6). Let k be 2 + 1 + 3 + -4. Suppose 5*z = k*z. Solve 3*o + y*o + 10 = z for o.
-2
Let a(m) = m**3 - 5*m**2 - 4*m - 6. Let z be a(6). Solve z = -4*w - 10 for w.
-4
Suppose 3*d - 4*d + 4*r - 9 = 0, -5*d + 4*r + 3 = 0. Solve -d*b - 6 = -b for b.
-3
Let r(m) be the second derivative of m**3/6 - 2*m**2 + m. Let k be r(-5). Let b = k + 14. Solve 4 = -b*a - 6 for a.
-2
Let i = 22 - 15. Let x(w) = w**2 + 1. Let u(g) = -7*g**2 + 7*g - 9. Let c(r) = -u(r) - 6*x(r). Let m be c(i). Solve -m*y = 14 - 5 for y.
-3
Suppose 11 = 10*n - 29. Let v = 9 - 3. Solve -h = -n*h + v for h.
2
Let a be 2/10 + (-868)/(-35). Solve -4*w - w = -a for w.
5
Suppose -w = -2*s - 7, 2*w + 5*s - 9 - 14 = 0. Solve -w = 4*y + 7 for y.
-4
Let y be 4/6 - (-48)/9. Suppose -3*d - 12 = -y*d. Solve d = m + 3*m for m.
1
Suppose -4*n - 3*f + 24 = 2, 0 = -2*n + f + 6. Solve -1 = -n*k + 3 for k.
1
Suppose 7 = 2*k - k. Let m(f) = f**2 + 5*f - 6. Let z be m(-6). Let o = 0 - z. Solve o = k*p - 5*p for p.
0
Suppose 4*p + 4*h + 6 = 30, 4*h = 2*p + 6. Let v(d) = 6*d**2. Suppose 4 = -z + 5*z. Let w be v(z). Solve 0*o - p*o = w for o.
-2
Suppose 0*q - 4*q - n = 43, -3*q - 16 = 4*n. Let r be 6*-3*2/q. Solve -k - 6 = -r*k for k.
3
Suppose -2*t = 4*n + 9 + 21, -3*n + 2*t - 5 = 0. Let c = 15 + n. Solve -4*u - c = 2 for u.
-3
Let u(n) = n**2 - n - 1. Let t = -2 - -4. Suppose b - 5*r - 12 = -2*b, -3*r - 11 = t*b. Let q be u(b). Solve -2*a = 5 + q for a.
-3
Let p(d) = -d**3 - 6*d**2 - 5*d + 4. Let k be p(-5). Suppose 0 = l - 3*l + k. Solve w = l*w for w.
0
Let z = 4 - 2. Suppose t + t = 4. Let a be -1 - t*2/(-4). Solve z*g = -a*g for g.
0
Let l(i) be the third derivative of 11*i**5/60 - i**4/24 + i**3/3 + 5*i**2. Let q be l(1). Solve -5*w + w = -q for w.
3
Let n be 32/48*30/4. Solve 0 = v + n for v.
-5
Let k(t) = -t**3 -