 Is 14 a factor of o?
True
Suppose -2*v + 5*k - 520 = 0, -3*v = 2*v + 4*k + 1366. Let l = 771 + v. Does 48 divide l?
False
Suppose 723*l - 1436*l = -722*l + 135459. Does 87 divide l?
True
Let y(m) be the second derivative of 5*m**4/4 - m**3/3 - m**2/2 - m - 2. Let x be -7*(-1 - 5/(-7)). Is 11 a factor of y(x)?
True
Let l be (32/(-20))/2*(-20)/4. Suppose l*h - 140 = -2*m, -4*h + 2*m + 125 = -7. Does 34 divide h?
True
Suppose -3*d - 4*o + 4250 = 0, d - 4*o = 1805 - 399. Does 14 divide d?
True
Suppose 102*u - 69804 = 107064. Is 6 a factor of u?
True
Let f = -150 - -105. Let q = f - -51. Does 9 divide (5 - q/2) + 25?
True
Let w = 153 + -150. Suppose 8 = k + 11, w*k = -3*j + 21. Suppose -48 = 4*z - j*z. Is z a multiple of 3?
False
Let x(l) = -2*l**2 - 27*l + 16. Let n be x(-14). Suppose -90 = -n*b - 3*g, 17*b - g = 12*b + 225. Is b a multiple of 45?
True
Let v(o) = 16*o - 16. Let j(m) = m**2 + 12*m + 10. Let h be j(-13). Suppose -h - 1 = -3*s + 3*y, -y = 5*s - 28. Does 16 divide v(s)?
True
Let p(m) = m**3 - 2*m**2 + 3*m - 5. Let j be p(2). Let x be (1 - 1) + -1 + j. Suppose x = 3*n + 5*t - 294, -5*n + 0*t = -4*t - 527. Does 35 divide n?
False
Let a(k) = -k**3 - 7*k**2 - 15*k - 31. Let h be a(-8). Let c = h + -68. Is c a multiple of 5?
True
Is 20 a factor of (-16)/24 - 4913/(-9)*3?
False
Let j(i) = -68*i**3 - 12*i**2 + 6*i + 39. Is j(-6) a multiple of 291?
True
Suppose -2*k + 7*c = 5*c - 1052, -k - 3*c = -526. Let i = k - 322. Does 4 divide i?
True
Let g = 805 - 812. Let v(l) = l + 24. Let s be v(0). Let k = s + g. Does 10 divide k?
False
Suppose 6*x - 79135 = -29*x. Is x a multiple of 8?
False
Let n(s) = 5*s**2 + 295*s + 5. Is n(-66) a multiple of 9?
False
Let a = 132 - 26. Let g = a - -99. Is 31 a factor of g?
False
Let k(l) = -2*l - 18. Let p be k(-11). Let i(t) = 3*t**3 + 4*t**2 - 4*t + 8. Is i(p) a multiple of 62?
True
Let r(y) be the third derivative of 1/6*y**3 - 13/120*y**6 + 0*y - 19*y**2 + 1/30*y**5 - 1/24*y**4 + 0. Is r(-2) a multiple of 26?
False
Suppose v + 6671 = 2*u - 44178, -2*u + 50846 = 2*v. Is 16 a factor of u?
True
Suppose -199 = 3*t - 205, t = -2*i + 2332. Does 6 divide i?
False
Let t = -32275 + 58263. Is 21 a factor of t?
False
Let d(y) = -18*y - 20. Suppose -5*v + 25 = 55. Is 8 a factor of d(v)?
True
Let l be (6/(-18))/((-7)/42). Suppose -2*b + 188 = -2*g - 130, 0 = -3*b + l*g + 474. Is 12 a factor of b?
True
Let v(b) = -315*b - 728. Is 33 a factor of v(-11)?
False
Let c(m) = -11*m + 81. Let g be c(33). Is (g + -2)/((-155)/25 - -6) a multiple of 12?
False
Let y = 40 + -33. Let q be (-46)/10 + y/((-70)/4). Is 13 a factor of 50/5*(-2 - (-2 + q))?
False
Let a be (-1 - (-46 - -4)) + -2. Let k = a + -36. Suppose w - 2 = -4*u, -2*u = 4*w + k*u - 52. Is w a multiple of 18?
True
Let q(j) = -j + 3. Let m be q(0). Suppose -7*g + 12 = -m*g. Suppose -84 - 24 = -g*c. Is c a multiple of 11?
False
Suppose 0 = p - 5*p + 20. Suppose 0 = -5*y + x + 1818, 4*y + p*x + 718 = 6*y. Does 14 divide y?
True
Let i = 23833 - 19154. Does 26 divide i?
False
Let h(d) = -2*d**3 + 116*d**2 - 38*d + 586. Is h(56) a multiple of 40?
False
Let o(n) = 4*n**3 + 10*n**2 - 72*n + 869. Is o(21) a multiple of 43?
False
Suppose 59*y = -y - 36540. Let c = y + 1027. Does 27 divide c?
False
Suppose -20228 = -19*b + 11483. Let k = -887 + b. Is k a multiple of 17?
True
Suppose 94 = i + 92. Suppose -y = i*y. Suppose 4*q - 20 = y, -4*k - 109 = 4*q - 257. Is k a multiple of 9?
False
Let c be 368/69 - (-1)/(-3). Suppose -5*h + 20 = -5*w, -c*h - 3*w = -6 - 22. Suppose x = -h*g + 884, 2*x = 4*g - 972 + 276. Does 22 divide g?
True
Let v(b) = 6258*b**2 + 88*b - 64. Is 265 a factor of v(-3)?
False
Suppose 0 = 23*w - 27*w + 28. Suppose 2*x + 3*g = x + w, -x - 4*g + 6 = 0. Does 10 divide x?
True
Suppose 5*k = 8914 + 2388 + 7318. Is 98 a factor of k?
True
Suppose 20*u - 24*u - 5*b = -16662, -2*u + b + 8324 = 0. Does 2 divide u?
False
Suppose -3*h - 774 = -h + 3*g, 4*g = 2*h + 774. Let y = h + 117. Let z = -146 - y. Does 31 divide z?
True
Let r = -558 - -2822. Is 93 a factor of r?
False
Suppose -22*f = 8*f - 217975 + 2695. Is f a multiple of 24?
True
Is 24 a factor of (402/24 - -1)/(1/96)?
True
Suppose -2*r = 2*t - 5*t - 5667, 2*r = -4*t + 5632. Is 3 a factor of r?
True
Suppose 2*q - 103 = 18*t - 13*t, -q - 2*t + 74 = 0. Let k = -30 + q. Suppose k*x - 252 = 28*x. Is 42 a factor of x?
True
Let y be 10/(-15)*9/(-6). Let a be y*4 - (-130 + 8). Let v = a + -84. Is 7 a factor of v?
True
Does 17 divide 1 - -6519 - (17 - (-125)/(-5))?
True
Let i = 17 - 57. Let j = i - -43. Suppose 0 = 2*t - j*t + 76. Is t a multiple of 16?
False
Let n = -54844 - -90190. Does 17 divide n?
False
Suppose 8*k + 2*i = 3*k + 1471, -5*i - 1450 = -5*k. Suppose 4*g - 3*f + k - 1410 = 0, 4*f = 4. Is 28 a factor of g?
True
Does 16 divide 3/(-24 - -30) - 39/(-2)?
False
Let f(b) = 12*b**2 - 90*b - 2358. Is 21 a factor of f(-27)?
True
Let k = -1000 - -1737. Suppose 4*c - 33 = 5*p + k, -3*p = 2*c - 396. Is c a multiple of 7?
False
Let m be 2 - (8 + (-9 - -1)). Suppose -3*p + 767 = 5*k - 3*k, -2*p + 508 = -m*k. Is 18 a factor of p?
False
Let x be ((-5)/(-10))/(7/42). Is 37 a factor of 6 + -3 + x + 2 + 58?
False
Let m(g) = 9*g**3 + g**2 - 2*g - 1. Let c be m(2). Suppose 74*l = c*l + 9. Suppose 43 = -4*j + 3*p + 194, 83 = 2*j - l*p. Does 17 divide j?
True
Let n be 3/1 + -4 + (-5 - 1638). Let i = n - -2313. Is 27 a factor of i?
False
Let z(j) = 74*j**2 + 16*j + 17. Suppose 2*t = l - 0*l - 7, -3*l = -15. Is z(t) even?
False
Suppose -108 = h - 5*v, -5*h - 39 - 591 = 5*v. Is 43 a factor of 1*(1 - 5)*(-6 + h)?
True
Suppose -2*i = -2, -2 = -4*o - 3*i - 23. Let h be ((-129)/o - 3)/((-1)/(-2)). Suppose -5*j = 2*n - 159 + h, -4*j + 16 = 0. Is n a multiple of 22?
False
Suppose 4*b - 81 = 3*j - b, 3*j - 3*b + 81 = 0. Let h be (-6)/j - (-14)/(-63). Suppose h = 6*w - 849 + 183. Is w a multiple of 17?
False
Let o be -11 + 11 - (14 - 0). Let m be o/28*(-12)/2. Suppose 58 = j - 0*j + 4*f, -m*f + 156 = 3*j. Is 23 a factor of j?
False
Let j be (-324)/(-45)*10/3. Suppose -114 = j*g - 618. Is 4 a factor of g?
False
Suppose 26*h - 24*h - 3468 = 0. Is 14 a factor of h?
False
Let c = 669 - 479. Let a = 106 + c. Is 18 a factor of a?
False
Let g(f) = 10*f + 68. Let n be g(-7). Let d(q) = -2*q**3 + q**2 - 4*q - 7. Is d(n) even?
False
Let w(i) = 2*i**3 + 65*i**2 - 6*i - 108. Does 36 divide w(-30)?
True
Suppose 4*w - v - 5619 = 0, -3*w + 4193 = -0*w - 5*v. Let g = w + -514. Suppose 4*j = 5*a + 730, -5*j - 7*a = -3*a - g. Is 20 a factor of j?
True
Let r(f) = -f**3 + 24*f**2 + 22*f + 87. Is 15 a factor of r(14)?
True
Suppose w + 3*f - 5 + 13 = 0, 5*f = -15. Let i(z) = 261*z + 4. Is i(w) a multiple of 53?
True
Suppose 4*w = -0*w + 640. Suppose 24 = -2*j + w. Let f = 211 - j. Is f a multiple of 13?
True
Let v = -1128 - -819. Does 11 divide v/103 - 1048/(-1)?
True
Let w be 5423 - -1*(-11 - -4). Suppose 8*g - w = 520. Does 9 divide g?
False
Suppose 3*k + 19*o - 22*o = 11910, -k - 2*o + 3988 = 0. Does 20 divide k?
False
Let j(m) = 223*m**2 - 39*m + 14. Is j(7) a multiple of 10?
False
Suppose y + 3*y - r = 15, -25 = -3*y - 2*r. Suppose 306 = y*h + 2*t, 5*h + 39 - 327 = 4*t. Suppose -h = -5*w + w. Is 15 a factor of w?
True
Suppose 0 = -3*s - 3*u + 24489, -133*s - 8187 = -134*s - 5*u. Is s a multiple of 23?
False
Let q = -633 - -222. Let j = q - -779. Is j a multiple of 23?
True
Let i be ((-11)/3 - -1)*-3. Let j(u) be the third derivative of -u**5/60 + 11*u**4/24 - 11*u**3/6 + 235*u**2. Is j(i) a multiple of 4?
False
Let p(y) = -16*y + 255. Does 2 divide p(0)?
False
Let n be (4/(-3)*(-28 + 31) - -431) + 2. Let d be 289*(-1 + (1 - -1)). Let c = n - d. Is 35 a factor of c?
True
Let p(z) = 208*z**2 - 59*z + 191. Does 28 divide p(5)?
True
Let i be 471/4 + ((-33)/(-4) - 8). Suppose 52*z + i = 53*z. Is z a multiple of 14?
False
Let r = 316 - 157. Let u = 4474 - 4563. Let k = u + r. Is 14 a factor of k?
True
Let q be (-2)/(-2) + -2 - -3*1. Suppose -3*t + 4*y + 1749 = 0, q*t - 7*t - 5*y = -2915. Is t a multiple of 53?
True
Let g be 7 + (12/8)/(1/(-2)). Suppose -2*i = -2*c + 62, -i + g*c = -2*i - 51. Does 19 divide 28/10*i/(-1)?
False
Let z = -210 + 325. Is (z/5)/(0 + (-1)/(-8)) a multiple of 10?
False
Let k(g) be the second derivative of 0 - 11/6*g**3 + 3*g**2 + 1/6*g*