4*c + 250, -2*c - 30*i + 32*i + 132 = 0. Solve 0 = -5*p + 59 - c for p.
-1
Let p(f) = -8*f - 7. Let a be p(-6). Let y = a + -25. Let j = -1 - -3. Solve j*d + 2*d + y = 0 for d.
-4
Let h(i) = 4*i - 26. Let b be h(7). Let r be (-480)/(-78) - b/13. Solve -2*q + 4 = -r*q for q.
-1
Let o = -74 - -82. Suppose o*a = 4*a. Solve -z = -a*z for z.
0
Let s(d) = d**3 - 5*d**2 + 5. Let n be s(5). Suppose -16 = -h + 3*x, -9 = -3*h - 7*x + 3*x. Suppose 0*c = h*c - 14. Solve -c*l = -l + n for l.
-5
Let h = -15 + 24. Suppose -18 + 18 = -10*g. Suppose h*v - 4*v - 5 = g. Solve 0 = l + 3 + v for l.
-4
Let y be 28/4 + 2*-2. Solve y*h - 3 = 9 for h.
4
Let p(h) = -3*h**2 - 2 + 7*h**2 - h - 3*h**2 - 4. Let i be p(-3). Solve 1 = -m + i for m.
5
Let b(z) = -z**3 + 4*z**2 + z - 4. Let i be b(4). Solve i*r - 3 = -r for r.
3
Let n(j) = -2*j + 12. Let a be n(-8). Let g be 46/8 - 21/a. Solve -g - 7 = 3*w for w.
-4
Let x be (-3)/(-6)*96/(-6). Let w(c) = -c**2 - 6*c + 19. Let o be w(x). Let f = -3 - -7. Solve 0 = -o*v + f - 1 for v.
1
Suppose 5*g - 36 = 2*l + 75, 4*g - 96 = -2*l. Let q = g + -17. Solve -2*p + 4 + q = 0 for p.
5
Let u = 120 - 40. Suppose -5*h + u = 10. Solve 4*k - h - 2 = 0 for k.
4
Suppose 6*z + 60 = 9*z. Suppose -11*c = z - 75. Solve -4*a - 1 = -c*a for a.
1
Let s be -3 - (-1 - (-45)/(-5)). Suppose s = 8*u - 9. Solve -3*v + u*v = 0 for v.
0
Suppose -75 = 3*n - 4*n. Suppose 0 = 3*h + 4*a - 9*a - 61, 0 = 5*h + 5*a - n. Let c = h - 17. Solve v + v + 6 = c for v.
-3
Suppose 1789 = -32*g + 5501. Solve 0 = 118*c - g*c + 4 for c.
-2
Let z(f) = -f**2 - 14*f - 8. Let o = -44 - -31. Let u be z(o). Solve u = k + 2 for k.
3
Let n = 1 + -1. Suppose -4*o - 3*o = n. Let i be o/(-1 - 3) - -4. Solve j - i = -j for j.
2
Suppose -4*p + 87 - 67 = 0. Solve 5*n - p = -0*n for n.
1
Let y(d) be the second derivative of -d**6/720 + 5*d**4/12 - 2*d. Let w(t) be the third derivative of y(t). Let p be w(-6). Solve -5*x = -p + 1 for x.
1
Let b(x) = -x**3 + 9*x**2 - 4*x - 27. Let f be b(9). Let q be ((-3)/(-9))/((-7)/f). Solve q*j + 8 + 4 = 0 for j.
-4
Let n be 3 - 144/(-68) - 24/204. Solve 27 = -n*x + 32 for x.
1
Let b = -1832 - -1855. Solve 5*o + b = 3 for o.
-4
Let i(c) = -c**2 - 7*c - 8. Let k be (-1 + -4 - 0)/(-1). Suppose -5*f + 5*r - 15 = 0, k*f + 12 = -2*r - 17. Let d be i(f). Solve -1 - 5 = -d*n for n.
3
Let c be (-2 + (-8)/(-28))/(2/(-7)). Let z be (-3)/c*18*-1. Solve 3*h + 3 = -z for h.
-4
Let r(c) = -5*c**3 + 13*c**2 - 16*c + 10. Let u(t) = 6*t**3 - 13*t**2 + 17*t - 10. Let d(h) = 5*r(h) + 4*u(h). Let k be d(12). Solve k = -2*p - 0*p for p.
-5
Let o(r) be the third derivative of r**4/6 - 11*r**3/3 + 9*r**2. Let x be o(6). Suppose -c - 5 + 3 = x*a, 18 = 4*c - 5*a. Solve -2*i = c*i - 20 for i.
5
Let p be 1*(6 + 6/(-2)). Let v be (1/2)/(p/6). Suppose -a + v + 2 = 0. Solve -3*d = -a - 9 for d.
4
Suppose 7*q = 2*o + 4*q - 32, -5*o + 80 = 2*q. Suppose g - n - 5 = 0, 4*n = 3*g + 2*n - o. Solve -g*t + 10 = -t for t.
2
Let m(b) = -b**3 + 8*b**2 - 5*b - 12. Let a be m(7). Suppose -k = -2*k + a. Solve -3*c + k + 1 = 0 for c.
1
Suppose h + 5*h + 36 = 0. Let m(z) = 5*z**3 - 6*z**2 + z + 2. Let a(d) = d**3 - 1. Let w(k) = -6*a(k) + m(k). Let c be w(h). Solve 5*y + c = 12 for y.
2
Suppose -4 = 3*y - 2*p - 0, -y + 10 = 5*p. Suppose 0 = -3*j + 2*c + 10, c - 6 = -j - 3*j. Suppose j*z + 0 = 4. Solve 7*g - z*g - 15 = y for g.
3
Let o(t) = -5*t**3 + 3*t + 4. Let b be o(-2). Let n be b/14 + (-2)/(-7). Solve 5 = n*w - 4*w for w.
-5
Let c = 13 - 6. Let j(t) = 3*t - 7. Let f be j(c). Let d = f + -14. Solve d = -a - 0 + 1 for a.
1
Let t(b) = 14*b**3 - 13*b**3 + 10*b**2 - 11*b + 4*b**2 - 4*b. Let s be t(-15). Solve h = -s*h for h.
0
Let w(p) = 8*p**2 - 12*p + 10. Let s(k) = k**2 + k + 1. Let n(m) = -6*s(m) + w(m). Let u be n(9). Solve -9*c = -u*c for c.
0
Suppose 2*r = -5*z + 8 + 1, -5*z = 4*r - 3. Suppose h + 6 = z. Let b be -4 - (-1)/(h/(-75)). Solve -5*k - b = 4 for k.
-5
Suppose 3*f - 2*u - 19 = 10, -35 = -4*f - u. Solve 4*a - 3 = f for a.
3
Suppose 0 = -32*y + 27 + 933. Solve 0 = v + 5*v - y for v.
5
Let k = -320 + 320. Solve 6*p + 2*p - 16 = k for p.
2
Let d(j) = -j**2 + 4*j - 1. Let u be d(3). Let o(x) = x**2 - 3*x + 4. Let m be o(u). Solve -9 = -v - m*v for v.
3
Suppose 136*q - 1171 = 189. Suppose 0 = -4*h + 5 + 7. Solve -2*k - h*k + q = 0 for k.
2
Suppose c - 2 = -3. Let f be 1778/98 - c/(-7). Suppose 13 = -m + f. Solve 25 = -0*x + m*x for x.
5
Let u(t) = 3*t - 18. Let b be u(7). Suppose 4*f - 5 = b*l + 31, 0 = -2*l - 8. Solve -f*d = -d for d.
0
Suppose -2*j - 4 = 34. Let c = 18 + j. Let l be (-48)/(-12) - (c + 0). Solve -l*m = -m for m.
0
Let r be -9 - (0 - 4) - -9. Solve -5*m + 21 = -r for m.
5
Let t = 78 - 91. Let d = 17 + t. Solve -d*y = -6*y + 6 for y.
3
Suppose -2*h + 1 = 3. Let k be -9 + 8 - h*5. Solve -2*f - k = -0*f for f.
-2
Let g = 345 + -321. Solve -6*v + g*v + 90 = 0 for v.
-5
Let n(l) = -l**2 - 21*l - 34. Suppose -4*o + 46 = -2*h, o + 2 = 2*o. Let m be n(h). Solve -15 = m*a + 1 for a.
-4
Let q = 26 - -1. Let n = 30 - q. Solve 0 = -n*s + 2 + 10 for s.
4
Suppose 0 = -16*i - 7*i + 46. Solve -v - 7 + i = 0 for v.
-5
Suppose -a + 5*m = 8, 2*m = a + m. Suppose 0 = -a*l - 0. Solve l*u = 2*u + 10 for u.
-5
Let h(v) = v**2 + v - 3. Let b be h(-3). Suppose 41 = b*s - 1. Let w = s + -7. Solve 3*q - w = 2 for q.
3
Let m(l) = -30*l + 20. Let v be m(0). Let p be 1*-2 - (-4 + 0). Let u be 0*((-3)/p)/(-3). Solve u*a = -5*a - v for a.
-4
Suppose 2*u + n = -10, 4*u + n + 4 = 3*n. Let a be 4*(u - (-19)/4). Let y(o) = -o**3 + 14*o**2 + 3*o - 10. Let l be y(14). Solve l = 5*x + a for x.
5
Let y be 4*2 + -7 + 9. Suppose 2 = -4*k + y. Solve 0 = -0*z + z + k for z.
-2
Let n(w) be the third derivative of w**6/120 - 11*w**5/60 + 19*w**4/24 + w**3/2 + 4*w**2. Let m be n(9). Let r = -9 + m. Solve 5*u = -r - 12 for u.
-3
Let g = 6 - 4. Let w be 8 - (-1 - (-2 + 5)). Suppose -3*r = 3*s - w, 0 = 7*s - g*s. Solve 5 = -x - r*x for x.
-1
Let y(m) = -20*m - 14. Let w be y(-2). Solve w*g = 28*g + 2 for g.
-1
Let g be (-12 - -38) + (3 - -2). Let x = g + -11. Solve 0*t = 5*t + x for t.
-4
Let q be 58/841 + 4/(-58). Solve q = 31*s - 26*s + 15 for s.
-3
Let a(o) = o**3 - 13*o**2 + 13*o - 6. Let x be a(12). Let v be x*((-12)/9 + 2). Solve -v*w + 25 = w for w.
5
Let l = 2606 - 2590. Solve -39 = 11*f + l for f.
-5
Suppose 5*h + 46 + 74 = 0. Let t be -3 + 9 + 2/(-1). Let r be (-1)/(t/h - 0). Solve 5*v = r + 9 for v.
3
Let c be ((-16)/(-12))/((-4)/18). Let j = c - -10. Suppose -x - 6 = -j*r, 2*x - 29 + 5 = -r. Solve x = -o - o for o.
-5
Suppose 0*c + 3*c - 36 = 0. Let w = 144 - 79. Let v = w + -61. Solve -4*u - v = c for u.
-4
Let v be ((-2)/(-4))/((-15)/30). Let t be v/(-8 + 8 + (-1)/4). Solve 0 = -t*r + 6 + 14 for r.
5
Let w = 504 - 500. Solve w*y = 11*y for y.
0
Suppose -7*a + 6*a + 1 = 0. Suppose 3*w + a = -8. Let v be 2/(-3) + (-2)/w. Solve v = 3*d - 2*d - 4 for d.
4
Suppose -5*n + 2 = 4*k + 3, -8 = -5*k + 3*n. Let g be (-1 + k)*(-1)/(-2). Suppose -89*c + 21 = -27*c - 103. Solve -2 = -c*f - g for f.
1
Suppose -4*q + t - 22 + 93 = 0, -2*t = 4*q - 62. Solve -11*m + 18 = -q*m for m.
-3
Suppose 7*m - 104 = -62. Solve x = -m*x + 4*x for x.
0
Let j = 103 - 103. Suppose -l = -j*l + 4*c - 31, l + 2*c - 21 = 0. Solve -2*w = -3 + l for w.
-4
Suppose 170 = -4*x + 21*x. Solve 215*o = 210*o + x for o.
2
Suppose 2*l + 30 = 3*l. Let b = -25 + l. Solve -b*h - 13 = 2 for h.
-3
Let q be 203/((-19)/(-19) + 0/(-1)). Solve q*o - 202*o = 0 for o.
0
Let v be 4/(-8)*(0 - 6). Suppose w = v*w - 10. Let c be (2*9/(-6))/((-24)/16). Solve -7 = -w*h - c for h.
1
Let z = 81 + -138. Let j = -57 - z. Solve 5*n + j = -10 for n.
-2
Let o = -135 - -137. Solve o*l = -10 + 20 for l.
5
Let v be (-14)/(-4) - 12/(-8). Suppose 5*y = -v, -45 = -9*m + 4*m + 5*y. Solve -4*f + 0*f + m = 0 for f.
2
Let a be (5/1 - 1) + 2. Let g(j) = j**3 - 8*j**2 + 2. Let i(s) = s**3 - 9*s**2 + 2. Let q(f) = 3*g(f) - 2*i(f). Let d be q(a). Solve 2*l - l = -d for l.
-2
Let u be ((-3)/(-2))/((-20)/(-40)). Suppose -u*x + 6 = -9. Solve 0 = -0*h + x*h + 5 for h.
-1
Let r(y) = -1 - 5*y + 11 - 8*y - 2*y**2. Suppose -17*o - 108 = 11. Let m be r(o). Solve 3 = -m*z + 12 for z.
3
Let m = 1 + -1. Suppose 3*s = -3*j - 12, j + 8 = 5*s - j. Suppose s = -26*f + 25*f + 2. Solve m = -f*g - 6 for 