olve -5*c + i*p = -15, -5*c = 3*p - 2*p + 15 for c.
-2
Suppose -2*s + 15 = 3*s. Suppose s*t + 3 = 12. Suppose 0 = -f + t. Solve 0*x - 6 = -f*x - 3*i, 3*x = 2*i - 9 for x.
-1
Let v = -24 - -20. Let y be (-248)/(-32) - (1/v + 0). Solve 0 = 3*r - 5*r + k - 1, 0 = -3*r - 5*k - y for r.
-1
Let a be 16/(-8) + (0 - -2). Let f be 0 + 2 + (-2 + a - -5). Solve g + 0*j = 5*j, 0 = f*g + 2*j - 27 for g.
5
Let x(v) = -v**3 + 9*v**2 + 12*v + 11. Let l be x(10). Suppose -2*y + 35 + 7 = 0. Let b = l - y. Solve -12 = 2*i + 4*s, b + 3 = -3*i - s for i.
-4
Let g(x) = 5*x**2 + 2*x - 1. Let a be g(-1). Let y be (9/(-6) + a)*6. Solve 4 + 8 = y*n - w, -5*n = 5*w - 20 for n.
4
Suppose 137 = 4*s + 109. Solve 4 = 3*j + 2*m, 3*j - s*j - 10 = -5*m for j.
0
Let c be (9/6)/(9/138). Let u = -21 + c. Suppose 0 = -3*w + 2*z + 1 - 3, -3*w - 4*z + 22 = 0. Solve 3*y = w*y - 4*l - 14, 0 = 4*y - u*l + 2 for y.
-2
Let n = -410 - -415. Let j(r) = -r**3 - 7*r**2 + 2*r + 9. Let q be j(-7). Let o = q + 12. Solve 3*a + 3*w - o = -w, -5 = -n*w for a.
1
Suppose -3*i - 109 = -4*i. Let a(y) = 10*y**2 - 5*y + 3. Let x be a(3). Let q = i - x. Solve 5 = 4*u + 5*g + 4, 5*g = 4*u - q for u.
4
Let u be 1/(-3)*(-2 - 10). Let a be (-38)/14 - u/14. Let h(q) = q**3 + 3*q**2 - 2*q - 4. Let g be h(a). Solve -g*x - 3*c = 6, -3*x = c + 1 + 1 for x.
0
Suppose 52*u - 70 = 34. Solve -v + u*x - 8 = 3*x, -4*v - 28 = 3*x for v.
-4
Let z = -9 + 12. Suppose -z*i = i. Suppose 22 = 2*y + s + 3*s, i = y - s - 2. Solve 5*q + 2*o + 8 = -20, -20 = y*o for q.
-4
Suppose -14 = -9*f + 4. Let c be (-3)/f + 90/20. Solve 0 = -3*l - 5*h + 14, -l + h = c*l - 11 for l.
3
Suppose 0 = w - 2*q - 69, 3*q + 330 = 5*w - 2*q. Let v = -35 + w. Solve -4*p - v = -3*i + i, -p - 2*i = -3 for p.
-5
Let y be (-39)/(-15) - 2/(-5). Let b be 20*(2 - (-28)/(-16)). Let z = b - y. Solve -15 = -a + 5*c, -z*a - c - 3 = -a for a.
0
Let c(z) = 2*z + 18. Let i(w) = w**2 - 15*w - 8. Let j be i(15). Let t be c(j). Solve -3*a - 5*q = 20, 4*q - 6 = t*a - 0 for a.
-5
Let z(t) = -3 + 2*t - 8 - 9. Let q be z(12). Solve -q*s + 5*x - 15 = 3, 0 = -4*s - 4*x for s.
-2
Suppose 0 = -4*o - 5*v - 9, 2*o - v = 6*o - 11. Solve z - 5 = 0, 5*z - 29 = -3*y - o for y.
0
Suppose -4*d + 11 = -5. Suppose -d*u = -4*t - 66 + 10, -2*u = t - 16. Solve 3*q - 9 = 3*r, 4*q - 3*r + 2 = u for q.
-1
Suppose 4*s + l - 14 = -2, 5*s - 3*l = 15. Solve 0 = s*g - 4*c - 11, 0 = -g + c + 3 - 1 for g.
-3
Let w be (-54)/(-189) + 0 + 4/(-14). Solve 2*s = -0*s + 4*h - 2, w = -4*s - h + 5 for s.
1
Let b(s) = 3*s**2 + 5*s + 4. Let x be b(-3). Let o = x - 14. Solve o*p - 26 = 5*d, 3*p + 11 = -0*p - 5*d for p.
3
Suppose 0 = -9*z + 60 - 24. Let s = 101 + -66. Solve -z*w + 0*w + 13 = 5*b, 4*b - 5*w = s for b.
5
Let n(i) = 4*i + 70. Let c(y) = 2*y**3 - 19*y**2 - 11*y - 7. Let t be c(10). Let x be n(t). Solve d - 2*r = r + 11, -3*r - 10 = -x*d for d.
-1
Suppose 8*i - 5*i - 3*v = 18, -5*i = -v - 18. Suppose 16 = 4*c + 4. Suppose 3*d + 3*w = c, -d - 2*w = i*w + 7. Solve 2*u = -u + 2*f - 3, 4*u - 3*f = -d for u.
-3
Suppose 0 = 18*m - 42*m + 120. Solve 5*f = -4*a - m - 4, 1 = 4*a + 3*f for a.
4
Let g(n) be the second derivative of -n**4/12 + 4*n**3/3 + 9*n**2/2 - 16*n. Let k be g(9). Solve -2*u = -u + 4*o, k = -4*u - 2*o + 14 for u.
4
Let s(r) = 2*r**2 - 5*r + 2. Let y be s(3). Suppose -2*b + h - 20 = 0, h = 5*b - h + 48. Let a = b - -15. Solve -y*j = 3*q + 16, -4*q + 0*j + a = j for q.
3
Let s be (-6*1/(-4))/((-69)/(-230)). Solve 3*j = j + 3*p + 19, 4*j - s = -5*p for j.
5
Suppose -17*m = -63 - 209. Solve 4*h = -2*i, 0 = i - 3*i + 4*h + m for i.
4
Suppose 0*w + w + 14 = -4*g, w + 3*g = -9. Solve -3*o + 5*o = -w, -2 = h + 2*o for h.
4
Suppose -y + 4*y = 39. Suppose 3*l = -2*h - 8, -5*l - 3*h + 1 - y = 0. Let p be l/(-2 + 3 - 2). Solve 5*q + 3*k - 6 = p, 5*q + 7 = 2*k + 28 for q.
3
Let q(n) = -n - 7. Let j be q(-7). Suppose j*z = z - 2. Solve k - 3*r - 11 = 0, r - z*r = -3*k + 17 for k.
5
Let w be (2/2)/((-2)/(-4)). Suppose -3 + 13 = 5*x. Solve 2*j + 3 = -7*v + x*v, w*v = -j - 1 for j.
1
Let r be (-1462)/(-119) - 12 - 24/(-14). Solve 0 = -2*i - 0*i - 10, 5*n + r*i = -30 for n.
-4
Let z = -63 + 183. Suppose 0 = -o - 3*o + z. Suppose 4*q - o = -2*q. Solve -7 = -2*s - 2*b + 1, -q*b + 20 = 3*s for s.
0
Let x be (-115)/69 + 28/6. Solve 3 = x*k - 3*h, 2*k + 3*h = -2*h + 9 for k.
2
Let y be 2*(-3 + (-9)/(-2)). Let x(b) = b**2 + b - 15. Let m be x(-5). Solve m*z - 30 = -5*o, y*o = 8*o - z for o.
1
Suppose 2 = 5*c - 0*d - 4*d, 5*c - 8 = d. Let r be 1 + (8 - -1) + c. Solve r = 4*l + 2*q, 3*q - 9 - 4 = -l for l.
1
Let i be 10/3*12/8. Solve -2*m - 2*n + 3*n = 3, -21 = i*m + 2*n for m.
-3
Let o = -6 + 11. Let x be (0 + -2 + 1)*0. Suppose -k - q + 4 = o, x = k - q - 5. Solve 3*d = 4*b + 7, 0 = 2*b - d + k*d - 9 for b.
2
Let p be 306/(-81) - (-2)/(-9). Let c be 4/((-48)/(-9))*p. Let b be (-9)/c + (-18)/6. Solve -3*r + 7 = 2*u, 4*u + b*r - 4*r = -16 for u.
-1
Let o = 1 - 1. Suppose 2*f - 3 - 3 = o. Suppose 3*g + 0*p - p - 21 = 0, 3*g - 21 = -p. Solve c - 4*d = -g - 8, f*c - 2*d = -15 for c.
-3
Let a(p) = -p**2 - p + 17. Let z be a(-4). Solve 5*g - 3*v = v + 16, 0 = -2*g + z*v + 3 for g.
4
Let j = 1213 - 1210. Solve 0 = 2*s - 3*x + 10, 4*x + 4 = -j*s + 3*x for s.
-2
Let k(c) = -3*c**3 - 2*c**2 - 3*c - 2. Let t be k(-1). Suppose 2*l - 6 = 4. Let f = -3 + l. Solve 4*j = -5*a + 1, -3*j - 7 = -t*a + f*j for a.
1
Suppose -4*t + 7 - 6 = 3*a, 4*a - 2*t = 38. Suppose -3*l + 51 = 3. Solve 5*v = -u + l, -v - 2*u - 2*u = -a for v.
3
Suppose g + 2 = 2*g. Suppose -g*p + p = -1. Suppose d = 2 - p. Solve 4*i + d = -y - 2, 2*y - 5*i = 7 for y.
1
Suppose 15 + 13 = 4*r. Suppose 1 = 2*u - r. Let p = -2 - -3. Solve 3*y = w + 6 + p, -4*y + 4*w = -u for y.
3
Suppose 5*o - 2*o = 9. Suppose o = -8*u + 19. Solve -3*d = -u*s + 10, 3*s + 4*d - 7 - 8 = 0 for s.
5
Suppose 3 = 3*y + 9. Let n(r) = -6*r - 4. Let b be n(y). Solve -2*i - f - b = 0, -2*i - i + 5*f - 12 = 0 for i.
-4
Suppose c - 8 = -4*k + 350, 2*k = -5*c + 170. Let b = k - 85. Solve -2*d - 9 = -3*f - 4*d, 3*d = -b*f + 15 for f.
3
Let w(o) = 3*o + 2*o + 3*o + 15 - 5*o. Let t be w(-6). Let m = t - -8. Solve 0 = b - m*z - 5, 4*b + 3*z - 23 = -3 for b.
5
Suppose -94 = -3*t + b, -2*b + 4*b = -t + 22. Suppose 9*s - 3*s - t = 0. Solve -3*k - 5*q + 30 = 2*k, -s*q + 28 = 3*k for k.
1
Let n(h) = 2*h + 18. Let j be n(-8). Let l be ((-8)/(-28) + 0)*14. Suppose c + 37 = l*p + 6*c, 0 = j*c - 2. Solve 3*i = g - p, -g + 1 = i + 3*i for i.
-1
Let d be (7/(-4))/((-4)/16). Let i be (-16)/56 - (-51)/d. Solve 0 = -y - 1, -2*w = -i*w - y + 24 for w.
5
Let u be 199/(-1393) - (-22)/7. Solve 3*l - 3*s + 6*s = -3, u*l - 5*s + 3 = 0 for l.
-1
Suppose 177*f - 171*f = 30. Solve -1 - 1 = -4*a - 3*r, -f*a = -3*r - 16 for a.
2
Suppose -4*n = -3*n - 8. Let o = n - 0. Suppose 26 = 4*m - z, 4*m - m = 5*z + 28. Solve 4*p + 4*k = o, -2*p - 3*k + m = -p for p.
0
Let g be (-2 - -2)/2*2/(-4). Let k = g + 0. Solve -5*f + 4 = u - 0*u, -3*u + 4*f - 7 = k for u.
-1
Suppose -n + 0*n + 7 = a, 0 = a - 4. Let i(t) = 2*t**2 + 9*t + 11. Let q be i(-2). Solve -3*p + u + 7 = -7, q = -n*p - 2*u for p.
3
Let s(v) = -25*v + 115. Let b be s(4). Solve -3*l = 3*y + 2*y - 15, 5*y = 3*l - b for y.
0
Let v(f) = 4*f - 16. Suppose -11*c - 28 = -94. Let n be v(c). Solve 4*w + 3*u + n = -15, 4*u = w - 18 for w.
-2
Suppose 5*f + 10 = 5*m, 2*m - m - 2*f = -1. Let h = 12 + m. Let x be (-1)/(10/(-3) - -3). Solve -d = -x*d - c - 4, 3*d = 4*c - h for d.
-3
Suppose -7*q + 48 = -4*q. Suppose -q = -13*x + 23. Solve -x*v + 11 = 4*n + 2, -4*n + 14 = -2*v for n.
3
Suppose 6 = -3*q + 4*u + 27, -5*u + 37 = 2*q. Suppose 0 = -9*z + q*z. Suppose z = n + 2*n - 30. Solve 7 = a + f, a - 4*f + n = -4*a for a.
2
Let j = -71 - -85. Let m = -9 + j. Solve m*d = -1 + 6, -3*s - 2*d = 1 for s.
-1
Let k(q) = q**2 + 3*q - 6. Let w be k(-5). Suppose 3*t - w*n = 15 + 50, 4*t - 97 = -5*n. Let g = t - 20. Solve 15 = -3*v - 4*r + r, g*v = -2*r - 12 for v.
-2
Suppose -4*w - 8 = -4*l - l, 6 = 3*l - 3*w. Let x be 3/2*(l + -2). Let n = x + 5. Solve 6 = -3*d, -5*b + n*d = -d - 16 for b.
2
Suppose 2*z - 6 = -0*z. Suppose -z*d = -111 - 72. Suppose -d - 9 = -2*q. Solve 25 = 3*f - 4*w + 6*w, -5*w = 2*f - q for f.
5
Let r be (-3)/((-9)/6) + 8. Let v(w) = -4 - w - 11*w**3 + 10*w**3 + 0*w - r*w**2. 