of 13?
True
Let t = 284 - 281. Suppose t*u - 61 - 56 = 0. Does 2 divide u?
False
Let q = 6299 + 1908. Does 5 divide q?
False
Does 30 divide 353 - 333 - (-6761 + 1)?
True
Does 6 divide (-10 + 2 + -38)/(-9 - -8)?
False
Let h be (6/(-45)*-6)/((-6)/(-15)). Suppose d = -h*z + 596, d + 3*z = 7*z + 608. Suppose -3*i = 2*i - d. Does 15 divide i?
True
Let h = 54 + -439. Let t = h + 473. Is t a multiple of 2?
True
Let p be (0 - 5/4)/(26/(-416)). Let j(f) = f**2 - 22*f + 40. Let x be j(p). Suppose -5*a + 4*g + 579 = -20, -2*a + 2*g + 238 = x. Does 8 divide a?
False
Suppose -2*l - 146943 = -5*s, 0 = 141*s - 140*s - 3*l - 29399. Does 6 divide s?
False
Let o = -230 - -243. Suppose 25*x - o*x - 6240 = 0. Does 60 divide x?
False
Let r(s) = -s**2 - s + 1. Let f(u) = 2*u**2 - 127*u + 80. Let c(y) = f(y) - r(y). Does 6 divide c(42)?
False
Suppose -4*x = -8, 4*s - 9*s - 2*x = -749. Let l = s + -39. Does 11 divide l?
True
Does 75 divide (-3)/((-3)/(-4)) + (-16872)/(-24)?
False
Let n = -308 - -1009. Is n a multiple of 12?
False
Suppose 2*r = -3*g + 68514, 0 = g - 56*r + 57*r - 22837. Is g a multiple of 51?
False
Let s = -46090 - -68152. Does 10 divide s?
False
Let v(t) = t**2 + 2*t + 2. Let n be v(0). Suppose -4*y = -4*g + 1584 + 696, n*y = -3*g + 1710. Is g a multiple of 15?
True
Let o = 158 + -129. Let i be 2/4 - 7/2. Does 13 divide (1 + o)/((-2)/i)?
False
Suppose -z + 2*z = 3*u + 81, 2*z = -3*u + 135. Suppose 4*h - 8 = 2*k, -5*k + 4*k - 5 = -3*h. Is (z - (h + -5))/2 a multiple of 8?
False
Suppose 7*c - 62*c = 70*c - 684750. Is 36 a factor of c?
False
Let f(y) = 4241*y**2 - 19*y + 26. Is f(1) a multiple of 177?
True
Suppose 6*p - 4*k - 175 = 11*p - 610, -2*k = 0. Suppose -v - 19 = -2*f - 2*f, -2*f + 9 = -v. Suppose 0 = f*s + w - p, 4*s + w + 5 = 74. Is s a multiple of 3?
True
Let n = 66 - 64. Suppose -3*s = -4*y - 274, -n*s + 2*y + 179 = 3*y. Let v = s + -50. Does 5 divide v?
True
Suppose 0 = -q - 1, -w - 10 = 2*w + 4*q. Let u(v) = -26 + 7*v**2 - 4*v**2 + 25 - v**3 - v**2. Is u(w) a multiple of 6?
False
Suppose 6*y + 1306 = 2*f + 2*y, f - 650 = 5*y. Is f a multiple of 8?
False
Let q = -585 - -416. Let v = -31 - q. Is 4 a factor of v?
False
Suppose -3*u + 39776 = -3*x - 6724, 4*x - 15510 = -u. Is u a multiple of 152?
False
Let w be 15/((3/4)/(-1)). Is 16 a factor of 126 - 5/w*0?
False
Suppose -a = -3*s + 4*s - 342, 2*s = 4*a + 678. Let p = 740 - s. Is p/5 + 1/5 a multiple of 10?
True
Suppose -347 = -3*w + f, w - 2*f - 54 - 70 = 0. Let o be -10 + 6 - w/(-3). Suppose 0 = 2*b + 5*p - 40, 17 = 3*b + 3*p - o. Is b a multiple of 4?
False
Suppose 2*a + 2222 - 3554 = -r, 0 = r - 2. Is 19 a factor of a?
True
Suppose 0 = -15*z - 2080 + 8920. Suppose -39*x + z = -38*x. Is x a multiple of 8?
True
Let y be ((1 + -2)*1)/1. Let k be y*(-1 + (-16)/4). Suppose -p + 0*p = -r + 35, k*r + 3*p = 135. Does 10 divide r?
True
Let r be -6*(6/24)/(2/(-4)). Let t be (2/(-3))/((-45)/54)*5. Suppose 0 = r*x - 7*x - 12, -t*x - 712 = -5*c. Does 20 divide c?
True
Let m = 162 - 161. Does 4 divide 2 + 8 + (-2)/m?
True
Suppose 4*a - 4030 = 2*b, -3025 = -90*a + 87*a + 2*b. Does 39 divide a?
False
Is (24/(-8))/((-9)/(-12)) + 4813 a multiple of 14?
False
Let g be (-1 - -2)*0/(-8 - -5). Suppose 6*f - 420 - 732 = g. Is 6 a factor of f?
True
Let u(b) = b**3 + 42*b**2 + 11*b + 8. Let l be u(-25). Suppose l = 7*r + 2231. Is r a multiple of 9?
True
Suppose 7*c - 238*t - 116524 = -241*t, -3*t = -5*c + 83216. Is 21 a factor of c?
False
Let c(y) = -4*y**2 - y + 314. Let m be c(0). Suppose 1555 - 269 = 4*r - 2*f, -r + 2*f + m = 0. Is 16 a factor of r?
False
Let c be (1143/(-45) + 2 + -7)*5. Let u = c - -1076. Is 22 a factor of u?
True
Suppose -4*y + 17798 = 2*n, 103*n - 101*n + 3*y = 17802. Suppose 1253 + n = 8*v. Is v a multiple of 20?
False
Let q = 3431 + -2033. Is q a multiple of 2?
True
Let l(m) = 1271*m + 7887. Is l(16) a multiple of 5?
False
Let t = 1800 - 3698. Let m = t - -2942. Does 87 divide m?
True
Let q be (3 - 3 - 3)*6/(-2). Let g be ((-9)/3)/(-10 + q). Suppose 2*f + 5*z - 69 = f, -g*z = -f + 45. Does 6 divide f?
True
Let t be 816*16/(-6)*2. Let m = -6300 - t. Does 28 divide 11/(-7) - -2 - m/28?
False
Let g(m) = m**3 + 3*m**2 + 3*m + 3. Let y be g(-3). Let d(i) = i + 21. Let l be d(y). Suppose 3*f = -f + n + 55, -n + l = f. Is 2 a factor of f?
True
Let h(m) = -m**3 + m + 180. Let b = -34 + -80. Let w = -114 - b. Is 20 a factor of h(w)?
True
Does 26 divide -3 + 5 + (-32 + (-20)/4)*-41?
False
Let i = -71 - -211. Suppose 3*j + 5*u = i, 3*j + 7*u - 138 = 4*u. Let d = -18 + j. Is d a multiple of 9?
True
Let u(m) = -m**3 + 39*m**2 + 237*m - 2. Does 20 divide u(42)?
True
Suppose 0 = 5*w - 5*n - 850, 4*n - 12 - 811 = -5*w. Let q = w - 68. Is q a multiple of 18?
False
Let c(u) = -7*u - 4. Let q(h) = -2*h**2 + h + 8. Let x be q(-2). Let p be c(x). Does 5 divide 2*1*55/p*5?
True
Let i = 1082 + 2554. Is 12 a factor of i?
True
Suppose -3*f - k = -5*k - 13, 3*k = -f. Suppose f - 19 = -4*d. Suppose -d*v = -v - 657. Is v a multiple of 19?
False
Suppose -2309*n + 2307*n + 4640 = 0. Is n a multiple of 58?
True
Let t(z) = z**3 + z**2 + z - 1. Let b(h) = 6*h**3 + 8*h**2 - 6*h - 5. Let g(i) = -b(i) + 5*t(i). Is 7 a factor of g(-6)?
True
Let j(g) = -2*g**2 - 15*g - 9. Let b be j(-6). Suppose 314 = b*q - 469. Suppose 2*z - 348 = -2*z - 5*r, -z + 3*r + q = 0. Does 29 divide z?
True
Suppose 43*y + 9*y - 7*y = 376065. Does 9 divide y?
False
Let n = 2828 - 2430. Is 83 a factor of n?
False
Let f(t) = -39*t**3 + 33*t**2 + 141*t + 5. Does 12 divide f(-6)?
False
Suppose 30*x - 67*x = -28638. Is x a multiple of 21?
False
Suppose -13*z = 247 - 832. Does 20 divide ((-1)/3)/(-1) - (-1785)/z?
True
Suppose 5*a + 8213 = 9*n, -254*a = -3*n - 251*a + 2727. Is n a multiple of 12?
False
Is 29 a factor of ((891/6)/(-3))/((-57)/114)?
False
Let s(c) = -36*c**3 - 79*c - 20. Is 36 a factor of s(-8)?
True
Suppose -35 = 2*o + 3. Suppose -3*s - 801 = -12*s. Let h = s - o. Is h a multiple of 18?
True
Suppose -22*j = -36304 + 9794. Is 12 a factor of j?
False
Suppose -20*u = -18*u + 4*x + 2, -3*u + 4*x + 37 = 0. Suppose -u*l = -8*l + 94. Does 38 divide l?
False
Let w(r) = -3*r - 14. Let i be w(-8). Let t(y) = -2*y**2 + 18*y + 10. Let l be t(i). Does 4 divide ((-8)/l + 0)*70/4?
False
Suppose -y = 42 - 163. Let q = y + -229. Let l = -44 - q. Does 6 divide l?
False
Let v(r) = r + 5. Let n be v(3). Let b be ((-2)/n)/(2/(-16)). Let x(a) = 38*a - 5. Is x(b) a multiple of 7?
False
Suppose -120*h = -80*h - 447880. Does 5 divide h?
False
Suppose 21*p - 7696 - 228386 = 0. Is 73 a factor of p?
True
Suppose 36 = -4*d + 276. Let t = -128 - -94. Let u = t + d. Does 13 divide u?
True
Let k(m) = -51*m - 2. Let u be k(-2). Suppose -3*p - 2*p = -u. Does 8 divide p/(-5) + (-54)/(-1)?
False
Let a = 51755 - 21425. Does 30 divide a?
True
Suppose 36*d - 59*d + 69814 = -30581. Is 22 a factor of d?
False
Let w = -48 + 52. Suppose b = -5*b + w*b. Suppose 0 = 4*p - 2*o - 192, 3*p + b*o - 144 = 5*o. Is p a multiple of 24?
True
Let s(x) = 6*x**2 + 7*x + 64. Let r be s(-6). Suppose -5*y - 15 = h - 121, 3*h - r = y. Does 5 divide h?
False
Let d = 83 - 78. Is 20 a factor of -179*d/20*-8?
False
Suppose 16*x = 29*x - 52. Let u(p) = -7*p - 190 + 163 - x*p. Is u(-4) a multiple of 4?
False
Suppose -8*k - 46648 = -24*k + 11592. Is k a multiple of 40?
True
Let s be ((-32)/5)/(((-26)/(-15))/13). Is 5316/38 - s/456 a multiple of 35?
True
Suppose -p = 2*k - 69, -204 + 36 = -4*k + 4*p. Suppose -q = 3*q + h - 29, 5*q - k = -2*h. Is 3 a factor of q?
False
Let y be (8 - 7)/(1 - (-4 + 4)). Does 4 divide 12439/84 - y/12?
True
Suppose -2*y = 4*m - 118194, 4*m - y + 61408 = 179575. Is m a multiple of 27?
False
Suppose 8*s - 177*s - 67*s + 4683892 = 0. Does 14 divide s?
False
Let y(g) = -4*g - 6. Let l be y(-2). Suppose 0 = 2*k - 16*q + 13*q - 1079, 5*q - 1039 = -l*k. Does 28 divide k?
True
Suppose -4*c + w - 32 = 113, 4*w + 12 = 0. Let q = c + 364. Is q a multiple of 12?
False
Let k = -90 - 3499. Let n = k - -5266. Is n a multiple of 14?
False
Let x = 30 - -26. Suppose -5*f = o + 30, -3*o = -37*f + 42*f + 40. Is (-18)/o*(-2 + x/3) a multiple of 12?
True
Let m = 66290 - 39026. Is 96 a factor of m?
True
Let q = -171 - -173. Suppose 318 = q*r + 36*f - 34*f, -r = 3*f - 153. Is 60 a factor of r?
Fals