10)/c. Let i be (-24 - -12)*(-2)/8. Solve -i*d - d = -p for d.
1
Suppose 351*q = 328*q. Solve -18*u + 14*u - 8 = q for u.
-2
Suppose 8 = -3*h - h. Let k be -1*(-7)/(-2)*h. Suppose 2*d - 5 - k = -5*p, 0 = -d + p - 1. Solve 0*y = y - d for y.
1
Let g be 6/8 + (3718/88 - 24). Solve -10*w = -11 - g for w.
3
Let y(d) = -d**3 + 2*d**2 + 4*d - 2. Let z be y(3). Let i = -1 - z. Let v be (2/3)/(i/(-3)). Solve s + 0*s + v = 0 for s.
-1
Suppose 37 = 19*t - 1. Suppose 5*v = 7 - 2. Solve v - t = -m for m.
1
Suppose 3*d = -2*d + 4*m + 11, -3*d + 3*m + 6 = 0. Let z(p) = 12 - d*p - 3*p + 3*p. Let i be z(4). Solve i*q = q for q.
0
Let g = -12 + 12. Let f(m) = 3*m - 39. Let z be f(14). Solve a + z = -g*a for a.
-3
Let f(a) = a**3 + 29*a**2 + 56*a + 66. Let r be f(-27). Let p(j) = j**2 + 7*j + 9. Let q be p(-6). Solve q*y - r = -3 for y.
3
Suppose 0 = -17*w + 16*w + 42. Let m = w + -41. Solve -4*o = -3*o - m for o.
1
Let b(l) = -38*l + 118. Let o be b(3). Solve c = -c - o for c.
-2
Suppose -6 = -5*x - 3*h, -x - 2 = -h - 0. Suppose x = -5*s - 0*s. Solve -b - 5 + 0 = s for b.
-5
Suppose -5 + 1 = -4*h, -67 = -4*w - 3*h. Solve -2*c - 6*c + w = 0 for c.
2
Let v be (22/(-66))/((0 + 2)/(-594)). Solve 96 = -t + v for t.
3
Let r = 770 - 770. Solve -158*l + 151*l - 14 = r for l.
-2
Let d = 215 + -201. Solve -5*v - d + 39 = 0 for v.
5
Suppose -123 = -11*s - 46. Solve -24 = s*r - 13*r for r.
4
Let i(j) = j**3 + 11*j**2 + j + 27. Let k be i(-11). Suppose 0 = 10*s - 14 - k. Solve 0 = -7*f + s*f for f.
0
Suppose 3*y + 7 = 31. Solve i = -y*i + 45 for i.
5
Let x(z) = z**2 - 7*z + 4. Let c be x(7). Let p(r) = -15*r + 49. Let a be p(3). Solve a*t - c = -0*t for t.
1
Suppose 0 = 2*o - 5*p - 66, -2*o - 9*p - 82 = -4*o. Solve -32 = -11*h + o for h.
5
Let k(c) = 6*c**3 + 3*c - 1 + c**3 - 8*c**3 - 2 - 5*c**2. Let i be k(-5). Let a be -1*i/(6 + -3). Solve 15 = -a*x + x for x.
-3
Let k be (-13)/(39/(-6)) + 9. Solve 0 = -8*j - 51 + k for j.
-5
Let u be (-4)/((-24)/(-30)) - -7. Solve 0 = -u*s - 6 + 2 for s.
-2
Suppose 783*m - 2 = 782*m. Suppose t - 2*h = -5, -13 = -t + 3*t - 5*h. Solve -m*p - t = -p for p.
-1
Let x(j) = -j + 2. Let k be x(-4). Let r(b) = 5 + b - b + k*b + b**3 + 7*b**2. Let a be r(-6). Solve 2 = a*q - 3 for q.
1
Let f(c) = -28*c + 140. Let d be f(5). Solve -5*i - 13 - 12 = d for i.
-5
Let g(b) = -b + 11. Let p be g(8). Suppose 5 = 2*j - p. Suppose 0 = k - 2*k - 2*w, -2*k + 2 = 2*w. Solve y - k*y + j = 0 for y.
4
Let d = -413 - -420. Solve -9*t + 8 = -d*t for t.
4
Let d be 3 + (-9)/(12/(-4)). Suppose -9 = 3*f - d*f. Solve -f*s - s + 20 = 0 for s.
5
Suppose -y + 2*u = 1 - 8, -y - u = -7. Let o(w) = -w**2 + 7*w - 5. Let j be o(5). Suppose -3*n + 20 = 4*f, -2*n + 25 = 3*n + j*f. Solve n = 2*d - y*d for d.
0
Suppose 3*g = 15, 5*g - 26 = -4*w + 11. Suppose w*p + p = m + 8, 4*m - 28 = -4*p. Solve -c - m = c for c.
-2
Suppose -28*b + 22*b + 108 = 0. Solve -b*n = -14*n - 16 for n.
4
Suppose 4 = -z - 1. Let m(v) = -v**2 - 5*v + 2. Let o be m(z). Let n be 80/13 - o/13. Solve -c = c + n for c.
-3
Suppose 9 = -4*b + b, 2*b + 1 = -s. Suppose -3*w = -14 + s. Let l = -27 - -31. Solve 0 = -w*t + t + l for t.
2
Let u be (0/(-3))/(-2) + -2. Let t be (-9)/u + (-1)/2. Let f = 176 + -163. Solve t*v - 1 = -f for v.
-3
Let o(d) = -12*d - 144. Let m be o(-12). Solve 2*c - c + 5 = m for c.
-5
Let b(j) = -j**2 + 16. Let y be (-2)/(-4)*(-5 + 5). Let u be b(y). Suppose 2*x = 6*x - u. Solve -g - 5 = -x for g.
-1
Let y be 1 + 4*(-3)/(-12). Suppose 0 = -6*q - y + 26. Solve v + q*v + 15 = 0 for v.
-3
Suppose -4*d = 5*o - 9, -4*d = 14 + 2. Let y(u) = -2*u + 17. Let v be y(6). Solve -v = -o*f + 10*f for f.
-1
Let p(k) = 26 + 84*k - 5 - 87*k. Let w be p(7). Solve w = -3*j + 1 - 7 for j.
-2
Suppose 2*k + 3*h - 3 = 0, k + 3*h = -0*h - 6. Solve -3*x + 6*x = -k for x.
-3
Suppose -20*c + 14*c = -36. Solve c*q - 13 + 1 = 0 for q.
2
Suppose 11*v - 7*v - 128 = 0. Suppose v - 20 = 2*b. Suppose -5 + 1 = -2*x. Solve 0*o - b = x*o for o.
-3
Let h = 1174 - 1174. Solve h = 31*v - 22*v + 36 for v.
-4
Let d(p) = p**3 - 8*p**2 + 15*p + 5. Let u be d(5). Solve -u*i + 1 - 6 = 0 for i.
-1
Suppose 9*v = -0*v + 27. Solve z = -2 - v for z.
-5
Let x(b) be the first derivative of -b**4/4 - 4*b**3/3 + 5*b**2/2 + 3*b - 29. Let f be x(-5). Solve f = -2*a + a for a.
-3
Suppose -546*r = -550*r - 3*i + 56, 2*i = r - 3. Suppose 3*c - 4 - 2 = 0. Solve -3*p = c - r for p.
3
Let r(w) = w**2 + 4*w + 15. Let j be r(-4). Suppose -8*v = -11 - 21. Solve j = n + v*n for n.
3
Suppose -15 = -3*z - 15. Solve z = 4*o + 29 - 9 for o.
-5
Let d = -21 + -8. Let u = 29 + d. Solve 3*j = -u - 12 for j.
-4
Let u(o) = 2*o**2 + 4*o - 3. Let w be u(1). Solve w = 13*q - 16*q for q.
-1
Let j be (-3)/(-1) - (-21 - -2). Let a = -20 + j. Solve -a = -o + 1 for o.
3
Let p(g) = -g**3 + g**2 - g + 1. Let v(n) = 6*n**3 - 8*n**2 + n - 4. Let w(s) = 5*p(s) + v(s). Let l be w(4). Solve 0 = y - 2*y + l for y.
1
Let r = 12 + -2. Let s be 2/r - (-38)/10. Suppose 7*x - 9*x + s = 0. Solve c = -x*c + 6 for c.
2
Let b(h) = h**2 - 2*h - 4. Let c be b(4). Suppose 0 = -c*v + 3 + 1. Let q be 1 - -1 - (-1 + 0). Solve q*x = -2 - v for x.
-1
Let m = 8 + 3. Let f = 13 - m. Solve f*k + 3 = 11 for k.
4
Suppose -z + 0*z = -4*u + 9, 5*u = -z + 18. Suppose u*k + 20 = 8*k. Let g be ((-6)/(-4))/(1/2). Solve g*a - k*a = 0 for a.
0
Let b(t) = t + 8. Let x be b(-3). Suppose 2*h + 15 = x*w, 4*w - w + 4*h - 9 = 0. Let g be (-5)/2*16/(-20). Solve -g = -u - w for u.
-1
Let t = 1153 + -1145. Solve t = 13*n - 17*n for n.
-2
Let z = -10 - -20. Suppose -5*p - z = -10*p. Solve a + 3 = -p*a for a.
-1
Let o(t) = t**2 + 20*t - 18. Let g be o(-21). Let f(y) = g*y**2 - 6*y - 2*y**2 - y**2 + y**2. Let d be f(6). Solve 4*m = -d*m - 4 for m.
-1
Let d(r) = -r**2 - 4*r + 150. Let o be d(-13). Solve -9*g - 3 = o for g.
-4
Let d(m) = -2*m. Let r be d(-1). Let p(a) = a**2 - 8*a - 9. Let g = -10 - -19. Let s be p(g). Solve -t + r - 7 = s for t.
-5
Suppose -21 = 5*z - 4*g, 5*z + 12 = 2*z + 3*g. Let h(p) = 3*p + 19. Let a be h(z). Solve -1 - a = 5*n for n.
-1
Suppose 2*x + 12 = 4*l, 4*l + x - 36 = -3*x. Suppose 2*v + 2*g = -6 + 20, -5*v + 3*g - l = 0. Solve -r = r + v for r.
-1
Let b(x) = 5*x - 22. Let l be (9/12)/(6/40). Let f be b(l). Solve -r = 2*r + f for r.
-1
Suppose 3 = 5*k - 7. Let b(j) = -j - 14. Let z be b(-17). Suppose 5*h - h + z*x - 3 = 0, -6 = k*x. Solve 0 = -h*o + 2*o for o.
0
Let i = -52 - -55. Suppose -3*q + 41 = -13. Suppose i*y - 6*y + q = 0. Solve 4*x - 8 = y*x for x.
-4
Let t be (((-9)/(-6))/(-3))/((-6)/(-180)). Let h be 1*-5*9/t. Solve -h*f = 2*f for f.
0
Let g be (0/(-1))/4 + (0 - -4). Suppose 0 = 3*p + p - 12, g*p = -2*k + 22. Solve 14 = -k*t - 6 for t.
-4
Suppose 2*u = z + 9 + 1, 3*z + 5 = u. Solve z = -9*n + 8*n + 3 for n.
3
Let j(u) = -u**2 + 20*u - 65. Let o be j(15). Solve 7*p + o = -11 for p.
-3
Suppose 4 - 2 = 2*z. Solve -z = -2*n + 5 for n.
3
Suppose -23*x = -27*x + 40. Solve -3*i = -x*i - 7 for i.
-1
Let n(s) = s + 2. Let r be n(9). Suppose 8 - r = -d. Solve 2*j + d*j = -5 for j.
-1
Let j be 126/8 + 14/56. Let n = 17 - j. Let d(u) = -u**3 - 5*u**2 - 6*u - 4. Let c be d(-4). Solve c*k - 15 - n = 0 for k.
4
Suppose 8*x + 21 = 37. Solve -x*p = p + 3 for p.
-1
Let a = 68 - 150. Let n = 82 + a. Solve n = 3*z - 8*z for z.
0
Let k(i) = 2*i**3 + 96*i**2 - 101*i - 109. Let h be k(-49). Solve 0 = -35*j + h*j for j.
0
Suppose -4*f - 3 = 24*u - 21*u, -2 = 2*u. Solve f = 17*h - 20*h + 3 for h.
1
Suppose 3*z = h + 10, -61*z + 64*z = -4*h + 20. Solve -4*a = 10 - h for a.
-2
Let m(c) = 2*c**2 - 19*c + 14. Let g(t) = -t**2 + 18*t - 15. Let z(u) = -3*g(u) - 2*m(u). Let x be z(-17). Solve x*w + 5 = -w for w.
-5
Let m be (5 - 2)*2/(3 - 1). Solve m*t + 9 = 6*t for t.
3
Suppose 8*h = -4*p + 5*h + 610, -p = 5*h - 144. Solve 2 = -p*r + 156*r for r.
1
Let j = -352 + 372. Solve 18 = 2*g + j for g.
-1
Let w = -128 - -152. Solve 48 = 6*m + w for m.
4
Let z be (-5 - -6)/(2 - (-10)/(-6)). Let o be 3*z/(-27)*0. Solve -5*x + o*x = 0 for x.
0
Let r(n) = 4*n**3 - 5*n**2 + 6*n + 10. Let l(v) = -v**3 - v**2 - v + 1. Let s(q) = 5*l(q) + r(q). Let z be s(-10). Solve z*o - 5 = 15 for o.
4
Let y = -28 + 33. Suppose -130 = -0*a - y*a. Let u = a + -25. Solve -3 = s - u for s.
-2
Let y(j) = -j**2 - 4*j + 25. Let t = -67 + 60. Let