 l be ((-36)/(-15))/(11/(-55)). Let j be 1/(((-16)/4)/l) + -3. Solve -3*g + j = -3 for g.
1
Let f = 229 + -225. Solve f = 4*j - 4 for j.
2
Suppose x + 2*b = 5*x - 16, b + 10 = 3*x. Suppose -p + 5*u = 7, 1 + 6 = p + x*u. Solve -1 + 4 = -p*h for h.
-1
Suppose 510*u - 519*u = -54. Solve u = 5*p - 9 for p.
3
Suppose 0 = 4*u + 3*a + a + 12, 3*a + 11 = -2*u. Let v(z) = 2 - 19*z - z**2 + 3*z**u - 9. Let q be v(10). Solve 0 = -3*c - q - 0 for c.
-1
Let l(b) = -b**2 - 2*b + 11. Let q be l(-4). Suppose q*h - 11 = 4*a, a + 26 = 5*h + 2*a. Suppose 5*z + o = 4*o, -o = 0. Solve h*d + 15 = -z*d for d.
-3
Let v(p) = -4 + 1 - p + 6 + 0*p. Let i be v(0). Solve 0 = -o + i*o + 2 for o.
-1
Let g(o) = -o**2 - 2*o + 2. Let x(b) = -b**2 - b + 1. Let w(v) = g(v) - 2*x(v). Let i be w(-2). Solve 0 = i*k + 8 - 20 for k.
3
Let k be (-90)/(-60) + (-18)/(-4). Solve -o = o + k for o.
-3
Let m be (27/12)/((-3)/(-8)). Let j be m/9*(-9)/6. Let b(y) = -3*y**3 + 2*y**2 + y. Let h be b(j). Solve -h = u - 2*u for u.
4
Let d = -3 - -5. Suppose -d*r = r, 3*l + 5*r = 6. Let k be (l/2)/(-1)*-11. Solve 3*p - k - 4 = 0 for p.
5
Let k(h) = -h**3 + 34*h**2 - 33*h + 9. Let l be k(33). Solve 0 = -6*m - 3 + l for m.
1
Suppose -4*c - 58 = -146. Suppose -4*a - c = -66. Suppose -16*b + 5 = -a*b. Solve 3 = 4*q - b for q.
1
Let k = -131 - -171. Solve 0 = 7*z - 5 + k for z.
-5
Let q(m) = -m**3 + 8*m**2 - 19*m + 86. Let h be q(7). Solve -5*u = -h*u - 6 for u.
2
Suppose 0 = -6*t + t - 10. Let b be 2/t + 14 + -10. Solve -b + 6 = -3*p for p.
-1
Let h = -445 - -456. Let i = -2 - -2. Let k be i/(-1) + 1*h. Solve -5*p - k + 1 = 0 for p.
-2
Let d(x) = x**3 - 11*x**2 - x + 15. Suppose 2*b - 3*s = 13, -s = -3*s + 6. Let m be d(b). Solve 0 = -m*f - 9 - 7 for f.
-4
Let s = -492 + 496. Solve -28*b - s = -26*b for b.
-2
Let a(g) = -g. Let j be a(-2). Suppose -j*u - 3*u - 30 = 0. Let v(m) = -m - 4. Let b be v(u). Solve b*f = 1 + 5 for f.
3
Let s be (-28)/2 + (3 - 0). Let c(f) = -f - 7. Let t be c(s). Suppose t*m = -1 + 13. Solve k + 12 = -m*k for k.
-3
Suppose 4*f - c = -0 - 1, 4*f + 3*c = 3. Suppose 4*w = -4*x, f = -3*x - 0*w - 2*w + 4. Solve x*t + 13 = 1 for t.
-3
Let m(c) = -c + 2. Let h be 0*(-4)/(11 + 1). Let d be m(h). Solve -6*g + d*g = 0 for g.
0
Let u = 2921 + -2906. Solve -9*q + u = -3 for q.
2
Suppose -3*a - r + 16 = 0, 0 = -4*r + 20 - 4. Suppose -5*b = -9 - 31. Solve 3*o - b = a for o.
4
Let l(z) = -z - 20. Let c be l(-16). Let b be (0 - -6) + (c - 2)/6. Solve g = -4*g - b for g.
-1
Let o(i) = i**3 + 8*i**2 - i - 4. Let x be o(-8). Suppose 0 = -z - 2*u + 6, z - 3*u = -4*z - 9. Solve -x*s - 16 = -z*s for s.
-4
Let b(z) = -z**3 - z + 2. Let l be b(-2). Let q(y) = y**2 - 12*y + 3. Let m be q(l). Suppose x - 5 = 4*r, -4*x - r = -0*r - m. Solve -p + x = -0*p for p.
1
Suppose -2*z = -3*q + 79, -3*z - z = q - 31. Solve q*w - 92 = 4*w for w.
4
Let r(m) = -m**3 - m**2 + 6. Let f be r(0). Solve -t + 7 = f for t.
1
Let g(q) be the third derivative of q**5/60 + 5*q**4/24 - q**3/6 + 4*q**2. Let l be g(-5). Let s = -1 - l. Solve s = -0*b - 2*b + 4 for b.
2
Suppose -a = -2*s - 28 - 3, 4*s + 57 = a. Let r be (s/(-26))/((-2)/(-32)). Solve 2 = -5*t - r for t.
-2
Let i be (1/(-3))/((-1)/(-219)). Let g = 102 + i. Suppose 0 = -2*j + g - 9. Solve w + w + j = 0 for w.
-5
Suppose -12*u + 10*u = -8. Solve 0*r = -u*r + 20 for r.
5
Suppose -5*a + 75 = -2*x, 0 = 2*a - 3*x + 1 - 20. Solve -2*n + a = 13 for n.
2
Let r be 3 + 52/44 - 4/22. Suppose r*n + 8*n = -3*n. Solve -8 = -2*x - n*x for x.
4
Suppose -2*l - 4*l = -204. Let h = l - 38. Let t = h + 11. Solve -1 = -4*j + t for j.
2
Let a(q) = -q**2 + 23*q - 125. Let j be a(13). Let x(r) be the third derivative of -r**5/60 - r**4/6 - r**2. Let v be x(-4). Solve v = b + j - 3 for b.
-2
Suppose -84 = -2*y - 2*y. Suppose -3*m = -y - 27. Let j = m + -11. Solve 0*b + 5 = -j*b for b.
-1
Suppose -5*y + 4*x = -0*x - 2, 2*y - 2 = 2*x. Let m be (4 - 0)/2 - y. Let v = -4 + m. Solve -4*n - 3 - 9 = v for n.
-3
Let h(b) = -29*b. Let j be h(-2). Let p(m) = -m**2 - 5*m + 2. Let x be p(-5). Suppose 0 = 3*f + x*g - j - 11, -2*f + 59 = -3*g. Solve 2*v + 3*v + f = 0 for v.
-5
Let d = -30 - -33. Suppose -6 + 21 = d*s - h, h = -2*s + 10. Solve s*q = -5 - 0 for q.
-1
Let q = 61 - 35. Suppose r - 7 = q. Let b be 14/49 + r/7. Solve b*n = -7 - 8 for n.
-3
Let w(q) = q**3 + 5*q**2 + 6*q + 19. Let x be w(-7). Let h = x - -127. Solve 0 = 3*o - h for o.
2
Suppose l + 12 = 10. Let h be (0/1)/l*(-6)/12. Solve 0 = -h*j + j for j.
0
Let d be 40/15 - 2/(-6). Solve -d*v + 13*v = -40 for v.
-4
Let f(i) be the first derivative of 3/2*i**2 + 3*i + 4/3*i**3 + 1/4*i**4 + 2. Let c be f(-3). Solve c*d = -d for d.
0
Let w(p) = p**3 - 3*p**2 + 5*p - 11. Let x be w(3). Suppose 3*c = x + 5. Solve c*v = 6*v for v.
0
Suppose -5*v = 2*r + r - 12, 4*v + 5*r = 20. Suppose 40*y - 37*y = v. Solve -4*q + 16 = -y for q.
4
Let x = -1 + 6. Suppose -t = 2*z, -x*t + 4*t = 4*z + 8. Suppose 0 = -4*n - 2*r + 14, -n - 3*r + r + 5 = 0. Solve -n*j = -t*j for j.
0
Suppose -4*j + 5*v = -27 - 10, -4*j + 3*v + 27 = 0. Suppose -2*p - 10 = j*p + 2*k, 0 = 2*p - 5*k - 25. Let o = 7 + -4. Solve r - o*r + 4 = p for r.
2
Let w be (2 + 16/6)*3. Let r(h) = h**2 + 11*h + 6. Let p be r(-10). Let g = p + w. Solve 3*o + g + 2 = 0 for o.
-4
Let q = -669 + 682. Solve q*n - 12*n - 3 = 0 for n.
3
Suppose 4*a = 75 + 25. Let l = -22 + a. Solve 2*r - 3 = l for r.
3
Let z(t) = t + 14. Let m be z(5). Solve 4*k + 1 = -m for k.
-5
Let v(n) be the first derivative of n**3/3 - n**2 - 12*n - 24. Let u be v(5). Solve u*b + 10 = b for b.
-5
Suppose -25*w = -23*w - 68. Solve -w = 6*y - 10 for y.
-4
Let z = -1872 + 1874. Suppose 0 = 2*f + 3*f. Solve 10 = z*o - f*o for o.
5
Let y = -25 + 34. Let h be ((-3)/9)/((-3)/y). Solve -s + 4 = -h for s.
5
Suppose 0 = 28*y - 17*y. Solve 4*s + 26 - 34 = y for s.
2
Suppose 2*v - 2 = -x, 2*x - 4 = 7*v - 12*v. Solve -x*d - 39 = -35 for d.
-2
Suppose 3*q + 2095 - 2113 = 0. Solve q*b - 8 = -26 for b.
-3
Let v(l) = -l**3 - 20*l**2 + 259*l - 40. Let t be v(-29). Solve 5 = -t*p + 13*p for p.
-1
Let w be ((-12)/8)/((-3)/(-6)). Let c(i) = -i**2 - i - 5. Let g(v) = v**2 + v + 5. Let p(f) = -4*c(f) - 3*g(f). Let h be p(w). Solve h = -5*s - 4 for s.
-3
Let c be (-4345)/(-385) + 4/(-14). Solve c*o = 6*o - 20 for o.
-4
Suppose 23*y - 9*y = 28. Solve -3 = y*v - v for v.
-3
Suppose 6*q - 2*q - 36 = 4*j, 2*q + 2 = -2*j. Suppose u - 4*t = 18, -u - q*t - 13 - 1 = 0. Let a be (0 - 0)/(2/u). Solve x + a*x = 0 for x.
0
Suppose -32*c = -14*c - 270. Solve 0 = u + c - 18 for u.
3
Let b(y) = -44*y + 79. Let l be b(1). Solve l = 6*o + 17 for o.
3
Suppose 0 = -5*j + j + 8. Suppose 1 - 3 = d. Let w be 4 + j - (5 + d). Solve -14 = w*l + 1 for l.
-5
Suppose -3*t = -2*s + 25, -2*s - 2*t + 15 = 3*s. Solve 0 = -2*c - 1 - s for c.
-3
Suppose 9*d = 4*d - 15. Let y be 3 + 1 - (7 + -2 + d). Solve y + 0 = -a for a.
-2
Let l be (2/(-4))/((-7)/112). Let x = 13 - l. Suppose 0 = -5*u - 6*q + 10*q + 27, -6 = -5*u - 3*q. Solve 0 = 2*s - u*s - x for s.
-5
Let f = 29 - 28. Solve 0 = 3*u - 16 + f for u.
5
Let p = -971 + 971. Let y be (8/6)/((-4)/(-30)). Suppose m + m + 4 = 5*i, i + 5*m + y = p. Solve -w - 2*w + 12 = i for w.
4
Let b(v) = -v**3 - v**2 + v - 2. Suppose 4*u = -3*z - 6, -5*u = -z - 2*z - 6. Let r be b(z). Let k be 1/(-1) - 1*-9. Solve r = k*d - 3*d + 15 for d.
-3
Let h be 2/(-5) - 96/(-15). Let d(c) = c**3 + 0*c - 64 - 6*c**2 + c + 61. Let x be d(h). Solve 0*q + x*q + 15 = 0 for q.
-5
Let b be (-31)/(-2) - (1302/28)/31. Solve 19 = c + b for c.
5
Suppose -3*r - 63 = -6*r. Let g = r - 18. Solve g = 3*a - 12 for a.
5
Suppose -1367 = -25*l + 283. Solve 0 = -69*n + l*n + 9 for n.
3
Let q(g) = 3*g + 21. Let w be q(-6). Solve -w*m = -5*m + 6 for m.
3
Let o be 0 + 0 - (-4 + 8/2). Suppose -80 = -5*s - o*s. Let d(g) = 2*g - 4. Let z be d(4). Solve -z*t + 0*t + s = 0 for t.
4
Let r = 5 + 0. Suppose r*t = 4 + 11. Solve y - t = -2*y for y.
1
Let t(g) be the first derivative of 2 + 3/2*g**2 + 4*g - 1/3*g**3. Let h be t(3). Solve f - h = 1 for f.
5
Let n(l) = 8*l + 8. Let r = 49 - 49. Let c be n(r). Solve -b = b + c for b.
-4
Let b(y) = -y**2 + 11*y - 5. Suppose 3*s - 2*s = 10. Let o be b(s). Let p(l) = l**3 - 3*l**2 - 7*l + 1. Let k be p(o). Solve -d - 3*d = k for d.
-4
Let v be (-3)/(-2)