 4*z, 0 = 5*x + z - 3*z - v for x.
3
Let r(v) = v**2 + 8*v + 2. Let w be r(-8). Suppose -4*p - w*s = -14, -5*p + 4*s + 1 = s. Solve t + 2*t + q = -p, 10 = -5*q for t.
0
Suppose 5*l - 16 = -k + 27, 5*l - 25 = 5*k. Solve -19 = -2*m - w - l, 0 = -3*m - 5*w + 34 for m.
3
Let t = -2 + 4. Let s be ((-6)/3)/(t/2). Let l be (-6 - (1 + s))*-1. Solve -u - r + l*r - 4 = 0, 2*u - 2*r = 4 for u.
4
Let j be (-2)/6 - 24/9. Let x = -1 + j. Let c be (-36)/(-6)*x/(-6). Solve 5*q - p - 20 = -0*q, -3*q + 12 = -c*p for q.
4
Suppose 3*p = -6*n + 4*n + 12, -4*n + 2*p - 8 = 0. Suppose n = -3*o + 5 + 4. Solve -r + 6 = -o*l - 12, 2*l + 16 = 2*r for l.
-5
Let k be 17/(-1*(1 - 2)). Solve -3*n - k = -4*l, 3*n + 2*n - 5*l + 25 = 0 for n.
-3
Suppose 19 - 7 = 4*m. Solve -m = -o, o = 2*p - 2*o + 7 for p.
1
Let g = -6 + 6. Solve 0 = 5*w - 5*b - g*b, 2*b - 2 = 3*w for w.
-2
Suppose 8*y - 7*y = 25. Solve 2*q + 4*v = 3*v - 13, -y = 5*v for q.
-4
Let f(n) = n - 6. Let l be ((-6)/3)/(-1) + 6. Let q be f(l). Suppose j - 5 = -2*h - q*h, h = j + 5. Solve 4*c = -u - 15, h*u + u = -c + 10 for u.
5
Let g be (9/2)/(1/2). Solve 4*u + 33 = 5*z, -5*z + 20 = -2*u - g for z.
5
Let n be 20/(-5)*(-1)/2. Suppose w + n = 4. Suppose -w = 2*i - 2*m, 5*m - 2 - 12 = 2*i. Solve 5*a + 4*x = 12, -i*a - 2*x + 22 = -7*x for a.
4
Suppose -4*p = -i + 12, 6 = -2*p - 0. Solve -20 = 4*j + t, i*j = -j - 3*t - 5 for j.
-5
Let z(c) = c**3 + 25*c**2 + 26*c + 52. Let f be z(-24). Solve -4*l + f = 0, 2*d + 2*l - 9 = l for d.
4
Let t = 10 + -8. Let c be t/(23/25 + -1). Let w = c + 37. Solve -l = -4*i + w, 2*l - 4 = -2*i + 2 for i.
3
Let z be 4 - 5/(10/4). Suppose -12 + z = -2*i. Solve 0 = i*r, 4*g + 5*r = r + 20 for g.
5
Let k = -13 + 14. Solve 0*h - 3*h = 2*l - k, 5*l - 12 = 2*h for h.
-1
Let d be ((-20)/12)/(4/(-12)). Suppose d*s = 25, -5*p + 52 = -3*s - 48. Solve -5*m = -f - p, -29 = -5*m + f - 3*f for m.
5
Let y be (-123)/(-39) + 2/(-13). Let c be (-1 - 0) + 1 + 5. Solve -c*q + 0*l - 6 = y*l, 6 = 5*q - 3*l for q.
0
Suppose 2*v - 72 = 4*v. Let p be (-274)/(-18) + 8/v. Solve -22 = 5*a + 3*i, 2*a + 5*i = -p - 9 for a.
-2
Let g = -7 - 0. Let r = -2 - g. Solve -c + r*f = -2*c - 13, -17 = 3*c + 4*f for c.
-3
Let h(o) be the first derivative of 1/3*o**3 + 0*o**2 + o + 2. Let n be h(1). Solve 0 = b + n, -2*m = b - 4*b - 8 for m.
1
Suppose -2*o + 4 = 2*g, 0 = -9*g + 5*g + 8. Solve -3*h + 12 = -s, o = -5*h - 0*h - 5*s for h.
3
Let r = -21 - -23. Let f be (-2)/((-1)/(-2) + -1). Solve 5*h = n, -r*n = -f*n for h.
0
Let f(p) = p**3 - 8*p**2 + 10*p - 4. Let n be f(7). Suppose -3*h = -n - 1. Solve 0*y - 3*d = -4*y + h, -2*d = 5*y - 19 for y.
3
Let w = 26 + -10. Solve -4*o + 0*o = -s + w, 2*o = -s - 2 for s.
4
Suppose 5*h - 24 = 126. Suppose -l + h = l. Suppose 4*d - l = 5. Solve 2*t + 3*f = 14, -t + d*f - f = 15 for t.
1
Let n = 18 - 15. Solve 5*w - n*u + 13 = u, -3*w - 3*u = 24 for w.
-5
Let o(s) = s**3 + 7*s**2 - s - 2. Let l(t) = 7*t**3 + t**2 - 1. Let c be l(-1). Let b be o(c). Solve -2*n = 5*g + b, 1 = -3*n - 5*g - 9 for n.
-5
Suppose 5*z - 3*i = 22, -5*z = -5*i - 8 - 12. Let c be 3/2*8/3. Solve 0*w + 4 = -z*w - 3*q, 14 = -c*w + 3*q for w.
-2
Suppose -3*y - 12 = -3, 3*v - 5*y - 24 = 0. Suppose 4*o + 20 = 0, -4*u = -5*u - 2*o - 3. Solve 13 = -3*p - 5*h, -v*p + 0*h - h = -u for p.
4
Let w = 53 + -49. Let t = 8 - 6. Let l be 1*(-1 - -1)/(-2). Solve -3*y = t*v - l*v, w*v - 14 = y for y.
-2
Let j be (-27)/18*8/18*-3. Solve m + 11 = -3*s, 7 = -j*s + 3 for m.
-5
Let v be (-100)/70*14/(-4). Solve 0 = 4*a - l - 6 - 7, 2*l = -v*a + 26 for a.
4
Suppose -3*q + 0*k + 45 = -5*k, 5*q = -4*k + 112. Let f(b) = -b**3 - 18*b**2 + 20*b + 23. Let y be f(-19). Solve 5*s + 4 + 28 = -y*u, -2*s = 4*u + q for u.
-3
Suppose 24*r = 19*r + 105. Suppose -r = -c + 20. Solve 15 = -a - 5*d, 5*a + d - 5*d = c for a.
5
Let a = 55 - 51. Solve -3*w - 6 = -2*s, -a*s + 0*w = -w - 12 for s.
3
Suppose 0 = -2*r - r + 15. Suppose 2*s = s - r. Let i = 5 + s. Solve 2*z = 8, 0 = -i*k + 3*k - 5*z + 5 for k.
5
Let y be (-2)/(-3) + (-55)/15. Let z(m) = -m**3 - 3*m**2 - m + 1. Let h be z(y). Let g = -2 + h. Solve 0 = -t + g*d + 1, -d + 6*d = -3*t + 25 for t.
5
Let u = -16 - -21. Solve -20 = -5*h + u*c, -3*c - 4 = -h - 7*c for h.
4
Let d(s) = 9*s**2 + s + 1. Let p be d(-2). Solve -3*g = -5*n - 8, p = -4*n - 3*g + 7 for n.
-4
Let u be ((-12)/10)/((-26)/65). Solve -2*m + u*s = -11, 3*m + 5*s + 14 = 2 for m.
1
Let k(p) = 40*p**2 - p + 1. Let i be k(1). Solve 5*s - i = -5*q, 0 = 5*s + 2*q - 0*q - 28 for s.
4
Let t = -28 - -77. Suppose -t = -4*m - r, m - 3*r - 14 + 5 = 0. Solve -2*l = -6, 5*k + m = -2*l + l for k.
-3
Let i = 24 - -59. Let x = i + -59. Solve 0 = -2*n + 3*y + 8, -2*n + 2*y = 7*y + x for n.
-2
Suppose 3*y - 5 - 7 = 0. Let q be y*(-2)/(-32)*4. Solve -4*x = 0, 5*l + 14 = -3*x - q for l.
-3
Let i(l) = -l**2 - 5*l**2 - 4 + 3*l**2 + 4*l**2. Let j be i(3). Let w = -6 + 12. Solve j*q = -2*h + w*q + 4, -3*h - 8 = -5*q for h.
4
Suppose -3*p + 3*q - 9 = 0, -3*q + 20 = 5*p - q. Suppose 5*a + 15 = -0*a. Let x be 8/(-3)*a/2. Solve 3*s = p*s, -4*g = s + x for g.
-1
Suppose -2*y + 0 = -4*o + 2, 4*y - 5 = -o. Solve -x - 3*r = -y - 4, -2*r + 4 = 0 for x.
-1
Let j be (-2)/(-5) + 108/5. Suppose -2*r + j = -r. Let d be (-8)/(-6) - 12/(-18). Solve d = 2*y, y + r = 5*m + 3*y for m.
4
Suppose -3*k = -12, 3*m - 4*m + 20 = 5*k. Solve m = 2*x + 2*h, -2*h - 3 = -x + 3 for x.
2
Let i(b) = 3 + 0*b - 4*b - 2 - 4 - b**3 - 4*b**2. Let j be i(-3). Solve 5*q + 3*a + 12 = j, -2*a + 5*a - 15 = 4*q for q.
-3
Let u be 1/(-5) - (-98)/(-35). Let j be u/(-3) + -1 + 0. Solve j = 2*l - 6*l + f - 13, -l - 5*f - 19 = 0 for l.
-4
Let s = 14 + -10. Let o be 2/(2 - 6/s). Let a = o - -1. Solve 0*b + b - 5*q + a = 0, -3*b = 3*q - 3 for b.
0
Let a be (-2 + 3)/(6 - (1 - -4)). Solve -r = 3*z + a, -5*r + 2*z = -2*z + 5 for r.
-1
Let b = 17 - 9. Solve -b*y + 3*y = 20, -y - 14 = -2*g for g.
5
Let q = -5 - -11. Suppose 8 = 5*k - 7. Solve q = -2*l + 3*p, -2*p - k*p = 2*l - 26 for l.
3
Let h = 8 + -6. Let i(f) = f**2 + 5*f + 3. Let m be i(-5). Suppose -m*n - 2*n + 120 = 0. Solve 0 = 2*y + 6, 0 = -o - h*o - 4*y - n for o.
-4
Let l be -1*1/((-2)/46). Suppose -k + 15 + 1 = -c, 0 = -2*k - c + l. Solve k = -j - j + b, 6 = j + 2*b for j.
-4
Let c be 66/10 + (-12)/20. Solve -c = 5*z + 4*m, 0*z + 3*m = -3*z - 6 for z.
2
Let n be (-1)/1 - (0 - 3). Let z be 1 - n - (4 - 7). Solve -2*b + 2*a = -2, 0 = -5*b + 3*a + 1 - z for b.
-2
Suppose -q = -2*q. Let i be (-1 - -2) + q + 1. Suppose 2 = i*b - 2*f, 5*b - 9 - 16 = f. Solve -5*r + 4 + b = l, -l + 4 = 3*r for r.
3
Let s = 83 - 79. Solve -2*j + j = -s*x - 18, -5*j + 4*x + 26 = 0 for j.
2
Let f(d) = -d**3 + 8*d**2 - 11*d - 3. Let q be f(6). Solve -q*m + 4 = -k + 2*k, -2*k = m + 7 for m.
3
Let y = 10 - 6. Suppose 2*i - 4*i = -h - 10, -y*i + 3*h + 22 = 0. Solve -4*j - 8 = f, 0*j - j = i*f - 13 for j.
-3
Suppose -4*d - 3 = -11. Let b = -100 + 160. Suppose -4*m + 36 + b = 0. Solve 2*v + m = -2*v + q, 3*v + 7 = -d*q for v.
-5
Suppose 9*i - 12*i = -21. Let x = i + -7. Solve x = -2*g - 5*n - 8, -4*n - 2 = 4*g + 2 for g.
1
Let w be (3 - (-14)/(-4))*0. Let g = w + 6. Solve 3*x - g = -2*m - x, 0 = -2*m + 2*x - 12 for m.
-3
Let s be 11 - 3*4/(-12). Let x(q) be the second derivative of q**5/20 - q**4 + 2*q**2 + q. Let k be x(s). Solve d + 8 = -4*a, 0 = -d + k*d for a.
-2
Let g be -4 - 52/3*9/(-6). Solve -3*l + 2*u - g = 0, 0 = -l + 5*u + 11 - 40 for l.
-4
Suppose 4*f - 10 = -f. Suppose 7*c = f*c + 55. Let n = c + -6. Solve 2*x - 4 = -3*i, -3*x + x + n*i - 28 = 0 for x.
-4
Suppose 5*x - 5*f = 15, 3*x + 0*f - 2*f = 11. Suppose 12 = c - x*c, 3*d - c = 3. Solve -2*g + b + 6 = 0, d = -4*b - b + 10 for g.
4
Let u = 3 - 3. Suppose u*b = -5*b + 20. Let w be (1 - 4)/((-6)/b). Solve 2*h + 4 = 2*a - 0*h, -4 = w*h for a.
0
Let n(j) = -j**3 - 4*j**2 - 4*j + 2. Let k be n(-4). Let m be ((-16)/(-12))/(8/k). Solve 0*w = u - 5*w + m, -4*u + 3*w + 5 = 0 for u.
2
Let j(m) = -m**3 - m**2 + 2. Let v be j(0). Let o = 19 - 7. Suppose -1 = a + w, 4*w - 6*w = 6. Solve 5*u - v*x = 3*x + 30, 4*x = -a*u - o for u.
2
Suppose -2*n + 0 = 28. Let y = 18 + n. Suppose -3*j + 10 = -2. Solve 3*c = t - 6 - j, c - 4*t - y = 0 for c.
-4
Suppose 4*z + 10 = 6*z. Solve q = 3*i - 3, -4*i - i = -z*q - 15 for i.
0
Let s(n) = -n**3 - 2*n**2 