. Is 2 a factor of j?
True
Let z = -24 + 17. Let r = 8 + z. Suppose 0 = b + r - 13. Does 5 divide b?
False
Suppose 3*c - 5*g + 5697 = 6*c, -g + 9473 = 5*c. Is 17 a factor of c?
False
Suppose -19979 = -18*s - 3311. Is 16 a factor of s?
False
Let d(r) = 28*r + 122. Is 17 a factor of d(9)?
True
Suppose -3*w - 5*j + 6 = 37, -4*j - 20 = 0. Is 8 a factor of ((-8)/w - -43)*1?
False
Suppose 5*g + i - 72 = 3*i, 2*g + 2*i - 40 = 0. Suppose -5*v = g - 71. Does 2 divide v?
False
Suppose 15*t = -132 - 153. Let h(i) = 6*i + 2. Let f be h(-2). Let w = f - t. Is w a multiple of 9?
True
Let b be (-4 - (1 - -1))*2. Let f be (-453)/b + (-2)/(-8). Suppose f = 3*w - 46. Is 14 a factor of w?
True
Let t(j) = 6*j**2 + 7*j. Let f(a) = -5*a**2 - 6*a - 1. Let v(n) = -5*f(n) - 4*t(n). Is 8 a factor of v(7)?
False
Suppose 603 = 11*i - 3775. Is 8 a factor of i?
False
Suppose -p = -5*p + 4. Is 5 a factor of p + 170/4 + (-4)/8?
False
Does 17 divide (-18)/(-117) - (-119320)/130?
True
Let c = 29 - -39. Does 5 divide c?
False
Suppose 286*f - 293*f + 3052 = 0. Does 11 divide f?
False
Let h(n) = 12*n + 3 + 5*n + 16 - 4*n**2 + 3*n**2. Let x be h(16). Is 8 a factor of ((-168)/x)/(1/(-5))?
True
Let o = -189 - -71. Does 46 divide (o/(-3))/((-12)/(-54))?
False
Let c = 1865 - 925. Is c a multiple of 18?
False
Suppose 10*l - 3*l = 28. Suppose 0 = l*u + 5*f - 205, f + f - 269 = -5*u. Does 10 divide u?
False
Suppose 48*x = 9*x + 36192. Does 8 divide x?
True
Suppose 15 = 2*l + 9. Suppose t - 4*t + l = 0. Suppose -3 = -g + t, 0 = -j + 3*g + 4. Does 8 divide j?
True
Let u = -72 - -66. Let t(g) = -g**3 - 3*g**2 - g - 9. Is 15 a factor of t(u)?
True
Is 13 a factor of -9*((-34)/(-17))/((-4)/202)?
False
Let k be 12*10/45*90. Suppose k = -2*n + 3*n. Does 48 divide n?
True
Suppose -17*h + 272 = 2*u - 15*h, 680 = 5*u + 2*h. Is 12 a factor of u?
False
Let t(j) = 24*j**3 - 4*j**2 + 6*j + 13. Is t(5) a multiple of 11?
False
Suppose -4*m + 429 + 147 = 0. Is m a multiple of 8?
True
Let o = 68 + -176. Let l = -51 - o. Is 19 a factor of l?
True
Let d(o) = -o**2 - o + 2. Let p be d(0). Let h(t) = 10*t**2 - 2*t. Let b be h(p). Suppose -m = -2*c - 2*c - b, -m + 15 = 3*c. Does 7 divide m?
False
Does 24 divide 173 + (-3 + -5 - (2 - 5))?
True
Let a(u) = -u**3 + 9*u**2 - 2*u + 4. Let w be a(6). Does 2 divide 52*5/w*5?
False
Let c(x) = -18*x - 31. Suppose 4*v = 16 - 36. Is 23 a factor of c(v)?
False
Let n = 903 - 433. Does 47 divide n?
True
Let s(g) = -g**2 + 17*g + 28. Let y be s(11). Let c = -20 + y. Does 14 divide c?
False
Let n be -2 + 4/6 + 688/129. Let v(r) = 3*r - 2 + 3*r - r**2 - 2. Is 2 a factor of v(n)?
True
Let q = 15 + -7. Let v be 24/q - 5*1. Is 4 a factor of (-5 - v)*80/(-12)?
True
Let m(q) = q**3 - 20*q**2 - 40*q - 50. Is m(23) a multiple of 67?
False
Let d(l) = 3*l - 1. Let k be d(1). Let t be (14 - 13) + k*1. Suppose t*q - q - 34 = 0. Is 6 a factor of q?
False
Let c = 2497 - 1013. Is 53 a factor of c?
True
Let v = 208 + -23. Let c = v - 66. Is c a multiple of 15?
False
Let b(m) be the second derivative of 11/12*m**4 - 7*m + 0 - 1/6*m**3 + 0*m**2. Does 5 divide b(-1)?
False
Let y = 19 - 23. Is 796/12 - y/6 a multiple of 29?
False
Let g(k) = k**2 - 3*k - 1. Let u be g(4). Suppose -2*m + 55 = 3*v, -u*m = -4*v - 1 - 73. Let n = -2 + m. Is n a multiple of 24?
True
Let y be 3*-2 + (2 - 2). Let m(p) = 16*p - 49. Let z be m(4). Let q = y + z. Does 9 divide q?
True
Let m be (-160)/(-12) - (-12)/(-9). Is (m/10)/(4/110) a multiple of 9?
False
Let i = -1 + -11. Let k(r) = r**2 + 13*r + 29. Is k(i) a multiple of 4?
False
Suppose 295 = t + 2*p, 2*t + 1440 = 7*t + 3*p. Is t a multiple of 52?
False
Suppose -5*i + 9*i = 16. Suppose -3*z - 28 = i*u - 8*u, -u = 3*z - 7. Is 7 a factor of u?
True
Let s(p) = 23*p**2 - p - 1. Let w be s(-3). Let o = w + -149. Is o a multiple of 20?
True
Suppose -1513 = -5*r - 3*d, 1211 = 4*r + 9*d - 6*d. Is r a multiple of 17?
False
Is 53720/240 + (-1)/(-6) a multiple of 28?
True
Let i be (28/7 - 12)/(1 + -2). Is 4 a factor of 2/(-1) + 7/7 + i?
False
Let x = -165 + 163. Let z(o) be the third derivative of -11*o**4/8 + o**2. Is 21 a factor of z(x)?
False
Let i(x) = 2*x**2 + 13*x + 85. Does 35 divide i(-19)?
True
Let a(i) = -15*i + 5. Suppose -5*r + 5 = -5. Let l be r/1*27/(-18). Is a(l) a multiple of 25?
True
Suppose -y = -16 + 14. Suppose 3*i - 513 = -3*m - 210, y*m = -i + 206. Is 35 a factor of m?
True
Let d(v) = v**3 + 2*v**2 - 2*v + 6. Let t be d(-3). Suppose -t*g = a - 76, a - 44 = -2*g - 3*a. Is g a multiple of 13?
True
Suppose s = b - 6, 6*b = 2*b + 3*s + 19. Does 26 divide (-1)/(2/(-4)*b) - -377?
False
Let r(a) be the third derivative of 6*a**2 + 0*a + 1/12*a**4 + 1/30*a**5 - 7/120*a**6 + 1/6*a**3 + 0. Is 8 a factor of r(-1)?
True
Is 27 a factor of -1 + (-114)/(-95) + 8098/10?
True
Does 10 divide -1 + 4950/35 - 3/7?
True
Suppose 870 = 7*x - 54. Is x a multiple of 11?
True
Let v = 31 + -22. Let i = 18 - v. Suppose -w = 3*b - b - i, 5*b + 88 = 4*w. Is w a multiple of 10?
False
Suppose -2*y - y + 9 = 0. Suppose 10 = -0*l + 2*l + 4*i, -5*i + 18 = -y*l. Is 4 a factor of 11 + 2 - l - 2?
True
Suppose -a + 0*a = -8. Let i be 6/(-8)*(a + 28). Let c = i + 66. Does 10 divide c?
False
Let t(b) = 11*b**2 + 3*b - 1. Let c be t(-3). Let k = -50 + c. Is 13 a factor of k?
True
Let c = 358 - 289. Suppose -a - 3*a + 8 = 0. Suppose a*f + c = 235. Does 27 divide f?
False
Suppose -634*s = -632*s - 62. Is 2 a factor of s?
False
Let m(h) = -2*h**3 - 13*h**2 + h - 1. Let i be m(-6). Let x = i + 65. Is x even?
True
Let q = -1174 + 1694. Is 5 a factor of q?
True
Suppose 68*d = 65*d - 36. Let x(w) = -2*w - 16. Is 8 a factor of x(d)?
True
Let j = -487 + 1792. Is 9 a factor of j?
True
Is (4 - -10)*-13*4/(-2) a multiple of 26?
True
Let g be ((-40)/(-14))/((-6)/(-21)). Suppose s = g + 34. Is 15 a factor of s?
False
Suppose 391*u - 388*u - 2907 = 0. Is 51 a factor of u?
True
Suppose -2*w = 4*r + 12, -w + 3 = -3*r + 2*r. Suppose w = -3*l - 3 + 21. Suppose p - 22 = l. Is 28 a factor of p?
True
Let f be 3/(-4)*2 + 1308/8. Suppose f = 6*c + 18. Is 8 a factor of c?
True
Let m = 1252 + -912. Is 5 a factor of m?
True
Suppose c = -4*d - 2*c - 60, 4*d - 5*c = -60. Suppose 2*p = -6 - 38. Let j = d - p. Is j even?
False
Let s = -10 - -52. Let w = -24 + s. Is w a multiple of 2?
True
Is 40 a factor of (-24000)/8*1/(35/(-14))?
True
Does 5 divide -49*8/12*15/(-10)?
False
Suppose 11*y - 8 = 9*y. Let u(b) = 7*b + 8. Let m be u(y). Suppose 3*r + r = m. Is 9 a factor of r?
True
Suppose 2*u = 3*o + 484, 2*o = -2*o. Does 11 divide u?
True
Is (-30*5/(-20) - 6)*86 a multiple of 4?
False
Is 32 a factor of ((-14)/(-7) + -2605)/(-1) - 6?
False
Let f(j) = -11*j + 3. Let q be f(-3). Let c = q - -4. Suppose -2*m = -64 - c. Is m a multiple of 21?
False
Suppose -8*n + 5*n + b + 12064 = 0, 20095 = 5*n - 4*b. Is n a multiple of 9?
True
Let n(b) = b**2 - 4*b**3 + 3*b**3 + b - 1 + 3. Let o be n(0). Suppose o*u - 24 = u. Is u a multiple of 12?
True
Suppose 0*g + a + 4 = -3*g, -2*a + 6 = -g. Let r(o) = 2*o**3 + o**2 + o + 1. Let c be r(g). Let s = 3 - c. Does 5 divide s?
False
Let c be 369/(-8) - 9/(-72). Let b = c - -54. Is 3 a factor of b?
False
Suppose -3*j + 535 = -2*c, c + 45 + 665 = 4*j. Let h = j - 47. Is 23 a factor of h?
False
Is (7/(28/15))/((-20)/(-3520)) a multiple of 12?
True
Let u = -25 + 1015. Is u a multiple of 35?
False
Suppose 2*v = -v + s + 82, -v + 14 = -3*s. Let p = v + -14. Suppose -21 = -4*y + p. Does 9 divide y?
True
Let b(w) = -w**3 - 12*w**2 - 14*w + 14. Let t be (20/(-7))/(2/(-7)). Suppose -r = t + 1. Is 11 a factor of b(r)?
False
Let y = -662 + 1062. Is 11 a factor of y?
False
Let o be (24/(-18))/(4/18). Let h(p) = -p**3 - 6*p**2 + 4. Let w be h(o). Suppose 0*y - 28 = -w*y. Is 7 a factor of y?
True
Let s(c) = 2*c**2 + 2*c + 5. Does 8 divide s(-7)?
False
Let p = -2786 - -3274. Does 2 divide p?
True
Let g(v) = 4*v - v + 5*v**2 - 3*v**2 + 27 - v - v**3. Does 9 divide g(0)?
True
Suppose 0 = 2*i + 2*z - 514 - 336, -1721 = -4*i + 3*z. Let h = i - 283. Does 29 divide h?
True
Suppose 3*z - 420 = -114. Let p be (-286)/(-9) + (-4)/(-18). Let j = z - p. Is j a multiple of 25?
False
Let i(b) = -5*b - 176. Is i(-39) even?
False
Let h be 38 - 1/(3/(-9)). Let z = h - 21. Does 3 divide z?
False
Let l(d) = d**2 + 6*d + 73. Is l(-11