4*u + 9 - 1 = y for u.
2
Suppose 0 = -153*f + 149*f. Solve f - 15 = -3*h for h.
5
Let n be -56*1*1068/(-623). Solve 3*x + n = 81 for x.
-5
Suppose 9*n - 5*n - 124 = 0. Suppose 3*u + 2*w - n = -12, -12 = u - 3*w. Suppose 2*t + 0*t = 10, 0 = 3*x - 3*t + 15. Solve c + u*c + 12 = x for c.
-3
Let g = 19 - 16. Suppose -2*a = d - 5*d - 2, 2*a + g*d - 16 = 0. Solve -x - 2 = -a for x.
3
Suppose -5*u - 4*c = -7*c - 164, 4*u = 5*c + 139. Suppose 4*j - 1 = u. Suppose 0 = -5*z + j + 2. Solve 4 = v - z*v for v.
-4
Suppose 0 = 31*g - 26*g - 25. Solve -g*h = -2*h for h.
0
Let l be (4 - 1) + -15 + 17. Solve 4*o + o = l for o.
1
Suppose -k - 30 = -2*f + 6, -5*k = -3*f + 54. Let n = 30 - f. Solve -3*o - 3 - n = 0 for o.
-5
Let f(y) be the third derivative of y**6/120 + y**5/10 + y**4/24 + 2*y**3/3 - 5*y**2. Let k be f(-6). Let r be 1/k + 2/4. Solve r = 5*p - 13 - 12 for p.
5
Let k(n) = n**2 + 0*n - 15 - 9*n + 6*n - 5*n. Let g be k(10). Solve -g*f + 4 = -4*f for f.
4
Suppose 4*n = -12, 13*x - 12*x + 3 = -2*n. Solve -x - 17 = -10*q for q.
2
Let n(j) = -j**2 + 34*j - 114. Let p be n(30). Solve -c - p = -1 for c.
-5
Let s = 57 + -53. Suppose u + s*a - 8 = 2, -u - a = -7. Suppose 0 = c + 2 - 6. Solve -c*w = -u - 10 for w.
4
Suppose 4*u = 3*m + 5, -3 + 2 = -m. Let o be (-1)/3 - (-5)/15. Solve -u*i + 1 - 11 = o for i.
-5
Let b be 8 - 5 - 3/(-2)*-2. Suppose 9 = 2*l + f, -3*f + 5 = 2*f. Suppose 5*i - 15 = 2*o + 3*o, -4*i + 13 = -5*o. Solve i*v - l = -b*v for v.
2
Let k be 3 - (-1 - (-1 - 0)). Suppose 0*w + w = k. Solve w*m + 4 - 1 = 0 for m.
-1
Suppose a = -5*z - 2, 5*z - 100 = -5*a + 2*z. Suppose a = 3*b + d - 11, -2*b + 4*d = -46. Let j(h) = -h + 21. Let l be j(b). Solve l*f = 3*f for f.
0
Let i(j) = -j**3 - j**2 + 3*j + 2. Suppose 0*k + s = -2*k - 9, 3*s + 9 = 0. Let x be i(k). Let h = x - 11. Solve h = -z + 6*z - 25 for z.
5
Let d be (-3)/(-12) - 99/12. Let g = d + 13. Let z be 101/g + 2/(-10). Solve -4*r + z = r for r.
4
Suppose -5*c + 25 = 5*j, -6 = 2*c + 4. Solve j*u = 38 + 2 for u.
4
Suppose -42 = -5*g - 3*s + 15, 4*g - 45 = -3*s. Solve 5*j - g*j = 35 for j.
-5
Let v(q) = 5*q - 1. Let z be v(-4). Let c = z + 13. Let f(y) = -y**2 - 9*y - 3. Let j be f(c). Solve j*i = 7 - 17 for i.
-2
Let m(g) = 18*g**3 + g. Let w be m(1). Suppose -x - 2*x + 5*n = -17, -5*x - n + w = 0. Solve x*l + 13 = -3 for l.
-4
Let g = -1274 - -1274. Solve g = 3*h - 31 + 16 for h.
5
Let x(m) = 7*m + 21. Let c be x(-13). Let l = -60 - c. Solve 0*q - l = -5*q for q.
2
Let f = 66 + -52. Let d be (-1 + 5)*7/f. Solve -d*i = i + 9 for i.
-3
Let l = 949 + -941. Solve l*r = -2*r - 40 for r.
-4
Let d(w) be the first derivative of -2*w**3/3 + 7*w**2 + 8*w + 25. Let r be d(7). Solve -r = s + 3*s for s.
-2
Let a be (-7)/(-49) - 45/21. Let b be a/(-13) - 4/26. Solve b = p + p for p.
0
Let k = 573 + -537. Solve -5*o = k - 56 for o.
4
Suppose 2*t - 1 = k - t, 4*k = 4*t + 12. Suppose 0*s - 5*s = 4*b + 123, k*b + 3*s + 144 = 0. Let h = 33 + b. Solve 3*a - 5*a = h for a.
-3
Let p(h) = h**3 + 6*h**2 + 6*h + 36. Let x be p(-6). Let k be (-30)/(-7) - 6/21. Suppose -5*c - 5 = 5*g, -2*c + 5*c - 11 = 4*g. Solve k*a + c + 7 = x for a.
-2
Suppose 20 = -n + 6*n. Let u(z) = -2 + 28 + n*z + 2 - 3*z. Let f be u(-12). Solve 2*t + 6 - f = 0 for t.
5
Suppose s = 4, x + 3*x + 4*s = 116. Suppose t - x = 6*t, 3*v = -5*t - 13. Solve -v = -2*q + 4*q for q.
-2
Suppose 4*a + 95 = 2*f - 193, -4*a - 564 = -4*f. Let o = -133 + f. Solve g = -o + 6 for g.
1
Let a(p) = 1. Let r(h) = 8*h - 9. Let k(f) = 3*a(f) + r(f). Let l be k(1). Solve -j + l*j = -4 for j.
-4
Let f = -2 - -4. Suppose 2*n - 27 + 9 = -f*i, -2*i = -5*n + 31. Suppose -2*h = 1 - n. Solve 0 = 3*l + 12 + h for l.
-5
Let g(i) = -6*i - 16. Let a be g(-6). Solve 4 = 18*b - a*b for b.
-2
Let h be 1/2 + 36/(-8). Let s be h*3/(-3) - 0. Suppose -3 = -s*z + 61. Solve b = -3*b - z for b.
-4
Suppose 0*o + 88 = 4*o. Suppose o*x + 42 = 19*x. Let y be (-5 + 12)*(-12)/x. Solve -a - 20 = -y*a for a.
4
Let s be 6/14 + -3 + 204/14. Solve -13*a = -10*a - s for a.
4
Let g be 20/6 - (-16)/(-48). Solve -g + 7 = -j for j.
-4
Let a(z) = -3*z**2 - 6*z - 2. Let i(n) = -7*n**2 - 11*n - 3. Let v(w) = -5*a(w) + 2*i(w). Let o be v(-9). Let k = o - 9. Solve -k*q - 19 - 1 = 0 for q.
-5
Suppose -4*u = -5*t - 2*u - 247, 5*t = 3*u - 243. Let m = 53 + t. Solve n + m*n = 3 for n.
1
Let b be -4 + 4*3/3. Suppose x + b*x = 2*d - 6, 4*x + 48 = 2*d. Let j be -1*(-7)/(x/(-4)). Solve -j = -q - 4 for q.
-2
Let p(x) = x**3 - 6*x**2 + 2. Let b be p(6). Let z be (1/(-2))/((-2)/4). Solve k - b*k = -z for k.
1
Let i(f) = 21*f - 61. Let z be i(4). Solve z = w + 18 for w.
5
Suppose -50*y - 6*y = -336. Solve -2*l = y*l - 40 for l.
5
Let i = 35 - 27. Suppose -3*p = i*p. Let q be 68/10 + (-2)/(-10). Solve p = 2*j - q*j - 20 for j.
-4
Let m(o) = o**2 - 5*o - 3. Let c be m(6). Let i(n) = -2*n**3 + 4*n**c + n - 2*n**3 - n**2 - 2 + n**3. Let d be i(2). Solve -2*z + 6 + d = 0 for z.
5
Suppose -109 = -2*m - 19. Let s = m - 43. Solve -n + 3 = -s for n.
5
Let b(k) = 7*k - 15. Let x(f) = -3*f + 7. Let o(r) = -2*b(r) - 5*x(r). Let d be o(5). Solve -4*p - p - 5 = d for p.
-1
Let a be 8 - 7 - (1 + 23). Let w be ((-3)/1)/(a + 20). Suppose w = 2*n - 7. Solve -m + n = -2*m for m.
-4
Suppose 19*z - 44 = -44. Solve -5*b + 18 + 2 = z for b.
4
Let i be ((-40)/(-10))/((-28)/(-35)). Solve -i*l = 9 - 19 for l.
2
Suppose j + 5*m - 24 = 0, -10 = -m - 4*m. Suppose -2*f - 2*n = -j, 3 = f - 2*f + 4*n. Solve 1 = -4*b + f for b.
1
Suppose 0*p - p = -2. Suppose p*d - 4 = -0. Suppose 2*w + d*o - 20 = 0, 4*w + 6*o - 44 = o. Solve i = -i - w for i.
-3
Suppose -3*a = 19 + 11. Let c be a - (0 + 1 + -1). Let b be (-2)/c + 5/(-25). Solve -4*d - 27 + 11 = b for d.
-4
Let n = -1912 + 1919. Solve -18 + 32 = n*x for x.
2
Let m(z) = z**2 - 2*z. Let p(j) = -1. Let x(f) = -m(f) - 4*p(f). Let s be x(0). Suppose 2*a - 30 = 3*d, 0 = 3*a + 2*d - 9 - 10. Solve -1 = -s*y - a for y.
-2
Let h = 44 + -40. Suppose -h*x = -2*x + 8*x. Solve q + q + 10 = x for q.
-5
Suppose -46 - 24 = -5*g. Suppose -5*k + 5 + g = 4*f, -5*k + 5*f + 10 = 0. Suppose d - 4*d = 0. Solve d = k*i - 2*i for i.
0
Let a be (-1)/(-3) - (-14)/3. Let v = -4904 - -4904. Solve v*q = a*q + 10 for q.
-2
Let v be ((-84)/14)/(12/(-4)). Solve v*z - 7 = 9*z for z.
-1
Suppose 0 = -5*b + 50. Suppose 2*q - 6 = -4*s + b, -3*s + 4*q + 1 = 0. Solve 3 - 18 = -s*c for c.
5
Let b = -264 + 309. Solve -4*a - 33 = -b for a.
3
Suppose -5*z + 36 = -4*t, -2*t = -3*t + 4*z - 20. Let s be t/10 - 351/(-65). Solve -q + 12 = -s*q for q.
-3
Let d = -307 - -208. Let f = d + 101. Solve f*w - 20 = -2*w for w.
5
Let y be ((-265)/20 - -13) + (-65)/(-4). Solve 38*g = 46*g - y for g.
2
Suppose -7*h = q - 8*h - 7, -3*q + 5*h = -27. Solve 0 = -q*v + 4 - 0 for v.
1
Let b be 2/(-4 - -2) - -11. Let n = b + -8. Suppose 3*a - 4 - n = 0. Solve -a + 3 = -h for h.
-1
Suppose 18 - 6 = 4*z. Suppose -2*o + 2*b = -6*o + 4, b - 7 = z*o. Let l be 2 - o*(-2)/(-1). Solve 5 - 13 = -l*f for f.
2
Suppose -d = -4*p + 1 + 15, -20 = -4*p. Let s be 3 - (d + (-2 - 3)). Solve -s = -i - i for i.
2
Let p(w) = -w**2 - 6*w + 1. Let u be p(-5). Let k(x) = x**3 - 6*x**2 + 2*x - 10. Let i be k(u). Solve -3 = i*h + 5 for h.
-4
Let y be -6*(4 + -3)*(-44)/6. Let f = y - 38. Solve 10 = -b + f*b for b.
2
Let i(k) = -2*k**2 - 17*k - 25. Let z be i(-5). Solve 3*w = w + z for w.
5
Let o(l) = 5*l**2 - l - 1. Let s be o(-1). Let t = 5 - s. Suppose t = -5*i + 2*i + 6. Solve i - 6 = 4*d for d.
-1
Suppose -5*v + 82 = -98. Solve -42*r = -v*r + 12 for r.
-2
Let v(s) = -s**3 + 8*s**2 + 11*s - 6. Let u(f) = f**2. Let t(m) = -2*u(m) - v(m). Let k be t(11). Solve -i - 25 = -k*i for i.
5
Let h = 139 + -99. Solve -h = c + 7*c for c.
-5
Let a = -232 + 234. Solve -4*u + 8 = -a*u for u.
4
Let f(d) = 2*d**2 - 5*d + 2. Suppose 0 = 2*q - 0 + 4. Let k be (-6)/(-3 - (1 + q)). Let a be f(k). Solve 4*s = a*s for s.
0
Let w(n) = 2*n**2 + 12*n + 8. Let a be w(-8). Suppose 3*m = 2*f - a, 0 = 2*m + 3*m + 20. Let c = f - 10. Solve 12 = -c*k + k for k.
-4
Let s(n) = n**2 - 20*n + 44. Let j be s(19). Solve -t + j = -6*t for t.
-5
Let v(y) = -y**2 - 17*y + 11. Let b be v(-16). Suppose 0 = -b*l + 24*l + 24. Let p be 10/2 - 1/(-1). Solve -p*r + 4*r = l for r.
-4
Let x(r) = 8*r + 180. Let f be x(-21). Solve -3*z - f = z