ppose -2*q + 1 = -3*t + 4*t, -q - 3*t = n. Solve -q = -m - 0*m for m.
2
Suppose -3*z - i = 2*i, 1 = 2*z + 3*i. Let a(o) = 4*o**2. Let d be a(z). Suppose 11 = d*u - 3*l, 5*u - l = -0 + 11. Solve 0*m - m + u = 0 for m.
2
Suppose -40 = -2*z - 0*z. Solve -5*t - z = -0*t for t.
-4
Let j be (-3)/9 - (-26)/6 - 0. Solve -5 = -j*i + 3 for i.
2
Let y = -2 - -5. Let x = -4 + 2. Let d = x + 7. Solve y*h + 2 - d = 0 for h.
1
Let m(l) = -l**3 + 7*l**2 - 5*l - 1. Suppose 3*c - 8 - 10 = 0. Let f be m(c). Solve 4*u = f*u - 4 for u.
4
Suppose -3 = -4*c + 5. Let v be (1/2)/(c/12). Solve 6*y = v*y for y.
0
Let g be (-2)/(-4)*0/2. Solve g = f + 3*f + 4 for f.
-1
Let x = 7 + -4. Solve 0 = 4*o + 7 - x for o.
-1
Suppose 2*g - g + 3*p - 8 = 0, -p - 14 = -3*g. Suppose 0 = 2*d + 2*m - 36, 0 = 5*d - m - 73 - g. Solve 0*l - 4*l - d = 0 for l.
-4
Let s = 117 - 115. Solve s*b = b + 4 for b.
4
Suppose 0*j = j - 68. Suppose -4*q + 4*z + 18 = -22, -4*z = 5*q - j. Let w(x) = -x**2 - x + 2. Let m be w(0). Solve m*y - q = -y for y.
4
Suppose -r + 2*x = 2, 0 = -2*r - 5*x + 6 + 8. Suppose 2*d - 10 = -2*v, -r*v + 14 = 4*d - d. Suppose 0 = -0*f + d*f - 12. Solve -1 = q + f for q.
-4
Suppose 17*d + 0*d = 34. Solve 4*u = d*u for u.
0
Suppose q + 2*o + 4 = 0, -4*o - 20 = -2*q - o. Suppose 3*j - 16 = -q. Solve v = j*v - 9 for v.
3
Suppose -2*p = 0, 2*p + 0 + 2 = 2*t. Suppose -o = -5 - t. Solve 2*i = 4 + o for i.
5
Let d(l) = -l + 6. Let b be d(11). Let t = b - -9. Solve -t*f + 0 = -20 for f.
5
Let r(m) = -m**3 - 10*m**2 + 11*m + 4. Let k be r(-11). Suppose -t - 3*q - 111 = -4*t, t - 42 = 2*q. Suppose y = -3*y + t. Solve k*v = y + 4 for v.
3
Let s = -3 - -5. Suppose 2*k + 2*n - 11 = 1, -8 = -s*n. Solve 5*r = k*r + 12 for r.
4
Let i(j) = -8 + j**2 + 4*j**2 - 13*j - 4*j**2 + 4*j. Let z be i(10). Solve -8 - z = 5*u for u.
-2
Let f be (-4)/(-6) - (-20)/15. Suppose 0*c = -2*c + f. Solve 4 = -t - c for t.
-5
Let w be (49/14)/(1/2). Solve -1 - w = -4*v for v.
2
Let s(z) = z**3 - 9*z**2 + 2*z + 2. Let a be s(9). Suppose -a = f - 5*f. Solve 0 = 2*o + 3*o + f for o.
-1
Let m be (-2)/(3/(-18)*1). Solve -2*n = -6*n - m for n.
-3
Let p(q) = -2*q**2 - 2*q + 4. Let n be p(4). Let a = -9 - n. Solve -7 + a = 5*s for s.
4
Let c = 7 + -10. Let v = c + 3. Solve p = -v + 4 for p.
4
Let s = 7 + -1. Suppose 0*x = -2*x + 4. Suppose 2*a + 8 = -2*j, 4*j = -3*a - 20 + 4. Solve a = x*c - s*c for c.
0
Let b be ((-2)/2)/(-1) - -2. Suppose 4*h - b*v = -15, 4*h - 14 = -4*v + 6. Solve -4*x + x + 6 = h for x.
2
Let d(a) = 3*a + 20. Let i be d(-6). Solve 1 - 7 = i*y for y.
-3
Let n(m) = 3 + 10*m + 7*m - 4. Let j = 2 + -1. Let i be n(j). Solve -i = 3*u + u for u.
-4
Let d = -4 - -11. Suppose d*k - 15 = 2*k. Solve 0 = k*q + q + 20 for q.
-5
Let m be 2/(-8) + 2/8. Suppose -5*h = -m*h - 115. Solve h = -5*r - 2 for r.
-5
Let u be (-1)/(-2)*10 + -2. Let o(r) = r**2 - r - 4. Let l be o(u). Solve n + 0*n = l for n.
2
Let o = 45 + -20. Suppose 2*f - p - 24 = o, -5*f + 3*p + 122 = 0. Solve 3*z = -2*z + f for z.
5
Suppose -w = -0*w + 3, -3*o = 3*w. Solve o*a - 8 = a for a.
4
Let r be 5 - (-1 + (0 - 0)). Let n = -6 - -6. Suppose 3*q + 12 = 3*c, -q - c + 6 - 2 = n. Solve q = 3*g - 5*g + r for g.
3
Suppose 4*f - 9 = 3. Suppose -t = 4*s - 16, 5*t - 9 = -4*s + 23. Suppose 9 = -t*z + 29. Solve -z = -f*r + 1 for r.
2
Let u = 4 - -7. Let l = -8 + u. Solve l*i + 2 + 4 = 0 for i.
-2
Let y(d) = -2*d - 7. Let l be y(-11). Solve 0*w = 5*w + l for w.
-3
Suppose 5*c + 0*o = o + 13, -c + 4*o + 14 = 0. Suppose -15*v = -12*v + 9. Let u = v + 9. Solve c*p - u = -0 for p.
3
Suppose 0 = -3*i + 5 + 4. Suppose -p + 104 = i*p. Suppose 3*f = -2*v + 17, -f = 5*v + f - p. Solve v - 6 = -b for b.
2
Let x(n) = -n**2 + 17*n - 6. Let i be x(16). Let c be (-6)/(-1) + 10/(-5). Solve -c*y = y - i for y.
2
Suppose 4*a + r - 16 = -3*r, -2*a - 7 = -3*r. Let p = -6 + a. Let k be (1 + 0)*(p + 8). Solve -k*g = g for g.
0
Let b = -57 + 64. Solve -2*z - b + 1 = 0 for z.
-3
Let t be (8/6)/((-4)/(-12)). Let g be 1 - (-2 - -3) - -5. Solve t*s = -s - g for s.
-1
Let s = 12 + -5. Let c(o) = -o + 10. Let l be c(s). Solve l*x = -2 - 4 for x.
-2
Let j = -5 + 11. Let k = -25 + 35. Let q be ((-4)/(-6))/(k/75). Solve b + q = j*b for b.
1
Let a(v) = v - 8. Suppose 4*j - 33 = -z, -24 = j - 4*j - z. Let h be a(j). Solve 0 = 4*i - h + 9 for i.
-2
Suppose 5*r + 18 = 43. Suppose 0 = r*s - 2*s. Solve -3 = -j - s for j.
3
Let a = 5 - 2. Suppose 22 = 3*m + 2*d - 0*d, -2*d = -a*m + 2. Suppose 20 = 2*z + 2*y, 3*y = -5*z + m*z + 14. Solve -2*b = 2*b + z for b.
-2
Let o = -1 + 3. Suppose 5*x + 19 = 5*y - 1, -4*y - o = 5*x. Suppose -y*k + 0*k + 34 = 4*q, 0 = -4*q - k + 29. Solve m - 2 = -q for m.
-4
Let r = -4 + -5. Let f be 70/15 + 6/r. Solve 0 = -3*k + f*k for k.
0
Let z = -10 + 24. Let k = 20 - z. Solve -k*r + 2*r = -4 for r.
1
Let y be (-1 + 1)/(4 + -2). Solve y = 5*z - 2 - 3 for z.
1
Let q be (-6)/(-9) - 28/(-3). Suppose -2*p = -4*j + 18, -2*j + 5*p + q = -11. Suppose -8 = -2*l + 22. Solve -l = -j*r - 0*r for r.
5
Suppose -c - 3*d + 2 = -2, -2*c = 4*d - 8. Let y = -1 - -19. Let b = y + -13. Solve -4*o = -b*o - c for o.
-4
Let k(d) = d + 8. Suppose -4*s + 8 = -0*s. Let z be 24/s*(-6)/12. Let v be k(z). Solve -3 - v = c for c.
-5
Suppose -5*u = -0*u - 10. Suppose 0 = -5*c - z - 26, -u*c = c + 5*z - 2. Let d = c - -8. Solve 0 = -g + d*g + 2 for g.
-2
Let x(v) = 4 - 4 - v. Let j be x(-2). Solve 13 + j = -3*r for r.
-5
Suppose -5*y - 3 = 3*t, -t + 3*y = -4*t + 3. Suppose -2 - 2 = -d. Solve 2*l = -d - t for l.
-4
Suppose -3*a + 3*l + 26 + 4 = 0, a = -2*l - 5. Solve -a*y + 5 = -0*y for y.
1
Let i(w) = -w**2 - 6*w + 4. Let z be i(-3). Let j = -11 + z. Solve -j*q - 1 = 1 for q.
-1
Let j be -8 - -4 - (-14 - -1). Solve -2*h - h = j for h.
-3
Suppose -3*j + 4*n = -1, 3*j - n - 2 = -13. Let z = -2 + j. Let x be z/(-3) - (-2)/3. Solve 9 = -x*i + 24 for i.
5
Suppose 3*k = -0 + 6. Suppose k*b + 10 = 2*r, b = -b - 2. Solve -3*h = -r - 8 for h.
4
Suppose 0 = -2*x - 3*x + 15. Solve 10 = 2*h + x*h for h.
2
Suppose 0 = 5*s + 4*w - 16, -2*w + 2 = -0*s + s. Let g be (2/(-3))/(1/(-6)). Let v(x) = x**3 - 2*x**2 - 4*x - 2. Let z be v(g). Solve -2 - z = s*d for d.
-4
Suppose -9 = -2*c + 5*c. Let o = c - -6. Solve o*i = -0*i - 12 for i.
-4
Let a(w) = -w**3 + 11*w**2 - w + 16. Let r be a(11). Solve 3*q - 2 = r*q for q.
-1
Let h = 6 - 13. Let k be 4/(-14) - 2/h. Suppose -2*q = -5*q + 12. Solve k = y + q*y for y.
0
Suppose -44 - 25 = 3*u. Let i = 26 + u. Solve 7 - 1 = i*f for f.
2
Suppose -b = -5*q + 3*q + 10, 0 = 2*b + 4. Solve -12 = n - q*n for n.
4
Suppose -2*s + j = -7, -s + 0*s + j = -5. Let u be ((-27)/(-3) - -1) + 2. Let f(k) = -k**3 + 12*k**2 + k - 8. Let h be f(u). Solve -2 = -h*q + s*q for q.
1
Let p(c) = c**3 + 2. Let b be p(0). Solve b*j = 3*j - 4 for j.
4
Let r be 2*14/3 - (-30)/(-90). Solve 0 = 9*z - 6*z - r for z.
3
Suppose -1 = -j - j - n, 4*n + 6 = -3*j. Suppose 0 = -t + 2*v, t - 4*t + j*v + 16 = 0. Solve -2*h + t = 2*h for h.
2
Suppose 3*v + 5 = 4*j, -j - 2*v + 3 = -v. Solve 3*b + j*b = 0 for b.
0
Let t = -12 - -8. Let a = 7 + t. Solve -5*d + 18 = a for d.
3
Let b = -11 + 38. Let t = -24 + b. Solve 0 = -t*s - 0*s for s.
0
Suppose -4*i + 2*x - x = -81, 2*x = i - 22. Solve 9*a = 4*a - i for a.
-4
Suppose 95 = -3*h - 2*h. Let v = -11 - h. Solve -v = -w + 3*w for w.
-4
Suppose -3*r = r - 3*o - 20, -r + 5 = -o. Let u = 16 + -3. Solve r*z + 2 = -u for z.
-3
Let p(y) = -y. Let l = 2 + -1. Let h be p(l). Let m = 3 + h. Solve -15 = 5*t - m*t for t.
-5
Let b(o) = o - 2. Let u be b(4). Suppose n + u*n + 45 = 0. Let p be n/(-12) - (-6)/8. Solve 2*y - 8 = p for y.
5
Let l(f) = f**2 + 4*f - 2. Let z be (-6)/30 + 24/(-5). Let w be l(z). Solve -w*r = -0*r - 15 for r.
5
Suppose 3*f - m = -2*m + 19, 3*f - 17 = m. Let g be f/4 + 3/2. Suppose 0 = -3*q - 0 + 15. Solve -g*t + q*t = 8 for t.
4
Let j(m) be the third derivative of 1/120*m**6 + 3*m**2 + 0 + 0*m**4 + 1/3*m**3 + 0*m - 1/60*m**5. Let n be j(2). Solve h + h = -n for h.
-3
Suppose -4*d = q - 39, -4*d - 2*q = q - 29. Suppose -d*c + 6*c + 15 = 0. Suppose -2*p = h - 13, -3*p = -3*h - 7*p + 31. Solve -h + c = 2*x for x.
-1
Let x be (-6)/9 - (-16)/6. Suppose 0 = m - 4 + x. Suppose 10 = -m*u, -w + u + 11 = w. Solve 0 = -2*f - f - w for f.
-1
Let d(n) = n**3 - 2*n**2 - 2*n