 4 = -4*f + 4, 0 = -2*x - 4*f - 20. Let i = 4 + x. Solve p + 3*g = 10, 2*p + 0*g + 2*g = i for p.
-5
Let w = 15 + -8. Solve -2*h - 26 + w = 3*c, -2*h + 2 = -4*c for h.
-5
Suppose 0 = 4*w - 3*s - 11, -w + 4*s = w + 2. Solve -2*y + 4*y - 4 = 2*a, -3*y = w*a + 26 for y.
-2
Let z be (-2)/(-2) - (0 + 0). Suppose -2*d + z = -3. Suppose -3*h - d*h + 10 = 0. Solve 0*s + 2*b = -2*s - 4, s + 11 = h*b for s.
-5
Let b = 168 + -151. Solve 5*g + b = -3*c, -4*g - 2 = -3*c + 17 for g.
-4
Let l(f) = 3*f**3 + 2*f - 1. Let n = -1 + 2. Let j be l(n). Solve -3*h + 4*c - 3 = 0, 23 = -j*h + c - 2*c for h.
-5
Suppose -2*k = 0, -3*l + 2*k + 9 = -0*k. Let s = -2 + 7. Suppose -l*r = -5*i + 167, -68 = -s*i - 2*r + 79. Solve -i = -2*d - 5*a, -5*a - 4 = -5*d - 14 for d.
3
Let i = 356 - 206. Suppose -y - 5*y = -i. Solve 5*l - 4*m - 13 = -3*m, 0 = 5*l - 5*m - y for l.
2
Let q = 22 - 12. Solve -5*x + q*x = 3*s - 20, 4 = -4*x for s.
5
Let a = 17 + -16. Solve 4*u + 0*l + l = -a, 5*u + 10 = -3*l for u.
1
Let l be 8 + -6 - 1/(-1). Solve 3*d = -l*b - 12, b - 2*d + 2 + 5 = 0 for b.
-5
Suppose -2*r + 10 = 3*r. Suppose p = r*p - 6. Suppose -3*z = h - 17, -p*h + 4*h + 6 = -z. Solve 2*w + 12 = -2*w + z*a, -5*w - 21 = a for w.
-4
Suppose -2*l + 15 = 3*l. Let w(i) = -i + 2. Let g be w(0). Let o = -426 - -428. Solve 2*a = -g*b - 12, 4*a = 5*a - l*b + o for a.
-5
Let w(l) = l**3 + 20*l**2 + 20*l + 21. Let k be w(-19). Solve 4*a - 5*f + 26 = 0, -k*a = 2*f - 7*f + 18 for a.
-4
Suppose 67 = 3*u - 47. Let y = u - 20. Let o = 26 - y. Solve -4*l = l, 0 = 4*f + l - o for f.
2
Let f be 2 - 1 - 0 - -2. Let l be f/1 + 1*-43. Let c be l/(-18) + (-8)/36. Solve -4*w - 7 = -5*h, 0*h = -c*h + w + 1 for h.
-1
Let y = -28 - -48. Let p be 2 - (12/(-2) + 0). Let u be 22/5 + p/(-20). Solve -15 = q - 0*q + u*z, -4*z = y for q.
5
Suppose 2*r - 4*w + 4 = -3*r, -r - 1 = -w. Let l be (1 - (22 + r))/(-1). Suppose -4 = -a + l. Solve a = 3*i - 4*j, 0*i = 3*i + 5*j + 11 for i.
3
Let m = -2 - 1. Let b be ((-15)/m)/(1/2). Let w = -7 + b. Solve -w = -z, 3*y + 0*z = z - 18 for y.
-5
Let x(r) = r**3 - 5*r**2 + 5*r + 4. Let k be x(4). Suppose k*c - 9 = 5*c. Solve 4*w - l - l - 10 = 0, c*w + 15 = -3*l for w.
0
Let p be 10*((-20)/(-8) - 2). Solve 4*z = 3*r - 12, -p*z + 0*z - 4*r = -16 for z.
0
Let l(n) = -n - 2. Let p be l(-2). Suppose 3*i + 12 = -i. Let t = -1 - i. Solve -3*y - m - t = p, -2*y + 4 = 5*m + 27 for y.
1
Suppose -3*q - k = -2*k + 45, 0 = -5*q - 5*k - 95. Let o be q/(-20) - 42/(-10). Solve 0 = o*a - g - 22, 4*a - 9*g + 4*g - 5 = 0 for a.
5
Suppose 5*q + 3*b + 17 = -5, 0 = 3*q + 2*b + 13. Let i be -2*(15/(-6))/q. Let s be (-13)/i - 1*-1. Solve 5 = -5*z - 5, -2*p + 3*z = -s for p.
4
Let t(x) = 3*x - 1. Suppose 0 = -4*o + 4*z, 0*z - 2*z + 1 = -o. Let j be t(o). Solve 5*c + 13 = u, -u - 3*c - 15 = j*u for u.
-2
Suppose 3*s - 35 = -4*s. Let a = -1 - -13. Solve n - i = s*n - a, -n - 2*i = -10 for n.
2
Suppose 4*b - 64 = -56. Solve -2*d = 5*s + 2, -d + s = b*s + 1 for d.
-1
Suppose -3 + 0 = -x. Solve 0 = 5*y + s + s - 19, x*y = -3*s + 6 for y.
5
Suppose 0 = -b - 4*f - 4, -f - 3*f - 4 = -4*b. Let d = b - -4. Solve -4*q - 3*y + 24 = 0, -3*q + 3*y - d = -1 for q.
3
Let k(c) = 6*c + 5. Let z be k(4). Let i = 40 - z. Suppose 2*a - 3 = n, 2*n - 4 = -3*a + i. Solve 0*y + 2*y - 12 = 2*d, 0 = d + a for y.
3
Suppose 72 = -z + 4*z. Suppose m - 3 = 0, -3*x = -6*x - 3*m + z. Solve -n - 4*y = n + 14, -y = x*n - 1 for n.
1
Let i(m) = -m**3 - 11*m**2 - 14*m - 8. Let r be i(-10). Solve 2*s + 0*g + 24 = -4*g, -3*s - 5*g = r for s.
-4
Let c = 11 - 8. Solve 1 = c*g - 2*l - 3, -4*g = -4*l for g.
4
Let w = 36 + -34. Solve 0*h - 2*h - 30 = -4*j, w*j = -5*h - 15 for j.
5
Let c = -14 - -6. Let y(a) = -a - 3. Let w be y(c). Solve -2*q = -3*v - 5, 3*v - 5*q - w = 5 for v.
-5
Let b be 2/(-8) + (-26)/(-8). Suppose 0 = -r + b*r. Solve 0*q - 2*q = l + 9, r = -q - 5*l - 9 for q.
-4
Let g = -21 - -35. Suppose 2*c - 10 = -4*a + 2, 3*a - 2*c = 2. Suppose -a*o + 10 = -0*o. Solve -n + 1 = h, o*h = n + h + g for n.
-2
Let m be 4 + -4 - (-12 + 1). Let o = 8 + -5. Suppose -o*f + 2*h = -m, h - 10 = -4*f - h. Solve -f*i + 10 = -8*i + n, 0 = -3*i + 3*n - 18 for i.
-1
Let s = 6 + -4. Let w(g) = -3*g + 3. Let u be w(s). Let h be ((-6)/u*-3)/(-2). Solve -4*i + i = 3*n - 21, -4 = -2*n + h*i for n.
5
Suppose 3*c - 4 = -5*p - 5, 0 = -c + 4*p + 11. Suppose -13 = -4*n + 35. Solve -5*a = 4*j - 37, c*j = 2*j + 3*a - n for j.
3
Let i(b) = -b**2 - 14*b - 10. Let q be i(-13). Solve 30 = 5*k - 5*j, -2 = -q*k - 4*j + 2 for k.
4
Suppose 0 = -3*m + 2*x + 25, m + 4*x + 1 + 0 = 0. Let q = m - 4. Solve q*g + 3 - 12 = -2*n, 5*g + n = 22 for g.
5
Let v = 6 + -2. Suppose -h = v*h. Suppose -32 = -h*f - 2*f. Solve -4*y - n - f = 0, 5*y - 3*y + 6 = -n for y.
-5
Let g be (1 - (-1 - -1))*5. Solve -4*z = 2*n - 2*z + 12, -g*n - 22 = -3*z for n.
-5
Suppose 4 = c + c. Solve 2*a = 4*q + 16, -3*q - 5*a = -c*a + 3 for q.
-3
Let k be 19/2 + 4/8. Suppose u = -2*u + 87. Let h = u - k. Solve -4*m + m = t + h, 10 = -5*t + 2*m for t.
-4
Suppose -2*c - n - 1 = 0, 4*c - 4*n = -5*n - 7. Let s(r) = r**3 + 3*r**2 - r - 1. Let f be s(c). Solve -2*k + 4*g = f*k, 0 = 4*k - 5*g for k.
0
Suppose -r - 4*r - 23 = -4*d, 5*d + 3*r = 1. Solve 22 = -3*y - 5*g, 5*y + 3*g = -24 - d for y.
-4
Let r(b) = -b**2 - 10*b + 27. Let u be r(-11). Solve -4*n - y + u = -5*y, 2*n + 13 = -5*y for n.
1
Let o(n) = n + 3. Let i be o(-6). Let s be 2 - -27 - (-1 - i). Suppose 2*m = m + 5*w + s, 0 = 5*m + 2*w. Solve -5*a - 3*k - m = -3, -4*a - 2*k = 0 for a.
-1
Let k be (-7)/(-28) - 4/16. Solve 4*m + 33 = -0*m - 5*d, k = -5*m + 3*d + 5 for m.
-2
Suppose 1 = -3*t - 11. Let v = t - -4. Solve 2*g - 5*p = -8*p + 9, -5*p + 15 = v for g.
0
Let x = 2 - -2. Let q = 30 + -13. Solve -2*v - 21 = -5*t, v - x*t - q = -7*t for v.
2
Let q = -2 + 3. Suppose 9 + q = 2*g. Let v be (-2)/8 - 1/(-4). Solve 3*f - 9 = -k, v*f = g*k - 5*f + 15 for k.
0
Let v(u) = -2*u + 5 + 0 + 3*u. Let r be v(-5). Let y = 4 - r. Solve -4*f + 13 = -y*d + 5, 5*f - 6 = d for f.
1
Let v(p) = 3*p + 2. Let x = 17 - 16. Let t be v(x). Solve f + 2*n = t*n + 13, 3*n = -2*f - 10 for f.
1
Suppose -1 - 15 = -4*a. Let b be ((-12)/(-15))/((-2)/(-15)). Let c = b - 3. Solve 3*h - 6 = c*r, a - 2 = h - 3*r for h.
2
Suppose 3*g - g = 4. Solve 3*q = g*s + 16, 6*q - 13 = 2*q + s for q.
2
Let o(h) = h**3 + 8*h**2 + 4. Let i be o(-8). Solve -1 = -i*l - t + 4, -2 = -3*l + t for l.
1
Let j(m) = -m**3 - 7*m**2 + 8*m - 7. Let z be j(-8). Suppose -5*h - 3 = 47. Let b = z - h. Solve -3*i + 12 = 4*s, b*i = 4*s + 5 + 7 for i.
4
Let s(n) = -3*n - 37. Let w be s(-14). Solve 5*u = -3*q + 1, 3*u - 7 = 2*q + w for q.
-3
Let q be 0/(0 + 2/(-2)). Let n = 0 - 1. Let u be (-2)/(2*n)*11. Solve 4*p - 5*k - u = q, p + 3 = 3*p - 5*k for p.
4
Let d(s) = s**2 + 4*s + 6. Let n be d(-3). Solve 4*h + 8 = v, n*v = 2*h + 2 + 12 for h.
-1
Suppose 6*s - 24 = -0. Solve 16 = -s*m + 2*t, t + 19 = -3*m - t for m.
-5
Let m be (0 + 6)/(-3)*-1. Solve -m*v - s + 7 = -7*v, s + 3 = 0 for v.
-2
Suppose 10 = 5*r - 5. Let c = -5 + 8. Suppose f - l - 7 = -2*f, l - c = -2*f. Solve 2*u - u - f = r*k, 4*u - 5*k - 1 = 0 for u.
-1
Let g be (57/6 + -4)*4. Let t = g + -20. Solve -5*m - 3*i + 2 = -1, -3*m = -t*i + 2 for m.
0
Suppose 0 = 3*c - 4*z - 22, 5*z + 30 = 4*c + c. Suppose -8 = -6*o + 2*o. Suppose 4 = c*g - o. Solve v - d = g*d - 3, 7 = 5*v + 2*d for v.
1
Suppose 4*j - 2*w = w + 102, w = -5*j + 118. Let p be (-18)/10*(-20)/6. Suppose 2*k - p*k = -j. Solve 2*b = -k, -20 = 2*r + b - 7 for r.
-5
Let o(n) be the first derivative of 1/4*n**4 - 1/2*n**2 + 1/3*n**3 + 3*n + 2. Let f be o(0). Solve 4*h - 7 = q, 0 = f*h + 2*q + 3 - 0 for h.
1
Let h be 0 + (-1 - 1) + -1. Let g(f) = f**3 + 5*f**2 + 7. Let n be g(-5). Let r = n - h. Solve a = -3*o + r, -5*o - 13 = -38 for a.
-5
Let q be -6 + (-3 - 1) + 1. Let r = 12 - q. Solve 4*b = -h - r, 6*b - 2*b = 2*h - 6 for b.
-4
Let l be (-10)/(-25) + 46/10. Solve 0 = 2*j + 2*w - w - 2, -5*j + 4*w = -l for j.
1
Let z(k) = -k**3 + 4*k**2 - k + 8. Let u be z(4). Suppose -4*f - f = -10. Solve 0*w + 6 = -f*w, 8 = 4*g + u*w for g.
5
Suppose 0 = -0*t + t. Suppose 6 = -2*i + 4*i + f, -5*i + 17 = 3*f. Let w be t/((-1)/i) - -3. Solve 2*z - w = -5*x, z - 2*x + 6 = 3 for z.
-1
Let w(f) = -f**2 + 9*f + 12. Let k be w(10). 