Let b be p(-14). Let i be (-2)/(-2) - (1 - 2). Solve 0 = -b*c + i + 1 for c.
1
Let l be -3 - -4*(-3)/2. Let n = -5 - l. Let v be (n - -2)/((-12)/(-16)). Solve -v = 4*z + 4 for z.
-3
Suppose 2*h + 0*w = -2*w - 6, 0 = 3*h + 4*w + 14. Solve 12 = -h*q + 2 for q.
-5
Suppose 2*i - i = 7. Suppose 1776*k + 14 = 1783*k. Solve -k*y = -i*y + 5 for y.
1
Let a(q) = -4*q**2 + 2*q + 2. Let s be a(2). Let o be (8/s)/(2/(-5)). Solve -5 = 3*v - o*v for v.
-5
Let b be 1*-4 - 90/(-9). Suppose -b*x = -2*x - 4. Solve 0 = 3*t + 5 + x for t.
-2
Let w be -9*((-5)/3 - -1). Let m = -2158 - -2161. Solve -m*g = -g - w for g.
3
Let u be (-6 - -1)/((-5)/6). Suppose u*n = -n + 21. Solve -f + 8 = n*f for f.
2
Let d = 11 + -21. Let t(w) = w**3 + 9*w**2 - 12*w - 17. Let m be t(d). Solve -m*r + r = 2 for r.
-1
Let w be ((-24)/15)/((-26)/325). Solve -w*p = -15*p + 25 for p.
-5
Suppose -5*w + 469 = 6*q - 3*q, 4*q - 608 = 2*w. Solve -q*p + 156*p = 6 for p.
2
Suppose 0*w - 2 = 2*d - 4*w, 5*d - 4*w = 7. Suppose 2*t - 3*s + 5 + 0 = 0, -3*t = 4*s - 18. Let c be (3/d)/(t/10). Solve -v + 20 = -c*v for v.
-5
Suppose 2*i - 3*s + 9 = -2*i, -s + 3 = 0. Solve -d - 2 = -i*d for d.
-2
Let t(b) = 1212 - 1172 + 5*b + b + 3*b. Let s be t(-4). Solve -s*m = m - 5 for m.
1
Suppose -23 = 3*l - 29. Let b be l*(-1)/(-12) + 5/(-30). Solve -4*m + 5*m = b for m.
0
Let f be 0 - (1 + -3 - -1). Let r be -5*f*4/(-10). Let t = -43904 + 43907. Solve -10 - r = -t*q for q.
4
Let b(u) = -4*u**3 - 19*u**2 - 7*u - 15. Let a(z) = -z**3 - 6*z**2 - 2*z - 5. Let n(h) = 7*a(h) - 2*b(h). Let t be n(5). Solve 7*x - 2*x - t = 0 for x.
4
Let x(k) = 2*k**2 + 25*k - 29. Let s be x(-14). Solve s*v = -9*v - 66 for v.
-3
Suppose 12 = 26*w - 14*w. Solve w = -2*l + 3 for l.
1
Suppose -11*n + 10*n = 2. Let b be 3 - ((-2)/n + -2). Solve -b*o + 12 = -o for o.
4
Let s(k) = -k**3 + 8*k**2 - 7*k + 8. Let g be s(7). Let f be 1/((7 + -3)/g). Solve f*x = -x for x.
0
Let h = 6 + -2. Let l = -22 - -19. Let j = l + h. Solve 0 = -5*d - 16 + j for d.
-3
Let k = 8 - 4. Let u be (-17)/(-4) - -6*4/(-96). Solve -u + 0 = k*h for h.
-1
Suppose 5*n - 115 = -5*d, 3*n - n = -d + 44. Let q be 7/(n/9) + 0. Solve q = 4*f - 1 for f.
1
Let f(y) = -y**3 + 8*y**2 - 8*y + 8. Let k be f(6). Let i be -1 + -3 - 21/(-3). Suppose -5*t - i*a = -48 - 32, -2*t + a = -k. Solve -n + t = 3*n for n.
4
Suppose 8*q + 143 = -3*c + 4*q, 2*q + 10 = 0. Let s = c - -45. Solve -s*p = p for p.
0
Suppose 0 = -5*b - 5*j + 15, -28 = -5*b - 4*j - 9. Suppose -2*a - c = -31, 6 + 8 = 3*a - 5*c. Let m = -8 + a. Solve -4*g - m = b for g.
-3
Let z(o) be the third derivative of o**6/120 + 2*o**5/15 - o**4/2 - 19*o**3/6 - 6*o**2. Let f be z(-9). Solve p = -p - f for p.
-4
Let g = 142 - 140. Suppose -g*n - d + 4 = 0, 11*d + 5 = -n + 7*d. Solve 0 = -n*o - o - 12 for o.
-3
Suppose 7 - 3 = -2*o. Let b be o*4*1*5/(-20). Solve -b*h + h = 1 for h.
-1
Let b be -2 + -2 + 3 - -4. Suppose -7*l + 6 = -d - 5*l, 3*l = 3*d + 9. Solve d*o + 6 = -b*o for o.
-2
Let r be -1 + (-3)/(-2) - (-648)/144. Let d be 20/3 - (-4)/(-6). Suppose 4*w + w - 45 = 0. Solve -r*j + d = -w for j.
3
Let q(x) = 30*x - 270. Let p be q(9). Solve 0 = 12*m - 24 - p for m.
2
Let h be (1 + -3)/((-1)/2). Suppose 0 = p - h*p. Suppose -w - 4*w + 10 = p. Solve -w*s = 2*s - 8 for s.
2
Let y be -6*(-3)/(-6)*(3 - 4). Suppose -y*l + f - 3 = 0, -4*l + 0*f - 15 = -5*f. Solve 4*v = 16 - l for v.
4
Let a(y) = -2*y**2 - 10*y - 12. Let h be a(-3). Suppose 0 = -3*j + 3*t + 21, 5*j + t - 8 = j. Solve -j*i - 1 + 13 = h for i.
4
Let z be 3/(-12) + 28/(-16) + 22. Let x(s) = s**3 - 2*s**2 - 2*s - 3. Let a be x(3). Suppose a = -10*p + 5*p + z. Solve -3*l - p = 2 for l.
-2
Let s(q) = q**2 - 8*q - 7. Let n be s(9). Suppose -n*m + 24 = -g + 3*m, -20 = -4*m. Solve 0 = 2*d + 3 + g for d.
-2
Suppose -o = -11*o + 30. Solve v - o*v = -4 for v.
2
Let w(o) = -5*o**3 - o**2 + 2*o + 3. Let n be w(-1). Suppose -2*z - 2 + 4 = 0. Solve h = z - n for h.
-4
Let k(r) = -r**2 - r + 2. Suppose 10*p - 6 = 4*p. Suppose 3*n + 5*m - 5 = 0, -2*n + 5*m + p - 6 = 0. Let u be k(n). Solve 6 = -2*y - u for y.
-4
Suppose 6*i = i + 30. Suppose 2*x - 3 = x. Suppose 4*q - x*q - i = 0. Solve -4*c + 14 + q = 0 for c.
5
Let c = 330 - 305. Solve -5*u + 0*u = -c for u.
5
Let x = -4 + 9. Let n(c) = -c**3 + 9*c**2 - 7*c + 13. Let a be n(8). Suppose x*d - 9 - a = 0. Solve 1 - d = -o for o.
5
Suppose -8*b = -4*b + 208. Let h = b + 57. Solve 5*u + h = -10 for u.
-3
Let t = 19 - 21. Let v be 990/27 + t/3. Let u be ((-10)/4)/((-6)/v). Solve -5 = -4*b + u for b.
5
Let i = -105 + 125. Suppose -10*t + i*t = 140. Solve 5*p + 11 = -t for p.
-5
Suppose 4*p + 20 = -0*c - 4*c, 0 = 3*c - 6. Let n be ((-20)/p)/(2/7). Suppose -l - n = -3*q, 2*q = 4*l + 6 + 4. Solve -q*t + 4*t = 1 for t.
1
Let p be 14/4 + 1/(-2). Suppose -p*k + 2*x - 31 = -0*x, -69 = 5*k + x. Let o = -7 - k. Solve 3*c - o = 6*c for c.
-2
Let f be (1 - 0)/(-1) - -1. Suppose 5*t - 4*t = f. Solve -3*w + 9 + t = 0 for w.
3
Let l(k) = -k**3 - 7*k**2 - 4*k - 4. Let u be l(-3). Let i = u - -34. Solve -i*q + 2*q = 4 for q.
-1
Let k = 1734 - 1730. Suppose -3*d - 5*s = 2*d - 25, 0 = -3*d - 2*s + 13. Solve m = -d + k for m.
1
Let r = -223 - -262. Solve 5*l - r = -14 for l.
5
Let p be (-2)/(-3) + 31*(-4)/(-12). Let z = p - 8. Solve -z*x = -x - 10 for x.
5
Let k be (8/3 + -1)/(26/78). Suppose 6*a - k*a = 7. Solve a = 4*z - 1 for z.
2
Let i = -44 + 65. Suppose 0 = 2*m - i + 1. Suppose -5*k + m = 4*l, 3*l = 7*l + 2*k - 4. Solve l*d = -2*d - 8 for d.
-4
Let y(g) = -5*g. Let i be y(1). Let l be (-6)/(-3) - (i - -2). Let a = 14 + -9. Solve l*z + 0 = -a for z.
-1
Let o be 1 + 0/2 - 1. Let y(w) = -w**3 + 18*w**2 - 17*w + 2. Let g be y(17). Suppose -g*r + r = o. Solve -4 = -i - r for i.
4
Let f = 403 - 383. Solve -4 = 4*b - f for b.
4
Let j(u) = u**3 + 5*u**2 + 4. Let x be j(-5). Let a(n) = 2*n**3 + 53*n**2 + 25*n - 26. Let y be a(-26). Solve x*w + w + 25 = y for w.
-5
Let x = -37 + 42. Suppose 0*q = x*q - 10. Suppose q*p + 2*d + 2 = -d, 0 = -3*d - 6. Solve -p*f - f = 0 for f.
0
Suppose 5*p = -g + 22, -10*p + 6*p + 8 = -4*g. Suppose -3*m + 3 = -4*m + h, 0 = -p*m + 5*h - 17. Solve m*l + 2*l = 16 for l.
4
Let y be (-9)/3*1/(-3). Suppose -y = -2*t + 29. Solve -5*s - t = 10 for s.
-5
Let u = 164 - 131. Suppose -t = -5*n - 3 - u, 1 = t + 2*n. Solve 0 = -13*o + t*o - 4 for o.
-2
Suppose -21*n = -26*n + 45. Let y be (-4)/(0 + 1/2). Let q = n + y. Solve 3 - q = -2*z for z.
-1
Let w(n) = -n**2 - 7*n. Suppose -26 = 4*k + g - 3*g, 0 = -3*k - 5*g - 26. Let m be w(k). Suppose m = -0*u + 4*u - 36. Solve 24 = 3*f + u for f.
5
Let n(f) = -f**3 + 8*f**2 - 6*f - 3. Let b be n(7). Suppose -2*x - 258 + 276 = 0. Solve x*y = b*y + 5 for y.
1
Let m = -2 + 2. Suppose -o + 2 = -m*o. Let t be ((-18)/10)/(18/(-90)). Solve -t = -w - o*w for w.
3
Let x = -3 - -8. Suppose 0 = -x*l + 11 - 1. Suppose 5*s - 15 = l*s. Solve 0*g = -s*g + 20 for g.
4
Suppose -13*p = -3*p. Suppose 2*u + 4 = n, p*u = 2*n + 5*u + 10. Solve 0 = -5*o - n*o + 10 for o.
2
Let f = 489 - 486. Solve f*k = 8*k for k.
0
Let w = 399 + -393. Solve -2*n + w*n = -12 for n.
-3
Let v(b) = -b**3 + 9*b**2 - b + 11. Let c be v(9). Let d(k) = -k**2 - k + 4. Let y be d(-3). Let l be 0 - y - (2 + -3). Solve l*r + c*r + 10 = 0 for r.
-2
Let d(u) = u + 10. Let k be d(-8). Suppose 4*w - 8 = 0, w + 46 = k*i + 2*i. Suppose 0*b - i = -4*b. Solve -14 = -b*l + 1 for l.
5
Suppose 3*c - 12 = 12. Suppose 2*n = 0, -2*n + c = 4*t - 6*n. Solve -t = -3*x + 1 for x.
1
Let i be 0/(-3 - (-2 + 1)). Suppose 5*h - 5*r - 30 = 0, 0*r + 24 = 4*h + 2*r. Let b(q) = q**2 - 3*q - 10. Let s be b(h). Solve 2*x + s = -i*x for x.
-4
Suppose h + 5 = -0*q + q, -3*q - 2*h + 10 = 0. Suppose 10 = 5*w, 4 + 2 = -2*t + 5*w. Suppose 4*c - 16 = -t*m, -14 = -q*c + m - 4. Solve c*k = 7 - 22 for k.
-5
Let a be 4/(-7) - (-60)/7. Let v = a - 5. Suppose v*c = c + 32. Solve 0 = -3*b - b - c for b.
-4
Let a = -633 - -635. Solve -6*c + 14 = a for c.
2
Let z = -202 - -207. Solve -z*u + 24 = u for u.
4
Suppose 0*g - 2*g + 3*i = -39, -4*g = i - 43. Solve -9*t = -5*t + g for t.
-3
Let k be (-21)/(3*(-2)/4). Suppose 187 = 5*f - 3*t + 12, 58 = f + 4*t. Suppose k = -3*x + f. Solve 4*o - 12 = x for o.
5
Let w(x) = 1 + 2 - x**2 + 9*x - 3 + 4. Let a be w(9). Suppose -4*q = q + 3*p - 12, -3*q = -a*p - 1