 -3*g**3 - g. Let q be y(-1). Solve -3*h = -d - 4 - 2, -2*h - 6 = -q*d for d.
3
Let w be (195/(-5) + -1)*4/(-10). Solve 4 = -2*d + d - 2*z, 5*d - 2*z - w = 0 for d.
2
Let j be 1 + 0 - (-17 + -4). Let i be -3*(j/6)/(-1). Suppose -9 = -f - 0. Solve -5*d - 3*h + i = -0*h, -h + f = 3*d for d.
4
Let k be 5/(-2) - 2/4. Let i = 3 + k. Solve -2*x + y = 1, i = 4*x - y + 3*y - 18 for x.
2
Let k(j) = -2 - 3 + 3 + j. Let p be k(6). Solve 2*x + 26 = -3*z - 3*x, -p*z + 5*x + 12 = 0 for z.
-2
Let w be 1 + (1 - 0) - -11. Let b = w + -8. Let y = 7 - b. Solve -5*a - 22 = 2*s, y*s - 19 = 5*a + s for a.
-4
Let b = -2 - -14. Solve -j + 22 = 5*w, 0*j - 4*j - w = -b for j.
2
Let z(o) = -2*o**2 - 12*o + 2. Let c be z(-6). Solve 0 = -4*q - 2*k - 9 + 1, c*q - 2*k = -16 for q.
-4
Let x = -61 - -71. Solve 5*b = 5*n + x, -2*b - 2*b = -2*n for n.
-4
Let d be (-2)/8 - 26/(-8). Suppose 0 = -v - d + 5. Let p be 1 - (v - (0 - -1)). Solve 0 = t + 5*u - 5, p - 2 = -u for t.
-5
Let w(c) = c**2 + 2*c. Let v(u) = u**2 + 3*u. Let b(k) = -5*v(k) + 6*w(k). Let o be b(4). Solve f = -2*i - o, -i - 7 = f - 4 for i.
-1
Let y(b) = 34*b - 32. Let d be y(1). Suppose -4*a - 15 + 2 = o, -2*a + o = 5. Let w be (a/2)/((-1)/2). Solve w*r + 4*g = -g, d*r - 7 = -g for r.
5
Let n be (-2 - 4)*3/(-6). Suppose n*b + 0 = 9. Solve -5*t - 16 = -b*v, -5*t - 4 = -2*t + v for t.
-2
Suppose 2*x = 4*c - 12, 3*x + 0 - 18 = -3*c. Solve -a + 3 = -k, -k = 4*k + x*a + 29 for k.
-5
Suppose -3*f = 2*n - 7, 2*f - 6*f + 11 = n. Solve -a - 15 = -4*j, -f*a + 6 = -a + 4*j for a.
-3
Suppose 0 = 2*u + u + 15. Let m = -3 - u. Let t = 5 - m. Solve p - 5 = t*s - 19, 2*s - 2*p - 16 = 0 for s.
3
Suppose 15*w - 27 = 6*w. Solve 5*i + 10 = 3*b - 7, -7 = i + w*b for i.
-4
Let t be 8 + -3 + -5 + 2. Solve 0 = 4*i + u - 9, -u + 3 = 2*i - t for i.
2
Let x be -4 - (-12)/18*12. Solve 0 = 5*t - 3*b + 4, -2*t + 5*b + x + 2 = 0 for t.
-2
Let o = 47 + -19. Solve -k + 4*f + f = -24, -2*f - o = -5*k for k.
4
Let m = 41 + -23. Suppose 3*x - 6 = 3*s, x - s - 2 = -4*x. Solve j = c - 2*j + 11, x = -2*c - 2*j + m for c.
4
Let c = 0 - -2. Let l be (-2)/6 + (-74)/(-6). Suppose d - l = -2*d. Solve u - c*z + 9 = 0, -u - 15 = -4*z + d for u.
1
Let y(m) = 2*m**2 + 2*m + 2. Suppose -2*w - 6 = w. Let p be y(w). Suppose 5*o = l + p + 17, -19 = -o + 5*l. Solve z = -v + o, -9 = v - 5*z + 5 for v.
1
Suppose 0 = 44*b - 37*b. Solve -2*k - 8 = 5*x, b = k + 4*k - 5*x - 15 for k.
1
Suppose m + 4 = -3*f + f, 0 = -3*m - 2*f - 8. Let v be 4/m - (-1 - 6). Let d = 7 - -6. Solve v*w = 5*s - 25, -5*s + w = -d - 0 for s.
2
Let n(p) = -p**3 + 6*p**2 + 2. Let h be n(6). Solve 0 = -h*r - 2*y + 10, -2 + 3 = 2*r - y for r.
2
Let j = -12 - -13. Let v = 6 - j. Solve h - 5 = -0*h - 2*o, 4*o + v = 3*h for h.
3
Suppose -z + 10 = 7. Suppose -3*t - 4*w + 1 = -4*t, -4*t = -4*w - 8. Let h = -1 + t. Solve -z*a - 2*r = -r + 11, 11 = -5*a + h*r for a.
-3
Suppose -5*d = f - 46, 7*f = 2*d + 4*f - 32. Solve -2 = -3*z - 3*m + 4, 4*z + 5*m = d for z.
0
Let j be 4 + -4 - (-7 + 3). Solve 3*f = j*f + 5*a - 23, 4 = a for f.
3
Let i be 2/(-3) - 16/(-6). Let y be 4 + 21/(-6) - (-9)/6. Let t(z) = z**3 - 4*z**2 + 3*z. Let g be t(3). Solve g = -j + d - y, -i*j + 3*d - 4 = -d for j.
-2
Let j = 42 - 35. Solve -5*w - 2*g - j = 0, -g + 1 = -3*w + g for w.
-1
Let k be 8/14*(-126)/(-36). Solve -l + 2 = 3*g - 5, 0 = k*l + 10 for g.
4
Let z(n) = -n**2 - 8*n - 7. Let w be z(-6). Suppose 0 = w*b - 16 - 4. Let q = 8 - b. Solve -5*y - 4 = -u, -u = -q*u + 4*y + 12 for u.
4
Let q = 126 + -124. Solve -2*t = -3*a - q, -3*t - 2*t = -2*a - 5 for a.
0
Suppose -3*r = 4*i - 21, -28 = -4*r + i + i. Solve 0 = 4*u + 4*m - 0 + 4, -2*u - r = -3*m for u.
-2
Suppose 0 = -5*a + 27 + 33. Solve -t = -4*v - 7, 0 = 2*v - v - 3*t - a for v.
-3
Suppose 0 = 2*r + 4*n - 12, 4*n + 6 = 2*r - 6. Solve -3*h = 4*y + 12, r*h = -5*y + h - 20 for y.
0
Let r be 3 - (0 - 1 - -2). Let t(s) = s**3 - s**2 - 12*s + 5. Let i be t(4). Solve -5*l + a = -l - i, -10 = l + r*a for l.
0
Suppose 2*m - 6*m - 208 = 0. Let u = -16 - m. Suppose -3*x + 0*x + u = 0. Solve 2*l = -4*b - l + x, 9 = 3*b + 4*l for b.
3
Suppose -c + 6*c = 150. Suppose 7*g + c = 2*g. Let i = g + 11. Solve -4*u - 4*j = -0*j - 28, 3*u + i*j - 29 = 0 for u.
3
Suppose -2*v + v + 6 = 0. Let n = v + -4. Suppose -n*s - s + 21 = 0. Solve 4*a + 41 = -5*b, 3*a - 8 = s*b - 3*b for b.
-5
Suppose 10*g = 5*g + 10. Let i(m) = g - 6*m + 1 + m**2 + 1. Let q be i(6). Solve 4*a = 2*a - 5*n - 2, -24 = -4*a + q*n for a.
4
Let k be 28/10 + (-8 - 164/(-20)). Let a(f) = -f**2 - 7*f + 3. Let z be a(-6). Suppose t = n, n + z = t + 3*n. Solve 0 = c, -5*o + k*c - t - 22 = 0 for o.
-5
Suppose 5*d - 8*d = -51. Solve -d = -4*p + 3*a, 0 = -5*p + 3*a - 2*a + 24 for p.
5
Suppose -2*y + 2*j + 8 = -0*y, 4*y = -3*j + 16. Let i = 12 - -2. Let t be (0 + 12)*(-1)/(0 + -2). Solve -y*w + 4*p - i = 10, w - t = -2*p for w.
-2
Let y = 31 - 4. Let n = -15 + y. Solve 0 = 4*r - n, 5*g + r = 2*r - 13 for g.
-2
Let f = 42 + -42. Let u(j) = -3*j - 8. Let c be u(-6). Solve -c = -2*b + 5*p, f*b + 5 = b + 2*p for b.
5
Suppose 4*n - 3*m - 17 = -2*m, -n + 6 = -2*m. Solve 2*u - 24 = n*x, -u + 12 = 2*u for x.
-4
Suppose -3*x = 2*u - 6*x - 6, 12 = 4*u - 3*x. Suppose -3*d + 27 = u*f, -d - 27 = -3*d - 5*f. Solve 2*c - s = -2*s + d, 0 = 3*c - 2*s - 23 for c.
5
Let v(l) = 2*l + 24. Let p be v(-10). Solve -3*f + 17 = m, p*m - 28 = -0*m - 2*f for m.
5
Let q = 44 + -40. Solve 0 = -4*c + q*i + 12, i + 2*i = -3*c - 15 for c.
-1
Suppose 0 = -5*s + 2*x + 23, x = -0*x + 1. Suppose s*f = o + 10, 3*f + 1 = 4*o + 7. Solve -5 = -3*z + 5*a, 4 = 3*a - f for z.
5
Suppose -7*h = -3*h - 20. Solve 2 = -h*x + 4*v - 1, 2*x - 5*v = 9 for x.
-3
Suppose 0 = 2*m + 6 - 2. Let f(t) = t**2 - 6*t + 6. Let z be f(4). Let p = z - m. Solve -4*c + 0*n - 3*n = -20, p = 4*c - 3*n - 20 for c.
5
Let o(r) = r + 9. Let d(n) = n**2 + 6*n + 4. Let s be d(-4). Let i be o(s). Solve 4*b - 12 = 5*j, -3*j = i*b - 0*j - 15 for b.
3
Let i(f) = -f**3 + 4*f**2 + 5*f. Let t = -4 - -9. Let p be i(t). Let h be p/(1 + (-2 - -3)). Solve h = -3*o + o - 2*a + 14, 18 = 4*o - a for o.
5
Let o be -4 + (-3 - -14) - 3*1. Solve 3*m - 3*l = 18, o*m - l - l = 14 for m.
1
Let h be 66/4 - 6/(-4). Solve 4 = 5*d + 3*a, 5*d - 2*a + 4 = h for d.
2
Let p(u) = 3*u - 5. Let o be p(2). Solve o = j + 5*m, -4*j - 3*m - m = -4 for j.
1
Suppose 0 = 2*d + d - 9. Suppose 3*j - 38 = -2. Solve -d*l = -j, 0 = -2*a + l + 4 for a.
4
Let o = 65 + -59. Solve -2*g - o = -2*b, b - g - 2*g - 3 = 0 for b.
3
Let n(d) = 15*d**3 - d**2. Let t be n(1). Suppose -4*z = -t + 6. Solve z*q + 0*q = -2*r + 2, -11 = -3*r - 5*q for r.
-3
Suppose 0 = 2*r - r - 4. Suppose 0 = -3*o - 4*w - 4, -2*o + 5 = -6*w + w. Suppose u - 3*u + 12 = o. Solve u = r*a + 3*c + 2*c, -5*a - 3 = c for a.
-1
Suppose -2 + 66 = 4*r. Let n = -11 - -18. Let w(b) = b**3 - 8*b**2 + 8*b + 2. Let y be w(n). Solve -4*d + 4*q = -r, -3*d - 4*q + y*q = -18 for d.
1
Let z = 53 + -28. Solve -10 = 2*d - 2*a - 0*a, 0 = -4*d + 5*a - z for d.
0
Suppose 0 = -2*d - 3*a - 0*a + 35, -d = -2*a. Suppose 4*j + d + 4 = 2*i, 0 = -3*i + j + 16. Solve -s = -5*f + 4*f + 1, -i*f + s + 1 = 0 for f.
0
Let u(n) be the first derivative of -3*n**2/2 + 2*n + 1. Let i be u(-6). Suppose c + i = 5*c. Solve 3*l + 12 = -3*z, 0 = c*l - 4*l + 3*z + 12 for l.
0
Let o = 16 - 14. Solve -o*c + 7 = -d, -24 = -4*c + 8*d - 4*d for c.
1
Let t = 29 + -23. Let g(a) = 15*a**2. Let d be g(-1). Let n(w) = w + 4. Let f be n(0). Solve -4*y - 2*c + t = -0*c, -f*y + c = -d for y.
3
Suppose 3*c + 135 = -0*d + 5*d, -5*c = 25. Solve -j - 2*b = 5, d + 1 = -5*j - 5*b for j.
-5
Suppose -20 = 4*m, 0*y + 5*m + 25 = 3*y. Suppose 5*p - p - 32 = y. Solve 0 = -h - 5*j + j - 12, 3*h + j - p = 0 for h.
4
Let k be (-4)/6*(-42)/7. Solve -k*i = 3*d - 9 + 26, 4*d + 12 = 0 for i.
-2
Suppose z - 4 = -0*z, -2*h + 20 = 5*z. Let t = -6 + 7. Let b be -2 - -2 - t - -3. Solve 3 = -n + a, h = -0*n - 5*n - b*a - 15 for n.
-3
Suppose 4*g + 54 = 70. Let o be 18/(-4)*(-2)/3. Solve h + 2*w - 4 = -o, -5*h + 33 = -g*w for h.
5
Let d = -62 - -74. Solve 4*t = -5*u - 18, -5*u - d = t - 0*u for t.
-2
Let b(f) = -f**3 - 4*f**2 - 2*f + 3. Let j be b(-3). Solve a = -a, j = -3*n + a + 12 for n.
4
Suppose -2*q = -0*q - 34. Let t(o) = o**3 - 13*o**2 + 23*o - 7. Let k be t(11).