 17, -3*x = -b*x + 3*h + 3 for x.
4
Let k = -2 - -4. Suppose 3*o - 15 = -2*o. Let g be (o/(-6))/(k/(-8)). Solve 5*b + 3*u + 18 = g*b, 3*b = 3*u - 12 for b.
-5
Let w be 7 - (4 + (3 - 3)). Solve d + 0 = -3*i - 5, i = w*d - 15 for d.
4
Let z(g) = -g**3 - 2*g**2 - 4*g - 2. Let t be z(-2). Suppose -t*w + 4*w = 0. Solve w = 2*f - 1 + 7, -14 = -j + 3*f for j.
5
Suppose -5*t - 13 + 3 = 0. Let r = 2 + t. Solve 4*y + 3*p - 14 = r, 3*y + y + 2*p - 16 = 0 for y.
5
Suppose -2*i = -3*i - 4. Let m = 31 - i. Suppose 0 = -5*g + 4*q + m, -3*g - 1 = -0*q + 2*q. Solve 0 = -4*b - 0*d - 2*d - 2, -g*b + 6 = -d for b.
1
Let q(d) be the first derivative of -d**2/2 + d - 4. Let w be q(1). Let m = 10 + -5. Solve w = -s - 3, 0*s + s + m = 2*b for b.
1
Let d = 3 + -6. Let v(m) be the third derivative of -m**4/24 - m**3/6 - 8*m**2. Let p be v(d). Solve 4*f - p = -3*k - 23, 5*f + 9 = 2*k for f.
-3
Let o = 41 + -38. Solve o*g - 4*g + 2 = 2*y, -2*g - 14 = -2*y for y.
3
Let k(b) = -b**2 - 11*b - 10. Let a be k(-10). Solve a*r - 3*r = -3*c - 12, 4*r = -c - 9 for r.
-1
Let c = 8 + -4. Let j = c + 11. Solve 0 = -4*b - i + j, -3*b - 5*i - 14 + 4 = 0 for b.
5
Suppose 2*h + 4*j = -14, j - 11 = h + 5*j. Let u be (-4 - (-1 + h))*-1. Solve -2*v + 2*w - 12 = u, -8*w + 4*w = -4 for v.
-5
Suppose 0 = 4*j - 5 - 3. Solve -n + 0*y + j*y = 1, -2*n = -2*y - 4 for n.
5
Let i be 4/(-14) - (-69)/21. Suppose 5*y = i*y + 20. Suppose 4*q = 5*u - y, -4*u = 3*q - 0*q - 8. Solve 5*o + 4*j + 6 = q, 2 + 0 = -3*o - 4*j for o.
-2
Let z be -10*(-3)/(-3) + -2. Let h = z - -14. Solve -3*m - 35 = l + 4*l, 2 = h*m - 3*l for m.
-5
Suppose 0 = -o + 3*s + 25, o + 5*s - 6 = -o. Solve -3*r + 7*r + 5*z = 0, 0 = r - 2*z + o for r.
-5
Suppose 0 = -3*u + 3*m - 5*m - 21, -2 = -2*u + 4*m. Let l = u - -9. Suppose 0 = -4*b - 3 + 15. Solve o - c + 1 = 4, l*c = b*o - 9 for o.
3
Suppose -5*o + 30 = 5*m, 1 - 7 = o - 5*m. Suppose 0*z + 18 = o*z - w, -2*z - 2*w + 4 = 0. Solve 5*i + y + 2*y + z = 0, 4*i - 3*y + 14 = 0 for i.
-2
Suppose 0*g = -3*g + 18. Suppose 0 = -2*n + 2*y + y + 18, 0 = -5*n + y + 45. Suppose g = a - n. Solve q = -5*b + a, 1 = -2*q + 5*b - 29 for q.
-5
Let n = 6 + -6. Let g = -1 + 1. Let w(r) = r + 2. Let z be w(g). Solve -z = -p + 4*h - n, h + 3 = -p for p.
-2
Let w(x) = 5*x - 30. Let p be w(6). Solve 5*n + 15 - 1 = 2*u, p = -3*n + 2*u - 6 for n.
-4
Let k be 0/((0 + 3)/(-3)). Suppose -4*i + 128 - 8 = k. Solve -5*p = -6*h + h - 10, -5*p - 5*h = -i for p.
4
Let x(u) = -u - 2*u**3 + 3*u**3 + 1 + 0*u**3 + 2*u**2. Let g(q) = q - 9. Let v be g(7). Let m be x(v). Solve -2*d + 3*p + p = -10, m*d = 3*p + 15 for d.
5
Suppose 0 = -0*z - 5*z + 20. Solve -2*w = -3*n - 25, -z*n - 36 - 4 = -4*w for w.
5
Let q be 9/12 + 65/20. Solve -2*o - u = 8, 3*u - q*u + 6 = -5*o for o.
-2
Suppose -6*x + 3*x + 12 = 0. Let q(o) = o - 3. Let d be q(3). Solve 0 = -x*z + v - 6*v + 6, 4*v - 8 = d for z.
-1
Let d = 10 - 2. Suppose 0*b - d = -4*b. Let a be (-4)/(-6)*12/2. Solve -5*s + 4*m = -15, -b = -2*s - m + a for s.
3
Let o(g) = g**3 + 4*g**2 - 2*g - 6. Let f be o(-4). Solve -5*a + h = 7 - 2, -h - 9 = f*a for a.
-2
Suppose 0 = -4*d - 0 + 12, -5*c + 36 = 2*d. Let k = 11 - 8. Suppose k*r = -2*r + 30. Solve -20 + c = -w - 5*g, r = 3*g for w.
4
Suppose 5*n + 3*h - 11 = 14, -5*n + 5 = -h. Solve 4*r - 24 = -2*i, 6 = 3*i + n*r - 10 for i.
2
Let i be 276/(-8)*2/(-3). Let w(d) = 3*d**2 + d. Let k be w(1). Suppose 0 = -4*x + 8, k*z + 4*x + 13 = 41. Solve -c + i = 4*q, 4*c + z*q = -0*q + 37 for c.
3
Let l(a) = 3*a**2 - 2*a - 2. Suppose 5*u = u + 12. Let q be l(u). Solve 2*j + 3*k = -q, 29 = -2*j - 2*j - 3*k for j.
-5
Let b be (0 - -10)*2/4. Suppose 4*g + s - 160 = -2*s, -4*s = -g + 40. Let a = 10 - -10. Solve b*r - g = 5*c, 0 = -4*r + a for c.
-3
Let f = -7 + 17. Let b be (13 - 12) + 23*1. Let y = b - f. Solve -5*z = 2*i - 2 + 4, 5*i = -3*z + y for i.
4
Let c be ((-12)/(-16))/(1/4). Suppose -c*i = -i - 6. Let f(v) = v**3 - v**2 - 4*v + 5. Let z be f(2). Solve 7*d = 2*r + 2*d - z, 3*d - i = 0 for r.
3
Suppose m = n - 3, 0 = 4*m - 1 + 5. Solve 3*t + 2*y - 1 = 4*t, 5*t = n*y + 19 for t.
5
Let l = 43 - 31. Suppose r - 2 = -2*w, 3*w - 2*r = l - 2. Solve x - 3 = -w*h, -4*x - x = -h + 29 for h.
4
Suppose -5*h + m = -15, -h + 5*m - 1 = -4. Suppose -k + 1 = -h. Solve -5 = -d, 0*f + f + k*d - 18 = 0 for f.
-2
Let d = -2 + 6. Solve d*m = -8, 4 = -a - 3*m + 1 for a.
3
Suppose -4*z + 22 = 5*m, -4*m - z = -2*z - 26. Let y = 7 - m. Solve 3*g + 3*w = 4*w - y, 5*g = 2*w - 3 for g.
1
Let q = 4 + 0. Suppose -15 - 3 = -4*f - 5*x, 10 = f + 4*x. Suppose 4*b + 5*r - 14 = 7*r, -r = 5*b - 35. Solve q*g - 8 = -2*a, 0*a - b = -3*g + f*a for g.
2
Let r(s) = -s + 11. Suppose -2*q + 16 = -0. Let z be r(q). Solve -15 = 5*n + z*l, 0*l + 10 = -5*n - 2*l for n.
0
Let c = 2 + -24. Let w = -15 - c. Let m(r) = r**3 - 9*r**2 + r - 5. Let g be m(9). Solve 5 = 3*l - 4*l, -g*j + l = w for j.
-3
Let n = -6 - -2. Let p(y) = -3*y**2 - y + 2. Let s be p(1). Let g = s - n. Solve 0*z - z = -2*w + 2, g*z - 5*w + 3 = 0 for z.
-4
Let l be (2/(-3))/((-1)/12). Let n be l/1 + (2 - 5). Solve -h - 5*j = h - 15, -h - n*j = -20 for h.
-5
Suppose -p = 24 - 30. Suppose -2*d + p = -46. Solve 5*m - 15 = -5*l, -2*l - d = l - 4*m for l.
-2
Let r be (((-12)/(-2))/2)/1. Suppose 0 = 2*g - r*g. Solve -5 = 4*p + 4*k - 1, g = 2*k - 2 for p.
-2
Let j be -1 + (1 + -3 - -9). Solve -4*v + f + 3 + j = 0, 0 = -3*v + 2*f + 13 for v.
1
Let n(d) = d**3 + 3*d**2 - 5*d - 2. Let r be n(-4). Suppose -2*v - r*v = -16. Solve 0 = -3*h + 4*k + 14 - 39, v*h + 4 = -2*k for h.
-3
Suppose -i = -2*r - 11, -4*r + i = 1 + 16. Let g = 11 + r. Let x = 12 - g. Solve 4*n + 3*q - x = 7, -q = -n - 6 for n.
-1
Let m be (-5)/10*(1 + -3). Suppose 5*l - 14 = 1. Solve -v - m = -0*v - l*r, -2*v - 6 = -2*r for v.
-4
Suppose 2*n - 14 = -4. Solve 12 = 3*c + 4*u, n*c - 2*u - 25 + 5 = 0 for c.
4
Let z be 2 + -2 - (7 - 14 - -6). Suppose 0*q + 45 = 3*q + 4*t, 0 = -2*t. Suppose -5*y + 0 + q = 0. Solve -i + z = -b - 3, -y*b = 5*i - 4 for b.
-2
Let s(m) = -m**3 - 8*m**2 - 14*m - 4. Let v be s(-6). Let h be (1 - 3 - -2) + 0. Solve -d + h = 3, -4*u = 4*d + v for u.
1
Let s = -1 + -1. Let w be (0 - (-2 - -3))*s. Solve -i + 2*z = -7, -w*i - 2*i = -5*z - 16 for i.
-1
Suppose -17*t + 30 = -12*t. Solve 4*z + 6 + t = -4*r, -3*z = r + 13 for z.
-5
Let f(z) = -z**3 + 6*z**2 + 2*z - 2. Let p be f(6). Solve 0*y - 3*o = -2*y - p, 0 = -4*y - 4*o + 20 for y.
1
Suppose -5*f - 2*m = -7, -4*m + 0*m = -4*f + 28. Let v(k) = -k + 1. Let u be v(-5). Let o = u - f. Solve 3*r = -4*y - 8 - o, 5*y = -r for y.
1
Suppose 3*k - 2 = -4*l - 2*k, -2*l - 3*k = 0. Solve 2 = 2*y + q + l, -y - 23 = 5*q for y.
2
Suppose -18 = -3*b + 4*u, 7*u - 2*u + 15 = 0. Let g = 9 - 4. Solve -g*p + 4 = b*y + 2, -4*y = 2*p + 12 for y.
-4
Suppose y = -y. Let z = 0 - y. Suppose 2*f = 6 - z. Solve 3*a + 0*i + f = -i, -2*i - 6 = -5*a for a.
0
Suppose 0 = -4*p + 7 + 93. Let m = 40 - p. Suppose -2*w = 2*w - 4*i, 0 = -4*w - i + m. Solve 0 = 4*f + l - 0*l + 1, 2*l = -w*f + 3 for f.
-1
Suppose -i + 11 + 13 = 5*m, 4*m - 5*i = -4. Let h be (-4)/(-1) + -2 + 2. Solve 0 = -m*a - 8, -5*f - h*a + 0*a = 28 for f.
-4
Let u(d) be the first derivative of -5*d**2/2 - d + 5. Let t be u(-1). Solve t*a - 5*y - 3 = 0, 5*a = 6*y - 3*y + 7 for a.
2
Suppose 0 = -d + 7 - 2. Suppose d*l - 15 = 2*l. Suppose c + c - 14 = 0. Solve 4*r = o + 7, l*o - c = -0*r - r for o.
1
Let g(z) = z**3 - 2*z**2 - z + 4. Let c be g(3). Solve 16 = -4*v + i, 2*v + 5*i - c - 4 = 0 for v.
-3
Suppose 0 = -2*s - s. Let k(m) be the third derivative of m**5/60 - m**4/12 - m**2. Let l be k(3). Solve s = -3*o - 2*t + 23, 0 = 5*o + l*t - 32 - 5 for o.
5
Suppose 3*g - 13 = -4. Solve 2 = -g*j - 5*m, -7 + 1 = -j - 5*m for j.
-4
Suppose 2*n + 2 - 8 = 0. Let f(i) = -i**3 + 17*i**2 - 30*i + 18. Let u be f(15). Solve -5*w + 5*x = -20, -3*w + 0*w - n*x + u = 0 for w.
5
Let h be 3*(-118)/(-6)*1. Let m = 104 - h. Let u = m - 31. Solve -4*j + 5*t - u = 0, j + 11 = -4*j + 3*t for j.
-1
Suppose 2*s + 3 = 2*k - 1, -3*s - 5*k = -26. Solve 2*q = -2, s*d - 3*q - 14 = q for d.
5
Let t(i) = i - 10. Let a be t(6). Let q = a + 4. Solve 10 = 2*d - 4*r, 2*r + 17 = -3*d - q*r for d.
-3
Suppose 26*m = 21*m. Solve x + w - 3 = -m*x, 0 = 4*x + 2*w - 16 for x.
5
Let r(d) = -d**3 + 7*d**2 - d + 17. Le