c**3/3 + c**2/2 - 2*c - 5. Let f be v(2). Solve b + 4*g = -3*b - f, -4*b - g = 11 for b.
-3
Let h = 16 - -4. Suppose 0 = 4*o + 2*p + 46, 0 = -2*p + p + 1. Let u = h + o. Solve -u = -5*z + 4*n, -2*z + 4*n + 3 = -5 for z.
0
Let b(x) = 11*x - 2. Let i be b(1). Let a = 11 - i. Let p be (-8)/(-16)*4*a. Solve 3*c + 5*l = -26, -c + 20 = -3*c - p*l for c.
-2
Let z be (-163)/(-7) + (-10)/35. Suppose -4*f + a - 2 + 15 = 0, -5*a = 2*f - z. Suppose 0*o - f = -o. Solve -4*g - 6 = o*h + h, 3*h + 6 = -3*g for h.
2
Let l be 30/3 + 0 + 2. Let k = 22 - l. Solve 1 - 3 = -3*n + 5*u, k = 5*n - 5*u for n.
4
Let s be 18/(-24) - 6/(-8). Suppose 2*g + 2*q + 4 = 0, -3*q + 4*q = 5*g - 20. Solve -k + 0*v - 4 = 2*v, g*k + v - 3 = s for k.
2
Let s = -17 + 21. Solve -5*n = -0*k + s*k - 15, k = 2*n - 6 for n.
3
Suppose -2*u + 2*d - 5*d = 7, -5*d = 25. Solve -2*x - 3*c - u = -7*x, 0 = 2*x + 4*c + 14 for x.
-1
Let m(q) = q - 6. Let n be m(0). Let y be ((-4)/n)/((-9)/(-108)). Solve 2*p - y*c + 3*c - 30 = 0, 17 = 5*p + 2*c for p.
5
Let n = 9 + -7. Solve -6*s = -2*s - 4, -13 = n*l - 3*s for l.
-5
Suppose -4*q + 5*v + 0*v = 29, -4*q - 5*v - 19 = 0. Let j be 2/(-3) - 46/(-6). Let a = j + q. Solve 3*p + 4 = 3*l + a, 5*p = -2*l + 9 for p.
1
Suppose 8*m + 180 = 20*m. Let h = -5 + 9. Solve 4*x + q + m = h, 0 = -2*x - 4*q + 12 for x.
-4
Suppose -2*m - m = 3*b - 15, 0 = 2*m + b - 8. Solve -m*h + 21 = -0*f + 5*f, 2*f = 6 for h.
2
Let h(t) = -4*t - 7. Let s be h(-3). Let o be 0/(6/(-2)) - -4. Solve -5*f - s = 3*k, -2*f - o = 4 for k.
5
Suppose 0*t = 3*t - 6. Suppose t*w = -8 + 14. Solve -3*d - 7 = 5*s + 3, 0 = d + w*s + 6 for d.
0
Suppose 4*u + 10 = 2*u. Let r(d) = -d - 3. Let a be r(u). Solve -3 = -4*b + w, 0*b + 5*w + 15 = -a*b for b.
0
Let u = 6 - 4. Suppose -i - p = -14, -u*p + 3 = -4*i + 47. Let v be (3/2)/(3/4). Solve m = 0, v*n + i = -n + m for n.
-4
Let s be (-5)/(-20)*-2*0. Solve s = -3*i + 3 - 12, 0 = 5*r + 2*i - 14 for r.
4
Let g be (1 + 2)/3 + 2. Suppose v = 10 - g. Solve -v = l + 5*i, 3*l - 3*i - 6 = 9 for l.
3
Let i = 148 - 143. Solve 28 = 4*m + 2*l, 7*l - 2*l + 5 = i*m for m.
5
Let p be -2*(-3)/6*6. Let a be 1/(-4) + 27/12. Let f(r) = r**2 + 4*r - 2. Let c be f(-5). Solve -5*j = a*n + n - 29, -2*n = -c*j + p for j.
4
Suppose 0*r + 35 = -4*z + 3*r, 3*z + 3*r = 0. Let m = -2 - z. Solve 5*y - 25 = -0*y + 2*x, 5*x = m*y - 34 for y.
3
Let g = 51 + -30. Let a be (-540)/(-21) + 6/g. Solve 2*i + 4*l = a, 0 = 2*i - i - l + 2 for i.
3
Let y be -3 - 3/(12/(-32)). Let g(t) = -t - 1. Let c be g(-5). Suppose -2 = l - 3*v + c, -9 = -4*l + v. Solve l*p = 0, -2*p + 10 = -2*u - y*p for u.
-5
Suppose 5*a - 6 - 13 = 4*o, 8 = 4*a + 4*o. Solve a*c + 3*y + 9 = -0*y, 14 = -5*c - 4*y for c.
-2
Suppose 4*a - 10 = 14. Let q = 10 - a. Solve 0 = -2*f - q*w + 7*w - 12, 4*f - w + 14 = 0 for f.
-3
Let v be -2 + (2 - 5)/3. Let r = 5 + v. Let j = -9 - -17. Solve 5*p - 6 = p + 3*h, 0 = -r*p - h + j for p.
3
Suppose -4*f + f + 4*u - 63 = 0, 2*f = 2*u - 40. Let w = f + 22. Solve -y - 11 = -5*i + 3*y, -w*y = 3*i + 23 for i.
-1
Let i = -4 + -5. Let p be 5/5 + i/(-1). Solve 2*j = 3*w - p, -w = -2*j + 4*j - 6 for j.
1
Suppose 0 = 3*d - 9, -8*d + 4*d = -5*s + 8. Solve 0 = -3*o + s*n + 11, -3*o + o - n + 11 = 0 for o.
5
Let f = 1 + 5. Let m be f/(0 + 6/4). Suppose -3 = -w - 0*w. Solve -2*p - 17 = w*s, 5*p + m*s + 18 + 7 = 0 for p.
-1
Let j be 6/9 + 8/6. Suppose 0*l - l = j*x - 30, 22 = 2*x - l. Solve -m - x = -5*r, -5*m = -4*r - 1 + 3 for r.
3
Suppose -2 - 3 = -r. Suppose -2*h = h - r*n + 10, 2*h = -n + 2. Let s be 6/(1/4*1). Solve 5*b + 3 = -3*k - s, h = -2*b - 6 for k.
-4
Let u = -137 - -162. Solve 0*h + t = -h - 4, 0 = 5*t + u for h.
1
Let c = 54 - 32. Suppose -2 - c = -k - 4*d, -2*d = -2*k - 2. Solve 2*b = 4*i + 2, -4 - 2 = k*b - 3*i for b.
-3
Let z(k) = -k**3 - 7*k**2 - 2*k - 10. Let r be z(-7). Solve -20 = -2*g + r*b - b, 3*g - 8 = -b for g.
4
Let h(s) = -4 + 3 + 8*s - 3*s. Let d be h(2). Let p = d + -4. Solve p*n + 4*x = 11, -2*n - 3*x = -2*x - 2 for n.
-1
Let g be 98/4 + 27/(-18). Solve 3*d = -4*n + n - 24, 4*n + g = -d for n.
-5
Let a = -1 - 2. Let o = 5 + a. Let d be 2/(4/6) - 1. Solve k - 9 = p, -o*k - d*p - 10 = 3*p for k.
5
Let o = -8 - -26. Suppose p = 2*x + x - 28, -4*p = x - o. Let q = x + -7. Solve q*u + 3 = i, -13 = 5*i - 2*i + 2*u for i.
-3
Let t = -8 - -11. Suppose -5*b + 92 = t*r, -3*b - 5*r + 44 + 24 = 0. Solve 0 = 2*c + w - 5, 5*c - w = -0*w + b for c.
3
Suppose 0 = 3*o + 2*o - f - 15, -5*f - 25 = 0. Solve 5*s + 4*v = 15 + 1, -5*v = o*s - 3 for s.
4
Suppose -j = -3*j + 6. Let i be (-5)/15 + (-4)/(-3). Let t = i + 14. Solve 2*f - 6*f = 4*g + 20, -j*g - t = -2*f for g.
-5
Suppose -16 = -6*n + 2. Solve -n*t + 4 = -5*x - 0, 3*x = t for x.
1
Suppose 5*u - 13 = 12. Let z(g) = g**2 + 3*g + 9. Let w be z(-6). Let y = 63 - w. Solve 5*n + 2*x - 37 = -9, 4*n = -u*x + y for n.
4
Let k be 16 + -3 + 3 + -1. Suppose 0 = -7*x + 2*x + k. Suppose -2*q - x*q = -15. Solve q*t + 0*d + d + 9 = 0, -6 = 2*t - 3*d for t.
-3
Let j be (1/(-5) - 18/10)*-2. Solve -j*z + 4*f = 24, -5*z - 4*f = -z + 16 for z.
-5
Suppose -2*k - 2 = f - 5*f, -5*k - 29 = 2*f. Let q be (6/f)/(3/(-6)). Let m be (-4 + -1)*(-1 + 0). Solve -3*d - 5*u - q = m, -7 = 3*d + 4*u for d.
3
Let k(b) = 2*b + 14. Let c be k(-3). Solve -o - 5 = -3*l, -c - 2 = -5*l for o.
1
Suppose -4*k + 3*k = 0. Solve k = 2*w - x + 8, x - 8 = -2*w - 2*x for w.
-2
Let l(r) = r - 7. Let z be l(9). Solve -20 = -2*b - 0*g + 4*g, -5*g - 25 = -z*b for b.
0
Suppose -21*o + 30 = -15*o. Solve 3*a + 5*k - 28 = 0, -3*a - k = -3 - o for a.
1
Let k be (1 - -2)*150/90. Solve 0 = -k*n - x - 5, -3*n = -0*n - 5*x - 25 for n.
0
Let n = 30 + -28. Solve 0 = -t - u + n*u - 4, 0 = -3*t - 5*u - 20 for t.
-5
Suppose -2*u - 9 = u. Let l be 5 - -2*u/6. Suppose 7*t - l*t - 3*a - 15 = 0, -3*t - 5*a - 9 = 0. Solve -x + v + 0 + 1 = 0, -4*x + 28 = t*v for x.
5
Let x = 2 + 3. Suppose 3*i + 15 = 5*y, -x*i = 3*y - 3*i + 10. Solve 8 = s + 4*r, 2*s + r - 4 - 5 = y for s.
4
Suppose 3*o = -0*o. Suppose i = -o*i. Let v be i + -2 - (-3 - -1). Solve -5*f + 5*j + 15 = 0, 8 = -v*f + f - 2*j for f.
-2
Let o be (-32)/(-6) + 2/3. Let w = o + -6. Solve w = -3*r + 2*b + 20, r - 4 = -2*r - 2*b for r.
4
Let x = -54 - -79. Let d(p) = -p**3 - p**2 + p + 1. Suppose 0*q - 2*q = 0. Let k be d(q). Solve -2*r = j - 0*r + k, 2*j - 5*r - x = 0 for j.
5
Let j be (-2)/(-6) - ((-80)/(-12))/(-4). Solve -16 = 3*x - 5*p, -x = j*p - 1 - 1 for x.
-2
Suppose 0*i + 8 = 4*i. Solve 2*r = -4*b + 10 + 10, 5*b - i*r - 7 = 0 for b.
3
Let z(k) = 4*k + 21. Let v be z(-4). Solve l - 2*t - 2 = -6, 0 = 4*l - v*t + 4 for l.
4
Let s = 6 - 2. Let t(z) = -z**2 + 5*z + 1. Let i be t(s). Solve -2 = -v + 3*r - 6, -i*v - 3*r = 2 for v.
-1
Let a(u) = -u**3 - 6*u**2 - 2*u - 12. Let g be a(-6). Solve 4*b + 19 = 5*o, g = -0*o + o - 3 for b.
-1
Suppose -4*x + 0*x + 12 = 0. Suppose -52 = -i + x*p, -4*p + 32 = i - 3*p. Solve 3*y = -5*m + 22, -5*y - 7 + i = 5*m for y.
4
Let o be (10/(-2))/(5/(-10)). Let u = 4 - o. Let v be 45/u*(-2)/3. Solve 3 = -3*d - v*q + 14, 4*q = 4*d + 28 for d.
-3
Suppose -2*n + 2*d = -n - 3, -2*n + 6 = 2*d. Let h = 436 - 434. Solve n = -5*o - h*p, -4*p = -2 - 2 for o.
-1
Let n be 6/8 + (-91)/(-28). Solve -21 = 5*q - 3*x, 3*x + 0*x - 18 = n*q for q.
-3
Let k = 25 + -17. Solve 2*i + 3*z = -k, 3 - 1 = -z for i.
-1
Let w(r) = 7*r**3 - 3*r**2 + 2*r. Let s be w(1). Let n = s + -4. Solve -4*z - 7 = n*v + 3*v, 4*v = -4*z - 4 for v.
-3
Let z(b) = b + 16. Let d be z(-16). Solve d = 4*l - 5*p - 26, -5*p = -3*p + 4 for l.
4
Let s(m) = -m + 8. Let o be s(6). Let r = -38 - -41. Solve a - h + r = 1, -a + o*h - 4 = 0 for a.
0
Let k = -12 - -5. Let b(t) = t**2 + 6*t - 7. Let h be b(-6). Let y = h - k. Solve 5*d = -15, -q + y*q - 14 = 4*d for q.
-2
Suppose 0 = 5*b - 3*b - 6. Suppose 0 = 4*a - 5*g - 5 - 5, -11 = -3*a + 2*g. Solve 0 = b*p - 4*s + 3, 8 = -a*p + 2*s - 11 for p.
-5
Suppose -a + 10 = 6. Solve -o - a = -2*d, -o - 2 = -d - 0*d for o.
0
Let h(s) = 0*s + 0*s + 4 + 2*s + 2*s. Let b be h(-4). Let m be 34/8 + 3/b. Solve 4*u - 2*y = -4, 5*u - m*u - 5*y = 17 for u.
-3
Suppose 10 = -2*k + 4*c, -k + 4*k - 4*c + 7 = 0. Solve -3*v + 6 = 2*z - 2, k*z = 3*v - 18 for v.
4
Suppose o - 8 = -4. Solve -4*g - 3*n - 6 = 0, o*g - 5*n = -2*n - 18 for g.
-3
Suppose -5*i = 