e 3*m + 3 = n*m. Suppose -5*w + 2184 = m*w. Is 22 a factor of w?
False
Let n = 259 - 256. Suppose 2*a + n*b - 662 - 621 = 0, a - 4*b = 658. Is a a multiple of 38?
True
Let t be 12/(-132)*(-11 + 0). Let n(i) = 562*i**2 - i - 1. Is 56 a factor of n(t)?
True
Suppose -2*d - 16610 = -5*l, -13288 = -98*l + 94*l - 4*d. Is 6 a factor of l?
False
Suppose -227*t + 1785366 = -100*t. Does 11 divide t?
True
Let x = 34212 - 16962. Is 15 a factor of x?
True
Let b(c) = 124*c - 260. Let u be b(20). Suppose u = 3*k - 2*r, -k + 0*k + 740 = -3*r. Is 16 a factor of k?
False
Does 24 divide ((-1152)/10)/((-644)/40 + 16)?
True
Suppose -2*t + 5*b = 6*b - 14, -5*b + 30 = 2*t. Suppose 6*o = 5*g + t*o - 89, -g + o = -21. Is g a multiple of 3?
False
Suppose -3 = 3*d, -2*b + 2*d - 419 = -1. Let q = b + 258. Is q a multiple of 3?
True
Let r = -624 + 620. Let p(n) = 2*n + 9. Let i be p(-6). Is 0 + 3 - ((-12)/r)/i even?
True
Suppose 2*b - 4*l - 114 = 0, 5*b - 12*l = -15*l + 285. Let n = b + -50. Suppose v + 1224 = n*v. Is 17 a factor of v?
True
Suppose -5*b = -u - 66, 5*u + 234 = u + 5*b. Let f(c) = -9*c + 11. Let s be f(-6). Let x = s + u. Does 8 divide x?
False
Let u be (-6)/(-9) + 8488/12. Let z(m) = -m**2 - 29*m + 70. Let g be z(-31). Suppose u = g*f - 124. Does 13 divide f?
True
Let t be (-7 - -3) + 9 - (-2)/(-1). Suppose 3*l - 1773 = 13*i - 17*i, t*l = -3*i + 1770. Is 12 a factor of l?
False
Let b = 911 + -489. Let o = 693 - b. Is 37 a factor of o?
False
Suppose 0 = 28*x - 5*x + 16606. Let l = x + 755. Is l a multiple of 11?
True
Let m be 2 - 2 - (-6 + (-5)/(-5)). Suppose m*o - 816 = 74. Does 8 divide o?
False
Let c(f) = -53*f**3 - f**2 - 2*f + 38. Does 68 divide c(-6)?
False
Let i(h) = -h**3 - 10*h**2 - 4*h + 23. Let o be i(-7). Let n = o + 98. Does 3 divide 4 - n - (2 + -1) - -36?
False
Let t(k) = 5*k - 3 - 27 - 1 - 3. Let l be t(16). Does 4 divide 3*1*l/6?
False
Suppose x = -4*v - 49, 4*x - x + 174 = -3*v. Let d = x - -37. Does 4 divide (d/(-15))/(3*1/60)?
True
Let r be (5 - -4*62) + -1 + 1. Suppose 5*l + j - 254 = 171, 3*l = -j + r. Suppose -38*a + 36*a + l = 0. Does 4 divide a?
False
Let h(b) = 3282*b**2 + 19*b - 13. Is 12 a factor of h(1)?
True
Let s(v) = -43*v**2 - 17*v - 11. Let g(q) = -14*q**2 - 6*q - 4. Let r(a) = 8*g(a) - 3*s(a). Let p be r(-2). Suppose 0 = -6*z + 9*z - p. Is z a multiple of 3?
True
Let n(r) = 3*r**2 + 69*r + 2550. Does 72 divide n(86)?
True
Suppose 24*c - 132456 = -15816. Is 135 a factor of c?
True
Let m(b) = 240*b - 1437. Let t be m(6). Let r = 1 - -3. Suppose 3*s - 7*s - 263 = -t*c, -c = -r*s - 101. Is 8 a factor of c?
False
Suppose 13*q - 11*q = 54. Suppose -37*a + 4340 = -q*a. Is 62 a factor of a?
True
Let w be (-4 - (0 - 1)) + 6. Suppose -s - y + 61 = 0, w*s + y - 185 = -3*y. Does 13 divide s?
False
Let i be -3 + (8 - (-98)/7). Suppose -3822 = i*b - 26*b. Does 26 divide b?
True
Let x(d) be the second derivative of -3/2*d**2 + 0 + 1/2*d**3 - 16*d + 9/2*d**4. Is x(1) a multiple of 6?
True
Suppose -4*w = -5*h - 293 - 167, -3*h + 12 = 0. Is 16 a factor of (7 - 66/10)*w?
True
Let d(p) = 38*p**2 - 100*p - 964. Is 16 a factor of d(-9)?
False
Suppose -2 = 4*o + o + 3*g, -2*o = -4*g - 20. Suppose 4*h = -5*l + 4, l = 4*h + o - 6. Does 8 divide h - -2*(-212)/(-8)?
False
Let g(j) = 179*j**2 - 1131*j + 12. Does 49 divide g(-6)?
False
Let v = 4296 - 2430. Suppose 0 = -4*r - q - 2*q + v, -1403 = -3*r - 4*q. Does 15 divide r?
True
Let c = -5 - -2. Is 26 a factor of (65/(-10))/(3/72*c)?
True
Suppose 1307*u - 1277*u - 112830 = 0. Does 24 divide u?
False
Let v(k) = 631*k - 503. Is 88 a factor of v(7)?
False
Let b(l) = -l**3 - 16*l**2 - 7*l - 13. Let w be b(-16). Let m = -94 + w. Suppose 4*o = m*o - 115. Does 23 divide o?
True
Let y = 10214 - 6822. Is 29 a factor of y?
False
Suppose 306 = -14*o - 142. Does 4 divide (18975/10)/(-11)*o/20?
True
Let z = -182 + 3829. Is z a multiple of 18?
False
Suppose 56861 = 7*w + 10808. Suppose w = 16*x + x. Is 43 a factor of x?
True
Suppose 143582 - 1647293 = -83*i. Is i a multiple of 8?
False
Let j(q) = -2*q**2 + 54*q + 30. Let t be j(28). Does 7 divide (-6043)/(-26)*2 - t/169?
False
Is 74 a factor of 666/4*8500/375?
True
Suppose 0 = 3078*f - 3114*f + 728964. Does 73 divide f?
False
Let k(v) = v**3 - 7*v**2 + 14*v - 17. Let t be k(5). Suppose -f - 4*z - 78 = -6*f, t*f = z + 44. Suppose 504 = 18*p - f*p. Is p a multiple of 18?
True
Suppose -2*s + 4*k = 32, -3*k = s + 4*s + 15. Is (8/12 + 0)*(s - -54) a multiple of 14?
False
Let u(y) be the first derivative of y**3/3 - 4*y**2 + 17*y + 8. Let p be u(14). Let o = 145 - p. Is 5 a factor of o?
False
Let j be (-3)/((-51)/2) + 31793250/1275. Does 5 divide j/48 + (-2)/(-4)?
True
Let q be (-73)/(-2) + (-6)/4. Let j be (10/q)/((-2)/(-14)). Suppose -4*d + j*d = -84. Is d a multiple of 10?
False
Suppose -324*o + 130749 = -39567 + 36828. Is 17 a factor of o?
False
Let l(q) = -259*q - 30. Let f be 98/(-10) + (-1)/5. Let u be l(f). Does 5 divide u/75 - (141/45 + -3)?
False
Let c = -93 - -97. Suppose 0 = -2*k, 3*n - 3 - 39 = -c*k. Does 10 divide n?
False
Let i(q) = -13*q**2 - q - 2. Let g be i(1). Let h = 145 - g. Suppose -2*l + 9*l = h. Is 23 a factor of l?
True
Let z(a) = 6*a**2 + 7*a + 113. Does 48 divide z(-54)?
False
Suppose -792*r = -784*r + 80. Does 15 divide (139 + r)*(-12)/(-9)?
False
Let s(g) = 301*g**2 + 23*g + 7. Let v be s(10). Does 18 divide (v/69)/(1/3)?
False
Let n be (-6 - (-108)/(-42))*42/(-4). Does 11 divide 2/20 - (-17091)/n?
False
Let d(m) = 2*m. Let y be d(1). Suppose -y*n - 3*p + 1568 = 0, p - 4*p + 2358 = 3*n. Does 79 divide n?
True
Let f be (-74)/(-10) - 4/10. Suppose -f*x = x. Suppose x = 8*m - 401 - 7. Is 29 a factor of m?
False
Suppose -3 = -2*a + 7. Suppose 622 = -4*o - 3*q, -q - 789 = a*o - 3*q. Let w = -55 - o. Is 15 a factor of w?
False
Suppose 813 + 685 = -3*p + 5*w, 0 = 4*p - 2*w + 2016. Let y = -160 - p. Is 11 a factor of y?
False
Let c(b) = b**3 + b**2 + b - 29. Let a be c(0). Let l = 31 + a. Suppose -l*v + 4*k = -252, -3*v - 3*k + 45 + 306 = 0. Is v a multiple of 30?
True
Let u = 32641 - -10021. Is u a multiple of 166?
True
Let h(b) = -67*b - 1132. Is 52 a factor of h(-72)?
True
Let b = 1820 + 4881. Does 119 divide b?
False
Let r be 4466/44 + (-2)/4. Let d = r - 47. Does 15 divide d?
False
Let i(j) be the third derivative of -j**5/60 - 37*j**4/24 + 27*j**3/2 - j**2 + 59*j. Is i(-34) a multiple of 3?
True
Let i be (-85)/(-3) - (0 - 3/(-9)). Suppose 2*v - 18 = i. Does 5 divide v?
False
Suppose -5*b + 5*g = -16005, 5852 + 3759 = 3*b + 5*g. Is 22 a factor of b?
False
Let l = -8 + -2. Let s = 24 + l. Suppose -m - 308 = -2*g, -g + s + 140 = 5*m. Does 14 divide g?
True
Suppose 3*h - m - 3003 = 0, -4*h - 5*m = -3477 - 527. Suppose 47*r + h = 60*r. Is r a multiple of 8?
False
Let q be 2 - (-48)/(-1) - (4 - 2). Let o = q - 54. Let d = o + 202. Is 11 a factor of d?
False
Let m(j) = -j**2 + 9*j - 11. Let w be m(7). Suppose w*z + 2*x = 16, -5*z - 3*x + 30 = x. Suppose -z*b + 1288 = 5*b. Is 23 a factor of b?
True
Suppose 0 = 154*x + 87*x - 35*x - 1529550. Does 45 divide x?
True
Let g(o) = 2*o**2 - 6*o. Let p be g(-8). Suppose n = -5 + p. Is 36 a factor of n?
False
Let q(y) = 530*y**2 - 2*y - 2. Suppose 4*k + 7*k + 11 = 0. Is q(k) a multiple of 32?
False
Suppose -68*h - 67*h + 114*h + 211848 = 0. Is h a multiple of 26?
True
Suppose 41 = -4*m - 3*v - 295, 4*v = 0. Let k = 87 + m. Suppose -5*w + 557 = -k*g, w - 113 = -0*w - g. Is 28 a factor of w?
True
Does 27 divide 29*77 + -12 + 378/21?
False
Let s(i) = 2*i**3 + 30*i**2 + 12*i - 9. Let h = 263 + -275. Is 65 a factor of s(h)?
False
Let h = -2904 - -1838. Let b = h - -1768. Suppose -4*z - 2*t = -b, -5*t + 3 = -2*t. Is z a multiple of 14?
False
Let f be 21/(10 + -3) - 0. Suppose -2*b + 395 = -4*m + 5*m, f*b + m - 594 = 0. Does 14 divide b?
False
Suppose 5*i - 8 = a + 10, -5*a + 4*i - 6 = 0. Suppose -6*d - 3*g - 212 = -4*d, 318 = -3*d - a*g. Let p = -74 - d. Does 6 divide p?
False
Suppose -319 = -10*k + 2321. Let a = 552 - k. Is a a multiple of 9?
True
Suppose 22 = 4*v - 3*l, -16*v + 2*l - 4 = -18*v. Suppose c - 475 = -5*d, c + 3*c - 1884 = -v*d. Is 43 a factor of c?
False
Suppose 0 = -3*w - c - 2*c + 3, 0 = -4*w + 3*c + 32. Suppose -4*x = -4*g - 12, -w*x = 4*g - 0*x - 33. Suppose -g*d = -24 - 444. Is d a multiple 