16 divide v?
True
Suppose -2*u - 3*u + 675 = 0. Suppose -7*f + 2*p = -4*f - 52, -3*f - 2*p + 68 = 0. Suppose -u + f = -5*j. Does 6 divide j?
False
Suppose 0 = 2*l + 283 + 481. Let i = 467 + l. Is i a multiple of 16?
False
Let f be -3 - 7/((-35)/15). Suppose -5*j + f*j = j. Does 5 divide 133 + j + 1 + (-12 - -15)?
False
Does 26 divide 687 + 0 - ((-6 + 3 - -6) + -3)?
False
Let n(l) = l**3 - 7*l**2 - 9. Let m be n(7). Does 28 divide 131/(-2)*-14 + m?
False
Let v = 4485 - -2498. Does 120 divide v?
False
Let m = 5864 + 20840. Does 13 divide m?
False
Suppose 113*k - 105101 - 204470 = -41987. Is k a multiple of 32?
True
Suppose 4*z + 4*g - 44 + 8 = 0, -z + 9 = 5*g. Suppose 0 = z*o - 1450 + 361. Is 9 a factor of o?
False
Let q be (-5498)/(-8) + 29/(-116). Let n = 1227 - q. Does 41 divide n?
False
Let f = 50 + -54. Let c be (-1)/4 + (-201)/f + -1. Let p = c - 38. Is 3 a factor of p?
False
Suppose -28 = -4*f - o + 4*o, f + 3*o = 22. Does 21 divide (-73)/(-3) + 15/(225/f)?
False
Suppose -3*z - 38603 = -5*v + 13569, -4*v + 3*z + 41734 = 0. Is v a multiple of 9?
False
Suppose -3*x + 7 = 2*u - 0, -6 = -u + x. Is 7 a factor of 16/20 + 3126/u?
False
Suppose 0 = -4*f + 7*f + 11160. Let z be (-3*10/(-18))/(70/252). Is f/36*z/(-4) a multiple of 11?
False
Suppose 0 = -8*h + 9*h - 4*q - 15895, 0 = 3*h - 5*q - 47720. Is h a multiple of 11?
False
Suppose 86 = c + 3*b, b + 161 = 4*c - 118. Suppose 5*t = -321 + 66. Let n = t + c. Is 10 a factor of n?
True
Let a(x) = -x**3 - 4*x**2 - 6*x + 2. Suppose 9*d - 612 = -0*d. Let r = 65 - d. Does 11 divide a(r)?
True
Let o = 566 - -933. Let i = 2675 - o. Does 49 divide i?
True
Let p(w) = w**2 + 10*w + 2. Let k(y) = -3*y**2 - 20*y - 3. Let z(d) = -2*k(d) - 5*p(d). Let i be (51/6)/((-1)/(-2)). Does 18 divide z(i)?
False
Let r = -9631 + 18423. Is r a multiple of 28?
True
Suppose -39 = 5*a - 259. Suppose -3*d - a + 140 = 0. Is d - 36 - 1/((-2)/284) a multiple of 34?
False
Let h(n) = 107*n - 453. Is h(24) a multiple of 15?
True
Suppose 140 = -4*y + 292. Is 27 a factor of y*1 - (4 + -4)/2?
False
Suppose 0 = 5*l - 27*v + 30*v - 55527, -4*l + v = -44442. Is l a multiple of 95?
False
Let d be (-489)/(-7) + 0 + (-212)/(-1484). Suppose -d*q + 64*q = -1410. Is 22 a factor of q?
False
Let z be 2 - (671 + 2 - -4). Let b = 247 + z. Let x = -239 - b. Does 9 divide x?
True
Suppose -7*m = -4*m - 6. Suppose 0*l - 42 = m*l. Let t = 34 + l. Is 10 a factor of t?
False
Let b = -1452 + 10102. Is 23 a factor of b?
False
Suppose 1 = -q, -m - 3*q = -3*m + 1923. Suppose 0 = b + 5, -3*f - m = -6*f + 3*b. Is 63 a factor of f?
True
Let w(f) = f**3 - 13*f**2 - 15*f + 11. Let y be w(14). Let g be -1 + y/(-5) + 66/165. Suppose g = -6*s + 304 + 320. Is 26 a factor of s?
True
Let l = -13949 - -21845. Does 141 divide l?
True
Suppose -7*y + 5*y = 12. Let u = y + 24. Let i = u - -36. Does 9 divide i?
True
Let i(u) = 63*u**2 - 35*u - 1073. Is i(-16) a multiple of 45?
True
Suppose -2*k + 9 = -j - 44, 0 = -k - 3*j + 44. Does 32 divide 64/(147/k + -5)?
True
Is 102/2907 + (-32142)/(-171) a multiple of 5?
False
Let h(i) = 72*i**2 - 168*i + 132. Is 79 a factor of h(22)?
True
Let z = 14807 - 810. Is 30 a factor of z?
False
Let v = -403 - -1244. Let z = v + -238. Is z a multiple of 28?
False
Let r = 26308 + -11220. Is 82 a factor of r?
True
Let n(y) be the third derivative of -y**5/60 + y**4/8 + 11*y**3/6 + 63*y**2. Is n(3) even?
False
Let v(g) = 3*g**2 + 95*g - 740. Does 62 divide v(-56)?
True
Suppose 4*v + 36 = 3*s, 3*s + 0*v + 4*v - 12 = 0. Let a(o) = 3*o**3 - 23*o + 19*o - 4*o**3 - s + 7*o**2. Is a(5) a multiple of 14?
False
Suppose -6*s - 3 = -9. Does 4 divide ((-195)/10 + -10)/(s/(-2))?
False
Let n(x) = -5*x**2 - 15*x - 2. Let o be n(-7). Let k = 259 + o. Is 29 a factor of k?
False
Let g = 31320 + -21893. Is g a multiple of 11?
True
Let c = -85 - 287. Let u = -332 - c. Is 5 a factor of u?
True
Let j(g) = 2*g**3 + 12*g**2 - 19*g + 8. Is 3 a factor of j(-5)?
True
Suppose 18*k - 84809 - 414151 = 0. Is k a multiple of 72?
True
Let s = 3712 + -3752. Suppose 3*m - 122 = 4*m. Let w = s - m. Is 41 a factor of w?
True
Suppose -3*h + 40 = -5*f, 0*f + 5*h = 3*f + 8. Let d(t) = t**2 + 7*t + 12. Let p be d(f). Suppose -129 - p = -5*m. Does 7 divide m?
False
Let v(n) = n**3 + 5*n**2 - 5*n + 10. Let q be v(-6). Suppose q*g + 1 = 21. Suppose 4*k - g*w - 224 = -w, -2*k + 4*w + 112 = 0. Is 13 a factor of k?
False
Suppose -5*f + 25 = -2*v, -4*f + 5*v = -34 - 3. Suppose -h + 30 + 35 = -5*k, f*h - 5*k = 245. Does 30 divide h?
True
Let y(p) = p**3 + 7*p**2 - 11*p - 14. Suppose 112 = -3*h - 2*z, -3*z + 96 = -4*h - 42. Let f be -6 - ((-4)/(-5) - h/(-45)). Is y(f) a multiple of 17?
False
Let r be (-1)/(-6) - (7 + 7592/48). Suppose 5*d = -0*w - 5*w - 570, -4*d + w = 471. Let b = d - r. Is b a multiple of 3?
True
Let s(u) = 6*u**2 + 182*u - 862. Is 25 a factor of s(-42)?
False
Let d(n) = -23*n**3 - 10*n**2 - 24*n + 19. Is 19 a factor of d(-5)?
False
Suppose 11*l - 1167 = 406. Is 3 a factor of l?
False
Suppose 0 = -f + 5*f - 8. Let a(z) = 17*z**2 - 2. Let j be a(f). Suppose j = 3*v - 174. Is 8 a factor of v?
True
Suppose 5*w = -3*f + 1950, -2*w + 552 = -4*f - 228. Is w a multiple of 11?
False
Suppose 2*x = -8, 64 = -2*z - 2*z + x. Is 23 a factor of (183/9)/(z/(-153))?
False
Let w = 94 + -181. Let s = -85 - w. Suppose 0 = 4*k - s*k - 42. Does 10 divide k?
False
Suppose 0 = -118*m + 154978 + 949502. Does 12 divide m?
True
Suppose -2*j - 4*q = -0*j - 22, 3*j - 29 = -5*q. Suppose 2*y - 2*w = -0*w + 146, j*y - 2*w = 219. Suppose -68*c - 160 = -y*c. Is 8 a factor of c?
True
Suppose -2*j = -2*o + 816, -j = -6*j - o - 2052. Is (66*(-7)/(-105))/((-2)/j) a multiple of 41?
True
Let h be -37 + 40 + (-1 - -1). Suppose -h*v + 2056 = 322. Is v a multiple of 25?
False
Suppose -3*g = -2*g - 3. Suppose -g*m - 4*n = n - 45, 0 = -4*n. Suppose m*b = 11*b + 644. Is b a multiple of 35?
False
Let k(p) be the third derivative of 2*p**4 - 3*p**3 - 8*p**2. Let l be k(-3). Does 25 divide 2/(-9) - 24336/l?
True
Let a be (-4610)/14 - 2/(-7). Suppose 0*l - 2*l = -1138. Let w = l + a. Is w a multiple of 24?
True
Let n(h) = -h**3 - 20*h**2 + 78*h - 48. Does 58 divide n(-30)?
True
Is 34 a factor of 7 - -9304 - 245/(-49)?
True
Suppose 4*m + 4*f = -1248, 0 = -3*m + f - 683 - 273. Let c = m - -382. Is c a multiple of 13?
True
Let z(u) = u**2 - 9*u - 68. Let t be z(-5). Suppose -5*n + 2*n = -30. Suppose t*j - 298 + n = 0. Is 12 a factor of j?
True
Is 9 a factor of ((-2886)/444)/(3/(-7830))?
True
Let p(r) = 1369*r**3 - 11*r + 26. Is 44 a factor of p(2)?
True
Is (94/(-6))/((-88)/32208) a multiple of 61?
True
Let b(k) be the first derivative of 1/4*k**4 - 6 + 5*k + 1/3*k**3 - 5/2*k**2. Is b(2) a multiple of 4?
False
Is ((24/14)/1)/((-63)/25955496*-56) a multiple of 7?
False
Let g = 2078 + -1384. Suppose -g = 13*o - 2319. Is o a multiple of 12?
False
Let k be ((-24)/15)/((-4)/20). Let z(g) = 38*g + 45. Does 23 divide z(k)?
False
Suppose -3*s = 4*o - 20, 0*s + o = 3*s - 10. Suppose s*y + y = 2340. Is y a multiple of 36?
True
Let u(m) = m**3 + 12*m**2 - 8*m + 6. Let n(z) = z**3 + 4*z**2 - 3*z - 1. Let t be n(-5). Let d be u(t). Let s = d + -82. Is 22 a factor of s?
False
Let p = 1 - -2. Suppose f = p*f - 42. Suppose -43 - f = -4*o. Does 8 divide o?
True
Let w = -5683 - -5929. Is w a multiple of 3?
True
Suppose 21 = 5*c + 4*u, 2*c + 2*c - 2*u = 22. Suppose -4*w + 3*r = -2441, w - 120 - 503 = c*r. Does 16 divide w?
True
Suppose -5*v - 61838 = -2*s - 8*v, -4*v = 3*s - 92755. Is s a multiple of 11?
False
Let y = -78 + 30. Let n = y - -52. Suppose 4*x = -n*u + 120 + 644, u + 2*x - 190 = 0. Does 13 divide u?
False
Suppose 5*n + 2*l = -2, 2 = -3*n + 4*n - 2*l. Suppose n = 7*y - 854 + 105. Is y a multiple of 28?
False
Let h be -3 + 1 + (-5 - -665). Suppose -4*y + h = 10*y. Does 9 divide y?
False
Suppose 267236 + 77694 = 364*a + 12962. Does 8 divide a?
True
Let p(a) = 2*a**3 + 17*a**2 + 9*a + 10. Let l be p(-8). Suppose -2*m + 5*s + 849 = 0, 4*m - l*s - 839 = 883. Is m a multiple of 20?
False
Let l be 1 + 3 + (-9)/((-72)/1408). Let x = -120 + l. Is 7 a factor of x?
False
Let w(r) = 4*r**2 - 388*r + 773. Is w(97) a multiple of 44?
False
Suppose 5*g = 3*g - 8150. Is ((-5)/(-25))/((-5)/g) a multiple of 27?
False
Let h be 5 + ((-5)/5 - -166). Sup