= 0 for x.
-3
Let y be (4 - 1) + -2 - -5. Let h = y - 3. Solve -9 = 5*f + 4*g, h*f - 4*g + g = -27 for f.
-5
Let g = 4 + -4. Let v = g + 13. Solve -2*c = -3*j + 7, -3*c + v = 3*j - 14 for c.
4
Let f(s) be the second derivative of -s**3/3 - s**2 + 4*s. Let c be f(-3). Solve 4*b + 8 = 3*w - 1, 4*w + c = 0 for b.
-3
Let j(p) = p. Let q(f) = -6*f - 2. Let i(o) = 5*j(o) + q(o). Let y be i(-5). Solve -4*v = 2*s - 6, 2*v - 3*s + y = 5*v for v.
2
Suppose 10 = 2*l - 0*l. Suppose 15*o = 30*o - 105. Solve 3*a - 16 + 4 = l*d, 2*a - 3*d = o for a.
-1
Suppose 5*b - f - 12 = -5, 3*b - 21 = -5*f. Solve 5*x - 27 = -5*d + b*d, d - 2*x = -2 for d.
4
Let s be -3*2/(-3)*2. Suppose -2*i + 16 = s*o, -5*i + 1 + 24 = 5*o. Solve u + 2*t = o*t + 8, 3*t + 21 = 2*u for u.
3
Suppose 6*u = 62 - 20. Solve 5*v - 20 = 5*k, -4*v - 7 = 2*k + u for k.
-5
Let a(c) = -c**2 - 14*c - 13. Let f be a(-13). Let v = -7 - -3. Let t be (-3)/(6/v)*2. Solve 4*o - t = -f, o = 4*h + 17 for h.
-4
Suppose -4*x - 10 = r, -r = r - 4*x - 16. Suppose -4*v + 12 = -2*t + 4, 5*t + 12 = r*v. Let l be v*(2 - 0) - -1. Solve 4 = 2*g, -5*g = -l*f + 3 - 4 for f.
3
Suppose -2*h + 16 = -2. Solve 0 = 3*j - 2*j + 5*b - h, -4*j + 19 = 3*b for j.
4
Let j be (200/28)/(-5)*-1*7. Solve 0 = -4*m + 3*n - 11 - 4, -2*m + j = 2*n for m.
0
Let q be 2*-2*-10 + -1. Let h = q + -18. Suppose -2*p + h = 3*j, -p - 2*j = 3*p - 22. Solve m + m = -4*l, -p*m + 8 = 2*l for m.
4
Let o = 31 - 29. Solve 3*s + 2*s - 4*d + 8 = 0, o*s + 5 = d for s.
-4
Let l(t) = 2*t**2 + 42*t + 2. Let h be l(-21). Solve -r + 4 = h, 0 = 5*z - 3*r + 6 for z.
0
Let z be (11/(-2) + 3)*-2. Let h(n) = 4*n - 4. Let m be h(z). Solve 4*x + 20 = 2*r, 4*x + 0*x = r - m for x.
-3
Suppose 2*u = -0*u. Solve 4*b - 11 = 5*k, 5*k + u + 13 = 2*b for k.
-3
Let i be (-2)/(-11) - (588/(-33) + 6). Solve 0 = u - 3*o + 7 + 9, -2*u = -o + i for u.
-4
Suppose 15 = -n + 6*n. Let u be (-1)/((3 - 5)/22). Suppose r - 5*m - 26 = -m, -m - u = -r. Solve 4*i - 13 = -3*v, r*v - v = n*i + 12 for i.
1
Let j(z) = z**2 + z. Let w be j(2). Let o = -5 + w. Solve -4*x + o - 13 = -5*c, c = -5*x - 15 for c.
0
Let k = -26 - -36. Let g be 2/(-7) + (-204)/(-28). Suppose k = g*u - 2*u. Solve 0 = 5*j + 2*w + 10, u*j - 4 = 4*w + 16 for j.
0
Suppose q + 5*n = 2*q + 6, 5*q + 4*n = 28. Let s be 2/q - 3/(-6). Solve -3*y = 6, 0 = -4*z - 3*y - s - 5 for z.
0
Let s(c) = -c + 1. Let y be s(4). Let r(u) = 3*u**3 - 3 + 0*u + u + 4*u**2 - 2*u**3. Let m be r(y). Solve 4*d + 24 = -4*l, 0 = -l + m*d - 4 + 2 for l.
-5
Let c(v) = -v**3 + 9*v**2 + 9*v + 13. Let n be c(10). Solve 2*r = -4*y + 2, r - 2*y = -n*r - 26 for r.
-5
Let r(m) = -m**3 + 11*m**2 - 12*m + 9. Let i be r(10). Let y(v) = -v**2 - 13*v - 12. Let q be y(i). Solve -2*b - 2*n + 2 = 0, 5*b + 6*n + q = 4*n for b.
-4
Let v(k) = k**3 - 22*k**2 + 22*k - 21. Let g be v(21). Solve -p + 2 = g, -3*p + 8 = 4*j - 14 for j.
4
Let x(d) = 2*d - 15. Let q be x(9). Solve 4*w = 2*r - 12, -q*w - 2*w - 14 = -2*r for w.
-2
Let d be 4/8 - (-3)/2. Suppose -5*h = -u - d*u - 40, -2*h - u = -27. Suppose 0 = -5*a + 6 + 14. Solve 5*j + 3*w = j + h, a*j = -w + 1 for j.
-1
Let a(q) = q**3 + 8*q**2 - 10*q - 4. Let w be a(-9). Solve -6 = p - 2*y, -w*p + 0 = -3*y + 16 for p.
-2
Let n(r) = r - 1. Let o(c) = -2*c**2 - 2*c + 2. Let j(m) = -n(m) - o(m). Let q be j(1). Solve 2*d = -8, -i - 4*d - 20 = -q*i for i.
4
Let p be 2*(27/2 + -2). Solve n = 5, -4*n + 9 + p = -3*b for b.
-4
Let j = 12 - 21. Let z be 2/j + 110/9. Suppose 0*k = 3*k - z. Solve 0 = -3*i - 3*a - 15, 0*i = i + k*a + 17 for i.
-1
Let x be 4/6 - 7/(-3). Let s be -2 + 7 + 6/(-3). Suppose -2*v = -s*v. Solve 4*z - 3*d - 2*d + 5 = v, -3*z + 3*d - x = 0 for z.
0
Let m(k) = k + 4. Let h be m(-2). Suppose h*o - 2 = -0*g + 2*g, 2*o = 10. Solve 2*t + 3*f = -t - 12, 3*f = -g*t - 16 for t.
-4
Suppose 2*r = r. Suppose -26 = m - 5*h - 3, r = h - 5. Solve -3*s - 1 - m = -2*y, y + 2 = -2*s for y.
0
Suppose 0 = 6*g - 24. Solve 5*h = g*h - 5*q + 7, -h = 2*q - 1 for h.
-3
Suppose 4*s + j - 15 = 0, 2 = -4*j - 2. Solve -s*f - f - 14 = -4*n, -f + 3 = 5*n for n.
1
Let y = -10 - -38. Suppose 3*h - 7*h - 4*f + y = 0, 0 = 5*h + f - 23. Solve 4*j + 3*r = 2*j + 21, -5*j + h*r - 5 = 0 for j.
3
Let v = -2 - -5. Suppose -2*w = -w + v*o - 5, -3*w - o = -55. Solve -3*m + 9 = -3*y - 0*y, 2*m - w = -5*y for y.
2
Suppose -7 = -2*k + 3. Suppose -3*p + 5 = 3*w - p, w + 2*p = -k. Solve -w*u - 5*o = 10, 4*u = 3*u + 4*o + 23 for u.
3
Let m be (-26)/(-2)*(-3 - -4). Solve -5*h = 5*b, 5*b - 3 - m = -h for b.
4
Suppose 0 = 5*l - 4*l. Let y(s) = 4*s - 2. Let p(o) = 3*o - 3. Let x(q) = 3*p(q) - 2*y(q). Let i be x(7). Solve l = 5*f - k - i*k, 0 = -2*f + 3*k for f.
0
Let k be (-2 + -2)*(-1)/2. Suppose 4 - 2 = -2*f + y, -k*y = -8. Suppose 2*g - 5 = f. Solve w - g = 1, 2*w - 4 = -v for v.
-4
Let o(m) = -10*m + 2. Let k be o(-1). Solve 5*l - 2*f = -0*f - 28, 4*l + f + k = 0 for l.
-4
Let n(z) = -z**2 + 4*z + 5. Let a = 8 + -4. Let c be n(a). Suppose 3*b - 9 - 6 = 0. Solve -l = -c*r + 1, -r + 0*l + b*l = 19 for r.
1
Let q = 5 - 8. Let u = q - -6. Solve -o = -u - 0, h - 11 = -3*o for h.
2
Suppose -6 = l + 2*j, -3*l + 22 = -0*j - 2*j. Suppose -3 = 5*o + 3*d - l, -9 = -3*o + d. Let y be -1*(-6*o)/2. Solve 4*g - 14 = -h, -g - 3*g + y = 5*h for g.
4
Let u(f) = f + 5. Let z be u(4). Let a be (-2)/z + (-10)/(-45). Solve 0 = 4*b - 5*v - 15, a*v = -3*b - 2*v - 6 for b.
0
Suppose -c = -3*c + 10. Suppose 0 = -w - 0 + 2, -c*w + 14 = f. Solve -f*q - 2 + 0 = -3*u, 4*u - 4 = 4*q for q.
1
Let y(s) = -s**2 + 2*s - 1. Let x be y(6). Let f = 27 + x. Solve 0*v - 5*v + 11 = -f*i, 0 = 4*v + 4*i - 20 for v.
3
Let j = -14 + 18. Solve -j*n + 3*l = 6*l + 13, 0 = -2*n - 5*l - 17 for n.
-1
Suppose 12 = p + 9. Solve -h + c + 4 = 2*c, h = -p*c + 12 for h.
0
Let x(c) = -c + 7. Let q be x(7). Let n(v) = -13*v**3 - v - 1. Let b be n(-1). Suppose -9 = -5*m + 6. Solve -b = 3*s - s - 5*u, q = -m*s - 2*u + 9 for s.
1
Suppose -3*j + 6 = 0, 4*b - 20 = -4*j + 4. Solve 23 = -4*f - g, b*f + 3*g + 14 = 3*f for f.
-5
Let q = -17 - -18. Suppose -3*t - l - 4*l + q = 0, t - 2*l - 15 = 0. Solve -4*h - 3*d + 3 = -h, -5*h + d = t for h.
-1
Let d = 0 + -4. Let j be ((-6)/(-9))/(d/(-30)). Suppose 0 = 4*v + v - 25. Solve j*o - 4*p + 6 = 0, -v*o + 5*p = 3 + 2 for o.
-2
Let k(h) = -h - 5. Let t be k(-7). Suppose -45 = -5*g - t*x, x = -3*x. Let q = g + -5. Solve q*d - 5*j + j = 8, 2 = -4*d + 2*j for d.
-3
Let v be (-30)/(-10) - -2*1. Solve -2*a = -5*m + 21, m = -3*a + v*a + 1 for m.
5
Suppose 2 = 2*z - 2*a, 0*a + 2*a + 17 = 5*z. Solve 5*g - w = -20, g + 2 = -z*w - 28 for g.
-5
Suppose -z - 6 = -2*s - 4*z, 0 = 3*s - 3*z - 24. Let m = s + 8. Solve -4*d = -5*k + m, -16 + 5 = 5*d - 3*k for d.
-1
Suppose 0 = -2*f + 4*f - 8. Suppose -3*c + c + 33 = -5*g, 4*c - 1 = -3*g. Solve -2*n + c*i + f = -0*i, 4*n - 8 = 2*i for n.
2
Let s(n) = -n**3 - 4*n**2 + 14*n + 14. Let g be s(-6). Solve 3*l + 4*r - 20 = g, -r + 4 = 0 for l.
2
Suppose 3*a + 1 = 4*a. Suppose v = -4*r + a + 15, 3*r = 5*v - 11. Let q = r - 1. Solve 5*t = -b - 18, -q*b = 4*t - t + 8 for t.
-4
Suppose -5*j - 3*m = m - 33, -8 = -4*m. Suppose d - 9 = 6. Solve 3*h + 0*n = -j*n - 9, 5*h + 3*n = -d for h.
-3
Let v(p) = p + 9. Suppose -7 = 3*d - 2*d. Let z be v(d). Suppose 10 = -z*w - g - 3*g, -5*g - 17 = w. Solve -w*b + 7 = -4*m, -4*m + b - 22 = 3*b for m.
-4
Let k = 41 - 36. Let f(b) = -2*b - 5 + 4 - 3. Let q be f(-4). Solve 0 = -k*r + 4*a + 25, 0*r + 5*a = -q*r + 20 for r.
5
Suppose -8*g + 53 = -51. Let w(d) = d**3 - 4*d**2 - 2*d - 3. Let a be w(5). Solve 4*i - k = g, -a = 3*k + 3 for i.
2
Let s(l) = -l**2 + 4 + 0 + 3*l**2 - 4*l - l**2. Let i be s(4). Solve 5*t + 18 = -i*n, n + 8 = -n - 2*t for n.
-2
Suppose -p - 9 = 1. Let v = 14 + p. Suppose 6 = 5*i - v. Solve 0*x - 5*f + 3 = -x, -i*f - 6 = 2*x for x.
-3
Suppose -2*v + 2 = -6. Suppose -3*j - 2*w + 3*w + 11 = 0, v*w + 14 = -3*j. Solve -2*l = -3*t - 2*t - 4, l - 4*t - j = 0 for l.
2
Let l(y) = y**2 - 3*y + 4. Let s be l(3). Let g be ((-3)/(-12))/(1/s). Let u(z) = -z + 1. Let a be u(g). Solve 0 = -4*v - 3*r - 4, 4*v - 24 = 4*r - a*r for v.
2
Let l = 104 - 100. Solve l*u + 25 = z, -5 = z + z + 3*u for z.
5
Let d(l) = l**3 - 2*l**2 - 6. Let u be d(3). Solve 3*h + 13 = -4*k, 0*h - 4*k + 5 = -u*h for h.
-3
Let i(c) = -c**2 + 6*c + 2. Suppo