 + -6. Let f = c + 19. Let m be ((-6)/f)/((-3)/24). Solve -10 = -4*h + m for h.
4
Let d = -7 - -4. Let p = 6 + d. Suppose p*u - 16 = -2*v - u, 0 = 2*u - 6. Solve a + 3 = -v for a.
-5
Suppose 2*c - 5*c = -5*l + 42, -4*l - 3*c = -39. Suppose 1 + 2 = 3*u. Let d be (u - 6/(-2)) + 0. Solve -d*x + x = -l for x.
3
Let p = 7 - 7. Suppose p = -r - 11 + 5. Let w = 9 + r. Solve 4 = -w*o + 1 for o.
-1
Let d = 0 + 6. Suppose -o - 4*l + 1 - 10 = 0, 0 = -o - 3*l - d. Solve 3*y - 6*y - o = 0 for y.
-1
Suppose -3*l - 41 = -4*v + 28, 92 = 5*v + 2*l. Let c be (v/(-27))/(1/(-9)). Let d = 12 - 6. Solve -3*n - c = -d*n for n.
2
Suppose -3*q = -q - 8, -4*m + 20 = 3*q. Let p(y) = -y**2 - 3*y + 3. Let c be p(-3). Solve 0 = -c*j + m + 1 for j.
1
Let m(b) = -2*b. Suppose 4*j = g - 11, 0 = -j - 3*j - 12. Let t be m(g). Solve 0 = t*w - w for w.
0
Let w(a) = a**3 - 22*a**2 + 5. Let o be w(22). Solve 6*f - f + o = 0 for f.
-1
Let c be 50/2 - (2 + -2). Let o(v) = v**3 - 2*v**2 + 2*v - 38. Let g be o(4). Solve g*a + 3*a = c for a.
5
Let n be 25/15*12/10. Suppose -b + 0*b = 3*w + 1, 2 = n*w - 2*b. Solve w = g + g for g.
0
Let b = 1 - -2. Solve -2*x = -b*x - 4 for x.
-4
Let l = 105 + -101. Solve -l*w - 20 = -0*w for w.
-5
Suppose -9*y = y. Solve y = -u - u - 4 for u.
-2
Let f = -171 - -173. Solve -5*i + f + 3 = 0 for i.
1
Let j(t) = t**3 + 4*t**2 - 8*t - 13. Let h be j(-5). Solve 3*d - h = d for d.
1
Suppose 5*q = -0*q + 4*a + 57, -4*a - 21 = -q. Solve -j + 4*j + q = 0 for j.
-3
Let q(u) = -u**3 - 5*u**2 - 5*u - 1. Let h(f) = f**3 + 5*f**2 + 4*f + 1. Let s(w) = -4*h(w) - 3*q(w). Let y be s(-5). Solve y*l + 6 = 2*l for l.
-3
Suppose -7*i + 28 = -4*b - 3*i, i - 25 = 4*b. Let j(q) = -q - 4. Let p be j(b). Suppose -2*c - c = p*z - 31, 37 = 4*z + c. Solve -z = -2*x - 0 for x.
4
Suppose q - 5 = 0, c = 3*c - 2*q. Suppose -5*y - n + 120 = -19, 115 = 5*y - c*n. Suppose -20 = -5*g - m, 3*g + g - y = -3*m. Solve g*o = 7*o + 12 for o.
-3
Let b(z) = 2*z**3 - 3*z**2 + 3*z. Let l be b(2). Let t = l + -6. Solve q = -q - t for q.
-2
Let i be (-8)/(-12) - (-16)/3. Let p(n) be the third derivative of n**4/24 - n**3/6 - n**2. Let c be p(i). Solve 10 = 5*h - c for h.
3
Let r = -2 + 4. Let i be (1/r)/(4/(-24)). Let t = i + 5. Solve 0 = -t*l - 5 - 1 for l.
-3
Let i(a) = -a**2 + 10*a - 4. Let s be i(9). Suppose 0 = -2*u - 3*f - s, 3*u - f = 8 + 1. Suppose 0 = -2*c + u + 6. Solve 3*g - c*g = -4 for g.
4
Let j(m) = -2*m - 2. Let y be j(-13). Suppose p - 2*p = -y. Solve 5*c - p - 1 = 0 for c.
5
Suppose -15 = -3*x - 0*x. Suppose 3*k - 9 = -k - 3*y, -x*y - 2 = k. Let n = -116 + 136. Solve 2*w - n = -k*w for w.
4
Let r be (-3)/(-6)*(0 - 34). Let s = -9 - r. Solve -s = -3*b + 5*b for b.
-4
Let l be (-21)/(-6) + 1/2. Solve l*x - 8 = -0*x for x.
2
Let n be (-2 - 4/(-3))*-6. Solve 0 = -z + n*z + 6 for z.
-2
Suppose -4*v + 3 = -3*v. Suppose -w - 2*a - 1 = a, -v*a - 57 = -3*w. Solve -2*p + 4 - w = 0 for p.
-5
Suppose 5*v - 2*f = 3*v, -3*f = 2*v + 25. Let g(c) = c**3 + 5*c**2 - c - 7. Let i be g(v). Let j be (-1)/i - 5/(-2). Solve j*k = 6*k for k.
0
Suppose -5*r + 5 = -0. Let y = 1 + r. Suppose 0 = y*m + m. Solve -2*i - 3*i = m for i.
0
Suppose 3*b = 2*b. Suppose 3*u - 5*g = -4, -g + 4 - 2 = b. Solve -4*j + u*j = 10 for j.
-5
Let d be 2/(-3) - (-10)/(-3). Let r be -1*((-8)/(-2) + d). Solve -3*i + 8*i = r for i.
0
Suppose -f + 0*p + 9 = -3*p, 0 = -2*p - 4. Solve 0 = -4*j + 13 + f for j.
4
Let p be ((-9)/18)/(2/84). Let o = p - -24. Solve 0 = -2*t - 5 - o for t.
-4
Let p(d) = 8*d + 2. Let b be p(2). Suppose 2*o - 4*h = -3 + 23, -b = -o + 4*h. Solve o*u + 7 = 1 for u.
-3
Suppose 3*d + 1 = 10. Solve 0 = -8*n + d*n - 5 for n.
-1
Suppose -r + 4*w = -3, -5*r + 0*r + w = -34. Let k be 152 - (4 + -1) - 4. Suppose -r*y + k = -2*y. Solve 4*f - y + 13 = 0 for f.
4
Let x(a) = 6*a**3 + a**2 - 3*a + 2. Let q be x(1). Solve 0*s = 3*s - q for s.
2
Suppose 5*h - 5 = -5*y, 0*h - h + 4 = 2*y. Let a be -4 + 0/(-5) - -7. Solve y*z = a - 0 for z.
1
Let g be 4 + (-2)/(-8)*4. Solve 20 = g*u - u for u.
5
Suppose -7*c = -2*c + 2*d - 8, -9 = -2*c + 5*d. Solve -c = -3*x + 1 for x.
1
Suppose 8 = 3*b + 2*o + 4, -3*o - 3 = 0. Suppose -v + 5*n = -3*v + 1, -3*v = -5*n - 14. Let z be (-1)/(((-6)/4)/v). Solve t = z + b for t.
4
Let z(u) = -u**3 + 5*u**2 + 5*u + 6. Let y be z(6). Solve -3*b + b - 2 = y for b.
-1
Let r(b) = 3*b + 3. Let o be r(-3). Suppose -29 = -4*v - 5. Let q = o + v. Solve q = s + 2*s for s.
0
Let z = -12 - -17. Suppose -4*a - 44 = 4*v, -3*v + 8*v - 2*a = -90. Let y be (-156)/v - 1/(-4). Solve z*w - y - 5 = 0 for w.
3
Let a be (65/(-10))/(2/(-4)). Solve -4*q - 5 + a = 0 for q.
2
Let y be (-4 - -4) + 2 + -1. Let r(z) = 16*z**3 - 2*z**2 + 2*z - 1. Let j be r(y). Solve 6*b + j = b for b.
-3
Let g = 3 + -6. Let q be g + 3 + 0 + 0. Solve -8 = 4*p - q*p for p.
-2
Let f(p) = p**3 + 5*p**2 - 6*p + 5. Suppose 7*v + 24 = 3*v. Let y be f(v). Solve 0 = -y*h + 3 + 7 for h.
2
Let v(m) = -m**3 + 7*m**2 + 10*m + 2. Let p be v(8). Suppose g = d - 7, 3*d - g - g - p = 0. Solve x = d*x for x.
0
Let j be (-2)/(-12) + (-34)/(-12). Let f be 10*(6/4)/j. Solve f = 4*u - 7 for u.
3
Let a be ((-4)/3)/(16/(-24)). Let d be (-4)/18 + (-152)/(-36). Solve a*j = d*j for j.
0
Suppose 2*u - 2*x - 6 = 0, 0 = -0*u + 3*u + 2*x + 6. Solve -5 = s - u*s for s.
-5
Let l(z) = z**2 + z - 1. Let s be l(0). Let a be s - -1 - (-1 - 2). Solve 13 = a*j + 4 for j.
3
Suppose -5*g - 26 = k, 34 = -5*k + g + 8. Let m = 2 - k. Solve 2*j = 2 + m for j.
5
Let x be (1 - 5/15)*6. Solve 0*a - x = 2*a for a.
-2
Let z = 9 - 9. Let q(b) = -b**2 + 10*b - 7. Let a be q(9). Solve z = -y + a for y.
2
Suppose 2 - 14 = -3*g. Let u be -1 + g - (-4 - -2). Solve u*r = -0*r + 10 for r.
2
Let q be 33/(-2)*(-12)/18. Solve -4*d + q = -1 for d.
3
Let x(p) = 2*p**3 - 3*p**2. Let m be x(2). Let h(l) = -3*l - 1. Let b be h(-1). Suppose m*j = -b - 2, -3*j = s. Solve -4*c = -s*c - 2 for c.
2
Let l = 0 - -3. Let g(k) = k + 3. Let i be g(l). Solve i*x - 3*x + 15 = 0 for x.
-5
Let j(u) = 2*u**2 - 7*u + 5. Let r be j(3). Solve 3*x - 2 = r*x for x.
2
Suppose 0 = 4*k - d + 32, -k - 12 = 3*k + 4*d. Let p = 9 + k. Suppose -6 = -5*s + 4. Solve -p*o = s*o for o.
0
Suppose 3*r - 2 = -5. Let w be -7 + 4 + (-7)/r. Solve i - 1 = -w for i.
-3
Let l be (28/20 + -1)*5. Solve -2 = i + l for i.
-4
Let w(j) = -j**2 - 5*j + 9. Suppose -4*k - 6 = 2*c, 13 = -2*c + 3*k - 0*k. Let p be w(c). Solve p*n - 15 = 4*n for n.
3
Suppose -5*l - 5*r + 7 = -8, -r - 15 = -2*l. Solve -l*v + v - 25 = 0 for v.
-5
Suppose -10*t = -17*t + 14. Solve -t = -3*k + 7 for k.
3
Let z = -4 - -7. Let k = -56 + 58. Solve j = -k*j + z for j.
1
Let o = -7 - -10. Solve -1 - o = s for s.
-4
Let q(w) = 3*w - 9. Let v be q(8). Solve a + v = 4*a for a.
5
Suppose 95 = 3*n + 47. Solve c + n = -3*c for c.
-4
Let v = 8 + -5. Let z be 5/(-3)*-3 - v. Solve z*c = 2 + 2 for c.
2
Suppose 23 = s + 5*x, s - 2*x + 9 = x. Suppose 6*t - 2*t = 5*p + 27, -4*p - s = 3*t. Solve t*w + w - 16 = 0 for w.
4
Let u(r) = r**2 + 2*r + 2. Let j be u(-2). Let g be (-2)/5 + (-48)/(-20). Suppose 4*w = g*w + 20. Solve -j*p = -4*p + w for p.
5
Suppose -3*z = -5*z + 2*c + 12, 5*z - c - 38 = 0. Let a be ((-4)/6)/((-4)/18). Let d = 6 - a. Solve b = d*b - z for b.
4
Let g = -11 + 10. Let m be 5/10*(g + 1). Solve 0 = -m*s + 2*s + 6 for s.
-3
Suppose -5*q = -2*i - 14, i - 2*q = -2 - 3. Let m = 8 - i. Let b = m + -2. Solve 12 = p + b*p for p.
3
Suppose 0 = 3*s - 13 - 71. Solve s - 8 = 4*w for w.
5
Let z(r) = 3*r**3 + r**2 - r - 1. Let p be z(2). Let v = p + -23. Solve -v*q + 3*q = 4 for q.
4
Let m(u) = -u**2 - 17*u + 4. Let r be m(-17). Solve 0*y = -y - r for y.
-4
Let m(a) = -2*a + 5. Let i be m(5). Let x be (i/3)/((-2)/6). Solve -x*r = -1 + 16 for r.
-3
Let n = 1 + 3. Suppose -21*f + 24 = -17*f. Solve 5*c - f = n for c.
2
Let g = 32 + -28. Solve -2*v = -g*v + 10 for v.
5
Suppose 0 = -m + 4*k + 16, -1 = -5*m + 3*k + 11. Solve 0*d + 2*d - 4 = m for d.
2
Let a = -16 + 21. Suppose a*b + 0*b - d - 20 = 0, 3*d + 24 = 3*b. Solve -2*p + b = -1 for p.
2
Let y(p) = -5*p - 4. Let k(z) = -6*z - 4. Let u(b) = -3*k(b) + 4*y(b). Let s be u(-4). Solve s = -n + 7 for n.
3
Suppose 0 = i + 4*n + 1, 5*i - 13 = -2*n - 0*n. Suppose i*o - 25 = -7. Let f = o - 4. Solve 5*w + 22 = f for w.
-4
Suppose -3*z = -3*a + a + 27, a 