7). Let c = m - -72. Does 2 divide c?
False
Let o(k) = -k**3 + 8*k**2 + 9*k + 19. Let v be o(8). Suppose 0 = -4*d - 107 + v. Let b(f) = -f**3 + f**2 - 8*f + 2. Does 10 divide b(d)?
False
Let t(n) = 13*n + 443. Is 101 a factor of t(41)?
False
Suppose 1656 + 694 = -5*s. Let y = s - -514. Does 21 divide y?
False
Let m = -159 - -157. Does 62 divide 2 + 1 + m + 371?
True
Suppose -2723328 = 1494*s - 1566*s. Is 10 a factor of s?
False
Suppose 0 = -q + 127 - 98. Is 33512/38 + q/(1102/4) a multiple of 9?
True
Let r(u) = 22*u**2 - 1. Let h = -53 + 52. Let d be r(h). Is 34 a factor of d/14*(-416)/(-3)?
False
Suppose -q = -4*q - 3*k + 28701, 4*k = -q + 9567. Suppose 9*m - q + 3042 = 0. Does 28 divide m?
False
Let n be (-116)/(-10) + (-9)/15. Suppose -n*r + 886 = -2678. Is r a multiple of 18?
True
Let d(t) = -169*t - 2704. Is d(-66) a multiple of 50?
True
Let r(y) = 361*y + 20. Suppose -4*g + 0*b - b = -18, -2*g - 4*b = -16. Let m be r(g). Suppose -11*u = -19*u + m. Is 36 a factor of u?
False
Let q(u) = 1432*u**2 + 409*u - 2403. Is q(6) a multiple of 167?
True
Let p be 4/8*8 + 456. Suppose -p = 4*v - 5*v - w, -1380 = -3*v + 2*w. Does 11 divide v?
False
Suppose -n - 13 = 5*i + 4, 2*n = -3*i - 34. Let j(q) = -24*q - 84. Is 18 a factor of j(n)?
True
Let t = 18641 - 7698. Is t a multiple of 38?
False
Suppose -24778 = -t - 25*t. Suppose -2*o + s - t + 2689 = 0, 0 = 5*o + 3*s - 4362. Is 30 a factor of o?
True
Suppose 3*w = -6*w. Is (-2 + -7)*((-1 - w) + -22) a multiple of 9?
True
Let c = 36 - 34. Let u be (-10 - ((c - 1) + 0)) + 1. Does 18 divide (u/4)/(6/(-216))?
True
Let n = -137 + 135. Does 10 divide (9/3 - -211) + n + 3?
False
Let f(w) = -w**2 + 25*w - 102. Let g be f(11). Is (78/g)/(-3*(-1)/412) a multiple of 11?
False
Let z(b) = 26*b - 19. Suppose -9*d + 2*d = -98. Does 10 divide z(d)?
False
Let c be ((-114)/(-8))/(4/64). Suppose -14*y = 63*y - 308. Suppose 4*z = -4*t + c, 0 = 4*z - 6*z + y*t + 96. Is z a multiple of 9?
True
Let f(q) = -96*q**3 + 13*q**2 + 44*q + 7. Is f(-3) a multiple of 8?
True
Let j = -2516 + 10099. Is j a multiple of 17?
False
Suppose 0*v + 4*v + 1432 = 0. Let a = v - -582. Suppose -11*o = -7*o - a. Is 30 a factor of o?
False
Suppose 33*m = 30*m - 15. Let p(a) = a**3 + 6*a**2 + 4*a + 6. Let l be p(m). Suppose 0 = r + 4*v - 36, -3*v - 169 = -5*r + l. Does 18 divide r?
True
Let f(w) = w**2 - 6*w. Let j be f(6). Let r(u) = -5*u + 2. Let i be r(-4). Suppose j = -i*x + 27*x - 160. Does 8 divide x?
True
Is 18 a factor of 1/(-5) + (-444)/120*-1436?
False
Suppose -187*i - 33363 = -196*i. Is 41 a factor of i?
False
Let d = 45 + 18. Suppose 0 = 3*p - 12, -104 = 5*o + 2*p - 452. Let f = o - d. Is 4 a factor of f?
False
Let u = 69106 - 34781. Is 66 a factor of u?
False
Let w(c) = -125*c**3 - 2*c**2 - 4*c - 3. Let r be ((-4)/6)/((-700)/174 + 4). Let h = r + -30. Is 31 a factor of w(h)?
True
Let p be (-649 + -5)/(3 + (-45)/10). Let d = -274 + p. Does 12 divide d?
False
Let p(x) = -x**2 - 15*x + 18. Let g(t) = 3*t + 10. Let u be g(9). Let v = 23 - u. Is 8 a factor of p(v)?
True
Let u = 26584 + -18020. Is u a multiple of 45?
False
Let q = 8514 - -2182. Does 4 divide q?
True
Suppose 0 = -4*v, -5*s - 5*v - 17025 = -42830. Is 21 a factor of s?
False
Let o = 63 + -36. Suppose 326 = 267*w - 4349 - 932. Suppose -w*u = -o*u + 216. Does 18 divide u?
True
Let t(y) = -70*y - 2247. Let o be t(-30). Suppose -165 = -v + 6*v. Let q = v - o. Does 12 divide q?
False
Let k(o) = 8*o - 36. Let q be k(17). Suppose 2*n - 12 - q = 0. Is n a multiple of 14?
True
Suppose -14043 - 4343 = -2*d + 2*t, d - 2*t = 9189. Is d a multiple of 8?
False
Let d(x) = -x**2 - 18*x - 27. Let y be d(-14). Suppose 4420 = y*l - 12*l. Does 10 divide l?
True
Suppose 8*s - 9 = 39. Is 23 a factor of (-1)/((-3306)/(-552) - s)?
True
Is (1 + -2)*175*(-1922)/155 a multiple of 217?
True
Let a be -2 + 4/1 + -4. Is 12 a factor of (591/a)/3*-2?
False
Suppose 1998 = 5*f - 3*q - 15414, -f = 5*q - 3460. Is 15 a factor of f?
True
Let x = 2 + -2. Suppose 5*s = 2*n + 1126, -3*s - s + 5*n + 894 = x. Is (-3)/5 - (-1)/10*s even?
True
Let f(u) = u**2 + 7*u + 11. Let l be f(-6). Suppose b = 2*d, -l*b - 2*d = -2 - 10. Suppose 85 = b*g - 83. Does 14 divide g?
True
Let z = -174 - -113. Let s = z + 203. Let a = s - -164. Does 18 divide a?
True
Let n(x) = 22*x + x**2 + x**2 - 120 - 16*x. Is 11 a factor of n(-13)?
False
Suppose 0 = 63*t - 60*t. Suppose -15*y + 3329 + 1396 = t. Does 45 divide y?
True
Suppose 0 = -2*s + 28*x - 33*x + 3520, 0 = 2*s - x - 3520. Is 5 a factor of s?
True
Let b(a) = 2*a + 184. Suppose 3*r = 5*m - 12, 3*r - 2*m + 2 = -10. Is b(r) a multiple of 33?
False
Let p = -14321 + 14553. Is 2 a factor of p?
True
Suppose -5*z = 3*d - 17128, -3*d - 2619 + 19779 = -3*z. Is d a multiple of 14?
False
Suppose -2*d = -15*d + 52. Suppose 0 = -2*g + 4, -4*w = -6*w + g + d. Suppose -5*q = -w*q - 5*n - 22, -4*q = n - 88. Does 9 divide q?
False
Let t = 155 + -157. Is (-5 - t) + 10 + 165 a multiple of 3?
False
Let u = 2159 - -1582. Is u a multiple of 29?
True
Suppose 75830 + 15698 = 34*w. Is 188 a factor of w?
False
Let p(k) = 2*k**2 - 24*k + 11. Let t(s) = 15*s**2 - 7*s + 6*s + 4*s. Let a be t(-1). Is 3 a factor of p(a)?
False
Let p = 5851 + 2509. Is p a multiple of 22?
True
Suppose 0 = 2*d - 2*v - 26, -2*v - 4 - 30 = -3*d. Suppose 707 = 5*r + m, m + d = -4*r + 574. Is 47 a factor of r?
True
Does 7 divide ((-14)/(-4))/(-2 + 2 + (-7)/(-4718))?
True
Suppose -4*b = -5*p + 21, 0*p + 2*p = 5*b + 5. Suppose 0 = -2*s + 5*x + 66, p*x + 158 = 4*s + 8*x. Does 3 divide s?
False
Let z(y) = -190*y - 57. Let x be z(12). Is x/(-21) - (0 + 4/14) a multiple of 37?
True
Let v = -53 - -63. Suppose -66 = 4*i - v*i. Is i a multiple of 11?
True
Suppose 38*t - 42*t = -5*p + 236450, 0 = 5*p + 2*t - 236420. Is 14 a factor of p?
False
Suppose 3*r + 1297 + 908 = -5*c, r - 1337 = 3*c. Let b be c/8 - -1*(-9)/6. Let o = -16 - b. Is 11 a factor of o?
False
Is 169 a factor of 766632/108 - ((-69)/27 - -3)?
True
Let y(r) = -7*r + 17. Let m(u) = 3*u - 8. Let t(q) = 9*m(q) + 4*y(q). Let g be t(-6). Suppose g*i + 5*i - 651 = 0. Is i a multiple of 17?
False
Suppose 0 = -4*c + 32, -3*w + 3*c + 37702 = -2972. Does 51 divide w?
True
Suppose -39*u = -33*u - 24. Suppose -3*n - 14 = -4*x, 0*x + u*n + 2 = 2*x. Suppose 0 = -5*t + 5*q + 775, -726 = -3*t - x*q - 221. Is 15 a factor of t?
False
Let a = 6253 - 3926. Is a a multiple of 36?
False
Suppose 56*p - 772 = 24*p + 65532. Is 28 a factor of p?
True
Suppose 17*q - 77304 = 30255. Is q a multiple of 37?
True
Let t be 0 - 5 - (-4 - (-906)/(-6)). Suppose -2*d + 170 + t = 0. Does 5 divide d?
True
Suppose -j - 173 = 2*x + 3*x, -5*j - x - 889 = 0. Let f = j + 327. Suppose 2*p = f + 169. Is p a multiple of 53?
True
Let i(w) = 260*w - 2926. Does 50 divide i(51)?
False
Let y(a) = 34*a - 15. Suppose -16 = 5*j - 13*j. Does 3 divide y(j)?
False
Is (-293)/((-9)/(41 + 13)) a multiple of 6?
True
Suppose 5*p - 9043 = 6*o - 10*o, -5*o = p - 11330. Is 48 a factor of o?
False
Suppose 2*b = -106 + 118. Is 688/(-4)*(-4)/(-2 + b) a multiple of 4?
True
Let q = -23 + 11. Let u be ((-27)/q)/((-2)/((-64)/(-12))). Does 5 divide 0 - -4 - (u + 0)?
True
Let v be 3 + 6/(-12)*2. Suppose 3*s = -y + 127, 94 = v*s + 5*y - 2*y. Suppose z = -q + s, 0 = -3*z - 2*q - 3*q + 125. Is z a multiple of 10?
True
Let h be 27139/(-63) - ((-22)/(-18) - 1). Let j = h - -655. Does 8 divide j?
True
Suppose -13*h - 180895 = -26*h. Is h a multiple of 23?
True
Suppose 0 = -2*s - 9 + 5, 77 = v + 3*s. Suppose -2*z + 205 = -5*k, -3*k + v = z + 8. Is z a multiple of 9?
True
Suppose 93312 = 90*b + 54*b. Is 8 a factor of b?
True
Let v(b) = b**3 - 18*b**2 + 13*b + 21. Let s(m) = -m**3 + 19*m**2 - 13*m - 20. Let c(a) = -5*s(a) - 6*v(a). Is 15 a factor of c(11)?
False
Let r(f) = -479*f**3 - 2*f**2 - 10*f - 3. Does 9 divide r(-3)?
True
Let p be (24/16)/(1/(-174)*1). Let l = 311 + p. Is 50 a factor of l?
True
Suppose -18*k - 3 = -3. Suppose 5*d = d + y + 12, -5*d + 5*y + 15 = k. Does 51 divide (226 - 3) + 2 + d?
False
Let p = 30971 + -23221. Is p a multiple of 12?
False
Let z be (69/(-2))/3 + 16/(-32). Let i be -5 + z/(-4) + 30. Suppose -i*w + 204 = -24*w. Does 22 divide w?
False
Let h = 21176 - 8416. Does 18 divide h?
False
Suppose 76*m = -11*m + 77169. Is m a multiple of 5