4*a - 16 for c.
5
Let v(l) = 2*l**3 + 4*l**2 + 2*l. Let j be v(-2). Let f = j + 4. Solve -3*c = 2*m + 7, -31 = -f*m - 4*m + 3*c for m.
4
Suppose -22 = -3*n + 5*f, -4*n + n + 10 = f. Let b be 4 + -3 - 5 - 6. Let i = b + 12. Solve 5*y - y + 3*s = 13, -i*y = n*s - 14 for y.
1
Let g = 5 - -1. Suppose 14 = 5*o - g. Suppose 4 = -4*b - 4*z, b - o*b + 4 = -4*z. Solve -4*d - 14 = 2*l, b*d + d = -5*l + 10 for d.
-5
Let l = -31 - -35. Solve -n + 5*x = 3*x + 1, -l*x = -5*n + 13 for n.
5
Let j = -14 - -14. Solve j = 5*q + 10, -q + 0 - 2 = 2*z for z.
0
Let d(m) = m**2 - 3*m - 2. Let s be d(4). Suppose -s*g + w - 25 - 7 = 0, -8 = -2*w. Let n be 2/7 + (-66)/g. Solve -4*z = -5*r + 37, -3*z = 5*r - n*z - 31 for r.
5
Suppose -y = -0*y. Suppose 5*b + 3*z - 55 = y, -b + 0*z + z = -3. Let c = -6 + b. Solve -2*g - 2*w = 2, w + 0 = -2*g + c for g.
3
Let o be 3/(-2 + -1)*-5. Suppose 2*f - 3*c + 2 = 0, 5*f + o = -c + 17. Solve 0 = t - 1, -2*g - f*g - 2*t = -22 for g.
5
Let z be (-16)/4*(-2 + 1 - 0). Solve -z*l - i = -21, 4*i = -l + 2*i + 14 for l.
4
Let g = 19 - 29. Let u(o) = -o**2 - 9*o + 10. Let i be u(g). Solve 4*t - 2*b - 14 - 12 = i, 9 = t - b for t.
4
Let o be 7/((-28)/(-16)) - 0. Solve -3*c + 35 = -5*q, o*q + 4 = 2*c - 22 for c.
5
Let j(u) = u**2 + u. Let f(t) = t**3 + 9*t**2 + 4*t - 5. Let d(x) = -f(x) + 4*j(x). Let o be d(-5). Solve o*g = -5*k, -5*k = 3*g - 8*g - 20 for k.
2
Suppose 3*k - 35 = -i, -8*k + 112 = 4*i - 3*k. Solve -4*d - 32 = -3*u, i = 4*u - 4*d - 13 for u.
4
Let c = -6 - -8. Let r = 40 + -35. Solve n = d, 5*n - 18 = -r*d + c for d.
2
Let a(x) = -3*x - 3. Let i be a(-3). Solve -5*f + 4*n = -2 - i, -5*n = -f - 11 for f.
4
Let z(x) = x**2 - 4*x + 3. Suppose c + 2*c = 12. Let g be z(c). Let p(l) = -l**2 - 9*l - 16. Let i be p(-5). Solve g*d + 19 = i*n, 3*n - 4*n + 3 = d for d.
-1
Let x(f) = -f**3 - 7*f**2 + 6*f - 11. Let h be x(-8). Solve -2*o - 3*i = -0*o - 5, -o - h*i + 13 = 0 for o.
-2
Let u be 4 + -1 - 3/1. Let o(m) = m**2 - m + 5. Let p be o(u). Solve -3*x + 4*l = -0*l + 14, 6 = -p*x - 2*l for x.
-2
Suppose z - 22 = -17. Solve -2*t = -8, z*p = -2*t - 0*t + 3 for p.
-1
Suppose 0 = 4*n + 8. Let k be (0/5)/(1*n). Solve 3*m - 15 = k, 0*l = -l - m + 8 for l.
3
Let i be -6 + 128/12 + (-1)/(-3). Solve k - i*q = 9, 3*q - 7 - 6 = -4*k for k.
4
Let u be 1*6*50/(-20). Let n be (-1001)/(-195) - (-2)/u. Solve -n*d = 5*k + 25, 5*d - 3*k = 19 - 4 for d.
0
Let f be ((-2)/3)/(24/(-180)). Solve -2*c - f*p - 17 = 0, -5 = -0*c + 5*c + 5*p for c.
4
Suppose 2*m = r + 26, -2*r = m - 3*m + 24. Solve -m = -2*f + 4*b, 0*f - 16 = -4*f - 4*b for f.
5
Let r(p) = p**3 - 8*p**2 - p + 8. Let z be r(8). Let b(d) = -d**2 + 19*d - 32. Let l be b(17). Solve -5*u - 9 = -z*u - 4*m, -l*u - 3*m - 22 = 0 for u.
-5
Let t = 5 + -8. Let w = t + 5. Suppose f = w*f - 5. Solve -2*y - 12 = 3*p - f*y, -4*y = 5*p + 20 for p.
-4
Suppose -2*g + 2*w + 16 = 0, g - w = 5*g - 7. Solve 3*x = -4*r + 6, g*x = 3*r + 2*x + 2 for r.
0
Suppose -5*l + 2*n - 35 = 5*n, 0 = -2*n. Let m be (-19)/l + 4/14. Solve -12 = -m*k + k + 5*g, -4 = 4*k - 3*g for k.
-4
Let b = 28 - 19. Let w = 4 + -3. Suppose 4*h = -w + 21. Solve 2*a - 4*a - h*q = -15, 0 = -a - 3*q + b for a.
0
Let i be (3 - (4 + -3)) + 1. Solve 3*v + o - 16 - i = 0, 5*o = 20 for v.
5
Let s = -7 + 4. Let k = -3 - s. Let g = 5 + k. Solve 0 = g*b + 4*j + 23 - 6, 0 = -4*b + 3*j + 5 for b.
-1
Suppose 4*v = 39 + 21. Solve 0 = -4*z - x + v, x + 3 = 5*z - 3*x for z.
3
Let x(f) = -f - 6. Let l be x(-10). Suppose l*i - 21 = i. Let v = i + 0. Solve 0 = -h - 2*a + v, -4*a + 6 = -3*h - a for h.
1
Let p = -186 + 191. Solve 4*r = 5*f - 4 - 18, -p*r - 19 = -2*f for r.
-3
Let d(z) = z**3 + 9*z**2 + z + 13. Let n be d(-9). Suppose -n*b = -b - 15. Solve -5*v + 2*u - 17 = 0, -b*v + 0*v = -u + 16 for v.
-3
Let t = 23 + -24. Let i = t - -4. Solve -4*g + 8*g + 12 = i*w, 0 = -3*g + w - 9 for g.
-3
Let s = -4 + 19. Solve -2 = 2*o + d + d, d - s = 3*o for o.
-4
Let q(n) = n**2 + 9*n + 5. Let o be q(-9). Suppose 0 = o*k + 2*a + 2*a + 16, 4*a + 16 = 3*k. Let v = 4 - k. Solve 3*u - 13 = w, 5*u = -2*w + u + v for w.
-4
Let o = 45 + -33. Solve 0 = 4*t + 2*z - o, 3*t + 0*t + 2*z - 10 = 0 for t.
2
Let m(c) = -c**2 - 6*c + 4. Let v be m(-5). Solve -2*i + 5*i - v = 0, 0 = 3*w + 3*i - 15 for w.
2
Let v = -58 - -60. Solve v*n - 5*d = 2, -n - 5*d - 15 = -1 for n.
-4
Suppose -2*v = z + 3*v - 10, -18 = -4*z + 2*v. Solve z*d = b - 4 - 9, 2*b - 3*d - 12 = 0 for b.
3
Suppose 2*w - 4 = -4*h, 5*h - 2*w = 2*w - 8. Solve 0*f - 3*f - m = -1, h = 4*f - 2*m - 8 for f.
1
Let n(o) = o**3 + o. Let x be n(1). Suppose 2*b - 10 = s - 3*s, s + 1 = b. Solve p = -s*p + 3*j, x*j - 6 = -p for p.
2
Let x(w) = -w**3 - 5*w**2 + w + 7. Let g be x(-5). Let l be 6/(-4)*-4 - g. Let q = -5 + 12. Solve 3*b + 27 = -3*n, q*b - l*b = 3*n + 3 for b.
-4
Suppose 3*j + 3 = 0, 5*j = y + 3*j + 6. Let u = y + 11. Let n = 33 + -1. Solve -4 = -3*b + 8, -5*d - u*b = -n for d.
4
Suppose 0 = 4*t - 10 - 10, -3*h + 27 = 3*t. Solve 3*b = -h*k + 3*k + 14, -3*k - 18 = -3*b for k.
-1
Let d(b) = b**3 - 5*b**2 + b - 3. Let r be d(5). Let c be ((-2)/(-10)*0 - 0)/1. Solve c*v + 2*v = 5*n - 33, -r*n + 14 = -v for n.
5
Let l = 36 - 36. Solve 2*b - 4*h = -14, -4*b - h + 11 + 6 = l for b.
3
Suppose -2 = -4*k + 2. Suppose -h + 1 = -k. Suppose h*i - 5*i + 6 = 0. Solve j + 3 = 2*y + 12, 5*j + i*y = -3 for j.
1
Let a = 123 - 120. Solve -4*n = -5*x + 14, a*n - 2*x + 9 = x for n.
-1
Let k(o) = o**2 + 5*o + 4. Let z be k(-3). Let b be (-1 + -1)*7/z. Solve -q + b = 4, t = 2*q - 4 for t.
2
Let v be (-2)/(-6) - 16/(-6). Let g(i) = 10*i**2 - 4 + 2*i + i**v - i + 7*i + 0. Let c be g(-9). Solve -3*h = 5*u - 40, 50 = c*u - 2*h + 7*h for u.
5
Let x(g) = g - 3. Suppose 7 + 21 = 4*d. Let p be x(d). Solve -2*s = -5*o + 15, -4*s + 51 = p*o + 11 for o.
5
Let d = 3 - 1. Solve -4*h + 28 = -d*w, -3*w + 19 = 3*h - 4*w for h.
5
Let t = -27 + 40. Let c(n) = n**3 - 12*n**2 - 12*n - 8. Let h be c(t). Solve a + 16 = 5*a, -9 = h*f + 4*a for f.
-5
Let c = -3 + 4. Suppose 5*f - 28 = -8. Let q = c + f. Solve 3*n = 5*i + q, n - 2*n - 25 = 5*i for n.
-5
Let x(f) = -f - 1. Let i be x(-5). Let j = 11 - 7. Suppose 0*t = -i*t + j. Solve 2*n = 5*r - t - 13, -n + 23 = 5*r for n.
3
Let q(z) = 2*z - 6. Let t be q(6). Solve 4*x - 3 = i, 2*x + t = 5*i + 3*x for i.
1
Let c be (-20)/28 + 2/(-7). Let w = c - -4. Solve 2 = -s + 2*v - 1, 0 = -v + w for s.
3
Suppose 4*j = -2*n - 0*n + 48, 4*n = -3*j + 46. Suppose -3*y + 5 = -j. Let t be 2/y - 223/(-5). Solve 0 = 5*h - 3*d - 2*d + t, h - 15 = -5*d for h.
-5
Let t = 36 - 25. Solve 2*f = 5*x - 27, -x - 1 + t = -5*f for f.
-1
Let x = -3 - -3. Let t = x - -5. Suppose t*k - 31 = -3*n - 0*n, 3*n + 4*k = 26. Solve -17 = -n*d + 3*o, 0 = -4*d - 0*o - 2*o - 6 for d.
1
Let n = -84 + 84. Solve n*l - 6 = 2*l, 5*l + 40 = 5*k for k.
5
Let c(j) = -2*j**2 - 2*j + 1. Let o be c(1). Let f = o - -6. Solve 0 = 2*z + 4 + 2, 2*z = 3*l - f for l.
-1
Let y be 12/6 + (4 - 3). Solve 0 = 3*h - 3*j - 18, y*h + 4*j = 2*h - 9 for h.
3
Let c(p) = 3*p**3 + p. Let q be c(1). Suppose -3*i + 0 = -6. Let w be (-12)/9*(-5 + i). Solve -w = -2*m - 3*g + q, g = -m + 4 for m.
4
Let b(u) = 2*u - 14. Let x be b(10). Let q = x - 4. Suppose 3*d + 11 = s, -3*d + 2*d = 2*s - 22. Solve 0 = -4*z - 4, -s - q = -3*j - 2*z for j.
5
Let t(v) = -v + 7. Let c be t(5). Suppose y + 4*n - 8 = 24, 2*y + c*n - 34 = 0. Solve -3*f - 5*b + y = 0, 5*f - 19 = 4*b + 1 for f.
4
Let q = -95 + 106. Solve -2*c - 3*g = -11, -c - g = -4*c + q for c.
4
Let c be (-3 - (2 + 3))*-3. Solve -2*p + 0*w = -4*w + 10, -4*p + c = 3*w for p.
3
Let q be (-96)/(-15) + 6/10. Let g = q - 5. Solve -3*x + m = -4, -4*x + 2*x = -g*m for x.
2
Let q be (1 + -7)*18/4. Let x be (72/(-14))/(q/126). Let i be ((-3)/(-2))/(x/208). Solve -3*j - i = -0*j + d, -5*j - d = 21 for j.
-4
Let w(h) = -h**3 - h**2 + 2*h. Let j be w(-2). Let o = j - -3. Solve -4*u + 2*u = 5*t - 7, o = t for u.
-4
Suppose 21 = 4*b - 19. Let i = b - 7. Let o be (-47)/(-5) - 8/20. Solve -5*a - 21 = 2*q, 5*a + 10 = -i*q - o for a.
-5
Let f = 15 + -11. Suppose 0 = f*c + 8 - 28. Solve 3*n + c*t = t - 13, 8 = -2*n - 2*t for n.
-3
Let r be (-3)/5*15/(-3). Suppose -2*u - 3 = -r*o, 0 = u - 2*u + o. Solve 0 = -2*y + y - 3*a + 5, u*y - 5*a - 1 = 0 for y.
2
Let f be (-6)/4*200/(-60). Sol