Suppose -137*j = 346*j - 8152074. Does 58 divide j?
True
Let c = 110 + -100. Let o = -278 - -198. Is (4/c)/((-2)/o) a multiple of 13?
False
Let t(c) = 297*c + 69. Is t(64) a multiple of 78?
False
Let r be 12/(-5)*(618/12 - 4). Let q = -110 - r. Suppose -738 = q*c - 7*c. Is c a multiple of 12?
False
Let k be 6/2 - ((-2400)/(-5))/8. Is k*11/((-231)/182) a multiple of 12?
False
Let l(h) = -h**2 - 3*h + 5. Let a be l(-3). Suppose p - 5*q = -156, -2*p + 500 = -a*p - q. Let b = -62 - p. Does 13 divide b?
True
Let b be -7 + 26 + (-1 - 0/(-1)). Suppose b*u + 2619 - 9099 = 0. Is u a multiple of 72?
True
Suppose -3*y + 3974 = 5*c, -6*c = -5*c + 3*y - 802. Suppose -25 = 4*o - c. Is 4 a factor of o?
True
Is 19 a factor of 3006535/385 - 20/110?
True
Let b = 9048 + -4532. Does 53 divide b?
False
Let f be -4 + 16/(-2) + 2. Let w be (-4 - f)/(-12)*(-12 - -2). Suppose -2*v - 3*k + 133 = -0*k, -2*v + 125 = -w*k. Does 54 divide v?
False
Let z(s) = 2089*s + 2. Is z(1) a multiple of 51?
True
Suppose 3*s - 4*m = 40400, 2*m + 3*m = 35. Is s a multiple of 4?
True
Let j = -93 - -95. Let v(t) = 560*t - 29. Is 46 a factor of v(j)?
False
Let g(q) = 13*q**2 - 6*q - 11. Let o be g(6). Let h = 62 + o. Is h a multiple of 12?
False
Let y(f) = 2*f**2 + 78*f + 311. Does 5 divide y(-91)?
True
Suppose -37*z + 38*z - 27 = 0. Is 2 a factor of (134/3)/(18/z)?
False
Let z(s) = 3*s**2 + 11*s + 24. Let i(n) = 8*n**2 + 34*n + 72. Let v(o) = -4*i(o) + 11*z(o). Let d be v(13). Is 8 a factor of ((-18)/5)/(4/d)?
False
Let t(c) = -2*c**3 - 281*c**2 - 153*c - 212. Does 34 divide t(-141)?
True
Suppose 162 = -g - 4*k, 8 = 4*k - 0*k. Suppose 0 = 84*x - 2972 - 4588. Let f = x - g. Is 52 a factor of f?
True
Let v be -4 - ((-9)/1 - 0). Let x be (-9)/(-4)*(1 - v). Let y = x - -37. Is 4 a factor of y?
True
Let d = 6044 + 7224. Is 31 a factor of d?
True
Suppose 61*v + 106325 = 383143. Does 15 divide v?
False
Let a(f) = -5*f**3 + 5 - 12*f + 22*f**2 + 7*f - 13*f**2. Let y(i) = 4*i**3 - 8*i**2 + 4*i - 4. Let w(l) = 5*a(l) + 6*y(l). Is 7 a factor of w(-4)?
True
Let l(b) be the third derivative of b**6/120 + 11*b**5/60 + 17*b**4/24 + 25*b**3/6 + 13*b**2. Let p be l(-10). Let w = p - -51. Is w a multiple of 6?
True
Let o be ((-17)/(-2))/((-1)/2). Let u(t) = t**3 - 16*t**2 - 31*t - 66. Let k be u(18). Let s = k - o. Is s a multiple of 7?
False
Let k(r) = -384*r - 84. Let o be k(-11). Suppose -720 = 15*h - o. Is 12 a factor of h?
True
Suppose -26*a + 49672 = -3*a - 83314. Is a a multiple of 20?
False
Suppose -2*o - 9 = -3*c + 13, -60 = -4*c - 5*o. Let k be (-14)/(-42) + -1*c/(-6). Is ((-8)/k - -7) + 26 a multiple of 9?
False
Let d(z) = 450*z**2 - 8 + z**3 - 2*z - 441*z**2 - z. Let w(i) = -i**3 - i**2 - i - 8. Let t be w(0). Is d(t) a multiple of 10?
True
Let t(y) = 1019*y**2 + y - 9. Is t(3) a multiple of 15?
True
Let x be 10/(-3) - (14/21 - 1). Let t(u) = -6*u**3 + 3*u**2 + 7*u + 5. Let f be t(x). Suppose 6*w - 515 = -f. Is 12 a factor of w?
False
Let k(y) = -3*y**3 - 19*y**2 + 13*y - 547. Is 54 a factor of k(-25)?
True
Let c(d) = -2*d**3 - d**2 + 2*d - 7. Let b be c(-3). Suppose 17*l - 14*l - 40 = -o, 0 = o + 5*l - b. Does 5 divide o?
False
Let n(l) = 50*l - 6. Let f = -101 - -104. Is 16 a factor of n(f)?
True
Let j = -62 + 155. Let r = 11 + j. Is 13 a factor of r?
True
Let r = 571 - 397. Let a = -100 + r. Is 25 a factor of a?
False
Let s = 22 - 19. Suppose -4*o + s*o = 3, 0 = -2*t + o + 443. Does 22 divide t?
True
Suppose 5 = -8*t + 45. Suppose t*r + q = 1060, 7*q - 10 = 5*q. Is r a multiple of 18?
False
Let n = -92 + 4053. Is n a multiple of 5?
False
Suppose -20*j = -25*j + 170. Let v = 74 - j. Is 8 a factor of v?
True
Let c = 2971 - 1330. Does 5 divide c?
False
Let y(f) be the first derivative of -f**6/120 + 3*f**5/20 + 13*f**4/24 - 2*f**3 - 9*f**2/2 - 2. Let r(p) be the second derivative of y(p). Does 6 divide r(10)?
True
Let r(s) = -3*s**3 - 18*s**2 - 14*s - 17. Let w be (1 - 2 - 0) + -1 + 1. Let h(n) = n**3 + n**2 - n. Let u(m) = w*r(m) - 4*h(m). Does 13 divide u(15)?
False
Let o = -537 - -554. Suppose 2*b = -4*q + 188, o*b - 13*b = 2*q + 386. Is b a multiple of 68?
False
Let a(b) = 13*b**2 + b - 3. Let x be a(1). Suppose x*o - 18 = 12*o. Let t(w) = w**3 + 19*w**2 + 17*w + 8. Does 2 divide t(o)?
True
Let m be (7 - (-24)/(-3)) + (-1 - 4). Is 3 - 11 - m - -1111 a multiple of 73?
False
Suppose -3*v + 2297 = 2*r, 1006 = -2*r + 4*v + 3268. Is r a multiple of 62?
False
Let n(x) = 32*x + 67. Let d be n(13). Suppose 5*b = 2*h - d, 5*h - 9*b - 1255 = -6*b. Does 21 divide h?
False
Let b be (-3 - -2)*-5 + 0. Let t(h) = -4*h**2 + 5. Let s(r) = 15*r**2 - 2*r - 16. Let u(m) = 2*s(m) + 7*t(m). Is 11 a factor of u(b)?
True
Suppose y = 4*n - 1, -4*y + 7*n = 12*n + 109. Suppose -4*c = 3*d - 266, -3*c + 88 = d - c. Let a = d - y. Does 12 divide a?
False
Let d be ((-14)/5)/((-2)/5). Does 24 divide 284*d/4*(-16)/(-8)?
False
Let l(u) = 373*u - 52. Let g be l(8). Suppose g = 3*o - 2*i, 5*o + 9*i - 14*i - 4880 = 0. Does 70 divide o?
True
Suppose -4*y - 8 = 0, -4*y + 10 = 5*i + y. Suppose i*q - 13 = -5. Suppose q*c - 523 = 4*n - 149, n + 890 = 5*c. Is c a multiple of 38?
False
Let a = -42018 - -75156. Is a a multiple of 19?
False
Suppose -5*d + 2298 = 3*c, -d = 5*c - 2716 - 1136. Suppose 17*g - c = 14*g. Does 31 divide g?
False
Let w be (((-9945)/2)/(-3))/((-57)/(-76)). Let f = -744 + w. Is 10 a factor of f?
False
Does 9 divide ((-4)/(-4))/(6/(-4 + 37906))?
False
Let c(i) = -i**3 - 12*i**2 - 10*i + 14. Let o be c(-11). Suppose 0 = -2*d + 4*f + 216, -o*d + 540 = 2*d - 2*f. Does 4 divide d?
True
Does 83 divide 1107/18*(8664/360 + 3/5)?
False
Let p be ((-30)/20)/(6/8). Let h be p - ((-1 - 3) + 0). Suppose -5*q + 114 = h*o - 90, -180 = -4*q + 4*o. Is 7 a factor of q?
True
Suppose -748 = -a + 3*p, 3992 - 276 = 5*a - 3*p. Is 12 a factor of a?
False
Is 1 - (-16417)/7 - (-178)/(-623) a multiple of 96?
False
Does 79 divide 51 + -30 - (-66476)/2?
True
Let k(w) = 33*w**3 - 11*w**2 - 11*w - 16. Let n be k(6). Suppose p = -18*p + n. Is 27 a factor of p?
False
Suppose 1589926 = 59*n - 2317231. Does 52 divide n?
False
Suppose a + 6 = 3*a. Suppose -4*y + a*y = -560. Suppose 9*k - k = y. Is k a multiple of 14?
True
Suppose -o = 5*h - 428 + 35, o - 4*h - 402 = 0. Let b = -121 + o. Does 39 divide b?
False
Let f = 31 - 16. Suppose h + 4*h + f = 0. Is 2 a factor of -1 + (1 + h + 10)/2?
False
Suppose -4912 = -30*f + 20078. Suppose -10*m + 617 = -f. Is 3 a factor of m?
False
Let u(b) = -2*b - 5. Let d be u(-6). Suppose 8*s - 4 = d*s. Suppose v = -s*m + 787, 0 = v + 5. Is m a multiple of 9?
True
Let u(m) = 13*m**2 - 12*m + 141. Is u(6) a multiple of 3?
True
Let b = 83 - 173. Does 33 divide ((-328)/(-10))/((-12)/b)?
False
Does 73 divide (43362/(-88))/((-98)/48 + 2)?
True
Let i(x) = 126 - 1077*x + 2522*x - 1296*x. Is i(6) a multiple of 68?
True
Suppose 19*w = 14*w - 45. Let d be (6/w - (-1 - -1))*6. Let b(v) = 3*v**2 - 4*v - 2. Is b(d) a multiple of 31?
True
Suppose 3*d + 5*h = -196, d + 4*h = -3*d - 248. Let j = d - -36. Let f = 38 + j. Does 17 divide f?
True
Let z(b) = b**2 - 5*b + 8. Let c(a) = -a**2 + 16*a + 64. Let d be c(19). Let q be z(d). Suppose -q*t = -9*t - 975. Is t a multiple of 30?
False
Let k = -1 - -4. Suppose -3*u = 4*h + 1, 5*h = u - k*u + 4. Is 10 a factor of (-17 + 4 + 3)/(h/(-6))?
True
Let g = -154 - -351. Let b = -114 + g. Suppose 3*n + 3*m + b = 713, -3*n + 630 = m. Does 19 divide n?
False
Suppose 190 + 62 = -2*x. Let o = x - -174. Does 8 divide o?
True
Let a(f) = 441*f**2 - 186*f + 1193. Is 20 a factor of a(7)?
True
Let n(x) = x + 3*x**2 + 1 + x**3 - x**2 - 16. Let j be n(0). Is (-57)/j + (-1)/(-5) a multiple of 4?
True
Suppose 5*j = -8*j. Suppose r - 20*r + 2793 = j. Is r a multiple of 7?
True
Let m(u) = -41*u + 2355. Does 2 divide m(57)?
True
Is 51 a factor of (-5)/2*60/(-50) - -17949?
True
Suppose -4*t + 4*v - 310 + 12130 = 0, 0 = -2*t + 4*v + 5910. Is t a multiple of 5?
True
Let h = 1142 + -554. Let d = -513 + h. Is d even?
False
Suppose 0 = 3*o - 0 - 9. Suppose 4*t + 16 = -o*w, 0*t = 4*t - 5*w + 48. Let n(k) = -2*k + 11. Is 7 a factor of n(t)?
False
Let t(k) = 138*k**2 - 48*k + 252. Is 63 a factor of t(7)?
True
Let w = 4923 - 2203. Does 65 divide w?
False
Let i = -55 + 59. Suppose -y + 1 = -d, -2*y + d + 2 = i. Is 4/6