l a multiple of 3?
False
Let v = -11429 + 17271. Is 2 a factor of v?
True
Let c(f) = f - 3. Let s be c(3). Suppose s = 2*i - 5*i - 4*l + 106, 0 = -i + 2*l + 22. Is i a multiple of 2?
True
Let v(m) = 2*m**2 + 24*m + 44. Let x be v(-10). Suppose 136 = x*l + 3*r + r, -2*r = -2*l + 72. Is l a multiple of 35?
True
Is 438507/270 - (-8)/(-80) a multiple of 7?
True
Let a = -330 + 162. Let g = 401 + a. Does 11 divide g?
False
Let j(a) = -4*a**3 + 12*a**2 + 2*a + 2. Let v be j(5). Let d = 248 + v. Is 4 a factor of d?
True
Let w(g) = 7*g**3 + 2*g**2 - 7*g. Let b(i) = 21*i**3 + 5*i**2 - 22*i + 1. Let u(m) = -2*b(m) + 7*w(m). Does 13 divide u(3)?
True
Suppose -9999 = -98*j + 9209. Is 7 a factor of j?
True
Let z(r) = r**3 + 14*r**2 - 103*r - 51. Does 51 divide z(17)?
False
Suppose 3*y = -5*c + 3*c + 44, -2*c + 30 = 2*y. Is 35628/66 - y/(-77) a multiple of 45?
True
Suppose 17 = -z + q + 61, -q = 5*z - 226. Suppose 12 = -z*l + 41*l, -2*l + 259 = 5*f. Does 3 divide f?
False
Is 182/4*(-473100)/(-2905) a multiple of 26?
True
Let n(t) = 2*t - 20. Let d be n(11). Suppose -d*x + 5*v = -473, 2*x - 5*v - 468 = -v. Is 28 a factor of x?
True
Suppose -24*x + 27*x = 2880. Suppose 27*p - 17*p = x. Is p a multiple of 8?
True
Suppose -3*k + 6882 = 3*p, 4582 = 2*p - 2*k + k. Does 16 divide p?
False
Suppose -666 = 32*a - 41*a. Let j = a - -20. Does 21 divide j?
False
Suppose 0 = w - 5. Suppose -2*n + 6 = 0, 5*f + w*n - 17 = 23. Suppose f*z - 2*g = -3*g + 300, -2*z = -g - 120. Is z a multiple of 15?
True
Let p be -2 + (0 - (4 + -10)). Suppose -5*f = -3*n - 105, 89 = p*f - 5*n + 18. Is f a multiple of 24?
True
Let t = 612 + -612. Suppose -2*y - 18 = -4*u, -4*u = -y - 15 - 6. Suppose t = u*b + b - 224. Is b a multiple of 7?
False
Let s = -3539 - -18844. Is 36 a factor of s?
False
Let d(y) = -1315*y - 3875. Is 30 a factor of d(-5)?
True
Let l = 416 - 416. Suppose -12*w + 66 + 726 = l. Is 4 a factor of w?
False
Let p(m) = m + 3. Let y be p(-1). Suppose 0 = 5*i + y*f - 92, 0 = 4*i - 3*f - 0*f - 92. Suppose 6*x - 181 = 3*x + 2*g, -5*g = -i. Is x a multiple of 9?
True
Suppose -10*t = 40 - 20. Let u(b) = 31*b**2 + 2*b - 9. Does 11 divide u(t)?
False
Suppose -5*j = 2*g - 1949, 2*j - g = -2*j + 1567. Let p = 484 - j. Does 23 divide p?
False
Suppose 4*v - 82 = -3*c - 0*c, v = 4*c - 103. Suppose -2*n + 4*g + 0*g = c, -3*n + g = 29. Let a = 47 - n. Is 28 a factor of a?
True
Suppose -2*r = 5*a - 30, 3*r - 2*r = -3*a + 16. Let p(v) be the first derivative of 5*v**2 - 45*v + 954. Is 12 a factor of p(r)?
False
Suppose -2*k - 2*k = 1192. Let l = 874 + k. Is l a multiple of 80?
False
Let j be (-1)/((-8)/(-642))*(-168)/(-63). Is (-16 - 4)*j/8 a multiple of 67?
False
Is 168/(-42) + (4 - -20505) a multiple of 71?
False
Suppose 8*h + 1516 + 1356 = 0. Is (-3)/(-15) - (-3 + h/5) a multiple of 15?
True
Suppose -s - 2041 = 11*i - 9785, 0 = -3*s + 4*i + 22936. Does 66 divide s?
True
Let y be ((-2)/(-5))/(-1) + (-1330)/175. Let g = y - -8. Suppose 3*b - 2*k - k - 72 = g, 3*b = k + 80. Is b a multiple of 28?
True
Suppose 19096 = 88*j - 44*j. Is j a multiple of 31?
True
Is ((-170)/(-34))/((-5)/(-35491)) a multiple of 10?
False
Let k be (555/((-9)/(-3)))/(-1). Let q = -533 - k. Let w = -194 - q. Is w a multiple of 11?
True
Let g = -325 + 758. Let q = -277 + g. Does 13 divide q?
True
Let n(l) = -1816*l**3 - l**2 + 119*l + 246. Does 6 divide n(-2)?
True
Suppose 12312 = 4*b + 3*i - 5*i, 4*b - 5*i = 12324. Is 32 a factor of b?
False
Let x(k) = -k**3 + k**2 + k + 1. Let o(a) = 12*a + 4*a**2 - 32 - 3*a**3 + 36 + 2*a**2 + 6*a**2. Let q(g) = -o(g) + 4*x(g). Is q(-7) a multiple of 2?
False
Let o be ((-3)/4)/(81/(-26136)). Is 450*(76/66 + 44/o) a multiple of 49?
False
Suppose -517*a + 507*a + 21260 = 0. Is a a multiple of 41?
False
Does 16 divide (-8)/((-160)/68)*(-365)/(-1)?
False
Let s(n) = 9*n**2 + 4*n + 352. Does 9 divide s(20)?
True
Let s = -1457 - -3883. Is s a multiple of 58?
False
Let g = -349 - -321. Let r be 2 - 8/(0 + 2). Is 10 a factor of (g + 8)/(r/1)?
True
Let i(l) = -l + 145. Suppose 27*f = -720 - 63. Does 58 divide i(f)?
True
Let q(b) = -6*b**2 + 18. Let i = 24 + -22. Suppose -4*y + 3*j - 6 = 0, -4 = y + i*y - 2*j. Does 3 divide q(y)?
True
Suppose b = i - 1185 - 1126, 4*i = 5*b + 9250. Is i a multiple of 10?
False
Let j be -90*(306/(-15))/(-2). Is j/68*(-12)/1 a multiple of 13?
False
Let o = -62 + 62. Suppose o = 2*k + 106 + 66. Let v = k + 149. Is v a multiple of 10?
False
Let y(n) = -8*n - 3. Let g be y(-1). Let a(x) = 18*x - g*x - 17*x - 38*x + 9. Is a(-3) a multiple of 20?
False
Suppose 51*m - 53*m - 83927 = -43*m. Is m a multiple of 16?
False
Is 24 a factor of 727/(8 - (5 - -2))?
False
Let v be (48/18)/(6/9). Suppose 211 = v*h - 3*m, 4*m - 2*m = -3*h + 154. Suppose 3*r - 2*j - 32 = -0*j, -h = -5*r + 3*j. Is r a multiple of 5?
False
Suppose d + d + 30 = 5*h, 40 = 5*h - 4*d. Suppose 4*n = h*k - 30 - 46, 80 = 4*k - 3*n. Does 10 divide k?
False
Let x be (-1 - 4)*((-870)/5)/6. Is 3 a factor of 2/(-10) + 15254/x?
True
Suppose -969*x - 80661 = -976*x. Does 69 divide x?
True
Let a(o) = 19*o**2 - 15*o - 30. Let v(r) = r**3 + 9*r**2 + 8*r - 2. Let y be v(-8). Is a(y) a multiple of 19?
True
Let c(r) = 7*r**2 + 13*r - 1484. Does 6 divide c(-41)?
True
Let u be 10/60 - 5998/(-12). Let d = -295 + u. Let m = 320 - d. Is m a multiple of 18?
False
Let m = 396 + -400. Let i(v) = 3*v**2 - 20*v - 19. Is i(m) a multiple of 25?
False
Let t = 11 - 7. Suppose 0 = t*n + 2*n - 762. Let h = 217 - n. Does 13 divide h?
False
Suppose 5*a - 5*t - 308 = -13, a - 69 = -4*t. Let y = 58 - a. Is 7 a factor of ((-48)/(-32))/(y/(-70))?
True
Let r = 45 + -18. Suppose 32*k - r*k = 580. Does 4 divide k?
True
Let z(u) = -1012*u + 958. Does 86 divide z(-13)?
False
Let z(c) = -3*c**3 + 18*c**2 + 63*c - 140. Does 35 divide z(-13)?
False
Let c(s) = -2*s**3 - 114*s**2 - 56*s + 59. Is 8 a factor of c(-57)?
False
Let b(x) = 3293*x**3 + x - 1. Let z be b(1). Suppose -z = -5*a + 197. Does 81 divide a?
False
Let z be 5 + 11 - (-2)/4*-8. Does 30 divide (-1011)/(-6) - z/(-8)?
False
Let i(y) = 130*y - 2870. Is i(35) a multiple of 35?
True
Let t(g) = 48*g - 2. Let i be t(1). Let b = i - -70. Suppose 14*h + b = 16*h. Is 10 a factor of h?
False
Let w = 847 + -568. Suppose -316 = -7*a + w. Let f = a - 25. Is 14 a factor of f?
False
Let h(n) = -2*n**3 + 28*n**2 - 27*n + 14. Let b be h(13). Suppose -4*x - b = -2*o - 375, 6 = 2*o. Is 19 a factor of x?
True
Let q(a) = -21*a + 50 + 8*a + 41*a + a + 45*a. Is q(8) a multiple of 39?
False
Let n be (19/((-513)/(-2232)))/(2/15). Suppose -u - 3*x - n = -1713, -2*u + 2231 = -3*x. Does 30 divide u?
False
Let j be -2 - -3*2/(-6). Let c(b) be the third derivative of -b**4/8 - 25*b**2. Does 4 divide c(j)?
False
Let w be (-1)/2 + 687/(-6). Let x(m) = -6*m**3 + m**2 - 22*m - 62. Let b be x(-3). Let g = b + w. Does 11 divide g?
False
Let d = -53 - -25. Let o = d + 86. Does 3 divide o?
False
Let d be ((-13)/((-65)/50))/(2/44). Suppose -42*t + 41*t = -d. Does 17 divide t?
False
Let f(k) = 498*k + 2976. Does 18 divide f(37)?
True
Suppose 0 = 4*m + 197 - 381. Suppose 0 = 30*s - m*s + 14912. Does 14 divide s?
False
Let o(r) = 3*r**2 - 14*r + 57. Let t be o(9). Let u = t + -147. Is u a multiple of 9?
True
Let h(x) be the second derivative of x**4/6 + x**3/3 - 3*x**2/2 + 18*x. Let w be h(5). Suppose 5*s - 148 = w. Does 25 divide s?
False
Let j(k) = -k**3. Let b(o) be the first derivative of -o**4/4 + 3*o**3 - 5*o**2 - 19*o + 14. Let u(r) = -b(r) + 2*j(r). Does 5 divide u(-10)?
False
Let x(m) = -9*m + 16. Let t = 86 + -64. Suppose 0*n + 2*n + t = -4*u, -5*u = -5*n + 65. Is 19 a factor of x(u)?
False
Let s(k) = 11*k**2 - 8 + 56 + 4*k**2 + 14*k**2 + 5*k**2 - k. Is s(-4) a multiple of 7?
False
Let w(o) = 9*o - 32. Let g be w(4). Suppose 0 = 3*d - 3*y - 2307, -9*d - y + 3851 = -g*d. Is 35 a factor of d?
True
Suppose -9*h - 7625 - 673 = 0. Let y = h - -1048. Is y a multiple of 18?
True
Let z(m) = -4*m + 3. Let k be z(1). Let d be (4 + (-6 - -3))/k. Is (d + 2/10)/((-2)/525) a multiple of 30?
True
Let r be (-4)/(60/(-475))*3. Let v(o) = 43*o - r*o + 46*o - 30. Is 36 a factor of v(-17)?
True
Let x(j) = j + 14. Let s be x(-10). Let i(o) = 4*o**3 + 6*o + s*o**3 + 5 - 7*o**3 + 9*o**2. Is i(-5) a multiple of 25?
True
Let q(w) = w + 57. Let