 + (272/(-11))/(-4). Let o be ((-1)/1 + n)/1. Solve -2 = -o*x + 18 for x.
4
Let n(k) = 2*k - 1. Let o be n(3). Suppose 0 = o*y + 19 + 16. Let w be y + 5 + 0 + 2. Solve w = -5*v - 9 - 6 for v.
-3
Let f be -1*((-4)/2 - 5). Solve -4*b - f = 13 for b.
-5
Let u = -4 - 3. Let o = u - -7. Let x be (-6)/(3 - 5 - 0). Solve o = p - 0 + x for p.
-3
Let x be -3*(0 - (-1)/3). Let c(u) = -1 + 87*u**3 - 197*u**3 + 100*u**3 + 0. Let s be c(x). Solve 0 = -r + 4*r - s for r.
3
Let f = -374 + 374. Solve f = 9*a - 13*a + 4 for a.
1
Suppose 4 = 2*k, -73*k - 10 = h - 78*k. Solve h = -17*r + 19*r - 10 for r.
5
Let b = -158 - -275. Let u = b - 111. Solve -u*p + p = 10 for p.
-2
Let f = -520 - -525. Solve 0 = -f*h - 5*h - 20 for h.
-2
Let y(u) = -u**3 + 15*u**2 - 3*u + 34. Let q be y(15). Let c(v) = -v**3 + 7*v**2 - v - 4. Let s be c(7). Let m = q - s. Solve -j = -m - 1 for j.
1
Suppose -3*x = -o - 2*o - 9, x = -o + 5. Solve -x = 2*q - 0 for q.
-2
Let s = -102 + 106. Let p(k) = -k**2 - 4*k - 3. Let z(w) = w**2 + 4*w. Let g be z(-3). Let u be p(g). Solve -s*t - t + 5 = u for t.
1
Suppose -53 = 2*o + 3*x, 3*x = 6*x + 15. Let p = o + 6. Let f = -11 - p. Solve -10 = -7*r + f*r for r.
2
Suppose d - 6 = g - 4, -4*d + 8 = -2*g. Suppose -4*x + x + 9 = 0. Suppose 4 = r + t, 0 = -x*r + 3*t + d*t + 4. Solve 0 = r*b - b for b.
0
Let t(n) be the third derivative of -5*n**4/24 - 6*n**3 - 44*n**2. Let u be t(-8). Solve c - 5*c = -u for c.
1
Let a(k) = k**3 - k**2 - 4*k - 1. Let j be a(3). Suppose 0 = -6*h - 49 - j. Let m = -8 - h. Solve 2 = 3*u - m for u.
1
Let a(j) = j**2 + 16*j + 35. Let y be a(-14). Suppose 0 = -o - 2*o + i + 3, 5*o - i = y. Solve -o*l = 3 - 1 for l.
-1
Suppose -4*m = -y + 20, 0 = -3*y + m + 2*m + 69. Let n = y + -21. Let h = -1 + n. Solve x = -h*x + 9 for x.
3
Suppose 652 - 658 = -3*a. Solve 0 = -0*j + a*j - 6 for j.
3
Let v be (2 - (2 - 2))/(-1) - -3. Solve 7 = -4*o - v for o.
-2
Let b = 46 + -45. Let n be 5 - 1 - (-1 - -3)*b. Suppose -2*u + 0 + 8 = 0. Solve -u = -n*q - 2 for q.
1
Let q(i) = i**2 - 1. Let b be q(3). Let n = -631 + 636. Solve -b = 3*k - n*k for k.
4
Let p be 4*4/16*5. Suppose p*y = 6 - 1, 4*u - 10 = -2*y. Suppose 0*r + r + 5 = 5*b, -2*b + u*r = 6. Solve -2*f = -4 - b for f.
3
Suppose 0 = -3*t + 2*t. Let d be (35 - (15 - 0)) + 0 + -4. Solve t = -3*b - b + d for b.
4
Let a be 12/(-66) + ((-140)/(-22))/2. Let h be (10/a)/((-6)/(-9)). Solve 5 = h*b - 0 for b.
1
Let s = -60 - -48. Let n = s - -14. Solve 0 = -g - n*g - 12 for g.
-4
Suppose 5*l + 3*q = 0, 7*l - 2*q - 25 = 2*l. Suppose -5*d = -2*d + r - 8, -5*d + 20 = 5*r. Solve l*u - 25 = -d*u for u.
5
Let i = 1912 + -1910. Solve -k - 3*k = i*k for k.
0
Suppose 48 = 34*w - 28*w. Solve -3*l + w = -7 for l.
5
Suppose -p - 2*f - 5 = -13, -5*p + 4*f = -40. Let i be (1 - -3) + 4 + -4. Suppose 5*a = 1 + i. Solve -3*o = p + a for o.
-3
Suppose -1 = 3*l + k, -3*l + k = 2*l - 9. Solve 3*n + l + 2 = 0 for n.
-1
Let b(d) = -d + 9. Let p be b(8). Let u be (-1 + p)/((-36)/(-12)). Suppose -6*m + 9*m - 15 = u. Solve 2*x + 1 + m = 0 for x.
-3
Let j = 239 + -234. Solve o + 8 = j for o.
-3
Let d = -1048 - -1056. Solve -2*q - q = -d*q for q.
0
Suppose -8*q = -4*q. Suppose q = 5*i - i. Suppose 2*p - l - 2*l = 11, -4*p + 17 = -l. Solve i*n - p*n = 0 for n.
0
Suppose 2*g + 288 = -6*g. Let j be ((-1)/3)/(2/g*3). Solve -u - j = -3 for u.
1
Suppose -2*n = 3*x - 3*n - 65, 0 = 4*n + 20. Suppose 5*g + 7*q - 2*q - x = 0, -g + 8 = 5*q. Solve g*f + 10 - 22 = 0 for f.
4
Suppose 888*t - 8 = 887*t. Solve 0 = 5*z - t*z - 9 for z.
-3
Suppose 16 = -4*m - 4*z, -3 + 23 = -4*z. Solve -3*r + m = 1 for r.
0
Let c be (-8)/2 - -8 - 2. Let r(s) = -20*s**2 + 26*s - 6. Let h(z) = -7*z**2 + 9*z - 2. Let v(k) = -17*h(k) + 6*r(k). Let g be v(c). Solve -u + 3 - 1 = g for u.
2
Let i be -9 + 232/8 + 5*-1. Solve i = 3*x - 8*x for x.
-3
Suppose 4*i = 24 + 4. Suppose -p + 15 = i. Let n be (2/(-1))/((-2)/3). Solve -g - p = n*g for g.
-2
Let d = 658 - 256. Let r be 11/(-55) + d/10. Suppose 31 = -3*z + r. Solve z = 2*i + 7 for i.
-2
Suppose -2*q - 6 = -14. Suppose -27 = -6*h - 9. Suppose -s + 47 = h*f, -5*f - 2*s = -62 - 15. Solve q*c + f = -3 for c.
-5
Suppose 10*h - 46 = 44. Let z = -13 + 13. Solve z*v + 3*v = h for v.
3
Let z(t) = 3*t**3 + t**2. Suppose -5*u - 3 = p - 10, -4*u - 4 = -4*p. Let y be z(u). Suppose -3*v - y*m + 41 = 0, 3*m = 2*v + v - 27. Solve v = 3*b - 4 for b.
5
Suppose 0 = -7*l - 75 + 117. Solve 0 = 4*y + 2 + l for y.
-2
Let j be (-18)/((-6)/9*3). Let i = -184 + 189. Solve 0 = 4*y - i + j for y.
-1
Let c(j) = -2*j**2 - 20*j - 38. Let t be c(-6). Suppose 5*i + 32 = 6*k - 2*k, 5*i + 50 = -5*k. Let l = t + i. Solve 0 = -l*f - 2*f for f.
0
Let s(q) be the second derivative of -q**3/2 - 7*q**2/2 - 12*q. Let a be s(-3). Solve p - 2*p - a = 0 for p.
-2
Let n = 132 - 127. Solve 0 = -0*m + n*m - 15 for m.
3
Let i(u) = -u**2 + 10*u - 16. Let o be i(8). Let p be 0/(1 + o - 0). Suppose -3*c + 0*c = p. Solve c = -2*d - 12 + 2 for d.
-5
Let i = 0 - -4. Let q be i/2 + -2 + 0. Let g(x) = x**2 - 31*x + 85. Let w be g(28). Solve -3*l + 5 + w = q for l.
2
Let w be ((0/(-4))/(-5))/1. Solve 52*n - 50*n = w for n.
0
Suppose 5*j - 19 = -14. Let x(m) = -2*m**2 + 3*m - 1. Let z be x(j). Solve d = 4 - z for d.
4
Suppose 0 = -5*w - 13993 + 14008. Solve 4*j - 14 = -w*j for j.
2
Let d(w) = w**3 + 6*w**2 - 11*w - 22. Let m be d(-7). Suppose 0 = 4*l - 5*j - 10, -3*j = 5*l - 0*j + 6. Solve l = -m*h + 2*h for h.
0
Let m(x) = 38*x**3 + 2*x**2 - x - 2. Let o be m(-2). Let s be o/10 - 4/10. Let n be (-1)/6 + (-365)/s. Solve -3*v + 0*v = n for v.
-4
Let v(x) be the second derivative of x**5/20 - 2*x**4/3 + 3*x**2/2 + 4*x. Let c be v(8). Solve 4*n = c*n - 3 for n.
-3
Suppose -a = -0*a + 3. Let f = a - -8. Let x(r) = -r**2 + 6*r - 1. Let h be x(f). Solve h*u = 8*u for u.
0
Let r(o) = 3*o + 23. Let s be r(-6). Suppose -3*k = 3*h + 6, s*k = -2*h - h - 10. Solve h*t + 3*t = 15 for t.
5
Let s be 4/((-32)/(-18) - 10/(-45)). Solve 7*q + s - 23 = 0 for q.
3
Suppose 0 = 4*g + 6 + 10. Suppose 4*p + 2*l = -18, -4*p - 22 = -3*p + 4*l. Let t be g/p + (-3 - -3). Solve -x = -t*x - 2 for x.
-2
Let t = 21 + -9. Let y be (-39)/(-9) + 4/(-12). Suppose 0 = -i - 4*s + 12, s = -1 + 2. Solve -y*x = i + t for x.
-5
Suppose -g = -7 + 4. Suppose -g*b + 19 = 2*a, 0 = 2*b + 3*b - 5*a + 10. Solve q - b*q = 0 for q.
0
Let a be (18 - 18)/(4/((-8)/(-6))). Solve a*q - 5 = -q for q.
5
Suppose 3*w - 6*w = -3, 3*r = -4*w + 16. Suppose r*y = -3*y. Solve y*a - 5*a = 0 for a.
0
Let r be (-1 + 28/16)*4 - -2. Let a(o) = -o**2 - 7*o - 6. Let p be a(-6). Solve p = m + 4*m - r for m.
1
Let u be 1/(-3) - ((-31)/3 + 0). Solve -5*i + 5 + u = 0 for i.
3
Let c be (-570)/(-35) - 4/14. Suppose -5*y + 35 = -5*w, 4*w - 14 = -5*y + 3. Solve y*s - c = s for s.
4
Let o = -22 + -1. Let x = 35 + o. Solve 2*t = 5*t + x for t.
-4
Suppose 7*o = 6*o - 3*m + 15, o = 3*m - 9. Solve -4*n + 3*n = o for n.
-3
Let r = 18 + -18. Suppose r = -6*z + 2*z + 16. Suppose 0 = -z*s + 7*s. Solve s*x = -4*x for x.
0
Suppose 5*m = -4*d + 3, 16*d - 11*d - 13 = 3*m. Solve -z = 4*z - d*z for z.
0
Let t = 22 + -17. Suppose -k + 6*k - t*m = 0, -2*m = 0. Suppose 0 = -3*u + 5*w + 15, 9 = 2*u - 3*w - k*w. Solve 5*y = -u*y + 20 for y.
4
Let r(d) = -d**2 + 7*d - 6. Let s be r(6). Let z = 1440 + -1433. Solve s = -5*b + 27 - z for b.
4
Let j(w) = w**2 + 10*w + 19. Suppose 5*l + f = -41, 6*l + 31 = 3*l + f. Let a be j(l). Solve 0 = -i + 3*i - a for i.
5
Let f(v) = -v**2 - 2*v - 1. Let j be f(-2). Let n = 13 + j. Let i be -3*((-20)/n - 0). Solve -i*k - 13 - 7 = 0 for k.
-4
Let l = -18 + 21. Suppose 0*u = -l*u. Solve -4*b + 4 = -u for b.
1
Suppose 3*r - 15 = -2*w, -w + 6 = -2*r + 3*r. Solve -4 = -7*l + r for l.
1
Let n = -19 + 26. Solve 0 = -4*r + 3 - n for r.
-1
Let l = -2471 - -2495. Solve -16*n - l = -22*n for n.
4
Let n(d) = 6*d - 28. Let v be n(5). Solve 0 = 6*r - v*r for r.
0
Suppose -5*l = 20, -3*k = -2*l + 3*l - 80. Solve -k = -5*u - 2*u for u.
4
Suppose 0 = -5*c - 3*d + 6, -4*c - 3*d = 5 - 11. Solve 11*t = -c*t for t.
0
Suppose 282 = -5*u - 588. Let f be (-15)/35 + u/(-14). Solve 0*a - 3*a = f for a.
-4
Suppose 0 = u + 4*b + 1, -2*u + 3*u + 15 = 3*b. Let q be u/5*(1 + -6). Solve -q - 6 = -3*y for y.
5
Suppose 0 = -83*n + 87*n - 20. Let d be 0/(5 + (-15)/n).