 2*c - o = 9 for r.
-4
Suppose 4*x = -t - 0*t + 8, 5*t = -5*x - 5. Let o = t + 7. Solve 3*g + 1 = -5*c, g = 6*g + o*c + 7 for g.
-2
Suppose 7 = 2*m + 27. Let a be (-4)/m + (-16)/(-10). Let g = 2 + 1. Solve g*y + 1 = b + 5, 0 = 2*b + a*y - 16 for b.
5
Suppose 0 = -7*g - 1 + 15. Solve -g*s + 1 = -v - s, -2*v - 10 = 2*s for v.
-3
Suppose 0*c + 36 = -2*c. Let l be (-129)/(-27) - 4/c. Solve 0 = 3*z - 12, -6*i - 16 = -2*i - l*z for i.
1
Let z = 3 - 1. Suppose 0 = -4*d + z + 18. Solve 5 = -d*u, -2*n = 3*n - u + 4 for n.
-1
Let u be 189/35 - (-4)/(-10). Suppose u*g + 15 = -0, 4*z = -5*g - 7. Solve 3*t - t - 3*h = 5, 3 = t - z*h for t.
1
Let j = 12 + -10. Let z(i) = 4*i**2 + 2. Let u be z(j). Let w be 2*1/2*5. Solve -w*q + 4*p = -q + 16, 2*q = 4*p - u for q.
1
Let d be (0 - (-3 - -1)) + -2. Solve -5*p - x = 7, d*p + 6 = -4*p - x for p.
-1
Let r = -66 + 71. Solve -j + 2 = -4*p - 0*j, -r*p + 2*j - 4 = 0 for p.
0
Let g be (-3)/((-9)/39) + -6 + 8. Let a(y) = -3*y - 1. Let p be a(-1). Solve 0 = 2*u + 10, -5*d + p*u + 2*u = -g for d.
-1
Let d(m) = -m - 5. Let i be d(-10). Solve -3*u + 4*u - 17 = i*g, 11 = u - 3*g for u.
2
Let p be (-1)/2 - 10/4. Let i = -4 - p. Let r be (-1)/2*(i - -1). Solve -2*n - 3*j - 14 = r, -n + 2 = -0*n - 3*j for n.
-4
Let c(d) = -d**3 + 3*d**2 + 6*d - 6. Let g(r) = -r - 1. Let h be g(-3). Suppose -h*a + 4 = -a. Let w be c(a). Solve -4*x + 8 = -4*v, 5*x - 8 - 8 = w*v for x.
4
Let o(r) = r**3 + 3*r**2 - r. Let j be o(-3). Let l(v) = -v**2 + 3*v + 2. Let y be l(j). Solve 4 = -y*x, -4*m - 3*x - 8 = x for m.
0
Let y be 4 + 2 + 2 + -5. Let o = y - 0. Solve o*z - 4*j = 19, -3*z + 5*j + 3 = -20 for z.
1
Suppose -3 + 1 = -2*m. Suppose m = 3*r - 8. Solve 2*t + z = -z - 4, 4*z = -r*t - 9 for t.
1
Let g = 12 - 6. Let q = -5 + g. Let l be (q*-3)/(21/(-154)). Solve l = 4*b + 2*u, -6 = -4*b - u + 13 for b.
4
Let v(q) = q + 6. Let o be v(5). Suppose -3*h + f = -o, 0*h + f = -3*h + 13. Solve -2*c + 14 + h = -2*l, 2*l + 2 = -2*c for l.
-5
Let j(k) be the second derivative of -k**4/12 - k**3 - 3*k**2/2 - k. Let b be j(-4). Solve -4 = 5*i - 3*x, x = -2*i + b*i for i.
1
Suppose 3*c = 2*c + 4. Solve 3*b = c*a + 6, -2*b + 0*b + 3*a + 4 = 0 for b.
2
Let g be 74/14 + 4/(-14). Suppose g*w = w + 16. Solve 5*z + w*b = -21, -5*z - 4*b - 11 = -2*z for z.
-5
Suppose 4*i - 2*t = 6*i - 4, -2*i + 2*t - 4 = 0. Let n = i - -11. Let k be -2 + (-2 - -1*n). Solve -3*r + 2*v - k = 6, -4*r + v = 19 for r.
-5
Let o = -21 + 12. Let x = -4 - o. Let g(z) = z - 6. Let v be g(6). Solve v = x*w + m + 16, 4*w + 6*m - m - 4 = 0 for w.
-4
Suppose 20 = 4*x + 5*q, 6*q - 16 = 4*x + 2*q. Let k(v) = -2*v - 4. Let c be k(-6). Let p = 6 + -2. Solve -3*n + 5*n + 4*z = c, 4*n + p*z = x for n.
-4
Let z be (-2)/(-3)*(-30)/(-4). Suppose -d + 6 + 13 = w, 53 = 2*w + 5*d. Solve -4*r = -z*f - r - w, 4*f + r + 1 = 0 for f.
-1
Let j = 13 + 4. Solve -t = -r - 4, 3*r + j = -0*t - 2*t for r.
-5
Suppose 3*i - 4*q + 3*q = -25, -4*q = 20. Let v be (i/(-3))/((-10)/(-15)). Solve 0*o + v*d + 6 = -4*o, o - 4*d - 9 = 0 for o.
1
Let d = -3 + 6. Let r = d + -3. Solve -3*u + 5 = -2*u, -5*g - 2*u + 20 = r for g.
2
Suppose 4 = 3*q - 2*q. Solve -2*v + 11 = 5*g, -7 = 2*g - q*v - 21 for g.
3
Let y = 18 + -14. Solve -o + y*l + 1 = 0, 5 = -0*l + 5*l for o.
5
Suppose i - 12 = 5. Let x = i - -12. Solve -4 = 4*k + 8, -x = -4*c + 3*k for c.
5
Let c be 6 - (2 - (2 - 2)). Solve -c*k = -4, -4*m + 5*k = m + 15 for m.
-2
Suppose 0 = 4*k - 90 + 10. Let s = k + -12. Suppose 3*o - 29 + s = 0. Solve -t + 18 = -3*c, o = 4*t + 4*c - 3*c for t.
3
Suppose 8 = 4*f - 7*f + 5*v, 2*f + 2*v = 16. Suppose 0 = -y - y + f. Let t = 1 + y. Solve 3*j + 17 = -a, t*a - a = -j - 9 for a.
-2
Let z(v) = 3 + 5*v + 1 - v**2 - 5 - 3. Let q be z(4). Solve -21 = 3*d - 3*k, q = 4*d + 2*k - 1 - 1 for d.
-2
Let f(y) = y**3 - 7*y**2 + 2*y - 10. Let s be f(7). Solve -n - 2 = 0, 2*o + 8*n + s = 3*n for o.
3
Let k = -18 + 24. Solve 3 = -2*n + o + k, 2*n = -2*o - 6 for n.
0
Suppose 25*z = 28*z - 15. Solve -10 = z*h, -2*h = 3*t + 2*h - 4 for t.
4
Suppose 11*b = 14*b - 15. Let v be 1/(-4) - (-1)/4. Solve -5*j + j = -3*y, -3*j + y + b = v for j.
3
Let y be (-6)/(-1)*(-2)/3. Let n be (-48)/(-20) + y/10. Solve -4*c = -n*c - 10, -4*c + 15 = -w for w.
5
Suppose 14*c - 5*c - 45 = 0. Solve 5*t - 4*k + 0*k = 22, t + 13 = -c*k for t.
2
Suppose -k = -2*k + 3. Suppose -q + 3*q + 2 = 2*g, k*g + 5*q = 35. Solve g*z + x = 0, 5 - 2 = 2*z + x for z.
-1
Let c = -5 - -7. Let j be c/(-4)*80/(-10). Solve -3*g - 20 = -a, 4*g + g = -j*a - 5 for a.
5
Let o be 1 - (-2 - (-2 - 1)). Let h(y) = 4*y**3 - 2*y**2 + 2*y - 1. Let j be h(1). Solve -4*n = 5*w + 18, -j*n - 2*n + 4*w - 2 = o for n.
-2
Let y = -22 - -11. Let k = y + 18. Solve -c + 5*d + 13 = 0, d - k = 5*c - 0 for c.
-2
Suppose 2*j + 3 = x + 3*j, -x + 3 = 5*j. Suppose r - 2 - 7 = 0. Suppose -4*v + v = -r. Solve 2*n + x + 16 = -3*i, 4 = n - v*i for n.
-5
Let m = 198 + -198. Solve j - 5 = -m*j + 3*k, 2*k = 5*j - 12 for j.
2
Suppose 5*u - u - 96 = 0. Suppose 0*j = -3*j + u. Solve -3*x - 4*g = -j, 4*x - 3 = x - 3*g for x.
-4
Suppose 2*c - 3*w = w + 40, c = 5*w + 20. Let t be (2 - 0)*c/8. Solve 4*s = 2*n - 6, -t*n - 5*s - 6 + 21 = 0 for n.
3
Suppose 2 = -0*v + v. Let o(c) = -8*c + c**3 - 6*c**2 - v*c**2 + 0*c**2 - 7. Let h be o(9). Solve -h*i + 35 = x + 4*x, 4*x - 25 = -i for i.
5
Let v be 31/6 + (-1)/6. Suppose -4*t + 2*w = -11 - 9, t = -4*w + v. Suppose o + 2*r - 3 = -0, t*r - 5 = 0. Solve -2*i - 4*x + 16 = 0, 3*i = 3*x - 4 + o for i.
2
Let m(c) = 3*c - 7. Let t be m(6). Solve -3*u + 2*w - 3*w = t, -2*w - 10 = 3*u for u.
-4
Suppose 16 + 9 = 5*h. Solve -3*p + h*m - 3*m = -7, -2*p - m = 7 for p.
-1
Let r(a) = -2*a - 7. Let b be r(-6). Suppose -7*w = -2*w - b. Let q be 0*(w - 3/2). Solve 0 = -k - 4*c - 18, -5*k + 3*k - 3*c - 16 = q for k.
-2
Suppose 0 = -0*d - d + 11. Let p(a) = -5*a - 15. Let w be p(-6). Suppose 0 = 2*q + 3*q - w. Solve -3*i + 3 + 4 = 4*b, 0 = -5*b - q*i + d for b.
4
Suppose -3*y = -f - 3*f - 8, f = 5*y + 15. Let p(g) = -10*g - 1. Let s be p(-1). Let o = s + y. Solve o*m + 5*h = -0*m - 15, -5 = 5*m - 5*h for m.
-2
Let o be (15/6 - 2)*60. Let x = o - 19. Solve -5*b + x = 3*q, 5*q = -5*b + 2 + 3 for b.
4
Let v = -3 - -1. Suppose 3*z = 4*h + 2, z + 5*h - 7 = -0. Let y = v + z. Solve 3 = -r - y*q + q, 3*r - 2*q = -5 for r.
1
Let i(m) = -m**3 + 8*m**2 + 10*m - 4. Let n be i(9). Suppose n*d + 2*v = 20, 2 + 10 = 3*d - 4*v. Solve d*u + 3*r = -23, 5*u - 2*u + 31 = -5*r for u.
-2
Let r = 45 - 33. Solve r = -d - 4*b, b + 7 = -3*d - 7 for d.
-4
Suppose v = -2*v + 15. Suppose 15 = v*a, -7*a + 2*a + 21 = f. Let k = 1 - -2. Solve -3*m - k = 3, -d - m = f for d.
-4
Suppose -4*y = -12 - 0. Suppose -15 = -s - v - 0*v, 2*s - y*v - 45 = 0. Let b = 4 + -2. Solve b*i = 4*w + w - s, -3*i - 16 = -2*w for w.
2
Let w(o) = -o**3 + 5*o**2 + o - 3. Let m be w(5). Solve -3 = m*i - 3*v, -2*i = i - 2*v + 2 for i.
0
Let h(z) = -z**3 + 9*z**2 - 10*z + 2. Let g be h(8). Let p = g - -1. Let w = p - -18. Solve 0 = -2*o - w*x + 10, 3*x = 4*x for o.
5
Suppose -25 = -2*h + 5. Solve 3*j - 5*u = 13, -h = -2*u + 5*u for j.
-4
Let x be (1/(-2))/(6/(-12)). Let q be (-6)/(3/(-1)) + x. Solve 4*d = 3*d + b - 1, 5*d + q*b = 35 for d.
4
Let i = -7 - -16. Solve 5*w - 4*n - 16 = i, -2*n = -3*w + 15 for w.
5
Suppose -6*l + 2*l + 288 = 0. Suppose -o + 4 = o, -y - o - l = 0. Let d be 2/(-7) + y/(-14). Solve -8 = 3*c - 5*c, -2*c = d*w + 12 for w.
-4
Let t = 93 - 88. Solve 2*f + 5 = 3*f, 2*c + t*f - 35 = 0 for c.
5
Let h be (10/(-6) + -1)*-6. Suppose -h = -3*m - 7. Solve 5*f - 4*l - 20 = -0*f, -m*f = 2*l - 12 for f.
4
Let n be 6/(-3)*(-15)/2. Suppose 2*f + 3*f = n. Suppose -5*k + 3 = -7. Solve -k*j = f*w + 5 + 10, -2*w - 4*j - 18 = 0 for w.
-3
Let d be -5*(1 + 22/(-10)). Let x = d + -2. Let j be ((-27)/(-2))/(3/x). Solve -11 = z - 5*o + j, 2*z + 2*o - 2 = 0 for z.
-4
Let v(f) = -f**3 + 5*f**2 + 7*f - 1. Let k be v(6). Let r(d) = 4 - 2 - 1 - 2*d**3 - d**2. Let x be r(-1). Solve x*l = 6*l + k*m - 25, 4*m - 20 = -3*l for l.
0
Let p(t) = -4*t - 17. Let k be p(-5). Solve k*a + 4*j = -j - 34, 0 = 3*j + 15 for a.
-3
Let g(k) = -2*k**2 - 3*k + 4. Let t(p) = -2*p**2 - 4*p + 5. Let n(i) = -5*g(i) + 4*t(i). Let m be n(-1). Solve 0 = -m*z - 2*z + 5*q - 10, 0 = 4*q - 8 for z.
0
Suppose 0 = 