 + 17, -2*q = -10. Solve -3*j = z*t - 2*j + 2, -14 = t + 3*j for t.
1
Suppose -c - 8*c + 18 = 0. Solve -11 = -n - 4*s, -c*n - 3*s = s - 14 for n.
3
Let h be (-144)/80*(-10)/6. Let t = 4 + -3. Suppose -o - 3*b + 3 = o, -b = t. Solve 0 = -3*c + 4*d - 15, h*c + o*d = -c - 20 for c.
-5
Let n(v) = v**3 + v - 4. Let l be n(0). Let p be 2/4 - 10/l. Let x = 2 + p. Solve 0 = 5*s + x*m + 10, 6*s + m - 6 = s for s.
2
Let p(d) = 12*d**2 - d - 1. Let g be p(-1). Suppose 15*a - 72 = g*a. Solve -4*l = 2*n - a, -8 = 3*n - 0*n - 5*l for n.
4
Suppose 5*a + 21 = g - 9, 10 = -2*a. Suppose -74 = -g*b - 4*j, 3*j - 45 = -b - 2*b. Solve -b = 3*h - 3*s + 2*s, s - 18 = 4*h for h.
-4
Let z be -1 - (-5 + -2 + 3). Suppose -z*j = 2*t - 24, 4*j + 4*t - 33 = t. Solve 1 = 2*l - v, -3*l = -4*v + v - j for l.
-1
Let r = -19 - -28. Let l = 13 - r. Suppose -l = -v - 3*h, -2*h = -0*h. Solve 0*b + v = 4*d + 4*b, -4*b + 4 = -d for d.
0
Let d be 6 + -6 - (0 + -1). Suppose w + 3 + 1 = 0, -2*w = -l + 9. Suppose d + l = p. Solve 2*h - 4*h - p*i = 16, -h - 4*i - 17 = 0 for h.
-5
Suppose z + 6*z - 70 = 0. Solve 2*t = z, -2*y + 6*y - t = 7 for y.
3
Suppose 5*a = -3*j + 10, 2*j - 6*j - 6 = -3*a. Solve 5*t = -3*h + 3, -4 = -4*h + 5*t - j for h.
1
Let q = 32 + -27. Solve -2*j - 2*v = -2 + 4, 0 = 3*j + v - q for j.
3
Let m(k) = k - 9. Let n be m(9). Solve -z + 8 = -4*b, -4*z = -5*b - n*b + 1 for z.
-4
Let v = -3 + 8. Let c be (-3 + v)/(2/4). Suppose c*d - 9 = 3*d. Solve 2*j = w + d + 6, -2*j + 30 = -4*w for j.
5
Suppose -s = 4*s - 55. Let k be 9/6*8/6. Suppose -1 = -k*f + s. Solve f + 3 = 2*i - y, 3*y + 17 = i for i.
2
Let q(w) = w**2 + 7*w + 4. Suppose -7 = -3*h - 28. Let m be q(h). Solve m*t - 13 = -3*c, -2*c - 1 = -5*t + 21 for c.
-1
Let c = 47 + -41. Solve -4*g = -2*y - 22, g - 5*y + c = 34 for g.
3
Let o = 5 - 4. Let p(d) = 30*d**2 - 2*d + 1. Let g be p(o). Solve n - g = -5*q, 2*q - n = 6*q - 24 for q.
5
Let z be (4/16)/(1/12). Solve z*u + 2*o = -o, 20 = -u + 4*o for u.
-4
Suppose -5*q = 3*g + g - 12, g = -3*q + 10. Let l be 6/2*2/3. Let v be -6 + 5 - (-10)/l. Solve 4*f + q*h + 8 = 0, -h - 1 + 5 = v*f for f.
2
Suppose -4*o + 48 = -2*n - 0*n, 3*o = n + 34. Solve -o = 5*z - 3*x + 11, -5*z = 5*x + 5 for z.
-3
Suppose -3*u + 5*s = -30, -3*u = 2*u - s - 28. Solve 3*l + 6*q = 4*q - 4, -2 = u*l + q for l.
0
Let p(u) = u**3 + 4*u**2 + 3*u + 4. Let w be p(-3). Let o(j) = 8*j**2 + j - 1. Let l be o(1). Solve 5*d - 11 = c + 2*d, w*d - l = 0 for c.
-5
Let r = -4 + 9. Solve 0 = -4*s + r*l - 2, 0*s - 2*s - 6 = -5*l for s.
2
Let d(v) = -v**2 - 4*v + 2. Let r be d(-4). Suppose 24 = 3*g - 30. Let b be g/15*1*5. Solve -2*x = -0*x - m - 6, 5*x + r*m = b for x.
2
Let q(t) = -t - 3. Let a be q(-3). Suppose 0 = -3*f - f. Suppose f = b - a*b - 2*p - 4, 5*b - 20 = p. Solve -k = -r + 3, b*r = k + 6 + 9 for k.
1
Let x be ((-1)/3)/((-2)/12). Let u be 0/(3 + (-4)/x). Solve g = 2, a + g + g - 5 = u for a.
1
Let w = -3 - -7. Solve 0*o = 3*o + 3*s + 3, w*s + 5 = -3*o for o.
1
Suppose -16*o + 17*o = 4. Solve -2*n + 2 - o = 3*q, 0 = 4*n - 2*q - 12 for n.
2
Let r(p) = p**3 - 22*p**2 + 22*p - 18. Let d be r(21). Suppose -3*z - n + 9 = 0, -2*z = -5*n + n + 8. Solve i = x + d*x + 22, -z = -i for x.
-5
Let b(l) = -l - 1. Let x be b(-11). Suppose 4*k - x = -3*j, -j + 4*j = -3*k + 9. Solve j*r = 5*p + 21, 2*r + p + 4*p = -29 for r.
-2
Let o(p) = -2*p + p - 2*p. Let v = 3 - 4. Let t be o(v). Solve -5*i - 2*y = 10 + 8, 2*i = -5*y - t for i.
-4
Suppose -4*r - 9 = r + 3*b, 6 = -2*b. Suppose 0 = -5*x + x. Solve x*k + 3*u = k - 9, r = k + 4*u + 19 for k.
-3
Suppose 7*z = 11*z - 32. Suppose z = -4*i + 24. Let v = 5 + -3. Solve -i*l = -4*g + 20, 2*l + v*g = l + 1 for l.
-3
Let s be -1*(-9)/((-3)/(-1)). Solve -5*a = -s*p - 4, 0*a + 14 = a - 5*p for a.
-1
Suppose 2*w = 2 + 4. Solve -w*d + 35 = -5*g, g + 16 = -3*g for d.
5
Let c be (18/(-24) + 0)*-4. Solve 3*x - 2*x + 5*w + 6 = 0, 5*x + c*w = -8 for x.
-1
Suppose 24 = 6*s - 0. Solve 2*g + 5 = -2*y + 1, -5*g - s = -y for y.
-1
Suppose -2*x = -3*x. Let t = -4 + 3. Let v = 4 - t. Solve 2*k = -4*z + 2 - x, v*z + 5*k + 10 = 0 for z.
3
Suppose -2*h + 5*c + 4 = c, 0 = -5*h - 4*c + 24. Solve 2*f + h = -k - 3, 5*f + 10 = 5*k for k.
-1
Let t = -11 - -12. Suppose t = w - 2. Solve 0 = -2*k - 4*o - 16, -w*k + 3 = -o - 8 for k.
2
Let p(y) = -y**3 + y**2 - 4*y + 4. Let u be p(3). Let h = -26 - u. Solve b + 4*b - 10 = h, c - 5*b = -8 for c.
2
Let f(c) = -c**2 - c + 3. Let o be f(-4). Let u = -8 - o. Let m be 8 + (0 - u - 2). Solve -2*n + 0 = -2*d + 4, -n - m*d + 4 = 0 for n.
-1
Suppose 0*h + 3*x = 2*h + 3, -2 = -5*h - 2*x. Solve h = -5*o - k - 9 - 11, 2*o = -k - 11 for o.
-3
Suppose -3*k + 76 = k. Suppose -a + 5*y + 0*y = 5, -5*a + k = -3*y. Solve z - 2*z = a*w + 3, 3*w + 2*z = -6 for w.
0
Suppose -7*w + 25 = -2*w. Suppose -w*u + 10 = -5*q, -u + 1 + 1 = 2*q. Solve -j + f + 1 = u*f, 5 = 5*j - 2*f for j.
1
Let q(k) be the first derivative of -k**3/3 + 7*k**2/2 - k + 1. Let m be (-30)/(-4)*20/25. Let t be q(m). Solve -2*a + t = -3*u - a, 4*a - 6 = -2*u for u.
-1
Let y(f) = f**2 - f - 67. Let q be y(0). Suppose -4*b + 12 = -372. Let i = q + b. Solve 2*g + 3 - 1 = 0, 0 = 5*w - 4*g - i for w.
5
Suppose -2*n + 2*p + 2 = 0, -2*n + p = -6*n - 21. Let w = n + 7. Suppose -2*o + w + 7 = 0. Solve 0 = o*a + 2*l - 10, l = -0*a - a - 1 for a.
4
Suppose 2*l = -5*f + 3*l + 19, -4*f + 13 = -3*l. Let u(y) = -y**2 - 5*y + 3. Let q be u(-5). Solve 3*k = -f*c - 24, -1 = -5*k - q*c - 30 for k.
-4
Let r = 5 - 3. Let y = -10 - -8. Let k be (0 + y)/r + 5. Solve -2*m = w + 11, 2*w - w = m + k for w.
-1
Let n be (-1 - -2) + 4 + -1. Solve -2*s + 3*j - n = 0, -s + 0 = -4*j - 3 for s.
-5
Let i be 17/4 + (-1)/4. Let w(o) = o**3 + 7*o**2 - 4*o + 4. Let l be w(-7). Solve -1 = -2*h + h - p, -5*p = -i*h - l for h.
-3
Let f be (3 - -1) + -2*2. Solve -l + 21 = -3*t + 2*l, f = 4*t - 3*l + 25 for t.
-4
Suppose 0 = -0*r + 5*r. Suppose 2*f = -3 - 1. Let k = f - -6. Solve r*b + 5*b - 5 = l, 2*l = k*b - 4 for l.
0
Suppose -5*r = -s - 30, 2*s - 10 - 8 = -3*r. Let x be 7 + (-7 + 1)/(18/9). Solve -y + j - r = y, -x*j - 8 = 0 for y.
-4
Let q(i) = -i**2 - i + 2*i**2 + 1 - 2*i. Let l be q(4). Suppose -3*o = -5*z - 4*o + 15, l*o = -25. Solve -5*n + f - 2 = 0, -n - 5*f = z*n + 20 for n.
-1
Suppose 3 = -k + 2*k. Solve 0 = 5*t - p - 16, 5*p - k - 4 = -4*t for t.
3
Let m(v) = -v**3 - 3*v**2 + 3*v + 1. Let s be m(-4). Suppose d - 3*q = -1, q = -d - q + 9. Solve -s*k - 12 = -k - d*i, 4*k + 2*i = -12 for k.
-3
Let a(f) = f**2 + 6*f + 4. Let r be a(-8). Solve 5*p - 20 = -5*s + r, 0 = -4*p - 3*s + 27 for p.
3
Let i = 0 - -3. Suppose i*o = 11 + 10. Solve 0 = 3*r + 5*m + 18, -4*r + 5*m + o + 4 = 0 for r.
-1
Suppose -5*y + 5*c = 120, -4*y + 0*y - 2*c = 90. Let z = y + 23. Solve 0 = i - 4*m - 5, z*i = i - 5*m - 6 for i.
1
Suppose 3*v - 2*k + 57 = -0*k, -40 = 2*v - 2*k. Let m = 65 + v. Let u be m/15 + (-2)/10. Solve -5*z = -0*z - 25, 3*z - 9 = u*p for p.
2
Let d be (3/2)/3*2. Let x = d + 1. Solve 6*z = 2*z + x*c - 2, -z - 2*c = 13 for z.
-3
Let k(g) = -g - 10. Let v be k(-11). Let y(l) = -l + 1. Let u be y(v). Solve -4*s - 20 = u, 3*r + 4 = 2*r - s for r.
1
Suppose 4*m + 0*m = -4. Suppose 3*q - 3*j = -j - 1, 4*q = -2*j + 22. Let h = m + q. Solve -w - 5*g = -h*w - 17, -g = 2*w + 1 for w.
-2
Let o = 9 - 12. Let n be (-65 - -6) + (0 - o). Let k = -28 - n. Solve r + k = u - 4*r, -r - 5 = 0 for u.
3
Suppose 2*g = -0*g - 24. Let h be 39/12 + 3/g. Solve -h*x - 3*c + c = 1, 2*c = 2 for x.
-1
Let t = 32 - 17. Suppose -6*d + t = -d. Let w be (-13)/(-3) - (-1)/(-3). Solve d*j = -3*k - 1 + 4, -5*k + w*j = -41 for k.
5
Suppose 0*a = 5*a. Let c be 5 + (a - 4/2). Suppose -c*o - o = -24. Solve -g - o = -2*g - 2*h, 0 = 2*g - 3*h + 23 for g.
-4
Suppose -2*b - 1 + 3 = 0, -2*b = -4*p + 54. Solve -d - 2*d - 2*o - p = 0, 4*d + 18 = -2*o for d.
-4
Suppose -2*x = 2*j - 0 - 10, 0 = 2*x - 6. Suppose 2 = j*l - 4. Let a be -1*l*(-1)/1. Solve 4*b + 5*w + 8 = 0, -w + 5*w = a*b + 6 for b.
-2
Let t be (-12)/(-2) + (-30)/10. Solve 3*i - 22 = -c - 8, 5*c - t*i = -20 for c.
-1
Let q(u) = u**3 + 7*u**2 - 5*u + 27. Let n be q(-8). Solve 4*k + 1 = -n*i + 5, -i - 6 = 5*k for k.
-2
Suppose 2*c = 5*t - 180 + 74, 5*c = -3*t + 45. Suppose -4*l = -4*b, 3*b - b + 3*l = t. Solve 0 = -2*v + 2*j - 3*j - 9, b*j 