-4*q - 2 for q.
-2
Suppose -8 = 2*z - 10. Solve k - z = 1 for k.
2
Let a(r) = -r**3 - 4*r**2 - 9*r - 17. Let y be a(-3). Let p be (5/(-1))/(4/(-4)). Let m be 1/(p*y/20). Solve -m = 4*b - 0*b for b.
-1
Let g be ((-5)/(-2))/(35/112). Let d(m) = -m**2 + 6*m - 2. Let s be d(5). Suppose s*i - 1 = g. Solve 0 = -i*c + c for c.
0
Suppose 2*q + 5*l = -2*q + 47, -2*q - 4*l + 28 = 0. Solve 0 = -t - 6 + q for t.
2
Let n be (10/6)/(-8*9/(-216)). Solve -n*t = -t for t.
0
Suppose -12*m + 14*m - 2*q - 8 = 0, 4*m + q = 11. Solve 0 = u - m + 1 for u.
2
Suppose -117 - 18 = -9*o. Solve -5*n = -o + 30 for n.
-3
Let g(b) = b**2 + 4*b - 8. Let r be g(-6). Suppose 0 = -5*h + 10, 5 = n + r*h - 0*h. Let o be ((-1)/n)/((-3)/(-45)). Solve -15 = -0*p + o*p for p.
-3
Let b(z) = -4*z + 40. Let s be b(8). Solve 4*h - s = -4*h for h.
1
Let g = -236 - -261. Solve -15*j + 10*j - g = 0 for j.
-5
Suppose 5*d + 71 = 241. Solve -4*k - 18 = -d for k.
4
Let x(c) = -17*c + 42. Let p(d) be the third derivative of d**4/4 - 7*d**3/3 - 7*d**2. Let i(k) = -8*p(k) - 3*x(k). Let t be i(5). Solve -h = -4 - t for h.
5
Let t = -21 + 23. Suppose -3*v + 4*c = 0, 0 = t*v - v - 3*c. Solve v = 3*w - w - 6 for w.
3
Let x be ((-36)/(-10))/(-18*(-5)/300). Solve 2*w - x = -4*w for w.
2
Let d = 434 - 279. Suppose -d = -5*c - 40. Solve -c = -5*o - 8 for o.
3
Let t = -108 + 110. Let z(y) = -y**2 - 17*y - 13. Let l be z(-16). Solve t*f = -f + l for f.
1
Let w = -45 - -14. Let o = w - -36. Solve 4*h + o = 17 for h.
3
Let i = 8 + -4. Let y be 2 + -4 - -3 - 1. Solve y = i*o - o + 3 for o.
-1
Let x be (2 + -3)/(28/32 + -1). Solve -9*i = -x*i + 1 for i.
-1
Let u be ((-5)/(-15))/(5/(-30)). Let x be 42/9 + u/(-6). Solve -4 = -w + x*w for w.
-1
Suppose 0 = 5*r - 20. Suppose -3*u = -r*z + 2 + 12, -4*z + 20 = 0. Solve 0 = u*y + y for y.
0
Let w = -1656 - -1662. Solve 3*f + 36 = -w*f for f.
-4
Suppose 8 = 3*d - 4*s, -5*d - 5*s + 52 = -8. Solve -d*j + 4 = -9*j for j.
-4
Let o be 14/(-4)*(-10 - -12) + 25. Solve -10*b - 22 - o = 0 for b.
-4
Let d = -273 + 283. Solve 7*r - d = 5*r for r.
5
Let y(p) = 6*p**2 - p. Let l be y(1). Let f(c) = -22*c + 312. Let x be f(14). Solve -n - x*n - l = 0 for n.
-1
Let n(s) = s**2 + 4*s - 5. Let p be n(-5). Suppose 3*w - 20*w = 0. Solve -3*c + w*c - 6 = p for c.
-2
Let q(b) = -b**2 + 15*b + 89. Let s be q(19). Solve 3*l = s - 1 for l.
4
Suppose 0 = -2*u + 2*c, u + 3*c = 5*c. Let n(v) = v + 8. Let d be n(-6). Solve -d*t = -u*t for t.
0
Let r(p) = 4 + p - 12 + 19. Let u be r(-11). Solve -5*f + 16 - 1 = u for f.
3
Suppose -6 - 6 = -12*p. Suppose -5*y + 35 = -4*k, -y - y + 32 = 2*k. Suppose -y = -3*q + 4*q - 5*l, 5*l = 4*q - p. Solve 9 + 11 = q*g for g.
5
Suppose 4*h + 97 = 105. Solve h = 15*c - 13*c for c.
1
Suppose 0 = 5*c - 3*r + 102, -16 = c - r - 4*r. Let h be c/(-3)*8/14. Solve -w + h - 1 = 0 for w.
3
Suppose t - 20 = -3*t. Suppose 29 = t*z + 4. Solve 2*x + 12 = z*x for x.
4
Let u(r) = 6*r + 5. Let y(w) = -3*w - 3. Let m(q) = -3*u(q) - 5*y(q). Let k be m(0). Solve -3*i = -k*i + 3 for i.
-1
Let o = 23 - 16. Let u(c) = -5*c - 112. Let d be u(-23). Solve -o*z = -d*z for z.
0
Suppose 75*p - 182*p + 168 = -83*p. Let l be ((-6)/(-8))/(2/8). Solve -p*h = -l*h + 20 for h.
-5
Suppose 0 = -2*h + 9*h - 28. Solve -h*m = -m + 12 for m.
-4
Suppose -6*w + 2*b = -8*w + 12, 4*b = -12. Solve 2*d - w = -d for d.
3
Let i = -78 + 80. Suppose -4*x - i*a - 6 = 0, 0*a = 2*x + 4*a + 18. Solve -s + x = -2*s for s.
-1
Let j = -272 + 277. Solve -3 = j*q - 4*q for q.
-3
Let r be (-4)/(-14) + (-16)/56. Let u(k) = k - 6. Let y(h) = -h**3 - 6*h**2 + 6*h + 3. Let z be y(-7). Let b be u(z). Solve b*w - 8 = -r*w for w.
2
Let y(z) = -94*z + 14 + z**2 + 105*z + 4. Let j be y(-10). Let l be j/(-6)*-3 - 3. Solve 4*w = 17 - l for w.
4
Let d be (-9)/((-63)/(-49)) + 7. Solve d = k - 0 - 0 for k.
0
Let c(v) be the third derivative of -v**6/120 + v**5/10 - 7*v**4/24 - 2*v**3/3 - 5*v**2. Let l be c(4). Suppose l = 2*n + 4*n - 24. Solve m + 9 = n*m for m.
3
Suppose 7*x + 3*f = 2*x - 12, 0 = 2*f + 8. Suppose 5*m - 8*m + 6 = x. Solve 0 = 3*y - m*y + 1 for y.
-1
Let h be (336/30)/(4/10). Solve -27 = -n - h for n.
-1
Let g = 633 - 623. Solve 5*t - 10 = -g for t.
0
Let q = -5 - -9. Suppose 6 = 3*c, 4*o - 5*c - 10 = -2*c. Suppose 0 = 2*d - o*u - u - 15, -6 = 2*d + 2*u. Solve -q = -a - d for a.
4
Let o(b) = -b**3 - 3*b**2 - 5*b - 1. Let d be o(-4). Let s = d + -32. Suppose -4*a - 12 = 0, 3 + s = 4*k + 2*a. Solve k + 22 = 5*v for v.
5
Let j(w) = w + 12. Let r be j(-13). Let v be (-4)/(-6)*-12*r. Suppose -4*g = -3*b - v*g + 44, 0 = 5*b + 2*g - 64. Solve 2*f = -2*f - b for f.
-3
Suppose 66*i = 63*i - 24. Let f be -1 - 1 - (6 - (-120)/i). Solve 6*s = f*s - 2 for s.
2
Let d = 1777 - 1738. Solve -27 + d = -4*i for i.
-3
Let u(h) = -2*h - 2. Suppose -s + d = 0, 6*s + 15 = 3*s - 2*d. Let p be u(s). Solve 0*t = -p*t for t.
0
Let k = 13 - 28. Let r be 411/27 + (-2)/9. Let u = r + k. Solve 0 = 4*n - u*n - 12 for n.
3
Suppose 16 = -4*n + 4. Let s(g) = g**3 + 3*g**2 + g + 1. Let j be s(n). Let p be 16/4 - j/(-2). Solve 0 = -p*i + i - 2 for i.
-1
Suppose -10*q - 11*q = -294. Solve -q - 16 = 10*f for f.
-3
Let v(p) = -7*p**2 - 21*p + 13. Let z(i) = 10*i**2 + 31*i - 20. Let s(m) = 7*v(m) + 5*z(m). Let w be s(-9). Solve 3*h = -w*h for h.
0
Let j = -120 - -127. Suppose 19 - 47 = -j*h. Solve 5*u = h*u - 4 for u.
-4
Let c(n) = -n**3 - 6*n**2 - n - 1. Let o be c(-6). Let w = 91 - 211. Let j = -115 - w. Solve -5*v = -j - o for v.
2
Let b be 3 - (1*-1)/1. Let m = -14 + 26. Let k be (-18)/m + (-18)/(-4). Solve b = -k*c - 5 for c.
-3
Let v = 1 + -1. Let r = 15 - 10. Suppose -2*n = 1 - r. Solve -n = -s - v for s.
2
Suppose -3*z - 15 = 3*r, 2*r - 7*z = -3*z + 20. Let x(d) = -2*d - 4. Let p be x(-3). Solve 0*l - p*l = r for l.
0
Let a be (56/(-3))/7*(-3)/2. Solve i + a = 3*i for i.
2
Let g be 6 - (19 + -9 - 4). Solve g = -137*s + 143*s + 24 for s.
-4
Suppose 0 = -5*l + 5*i + 30, -4*l + 27 = l - 4*i. Suppose 6 = r - l*n, 0*r - 3*n = 3*r - 6. Solve -5 = -2*z + r*z for z.
-5
Suppose 2*j = -12 + 36. Solve -j*m + 7*m = -25 for m.
5
Let i(y) be the second derivative of y**5/20 - 7*y**4/12 - 4*y**3/3 + 2*y. Let u be i(8). Let x(j) = -j**2 + 2*j + 2. Let d be x(u). Solve -b = b - d for b.
1
Suppose 0 = -l - 2*c + 8, -4*c = 1 - 13. Solve 8*i - 18 = l*i for i.
3
Let k be 335/20 + (-42)/56. Solve -2*a = 2*a + k for a.
-4
Let z = 144 + -125. Solve 23*i - 4 = z*i for i.
1
Let j be ((-1)/(-5))/(4/140). Solve -j = -3*u - 4 for u.
1
Suppose 3 = 14*m - 25. Let p be 0 - 1 - -6 - m. Solve -b = p*b + 4 for b.
-1
Let g(a) = 33*a**3 + a - 1. Let s be g(1). Solve s = -3*z + 21 for z.
-4
Let m(x) = -x**2 + 11*x + 6. Let h be m(11). Suppose 16 = h*g - 8. Suppose 0 = l, -5*t + 2*l + 6 = -g*t. Solve -t*s - 15 = -s for s.
-3
Let q = 0 + 2. Let z(r) = -r**3 + 23*r**2 + 24*r - 2. Let p be z(24). Let t be 4/(5 + -5 - p). Solve -q*f = t*f for f.
0
Suppose 17 = 4*k - 3*l, -2*k - 4*l - 11 = -5*k. Suppose -59*d - 10 = w - 54*d, w - 3*d - 14 = 0. Solve w*b = -0 - k for b.
-1
Suppose t + 0*t = 0. Let l = t - -9. Let j be ((-8)/(-24))/(1/6). Solve -q - j*q + l = 0 for q.
3
Let x(a) be the first derivative of a**2/2 + 4*a - 3. Let q be x(-4). Let b = 85 + -83. Solve b*y + 3*y = q for y.
0
Let c(g) be the third derivative of -g**6/120 + 2*g**5/15 + g**3/3 - g**2. Let t be c(8). Solve 1 = -m + t for m.
1
Let m(i) = i**2 - 1. Suppose -w - l + 4 = -0*l, -4*w + 16 = 3*l. Suppose -1 = -5*y + w. Let j be m(y). Solve -2*b + 0*b + 2 = j for b.
1
Let j(v) = v**3 + 5*v**2. Let w(l) = -3*l**3 - 11*l**2 - l + 1. Let g(f) = 5*j(f) + 2*w(f). Let y be g(2). Solve i - y*i = 1 for i.
-1
Let s(y) = y**3 - 38*y**2 + y - 35. Let p be s(38). Let o = -1 + 17. Solve 0 = p*r + r - o for r.
4
Let o be (-2)/(-4 - -6)*10. Let a be (6/o)/((-4)/80). Suppose -a = 2*g - 4*g. Solve 2*k - 20 = g*k for k.
-5
Suppose 9 = 2*k - q, -5*q - 10 = -5*k + 10. Let r be (-4)/2 - k/(-1). Solve -4*o + r + 5 = 0 for o.
2
Let c be -5*9/(-6)*(-28)/(-42). Solve 0 = -2*q - 3*q + c for q.
1
Let r(g) = g**2 - 17*g + 56. Let j be r(13). Suppose -15*l - j*l = -95. Solve 0 = 2*n - l - 1 for n.
3
Suppose -4*u = -14 - 2. Suppose 2*m - 2 = -2*n, -4 = u*n + n - 4*m. Solve -3*d + 2*d + 2 = n for d.
2
Let z(c) = c**2 + 2*c + 1. Let a be z(-3). Suppose -a = -u +