a = 2*z - 14, 18 = 3*a + 3*z. Let j = a + p. Solve j*b + 8 = 28 for b.
4
Let q be 4/(-3) + (-40)/(-30). Solve q*k = k for k.
0
Suppose 3*k + 6*k - 18 = 0. Solve -k*y = -6*y for y.
0
Let z be (-2)/9 - (-116)/36. Let h be (-12)/(z*(-1)/2). Let o be 14/h + (-1)/(-4). Solve -o*a + 5 = -a for a.
5
Let k be ((-12)/(-16))/(2/16). Let j be (0 - 6)*(-4)/6. Suppose 5*f + 4 = v, -k*v + 3*v + 12 = j*f. Solve b = -f*b + 2 for b.
2
Suppose -q + 0 = -6. Solve -q*u + 4*u = 8 for u.
-4
Let k(q) = q**3 - 10*q**2 - 11*q. Let g be k(11). Suppose -5 = -4*c + y, c - 4*c + 3*y - 3 = g. Solve 7*s - c*s + 10 = 0 for s.
-2
Let f(j) = j**3 - 17*j**2 + 2. Let u be f(17). Let r(c) be the second derivative of c**4/6 + c**3/3 - c**2 - 2*c. Let i be r(u). Solve 0 = -3*a + a + i for a.
5
Let m be -2 - (2 + 0) - -5. Solve -m = -2*z + z for z.
1
Suppose 5*p = 3*u + u + 8, 0 = 4*p + 3*u + 6. Solve p = -0*f - f for f.
0
Let t be 2/(6/81) + 1. Suppose 4*b = 16 + t. Solve -9 = 5*d + b for d.
-4
Suppose 2*u + 2*z + 4 = 0, -2*z = -7*z. Suppose 3*k - 1 = -10. Let h be (-4)/k*(u - -5). Solve -h = -d - 5 for d.
-1
Let o(p) = 2*p - 1. Let d be o(3). Let k = 38 - 15. Let y = -18 + k. Solve -2*w = y + d for w.
-5
Suppose -2*n + n + 2 = 0. Suppose 3*z = -g + 20, -g + 10 = -0*g - n*z. Suppose -2*h + 4*b + 6 = 0, 5*h = b + 1 + g. Solve -p = -0*p + h for p.
-3
Suppose 2*s - 3 = 5. Suppose 20 = -s*h - h. Let c(u) = -u**3 - 5*u**2 - 6*u - 6. Let f be c(h). Solve -3*q - 10 = f for q.
-4
Suppose -2*j + 455 = -3*x, 0*x + 3*x - 4*j = -451. Let n be x/(-6)*6/9. Solve 4*c + 1 = n for c.
4
Suppose 3*z + 198 - 69 = 0. Let f = -31 - z. Solve -6*k + 2*k = -f for k.
3
Suppose -4*y + 20 = 4*i, 2*y + 0*i = -4*i + 12. Solve y*u - 1 = -9 for u.
-2
Let z = 203 - 201. Solve -c - 3 = z*c for c.
-1
Suppose 2*g + v = -0 + 7, g + 5*v = -1. Solve -g = k - 5 for k.
1
Let n(i) = -i**2 + 5*i + 6. Let d be n(6). Suppose 3*f + 2*j + 8 = d, -5*j - 8 - 12 = -f. Solve -y = -f*y - 3 for y.
3
Suppose r - 11 = -4*f - 2, -28 = -5*r - 3*f. Suppose -5*l + 3 = -12. Suppose l*j + 5 = -5*z, -4*j + 2*z = -0 - 2. Solve j = -4*o + 3*o + r for o.
5
Let t(h) = h + 1. Let w(g) = -g**2 + 4*g + 4. Let f(j) = j. Let i be f(5). Let r(l) = i*t(l) - w(l). Let v be r(2). Solve -v = 5*o + 8 for o.
-3
Let a = -7 + 9. Suppose -o + 6 = -5*o + 3*u, 4*o = -3*u + 6. Solve o*d = 2*d + a for d.
-1
Let i(u) = u**3 - 3*u**2 + 2*u. Let j = -4 + 6. Let g be i(j). Solve 0 = 2*f - g*f + 4 for f.
-2
Suppose -5*t + 31 = -3*f, -2*f - 28 = -4*t + 2*f. Solve 3*n - t*n - 4 = 0 for n.
-2
Let v be 2 + (-6 + 3 - -2). Solve -3*g - 7 = -v for g.
-2
Let a = -56 - -56. Solve 4*i - 6*i - 8 = a for i.
-4
Suppose 5*p - 4*a - 25 = 0, 0 = 5*p + 3*a - 36 - 24. Let n = p - 4. Suppose 87 = n*w - 4*v, -4*v + 15 = 3*w - 50. Solve -4*y + 1 = -w for y.
5
Let r be 8/3*(1 + 2). Let f = r - 16. Let g be (f/2)/1*-1. Solve g*c - 1 = 3*c for c.
1
Let b be (1 + 0)/((-5)/(-20)). Suppose -3*q - 6 = -b*q. Suppose -k - 2*k = -q. Solve 0 = -5*s - 3 - k for s.
-1
Suppose 0 = -2*u + u + y, -5*y = -10. Solve q - 6 = -u*q for q.
2
Let r(v) = 3*v + 7. Let z be r(6). Solve -z = -2*x - 3*x for x.
5
Let h = 231 + -224. Solve -9*a + h*a + 6 = 0 for a.
3
Let x = 82 + -79. Solve -2 = -5*r + x*r for r.
1
Let a be 10/3 - (-1)/(-3). Let h = a - 0. Suppose h*q = -m + 8, -2*q = m - 7 + 1. Solve 0 = 5*n + 7 - m for n.
-1
Suppose 3*n + 13 = 5*v, -2*n - 5 = 3*n. Solve v*f = -2 - 6 for f.
-4
Let m(b) = b**3 + b**2 - b - 3. Let u be m(2). Solve -3*z = -u*z for z.
0
Let a be 7/1 + (-6)/2. Let i be -1 + 1 + 4 + -2. Suppose -2*n + 8 = i*n. Solve a - n = d for d.
2
Suppose 0 = 2*f - 4*f + 4. Let k be f + (1 - -3) + -2. Solve k = 4*x + 24 for x.
-5
Suppose k + 105 = 4*k. Let b be (-88)/(-9) - ((-8)/36 + 0). Let d be -1*(-5)/(-2 + 3). Solve d*p = k - b for p.
5
Let l be 5 - (80/(-4))/(-4). Solve 2*o + o - 15 = l for o.
5
Let c = -9 + 11. Suppose -3*t = -4*h + 15, h - 10 = -c*h + 2*t. Solve h*z = 4*z - 16 for z.
4
Let a(h) = -h**3 + 6*h**2 + h - 3. Let f be a(6). Let c = f - -7. Solve c - 2 = 4*g for g.
2
Suppose d + 4 = 0, -2*i - 4*d = -0*i - 2. Suppose i + 6 = 5*u. Solve 0 = u*a + 2*a for a.
0
Let f = -6 - -6. Suppose -13 + 1 = -4*w. Solve w*p + 7 + 8 = f for p.
-5
Let v be (13 + -3)/(10/5). Solve -m - v = -0*m for m.
-5
Suppose -3*t - t = 0. Suppose 5*d - 16 - 4 = t. Let i = 6 - d. Solve w - 3 = -i for w.
1
Let g = -28 - -31. Solve -g*d = d for d.
0
Let x be 0/2 + ((-4)/2 - -2). Solve 3*j + x*j = -15 for j.
-5
Suppose -5*s + 5*f = 25, 5*f + 2 = -4*s + 3*f. Let o be s/((-2)/3) - -2. Solve o = -3*q + 4*q for q.
5
Suppose v - 10 = -y - 5, -17 = -3*v - 5*y. Suppose 0*b = -v*b. Solve b = -3*x + 5 + 10 for x.
5
Let g = 45 + -144. Let v be g/(-21) + 6/21. Solve 0 = -2*z + v*z - 9 for z.
3
Suppose 21 = 5*l - 0*l + z, -4*z - 12 = -4*l. Let r = -5 - -6. Let a = l + r. Solve a*s = -5 - 20 for s.
-5
Suppose p + 0*p - 2*t = -1, 7 = -p + 5*t. Let n be 0 - -11 - 3/p. Solve -5*o - 10 = -n*o for o.
2
Suppose 4*f + 10 = 6*f. Let z(r) = -4 + 1 - 5*r + 6 - 2*r**2 + 3*r**2. Let d be z(f). Solve 4 = g + d*g for g.
1
Let w(d) = -d**2 - 5*d + 6. Let r be w(-4). Solve -5*j + r = -0*j for j.
2
Suppose -g - 3*p = 2*p - 2, 3*g - p = 6. Let i be g/(-10) - (-130)/25. Solve 0*b + b = -i for b.
-5
Let p(l) = -l**3 + 3*l**2 + 5*l + 2. Let g be p(4). Let x = 9 - g. Solve d - x = 2 for d.
5
Let d = 5 + -10. Let a be d*-1*4/5. Let n = 1 - -1. Solve -a*r = -n*r + 10 for r.
-5
Let v(i) = i**3 + 3*i**2 - 2*i - 2. Let a be v(-3). Suppose 0 = 6*u + u - 21. Suppose a*f - 5 = u*f. Solve 5*n + 5 + f = 0 for n.
-2
Suppose p + 12 = -2*p. Let q = p + 6. Solve -2*u = q + 2 for u.
-2
Suppose -23 = -4*v + 29. Let i be v/5 - (-2)/5. Suppose i*c - 7 - 28 = -5*z, 4*z = -5*c + 41. Solve 0 = -2*k - z for k.
-2
Let j = 6 - -16. Suppose 2*w - 4*a = -12, -8*a + j = w - 3*a. Let u = w - -1. Solve u*z + 2*z = 5 for z.
1
Suppose 0 = -f + 3*f + 2*k, -k = 3*f. Let l be (f*1/(-2))/1. Suppose -5*w = -4*j - 108, 5*j = 3*w - 30 - 40. Solve l*i - 4*i = w for i.
-5
Suppose -4*f + 2 = -3*f. Solve f*r - 8 = -2 for r.
3
Suppose 8*a - 3*a = 10. Solve a = t + t for t.
1
Suppose -4*y + 28 = -4*v, y - 3*v = 2*v + 11. Let l = y - 4. Let n = 4 - l. Solve 5 = n*r - 7*r for r.
-1
Suppose -4*d + 0*d = 3*f - 17, 3*d = 2*f. Let b = f - 3. Solve -2*i - 6 + b = 0 for i.
-3
Suppose 0*y + 12 = -3*y. Let v be 17/2 + (-2)/y. Let b(m) = -m**2 + 4*m + 5. Let g be b(4). Solve 1 = g*z - v for z.
2
Suppose -5*f = -5*a + 5, -4*a + f = -0*f - 19. Suppose 0 = 3*p - 3, -4*j + 4 = -2*p + a*p. Suppose b + 0*b = j. Solve b*g + g = 0 for g.
0
Suppose -3*j - 1 = -2*i + 18, 0 = -4*i - 3*j + 11. Solve i*w - 4*w = -3 for w.
-3
Let x be 4*-1*1/(-4). Let a be 4/x*(-6)/(-6). Solve -a*i = -i for i.
0
Let d(l) = -l**2 - 3*l + 14. Suppose -u - 3*q - 11 = 0, -4*q + 7 = u - 4*u. Let v be d(u). Solve 0 = -3*r + v*r + 1 for r.
-1
Suppose 0*d = -d + 5. Suppose 5*w + 0*u - 60 = -5*u, d*w = 2*u + 32. Solve 2*r - w = -2*r for r.
2
Suppose -2*u - 3*y - 1 = 0, 3*u - 27 = 2*y + 3*y. Let r be ((-6)/u)/(9/(-12)). Solve 5*s + r = 3*s for s.
-1
Let o = -11 + 20. Let z = o + -7. Solve z*f = -3*f for f.
0
Let o = -13 + 15. Solve 4*m - o*m = 8 for m.
4
Let o = -25 - -35. Solve 3*p + o = 4 for p.
-2
Let q be ((-9)/3)/(-3)*(-6 - -6). Solve q*d = -3*d for d.
0
Let i = 2 - 4. Let j(k) = k**3 + 2*k**2 - 2*k - 3. Let q be j(i). Suppose -2*g + 8 = -0. Solve 5*h - g*h - q = 0 for h.
1
Let a(f) = -f**3 + f**2 + f + 10. Let v be a(0). Let d be ((-72)/(-45))/(4/v). Solve -d*l - l - 20 = 0 for l.
-4
Suppose 0*y + 15 = -5*c - 3*y, -2*y = -c - 3. Let t be 2/c + 4/6. Solve 2*v + 2*v + 12 = t for v.
-3
Suppose 4*x - 50 = 2*i, -2 = 4*i + x + 71. Let z = -15 - i. Solve 0 = -d - 1 - z for d.
-5
Suppose -6*w + 5*w = 0. Solve 4 + w = l for l.
4
Let f(u) = -u - 12. Let q be f(-17). Solve 20 = -0*y - q*y for y.
-4
Suppose s + s - 4*j = 28, 0 = 5*j + 15. Let g be -6*(s/6)/(-2). Solve 4 = -4*m - g for m.
-2
Suppose -3*w + 48 = 3*b, -b + 7 + 15 = -5*w. Let q = 49 - 44. Solve -q*i - b = -2 for i.
-3
Suppose -2*q = -6*q - 0*q. Suppose 12 = 2*g - 4*z, -3*g + 8 = -g - 2*z. Suppose 0*i - g*i + 4 = q. Solve 0 = i*n + 2*n + 20 for n.
-5
Suppose 3*x = -3, -3*x - 77 = 5*c - x. Let g = -9 - c. Solve i = g*i for i.
0
Suppose -d = -3*d. Suppose 0 = -k - 4*h - d + 10, -k + 5*h - 8 =