+ 2*x, -2*x = -3*k - 10. Let i be 2 + k + (-2)/(6/(-93)). Suppose i = 2*m + 29. Solve 0*c = m*c for c.
0
Let f(c) = 16*c - 20. Let u be f(-4). Let q = u - -84. Suppose h - 4*n - 10 = q, -3*h - 5*n = 2*h. Solve -2*j = -8 - h for j.
5
Suppose -3566*u = -3579*u. Solve 867*h - 873*h - 24 = u for h.
-4
Let m be 550 - (-6 - 2 - -8). Let o = 554 - m. Let i = 17 - 12. Solve -3*g - i = o for g.
-3
Let v be ((-7)/(-2) - 2)*-2. Let k be 1 - ((-3)/v + -4). Suppose -11*m - k = -4. Solve m = -3*a - 4 - 8 for a.
-4
Let d = 152 + -253. Let x = d + 110. Solve 4*u - x = -17 for u.
-2
Suppose -5*i = q - 60, -4*q + 8*q - 328 = 2*i. Let v be 6 - (368/q + 3/(-5)). Solve -4*b + v*b + 6 = 0 for b.
3
Let t(r) = -r - 5. Let v be t(-2). Let h be 10 + (-2)/(1 + -3 - v). Let u = h - 6. Solve -2*n - u*n = 0 for n.
0
Suppose 0 = -6*p + 79 + 5. Suppose 0 = 75*y - 68*y - p. Solve 6*j = y*j for j.
0
Suppose 4*b = 140 + 72. Let g = b + -49. Suppose 16*c - g*c = 0. Solve c = -5*o - 13 - 2 for o.
-3
Let n be (4 - 52/10)*-5. Suppose 2*s = 8, -3*s = -5*v - n*s + 32. Suppose 5*j = -5*g + v*g + 20, 0 = j + 4*g - 4. Solve -j = -m - 5 for m.
-1
Let n = 978 + -969. Solve 3 = n*o - 15 for o.
2
Let r be 6*(2 - (-2)/(-3)). Suppose 7 + 3 = 2*x. Let p be 0*(26 + -24)/(1 + 1). Solve p = -x*s - r + 23 for s.
3
Suppose -b = -4*b + 42. Suppose -b*m + 12*m = 0. Suppose m = 9*g - 10*g + 3. Solve -g = y - 0 for y.
-3
Let k(x) = x**3 + 11*x**2 + 6*x - 29. Let g be k(-10). Suppose 0 = -4*j - t + g, 4*t = -3*j + 28 - 23. Solve 3 = -j*h - 3 for h.
-2
Suppose 0 = -6*r + 2*r + 20. Suppose r - 15 = -2*g. Suppose -2*d + 2*s - 3*s - g = 0, 2*s + 10 = 0. Solve -3*c + d = 9 for c.
-3
Let v be 6/(-4 + (2 - -4)). Suppose 3*p = -i + v, -5*i + 1 = -8*i + p. Solve 5*j + 5 + 10 = i for j.
-3
Let d be 749/(-28)*2*-2. Let l = 117 - d. Solve l = 2*s - 0*s for s.
5
Suppose -238 = -97*q + 83*q. Solve q*c - 8*c = -6*c for c.
0
Let h(y) = y**3 + 42*y**2 + 42*y + 46. Let s be h(-41). Let c(p) = -p**3 + 7*p**2 - 10*p + 2. Let v be c(s). Solve -3*w + v = -7 for w.
3
Let w be (-11)/(-2) + 9/(-18) + -3. Suppose 15*r - w*r - 52 = 0. Solve -r*u + 15 = -5 for u.
5
Suppose s + 16 = 4*n - 3*s, 16 = 3*n - 5*s. Suppose -n = d - 3. Let i be (-4 + 6 - 1) + d. Solve 3 = -i*o - 1 for o.
-2
Let o(n) = -3*n - 14. Let z be o(5). Let b = 9 + z. Let u be 32/10 - b/(-100). Solve -u*r - 1 = -10 for r.
3
Suppose 0 = -9*t - 41*t + 8*t. Solve g - 7*g = t for g.
0
Suppose -3*w - w = -208. Suppose -2*x = 3*o + 8 - w, 8 = o - x. Suppose -2*s = s - o. Solve 0*r - s*r = 12 for r.
-3
Let w(j) = j**3 + 8*j**2 - 2*j + 3. Let m be w(-8). Suppose -16*g + m*g = 3. Solve -g - 2 = -3*d for d.
1
Suppose 2*z = 85 - 353. Let m = z - -224. Let y be (m/54)/(5/6). Solve -3*b - y = -2*b for b.
-2
Let y = -18236 + 18236. Solve y = 208*l - 176*l - 64 for l.
2
Suppose -16*b + 8*b + 8 = 0. Suppose -d + b = -2. Solve d*c - 9 = -12 for c.
-1
Let j(p) = -p**3 - 7*p**2 - 5*p + 7. Let x be j(-6). Let r be (0 + 1 + 0)*3*x. Suppose r*t - 24 = -9. Solve t = -3*w - 1 for w.
-2
Let a be 12*((-6)/(-4))/((-28)/(-42)). Solve 12 = a*w - 33*w for w.
-2
Let o = 12027 - 12025. Solve -o = -6*y + 4 for y.
1
Let u be (-7)/((-14)/6) - -3. Let l be (2/u)/((-1)/(-6)). Let n = l - -9. Solve 0 = -4*p + 1 + n for p.
3
Suppose 50*u = 2992 - 392. Solve u*g - 14 = 45*g for g.
2
Suppose 26 = 7*q - 37. Suppose 28 = -6*d + 20*d. Solve q = d*v + v for v.
3
Let i = 1059 + -1056. Solve i + 7 = -2*m for m.
-5
Let s be ((-12)/(-2))/(20/(-4))*35. Let f = -24 - s. Suppose 0 = -2*d + 4*x + 20, 5*d - f = -0*x + 2*x. Solve -2*r + 4 = -d for r.
3
Suppose 17*y - 12*y = -60. Let r be ((-6)/y)/((-1)/(-4)). Suppose -14 = -4*x + r. Solve -l = x*l for l.
0
Let f be ((32/(-10))/(-4))/(5 + 23/(-5)). Solve 0*v = 3*v - f*v for v.
0
Let t be (-3)/((-18)/472)*(-111)/(-148). Solve -43*z = -t*z for z.
0
Suppose -5*s + 269 = 3*i, 3*i - 101 = -4*s + 116. Let j = s + -48. Solve 9 - 1 = -j*k for k.
-2
Suppose 0 = 49*c - 538 - 197. Solve -c = 15*f - 105 for f.
6
Let b be 0 + 125/(-1*1). Suppose 0 = 25*t - 420 + 170. Let m be 50/b - (-44)/t. Solve 0 = 2*j - j - m for j.
4
Let z = -95 - -91. Let i be 1 + 7/z - 15/(-4). Solve -i*q + 5 + 7 = 0 for q.
4
Suppose 25*u = 27*u + 23*u. Let m(x) = -x**2 + 11*x - 10. Let p = 9 - -1. Let k be m(p). Solve -5*g + u*g + 5 = k for g.
1
Suppose 2151 = -0*b + 15*b - 6*b. Solve b + 297 = 67*m for m.
8
Suppose 4*h - h - 36 = 0. Suppose -18*u = -12*u - h*u. Suppose u*c - 2*l + 15 = 5*c, 5*c - 15 = l. Solve -c*o = -0*o for o.
0
Let u(r) = -r**3 + 8*r**2 + 6*r + 11. Suppose 0 = -11*x + 8*x + 27. Let p be u(x). Let m be -2 + 1*p/(-4). Solve n = m*n for n.
0
Suppose -4*a + 2*k = -558, 4*a - 58*k - 543 = -59*k. Solve -136*m = -a*m for m.
0
Let r(y) = 4*y**2 - 62*y - 33. Let u be r(18). Solve -122*o + 100 = -u*o for o.
-4
Suppose 0 = 6*i + g + 2*g - 51, -4*g = -12. Solve 0 = i*t + 23 - 30 for t.
1
Suppose 0*u = 4*u. Suppose u = -5*r + r - 5*k + 72, 0 = -5*k. Solve -4*q + 2 = -r for q.
5
Let i(s) = -s**2 + 4*s - 2. Suppose 0 = -5*j + 16 - 1. Let z be i(j). Let d be (z - (-3 - -3))*6. Solve -w + d = w for w.
3
Suppose 18*h - 179 + 35 = 0. Suppose -140*t + h = -139*t. Solve 13*b - 15 = t*b for b.
3
Let o = 2328 + -2193. Solve 135 - o = 5*p for p.
0
Let b(h) = h**2 - h + 4. Let g be b(0). Suppose 2*c = -5*j + 7, 5*j - 2*c - 27 = c. Suppose -j*q = 3*o - 13 - 5, 3*q = 2*o + 28. Solve -2*u = -g*u + q for u.
4
Suppose -4980*d + 4912*d + 8568 = 0. Solve -d = -7*f - 175 for f.
-7
Let w = -13644 + 13708. Solve w*j = 50*j - 14 for j.
-1
Let f(j) = 123*j - 2. Let p be f(1). Solve 0 = 115*v - p*v for v.
0
Suppose -b + 4*b = -12, 3*b = -3*t + 12. Suppose 6*d - 45 - 33 = 0. Solve -d*l - 15 = -t*l for l.
-3
Let s(v) = 6*v - 239. Let p be s(40). Let r = -4 - -8. Suppose r*u + 0*c = -2*c + 4, -2*u = 2*c. Solve p = u*b - b for b.
1
Let m(l) = -23*l - 7. Let u be m(8). Let k = 200 + u. Solve -5*n = -2*n - k for n.
3
Suppose -2*y - 12 = 0, -4*j - 4*y - 78 + 62 = 0. Suppose -5*f + 9 = -1. Suppose -8 = -2*i - f. Solve -j*r - i*r = 0 for r.
0
Suppose 918 = -3*k - 2*n, 421 + 509 = -3*k + 2*n. Let p = 318 + k. Solve -13*h + 9 = -p*h for h.
3
Let w = 23 - 21. Let r be (10 - 9) + (3 - w/(-1)). Suppose 20 = r*s + 2. Solve -s*a = -6*a + 12 for a.
4
Let z = 245 + -285. Let d be 4/(-14)*(-47 - z). Solve d*f - 6 = 2 for f.
4
Let f(t) = -5*t + 28. Let a be f(4). Suppose -6*w - 36 = -a*w. Suppose -5*u = -2*j - 8, 5*j + 2 = -2*u - w. Solve u = 3*d - d - 8 for d.
4
Suppose i - 78 = 4*y, -21 = 5*i - 3*y - 428. Let d = 80 - i. Let m be (-11 + 11)*(d/(-4) + 0). Solve m = -0*a + 4*a + 16 for a.
-4
Suppose 5*g - 5*i - 505 = 0, -2*g + 148 = -3*i - 51. Suppose g*w - 112*w = -160. Solve 0 = -y + 5*y + w for y.
-5
Let l(t) = t**2 - 22*t + 114. Let u be l(16). Solve 33*d = -u - 15 for d.
-1
Let b be (-44)/3*-1*3. Suppose -2*w + 180 = -4*q, q + 210 = -4*q - 5*w. Let t = q + b. Solve t = -h + 2*h - 2 for h.
2
Suppose 196*d - 56831 + 13515 = 0. Solve 0 = 218*j - d*j + 12 for j.
4
Let j be (-2 + (1 - 3))/(-1). Let o(v) = 48*v + 755. Let i be o(-15). Suppose j*p + 7*t = 2*t + 45, -4*p - 3*t + i = 0. Solve p - 15 = 5*u for u.
-2
Let x(q) = -q**2 + q - 15. Let m be x(3). Let a be 8/(-2) - (-17 + m/7). Solve -a*z - 32 - 48 = 0 for z.
-5
Let w(u) = -3*u**3 + 14*u**2 + 11*u - 30. Let q be w(5). Solve q = -17*r + 58*r + 123 for r.
-3
Suppose 6*t = 3 + 3. Let j = 11 + -10. Let y be (j/t)/(1/4). Solve 2*q = -2 + y for q.
1
Let t(m) = -m + 1. Suppose -2*q + 5*v = 23, 11 = -5*q - 3*v - 0. Let z be t(q). Let d = 154 - 145. Solve z*w - d = 11 for w.
4
Let n(w) = 21 + 0*w - 7 - 4*w + 5*w. Let x be n(-14). Suppose b + 0*g = 3*g + 17, x = -2*b + 3*g + 49. Solve b = 5*p + 7 for p.
5
Let w(f) = -145*f + 6. Let l be w(3). Let o = l - -437. Solve -14 = -o*c + c for c.
2
Suppose -d - 9 = -13*a + 10*a, 4*d + 3*a - 9 = 0. Solve 8*z + 1 + 7 = d for z.
-1
Let l = 6335 - 5889. Solve -l + 398 = 8*w for w.
-6
Let n(y) = 15*y - 161. Let k be n(13). Solve 16*w - k = 14 for w.
3
Let m = 11 + -11. Let q = -4961 - -4965. Solve -q = -m*x - x for x.
4
Let b(s) be the first derivative of -s**4/4 - 2*s**3/3 + s**2 + 11*s - 108. Let r be b(-2). Solve -2*f = -r*f + 25 for f.
5
Let j be 1*-2 + (-2 - 2) + 3. Suppose 0 = 4*b + 2*k + 138, -2*k = -3*b + 3*k - 71. Let z be 9/j*b/24. Solve 3*x + 11 =