= -3*c - 5*u for c.
-5
Suppose -20 = -6*l + l. Suppose -l*h + 36 = -0*h. Let q = h - 5. Solve -4*v = q*w - 4, 4*w - v - 31 = 4*v for w.
4
Let k be 0/(-6 - -3 - 1). Let x(r) = r**3 + 7*r**2 + 6*r + 1. Let l be x(-4). Solve -i + 5*i + 5*q - 20 = 0, 5*i - 3*q - l = k for i.
5
Let m be (-2)/3*(-12)/2. Suppose 0 = 2*z + 5*h - 40, -5*z = -h - 2*h - 38. Let u = 0 + z. Solve 0 = -m*n + 4*b + 16, 3*n - 6*b = -b + u for n.
5
Suppose -5*f = -3*z + 12, 13*f = 14*f. Solve -5*y + 0 = 5, z = 2*s + 4*y for s.
4
Let j(g) = -g - 4. Let b be j(-6). Let t = b - -1. Solve 0 = -t*o - 3*u + 15, o = -u + 2*u - 1 for o.
2
Suppose -136 = -4*r + 6*x - 10*x, 5*x = 3*r - 86. Solve -2*l + 4*g = -8, -3*l - l - 4*g = r for l.
-4
Suppose -4*x = k - 101, 5*x - 5*k = -0*x + 145. Suppose -2*n = 2*n - 20. Let s = n + 0. Solve -4*c = s*l + x, 5*c + 16 - 2 = 3*l for l.
-2
Let m be ((-2)/4)/((-1)/10). Suppose k = -4*k + 4*p + 12, 3*k - m*p - 2 = 0. Let b be (-336)/(-35) - k/(-10). Solve -4*j = -5*a + j - b, -5*j = -a + 2 for a.
-3
Let s be 52/20 - 4/(-10). Let p = -3 + s. Solve q - 4*r = 17, p*q + q - r = 2 for q.
-3
Let k be (1 - 2)/(-4) - (-28)/16. Solve 8 - k = -a - 3*b, -2*a = -b + 5 for a.
-3
Suppose 0 = 22*w - 20*w - 6. Solve -3*o - 18 = 3*g, -g = w*g + 3*o + 20 for g.
-2
Let o be (-9)/6*30/(-9). Let n(m) = -m**2 + 6*m. Let v be n(o). Let u(r) = -r + 8. Let g be u(v). Solve -4 = -p + g*b - 0, 0 = -3*p - 5*b - 16 for p.
-2
Suppose 3*c - 4 = 2*j, 0 = 4*j - j - 4*c + 5. Suppose -j = -g - 0. Let r(n) = 8*n. Let l be r(g). Solve -f = -v, l = -v - 0*f - 3*f for v.
-2
Let s be (-14)/(-4) - (-6)/(-12). Solve -j + s - 13 = -3*l, l + 3*j = -10 for l.
2
Let c(r) = -r**3 - 3*r**2 - 3*r. Let m be c(-2). Suppose -m*f + p = -14, 5*f = -3*p + p + 17. Solve 2*g - 3*y = -0 - f, -2*g + 2*y - 2 = 0 for g.
2
Let b(h) = h**3 + 4*h**2 + 1. Let f be -2 + -1 - (-1 - -2). Let j be b(f). Let i = 3 - j. Solve 2*d - i = z, 0 = -4*d - d + 15 for z.
4
Let i(s) = -5*s - 3. Let u be i(-9). Solve 5*t - u + 7 = 2*w, -2*w + 2*t = 20 for w.
-5
Suppose 0 = 5*b - o + 2 - 0, -o = 5*b + 8. Let v be b/(-1) + (-28)/(-14). Solve -v*h + 3*s = 0, 2*h - 5*s = -0*h - 6 for h.
2
Let q be (-2 + 3)/((-2)/(-8)). Suppose -5*p + 17 - 3 = k, 0 = 3*p - k - 10. Solve p*a = 15, q*m - a + 4 = -1 for m.
0
Suppose 6*v + 4 = 2*v, v = -5*r + 14. Let d be 3 - r/3 - 2. Solve 5*u = d, 4*u = 3*o - u + 9 for o.
-3
Suppose 5*y - 5*k - 35 = 0, -3*k + 26 - 2 = 2*y. Solve -3*j + 3*m = y, -3*j - m + 9 = -j for j.
2
Let z(o) = -o**3 + 22*o**2 - o + 24. Let s be z(22). Solve -s*h - l + 3 = -4*h, -3*h = 3*l + 27 for h.
-4
Let d(k) = 16*k + 1. Let h be d(1). Let o = h + -10. Solve o*n - 4*n = 4*g - 7, -5*n - g = 27 for n.
-5
Let s(a) = 4*a**3 + 2*a**2 - a. Let j be s(1). Suppose 0 = -3*k + 1 + 2. Let m be 1/(-4)*(-8)/k. Solve 4*h - j = -z, -m*h - 5 = 5*z - 2*z for h.
2
Let m(p) = -4*p + 10. Let d(n) = -n + 1. Let h(t) = 2*d(t) - m(t). Let b be h(7). Suppose 21 = k - 15. Solve i + b = 2*l, 0*l + k = 4*i + 4*l for i.
4
Suppose -3*m = -t - 37, 72 = 5*m + 5*t + 17. Suppose -2 + 7 = -5*r, 3*r + m = 3*n. Solve 6 - 4 = -2*v, -n*w + 2*v = 7 for w.
-3
Suppose -2 = 3*z - 86. Solve -4*l = -4, -5*w = -0*l - 3*l + z for w.
-5
Let o be (-62)/(-8) - 2/(-8). Suppose -o*z = -3*z - 40. Solve 2*p = -g + 4*g + z, -5*p = -4*g - 20 for g.
0
Let d = 90 - 86. Solve -4*c = -4*a - 20, -5*a + d*c = 2*c + 13 for a.
-1
Suppose l + 15 = 6*l. Solve 3 = j - 5*c + 4, -3*c + l = -3*j for j.
-1
Let z(t) = -2*t + 53. Let f be z(25). Solve -f*a + 5 = 2*a, 5*h - 10 = 5*a for h.
3
Suppose 10*p = 14*p - 20. Solve p*y + 50 = 5*k, -3*k + 0*y - 3*y = 0 for k.
5
Let l be (9/18)/(2/8). Let t = -3 - -10. Solve q - 3 = l*p - t, -p = 3*q - 2 for q.
0
Let l be 1/5 + 2/(-10) - -2. Solve q - 5*y = 1, -l*q - 3 = -5*y - 0*y for q.
-4
Let g = 3 + -9. Let z(n) = -n**2 - 8*n - 9. Let q be z(g). Suppose -5 = 4*b + 7, 4*l = -b + 9. Solve 2*w + 6 = l*w + q*u, -5*u + 14 = 3*w for w.
3
Let o = -2 + 1. Let r = -5 + -21. Let x be (r/(-4) - o)*2. Solve -7 = -3*c - 4*s - x, -2*c - 4 = 4*s for c.
-4
Let x(t) = t**2 + 4*t + 1. Let o be x(-4). Let g be (-78)/(-8) - o/(-4). Let u be g/4*12/15. Solve 4 = j + 2*i, -u*i = j - 6*i + 2 for j.
2
Suppose -15 = -2*l - l, 5*l = -i + 29. Solve 3*y - 2*y + 3*z = -6, y + z = -i for y.
-3
Let g = -38 + 41. Solve 4*u + 12 = 0, g*j + 2*j - 15 = 5*u for j.
0
Suppose 0 = o - 3 - 1. Suppose 0 = 3*b + 2*g - 6, b = -0*b - o*g - 8. Let n = 2 - 1. Solve 5*t - b*s + 8*s = -n, -5*t + s + 19 = 0 for t.
3
Let c = -3 + 3. Suppose 10 = 3*m + 2*z - 4*z, -z + 1 = c. Solve 2*r - 26 = 4*n, -5*r - m = n - 25 for n.
-4
Let i be 28/(-16)*2*-6. Solve 14 = -m - 2*j, -m + 3*j + i = -2*j for m.
-4
Let t(u) = -u**2 + 4*u + 6. Let c be t(4). Let a(w) = 2*w. Let y be a(-6). Let q = -7 - y. Solve 15 = -q*f, 2*x + 3*f = f - c for x.
0
Suppose -f - 5*c - 20 = -4*f, 0 = 4*f - c - 4. Suppose -4*z + 3*s = f, -3*z = s - 4*s + 3. Solve -3*r - 3 - 11 = t, 18 = -z*t - r for t.
-5
Suppose 0*x = -5*h + 3*x + 32, h = 2*x + 12. Suppose -w = -h*w + 12. Suppose 7*f - 28 = 3*f. Solve -o + 3*c - f = 3*o, w*o + 2*c + 2 = 0 for o.
-1
Suppose 8*r - r - 21 = 0. Solve 4*b = f - 8, 2*f + 5*b + 10 = r*f for f.
0
Let z = 13 - 8. Solve 4*h + 5 + z = -2*x, 0 = 5*h + x + 20 for h.
-5
Let o be 19/2 + 2/(-4). Let i = 4 + -2. Let d = i + 0. Solve -v + 2*s - 16 = d*v, 2*v - s + o = 0 for v.
-2
Suppose 25 + 65 = -3*f. Let m be (-1)/(-5) - 24/f. Solve -4*a = q + 4, -q = -2*a + m + 3 for a.
0
Let p(g) = 2*g**3 - 3*g**2 + 4*g - 3. Let c be p(2). Suppose -5*f + 0 = -5. Suppose s - 3 - f = 0. Solve -2*d - 4*o + 9 = -c, s*d - 12 = -2*o for d.
1
Let x be ((-30)/8)/(8/(-32)). Suppose 0*v - x = -5*v. Suppose 5*y = 16 - 1. Solve 0 = y*c + 3*f + 3, v*c - 2*f - 2 = 2*c for c.
0
Suppose -2*h + 10 = -0. Suppose 3*n - h*a = 6, -2 - 6 = -4*n + a. Solve 3*r = n + 1, -2*i + 3*r = 11 for i.
-4
Suppose 2*k = -0*k. Suppose -5*x + 15 + 45 = k. Suppose 0 = -3*c + 7*c - 5*i - 16, 5*c - 20 = -5*i. Solve 0 = -c*a + a + 5*n - 20, 3*a - 3*n = -x for a.
0
Suppose 2*y - 26 - 30 = -v, 3*y + 2*v - 82 = 0. Solve -7*c + 2*c - y = -5*g, 3*g - 16 = 2*c for c.
-2
Let v = 16 - 11. Let b be (-6)/((-2)/3*3). Suppose -v*o + 64 = 2*i, b*o = -2*i - 3*i + 27. Solve -2*q - s + 9 = 0, q + 2*s + 5 = o for q.
3
Let i = -16 - -18. Solve 5 = -i*f - 2*z + 1, 0 = 2*f + 4*z + 12 for f.
2
Let h = -6 - -8. Let a be 3/(-18) + 62/12. Let r = -7 + 15. Solve t = -h*d - r, 3*t - a*t = 3*d + 11 for d.
-5
Suppose 5 = s - 0*s. Solve x + 3*f + 10 = 3*x, -s*x + 11 = -4*f for x.
-1
Let a(k) = k**3 - 2*k**2 + k + 3. Let c be a(2). Solve -5*p - 2*d + 21 = -0, -4*p = -c*d + 3 for p.
3
Suppose -5*q = -5*a - 30, -3*q + 1 = 4*a + 4. Suppose 7 - q = 2*h. Solve -h*k + 4 = 2*j, 0 = 3*j - k - 11 - 3 for j.
4
Suppose 0 = -3*c + c + 10. Solve -2*x - 18 = -4*t, -x = 2*x + 2*t - c for x.
-1
Let h = -3 + 1. Let a be 2/(-6)*(-1 + h). Let y = 5 - a. Solve 6*v + 2*q - 12 = v, 4*v - 12 = -y*q for v.
2
Suppose -6 = -3*t - 0. Solve -2*j = -n + 2, t*n = 3*j + 2*j + 7 for j.
-3
Suppose 0 = 2*v - q + 7, 5*v - 4*q + 5 + 5 = 0. Let b be v*(12/(-9))/4. Suppose 4 = 3*x - b. Solve 0 = 5*y - 0*y + 2*k - 6, -3*y - 6 = -x*k for y.
0
Let p(y) = y**3 + 3*y**2 - 3*y - 5. Let v be p(-3). Solve 6*k = 3*k - 4*l - 2, v*k - 10 = l for k.
2
Suppose 3*z - 64 = -4. Let f be 15/3 - 2/(-2). Suppose -y = -f*y + z. Solve w + w - 14 = -2*r, y*r = -2*w + 24 for r.
5
Let i(v) = v - 1. Let p be ((-6)/(-18))/(1/3). Let j(z) = -1. Let y(o) = p*i(o) + 4*j(o). Let w be y(6). Solve 0 = -c - 0*m + m, -2*m = -c + w for c.
-1
Let h(m) = 2*m - 9. Let d be h(7). Suppose -2*r + x + 10 = 0, -1 = 5*r + d*x + 4. Solve -3*l + 5*y - 2 = 0, -2*y + y = -4*l + r for l.
1
Suppose 4*m = -2*p + 2, -6*m - 3*p - 6 = -3*m. Solve -4*i + m*f = -1, 4*i - 4*f + 5 = -3*f for i.
-2
Suppose -3 = -z + 5*c, 5*z + c + c = 15. Let x(f) = -f**3 + 4*f**2 - f - 4. Let t be x(z). Solve -t*y - 10 = 3*m - m, 0 = y - m - 3 for y.
-1
Let d(l) = l**2 + 9*l + 17. Let v be d(-8). Let u be 146/v - (-14)/(-63). Solve 5*j = -10, -2*n - u = 2*j + 2*j for n.
-4
Let v = 9 + 0. Suppose 0 = -3*h + 33 - v. Solve u + l = h, l = u + 3 - 1 for u.
3
Suppose w - 2*w - 2*o = -40, 5*w + 2*o = 168. Let f = 46 - w. Let q be ((-36)/f)/((-3)/14). Solve 3*r + 2 = -4, 5*r + q = g for g.
2
Suppose 2*p - 521 = -93. Let r be