e y(-8). Suppose 6*n - 2402 + a = 0. Does 2 divide n?
True
Suppose -33*j + 293 = -4. Suppose 2*u - 2*k = 126, 4*u - j*k + 7*k - 244 = 0. Does 30 divide u?
False
Let q = 16 + 4. Let h = q - -4. Suppose -h*m = -23*m - 130. Does 26 divide m?
True
Let l = -2670 + 2801. Let d be -1*(-2 - (-70)/1). Let v = d + l. Does 23 divide v?
False
Let f(l) = -l**3 + 7*l**2 + 5. Let u be f(7). Suppose 3*w - r - 3*r - 172 = 0, -u*w + 3*r + 294 = 0. Suppose 74 = -w*i + 62*i. Is 33 a factor of i?
False
Suppose c + 2*f = 11, -f + 9 = 3*c - 19. Let d(j) = 12*j + 11. Let o(k) = -23*k - 22. Let r(z) = -5*d(z) - 3*o(z). Is 11 a factor of r(c)?
False
Let m be 32919/27 - 16/72. Suppose m = i - 4*t, i = -5*t - 3 + 1222. Is i a multiple of 53?
True
Let y be -10 + 3 - (-4)/1. Does 32 divide 163 + y + 0/(-1 + 4)?
True
Let z = 77596 - 45322. Does 11 divide z?
True
Let d = -39 + 56. Suppose 293 - d = 23*m. Does 6 divide m?
True
Let m = -104 + -237. Let a = m + 691. Is a a multiple of 19?
False
Let n = 9750 + -4680. Does 13 divide n?
True
Is 3 a factor of (-17)/(136/(-58992)) + 5?
False
Let s = -739 + 2345. Is 4 a factor of 76/(-342) - (s/9)/(-2)?
False
Suppose 32*f + d = 31*f + 141, 5*d = -15. Suppose 0 = -f*l + 151*l - 4760. Does 68 divide l?
True
Suppose -7*x = 5*x - 6552. Suppose -x = -45*c + 39*c. Is c a multiple of 6?
False
Let h(k) be the third derivative of 2*k**4 + 17*k**3/6 + 21*k**2. Let b be h(-4). Is (-10)/(15/b - 1/5) a multiple of 10?
False
Let b = -114 + 116. Suppose -334 = -4*n + b*f, 2*n - 172 = -0*n + 2*f. Is n a multiple of 27?
True
Let o(h) = h**3 + 4*h**2 + 3*h - 11. Let c be o(5). Let m = c + -219. Does 4 divide m?
False
Let i(u) = -u**3 + 14*u**2 + 16*u - 7. Suppose 0 = 3*t - 20 + 5. Suppose -t*d + 3*w + 77 = 17, 2*d - 5 = 5*w. Is 2 a factor of i(d)?
True
Suppose -4*h - h + 16126 = -4*t, 3*h - 9674 = 2*t. Is h a multiple of 9?
True
Let d be 4/(-5) - (81/(-45) - 1). Suppose -d*g + 476 = f, 0 = -f + g + 24 + 440. Does 39 divide f?
True
Let z = 722 - 1105. Let d = -364 - z. Does 8 divide d?
False
Let c = 663 - 311. Suppose 3*q + 9 = -5*t - 0*q, 2*q = -2*t - 6. Suppose -2*v = 0, t = 5*h - 3*v + 72 - c. Is 28 a factor of h?
True
Suppose -3*u + 0*u + 3 = -3*h, 3 = h + 3*u. Let a(i) = -43*i + 247. Is 14 a factor of a(h)?
False
Suppose -c - c - 6 = -5*o, -12 = 4*c. Suppose -y = -5*n - 55, o = 5*y - 6*y + n + 55. Suppose u - y = 2*r, 8 = u - r - 48. Does 9 divide u?
False
Let q(j) = 3*j**3 - 2*j**2 + j - 1. Let u be q(-3). Let w = u + 47. Does 7 divide (-92)/(-3)*7/(w/(-12))?
False
Let t = -3 - -3. Suppose 2*n + 6*c - 4*c - 16 = t, 0 = -2*n + 2*c. Suppose -42 = -n*g + 234. Is g a multiple of 11?
False
Let p(a) = 1467*a**3 - a**2 + 48*a - 84. Is 75 a factor of p(2)?
False
Let t(q) = 2*q**2 + 108*q - 2998. Is 5 a factor of t(43)?
False
Suppose 11*g - 474004 = -57457 + 16941. Is 16 a factor of g?
True
Let l = 6940 + -4864. Is 4 a factor of l?
True
Let f be (-552)/28 - 2/7. Let i = 160 - 106. Let w = i + f. Is 6 a factor of w?
False
Suppose 2*t = 5*i - 36, 5*t = 4*i - 4 - 35. Let x = -53 - -133. Suppose -i*z + x = 8. Is z a multiple of 6?
True
Suppose c = 2*r + 957, 3*r + 2*r - 964 = -c. Suppose c + 1507 = 6*h. Does 23 divide h?
False
Suppose 4*v + 13*w = 17*w + 1120, 5*w = -5. Suppose 3 = 3*d - 6. Suppose 112 + 366 = 5*b - 4*i, 5*i = d*b - v. Does 7 divide b?
True
Let y = 1315 + -190. Does 15 divide y?
True
Suppose 11*j + w - 564 = 10*j, 568 = j + 2*w. Is j a multiple of 8?
True
Suppose 88*j - 23*j - 535059 = 349006. Does 7 divide j?
True
Let n = -130 - -1467. Let i = -36 + n. Is 9 a factor of i?
False
Let c = 2057 + -2159. Let g be (1 + (-330)/(-4))*2. Let a = c + g. Is a a multiple of 8?
False
Let b(l) = -6797*l**3 + 55*l**2 + 106*l - 7. Is 24 a factor of b(-2)?
False
Suppose 116 = 10*h - 14*h - 4*o, -101 = 4*h + o. Let f(b) = b + 155. Is 48 a factor of f(h)?
False
Suppose -3*d + 3209 = 4*t, 5*d - 2*t + 680 = 5985. Is d a multiple of 4?
False
Let q be 1*15/(-63)*3*-7. Is (-3)/4*-4 - (-58 + q) a multiple of 2?
True
Is 31 a factor of 8317 - ((-864)/(-9))/(-6)?
False
Let u be (0 + -1 - 0)*(25 - 26). Is 16 a factor of u*(2776/8 + 7)?
False
Let s(o) = 66*o**2 + 13*o - 241. Is s(11) a multiple of 29?
True
Let q(g) = 216*g**2 + g + 10. Let r be q(-4). Is 42 a factor of -1*6/(-9)*r/4?
False
Let d(v) = 5*v + 48. Let z be d(-7). Suppose -z*f - 152 = -17*f. Is f a multiple of 22?
False
Suppose 593 + 69 = 2*g. Suppose 0 = -15*l - g - 194. Does 6 divide 6/10 + (-959)/l?
False
Let a(m) = 1242*m + 174. Is a(5) a multiple of 76?
True
Let h = 11886 + -10770. Does 12 divide h?
True
Let w be (-34)/51 - (-28)/(-3). Let c(t) = t**3 + 15*t**2 + 3*t - 2. Is c(w) a multiple of 18?
True
Let z = -1144 + 2204. Let c = z + -688. Is 17 a factor of c?
False
Suppose 0 = 28*x - 20 - 92. Let r = 264 - x. Does 17 divide r?
False
Suppose 4*y = -4*h + 1996, -773*y = -776*y + 3*h + 1527. Is 42 a factor of y?
True
Suppose -5*b = -2*g - g - 15, 3 = 4*g + b. Suppose g = 5*k + 2*m - 5, -14 = -k - 2*k + m. Is (-4)/k*30/(-20) - -119 a multiple of 11?
True
Let c be (-4)/26 + (-1746)/(-26). Let b = 234 - c. Is 20 a factor of b?
False
Suppose -1945 - 3375 = -10*c. Let r = 1636 - c. Does 16 divide r?
True
Suppose 3*o - 96731 = 2*b, o - 16*b + 14*b - 32241 = 0. Does 65 divide o?
False
Suppose k = -b + 203 + 12, 4*k + 5*b - 859 = 0. Suppose 0 = -2*f - m + 784, f = -4*m + 190 + k. Is f a multiple of 13?
True
Is 12 a factor of (-8055)/(-1)*28/(-1120)*-256?
True
Let b be (-765)/(-60)*(0 + (-32)/(-6)). Let i = 223 - b. Is i a multiple of 13?
False
Let z = 87 - 73. Suppose z*o - o = 975. Is o a multiple of 3?
True
Suppose -6*j + 29227 + 62483 = 0. Is j a multiple of 16?
False
Let t(a) = -a - 9. Let q be t(-9). Suppose g - 23 + 25 = q. Is 27 a factor of (-45 - 1)/((-1)/(-2)*g)?
False
Let w(j) = -2*j**3 + 29*j**2 - 4*j - 15. Let k(n) = -n**3 + 14*n**2 - 2*n - 8. Let g(h) = -9*k(h) + 4*w(h). Is g(10) a multiple of 4?
True
Let d(k) = 40 - 21 + 2*k + 29. Let i be d(-20). Suppose -i*p + 7*p + 24 = 0. Does 9 divide p?
False
Suppose -24387*m + 24379*m = -152. Is 11 a factor of m?
False
Let b(j) be the first derivative of 5*j**3/3 + 2*j**2 + 4*j - 1. Let t(f) = -4*f**2 - 89*f + 268. Let s be t(-25). Is b(s) a multiple of 13?
True
Suppose -4*i - 2*p = i - 70, -4*i + 28 = -4*p. Suppose 3969 = i*j + 1005. Let o = -97 + j. Is 30 a factor of o?
True
Let h(l) = l**2 + 5*l - 19. Let j be h(-12). Let b = j + -61. Suppose 5*o = -b*f + 322, f - 2*f - 332 = -5*o. Does 22 divide o?
True
Let i(h) = -5*h**3 + 19*h**2 + 3*h - 3. Let g be i(7). Let n = g - -1264. Is 29 a factor of n?
False
Let q be (-80)/6*(18 - 21). Suppose -3*l + 13 = -4*l - 3*s, 5*l + 3*s = -5. Suppose i + 4*v - 45 = q, 3*v = -l*i + 175. Is 6 a factor of i?
False
Let m = 20908 - 70958. Does 26 divide 3/(11/(m/(-21)))?
True
Suppose 4*v = -4*j, -5*j + 2*j + 12 = -3*v. Is 81 a factor of 2/(3/(-649)*j/(-3))?
False
Suppose -54*s + 209089 + 95633 = 0. Does 31 divide s?
False
Suppose 2*z - 4 = -4*f, -4*f = 4*z - 3*f + 27. Let g(k) be the third derivative of -7*k**4/24 + 29*k**3/6 - 6*k**2 + 14. Does 17 divide g(z)?
True
Let u be ((-22)/(-3) + -4)*3/2. Suppose 2*d + 3*p + 3 = 0, -u*d + 39 = -10*d + 3*p. Let z(y) = 3*y**2 + 4*y + 4. Does 11 divide z(d)?
True
Suppose -2*f + 20241 = 4*b - 5037, -6318 = -b - 2*f. Is b a multiple of 20?
True
Suppose 132*q - 231324 = 90*q - 81132. Is q a multiple of 3?
True
Suppose -4126*m = -4099*m - 180711. Is m a multiple of 13?
False
Suppose 0 = -20*x - 4044 + 50644. Does 47 divide x?
False
Suppose 25*b - 347424 = -52*b. Is 16 a factor of b?
True
Suppose -38*a = -63*a + 7975. Is a a multiple of 3?
False
Suppose -3*k = -3*i - k - 264, -2*i - 2*k - 186 = 0. Does 6 divide 99*6/i*-5?
False
Is 164 a factor of 33/((26156/(-13776) - -2) + (-116)/1218)?
True
Suppose -3*k = -5*h + 13, 3*h = -k + 7*h - 16. Suppose 846 = 2*v + k*t, 8*v - 6*v + t - 855 = 0. Is v a multiple of 39?
True
Let z = -442 + 376. Is (-5962)/(-38) - z/627 a multiple of 5?
False
Let h(o) = -6*o**2 + 40*o + 17. Let m be h(7). Suppose m*d + 4*n = 2042, 16*d = 19*d + 2*n - 2032. Is 12 a factor of d?
False
Let o(q) = 775*q - 247. Is 6 a factor of o(2)?
False
Let w(p) = 5*p - 4. Let z be w(5). Let x(v) = -3*v - 5*v**2 + 11*v**2 + z*v**2 + 4 - 2*v. Does 14 divide x(2)?
False
Let f(z) = z*