 Solve -w*x + 3*f + 3 = 0, -4*x - x - 4 = 4*f for x.
0
Suppose 0 = -5*p + 17*p. Solve 5*x + p = 4*w - 5, 0 = 4*w - x + 15 for w.
-5
Let s(f) = f**3 + 2*f**2 - 8*f - 14. Let b be s(-2). Solve x = b, -5*w - 4*x = -3*x - 2 for w.
0
Suppose -6*s + 70 = 8*s. Solve 8 = s*n + 3*k, 0*n - k = n for n.
4
Let r be (13 + -12)/(1/(-2)). Let k(d) be the second derivative of -d**3/3 - 2*d**2 + d. Let m be k(r). Solve 2*j - 3*n = 7, -3*j = -2*n - m*n - 13 for j.
5
Suppose 80*n - 92 = 34*n. Solve -2*a = -4*w + 6, n*a - w = 3*a for a.
-1
Suppose 0 = -s - 6 + 10. Suppose 4*t = s*n - 92, -n - 3*t = -8*t - 11. Solve -5*m - n = -0*m - 2*l, 3*m = -5*l + 3 for m.
-4
Suppose 0 = -4*f + 174 + 30. Let i = f - 12. Let c = i + -37. Solve -y + 4*k - 3 - 4 = 0, 0 = -y - 5*k + c for y.
-3
Let v(q) = q**3 + 10*q**2 + 8*q - 7. Suppose 3*k = 6*f - f - 7, 37 = -5*k + 2*f. Let l be v(k). Solve 33 = -5*s - 4*r, -6*s + 4*s = -4*r + l for s.
-5
Suppose 12 = 4*c, 5*k + 3*c = 44 - 15. Solve 0 = -4*i - 4, 0 = k*h - i + 4*i + 11 for h.
-2
Let n be (-8 - (-2 - 0)) + (88 - 80). Solve 3*o = 3*q, -o - n*q = -5*o + 10 for o.
5
Let h(m) = -14 + 17*m + 9*m - 23*m - 2. Let q be h(7). Solve -z - 5*o = -22 - 3, 4*o - 20 = q*z for z.
0
Let w be (1/(-2))/(1/70). Let z = 80 + w. Solve 21 = 5*j - b, -2*j + 5*b - z = -7*j for j.
5
Let v(p) = p**3 - 5*p**2 + 3*p - 11. Let j be v(5). Solve 4*d = -o + 8, 2*d + j*o = 6 - 16 for d.
3
Let a be (-4 - 1)*(-56)/35. Suppose a = -4*z, 2*i - 4*z - 10 = -0*i. Suppose -3*n + 7 = i. Solve -5 + 21 = -n*c + 4*x, -c - x = -1 for c.
-2
Suppose 15*i + 12*i - 81 = 0. Solve -b - 4*b = 4*d + 9, -i*b - 2 = -d for b.
-1
Let d be -1 - (-5)/10*(-1 - -15). Let b(a) = a**3 - 7*a**2 + 9*a - 4. Let h be b(d). Solve 2*n - 3*u + 16 = 0, -5*n - h = -4*u + 3*u for n.
-2
Suppose -13 = -3*q - 3*s - 2*s, 8 = 4*s. Suppose -4*x = -3*w - 2*w - q, -5*w + 3 = -3*x. Solve x*p = m + 4, 3*m + 2 = -0*m + 2*p for m.
0
Suppose 41 - 14 = p - 5*j, 12 = -4*p - 4*j. Solve d = p*m + 2*m + 14, -m + 2 = -3*d for m.
-4
Let i(b) = b**2 + 4*b - 4. Let q be i(-6). Let y be (-1)/2 - q/(-16). Suppose -7*k = -6*k. Solve 2*r - d + 13 = k, r + 2 = -d - y for r.
-5
Let s(d) = d**3 + 8*d**2 + 7*d + 1. Let w be s(-7). Let n be 45/(-9)*(w + -2). Solve 4*z - 3*v - 2 - 20 = 0, 0 = -n*z + 3*v + 26 for z.
4
Let q(r) be the first derivative of r**3/3 + 5*r**2/2 + 7*r - 141. Suppose -3*i - 13 - 5 = 0. Let l be q(i). Solve -h + 7 = -4*k, -4*k + 2*k - 5*h = -l for k.
-1
Let u(g) = -g**2 + 21*g - 79. Let f be u(8). Solve -2*m + 5*z = -4*m - 30, -m - 5*z = f for m.
-5
Let x(c) = 4*c**3 + 6*c + 4. Let a be x(-2). Let k be ((-3)/2)/(-4*(-5)/a). Solve 4*d + r + 7 = -6, k*d + 6 = 3*r for d.
-3
Let z(g) = -18*g + 220. Let q be z(12). Solve -q*m = -p - 7 + 28, 2*m - 17 = -5*p for p.
5
Let g(o) = 89*o - 351. Let k be g(4). Solve 0 = h + 3*s - 5, -k*h + 2 = -h + 3*s for h.
-1
Suppose 65 + 5 = 7*f. Suppose 18*p + f = 23*p. Solve -p*v - 5*z - 4 = 0, v + 0*v = -z + 1 for v.
3
Suppose 0 = 3*p - p - 40. Suppose 1 = 7*t - p. Solve -t*d + 4*d = -3*s, 3*s - 9 = -4*d for s.
-1
Let f = 266 + -262. Solve -r - 2*r = f*c - 27, 4*c = 5*r - 13 for r.
5
Suppose 5*h = 15, -h = -2*m + m - 14. Let b be (-74)/(-3) - m/33. Let v = b + -15. Solve -j - v = j, -4*a - 4*j - 12 = 0 for a.
2
Let t = 32 - 28. Suppose -t*u + 5*u = 2. Solve 0 = -4*l + 5*q - 4 - u, 0 = -4*l - 2*q + 8 for l.
1
Let p be -3*1 - (3 - 11). Let a(u) = 4*u**2 - 4*u + 3. Let t be a(3). Solve 5*j - t = -3*c, -17 = 5*j + p*c - 52 for j.
3
Let r be (-72)/(-7) - (-4)/(-14). Let p = r - 7. Suppose 5*o = 3*q - 37, -2*q = -3*o - 22 - 1. Solve t + 3*f - f = 0, -22 = q*t - p*f for t.
-4
Let v(w) = 2*w - 25. Let l(p) = -p + 13. Let o(i) = 10*l(i) + 6*v(i). Let r be o(11). Solve 4*t - b - 11 = 2*b, 21 = 3*t + r*b for t.
5
Let v = -1 - -5. Solve -v*f + 3*k = -f - 15, 5*f + k = -5 for f.
0
Let i(t) = 13*t**2 + 37*t - 4. Let w be i(-3). Solve 0 = -g + 3*u - 2, -3*g + g + w*u = 4 for g.
-2
Let o(a) = -26*a - 177. Let z be o(-7). Solve 0 = z*c - 0*x - 5*x + 25, -x + 25 = -5*c for c.
-5
Let m be (-24 - -32) + 4/(-1). Let w = 29 + -17. Solve -h = m*j - w, -4*h + 6 = -j - 4*j for h.
4
Suppose 2*w - 7 = -t, 2*t = -5*w + 3*w + 10. Let i be -1*(-2 + 2 + -4). Suppose -i*b + 2*b = 0. Solve 5*h = 2*f - 27, b*h + w*h + 9 = -f for h.
-5
Let t be (-30)/4*(-28)/42. Suppose 2 = -x - d + 12, -4*d = -t*x + 14. Solve -v = -3*h + 7, -h = 5*v - x - 7 for h.
3
Let i = -471 - -485. Let d(q) = -4*q**3 - 3*q**2 - q. Let z be d(-2). Solve 0*c - i = 3*h + c, 2*c - z = 4*h for h.
-5
Suppose 6 = 3*m - 3. Suppose -4 = -7*r + 269. Let w = r - 36. Solve 5*g - 5*h = 15, -m = 4*g - 5*g + w*h for g.
3
Let t(n) = -n + 7. Let u be t(-2). Suppose -u*v + 27 = -0*v. Solve 0 = -w - 0*w - c - 1, 2*w + v*c = 2 for w.
-5
Let o(m) = m**2 + 7*m + 5. Let v(l) = 6*l**2 + 37*l + 25. Let t(z) = 11*o(z) - 2*v(z). Let b be t(0). Solve -b*x = 5*i + 25, 3*i + 5*x = -9 - 8 for i.
-4
Suppose 17*h - 22*h = -10. Let f be h/(-3) + (-287)/(-21). Suppose f = 6*u + 1. Solve 2*b = -2*l + 10, 2*b = u*l + l for l.
2
Let u be (-11 + 2)*1/(-3). Let x = u - 0. Suppose -5*j + x + 52 = 0. Solve 20 = 5*b, -3*b = q - 6 - j for q.
5
Let o(q) = 8*q**3 + 8*q**2 - q. Let p be o(-1). Solve -3*h = 5*l - 29, h + p - 12 = -2*l for l.
4
Suppose 4*f = 6*f - 4. Suppose -f*o = -o. Solve -4*m + m - 2*d + 9 = o, 5*d - 14 = m for m.
1
Let g = 10 + -7. Suppose -q = -2*a - 2, -g*q = -4*a + 6*a + 18. Let p be -5*-1*(-2 - a). Solve 0 = 5*j + p*v, -v = j + 2*v - 4 for j.
-2
Let i be 183/30 + 1/(-10). Solve 2*n + 0 = -4*j - i, -5*n = j + 6 for j.
-1
Let w = 249 + -247. Solve 5*a = -4*q - 21, -w*a - 3*a + 5*q = 30 for a.
-5
Let u = -460 + 460. Solve 3*v + 0*p = p + 6, u = 2*v + p + 1 for v.
1
Let i(p) = -2*p - 38. Let s be i(-20). Suppose -s = -g + 4. Solve -6 = 3*w - 3, 2*w + g = -c for c.
-4
Let j(g) = -g + 7. Let f be j(2). Solve -f*s - 29 = 2*y, -s = 2*s + 3*y + 21 for s.
-5
Suppose -2*f + 22 = -12. Let l be (f/51)/(1/18). Solve 4*h - g = -7, 0 = -4*h - g + l*g + 13 for h.
-3
Let r(p) = 2*p**2 - 3*p + 3. Let i be r(1). Suppose -i*g - g = -39. Solve 2*q - 3*z = -g, -6*q + q + z - 26 = 0 for q.
-5
Suppose 67 = 20*q + 27. Solve 2*d = -5*x - 17, q*d - 5*d + 4*x + 32 = 0 for d.
4
Suppose 6*v - v + 430 = 0. Let b = v - -92. Solve -2*o - b = 2*n, -3*o - 6 = 5*n + 3 for n.
0
Suppose -y - 4*u = 2, -2*y = -2*u + 7 - 13. Solve -4*g + 12 = -y*m, -2*g + m = -2*m - 10 for g.
2
Suppose 0*l - 3*x - 6 = -l, -5*x - 10 = 2*l. Suppose l*d - u = d - 1, 4*u = 2*d - 8. Solve 0 = -d*p + h + 1, -p - 4*h + 15 + 8 = 0 for p.
3
Suppose -5*i - 2654 = -2664. Solve d - 4*h + 14 = 0, -2*h + 14 = -3*d + i for d.
-2
Let m = 2 - -2. Let r = 11965 - 11963. Solve -3*h = c + 4, m*c + 9 + 7 = -r*h for h.
0
Suppose 28 = 247*t - 244*t + 4*v, -38 = -4*t - 5*v. Solve 20 = -5*k, n + 2*k + t = 3*n for n.
2
Suppose 2*b = 2*x, 2*b + 2 - 8 = 0. Let t = -8 - 6. Let s = t - -18. Solve s = x*h - h, 4*h = -3*d + 20 for d.
4
Suppose 3*f - 4*f = 215. Let n = 0 + 1. Let c be n/4 + f/(-20). Solve 0 = w - l - 4 - 0, -c = -3*w + 4*l for w.
5
Let b(t) = t**3 - 5*t**2 - 18*t + 16. Let i be b(7). Let k be (-68)/i + ((-40)/(-12))/(-5). Solve 2*w = -4*j + 12, -k*j + j - 3*w + 14 = 0 for j.
2
Suppose -221*j + 400 = -171*j. Solve h + 0*h - w = -6, -h = -2*w + j for h.
-4
Let r be 18/10 + (-3)/((-135)/(-36)). Solve -4*y - 17 = -3*x, y + 0*y = 4*x - r for y.
-5
Let b = -89 + 68. Let x be b/9 + 2 - 39/(-9). Solve 2*o - 4 = -2*o - x*n, -5*n - 30 = -2*o for o.
5
Let w(m) = -m - 2. Let u be w(-7). Suppose 3*r + 49 - 58 = 0. Solve u*c = 5*v - 35, r*v - c - 3 = 8 for v.
2
Let v(c) = c**3 - 4*c**2 - 4*c. Let i be v(5). Solve 0 = -2*m - 0*m + 2*w - 14, 0 = -m - i*w + 23 for m.
-2
Let z(s) = s - 1. Let c be z(5). Let m be 7 + (-10 - -11) + 2 + 1. Suppose 5 = c*p - m. Solve 5*j = 2*g - 8, -p*g + 3 + 13 = -2*j for j.
0
Let f be 385/15 + 2/(-3). Suppose 4*x = -x - 5*j + f, 3*x - 7 = 5*j. Solve -4*n + 14 = -s, -4*s + x*n - 20 = -0*s for s.
-2
Suppose 0 = -7*q + 8 + 20. Suppose -2*t + 4 = -q. Solve -4*s - t*z + 4 = 0, -1 = -3*s - 2*z + 6 for s.
5
Suppose 0 = 3*c + 5*t - 30, t = 3*c + 2*c - 50. Let v = -26 + 39. Suppose 0 = 4*p + 2*x - 14, -5*p - x + v = -p. Solve -p*d - c = d - 3*o, -8 = -4*o for d.
-1
Let h(o) = -o**3 + 11*o**2 + 4*o - 38. Let i be h(11). Suppose r +