u = d + 31. Is u a multiple of 11?
False
Let r = 160 + 18. Suppose -r = -5*c + 307. Does 19 divide c?
False
Let v(y) = y**3 - 5*y**2 + 8*y - 6. Let o be v(4). Suppose -o*z = -5*z - 30. Does 3 divide z?
True
Suppose 5*j + 11 = -39. Let a = j - -14. Suppose -547 = -a*u - 163. Does 24 divide u?
True
Suppose -1057*a + 1519 = -1050*a. Is 22 a factor of a?
False
Is 24 a factor of 58569/(-6)*-4*(-3)/(-21)?
False
Suppose -w = -4*w. Suppose w = 5*u + 3*f - 38, 3*u + 5*f = u. Is u a multiple of 2?
True
Suppose -2*o + 39 = -o. Let r = o + -6. Does 11 divide r?
True
Does 9 divide 4 - (2702/(-7) - -3)?
True
Let u(h) = -h**3 - 6*h**2 + 4*h + 1. Let i be u(-7). Let t = i - -11. Does 11 divide t?
True
Let y be 6*(0 + (-6)/3). Let m = -9 - y. Suppose 0 = 4*n - 3*v - 127, 2*n = m*v + 42 + 29. Is n a multiple of 15?
False
Suppose 0 = -10*k - 23*k + 7260. Does 22 divide k?
True
Suppose -3*f = -2*f - 11. Let h = f - 5. Is (-8)/h*54/(-4) a multiple of 6?
True
Let j = 499 - 244. Does 17 divide j?
True
Suppose -10*y = -114 - 46. Suppose -88 = -3*q - 5*n, q - 8 = -3*n + y. Is 18 a factor of q?
True
Let c(z) = z**3 + 9*z**2 - 8*z + 6. Let l be c(-10). Let b be (-4)/l - 24/(-14). Suppose -b*h + 30 = h. Is h a multiple of 6?
False
Does 53 divide (-6)/(-4)*(11568/36 - 0)?
False
Let n = -7 - -9. Let o be (-3)/(2/12*-1). Is 20 a factor of o - 5/((-5)/n)?
True
Let k = -11 + 22. Let z = k - 11. Suppose z = -2*o + 37 - 11. Is 7 a factor of o?
False
Suppose 5*v = 10 + 5. Suppose -v*j + 4*r = -r - 22, 4*j - 3*r = 22. Suppose -j = -q + 6. Is q a multiple of 3?
False
Let t = 38 + -36. Suppose 4*f - 30 = t*f. Does 3 divide f?
True
Let i be (63/12 - 4)*4. Suppose -i*l + 0*l = 15. Is 17 + ((-12)/l - 4) a multiple of 17?
True
Let p be (-2)/(-3) - (-536)/(-12). Let n = -25 - p. Suppose 3*x - n - 35 = 0. Is 18 a factor of x?
True
Let w = 865 + -535. Does 30 divide w?
True
Let b(o) = -164*o**3 + 2*o**2 + 4*o + 3. Let r be b(-1). Let w be 2*(-2 + 2 - 20). Is r/24 + (-5)/w even?
False
Let o = 37 + -7. Does 12 divide (-5 - -1 - -4) + o?
False
Suppose 4*w = 4*h - 68, 3*w + 49 = 6*h - 2*h. Let p = w - -127. Does 18 divide p?
True
Let q be 8/(-14) - (-775)/217. Does 23 divide 46*(q + (1 + -3 - 0))?
True
Let n be 4/(-22) + 1434/22. Let w be (-1)/(1 - (-38)/(-39)). Let t = n + w. Is t a multiple of 12?
False
Let f(o) be the third derivative of o**5/30 + o**4/4 + o**3/3 + 11*o**2. Is 12 a factor of f(5)?
False
Suppose 2*g = -4*m + 3*m + 9, 3*g - 3 = -5*m. Let k be 8/(-12) + g/9. Suppose k = -q - 2*q + 96. Is q a multiple of 13?
False
Suppose 0 = -w - 5*r - 23, 2*r + 0*r = -3*w - 17. Is 39 a factor of (6 + w)*139/3?
False
Let m(n) = 110*n + 128. Is 20 a factor of m(3)?
False
Suppose 0 = -21*t + 16*t + 25. Suppose 7 - 527 = -t*j. Suppose -5*i + j - 9 = 0. Does 19 divide i?
True
Let c(m) = -34*m - 14*m - 26*m - 2. Let r be c(-10). Is 22 a factor of (-16)/(-56) + r/14?
False
Let d(u) = 4*u**3 - u + 2. Let z be d(-2). Let s = 86 + z. Does 10 divide 4/12 + s/6?
True
Let u(t) = -27*t + 106. Is u(-21) a multiple of 21?
False
Suppose -4*b = -315 + 15. Suppose -h - 3*i = -b, 5*h - 5*i - 385 = h. Is h a multiple of 18?
True
Let z = -3537 + 5140. Does 17 divide z?
False
Suppose w = 4*w - 57. Let n(k) = k**2 - 6*k. Let m be n(6). Suppose 4*r + 0*r - 17 = -3*s, -3*s - 2*r + w = m. Is s a multiple of 2?
False
Let z be (-1 - -3)*(-25)/5. Does 13 divide (65/(-25))/(2/z)?
True
Suppose -5*o + 4*h = 1, o - 2*o = 4*h - 19. Suppose -24 = -5*s + 4*l, -s - l + o = -0*l. Suppose 3*t - 5*z = s, 0 = -t - 0*z + 2*z. Is t a multiple of 4?
True
Suppose -3*q - 620 = 2*c - 6*c, 2*q + 620 = 4*c. Suppose 9*d - 205 = c. Does 4 divide d?
True
Let v(g) = -g**2 - 15*g + 32. Is 2 a factor of v(-13)?
True
Suppose -6 = -6*k + 18. Suppose 4*z + k*h + 26 = 5*z, -2*h = -5*z + 184. Is z a multiple of 7?
False
Does 22 divide (-972)/45*(-75)/5?
False
Let t(z) = z - 3. Let s be t(7). Let f be (4/6)/(s/(-30)). Let o = 2 - f. Is 3 a factor of o?
False
Let n(d) = d**3 - 8*d**2 - 2*d - 16. Let m be n(7). Let b = -45 - m. Is b a multiple of 17?
True
Let p = -93 + 239. Let r = -314 + 213. Let c = r + p. Is c a multiple of 15?
True
Let n = 22 - 34. Let p = n + 14. Suppose 6*f + p*b - 77 = 3*f, b - 27 = -f. Is 8 a factor of f?
False
Let z(b) = 112 + 0*b + b - 103. Does 4 divide z(-3)?
False
Suppose -a = a. Let s = 1 + 183. Suppose 4*k = w + s, 2*w - 7*w = a. Is k a multiple of 23?
True
Suppose -850 = -7*t + 879. Is t a multiple of 22?
False
Suppose -138 = m - 3*i - 1677, -4*m - i = -6208. Suppose -m = -0*b + b + 3*f, 0 = b + f + 1557. Is 15 a factor of b/(-28) + 2/7?
False
Suppose 456 = 705*z - 703*z. Is z a multiple of 41?
False
Let b = 367 - 154. Is 71 a factor of b?
True
Suppose -10*f + 20 = -5*f. Suppose -f*c = 13*c - 5474. Is 14 a factor of c?
True
Let z(a) = 59*a**3 - 2*a**2 + 4. Is z(2) a multiple of 39?
True
Let t be (146/6)/(1 - (-8)/(-12)). Let w = t + -14. Is 7 a factor of w?
False
Suppose 3*z = z + 258. Suppose 0 = -z*o + 128*o + 112. Does 27 divide o?
False
Let v be (20/2)/((-3)/(-42)). Suppose -6*x = -2*x - 4, v = -3*s + 2*x. Let g = s - -64. Is g a multiple of 3?
True
Let k(p) = -2*p**3 - 10*p**2 - p + 8. Suppose 0 = 5*l - l + 24. Does 18 divide k(l)?
False
Let n be 1/4 - (-44560)/(-64). Is n/(-36) + 4/6 a multiple of 20?
True
Let f be -12*14/21*2/(-4). Let y be 8/28 + 24/14. Suppose -k + y*c = f*c - 27, 5*c = 4*k - 82. Does 17 divide k?
False
Let k = -1903 - -3262. Is k a multiple of 96?
False
Let g(j) be the second derivative of j**3/6 + j**2/2 + 11*j. Does 3 divide g(4)?
False
Suppose -4*i = v + 4*v - 3, v + 5*i = 9. Let n be v/3*(-5 - -5). Suppose n = 5*r + 5*z - 205, -4*r = 2*z - 152 - 22. Is r a multiple of 12?
False
Suppose -2*c + 102 + 96 = 0. Is 13 a factor of c?
False
Suppose 5*f - 517 = -a - 57, 0 = -3*a - f + 1310. Does 15 divide a?
True
Let q = -180 - -430. Is q a multiple of 50?
True
Suppose -3*v - 9*c + 7*c + 3268 = 0, -3*v - 4*c = -3272. Is 64 a factor of v?
True
Let y be 620/(-10)*(-22)/4. Suppose -3*m = 5*o - y, 0*o = -4*o + 3*m + 289. Is 14 a factor of o?
True
Let r(y) = y**3 + y**2 + y + 22. Let n be (-43)/4 + (-12)/(-16). Let a = n + 10. Is r(a) a multiple of 11?
True
Let x be -74*1/(-10) + (-2)/5. Let q = 26 - x. Is 5 a factor of q?
False
Let x(w) = -21 - 23 + 14*w - 16 + w. Is x(5) a multiple of 3?
True
Let w(o) = -42*o - 218. Does 13 divide w(-12)?
True
Let r = 97 + -58. Let d = r - 10. Is 12 a factor of d?
False
Let y be (-4)/10 + 17/(510/(-2088)). Let a = 172 + y. Does 17 divide a?
True
Let l(a) = -a**2 + 9*a + 5. Let u be l(4). Suppose u = 4*f - 87. Is 14 a factor of f?
True
Let x(q) = q + 2*q - 2 + 2 + 4. Let i be x(2). Suppose 5*m - i = 10. Is m a multiple of 2?
True
Let s(v) = v - 8. Suppose 0 = -2*o + 2*h + 8 + 8, o + h - 8 = 0. Let l be s(o). Suppose -2*q + 4*q - 102 = l. Is q a multiple of 17?
True
Let t = 16 + -16. Suppose t*s + 12 = 4*s. Suppose 68 + 83 = 3*n - 5*h, -3*h - 153 = -s*n. Is n a multiple of 8?
False
Let c be (-5)/(10/(-168)) + 0/1. Suppose 5*w - 264 = -c. Does 9 divide w?
True
Let o = 113 - 92. Does 3 divide (-15)/(-75) + o/(-5) + 20?
False
Let a = 364 - -311. Does 15 divide a?
True
Is 18 a factor of 1 + 2 + (-5 - 24)*-1?
False
Let s = -23 - -27. Suppose -4*w + 2*k - 5*k + 687 = 0, -2*w + 336 = s*k. Suppose 13*o - w = 10*o. Is o a multiple of 9?
False
Let k(p) = p**3 - 3*p**2 + p + 4. Let y be 1*(-4)/4*-5. Does 20 divide k(y)?
False
Let b be (-2 - -4)*10/4. Suppose -g + 50 = -2*u, b*g = 3*u + 210 + 19. Is g a multiple of 5?
False
Let v = -1 - -1. Suppose v = -4*d + 5*c + 861, -2*c = -4*d + d + 644. Suppose -6*s + d = -38. Is s a multiple of 21?
True
Is 41 a factor of 164*(-6)/4*(-5)/3?
True
Let s(n) = 5 + 3*n**3 - 2*n - 2*n**3 - 4*n**2 - 10*n - 4*n**2. Let b be s(10). Suppose 0 = 3*c - 14 - b. Does 11 divide c?
True
Let g(n) = -n**2 - 10*n - 6. Let i be g(-7). Let l = -12 + i. Suppose -39 = -6*a + a + l*j, -4*a + 34 = -j. Does 3 divide a?
True
Suppose p = 2*p. Suppose 4 = -p*t + t. Suppose -10 = -t*z + 18. Does 7 divide z?
True
Suppose -7*p + 207 + 6555 = 0. Is p a multiple of 34?
False
Let d = 10 + -13. Let n(b) = -4*b**3 + 3*b**2 - 5*b - 2. Is n(d) a multiple of 33?
False
Suppose 2 = 2*l - 0*l. Let o(p) = -18*p - l - p + 0 + 0. Does 6 divide o(-1)?
True
Suppose -748 = 14*s - 2624. D