= 0. Is 4 a factor of i?
False
Is 186 a factor of 4/(277529/166467 - 30/18*1)?
False
Let v(n) = 6852*n**2 + 48*n - 22. Is v(2) a multiple of 91?
True
Is (21/2)/((-429)/(-150436)) a multiple of 75?
False
Is (102/9)/((-13)/((-17745)/14)) a multiple of 20?
False
Let g(b) = b**3 - 14*b**2 + 8*b + 51. Let s be g(13). Is (s - -4) + 528 - 2*1 a multiple of 43?
True
Let t = 14290 + -9106. Is 27 a factor of t?
True
Suppose 614790 = 16*u + 13*u - 14*u. Is u a multiple of 46?
True
Let u = -79 + 80. Suppose u - 19 = -6*o. Is 33 a factor of -5 - -39 - -4*o/(-12)?
True
Is 45 a factor of (-5 + 852/(-8))*(-165 + 91/7)?
False
Let d(m) = -m**3 - 5*m**2 - 2*m + 10. Let y be d(-5). Suppose 0 = -15*f + y*f - 105. Is 39/4 - f/28 a multiple of 9?
True
Is 9 a factor of (1040/(-30) + 2)*-225?
False
Let d(f) = -f + 1. Let k be d(-7). Suppose 3*r - r - k = 0. Let n(q) = 28*q + 4. Does 35 divide n(r)?
False
Suppose 56*g - 63*g + 21063 = 0. Suppose g = 15*a - 3636. Does 7 divide a?
False
Let d(h) = 10*h**2 - 6*h + 9. Let y be d(5). Suppose -c - 29*s + 223 = -30*s, -c + y = 5*s. Is c a multiple of 16?
True
Suppose -3*j = -4 - 14. Suppose j*l = 4*l + 66. Is (-2 - -238)*l/44 a multiple of 37?
False
Suppose 6*n - 2*n = -36. Is (115/(-10) + -4)/(n/144) a multiple of 8?
True
Let c = 32417 + -14810. Is 63 a factor of c?
False
Suppose 0 = -10*i + 14*i - 16. Suppose z - 373 = -i*o, 5*o + 0*z = 2*z + 450. Let t = o - 12. Does 8 divide t?
True
Suppose 14*q + 59 = -11. Let k be (5 - (q - -1)) + -5. Suppose 0 = -k*z + 383 + 521. Is 33 a factor of z?
False
Let b(h) = h**3 - 12*h**2 + 12*h - 11. Let x be b(11). Let k be (2/1)/(-2)*(x + 1). Is 13 a factor of 372/(-31)*-5*k/(-2)?
False
Let d = 70 - 60. Let n be 5/(-10) + -1 + d/(-4). Is n/(-10) + 344/40 + 0 even?
False
Let x(t) = -6*t**3 + 11*t**2 + 48*t + 133. Does 12 divide x(-5)?
False
Let n(x) = -2*x - 7. Let y be n(-12). Let g = y + -13. Suppose g*f = 4*u + 620, -4*f + 2*u = -f - 466. Is f a multiple of 17?
False
Let r(b) = -35*b + 15*b - 19*b - 47 + 44. Let f be r(-1). Suppose -4*w = -160 + f. Is w even?
False
Suppose 310*c - 8772022 = -2309762. Is 8 a factor of c?
False
Let o = -107 - -178. Let k = 78 - o. Suppose -692 = k*g - 1721. Does 18 divide g?
False
Is (0 + -8 - (20 - 29))*5615 a multiple of 18?
False
Let w be (-2)/(0 + 2) - (-10 - -9). Suppose w = 10*u - 12*u + 6. Suppose 6*f - 94 = 3*f - 5*s, 5*f = -u*s + 162. Is 11 a factor of f?
True
Suppose 5*s + 0*p = -2*p + 749, -4*s = -2*p - 592. Let d = s + -117. Does 3 divide d?
False
Let k = -1442 - -2071. Does 9 divide k?
False
Suppose 97 = -2*z + 461. Suppose -v - 6*v = -z. Is 13 a factor of v?
True
Suppose l + 2*j + 11 = 0, -7 - 8 = 3*j. Let x = l + 16. Suppose 0 = -x*u + 11*u + 456. Is u a multiple of 19?
True
Let k(i) be the third derivative of i**5/30 + i**4/4 + i**3/2 + 3*i**2. Let q = -925 + 918. Does 14 divide k(q)?
False
Let l(h) = -1887*h**3 + 8*h**2 - 18*h - 25. Does 8 divide l(-1)?
True
Let b be (28/(-10) + 2)/((-3)/30). Let a = b + -24. Let x(r) = r**3 + 16*r**2 - r + 28. Does 11 divide x(a)?
True
Let u = -87 + 89. Suppose -u*j = -j + 3*h - 1, -2*j - 5*h + 5 = 0. Is 273 + ((-6)/j)/(3/15) a multiple of 45?
True
Suppose -90*i + 2137246 = 242*i - 2869314. Is i a multiple of 29?
True
Suppose 23*q + q - 154364 = -13*q. Is 84 a factor of q?
False
Suppose -3*h - 12 + 71 = 4*w, 2*h - 5*w = 24. Suppose -36 = h*x - 23*x. Is 17 a factor of ((-4)/x)/(7/(-2436))?
False
Let v = -35307 - -50972. Is 127 a factor of v?
False
Let v(p) = -5*p**3 - 19*p**2 + 22*p - 19. Let r(i) = 9*i**3 + 39*i**2 - 43*i + 39. Let o(a) = 3*r(a) + 5*v(a). Is 21 a factor of o(-11)?
True
Let i(p) = 37*p + 182. Is 43 a factor of i(16)?
True
Let u be ((-2948)/(-18) + 6/27)*1. Is 3/(94/u + 10/(-20)) a multiple of 4?
False
Let o(m) = -9*m**2 - 6*m + 48. Let k be o(9). Let q = k + 1287. Does 48 divide q?
False
Let g = -9716 + 13011. Is g a multiple of 5?
True
Suppose 4*c - 244 = -3*t + 5*t, -3*c + 2*t + 185 = 0. Suppose 1925 = 5*p + 3*s, -p - c = 2*s - 444. Does 8 divide p?
False
Suppose -40 = -4*v + 4*f, 0 = f - 3 - 1. Suppose -17*m = -v*m - 651. Does 31 divide m?
True
Let c(n) = -126*n - 110. Let p be c(-24). Suppose p = 3*k + 2*q, 3*k + 5*q - 2899 = 6*q. Is k a multiple of 39?
False
Suppose 0*a = -4*a + 32. Suppose 7 + a = 3*i. Suppose i*k + 11 = 71. Does 3 divide k?
True
Let b = 1007 - 1790. Let r = -189 - b. Is r a multiple of 11?
True
Let k = 68356 + -47311. Does 61 divide k?
True
Let z be -16*(-3 + 2)*2. Suppose -16*l = -2650 + 1146. Does 15 divide (l/(-8))/((-8)/z) - -2?
False
Suppose 84*o + 14616 = 92*o. Does 22 divide o/35 - 3/15?
False
Let g(i) = i**3 - 38*i**2 + 2*i + 70. Let s be g(38). Let n = 497 + -271. Let b = n - s. Does 20 divide b?
True
Let h = 33 - 36. Let t be h*(-40)/(-18)*3 - 1. Let x = -13 - t. Does 2 divide x?
True
Suppose -4*w + 1048 = -4*k - 0*w, -2*w + 258 = -k. Let d be k/(-21) + (-4)/6. Is 28 a factor of (5/((-50)/32))/(d/(-210))?
True
Let s(l) = l**2 + 5*l + 2. Let f be s(-4). Let x = f + 44. Let k = -9 + x. Is 11 a factor of k?
True
Let l be ((-3)/(-6))/((-8)/(-32)). Let d(g) = -6*g**2 + g + 10*g**l - 3 - 2*g**2 + 3*g. Does 6 divide d(-5)?
False
Suppose -103*c + 98*c - 5 = 0, -3*h + 3*c = -771. Is (5/(60/h))/(8/48) a multiple of 8?
True
Let x(c) be the third derivative of c**5/30 + c**4/8 - 19*c**3/3 - 125*c**2. Is x(-11) a multiple of 8?
False
Let w(i) = -244*i - 328. Is w(-38) a multiple of 15?
False
Let s = 209 - 279. Let l = 278 - s. Is 10 a factor of l?
False
Suppose -53*j - 62*j + 17*j = -779100. Is j a multiple of 124?
False
Let a = -2310 + 12912. Is a a multiple of 21?
False
Let t(v) = 2*v**2 + 17*v + 16. Let u be t(-8). Is 5 a factor of 48 + 72/u - (3 - 1)?
True
Let s = 342 + 2008. Does 10 divide s?
True
Suppose 4*p - 5*g - 5 + 12 = 0, 0 = -3*p + g + 3. Suppose -3*j + 2*i - i = -344, -230 = -p*j + i. Is j a multiple of 46?
False
Let c be 4 + -1 + 0 - -94. Suppose -89*p - 472 = -c*p. Is 10 a factor of p?
False
Let s(g) = -g**3 + 15*g**2 - 5*g - 14. Let l be s(6). Let i = 628 - l. Is 58 a factor of i?
True
Let u(k) = -2*k**3 + 10*k + 71. Let w be u(-6). Is (-3)/(440/w - 1) a multiple of 6?
False
Suppose -22*a + 96 = -19*a. Let z be ((-108)/(-8))/(58/a + -2). Let j = z + 102. Is 15 a factor of j?
True
Let c(i) be the third derivative of i**6/60 - i**5/20 + i**4/24 + 11*i**3/6 + 92*i**2. Suppose 4*w - 7 = 13. Is 23 a factor of c(w)?
False
Let p be ((-34)/6)/((-6)/(-234)). Let d = p + 277. Is 5 a factor of d?
False
Let t(o) = 5*o + 12. Suppose 4*y - 16 = -s + 5*s, s + 4 = 2*y. Let h be t(y). Suppose -11*a - 208 = -h*a. Is a a multiple of 38?
False
Let r(v) = v**3 - 6*v**2 + 48*v - 93. Does 98 divide r(11)?
False
Let g = 7992 + -7011. Is 14 a factor of g?
False
Suppose 2*w - 11944 = 4*t, -1576 + 19437 = 3*w + 5*t. Does 11 divide w?
True
Let d = -155 + 690. Let s(p) = -15*p - 30. Let n be s(-2). Suppose n = -7*b + 12*b - d. Is 18 a factor of b?
False
Let q be (27/15)/(5/(-25)). Let w(y) = y**3 + 9*y**2 - 2*y - 20. Let u be w(q). Is (6 + u - -24) + (0 - -2) a multiple of 5?
True
Let o = 33133 + -14773. Is 12 a factor of o?
True
Suppose -2*t + 5 = 3*t - 4*w, 3*w - 20 = -t. Let l = -17433 - -17455. Suppose l = 2*q - v, -t*q + 5*v = -2*q - 19. Is q a multiple of 9?
False
Suppose 81*w - 934912 = 1057931. Does 59 divide w?
True
Let r = -2824 - -4031. Is r a multiple of 71?
True
Let u(z) = -252*z - 2014. Does 2 divide u(-9)?
True
Let o = -6 - -2. Let g(j) be the second derivative of -j**3/6 - j**2 - 640*j. Is g(o) a multiple of 2?
True
Let s = -914 - -5429. Is 43 a factor of s?
True
Let i(f) = -f**2 - 23*f + 80. Let z be i(-26). Suppose 0 = z*c + 4, 2*t = 5*c + 732 + 798. Does 40 divide t?
True
Suppose 4*o - 4 - 28 = 0. Let z(w) = 6 + 8*w**2 + w**3 + w - o*w**2 - 14*w**2 + 3. Is z(14) a multiple of 5?
False
Suppose -4*m = 4*n - 1732, 3*n = -5*m + 1451 + 712. Suppose 2*s = -3*d + 426, 4*s - m = -4*d + d. Let w = -57 + d. Is w a multiple of 24?
False
Let l(q) = 6*q**3 - q**2 + 28*q - 97. Is 11 a factor of l(6)?
True
Suppose 3*f - 5*d - 7 = 0, -56*d + 55*d + 5 = f. Suppose -k - v - 691 = -f*k, -4*v + 1146 = 5*k. Is k a multiple of 10?
True
Let h(c) = -16*c**3 - 4*c**2 - 4*c. Let r be h(-2). Does 2 divide (r/16)/((-1)/(-3 - -1))?
False
Let m(r) = r**3 - 12*r**2 - 41*r + 240. Is 2 a f