*v, 4*v + 2*c + c = 10 for v.
4
Let n(z) = -z**3 + 14*z**2 + 16*z. Let w be n(15). Let r be (-2)/w - 167/(-15). Solve 0 = 2*m + 5*v + r, 8 = -4*m + 5*v - v for m.
-3
Suppose 3 = -2*o + 9. Suppose -2*j = 6*j - o*j. Solve -t + 3*t = 5*z, j = -z for t.
0
Let g be -2 + -4 + -1 + 3. Let h be ((-2)/g)/(4/32). Let d = 55 + -53. Solve -d*a - y - 6 = 0, -h*a - 3 = -3*a - 5*y for a.
-3
Let f = -1332 - -1332. Let p(r) = -r + 7. Let o be p(3). Suppose 2*k = -4*h + 88, -o*h + 0*h = 3*k - 90. Solve -h = -f*v + 5*v - 2*a, 3 = 3*v + 4*a for v.
-3
Let m(d) = -d + 9. Let w be m(3). Suppose -w*n + 21 = -15. Suppose -3*b + 0*b + n = 0. Solve b*a = -0*a + 2*c + 8, -4*a = 2*c - 4 for a.
2
Let k(c) = -4*c**2 - 65*c - 16. Let w be k(-16). Suppose 0*y - y = -2. Solve -2*z + w*i = -2*i - 6, 0 = y*z + 4*i - 12 for z.
4
Let w(r) = r**2 + 16*r + 2. Suppose 0 = 4*y + 2*m - 3*m + 64, 0 = -3*y - 5*m - 48. Let u be w(y). Solve -5*h = u*a - 7, -4*a + 2*a = -2*h for h.
1
Let f be (-4)/(-6) - 36/(-27). Suppose 4*u = m + 8*u - 10, -u = f. Solve 4*t + 9 + 14 = -s, s = -3*t - m for s.
-3
Let v(f) = -f**3 + 2*f**2 - 6*f + 12. Let s be v(2). Solve 2*n - 2*j + 5 = -7*j, -3*j + 3 = s for n.
-5
Let r(x) = x**2 - 6*x + 7. Let j be r(6). Suppose -m + 4 = s - 3*m, -3*s + 2*m = -12. Solve -3*t - 1 = s*c, -2*c - t = 2*t - j for c.
-4
Let h be (37/3 - 0)*-3. Let b = -35 - h. Solve 3*g = -2*s - b*g - 8, 5*g + 4 = -s for s.
-4
Let h = -20 + 18. Let k be -1 + 1 + h - -7. Suppose -44 = -k*l + 46. Solve -2*n + 5*p = l, 0 = -n - 0*p - 4*p + 4 for n.
-4
Suppose -2*t + 10 = 8*g - 10*g, -t + 5 = 0. Solve -2*h + 1 = -u - g, 18 = h + 3*u for h.
3
Let h be 2*(-4)/16*-2. Let y = 12 - h. Suppose 1 = 4*v - y. Solve -k + 4*w = -11, 3 + 34 = -5*k - v*w for k.
-5
Let d = 84 + -80. Solve -5*o + 12 = -6*r + 3*r, 3*o + 16 = -d*r for r.
-4
Suppose 7*c - 16 - 19 = 0. Suppose -c*a = a - 24. Solve a*z = -h - h - 2, 2*h - 3 = z for z.
-1
Let x(t) = t**3 + 24*t**2 - 25*t + 3. Let i(m) = -m**2 - 3*m + 3. Let h be i(-7). Let a be x(h). Solve 25 = 4*v + v + g, -a*v = -4*g - 15 for v.
5
Let w(v) = v**3 - 2*v**2 + v + 4. Let l be w(-2). Let b = -6 - l. Let c be 8/20 + b/5. Solve 5*z = -0*z - 4*g - 33, 0 = z - c*g + 1 for z.
-5
Suppose 0 = 8*g - 2*g - 30. Suppose g*s = 4*o - 6, -s = -5 + 3. Solve 0 = -3*u + o*f + 3 - 6, -2*f + 4 = -4*u for u.
-1
Let t be ((-8)/(-12))/(3/117). Let b = -26 + t. Solve 2*m + 4*o = 9 - 1, b = 4*m + 5*o - 13 for m.
2
Let b be -10*30/(-125)*5. Solve -4 = t - 0, -4*t - b = -4*y for y.
-1
Let f = 568 + -563. Solve -p + 26 = -0*p - f*s, 14 = -p - 3*s for p.
1
Let k be (-1)/(-2) + (-22)/(-4). Let r = k - -7. Solve 5*i = -3*u - r, i - 3*i - 4 = 0 for u.
-1
Suppose -17*g + 232 - 79 = 0. Solve -4*m + 3*n + 12 = 0, 2*m + g = -5*n - 11 for m.
0
Let a(x) = x**3 + 11*x**2 + 11*x - 18. Let n be a(-10). Let q be (-8)/n + 2 + (-32)/14. Solve -5*j - v + q = -7, 0 = v + 3 for j.
2
Suppose -10 = -20*w + 15*w. Solve n - 6*n + 20 = -w*u, 3*u - 4*n + 23 = 0 for u.
-5
Let x(n) = -n + 7. Let s be x(3). Suppose -s = p - 9. Solve 3*r + k + 0 = -14, 4*k + p = 5*r for r.
-3
Let l = 13 - 10. Suppose -l*i - 6 = g + g, g = -2*i - 3. Let f be (-9)/g + 3 + -1. Solve 14 = -m - m - f*d, 4*m - 2*d - 20 = 0 for m.
3
Let v = 284 + -280. Solve 3*h = 5*j - 17, -5*j + v*h + 23 - 2 = 0 for j.
1
Let m(u) = 0*u**2 + 15 - 4*u**2 - 2*u + u**2 + u**2. Let h be m(5). Let a be 27/(-63) + h/(-7). Solve -x + 0*x = 2*n - a, -n + 3 = -2*x for n.
3
Let z = 59 - 57. Suppose -16 = -2*p - z*h, h - 20 = -5*p - 0*h. Solve 5*g + 5 = -2*s, 2*s = -p*g + 3 - 6 for g.
-1
Suppose 2*y - 8 = -4. Let w(a) = -2*a**3 - 8*a - 7. Let h be w(-1). Solve -3*p - 2 = -g, 4*p - h*g - 1 = -y for p.
-1
Suppose b + 0*b = 0. Suppose -37*y + 34*y + 6 = b. Solve 2 = y*k + 5*m, k = -0*k + m + 1 for k.
1
Suppose 6*t = 10*t - 144. Let j = -31 + t. Solve -3*i - 9 = 0, 2*i - 21 = 3*m + j*i for m.
-4
Let a be (75/6)/5 - 1/(-2). Solve 0 = -3*h + v - a, -5*h + 2*v - 1 - 3 = 0 for h.
-2
Suppose n - 4*g - 55 = -18, n - 2*g - 29 = 0. Solve j - n = 5*b - b, 4*b = -16 for j.
5
Let g(n) = 14 + n - 7 + 3. Let x be g(-6). Solve -2*w = w + 4*o + 28, -4 = 5*w - x*o for w.
-4
Suppose -20*y = -53 - 147. Solve 0 = -b - 5, -3*t + b = 2*b - y for t.
5
Let j = 41 + -39. Let r be -3*((-8)/3 + j). Solve 5*v = r*c + 19, -3*c - 8 = -4*c - v for c.
3
Let j(y) = -y**3 + 17*y**2 - 41*y - 12. Let s be j(14). Solve -4*f - 9 = -5*c, -14 = -s*c + 2*f - 3*f for c.
5
Let l(h) = h**3 - 8*h**2 + h + 8. Let r be l(8). Suppose 18*t - r*t = 58. Solve -26 = -4*o - 2*d + 5*d, -2*d - t = -5*o for o.
5
Let l = 552 - 549. Solve -5*y = -4*d + 9 + 3, l*y = 0 for d.
3
Let p(r) = 2*r**3 + 11*r**2 + 6*r + 11. Suppose 3*c - 2*z = 2*z - 27, -5*c = 3*z + 16. Let l be p(c). Solve -5*w = -4*m + 2*m + l, m - 3 = -w for w.
0
Let g(a) = -20*a**3 + a + 1. Let s be g(-1). Suppose -4*x + 1 = 3*q - 6, -q + 1 = 0. Let t = 1475 + -1449. Solve 5*j = -b - x + t, -3*b + s = 4*j for j.
5
Let z = -438 - -450. Solve 4*h = 5*f + 11, 3 = -4*f - 3*h - z for f.
-3
Let f be 14/(-4)*(-8)/14. Solve -p - 2 = f*q, -4*q - 11 = 4*p + q for p.
-4
Let x = 1 + -5. Let r be 2*x/(-16)*6. Suppose h + 3*o = -0 + r, 1 = 3*h + o. Solve -3*s = 6*d - d + 3, h = 5*d - 3*s - 3 for d.
0
Suppose -o - 5 = -1. Let j be 21 - o/((-8)/2). Let x be (j/(-3 - 1))/(-1). Solve -2*t = -2*i + i + 7, 3*i + 34 = -x*t for i.
-3
Suppose -100*r = -94*r - 24. Solve -4*x - 20 = -2*c, 0*c + r*c = 0 for x.
-5
Let q be -3*(32/(-6) - -2). Suppose -275*y = -274*y - 2. Solve -3*d = 3*l + 6, -y*l + d - 2 + q = 0 for l.
2
Let s be ((-5)/2)/(1/(-2)). Suppose -v - 1 = -s. Suppose 5*r - 8 = v*d - 2, -2*d - 4 = -3*r. Solve -p + 2 = b - r, -5*p + 2 = -4*b for p.
2
Let x = 407 + -404. Solve -3*m - 6 = x*l, -2*m = 4*l + m + 11 for l.
-5
Suppose 3*b - 99 = -0*b. Let r = b + -27. Solve 0 = -3*g - u - 6, -5*g - r = -2*g - u for g.
-2
Suppose -w + 31 = 5*q, q + 0*w - 2*w = 15. Suppose n - 128 = -q*n. Solve 5*s = -4*j - 0*j + n, 4*j - 16 = 3*s for j.
4
Suppose w = 1 - 7. Let t = w - -18. Suppose -t = -2*b - 8. Solve -12 = 3*l, -5*g - l + 29 = -b*l for g.
5
Let k(q) = q**2 + 33*q - 68. Let r be k(-35). Solve 4*w + n + 18 = 0, -4*n + r = -4*w - 6 for w.
-4
Let v = -76 - -94. Let p(r) = 2*r - 34. Let g be p(v). Solve g*f - 5 + 3 = -z, 2*f = -2*z + 6 for z.
4
Let r = 26 - 21. Suppose 2*o + 15 = r*o. Suppose 0 = -m - 3 + o. Solve -a + g - 3*g = 4, -m*a + 5*g + 19 = 0 for a.
2
Let d = -158 - -160. Suppose 1 = y - 2*y, -d*c + 5*y = -11. Solve -c*m + 3*h = 0, 5*h - 15 = -2*m + 20 for m.
5
Let i = -1114 + 1116. Solve -i*n - 3*n + 4*x - 6 = 0, -5*n + 5*x - 5 = 0 for n.
-2
Let q be 2/(-12) - (-25)/6. Suppose q*d - 36 = -4*k, 0 = 5*d - 4*k - 76 + 4. Let v be 4/(d/9) - -1. Solve 3*l - 3 = 0, -2*r - v = r + 2*l for r.
-2
Let s(n) = -n**2 + 29*n + 65. Let f be s(-2). Let i = 2 - 1. Let a = i + -1. Solve f*u + 5*b - 30 = -a*u, -b = -2*u + 7 for u.
5
Suppose -2*c = -0*c - 2*q + 164, -5*q = 4*c + 283. Let b be 22/c - (-30)/7. Solve a + 1 = b*x - x, 3*a - 11 = 2*x for a.
5
Let z = 53 + -34. Let o = 22 - z. Solve 8 = 4*u + 4*y, 2*u + o*y - 6 = u for u.
0
Suppose y = 5*v - 13, -28*y + 24*y - 16 = -2*v. Solve -2*k = -0*j - v*j, 0 = 4*j + 5*k - 27 for j.
3
Let t(z) = -2 - 2 + 3 + 0*z + z. Let a be t(6). Let k be (-2 + -17)/(-1) - -1. Solve a*p = -k, 4*m + 4*p + p = -20 for m.
0
Let l be 4/(-6) + 8/(120/85). Solve l*w + 0*w + 14 = -4*f, -2*f = 5*w + 12 for w.
-2
Let k(q) = -21*q + 8. Let v be k(0). Solve f - 2*f - v = -5*a, -16 = -3*a - 5*f for a.
2
Let a be (-4)/(-10) - 9/((-225)/40). Solve -w + 2*h + 4 = -a*w, 5*w - h + 9 = 0 for w.
-2
Suppose 0*c - c - 5 = 0, v - c = 30. Suppose 9*p + v = 14*p. Solve 31 = 5*z + 2*a, 0*a = 4*z - 5*a - p for z.
5
Suppose -5*l + q + 97 + 0 = 0, -q - 78 = -4*l. Suppose 21*c = l*c + 50. Solve -3*v + c + 4 = 5*r, -3*r + 3 = -3*v for v.
3
Let m(a) = -4*a**3 - 5*a**2 + a + 2. Let q be m(-2). Suppose q = -3*c + 7*c. Solve -5*k = -n - 13, -4*n - c*k + k - 8 = 0 for n.
-3
Let m(q) = 4*q**2 + 1. Let w be m(-1). Let p(g) = -2*g**2 - 8*g - 6. Let a = 17 - 20. Let h be p(a). Solve -4*z = b + b + 4, -5*z + w = h for b.
-4
Let d be (-3 - -9)*2/(-4). Suppose -6 = 3*o + 3*l, -5*o - 3*l - 15 = l. Let m = d - o. Solve -3*z = 5*b, -b + 23 = -m*z - 0*b for z.
-5
Let b be 716/18 + (-12)/(-54). Let i be (b/10)/(1/3). Su