= -0*c + y*c, c = 5*o - 24 for c.
1
Suppose 1 = 3*i - v + 4, -2*i - 3*v + 9 = 0. Solve -4*y + g + 16 = i, 3*g - 2*g = -2*y + 8 for y.
4
Let c be (1 + -3)*(-24)/16. Solve c*z = -4*a - 11, 4*z = -2*a - 31 + 13 for a.
1
Let g(m) = -7 + 0*m + 12 - m**2 + 9*m. Let l be g(9). Solve -l*w + 2*q = q - 14, -q = -2*w + 5 for w.
3
Suppose 2*o - 11 = -2*f + 11, -o + 3*f + 31 = 0. Solve 5*k = k - 5*m - o, 3*k = -5*m - 12 for k.
-4
Suppose t + 27 = -5*o, t - 27 = -0*o + 4*o. Let c = o - -6. Let y = 2 + -1. Solve -3*r = j - 4, c*r = -r + 2*j - y for r.
1
Suppose 0 = -4*x, -3*m = -5*m - 5*x + 8. Let n(o) = 3*o - 4. Let w be n(5). Suppose -5*b = -w - m. Solve 28 = 5*l - 4*r, 3*r - r - 8 = -b*l for l.
4
Let m be (9/18)/(2/8). Let d(t) = -t**3 - 2*t**2 - 4. Let o be d(-3). Solve 2*q + m = 3*f, 0 = -2*f - o*q + q + 12 for f.
2
Suppose l + l = 0. Let p be (-3 - l)/((-6)/4). Let q be (6/(-2))/((-3)/p). Solve -q*t + 8 = 4*g, -4*t + 0 = -5*g - 3 for g.
1
Let z = 106 + -95. Solve -5*k - n = n + z, -k + 4*n = 11 for k.
-3
Suppose 1 = n - 2. Let r be (-3)/(((-12)/8)/1). Suppose x - 2*w - 32 = -6*w, -3*w - 52 = -4*x. Solve 0 = -z - 4, -n*h - x = -r*z + 3*z for h.
-4
Let y(k) = -k**3 + 10*k**2 - 13*k + 11. Let u be y(8). Let n be (-6)/8 - u/(-4). Solve 2*a + 7 = 4*f - 5*f, 2*a = -2*f - n for a.
-3
Suppose -3 = -4*b + 5. Solve m - 6 = -2*l + l, -2*l = -5*m + b for l.
4
Let p = 1 + -1. Let i(o) = -2*o**3 + 2*o**2 - 4*o - 6. Let x be i(-1). Solve v = -2, p*v - 2*v - 6 = x*j for j.
-1
Suppose -a - 14 = -4*t + 2*a, t = -a. Suppose 4 + t = 2*l. Let r(w) = -2*w - 1. Let i be r(-2). Solve u - i = 2*u, 0 = 3*y - l*u - 15 for y.
2
Let y(l) = l - 4. Let a be y(3). Let c(n) = -n - 1. Let v be c(a). Solve 2*q + 0*q - 6 = 2*d, v = -3*q + d + 3 for q.
0
Suppose 0*i - 5*i = v + 13, -5*v - 3*i + 23 = 0. Solve -2*m + v = 3*r, 4*r + 2*m = -m + 10 for r.
1
Let w(q) = 3*q**2 + 91*q - 59. Let n be w(-31). Suppose -b - 10 = -3*b. Solve 5*p = -2*c - 3, -3*c - 4 = n*p + b for c.
-4
Let a = -1 - 1. Let l = 1 - a. Let z be (1 - (3 - 2)) + l. Solve 3*y = -3*b + 18, 22 = -0*y + z*y + 4*b for y.
2
Let w = 2 - -2. Let m be (-20)/(-15)*(w + -1). Solve 4*i + 4*v + m = -4, 4*i + 6 = -5*v for i.
-4
Let u = -62 - -64. Solve 0*w + 5*w - 27 = -4*d, -u*d = -2*w for d.
3
Let c = 10 + 5. Suppose 5*l + 5 = c. Solve l*z = 4*v - 14, 2*z = 4*z - 2*v + 10 for z.
-3
Let f = 4 + -1. Suppose y = f - 0. Suppose y - 1 = -3*m + 2*z, 0 = -5*m + 2*z - 2. Solve -26 = -m*v + 5*v + 4*q, 5*q + 30 = -5*v for v.
-2
Suppose 5*o = 19 + 1. Solve 0 = 5*s - 3*a - 18, 0*s - o*s = a - 11 for s.
3
Suppose p - 2 = l - p, 4*l + 2*p + 28 = 0. Let h = l + 10. Let b = h + 0. Solve k - 1 = f + b*k, -4*k + 5 = -5*f for f.
-1
Let f(q) be the second derivative of q**4/12 + q**3/6 + 7*q**2/2 - 3*q. Let k be f(0). Let c = 10 - k. Solve 3*u = -4*b - 0*b + 19, -2*b - c = -u for u.
5
Suppose 0 = -4*d + 19 + 1. Let n be (-744)/(-54) - 4/(-18). Let u be (-2)/(-5) + 54/15. Solve -u*y - 4 = -2*k - n, d*k = 5*y - 15 for y.
2
Let t(z) = -z**3 + z**2. Let r = -7 + 6. Let u be t(r). Solve -3*f + 4*i + 1 = u*i, -5*i = 4*f - 9 for f.
1
Suppose 0*b - 4*m = 2*b + 32, -64 = 4*b + 5*m. Let z = b - -27. Suppose 0*c + z = 5*c + 3*p, -3*c + 9 = p. Solve -4*k = 2*g - c, -2*g + 2 = -3*k - 2 for g.
2
Let a(y) = 5*y**3 - 2*y**2 + 1. Let f = -6 + 7. Let t be a(f). Solve -2*r = -t*r + 4*z + 10, 2*r = 3*z + 7 for r.
-1
Suppose 0*h + 5*v - 33 = h, -4*h - v - 69 = 0. Let x = h - -21. Solve 2*b = -x*l - 4, -l + 3 = b - 2*l for b.
1
Suppose -s = -2*s + l, 5*l = 3*s - 4. Let z be ((-3)/s)/((-3)/(-6)). Solve 0 = -2*v + g - 7, -15 = -z*g for v.
-1
Let n be (-2)/(-5) + (-1292)/(-20). Let y be 3 - 1 - 2*1. Suppose 5*i + y*i = n. Solve 2*s + 12 = 3*z - i, 15 = 4*z + s for z.
5
Suppose -4*m = -4*a - 4, -3*a + 5*m - m = 7. Solve 6 = -g + 4*s - a, -3*g + 5*s = 13 for g.
-1
Suppose -7*r + 102 = -r. Solve -3*a = -5*t + r, 4*a + a = 5*t - 15 for t.
4
Suppose -2*c + 3 + 3 = 0. Suppose 2 = -j + 5*i - 4*i, 4*j = 3*i - c. Solve z + 4*q + 9 = 0, z + 2*z - j*q + 12 = 0 for z.
-5
Let o = 14 + -11. Solve 4*i + 16 = 0, 2*h + 2*i = -o*i - 16 for h.
2
Suppose 0 = -4*p - 3*i - 4 + 7, 0 = -2*p - 2*i. Suppose 0 = -0*m + p*m - 15. Suppose m*q - 12 = 13. Solve 2*s = s - 4*g + q, 0 = -2*s - 4*g + 10 for s.
5
Let b be 316/44 - (-4)/(-22). Let n = -7 + b. Solve -3*i = 2*r + r - 21, 4*r + 2*i - 24 = n for r.
5
Let o = -14 + 16. Suppose -20 = -0*w - 5*w. Suppose w = k + 2. Solve k = -z, 3 - o = -v - 2*z for v.
3
Suppose -3*w + w + 4 = 0. Solve 2*o = 4*r + w, -3*o + 5*o + 4 = -2*r for o.
-1
Let r = -3 + 6. Suppose -r*z = -o + 6, 0*z = -4*z. Solve -i + o = w - 2*w, 3*w = -i - 6 for w.
-3
Suppose 4*c + 2*u - 17 = -u, 4*c - 2 = 2*u. Solve 2*t - 10 = c*o, -4*t - 1 + 15 = -2*o for o.
-3
Let f(v) = v - 7. Let y be f(9). Solve u + q - 12 = 3*u, y*u + 16 = 3*q for u.
-5
Let x(l) = l**2 - 5*l + 2. Suppose -112 = -5*z + z. Suppose -z = -4*s - 8. Let g be x(s). Solve g*b - b - 8 = -5*f, 0 = -5*b + 3*f - 16 for b.
-2
Let z(l) = 9*l**3 - l**2 - l - 1. Let r be z(-1). Let s(x) = -x - 7. Let g be s(r). Solve -4*d + 2*w - 12 = 0, 2*w - 16 = 3*d - g*w for d.
-2
Let w(g) = -g**2 - 5*g + 5. Let y be w(-5). Suppose -2*z - y = x - 6*x, 0 = 2*z + 3*x - 19. Suppose 0*n = -z*n + 15. Solve -n*o = -i + 6, o - 4 = 2*i - 1 for i.
-3
Let q = 7 + -5. Let l = -4 - -4. Suppose 5*z = q*v + 7 + 9, -4*v + z + 4 = l. Solve -r + 5 = 5*a + v, -4*r + 2*a = 10 for r.
-2
Let v be -2 + (-13)/39*3*-4. Solve -v*q + 5*z + 5 = 3*q, 0 = 5*q - z - 9 for q.
2
Let z(a) = a**3 + 12*a**2 - 12*a + 13. Let p be z(-13). Solve 5*l = -3*q + 23, -l = -p*q + 2*q - 6 for q.
1
Suppose -4*j - 22 = -4*p - 2, 0 = -p + 2*j + 8. Let w be 10*1*4/p. Solve -2*s = -4*l - w, 0*s + 4*s = -5*l - 12 for l.
-4
Let c be (1 + -7)*15/6. Let p = c + 7. Let j = p - -13. Solve -2*l - j*h = 15, 5*h + 14 = -3*l - 1 for l.
0
Let t be (28/(-49))/((-2)/14). Solve t*j = 3*z - 4 + 23, 0 = 2*j + 2*z - 6 for j.
4
Let f be (-1 + 7)/(21/6 - 2). Solve f*g + 4*q + 45 = -q, -4*g + q = 15 for g.
-5
Let s be 0 - 2*(1 - 2). Let v be (-1)/3 - 5/(-15). Suppose -3*f + j + 2 + 2 = v, -5*j + 16 = -3*f. Solve 20 = f*z - 0*q - s*q, z + 5*q = -16 for z.
4
Let p be 26/6 - 2/6. Suppose 4*x - 16 = -4*l, -2*x = l - p - 0. Solve l*c + 5*h + 9 = 0, -h + 5*h + 8 = -3*c for c.
4
Let g = 13 + -18. Let b(x) = -8*x - 6. Let d be b(g). Suppose -4*h + 6*h = d. Solve 3*l + l - u = -h, 3*l - 5*u + 34 = 0 for l.
-3
Let f(w) = 8 + 5 - 2*w - 5 + 0. Let y be f(4). Solve 3*n = -2*l + 7, 5*l - 14 = -4*n - y for l.
2
Let b be ((0/11)/(-2 + 0))/2. Solve b = 4*k - l - 2, -2*k - l + 1 = 3 for k.
0
Let a = -61 + 68. Solve a = n + m, 17 = 2*n - m + 4*m for n.
4
Let d(v) = -v**3 - v**2 - 5*v - 9. Let j be d(-3). Solve -2*p + 0*w + 3*w = 14, -5*p + 2*w = j for p.
-4
Let j = 7 - 3. Suppose -2*c + j = -0*c. Solve -c*z - 2*z + 16 = -3*t, z = 3*t + 13 for z.
1
Let q(c) = -c**2 - 8*c - 4. Let o(y) = y**2 + 7*y - 11. Let f be o(-8). Let j be q(f). Let t = j + -9. Solve -6*i = -i - t*r + 10, 25 = -5*r for i.
-4
Let w be ((-12)/(-16))/(2/8). Suppose -w*l = -0*l + 5*g - 6, -4*l = -4*g + 24. Let u = 0 - l. Solve 0 = u*y + 4*v + 6, -y - 2 + 0 = 3*v for y.
-2
Let s be (-2 - 1)*(-2 - (1 - 2)). Solve b - w - 1 = 0, b - s*w - 1 = -4*w for b.
1
Suppose -3*k + k = -60. Let a be (-2)/(-12) + 775/k. Let w = -11 + a. Solve w = -5*c - 0*c - 4*i, 4*c + 5*i + 21 = 0 for c.
1
Suppose 4*v - 19 + 7 = 0. Suppose 1 = 3*d + q, 0 = -4*d - 2*q - v*q + 5. Solve d = -3*y - y + 20, 4*y = 4*z + 28 for z.
-2
Let i(u) = u**2 - 8*u - 5. Let d be i(9). Solve m + 4*m + 3*o - 25 = 0, o + 20 = d*m for m.
5
Suppose 2*b - 7 - 7 = 4*n, 2*n - 3*b = -13. Suppose 0 = 6*h - 3*h - 18. Let t = n + h. Solve 4*c = 5*o - 9, -c = -t*o + o + 4 for c.
-1
Suppose 2*z + 0*z = -5*b + 8, 0 = -5*z + b + 20. Let f be (4/(-10))/((-1)/15). Suppose 11*c = f*c. Solve c = -4*p + 2*q + 4, 0*q + 16 = -z*q for p.
-1
Let v(f) = -f**2 - 6*f - 7. Let q be v(-5). Let t = -2 + q. Let d be (9/1)/((-6)/t). Solve i + i = -d, 3*i = w - 8 for w.
-1
Let p be (-4 - -4) + 0/(-3). Suppose 4*m = -p*m. Solve 0 = 5*k + u - 29, m*u - 2*u + 28 = 4*k for k.
5
Let h = 82 - 77. Solve -h*t = -2*t - 2*d - 15, -5*d = 5*t for t.
3
Let p = -56 - -60. Let n = 7 + -4. Suppose 2*i - i = 5*v - 8, 3*v = -5*i + 16. Solve p*a + g = v*g, -n*g = 