 q = 6, 0 = 2*z - 5*c - 13. Suppose 0 = -p - 2*f - 1 + 7, -5*f = -z*p - 2. Solve -a - p*a = 0 for a.
0
Let k = 182 - 180. Solve 6 = -k*q + 10 for q.
2
Let m(u) = 7*u**2 + u - 11. Let h(j) = -3*j**2 + 5. Let o(a) = 5*h(a) + 2*m(a). Let f be o(3). Solve l - 2 = -f*l for l.
2
Let s(a) = a**2 - 7*a - 24. Let h(z) = z**2 - 8*z - 23. Let o(c) = -7*h(c) + 6*s(c). Let t be o(15). Solve 6*l - 20 = t*l for l.
5
Let d(h) = h**2 + 10*h - 9. Let s be d(-9). Let z be (s/21)/(10/(-35)). Solve z*b + 2*b - 15 = 0 for b.
3
Let x be (-60)/7*7/(-2). Let o = x - 20. Suppose -4*n = -2*f + 44, 9*f + n = 4*f + 77. Solve -o*t = -6*t - f for t.
4
Let l(t) = -t**3 + t**2 + 5*t - 6. Let h be l(2). Solve 0 = -h*o + 6*o for o.
0
Let v(d) = -d**2 + 12*d - 29. Let z be v(7). Solve -z = -r - 2*r for r.
2
Let y be 1*(2/9 - 92/414). Solve y = -q + 14 - 13 for q.
1
Let y(m) = -m**3 + 5*m**2 - 4*m + 4. Let a be y(4). Let d be 77/14 - 6/a. Suppose 0 = 2*w + 4, d*g + w = -0*w + 58. Solve -6*k + g = -k for k.
3
Let j = -605 - -605. Solve 5*i - 5 + j = 0 for i.
1
Let x = -495 + 500. Solve 1 = -3*a - x for a.
-2
Let v(o) be the first derivative of o**3/3 + o**2 - 35*o - 15. Let g be v(-7). Solve u = -g*u for u.
0
Let p = 1 + 4. Suppose 0*b - 16 = 2*b - p*q, 0 = -3*b - q + 10. Let f be (1 - -2)/(3/b). Solve 2 = f*i - 8 for i.
5
Suppose 5*c + 47 = 16*o - 17*o, -2*o + 5*c - 94 = 0. Let f = 51 + o. Solve -f*b - 25 = b for b.
-5
Let s(i) be the first derivative of -i**3 + 19*i**2/2 - 4*i - 2. Let v be s(6). Solve -5*k - 6 = -v*k for k.
-2
Let c be (-2 - -1) + -2 + 4 + 1. Solve c*x = 7*x + 25 for x.
-5
Let n be 3/9 - (-22)/6. Let r be 3 + (n - 5) + 3. Suppose 0 = -r*c + 4*o + 27, 3*o = -2*c + c - 6. Solve -5*x - c = 17 for x.
-4
Let r = -29 + 42. Suppose -8*f = -r*f + 10. Suppose y + n = f*n + 7, 3*y + n = 9. Solve -v = -y - 1 for v.
5
Suppose 5*r - 90 = -4*s - 25, 0 = -5*r - 2*s + 55. Let t = 12 - r. Suppose -o - 5*g = -g - 4, t = -4*o + 3*g. Solve o = -u - 2 for u.
-2
Suppose j = -j + 10. Let t(f) = 4*f - 17. Let y be t(j). Solve 0 = -y*w - w - 20 for w.
-5
Let s = 2979 + -2974. Solve 2 + 18 = -s*f for f.
-4
Let o be -1 - -37 - (5 - 12). Solve o = -6*l + 13 for l.
-5
Let y = 242 - 234. Solve -10*s = -2*s - y for s.
1
Suppose -5*j = -3*u + 40, 4*u + 2*j - 108 = -u. Suppose 6*i - u - 28 = 0. Solve -2 = -3*n - i for n.
-2
Suppose 0*u + 20 = -u + 4*m, m - 5 = 2*u. Let t = 6 - u. Let q = -4 + t. Solve -2*y - q = 6 for y.
-4
Let g be -9 - (11/11 - 12). Solve 19*p - g*p = -85 for p.
-5
Let y be (-1176)/(-189) - 2/9. Solve -y*p = -16 - 2 for p.
3
Let f(x) = -x. Let w be f(-3). Let y be 8*((-2)/8 - 3/(-6)). Solve y*d - w*d = 0 for d.
0
Let u = 931 + -916. Solve -u = g - 4*g for g.
5
Let r = -4 + 6. Let a be 2/((r + 1)/9). Let d(n) = n**2 - 6*n + 5. Let p be d(a). Solve p = -4*w - 7 for w.
-3
Let c(d) = d**2 - 9*d - 4. Let g be c(10). Let r = g - 6. Solve -2*t + 3*t = r for t.
0
Let w = 53 - 21. Suppose 0 = 21*g - 17*g - w. Solve -5*j = 33 - g for j.
-5
Let t(d) = -d - 8. Let m be t(-20). Solve m = -3*x - 3 for x.
-5
Suppose -3*k + 7*k = 8. Solve v = k*v + 2*v for v.
0
Let w = -72 - -2. Let l = w - -70. Solve -3*s + 0*s - 9 = l for s.
-3
Let t(u) = u**3 - 14*u**2 + 31*u - 68. Let x be t(12). Solve -20*k + x*k = -16 for k.
4
Let u = 442 - 442. Solve g + g - 10*g = u for g.
0
Let x be -3*2/(-30) + (-126)/(-45). Solve x*g + 12 = -0 for g.
-4
Let s(g) = 6 + 5*g - 9*g + 8 + 5*g. Let o be s(-8). Solve y - o = -3 for y.
3
Let a(x) = x + 7. Suppose -19 + 7 = -4*n. Suppose p = -2*y - 15, 2*y - n*y = 5. Let m be a(p). Solve 2*w + m*w = 12 for w.
3
Suppose -67*z + 62 = -65*z. Solve 0 = -3*a + 25 - z for a.
-2
Let j = -155 - -164. Solve 11 = -d + j for d.
-2
Let q be 1/3 - 1/3. Suppose 217*m - 240 = 193*m. Solve -3*c + c + m = q for c.
5
Let j be ((-8)/(-14))/((-4)/(-14)). Suppose 9 = 4*v + t, j*v - t + 8 = t. Solve v = 2*r - 3 for r.
2
Let x(r) = 28*r + 228. Let f be x(-8). Solve 0*p = 11*p + f*p for p.
0
Suppose -9*c = -16*c. Solve 4*n + c*n = 0 for n.
0
Let x(t) = -20*t - 132. Let p be x(-7). Solve 0 = -4*b + p for b.
2
Let j(i) = -5*i - 27. Let z be j(-10). Solve -z + 37 = -7*k for k.
-2
Let y(i) = i**3 - 2*i**2 - 4*i + 1. Suppose 5*v - 7 - 13 = 0. Let p be y(v). Solve -4*d = -p - 3 for d.
5
Suppose -19 = -4*q - 5*l + 6*l, -5*q = 2*l - 40. Solve 2*r - q = 4*r for r.
-3
Suppose 2*l + q + 3*q = -32, 4 = 2*l - 5*q. Let y be (5 + 1)*l/96*-10. Solve y*n + 3 = -2 for n.
-1
Let g be -488*(-7)/672 + 2/(-24). Solve -g = -12*n - 53 for n.
-4
Let t(j) be the third derivative of j**6/120 - j**5/60 - j**4/24 + j**3/2 - 91*j**2. Let p = 0 - 0. Let x be t(p). Solve -x*y - y - 8 = 0 for y.
-2
Let x(m) be the first derivative of -m**4/4 + 7*m**3/3 - 5*m**2/2 - 5*m - 6. Let h be x(6). Let g = h + 1. Solve -g*z = z - 9 for z.
3
Suppose -2*s + 7 = -259*v + 262*v, 4*s = -2*v - 6. Solve v = -3*x - 7 for x.
-4
Let d(s) = -s**3 + 5*s**2 - 5*s + 22. Let k be d(3). Solve -7*p = k + 3 for p.
-4
Let r be (-80)/6*(-6)/5. Let i = r + -12. Suppose i*t - 17 = 3. Solve t*s + 0*s = 5 for s.
1
Let v be (-4 - (-100)/15)/(1/9). Suppose 10 = -2*w + v. Solve 0 = -2*y + w*y + 5 for y.
-1
Let l = 12 + -10. Let j be (4/12)/(1/3). Solve 3*b - l*b - j = 0 for b.
1
Let r(t) = -2*t**2 + 3*t + 13. Let l(f) = -f**2 + 2*f + 7. Let n(i) = 5*l(i) - 3*r(i). Let o be n(-3). Solve -y + o*y = -4 for y.
-4
Suppose 0*d = 6*d - 30. Suppose -4*h + 5*r = -h - 25, 3*h = -2*r + 11. Solve -5*j - h - d = 0 for j.
-2
Suppose 2*b = 4*x - 532, 84 - 596 = -4*x - 3*b. Let k = -128 + x. Solve k*v - v - 8 = 0 for v.
4
Let f(y) = y - 1. Let g be f(6). Let p(h) = -1 - g*h + 11 + h + 3*h. Let u be p(7). Solve -4*k + u = 19 for k.
-4
Let d be (4/(-10))/(2/(-10)). Let c(w) = 2*w**2 + 107*w - 51. Let z be c(-54). Solve p - z = -d*p for p.
1
Suppose 44 + 61 = 5*l. Suppose 10*c - l = 3*c. Let j be c + 1 - 2*1. Solve -o = -j*o + 2 for o.
2
Let h(k) = -k**3 - 7*k**2 + 23*k - 14. Let f be h(-10). Solve -5*r + f = 51 for r.
1
Suppose -3 - 5 = -j. Suppose -3*b = -7*g + 3*g - 6, 2*g - 4*b = -j. Solve g = 5*u - 6*u + 5 for u.
5
Suppose -8*l + 20 = -4*l. Suppose -6 = 3*g - l*g. Suppose g*m - 2*m - 15 = 0. Solve 0 = -3*d - 0*d - m for d.
-5
Let r = 160 - 157. Let n = 5 - -2. Let x = n + -4. Solve x*b + r = -0 for b.
-1
Let r(s) = 6*s + 44. Let t be r(-6). Suppose 3*i + b + b - 13 = 0, -t = -4*i + 2*b. Solve -i*g = -g + 10 for g.
-5
Let z(m) = m**3 + 8*m**2 - 12*m - 17. Let n be z(-9). Suppose 3*d = -n + 19. Solve -4 = -d*h + 11 for h.
5
Let o(u) = 2*u**3 + 19*u**2 - 20*u - 32. Let r(t) = t**3 + 10*t**2 - 10*t - 16. Let j(g) = 3*o(g) - 5*r(g). Let m be j(-8). Solve m*x = 4*x - 4 for x.
1
Let y = 187 - 185. Solve -y = 3*z - 5 for z.
1
Let a = 5 - 23. Let v = a - -10. Let x be -6*(2 + v/3). Solve -5*m - 21 = x for m.
-5
Let w(n) be the second derivative of n**3/3 + 2*n**2 + 14*n. Let q be w(2). Solve 0 = -t - t - q for t.
-4
Let q = 138 + -126. Solve -17*u = -14*u + q for u.
-4
Let r be (0 - (-15)/12)*4. Solve 0*b = -b - r for b.
-5
Let x be 3 + -2 - (5 - 8). Let z(n) = 2*n**3 - 4*n**2 + 2*n + 1. Let j be z(2). Solve -7 = x*d + j for d.
-3
Suppose 0 = -5*l - 808 + 883. Solve 2*a = 7*a + l for a.
-3
Let v be (-14*7/28)/((-2)/4). Solve -v*r + 0 - 28 = 0 for r.
-4
Suppose 4*h + 7 = 143. Suppose 8 = h*s - 30*s. Solve 3 = -z + s for z.
-1
Let q = 130 + -127. Suppose 0 = -5*y + 4 + 51. Suppose 0 = 4*a - 4, -2*u = 5*a - y - 4. Solve -q*x - 4 = u for x.
-3
Suppose 4*b - 2*b + 14 = 0. Let k = b + 10. Let c(i) = -2*i - 10. Let l be c(-6). Solve 13 - k = -l*d for d.
-5
Let i(y) = -y**3 + 7*y**2 + 10*y - 8. Suppose -4*r = 3*a - 66, 2*a + r - 57 = -a. Let m = -10 + a. Let f be i(m). Solve f + 7 = -5*u for u.
-3
Suppose 12*v - 209 = 619. Solve -14*q + v = 13 for q.
4
Let n = -392 - -404. Solve 7 = -w + n for w.
5
Let q(w) = w + 7. Suppose -15 = c + 4*c. Let i be q(c). Solve 0 = 4*b - 8*b - i for b.
-1
Let g = -58 + 96. Let m = 54 - g. Let d be (-1 + 1)*(-2)/4. Solve -5*a - m - 9 = d for a.
-5
Suppose -7*b + 5*b = 8. Let w be (b + (-16)/(-4))/(-2). Solve 0 = 3*p - w*p + 6 for p.
-2
Let t(w) = w**3 + 3*w**2 - 7*w - 10. Suppose 0 = -3*z + 2*z - 4*u + 16, -4*z + u - 21 = 0. Let k be t(z). Let g be k/3*12/8. Solve q = -g - 1 for q.
-2
Suppose -13 + 5 = -4*i. Suppose -3*p + 4*r = 6*r - 10, -3*r - 11 = -i*p. So