be k(5). Suppose 0 = 5*n + 512 - x. Is 38 a factor of n?
False
Suppose -50*z + 129950 = -25*z. Is z a multiple of 23?
True
Let p be 7*359 + (-19 - -14). Suppose 93*n - 104*n + p = 0. Is n a multiple of 6?
True
Suppose 1450*a - 61126 = -3*j + 1455*a, 3*a + 6 = 0. Is j a multiple of 11?
True
Let u be (-2)/(5574/1116 + -5). Suppose 0 = -7*r + u + 265. Is 13 a factor of r?
True
Does 64 divide ((-2)/(-3))/((-114)/(-1369197)) - 7?
True
Let l(d) = d**2 + 6*d + 17. Let k be l(-16). Let v = -72 + k. Suppose 0 = 2*b - 45 - v. Is b a multiple of 15?
True
Let i be (-2 - -1) + -5 + 5. Let d be 2*i/6*(-7 + 1). Suppose 0 = -j - d*y + 56, 3*j + 4*y = -j + 220. Is j a multiple of 9?
True
Let z = 18786 - 9426. Is z a multiple of 257?
False
Suppose 4*f + 10 - 138 = 0. Suppose -4*b + 85 = 3*d - 46, -d + b + f = 0. Does 7 divide d?
False
Suppose -99*q + 97*q = -122640. Is q/330 + 2/11 a multiple of 14?
False
Suppose 5*b - 4*j - 5184 - 1669 = 0, 4*j = -5*b + 6837. Is b a multiple of 21?
False
Let s = 13416 - 12688. Is s a multiple of 2?
True
Suppose -3*k = -3*f + 6720, 13791 = 5*f - 2*k + 2588. Is 83 a factor of f?
True
Suppose 5*o - q - 9*q = 60250, 2*o = q + 24085. Is 40 a factor of o?
True
Let q = 5897 + -3153. Is 10 a factor of (-30)/8*11/((-231)/q)?
True
Let t = -146 - -427. Let h = t - -175. Is 38 a factor of h?
True
Let l be ((-15)/(-6) - 3)*0. Suppose -8*j + 6*j = l. Suppose j = m + 2*m + 3, 3*b + m = 50. Does 17 divide b?
True
Suppose -15 = -16*z + 13*z. Suppose z*a + 2*a = 1365. Suppose v + a = 4*f, 4*f - 47 - 142 = -v. Is f a multiple of 5?
False
Let h = 2336 + 1471. Does 9 divide h?
True
Let t(q) = q**3 + 10*q**2 + 8*q - 7. Let b be t(-9). Let u be (-2)/(-6)*(-59 + b). Is (18/(-12) + u/(-4))*28 a multiple of 10?
False
Let i(n) = n**3 + 14*n**2 - 4*n + 57670. Is i(0) a multiple of 79?
True
Does 3 divide (85/(-765) - (-676)/9)*(0 + 9)?
True
Let h(n) = -n**2 + 11*n - 24. Let k be h(7). Suppose -d + 2*w = 24, k*d + 4*w + 90 + 6 = 0. Let l(o) = -o**3 - 24*o**2 - o - 12. Does 3 divide l(d)?
True
Let c = -36421 - -74673. Is 10 a factor of c?
False
Suppose -q - 2*x + 6172 = 0, -8*x + 4*x = -q + 6178. Is q a multiple of 14?
True
Let s = 63 + -61. Suppose -4*p - 80 = 4*f, 5*p - s*f = p - 50. Let j(x) = x**2 + 12*x + 11. Is 14 a factor of j(p)?
True
Let b(q) = 47*q + 12. Let n(c) = -48*c - 12. Let v = -17 + 20. Let h(j) = v*n(j) + 2*b(j). Is h(-2) a multiple of 30?
False
Let o be 1/5*385/(-22)*2. Let h be (o/(-3) - 4)*-3. Suppose -4*k + 62 = m, 9 = -2*k + h*k. Is 13 a factor of m?
False
Let w(m) = -5*m - 18. Let b be w(-5). Let r(j) = 4*j**2 - 23*j + 78. Is 2 a factor of r(b)?
False
Let k = -114 + 110. Does 12 divide 481 + (4/(-1) - (k + -2))?
False
Let t(i) = -i**2 - 4*i + 26. Let v be t(-7). Suppose 4*h - 4406 = 2*g, -v*h - g = -2603 - 2908. Is h a multiple of 10?
False
Suppose 485068 = -43*h + 1316258. Is h a multiple of 19?
False
Let n(f) = 5*f**3 - 49*f**2 + 6*f - 51. Is n(14) a multiple of 4?
False
Let v(r) = r**2 + 10*r - 14. Let n be v(-17). Suppose 22*g + n = 23*g. Suppose -4*k - g = -377. Does 17 divide k?
True
Let n(o) = 100*o - 49. Let j(w) = 102*w - 48. Let u(x) = -3*j(x) + 4*n(x). Is 18 a factor of u(13)?
True
Suppose -4*o + 16 = 0, f = -o + 270 - 51. Let g = f + -50. Does 11 divide g?
True
Suppose 2*v - 5*r = 60, -5*v - 2*r = -3*r - 104. Suppose v = 4*b - 500. Is 13 a factor of b?
True
Let f be 10/25 + -1 + 1158/5. Let h = 598 - f. Does 12 divide h?
False
Let k = -2 + -28. Let h be 1185/(-7) + (-99)/(-77). Let i = k - h. Is i a multiple of 29?
False
Let u(l) be the first derivative of -11*l**2/2 + l - 73. Is u(-1) a multiple of 4?
True
Suppose w = 5*w + 4*i, 3*i = -9. Suppose 8 = -5*d + d + 4*x, -w*d = x - 10. Suppose -p - 9 + 250 = 4*m, -2*m = -d*p - 128. Is 13 a factor of m?
False
Suppose -b = 2*z - 12741, -3*z = -b - 25148 + 6014. Is 17 a factor of z?
True
Does 18 divide (0 + 4)/((-44)/2037090*-10)?
False
Let o(v) be the second derivative of v**4/6 + v**3/3 + 3*v**2/2 - 16*v. Suppose 5*l = 4*m + 6 + 38, l + 3*m - 5 = 0. Is o(l) a multiple of 32?
False
Suppose 4*r - 2*s - 3*s = 5277, 1293 = r + 4*s. Is 2 a factor of r?
False
Let m(o) = o**2 + 5*o - 11. Let x be m(11). Suppose 9*l = 4*l + 530. Let g = x - l. Does 4 divide g?
False
Let g be (18/(-8))/(18/(-9816)). Let w = 1790 - g. Is 52 a factor of w?
False
Suppose 0 = -4*y + 10 + 10. Suppose -3*g + 4*d = 10, 3*g - g + 16 = y*d. Suppose 5*l = g*o + 241, -l = -0*l + 3*o - 38. Does 27 divide l?
False
Let z = -36 - -162. Let n = -101 - -83. Let g = n + z. Is 12 a factor of g?
True
Suppose 2*y - 2*q - 33702 = 0, 20*q = 2*y + 15*q - 33708. Is y a multiple of 203?
True
Let l = -73 - -75. Suppose 0 = -l*a - 4*a + 2550. Does 17 divide a?
True
Let u(o) = -22*o**3 - 6*o**2 - 9*o - 2. Let n be u(-5). Suppose -12981 = -42*q + n. Does 62 divide q?
True
Suppose -3*v - 5*s = 1166, 4*v - 6*s = -s - 1543. Is (-204)/136 - v/2 a multiple of 6?
True
Suppose 23*b = 22*b - 7, -46957 = -4*j - 5*b. Is j a multiple of 33?
True
Let f = 71748 + -45110. Does 38 divide f?
True
Is 9520 + (-12 - (8 - 4)) a multiple of 54?
True
Let r(t) = -t**2 - 8*t - 7. Let v be r(-2). Suppose 5*d - 2330 = s + 2*s, 4*s + 2335 = v*d. Is d a multiple of 10?
False
Let w(n) = 897*n + 29. Is 8 a factor of w(2)?
False
Let y = -12191 - -13938. Is 7 a factor of y?
False
Let f = -1 - -6. Let x = f + -5. Suppose 16*y - 17*y + 144 = x. Is y a multiple of 16?
True
Let g(n) be the third derivative of -n**5/60 + 11*n**4/12 - 25*n**3/3 - 63*n**2 - 1. Does 12 divide g(9)?
False
Let l(a) = -2*a**2 + 222*a - 340. Does 17 divide l(107)?
False
Let v(n) be the first derivative of 13*n**2/2 + 31*n + 13. Is 14 a factor of v(0)?
False
Let v(a) = 260*a - 1912. Does 4 divide v(8)?
True
Suppose 4*w = -106 + 86. Is 7 a factor of 56/6*(w + 8)?
True
Does 2 divide (-1083)/(-95) - 11 - 1/((-15)/67224)?
True
Let g = 745 + -771. Is ((-52)/10)/(g/910) a multiple of 22?
False
Let h(n) = 3*n**3 + 138*n**2 - 101*n + 84. Does 22 divide h(-46)?
True
Is 16 a factor of -3*(-1)/2 + 1/((-4)/(-37686))?
False
Suppose 19*v - 3090 = 4339. Let l = -345 + v. Is l a multiple of 3?
False
Suppose -4*v = -7*h + 33110, -3*h = 7*v - 4*v - 14190. Does 32 divide h?
False
Let g = 4 - 9. Let b = -1271 + 1363. Let z = b - g. Does 28 divide z?
False
Let c(x) = -x**3 - 3*x**2 - 3*x. Let b be c(-2). Let v be (-38 + -12)*(-2)/b. Let p = v + -44. Does 5 divide p?
False
Let y(j) = -6 + 0 - 3 + 2*j + 0*j. Let z be y(7). Suppose 77 = z*t - 3*w, 3*t - 8*t = -w - 69. Is t a multiple of 6?
False
Suppose -35*a - 448 = -37*a. Suppose -35*p = -28*p - a. Is p a multiple of 12?
False
Suppose 124*o = 7*o + 462150. Is o a multiple of 10?
True
Let v(f) = f**3 - 67*f**2 + 134*f + 130. Is v(65) a multiple of 5?
True
Let j be 0/(-2*(-3 + 2)). Let g(u) = -u**2 - 3*u + 122. Is 10 a factor of g(j)?
False
Suppose 2 = -4*b + 22. Suppose 2*u = -3*u + 4*t + 120, -b*u + 90 = 2*t. Let i = u + -11. Is i a multiple of 3?
True
Suppose -2*c + i = -26496, -4*c + 30979 = 3*i - 22033. Is 25 a factor of c?
True
Suppose b = 4, -2*i = 5*b - 11090 - 2344. Does 19 divide i?
True
Let w(c) = 12*c**2 - c + 14. Let t be w(-9). Suppose k - 2*x = 6*k - t, 2*k - 407 = x. Suppose 5*i - 134 - 177 = y, 3*y - k = -3*i. Does 21 divide i?
True
Suppose o = c + 3031, -2*c + 65 = 59. Is o a multiple of 28?
False
Let r(p) = -2*p**3 + 95*p**2 + 48*p + 103. Let s be r(48). Let o be (-1 - -4)*(2 - -7). Let c = s - o. Does 22 divide c?
False
Let a = 1030 + -1002. Suppose 24*d - a*d + 992 = 0. Does 42 divide d?
False
Let k = -60 - -62. Suppose k*z - 6*z - 44 = 2*j, 0 = -3*j - 4*z - 76. Let c = 72 + j. Is 8 a factor of c?
True
Let t = -99 - -67. Let g = 36 + t. Let w(s) = 4*s**2 - 11*s - 2. Does 3 divide w(g)?
True
Let x(h) = 651*h + 90. Does 22 divide x(71)?
False
Let z(g) = -g**3 - 151*g**2 - 1517*g - 104. Is z(-141) a multiple of 61?
False
Suppose -3146 = -2*t + j + 18434, 2*j = 0. Suppose -37*w = -9190 - t. Does 61 divide w?
False
Let l(z) be the third derivative of z**6/120 + 5*z**5/12 - z**4/12 - 4*z**3/3 + 2*z**2 - 74*z. Suppose 4*b - i + 2*i = -96, 0 = 4*i - 16. Is 3 a factor of l(b)?
True
Does 39 divide (-3321 - 2)/((-3 - -8) + -6)?
False
Suppose -19*l + 17*l + 16931 = v, -4*v + 4*l + 67688 = 0. Does 34 divide v?
False
Let z = 197 - -17726. Does 7 divide 