 s(q) = q + 3*q + q**2 - 2*q + 0 + 3. Let t be s(-2). Suppose 0 = -t*k + 135 + 51. Does 19 divide k?
False
Suppose 2*i - 44 - 63 = -3*x, 0 = 5*i + 2*x - 240. Is i a multiple of 2?
True
Suppose 0 = -2*w - 44 + 130. Suppose -4*f = -219 + w. Is 11 a factor of f?
True
Is 13 a factor of (15/27)/5 - (-2951)/9?
False
Let r = -17 + -7. Let g = -17 - r. Does 2 divide g?
False
Suppose -16*v - 3*v + 836 = 0. Is 5 a factor of v?
False
Let h = 2 + 0. Let q be ((-510)/20)/(h/4). Let b = -6 - q. Does 20 divide b?
False
Suppose 0 = m - 9*m + 64. Suppose 3*g - 54 = -u - m, 2*g - 2*u - 20 = 0. Does 3 divide g?
False
Suppose b - 3*y = 396, -4*b = -0*b - y - 1628. Is 34 a factor of b?
True
Suppose 0 = 4*l + 3*o - 28 - 832, -2*o = 0. Is l a multiple of 10?
False
Suppose 0 = d - 425 - 41. Is d a multiple of 18?
False
Suppose -24 = -b - 9. Suppose -6*k + b = -33. Suppose k + 72 = 4*v. Is 18 a factor of v?
False
Let z(l) = l**2 - 5*l + 43. Is z(9) a multiple of 13?
False
Let j(r) = -17*r. Let f be j(-3). Suppose 0*m = 4*u + 3*m - f, 0 = 4*u - m - 31. Is u a multiple of 2?
False
Let k(f) = -2*f - 6. Let x be k(-4). Suppose 3*s + 0*s + 240 = -3*u, 0 = x*s + 5*u + 160. Does 20 divide (-7008)/s - (-4)/10?
False
Suppose 5*x - 1283 = -3*z, 4*z + 19*x - 24*x - 1664 = 0. Does 3 divide z?
False
Let h = 42 - -54. Is 4 a factor of h?
True
Let v(s) = -s**3 - 7*s**2 + 8*s + 2. Let c be v(-8). Suppose c*b - 6*t + t = 33, 11 = -b - 3*t. Suppose u + a = 2*u - 65, -2*a + 290 = b*u. Is 14 a factor of u?
True
Suppose -5*d + 4*d = -1. Is (d + 68)*2/2 a multiple of 23?
True
Is 2 + 1 + (-3)/(6/(-722)) a multiple of 52?
True
Let d(n) = n + 1. Let b be d(3). Let s(c) = 0*c - 47 + 45 + 11*c. Is 11 a factor of s(b)?
False
Suppose 12*p = 14*p - 2*d - 350, 5*d = -4*p + 745. Is 5 a factor of p?
True
Let j be (-4)/14 + (-6820)/(-154). Let n = j + 78. Does 23 divide n?
False
Let o(n) = -n**3 - 2*n**2 + 3*n + 4. Let v be -12 - (-7 - -4) - (-1 + -2). Does 10 divide o(v)?
True
Let k(f) be the third derivative of -f**4/2 + f**3/3 - 9*f**2. Suppose 5*j - 20 = 0, -w - w - 2*j = 0. Is 10 a factor of k(w)?
True
Let z be -309 - 5/10*-10. Let i = -192 - z. Is 9 a factor of i?
False
Suppose -4*z + 20 = 12. Suppose -z*m + 1868 = 4*i + 14, -4*m = -5*i + 2311. Is 59 a factor of i?
False
Suppose 6 + 0 = 3*t. Suppose 0 = -t*i + i - 11. Let l = 28 + i. Is l a multiple of 10?
False
Let d(p) be the second derivative of -p**3 - 20*p**2 + 26*p. Is 3 a factor of d(-11)?
False
Let d(x) = -9*x**3 - 9*x**2 + 4*x - 30. Is d(-5) a multiple of 50?
True
Suppose -42 = -4*d - 3*k + 23, 3*d = -5*k + 57. Is ((-60)/d)/(3/(-21)) a multiple of 6?
True
Let s be 14*(8 + -1)*24/(-16). Let b = -41 - s. Is 8 a factor of b?
False
Suppose -5*z + 48 = z. Suppose y + n - 22 = 0, y - 4*n + z = 35. Does 12 divide y?
False
Let j = -13 + 14. Let p(s) = 122*s - 2. Let n be p(j). Let h = n - 69. Does 17 divide h?
True
Let l(v) be the first derivative of 17*v**3/3 + 3*v**2/2 + 2*v + 8. Is 9 a factor of l(-1)?
False
Let t(u) = -u**2 - 14*u + 2. Let n be t(-14). Suppose -n*j = -0*j. Suppose -p - m + 0*m + 5 = j, 5*p - 25 = -3*m. Is p even?
False
Let s(v) = -4*v + 34. Let b be s(20). Let c = -31 - b. Is 10 a factor of c?
False
Does 8 divide ((-3)/(-9))/((7 - 10)/(-3438))?
False
Suppose -3*c + 1429 = -s + 3*s, 2*c = -4*s + 2870. Is s a multiple of 13?
False
Suppose k - 3*k = 0, k + 15 = 3*j. Suppose 2*o - 23 = j*g + 463, o = -5*g + 243. Does 18 divide o?
False
Is -2 + -6 + 9 + 8*8 a multiple of 23?
False
Suppose -27906 - 11276 = -13*k. Is 11 a factor of k?
True
Suppose 4*h = -12*h - 48. Is -8*h/(-3)*-28 a multiple of 56?
True
Let s = 494 - 141. Is s a multiple of 35?
False
Suppose 2*b - 1 = 23. Suppose 4*a = b, 0 = -3*s - 3*a + 280 + 11. Is 22 a factor of (0 - 1/(-2))*s?
False
Let y = 216 - -336. Does 12 divide y?
True
Suppose 244*c = 237*c + 21. Let f(m) = m**2 + 3*m - 6. Let a be f(6). Suppose c*o - a = -0*o. Is 8 a factor of o?
True
Let i be -2 + (-1)/(4/(-16)). Suppose 22 + i = 4*d. Let v(o) = -o**2 + 8*o - 5. Is 3 a factor of v(d)?
False
Let t(q) = 4*q**3 - q**2 + 2*q - 22. Does 9 divide t(6)?
False
Suppose -4*v = -8, -3*u = -2*u + 3*v + 5. Let n = u - -73. Does 36 divide n?
False
Let z(r) = 13*r**2 - 20*r + 102. Is z(4) a multiple of 7?
False
Let d(o) = o**2 + 6*o + 5. Let w be d(-5). Suppose 0 = -t - w*t + 2, 3*l - 45 = -3*t. Does 13 divide l?
True
Let i(p) = p**3 - 8*p**2 + 11*p + 7. Let b be ((-7)/(-5))/((-4)/(-20)). Is 7 a factor of i(b)?
True
Let k = -47 - -49. Suppose -20 = k*z - 70. Is 5 a factor of z?
True
Let n(t) be the first derivative of t**3/3 + 2*t**2 - 9*t + 1. Let c be n(-6). Suppose j - 101 = -c*p + 3*j, -3*p - 4*j + 113 = 0. Is 12 a factor of p?
False
Let h be ((-172)/(-16) - 6)*(1 - 5). Let p = 74 + -39. Let i = h + p. Is 7 a factor of i?
False
Does 54 divide 5/1 + 1096 + -75?
True
Let d = 3126 + -2753. Is 5 a factor of d?
False
Let w be (-2892)/(-21) - 4/(-14). Let p = -86 + w. Does 13 divide p?
True
Suppose 0 = 2*l - 15*l + 1365. Is 6 a factor of l?
False
Suppose -4*i + 3*w = -185, 4*w = 4*i - w - 175. Let s = i + -6. Is 9 a factor of s?
False
Let v(l) = -l**2 - 6*l + 934. Let k be v(0). Suppose 13*h - k = 1770. Does 26 divide h?
True
Let d(y) = y**3 - 39*y**2 - 160*y - 79. Is d(43) a multiple of 49?
False
Suppose 47 + 3 = 5*l. Suppose -6*c = -l*c + 388. Suppose -2*x - 2*v + 60 = 0, -c = -3*x + v + 3*v. Is x a multiple of 14?
False
Suppose 76*o + 9030 = 82*o. Is o a multiple of 40?
False
Suppose -2*r + 324 - 43 = b, b = -1. Is r a multiple of 47?
True
Suppose -12*h + 2850 = 138. Does 10 divide h?
False
Let n(y) = 17*y**2 + 27*y + 40. Is 5 a factor of n(5)?
True
Let q(x) = -3*x - 10*x - 8*x - 6*x + 12. Does 6 divide q(-2)?
True
Suppose k = 5*j - 846, 5*j + k - 866 = -3*k. Is 39 a factor of j?
False
Let l = 6 + -17. Let t = l - -5. Let p = t + 28. Is 11 a factor of p?
True
Suppose 0 = 4*x + k - 148 - 171, -3*k - 403 = -5*x. Is 16 a factor of x?
True
Let s(c) = c**3 + 13*c**2 + 9*c - 5. Let d = 18 + -30. Let a be s(d). Let y = -17 + a. Is 7 a factor of y?
True
Let g(l) = -285*l**3 + l**2 - l - 1. Does 11 divide g(-1)?
True
Let y(o) = 96*o + 272. Is 10 a factor of y(17)?
False
Suppose 4*k + 2*k - 1392 = 0. Suppose 0 = -4*o + 3*z + 22, 2*z + 2*z = 4*o - 24. Suppose 4*x + k = o*m, 3*m - 52 - 128 = 5*x. Does 15 divide m?
False
Let k(w) = -2*w**2 + 10*w + 5. Let c be k(5). Let m = -126 - -83. Let b = c - m. Is 16 a factor of b?
True
Let k = -21 - -27. Suppose 280 = 5*q + 4*c, -q + k*q + c = 265. Is q a multiple of 13?
True
Suppose -m + n - 153 = 0, 0 = 2*m - 3*n + 4*n + 312. Is 39 a factor of m/(-2)*-6*2/(-10)?
False
Suppose 1235 = 12*c + c. Does 19 divide c?
True
Let y = -95 + 195. Suppose 5*r - y = 485. Suppose 0 = 2*k + k - r. Is k a multiple of 12?
False
Suppose 642 = -5*j - 4*h, -j + 2*h - 114 = -2*h. Let k = -112 - j. Is k a multiple of 2?
True
Let t be 3 + 14*(-3)/6. Let o be (-25)/(-3) - 8/(-12). Does 19 divide o/6 + (-146)/t?
True
Suppose -460 = -12*y - 8*y. Is 11 a factor of y?
False
Let l = 17 + 150. Is l a multiple of 6?
False
Suppose -109*z - 5707 = -27616. Is z a multiple of 3?
True
Suppose -12*s + 17*s + 130 = 0. Let x = 44 + s. Is x a multiple of 4?
False
Let d be (6/(-4))/(6/8). Suppose 5*x - 18 = i, 9*x - 14*x - 150 = 5*i. Is 7 a factor of (-3)/(-6)*i/d?
True
Let o(m) = 17*m**2 + 22*m - 31. Is 42 a factor of o(5)?
True
Let m be (1 - 0)/(-2)*0. Suppose 4*i + 5*k - 696 = 0, -522 = -3*i + 2*k - m*k. Suppose -i - 196 = -5*v. Is 17 a factor of v?
False
Let o(q) = q**2 + 4*q - 16. Let n be o(-7). Let d(x) = 8 - 13 - n*x - 6 - 7. Is d(-7) a multiple of 9?
False
Let u be 6 + (-21 - -9) - -277. Suppose -q - 727 + 242 = -3*a, -5*a - 5*q + 795 = 0. Let w = u - a. Does 25 divide w?
False
Suppose -3*m - 5*a - 1667 = -7*m, m + 5*a = 398. Is m a multiple of 29?
False
Is (56/16)/(270/264 - 1) a multiple of 17?
False
Let r = -35 + 31. Is (-12)/r - 10/(-1) a multiple of 2?
False
Let i(w) be the third derivative of -2*w**5/15 + w**4/6 - 7*w**3/6 + 7*w**2. Let m(t) be the first derivative of i(t). Is m(-3) a multiple of 13?
True
Let y be 140/12 - (-2)/6. Let z = -1 - 4. Let k = z + y. Is 7 a factor of k?
True
Let m = 5326 - 2401. Is 65 a factor of m?
True
Suppose 8 = -k + 2*y, -3*k + 4*k + 2*y = 12. Suppose -80 = -k*m + 56. Is 22 