 -2*m**3 - 2*m - 1. Let s be 3/9 - 12/9. Let n be t(s). Suppose -25 = -n*g - 2*g. Solve 4*u + 3*x = 14, -u + 0*u - g*x = -12 for u.
2
Let s(n) = -n**2 + 5*n - 2. Let b be s(5). Let i be 4*b*2/(-4). Solve -2*j - 14 = 3*x, i*j + 28 = -5*x + 2 for j.
-4
Let p(t) = t + 1. Let b be p(3). Solve 4 = -0*d - 4*d + b*c, -4*d - 20 = 4*c for d.
-3
Suppose 0 = b + 3 - 8. Let i be 25/b*(0 - -1). Solve -5*r - 3 = 3*f - i*f, -5*r = 3*f - 17 for f.
4
Let w = -15 + 35. Suppose 2*q - 3*q = -4*i, -w = -5*q. Solve 2*z + 6*o - 5 = 3*o, 0 = -z - 5*o - i for z.
4
Let f be ((-6)/(-2))/3 + -1. Suppose -d + 6 = -f*d. Suppose 0*s - d = -3*s. Solve 3*v + 5*l = 0, 3*v + 5*l + 10 = -s*v for v.
-5
Let o be -4 + (-10)/(-2) + 3. Solve 2*t - 4*f = o*t + 2, 4*t - f - 5 = 0 for t.
1
Let u = -13 - -12. Let i be u/3 + 3/9. Solve -5*x + i*s - 2*s + 5 = 0, 20 = 4*s for x.
-1
Let l(m) = m**3 + m**2 - 20. Let n be l(0). Let u = n - -10. Let x = -6 - u. Solve 4*t - 5 = 5*c, -2*t + 9 + 1 = -x*c for t.
-5
Let f be 3/(-12) + 26/8. Let v = 1 - -1. Solve 0 = -4*j + f*q - 10, 4*j + v*q + 4 = -16 for j.
-4
Let n(f) = f**3 - 13*f**2 + 23*f - 11. Let r be n(11). Solve -3*m - s - 5 = r, -2*s - 1 = -5*m - 2 for m.
-1
Let y(i) = -3*i + 7. Let n be y(6). Let p = n - -16. Let v = -5 - -7. Solve -v*g = -3*c + 4 - 20, p*g = -4*c - 6 for g.
2
Let m = 41 + -39. Solve -2*c = -5*k - 0*k - 10, -4*c + m*k - 12 = 0 for c.
-5
Let i be 11/9 + 4/(-18). Suppose 0 = 3*t + 8 + i. Let v(w) = -w**3 - 4*w**2 - 5*w - 4. Let r be v(t). Solve 4*s - s + 18 = 3*u, r*s = -4*u + 6 for u.
3
Suppose 2*h = -10 + 2. Let v = 8 + h. Suppose 0 = -8*d + 3*d + 20. Solve 2*c + 26 = -d*t, -3*c = -3*t - 2 - v for t.
-5
Suppose 3*h = -h. Solve -2*u + 2*k = -h - 2, -2*u - 4*k - 22 = 0 for u.
-3
Suppose -2*b - 6 = -4*b. Let f(u) = u - 1. Let t be f(b). Solve 5*i + 14 = -c - 3, -t*i = -4*c + 20 for i.
-4
Let n(g) = 2*g + 5. Let c be n(0). Solve 25 = -c*j, o - 5*o + 5*j + 17 = 0 for o.
-2
Suppose 16*f - 18*f = -10. Solve 3*z - 5*u - 10 = 30, -f*u = 5*z for z.
5
Let w be 2/(-10) - (-31)/5. Solve 0 = 5*t - 20, 2*y - t - 22 = -w*t for y.
1
Suppose 3*h - 15 = 4*f, -3*f + 4*h = 4 + 16. Let c be f + -2 + 4 + -2. Let l be (-9)/6*16/(-3). Solve -x = -2*u, 0 = -3*x - c*u - 2*u + l for x.
2
Let s(m) = m**3 + 9*m**2 - 9*m + 12. Let c be s(-10). Suppose -4*n = -4*r - 4, r + c*n = 7*n - 5. Solve -2*k + 0 = 2, r = 4*q + k - 15 for q.
4
Let g = -2 + 4. Suppose m + 10 = 2*p - g*m, -3*m = 3*p - 15. Suppose -3*r - 2*w - 2 = -w, p*w + 10 = -4*r. Solve -o + 3*o = 5*n, 5*n - o - 5 = r for n.
2
Suppose 4*q - 10 = -q. Let j = 0 - -4. Let c be j/(-6) + (-4)/(-6). Solve -2*z = -c*b - 5*b + 29, -q*b = -3*z - 16 for b.
5
Suppose 2*i = 3*c - 74, -3*i + 14 = c - 29. Solve -3*d - 5*f = -8, -3*d + 7*d - 3*f + c = 0 for d.
-4
Suppose 3 = -3*p + 12. Suppose 0 = r + p*r - 144. Let i be (-12)/4 + r/2. Solve 3*b - 2*h + i = 0, -2*b + 3*h = 2*b + 20 for b.
-5
Let z be (-7 - -1)*3/(-9). Suppose 3*p = -u - z*u - 3, u = 3*p + 11. Suppose -2*l - u + 46 = 0. Solve 4*h = -5*s + 3*s, l = -h + 5*s for h.
-2
Suppose 12*d - 14*d = -10. Suppose 0 = -3*z + 2 - 11. Let j = z + d. Solve -j*m = 2*m + 12, 0 = 5*h - 4*m + 8 for h.
-4
Let a(v) = v + 1. Let w be a(0). Let y be (-7)/(-1)*w + 1. Let g = 5 + y. Solve 2*n + n - g = -5*k, 2*k - 1 = 3*n for k.
2
Suppose -5*b = 0, -4*d + 3*b + 16 = 2*b. Suppose -h - 3*q = -5*q - 6, d*q = -4*h. Solve 4*p + 32 = 3*m, 2*m - h*p = 2*p + 28 for m.
4
Let o = 73 - 61. Solve -4*w = 4*a - 40, o = -2*w - 5*a + 47 for w.
5
Suppose 2*u = 8 + 2. Let f(p) = p**2 - 5*p + 3. Let r be f(u). Suppose 3*m = -5*i + 20, 3*m - r*i - 12 = -0. Solve 4 = l + z, 0 = -2*l - m*z + 6 + 14 for l.
0
Suppose -18 = -3*w - 9*j + 12*j, 4*w + 4*j = 24. Solve -2*q + 8 = 5*u - w, 4*q = u + 6 for u.
2
Let p(v) = v**3 + 7*v**2 - 3*v - 9. Let y be p(-6). Let m = -6 - -11. Suppose 3*q - m = 2*q. Solve 3*o + 5*b + 40 = -o, 5*o + q*b = -y for o.
-5
Let x = 5 + -15. Let z = -6 - x. Suppose 8*a + 4*y - 20 = 3*a, 0 = -z*a - 5*y + 16. Solve 2*t + p = -9, a*t + p + 9 = 2*p for t.
-3
Let f(r) = r**2 + 6*r + 2. Let h be f(-6). Suppose -h*j = 2*j - 84. Solve -j = 2*g + g + 3*o, 5*g = -3*o - 29 for g.
-4
Let b = 9 + -4. Let i = -1 + b. Suppose -3*a = -i*n + 1, 3*a = -a + 2*n + 12. Solve 0 = -0*o + o + a*f + 2, -10 = -4*o - 2*f for o.
3
Suppose 3*s + 2*s = -4*z + 92, 5*s - 74 = 2*z. Suppose 4*n + 4*b - 3 = 1, -4*b - s = -n. Solve -4*h = 3*m - 2*m + 19, -8 = -h + n*m for h.
-4
Let h = 35 + -33. Let d be (-4 - 1)*(-1 + 0). Let n(z) = z**2 - 5*z + 3. Let x be n(d). Solve 3*u - h*k - 16 = 2*k, x*k = 4*u - 12 for u.
0
Suppose 2*f + 4 = 3*g, -3*f - 3*g + 20 = -f. Let l be ((-8)/10)/((-1)/5). Let j = f - l. Solve j*z + 5*i = -2*z + 9, 0 = 5*z + 4*i - 14 for z.
2
Let h = 0 + -5. Let c be 15/h*(-2)/(-6). Let k be 2/c + 1 + 5. Solve -2*l + 31 = -5*n + 7, 4*n + 24 = k*l for l.
2
Let l(b) = b**2 + 4*b + 2. Let y be l(-4). Solve -4*u + 20 = y*q, 0 = -5*u - q - 5 + 27 for u.
4
Let f(p) be the second derivative of -p**2 + 1/12*p**4 + 0 + 2*p - 5/6*p**3. Let h be f(6). Solve 2*s + 9 = s + 4*c, 5*s + 21 = -h*c for s.
-5
Let x(w) = -w**3 + 5*w**2 - 3*w - 3. Let q be x(3). Let o(c) = c + 4. Let g be o(q). Solve -4*d - 6 = r, -3*d = -8*d - g for r.
2
Suppose 4*g = -g + 4*f + 7, 4 = 4*g - 4*f. Suppose -l + p + 35 = 0, -p + 76 = 3*l - l. Solve 3*h + 24 = g*u, 3*u - 5*h = -u + l for u.
3
Suppose 3*f = 2*g - 25, 6*g = g + 4*f + 45. Let x be -1 + 8/3 + (-1)/(-3). Solve 2*q + 2*q - 3*o - 8 = 0, g*q = -x*o + 10 for q.
2
Suppose -25 = -c + 6*c. Let i = c - -35. Solve i = 5*f + 2*z, 5 = -5*f + 8*z - 3*z for f.
4
Let j = 39 + -20. Let a = -36 - -11. Let p be (a/(-10))/((-2)/(-4)). Solve 4*f - 3*f + 4*r + p = 0, 0 = -5*f + 2*r + j for f.
3
Let q(c) = 4*c - 9. Let l be q(6). Suppose 2*u + u - 5*z = l, -5*u + 3*z + 9 = 0. Solve -23 = 4*j - 3*h, 5*j + 20 = -u*h + 2*h for j.
-2
Suppose 4 = -w + 2*w. Suppose 3*l + l = 60. Suppose 8*c = 3*c + l. Solve i = -c*x + 12, -w*x + i + 16 = 6*i for x.
4
Suppose 0 = 5*q + 25, -u - 2*q - 2 = -0*u. Suppose -u*w = -11*w. Solve 5*a - a + 4*v = -4, w = -a - 4*v - 10 for a.
2
Suppose -3*z - 12 + 3 = 0, 0 = 4*g - 4*z - 40. Let h = g + -4. Solve 8*l - 5*d - 25 = h*l, -5*l = 5*d - 5 for l.
3
Let a = -87 + 90. Suppose 0*v - 4 = -2*v. Solve 4*u - 4 = -v*g - 10, -a*g = u - 1 for u.
-2
Let y be (-8)/1 - (7 - 10). Let l = y + 8. Solve -2*o = w + 3, l*o = 2*w + 2*w - 32 for w.
5
Suppose -6*y = -9*y + 3. Solve 4*l - y = -4*b - 17, 2*l + 4*b + 16 = 0 for l.
0
Suppose -2*p + 0*p - 2 = 0. Let x(m) = -m**2 + 2. Let v be x(2). Let o be p - (0 + -1) - v. Solve 2*t - 25 = 5*k, -o*t + 7 - 32 = 5*k for t.
0
Suppose 2*n = 39 + 31. Solve 40 = -4*h + 4*t, -h - n = 4*h - 2*t for h.
-5
Let a = 4 - 1. Let n(q) = a*q - 4*q - 5 + q + q. Let u be n(9). Solve -4*j - 3*d = -0*d - 3, 5*j = -u*d + 3 for j.
3
Let x be (-4)/14 + 32/14. Solve -5*q - x*r - 3*r = 30, 4*q = 4*r + 16 for q.
-1
Suppose 4*s = -0*s - 24. Let p be ((-6)/18)/(1/s). Solve v - 5*l - 27 = 0, -6*v + 5*l = -p*v - 33 for v.
2
Suppose -6*h + 0 = -114. Solve -3*r = -4*f + 13, 5*r - 5*f + f = -h for r.
-3
Let s(v) = v - 3. Let m be s(7). Let r be 8/(-28) + 88/14. Solve f - m*f = 5*l - 7, -2*f = 4*l - r for l.
2
Let g be 16/(-104) + (-158)/(-13). Solve 0 = -y + 2*f + 2*f + 3, -4*y + 2*f = -g for y.
3
Suppose 3*l - 21 = 4*o, 3*o + 3*l + 2*l + 52 = 0. Let j be 6/27 + (-34)/o. Solve g - 2*t - 1 - j = 0, 2 = -2*t for g.
3
Let x be 1*-1*56/4. Let a = x + 16. Solve -6*o + 32 = -a*o - 4*z, -2*z - 8 = 0 for o.
4
Let a = 31 + -27. Let k(v) = -v**2 - 6*v - 6. Let h be k(-4). Solve -5*m = -a*f + 2, -7*m - 6 = -2*m - h*f for m.
-2
Let c(h) = -h**2 + 6*h - 4. Let j be c(4). Let y be 3/(-2)*j/(-3). Solve -a - 6 = -y*g, -a + 2*g = -2*a + 10 for a.
2
Let k = -6 - -8. Solve -k*i + 6 = 5*l, -2*i + 0*i - 2*l + 6 = 0 for i.
3
Let u(w) = -2*w**2 - 8*w + 4. Let q be u(-4). Solve -q*v - 2*t + 0*t = 10, 5*v = t - 30 for v.
-5
Suppose 4*i + 8 = 64. Let o be (-6 + i)/(2 - 0). Solve -3*m - 2*f = 15, 4*f + 27 - 7 = -o*m for m.
-5
Let q(j) = 5. Let w(o) = -o**2 - 1. Let m(s) = -q(s) - 3*w(s). Let u be m(-3). Let z be (-4)/6 + (-28)/(-6). Solve -z*g = 5*a - 20, 3*g + 2*g = -4*a + u for a.
0
Let n = 8 - 4. Solve -10 = -2*h + n*k, -5*h - 5*k + 25 = -3*k for h.
5
Let z = -12 + 23. Suppose -110 = -5*w + 5*p