ue
Does 6 divide 6 + -4 + 15*17046/27?
False
Is 161 a factor of (-21186956)/(-167)*3/12?
True
Suppose 5*p + q = 20522, 5*p = -7*q + 10*q + 20494. Does 11 divide p?
True
Suppose -2*d - 29 = -5*z - 6*d, z - 2 = 3*d. Suppose 0 = 2*n + 2, 0 = 4*m + z*n - 282 - 65. Is 8 a factor of m?
True
Suppose 4*y + 2*k - 1810 - 1710 = 0, 2*y - 5*k = 1736. Is 10 a factor of y?
False
Let m(i) be the third derivative of -i**6/120 - 4*i**5/15 - 5*i**4/12 - 5*i**3 - i**2 - 11*i. Is m(-16) a multiple of 6?
False
Let s(q) = -q**3 - 6*q**2 - 5*q + 12. Let t be (-8)/(-16) + (-3)/(12/22). Let x be s(t). Suppose -x*b + 8*b + 356 = 0. Is b a multiple of 13?
False
Let b(i) = 40*i**2 + 3*i + 24. Let d(q) = -20*q**2 - 2*q - 12. Let p(k) = -2*b(k) - 5*d(k). Is p(-3) a multiple of 18?
True
Let z(r) = r**2 + 1. Let c be z(-2). Suppose -647 = -v - c*y, 28*v - 32*v + 2703 = -3*y. Is 28 a factor of v?
True
Let o be (-1 + -8)/((-15)/10). Is (-9)/o*3*-46 a multiple of 7?
False
Suppose 814 = -3*q - 491. Let h = -256 - q. Does 25 divide h?
False
Suppose 0 = 4*d - 3*k - 21673 + 1730, -5*d = k - 24943. Is 31 a factor of d?
False
Let f be 3/(12/76) + 5. Suppose -20*m - 744 = -f*m. Suppose l - 3*a = m, 2*a = 5*l + a - 958. Is l a multiple of 24?
True
Suppose -2*f = 7*f. Suppose u - 2*s + 1 = -0, f = u + 5*s - 20. Does 5 divide u?
True
Suppose 2*b = -25*f + 29*f + 16, -3*f - 11 = -2*b. Let d(x) = -6*x**2 - 1 + 5 - 4*x**3 + 2*x**3 + x**3 - 14*x. Is 7 a factor of d(f)?
True
Let y(j) = -j**3 - 28*j**2 + 30*j + 33. Let b be y(-29). Does 11 divide b/(-12) + (-9312)/(-18) + 4?
False
Suppose -2*g - 138 = -246. Is g/9 + (184 - 0) a multiple of 10?
True
Suppose 2*n - 21 = 3*x, 2*n - 16 = 5*x + 3. Suppose -4*l - 40 = -n*l. Suppose l + 9 = 2*o. Is 5 a factor of o?
False
Let m(p) = 4*p**2 - 38*p + 336. Is m(40) a multiple of 32?
True
Let v = -19 + 21. Suppose 0 = 4*o - 4*l - 4, 0 = -4*o - v*l + 6 + 4. Suppose -o*t + 345 = c, -4*t - c - 2*c + 695 = 0. Is t a multiple of 27?
False
Suppose 0 = 261*y - 259*y + 6, 3*u + 3*y = 16791. Is 8 a factor of u?
True
Suppose -3*j = 4*v + 23, -3*j + 5*v - 4*v = -2. Let n be (-1032)/48 - j/2. Does 37 divide (-338)/(-6) - (-7)/n?
False
Suppose 856*k - 235*k - 2210760 = 0. Is k a multiple of 5?
True
Suppose 5*c - 4683 = 50937. Suppose 0 = 44*l - 8*l - c. Does 14 divide l?
False
Let v = 9260 - 6279. Does 4 divide v?
False
Let m(b) be the second derivative of -2*b**3/3 + 27*b**2/2 - 38*b. Let u be m(7). Is 1050/24 + -3 + u/(-4) a multiple of 2?
False
Suppose 9954 = 20*y - 18*y - 5*h, 5*h = -2*y + 10014. Is 39 a factor of y?
True
Suppose 4*k + 2*a = 1138, -3*k - 2*a + 756 = -95. Is 19 a factor of -3 + (0 - -1) + k?
True
Suppose w - 2332 = -w + 3*z, 2340 = 2*w - 5*z. Suppose 0 = 9*c - 6*c - t - 862, 4*c - 4*t = w. Is c a multiple of 11?
True
Let f(i) = -4*i**3 - 4*i**2 - 6*i. Let c(z) = -3*z**3 - 3*z**2 - 4*z. Let b(l) = 3*c(l) - 2*f(l). Let s be (0 + 10/(-6))*3. Is b(s) a multiple of 20?
True
Let a = -53 - -53. Suppose -5*q + 6*z - 4*z + 103 = a, 0 = -2*z + 2. Does 21 divide q?
True
Let y(w) = w. Let t be y(0). Suppose -129 = 4*m - 7*m - c, c = t. Is 13 a factor of m?
False
Suppose v + 3*a - 4351 = 0, 0 = 16*v - 20*v + a + 17469. Is v a multiple of 77?
False
Let f(l) = -l - 6. Let g be -11 + 1 + (-1)/(-1). Let q be f(g). Suppose -112 = -5*p - y, 59 = 3*p - q*y - 19. Is p even?
False
Suppose -28 = -2*f - 5*f. Suppose 0*o + 4*n = -5*o + 19, 4*n = -f*o + 16. Suppose -4*t + 2*k = -568, 5*t + o*k - 723 = -k. Is t a multiple of 25?
False
Let r(f) = f + 14. Let u be r(-14). Suppose u = 8*b + b - 54. Let w(j) = 11*j - 8. Does 16 divide w(b)?
False
Let d(a) = -a + 3. Let r be d(-1). Suppose -5*y - 58104 = r*y. Is 5 a factor of (-2)/(-9) + y/(-108)?
True
Let s = -152 + 328. Let p be 3 + (-72)/28 - s/(-14). Suppose r + g = -0*r + p, -g = 0. Is 10 a factor of r?
False
Does 17 divide 6/(-75) + ((-168981)/(-75) - 3)?
False
Suppose -26 = u - 42. Let j = u - -271. Does 7 divide j?
True
Is 8 a factor of (1 - (3 - 5))*(1981 - -2) + 3?
True
Let f be (-4 + -2)*(-5)/30*-1942. Let d = 3575 + f. Suppose 0 = -4*m - 505 + d. Is m a multiple of 52?
False
Let a(b) = b**3 + 35*b**2 + 33*b + 38. Let z be 708/(-21) - 20/70. Does 24 divide a(z)?
True
Suppose -i + 13 = 4*o + 4*i, o + i - 3 = 0. Suppose -543 = o*u - 5*u. Is u a multiple of 6?
False
Suppose 0 = -3*j + 29*a - 33*a + 26121, 0 = a - 9. Does 21 divide j?
False
Suppose 4*m - 9 = -4*z + 35, -m - 4*z = -2. Suppose m*p - 1746 = -626. Is p a multiple of 16?
True
Suppose 0 = x - 6*x + 20. Let n(i) = x + 8*i + 1 - 2 + 3. Is 9 a factor of n(6)?
True
Let d(v) = 6*v + 24. Let q(l) = -l + 1. Let z(x) = -d(x) - 3*q(x). Let h be z(-7). Is 13 a factor of 18/27 + (-98)/h?
False
Let k(i) = i**2 + 49*i + 252. Is k(54) a multiple of 102?
True
Let h = -5 + 0. Let d(r) be the second derivative of -11*r**3/3 - 5*r**2/2 + 2845*r. Is d(h) a multiple of 13?
False
Suppose 0 = 2*h + v - 7706, 0 = 383*v - 378*v. Is 44 a factor of h?
False
Let a be ((-5 - -5) + -1)/(2/(-30)). Suppose 1402 + 818 = a*l. Is 4 a factor of l?
True
Let w = 56 + -77. Let s = -37 - -198. Let v = w + s. Is 6 a factor of v?
False
Let v(d) = 6*d**2 - 9*d + 2. Let x be v(2). Does 12 divide 51 + -1 - 7/(28/x)?
True
Let y(v) = 81 - 502*v + 86 - 195. Is 59 a factor of y(-2)?
False
Let s be (36/(-30))/(4/(-10)). Let m be (s - 19)*(-4 - 18). Suppose -m = -3*q - l, 0 = -2*q + q + l + 124. Is 17 a factor of q?
True
Let z(b) = b**2 + 11*b + 21. Let d be z(-9). Let j be d/((-30)/(-5))*4. Suppose 0*v = 3*c + 2*v - 59, 0 = 4*c + j*v - 80. Is 3 a factor of c?
True
Suppose 24*g + o = 22*g + 63291, -63292 = -2*g - 2*o. Is g a multiple of 31?
False
Suppose -15*q = -12*q - 12, -q = 3*m - 80263. Is 19 a factor of m?
False
Let x(p) = -p**3 + p**2 + 2*p + 2. Suppose 5*z + 5*u = u + 4, 0 = 2*z - 5*u + 5. Let t be x(z). Does 4 divide t*1/4 - 150/(-12)?
False
Let v(p) = 3*p**3 - p**2 - p + 1. Let j be v(1). Let o be 33/j + (-4)/(-1 - -9). Does 20 divide (0 + 70/(-3))/(o/(-96))?
True
Is 70/(-315) + ((-4)/(-10))/(27/119220) a multiple of 33?
False
Suppose -4*s = -4*n + 10892, 4*n - 13606 = -n - 4*s. Is n a multiple of 16?
False
Let w = -27 - -32. Suppose -2*a - 3*j = -4*j - 249, w*j - 15 = 0. Suppose -4*q = 26 - a. Is 3 a factor of q?
False
Let j(t) = -t - 44. Let l be j(-14). Let o = -21 - l. Does 5 divide -4 + 39/o + (-44)/(-3)?
True
Let b(n) = 2*n + 1. Let h be b(3). Suppose -h*d - 9 = -10*d. Is 9 a factor of (d - (4 - 1)) + (-220)/(-4)?
False
Let b be (0 + 3/(-2))*(-110)/33. Suppose -2*k - 6 = -b*k. Let a = 2 + k. Is 4 a factor of a?
True
Suppose -3*t - r + 22024 = 3510, t + 5*r - 6190 = 0. Does 19 divide t?
False
Let t(l) = 79*l + 10. Let s be t(-1). Is (1124/6 - (-23)/s) + -5 a multiple of 13?
True
Suppose 9*t - 4*t - 430 = 0. Let j = 68 - 86. Let p = j + t. Does 17 divide p?
True
Suppose 17*i - 122 = 82. Is 14 a factor of 9570/i*(-8)/(-10)?
False
Let m be 5 - ((-381)/2 - -2)*2. Let b = m - 327. Is 11 a factor of b?
True
Suppose 0*m + 66 = 6*m. Let k(a) = -7*a**2 - 24*a - 3. Let s(b) = 11*b**2 + 36*b + 5. Let g(l) = -8*k(l) - 5*s(l). Does 36 divide g(m)?
True
Suppose 109*i - 41*i + 39*i - 2596034 = 0. Is 9 a factor of i?
False
Is 7 a factor of 20839 - (168/36)/((-2)/(-3))?
True
Let z = 240 + -40. Suppose 401 + 57 = r + g, 2284 = 5*r + 4*g. Let l = r - z. Is 21 a factor of l?
True
Let w(o) = 28*o**2 + o - 25. Let s(m) = -m**2 - 1. Let c(f) = -4*s(f) + w(f). Is c(3) a multiple of 28?
False
Let k = 102 - 97. Let h(b) = 17*b - 39. Let w be h(k). Is 8 a factor of (-4)/(-12) + w/6?
True
Let d(k) = -6*k**3 + k**2 + k. Let o be d(-1). Suppose o*q - 2*q - 3*u = -244, 0 = -5*u + 20. Let z = -34 - q. Is z a multiple of 4?
True
Suppose 0 = -s + 4*p + 3482, -s - 50*p = -47*p - 3496. Does 132 divide s?
False
Suppose 3*w = 8*w. Suppose 3*n - 583 = 2*o, w = o + 3 + 2. Is 9 a factor of n?
False
Let s(k) be the second derivative of 7*k**3/2 + 18*k**2 + 91*k - 2. Does 8 divide s(4)?
True
Let g be (6/15)/((-16)/(-80)). Suppose -3*f + g*p = -299, f + 2*p - 88 = 9. Is 22 a factor of f?
False
Suppose 3*z - 29 = -23. Suppose 0 = z*l, -j + 3*l = 2*j - 1125. Suppose -15*c = -0*c - j. Is 6 a factor of c?
False
Does 61 divide 17 - 14/1 - (-1 + -3789)?
False
Suppose 4*n - 54 = -38. Suppose a + 1754 = 5*j + n*a, 5*a + 714 = 2*j. Does 22 divi