 o, 5*x + 18 + 2 = 0 for m.
-5
Let n(p) = p**3 - 4*p**2 + 3*p + 3. Let z be n(3). Suppose 4*r - 2*v = v - 4, -z*v + 20 = 4*r. Solve -o - 2 = y + 2, 7 = -o - r*y for o.
-1
Let z be (-4 - -1)*(-2)/6. Suppose r - 4 = z. Suppose -5*g + 37 = 5*k + 2, -4*k - 4 = -4*g. Solve -4*n = g*t - 24, 3*t + 1 - r = 4*n for n.
2
Let r = 369 - 363. Let h be (-1)/((-8)/6)*4. Solve -3*w = -u - 12, -12 = h*w - r*w + 4*u for w.
4
Let w = 9 - 5. Solve 0 = 3*c + 2*p - 8, -6*c + 3*c + p = w for c.
0
Suppose q - 2*n + 6 = -0*n, 4*n - 16 = q. Suppose 2*r = q*r - 6. Solve 2*t = 3*b - 2 - 5, 8 = -r*b - t for b.
-1
Let p(t) = t**3 - 6*t**2 + t - 1. Let r be p(6). Let k(j) = j + 4. Let d be k(0). Suppose 0 = -z - d*z. Solve z = -i - 3*g + r, -i + 2*g = g - 5 for i.
5
Suppose 0 = -5*z + z + 744. Suppose 0 = -5*a + z - 6. Solve -5*c = 2*i + 33, 0 = -4*c + 2*i - 6*i - a for c.
-5
Let y = 13 + -7. Let f = y + -4. Suppose 23 = f*a - a. Solve -z - 3*j - a = -3, 0 = 4*z + 5*j + 45 for z.
-5
Suppose -10*v = -12*v + 6. Suppose -4*b - x = -16, -8*b - 4*x + 31 = -v*b. Solve -2*t = 2, -5*o + 11 - b = -3*t for o.
1
Suppose 0 = 7*r - 6*r - 5. Let d(s) = s**3 - 6*s**2 + 6*s - 3. Let i be d(r). Solve i*w + t + 4*t = -8, -3 = -w + t for w.
1
Let r = 245 - 125. Suppose -r = a - 5*a. Solve -5*f + q + a = 0, 5*q + 33 = 5*f - 17 for f.
5
Let h be ((-8)/(-2))/(4/15). Solve -13 = -2*c + 5*f, 3*f - 3 = -3*c - h for c.
-1
Let i be ((-21)/28)/((-3)/8). Suppose i*j = -4*u - 0*j + 12, -5*u - 4*j = -9. Solve -3*t = 3*k, 0 = -4*k + k + u*t for k.
0
Suppose 5*z + 12 = -o - o, 0 = 4*o + 2*z - 8. Suppose d - o*d + 60 = 0. Solve 0 = -2*j - 4*a - d, j - 7 = -3*a - 22 for j.
0
Suppose 0 = 7*v - 2*v - 30. Let t = v - 6. Solve 1 = -i - w, t*w + w = -2*i + 1 for i.
2
Let h be (-5)/(240/(-136)) - (-2)/12. Solve -4 - 4 = i + h*b, 4*b + 8 = 0 for i.
-2
Suppose -26 = 17*m - 18*m. Solve -5*g + 4 + m = -4*f, -16 = -3*g + 2*f for g.
2
Suppose 3*h + 2*h - 20 = 0. Solve -j + p = 0, 0 = -3*j - h*p + 7 + 7 for j.
2
Let u = 12 + -9. Suppose 4*k = u*k + 3. Solve k*g - g - 4*a = -6, -3*g - 9 = -3*a for g.
-3
Let q = 8 - 2. Solve 0 = 2*j - 10, i + 3*j = q*i + 20 for i.
-1
Let x = 9 - -1. Suppose -3*u = -5*q - 28, -5*q + 4*u = 19 + x. Let h(v) = -3*v - 7. Let d be h(q). Solve 4*f - 13 = 5*w, 0*w + 4*w - 2*f + d = 0 for w.
-1
Let a(g) = -2*g**2 - g - 1. Let q be a(-1). Let p = q + 6. Let x = 13 + p. Solve 2*l = 3*v - 2*l + x, 0 = 5*v - l for v.
1
Let p = -8 - -9. Suppose 7 = 2*f + p. Solve 2*k + f*i + 7 = 2, -10 = 5*k + 5*i for k.
-1
Let t(k) = -k**3 - 12*k**2 + k + 7. Let y be t(-12). Let n = y - -10. Suppose 5*b - 20 = -5*r, -r + 4*b + n = -4. Solve 0 = -3*i + r*q + 21, -1 - 2 = q for i.
2
Let m = 5 - 3. Let k(r) = 3*r**2 - 4*r + 2. Let p be k(m). Let u be (-1)/((-2)/p + 0). Solve 0 = -g + 2*h - 7, g + 6*h - u*h - 3 = 0 for g.
-3
Let h = -7 + 11. Let f(p) = -3*p**2 + 8*p**2 - 4*p**3 + 3*p**3 - p + 6 - 3*p. Let b be f(h). Solve 8 = t - 4*q, t - 3*q = -q + b for t.
4
Let s(b) be the first derivative of b**3/3 + 7*b**2/2 - 4*b + 3. Let h be s(-8). Solve 27 = 5*k + v, -3 = k - 2*v - h for k.
5
Let t = 2 - 0. Suppose 0 = -p + c - 3, t = c + 3. Let r = p - -6. Solve 2*l + 3*g = -2, r*l + g = 3*l - 9 for l.
5
Let t(v) = v + 8. Let r be t(-6). Suppose r*b = -0*b + 6. Solve -b = -5*a - 2*c - 0, 7 = 2*a - 5*c for a.
1
Let h(o) = -o**3 - 5*o**2 + 5*o - 5. Let v be h(-6). Suppose -4*n = -62 + 10. Suppose -4*l + 3 + n = 0. Solve 5*d - 4*m = v, l*d - 7 = -d - 2*m for d.
1
Let h(g) = g**3 - 8*g**2 - 6*g - 13. Let r be h(9). Let m = r + -11. Solve u - 5*f = -3*u - 3, 0 = -m*u + f + 6 for u.
3
Suppose 5*z + 40 = 4*l, 2*z = -l + 5*z + 17. Solve l*d = 3*q + 2*q, 2 = 2*d for q.
1
Let k(s) = -s**2 + 6*s + 10. Let n be k(7). Let y be (0 - -1) + 1 + 0. Solve n*d = -2*o + 4*o + y, 3 = 3*d - 3*o for d.
0
Let p be (-11)/(-2) - 1/2. Suppose -3*y + 16 = -a - 3*a, -y = -a - p. Suppose -2*f = -y*f. Solve -2*b + 4*q - 6 = f, 6*b - 5*q + 6 = 2*b for b.
1
Suppose 2*s - 10 = -w - 2*s, 0 = 2*s - 4. Suppose 0 = w*f - 4*f + 4. Solve c - 4 = -f*l, l - 6 = 5*l - 5*c for l.
1
Let f(o) = -o**2 - 6*o - 5. Let u be f(-4). Solve -w = p - 1, p = u*w + 7 + 2 for w.
-2
Suppose 12 = v - i, 0 = -6*i + i + 20. Let t = 2 - -2. Solve 8*a = -2*x + 3*a - 28, -t*a - v = 0 for x.
-4
Let d = -11 + 14. Suppose -2 = -d*t + 4. Solve -11 + 3 = 4*k - 4*b, -b + t = 3*k for k.
0
Let p be (-3)/2*(-4 + 2). Solve -p*x = -5*t - 2, 0 = -x + 6*x + 5*t - 30 for x.
4
Let b(w) = -w**2 - w. Let a be b(-1). Solve -2*g = -g + 5*r - 24, r - 5 = a for g.
-1
Suppose 0 = -3*r + r + 6. Let g be 4/(-2 + 1 + r). Solve 0 = -2*d + 8, -3*p - d - 11 = g*p for p.
-3
Suppose -5 = 3*t - 11. Solve t*w = -2*h - 16, -w = 5*h - 3*h + 12 for w.
-4
Let c = -1 - -3. Suppose -4 = -k + w, -4*k - c*w + 13 = k. Solve k = 4*o - 17, -3*o + 23 = 4*j for j.
2
Suppose 2*c + 3 = 19. Solve 2*y + 3*l = 4*y - 8, 0 = 2*l + c for y.
-2
Let c(s) = 3*s**2. Let j(z) = -z**2. Let r be j(-2). Let p = 5 + r. Let n be c(p). Solve 3*a + 4 = -v, -3*a - 13 = -2*v - n for a.
-2
Suppose 0 = 3*o - 0*o - 30. Suppose 2*z + o = 5*a, -5*a + 5*z - 3 = 2. Solve 3*f - 5*k = -a, -3*f + 1 = -2*k - 1 for f.
2
Let l be ((-7)/3)/(1/(-3)). Suppose -l*z + 5 = -2*z. Let x be z - (-1)/((-2)/(-28)). Solve -3*p - x = 2*j, -2*j - 5*p = -13 + 34 for j.
-3
Let h = -99 - -104. Solve 0 = -2*s + 3*a + 11, h*a = -s - s - 29 for s.
-2
Let i be ((-4)/8 - -2)*2. Suppose p = 2*p. Solve 32 = -i*v + 4*z, v - z + 9 = -p*z for v.
-4
Let y(m) = -12 - 3 + 5*m - 1. Let t be y(8). Solve 0 = -5*i + k - t, -46 + 16 = 5*i + 5*k for i.
-5
Suppose -4*s = -5*i - 3 + 71, -5*s + 95 = 5*i. Suppose 0 = 2*w + 2*w - i. Solve -18 = w*t - 3*c, 2*t + 4*c + 2 = 2*c for t.
-3
Suppose -18 = -3*q + 3*i, 4*i = 2*q - i - 12. Let r(o) = o**3 - 6*o**2 - o + 6. Let u be r(q). Solve 12 = 3*m, -5*s + u = 2*m + 2 for s.
-2
Let z(y) be the second derivative of y**4/12 - y**3/6 - y**2 + 9*y. Let a be z(-2). Solve i + a*i + 26 = -3*u, 4*u = 3*i + 4 for u.
-2
Let d be -2 - -3 - (-2)/(-2). Suppose 5*v + d*v = 0. Solve 2 = -2*w - v*r + 2*r, 3*r - 5 = w for w.
1
Let s be ((-2)/(-4))/((-3)/(-12)). Let p = 35 + -29. Solve -12 = u + 3*w, -s*w - p = 4*u - 4*w for u.
-3
Suppose 3*g - 9 = -2*d, -2*d + 0 = g + 1. Solve 5*c + 30 = -g*m + 3*m, 4*c = 4*m + 4 for c.
-4
Let q(d) be the second derivative of -9/2*d**2 + d - 1/3*d**3 + 0. Let a be q(-6). Solve h + 6 = -3*j - 11, 0 = a*h + 6 for j.
-5
Suppose 0 = -5*o + 5*i + 10, -2*i - 3*i + 50 = 5*o. Suppose -4*y = 3*h - 2 - o, -16 = -3*h + 4*y. Solve -d + 3*d - 14 = 5*j, -h*d = -3*j - 14 for d.
2
Suppose -304*t = -308*t + 20. Solve 3*b + t*k + 40 = 0, 4*b = -3*k + 5 - 40 for b.
-5
Let z(y) = -y**3 + 9*y**2 - 6*y - 5. Let m be z(8). Let j(u) = u**3 - 11*u**2 + 5. Let q be j(m). Solve -3*s + 10 = -3*r + 2*r, -q*s + 2*r = -17 for s.
3
Suppose 4*a = -a + 30. Suppose -v - 4*v = -20. Suppose -a*w - 10 = -w, 2*r + 4*w = v. Solve -4*x + 8 = 0, -4*p + r*p + 2 = -2*x for p.
-3
Suppose -3*u = -5*u. Suppose -4*a + 0*a + 40 = u. Suppose 0*w + w = -r, a = -3*r - 5*w. Solve -r*f + h + 2*h = -30, -5*f - 2*h = -5 for f.
3
Let x = 6 - 4. Solve -3*a - 3 = -5*s, -5 = 2*s + 7*a - x*a for s.
0
Let m be 0 + -1 + (-3)/(-1). Let a(u) = -u**3 - 5*u**2 + 1. Let h be a(-5). Let r = h + m. Solve -3*w - 12 = -4*i, w = 3*i - 7 + r for w.
-4
Let t be (2 - 1) + -3 - -5. Solve m = h + 3, t*m = 2*h + 7*m - 24 for h.
2
Let n(o) = o**2 + 2*o - 3. Suppose -2*g = 2*g - 4*p, -5*g = -p + 16. Let s be n(g). Solve 12 = -4*j + 2*x - 18, 5*j - s*x + 50 = 0 for j.
-5
Suppose 4*u + u = -10. Let h be 3 + u/(-1 + 0). Let n = -199 + 218. Solve 3*k + 3 = -h*f + 2*f, -k + n = -3*f for f.
-5
Let n(b) = -b**2 - 5*b - 1. Let q be n(-2). Solve -3*x + 2*x - 10 = q*v, 29 = -5*x - 4*v for x.
-5
Suppose -5*g + g + 184 = 3*a, -a + 43 = 5*g. Suppose -4*z - 16 + a = 0. Let q(b) = -b**3 + 6*b**2 + 7*b. Let x be q(7). Solve x = d - t - 6, -4*t = 7 + z for d.
1
Let l be 1/(-5) - (-6)/30. Solve -5*m + 0 + 16 = 2*o, l = m + 5*o - 17 for m.
2
Suppose 2*u = u. Suppose -2*n = 4*d - u - 8, -13 = -5*n - 3*d. Suppose 4*w + 3*t = 5, -3*w + 5 = n*t + 1. Solve -w*r + 4 - 14 = 0, -r = v + 5 for v.
0
Suppose 2*s + 2*s + 60 = 0. Suppose -2*d = 2*d - 8. Let p be s/(-4) + d/8. Solve 5*f = 4*c + 7, -2*c - 2*f - p = 4 for c.
-3
Suppose -2*o + 26 = q, 5*q = 4*o