 Suppose 40 = -z*l + 6*l. Suppose 2*d = 10, 5*y - l = -5*d + 35. Solve -6 = -y*w + 2 for w.
2
Suppose 5*j - 35 - 10 = 0. Let i = -9 + j. Solve -7*r + 6*r - 4 = i for r.
-4
Let f be 2/(-16) - 46/(-16)*7. Solve -4*q - f = q for q.
-4
Suppose 8*v = 12*v. Suppose 3*z - 32 = 28. Solve -4*f + v = -z for f.
5
Let t = -280 - -283. Suppose 0*b - 9 = -3*b. Suppose 0 = -2*i - b*v + 16, 8 = -2*v + 4*v. Solve -t*g = -i*g + 2 for g.
-2
Let l be (2*1 - 1)*2. Suppose -3*w + 0*w = -27. Let u be ((-3)/w)/((-4)/72). Solve x - u + l = 0 for x.
4
Let r(w) = -18*w + 2. Let o be r(-1). Let v = o + -13. Solve 5*x - 13 = v for x.
4
Suppose -3*h + 1 = -5*p, 0*p + 7 = -p + 4*h. Solve -10 = -3*k - p for k.
3
Suppose 4*g = 2*g + 12. Solve -2*t - g = t for t.
-2
Let m(w) be the third derivative of w**5/60 + 2*w**3/3 + w**2. Let r be m(0). Suppose -r*q = -q. Solve q = -5*h - 11 - 14 for h.
-5
Let f = 8 + -3. Solve -f*n - 1 = -4*n for n.
-1
Let d = 38 - 36. Solve d*w = w + 3 for w.
3
Let o = -23 + 26. Solve 20 = o*u - 8*u for u.
-4
Let t(i) = -3*i**2 - 2*i + 4. Let z(s) = -4*s**2 - 2*s + 5. Let f(w) = 5*t(w) - 4*z(w). Let p be f(4). Let c = -4 - -7. Solve -c*h + h = -p for h.
4
Let l be 45/(-60) + 19/4. Solve -p = l*p for p.
0
Let p be 4/(-5) - (-78)/10. Let c = -16 - -21. Solve c*o + p = -13 for o.
-4
Suppose -12 = -5*j - 4*s, j - 2*j + 12 = -4*s. Solve -5*t = -j*t for t.
0
Let z be (15/(-6))/((-1)/4). Suppose -c = -2*t + z, -t = c - 0 - 5. Suppose c*u - 3*u = 0. Solve -3*x + x + 6 = u for x.
3
Let b be (4/(-10))/(1/(-5)). Let x be ((-11)/22)/((-2)/28). Let l = x - 5. Solve -m - b = -l*m for m.
2
Let p(o) = o**3 - o**2 - 7*o - 5. Let v(a) = 3*a**3 - 3*a**2 - 20*a - 14. Let y(t) = -17*p(t) + 6*v(t). Let i be y(2). Solve 0 = -i*f - 0*f for f.
0
Let f(h) = 2*h + 27. Let a be f(-12). Solve -8 = a*r + 7 for r.
-5
Let g = 9 + -3. Let s be g/1 + 2 + -4. Solve -3*z + s = z for z.
1
Suppose -3*w + 3*q = -45, 5*q - 1 + 6 = -2*w. Solve 7*v = 2*v + w for v.
2
Let o = -5 - -12. Suppose -2*c - 5 = -o*c - q, 10 = 4*c + 2*q. Solve -5*y = -c*y for y.
0
Let q be 38/4 + (-18)/12. Suppose v - q = -2. Solve 0 = 4*g + 2 + v for g.
-2
Let z be (3 - 7) + 1 - 2. Let s = z + 8. Solve 2*o - s*o = 0 for o.
0
Suppose 0 = -3*y - 81 + 111. Solve -1 = 3*l - y for l.
3
Let t(u) = u + 7. Let o be (-6 + -1)/(4 + -3). Let g be t(o). Suppose 4*d + 4 = 2*n, -3*n = 2*d - 2*n - 2. Solve -c + g*c = d for c.
0
Suppose 3*q = v + 15, -3*q + 4*q = 2*v + 45. Let r be 2/3 + 16/v. Solve -10 = 2*a - r for a.
-5
Suppose -i = -4*i + 18. Suppose n - i*n = 3*j - 23, -3*n = 15. Let y(p) = -p**2 + 4*p + 3. Let q be y(4). Solve 7*z + j = q*z for z.
-4
Let k be 77/28 + (-1)/(-4). Suppose k*c - 15 = -0*c. Solve c*t + 9 = 2*t for t.
-3
Suppose 0 = -2*s + i + 3, 4*i = 2*s - 0*s. Suppose -s*p - 10 + 2 = 0. Let c = p - -6. Solve -3*g + 4 = -c*g for g.
4
Suppose -5*a - 18 = 4*p, 2*p - p + a = -4. Let h = p + 22. Solve 3*z + 2*z = -h for z.
-4
Let h(w) = w**2 - 2*w - 7. Let m be 2*2*(-20)/(-16). Let d be h(m). Solve v - d = 5*v for v.
-2
Let d(c) = -7*c - 49. Let p be d(-7). Solve p*x - 10 = 5*x for x.
-2
Let t be (-4)/22 + (-70)/(-22). Suppose -3*n = -t*p, 0 = 4*n - 2*p + 7*p + 18. Let s be n*(-6)/9*3. Solve f = 3*f + s for f.
-2
Let f be 10/15 + (-20)/3. Let p = 6 + f. Solve u = -p*u for u.
0
Let v be -3 + (-34)/((-8)/4). Suppose 9*q + 40 = v*q. Solve 0 = -q*x + 3*x for x.
0
Suppose 20 = x + 8. Solve -x = -4*l + 8*l for l.
-3
Let s be 45/(-6) + (-2)/(-4). Let l(w) = -w**2 - 9*w - 7. Let y be l(s). Let u = -7 + y. Solve u = -0*r - r - 3 for r.
-3
Let p be (-3 - (-17)/(-5))*(-10)/4. Solve 2*d = 6*d + p for d.
-4
Let p(c) = -c. Let g be p(-5). Suppose -g*f = -f - 4. Solve y + 3 = -f for y.
-4
Suppose -3*r + r = -i, 2*r - 16 = -3*i. Let f be i*-1*3/(-6). Suppose 3*w - w + f = -3*s, -5*w - 10 = 5*s. Solve 0 = -s*d - d + 15 for d.
5
Let w(b) = 2*b - 1. Let h be w(3). Solve h*i + 0*i = -25 for i.
-5
Let j(f) = -3*f + 1. Let a be j(2). Let l(w) = 7 - 2 - 5*w + 4*w. Let q be l(a). Solve 1 = 3*y + q for y.
-3
Suppose -z = -w + 6, z - 2 = -4. Solve -w*v = 3 - 7 for v.
1
Let c(n) = n. Let z be c(3). Solve 0 = p + z*p for p.
0
Suppose -5*y = 5*l - 5, -l - 2 = 3*y + y. Suppose 1 = -5*g + 11. Solve 0 = -l*r - g*r for r.
0
Suppose 0 = 5*h + 9 - 9. Solve h = l - 3*l for l.
0
Let a be (-1 + 11)*(-5 + 6). Let l = -5 + a. Suppose 0 = l*b + 5*z - 15, 5*b + z - 16 = -5. Solve 0 = t + b*t - 9 for t.
3
Let s be (-1)/4 - (-5)/4. Let g be (-1 + s)/(4/(-2)). Let f be (-2)/4*0/1. Solve b + g*b - 2 = f for b.
2
Suppose 2 = -m - m. Let l be 3*(m + (2 - 0)). Solve -l = 4*f - 19 for f.
4
Let k be 3/(1/(2 - 1)). Let c be (-603)/(-21) + (-10)/(-35). Suppose -b + 0*s = 5*s - c, -4*b - s + 21 = 0. Solve -b*f = -k - 5 for f.
2
Suppose 0 = -5*m + 4*m. Let x be (-81)/(-15) - (-2)/(-5). Solve v = -m*v - x for v.
-5
Suppose 81 = -2*q + 7*q - u, -2*q + 22 = -3*u. Let r be (2 + -3)*1*-5. Suppose 5*h - 2*t = -6*t - 1, h + q = -r*t. Solve -2*f - h = 3 for f.
-3
Let t be (-9)/(-12) + (-5)/(-4). Let v be (t/(-4))/((-2)/24). Solve -4*z + z + v = 0 for z.
2
Suppose -4*p = -p. Suppose p*t + 2*q = -4*t + 6, 2*t - 5*q - 33 = 0. Suppose -2*o = -3*o + 7. Solve t*r - o = 5 for r.
3
Suppose 4 = -35*q + 37*q. Solve -q*v = v + 9 for v.
-3
Let k be ((-6)/8)/((-1)/(-4)). Let t = k + 5. Let x be (2 - (-3)/(-6))*t. Solve -x*m = -2*m + 5 for m.
-5
Suppose 0*j + j = 0. Suppose -5*v + 2*a = -26, -2*v - 3*a - 1 + j = 0. Solve -v*p = -7*p for p.
0
Let d be 2/3 + (-1)/(-3). Suppose c - d - 7 = 0. Let t = 70 - 55. Solve c*o - 3*o + t = 0 for o.
-3
Let m(q) = -q**2 + 5*q - 1. Let l be m(4). Let k be l/3*-1*-3. Solve 0 = -2*o + k*o - 2 for o.
2
Let m = 5 + -3. Let p be -4 - (-11 - -5) - (-4)/2. Suppose m*r + 0 = p. Solve r*i = 6*i - 20 for i.
5
Let g(i) = -2*i - 6. Let p be g(-6). Let x be (-1)/(((-15)/(-12))/5). Let m = x + p. Solve -11 = m*r - 3 for r.
-4
Suppose -4*y + 11 = -2*o - 3, -5*y + 28 = o. Solve -o*j = -4*j for j.
0
Let q be ((-15)/10)/((-2)/4). Suppose -2*u - q*i - 6 = 2*i, 4*i = -8. Solve 0 = 3*h - u + 11 for h.
-3
Let b(h) = -h**3 + 6*h**2 - 6*h + 7. Let k be b(5). Let n be (k*3)/((-9)/(-6)). Solve 0 = d - n*d for d.
0
Suppose 0 = 12*b - 17*b + 25. Solve -7*l = -2*l + b for l.
-1
Let i(f) = f - 2. Let y be i(-2). Let v(x) = x**2 + 4*x. Let r be v(y). Solve r = -2*z - 3*z - 5 for z.
-1
Suppose 3*y - 2*i + 168 = -0*y, 0 = -3*y + 3*i - 171. Let o be y/(-15)*(-5)/(-3). Solve -2*r + 0 = -o for r.
3
Suppose 0 = j + 2*j - 12. Solve 0*w = w - j for w.
4
Let a(u) = u + 13. Let w be a(-7). Suppose -y = -w*y. Solve y = -0*n + n + 5 for n.
-5
Let a = 33 + -33. Solve a = -0*z + z for z.
0
Let x(r) = -r**2 - 4*r + 3. Let q be x(-4). Solve q*a - 3 - 3 = 0 for a.
2
Suppose c + 0*c = 0. Solve 0 = -5*f - c*f - 15 for f.
-3
Suppose -10*p + 8*p + 10 = 0. Suppose -p*i - 2 = -22. Solve -i*h - 3 = -7 for h.
1
Let p be (4/3)/((-14)/(-21)). Suppose -p*h + 186 = 70. Suppose 4*x - 23 = -b, -3*b + x + h = b. Solve 0*r = 3*r + b for r.
-5
Suppose 5*z - 4*w = 20, 4*z + 3*w - 4*w = 16. Suppose -4*d - 5*s + 12 + 2 = 0, 2*d + s - 10 = 0. Solve -t - d = -z*t for t.
2
Let m be (-2)/(-8) + 325/(-4). Let o be (-180)/m - (-4)/(-18). Solve o*x + x + 12 = 0 for x.
-4
Let z(a) = a**3 - 6*a**2 + 5*a + 7. Let i be z(5). Let l be -3 + i + (1 - 0). Solve 4*r = -r + l for r.
1
Let x(i) = -i**2 - 12*i + 14. Let b be x(-13). Solve 5 - b = u for u.
4
Let c = 5 - 3. Suppose -4*z + 14 = j, -c*z + 11 + 1 = 3*j. Solve -4*o - 2 = -j*o for o.
-1
Suppose -2*u - 3*k = 0, -2*u - u = 3*k + 3. Let y = u - -4. Solve -i = -0*i + y for i.
-1
Let g(s) = s - 3. Suppose -18 = -5*c + 2*c. Let r = c - 1. Let w be g(r). Solve o - 5 = w*o for o.
-5
Let i(h) = -h**2 - 6*h - 4. Let t be i(-4). Suppose x = -t*x. Solve x*b - b - 2 = 0 for b.
-2
Let x = 15 - 20. Let v(b) = -2*b**2 - 12*b - 9. Let c be v(x). Solve -5*w - 14 = c for w.
-3
Let y(w) = -w**3 - 4*w**2 + 2*w - 9. Let c be y(-5). Solve 0*d + 2*d - c = 0 for d.
3
Let p(w) = 2*w**3 - 3*w**2 + 3*w - 2. Let g(m) = -m + 10. Let j be g(8). Let x be p(j). Suppose z = -z + 2*h - x, 4*z - 2*h = -8. Solve -15 = -z*n + 3*n for n.
-5
Let t(l) = l**2 - 6*l + 5. Let k be t(5). Solve u + u - 4 = k for u.
2
Let t be 1 - (4 + -2 - 3). Solve 0 = p - 0 - t for p.
2
Let g be (-230)/18 + (-4)/18. Let z = g - -20. Solve 