e 116/(-28)*-2969 - (-1)/(-7). Suppose -8*z + g = 17*z. Does 29 divide z?
False
Let h(j) = 3*j**2 + 31*j + 96. Let v be h(-7). Suppose -v*r = -44*r + 25668. Is r a multiple of 23?
True
Let t(o) = o**3 + 7*o**2 + 2*o - 4. Let a be t(-5). Let p be (-2 + a)*(-1)/(-2). Suppose -r + 6 = -p. Is 6 a factor of r?
False
Suppose 0 = -a - j - 2*j - 116, 4*a + 4*j = -440. Let g(d) = -3*d**2 + 15*d - 5. Let w be g(13). Let y = a - w. Is 27 a factor of y?
False
Suppose -149*c - 2*m = -154*c + 54506, 0 = 2*c + 3*m - 21829. Does 175 divide c?
False
Suppose 0*x = -4*x + 2*v + 18, -3*v - 23 = -5*x. Suppose -t + 296 = x*b, 112 + 720 = 3*t - 2*b. Is t a multiple of 10?
True
Suppose 6*i = -29 + 41. Suppose -i*x = 5*x. Let z(n) = -2*n + 10. Is z(x) a multiple of 10?
True
Let w = -44752 - -93250. Does 19 divide w?
False
Let k be (-4)/(-50) + (-1152624)/(-2200). Suppose -6*r + 2*b - k = -7*r, 0 = b + 2. Is r a multiple of 44?
True
Let r(d) = d**2 - 8*d + 174. Let u be r(19). Suppose -l + u = 243. Is l a multiple of 14?
True
Let c be ((-12)/3 + 15)/(1/(-1)). Let u = c + 13. Suppose 9 = -u*z + 2*s + 111, 5*s - 5 = 0. Is z a multiple of 13?
True
Suppose -5*f - 29*j + 28*j = -17683, 3548 = f + 4*j. Suppose 9*h - f = -656. Is h a multiple of 16?
True
Let d = -9875 - -11455. Is 4 a factor of d?
True
Suppose 3*h - 4*z + 1583 = 0, 2*h = z - 3*z - 1032. Let q = 759 + h. Is 14 a factor of q?
True
Suppose -m = d + 4, -m - 9 + 0 = 2*d. Let t(v) = v + 18. Let o be t(d). Suppose 0 = o*z - 9*z - 472. Is z a multiple of 21?
False
Let p = 8 + 4. Suppose 0 = -2*i - 5*y + 88, -2*i + 2*y + 48 = -p. Does 18 divide i?
False
Let l = 324 - -2926. Suppose 16*t = 42*t - l. Is t a multiple of 5?
True
Let m(j) = 43*j**3 + 16*j**2 - 102*j - 77. Does 91 divide m(9)?
False
Let r be (-234)/39*(1 - 5/(-2)). Is 11 a factor of 3/r - (-1919)/7?
False
Suppose 115*v + 39772 = -7*v. Let d(p) = -91*p. Let s be d(2). Let u = s - v. Is u a multiple of 18?
True
Let o(g) = -23*g**3 - 42*g**2 - 127*g + 6. Is o(-9) a multiple of 75?
False
Let c = 9744 + -1728. Is 4 a factor of c?
True
Let k(z) be the third derivative of z**6/60 - z**5/15 + z**4/6 - 2*z**3/3 + 40*z**2. Let p be k(2). Is 18 a factor of 7/(1*-2*p/(-40))?
False
Let d be (4 + -2)*17/2. Let p(u) = -128*u + 415*u - 36 - 141*u + u**3 - 18*u**2 - 120*u. Is 13 a factor of p(d)?
True
Suppose -3*q + 9719 = 162*f - 163*f, 0 = 3*q + 4*f - 9724. Is q a multiple of 66?
False
Suppose 3*m - 19177 = -g - 5359, -18435 = -4*m - 5*g. Is m a multiple of 26?
False
Suppose 46*q - 54*q = -88. Is 29 a factor of q/((-66)/(-609))*72/14?
True
Let h = 3359 + -979. Suppose 0 = 3*w - 0*w + 4*q - h, 4*w - 3190 = -2*q. Is 69 a factor of w?
False
Suppose 3*u - 146*s - 982 = -150*s, -3*s = -3*u + 954. Is 11 a factor of u?
False
Suppose 5*f - c = 7*f - 8, f - 4 = 3*c. Is (-40)/32 - (-2305)/f a multiple of 12?
False
Let l(t) = t**2 - 12*t + 5. Let h be l(11). Let a = 72 - 69. Is h/2 + 129/a a multiple of 20?
True
Suppose 291055 + 524306 - 235881 = 132*f. Is f a multiple of 10?
True
Let p be 40/(-260) + (-4)/(-26). Suppose p = 4*r - 1329 + 21. Is 13 a factor of r?
False
Let j be 2/2 - (-1 + -2 + 4). Suppose -4*q - 214 = 5*s - 726, j = -5*q + 15. Does 25 divide s?
True
Let b = -831 - -1508. Suppose 8*d = 59 + b. Is d a multiple of 2?
True
Let b be (6 - 9)/((-6)/(-232)). Is 15 a factor of (2 - b) + (0 - 3) + 5?
True
Let g = -67355 + 95797. Does 8 divide g?
False
Is 18/24 - (-42870)/24 a multiple of 139?
False
Let d(v) = -611*v - 50. Let n be d(-4). Let u = -1554 + n. Is 28 a factor of u?
True
Let l(d) = 9*d**2 + 10*d + 8. Let i(z) = -5*z**2 - 5*z - 4. Let n(w) = 7*i(w) + 4*l(w). Let j be n(-5). Suppose j*c - 8*c = -136. Is c a multiple of 14?
False
Is 0 - (-12 + 8) - (-2 + -25434) a multiple of 16?
True
Let n be -1*1 + (-16)/8. Let m be n/(-6 - -3)*7. Suppose -43 = -h - m. Is h a multiple of 18?
True
Suppose d + 5 = 3, -2*d + 5288 = 2*w. Suppose -16*c = -9046 + w. Is ((-6)/4)/((-4)/c) a multiple of 13?
False
Let f(u) = -93*u**3 - 5*u**2 - 111*u - 582. Is 102 a factor of f(-6)?
True
Let r = -132 - -122. Is 20 a factor of ((704/r)/4)/((-54)/405)?
False
Suppose -2*y = 0, -5*g + 5*y + 30 = -2*g. Suppose 6*o = g*o. Suppose o = 3*t - 124 - 356. Is t a multiple of 16?
True
Does 32 divide 18751/2 + (-9)/108*-6?
True
Let p = 2997 - 1566. Let f = -933 + p. Is f a multiple of 36?
False
Suppose -z = c - 11 + 2, 27 = 4*z + c. Suppose -z*x = -12*x + 162. Is x a multiple of 24?
False
Let k = 185 - 171. Suppose -k*i - 15*i = -1218. Is i a multiple of 5?
False
Let u = 454 + -188. Let n = 529 - u. Does 11 divide n?
False
Suppose -2*p = 5*l - 20, -4*p + 3*l + 40 = l. Let y = -273 + 273. Suppose y = o - p*o + 1503. Is 12 a factor of o?
False
Suppose -2*d - 9*d + 22 = 0. Suppose -19 - 23 = -d*x. Is x a multiple of 17?
False
Let k = 119 + -371. Let j = k + 423. Let t = j + -86. Is t a multiple of 17?
True
Is 20 a factor of (2/4*-3)/6 + 4561/4?
True
Suppose v = -0*v - 3*v. Suppose -94 = -2*t + 3*r + 331, -3*t - 5*r + 590 = v. Is 22 a factor of t?
False
Let z be -2*(-5)/((-20)/(-6184)). Suppose -653 = 3*r - 5*i - 2976, 4*i + z = 4*r. Suppose -r = -4*d + 5*k, -2*d + k = -3*k - 384. Does 17 divide d?
False
Suppose -4*p + 4 = -8*p. Let h be (3 - 3)*(p + 0). Suppose -5*q - 2*a = -13, 3*q + h*q = -3*a + 6. Is 3 a factor of q?
True
Let w(p) = -2*p**2 + 11*p + 14. Let m be w(-5). Let a = 337 + m. Is a a multiple of 8?
False
Let q(z) = 4*z. Let p be q(2). Let t = -1165 + -1413. Is 11 a factor of t/(-18) + p/(-36)?
True
Let l(g) = -6491*g**3 + 2*g**2 + 10*g + 7. Does 231 divide l(-1)?
False
Suppose 0 = -41*y + 44*y - 3*q - 11904, -4*y = 3*q - 15900. Does 12 divide y?
True
Let y be (0 - -2) + 4 + -3. Let k(w) = -w**2 + 4*w + 2. Let c be k(y). Is 16 a factor of 27*(c + 2/6)?
True
Suppose 0*h - 4*l - 28170 = -h, -4*l - 20 = 0. Does 20 divide h?
False
Suppose 5*j - v - 31 = 0, 3*v = 3*j - 0*j - 21. Suppose -24 = -9*m + j*m. Suppose 63 = m*x - 5*x. Does 21 divide x?
True
Let n(r) = 25*r**2 - 2*r - 6. Let l be n(-2). Let b = l + 70. Is b a multiple of 21?
True
Is 36 a factor of (10*15/150)/(2/7848)?
True
Let f = 20556 - 14112. Does 6 divide f?
True
Is 5 a factor of (3890/(-7))/((-2 - -11) + (-2159)/238)?
True
Let m(q) = 2626*q + 2. Let o be m(-3). Let g be (2/(-2))/((-23624)/o + -3). Suppose g = 8*a + 729. Is 31 a factor of a?
True
Does 85 divide (-9)/3 + 9 + 17582?
False
Suppose 14*z - 773 - 3805 = 0. Is z a multiple of 7?
False
Suppose -4*x + 0*x + 5*w + 17 = 0, 2 = -2*w. Suppose 3*p = 3, -b = x*b + 5*p - 341. Is b a multiple of 12?
True
Let f be ((-87)/(-6))/((-2)/(-4)). Suppose 2*u = -5*o - 172, 3*u = -o - 408 + 137. Let p = f - u. Does 10 divide p?
True
Is 13 a factor of 4/(-13) + (-374202)/(-117)?
True
Let q be 6/(0 + (2 - 0)/(-2)). Let w(f) = f**3 + 6*f**2 + 5*f - 3. Let n be w(q). Let a = -30 - n. Is a a multiple of 2?
False
Suppose 192 = -27*i + 23*i. Let p = -40 - i. Is 9 a factor of ((-8)/p)/((-1)/52)?
False
Let q(s) = 98*s**2 - 17*s + 39. Let k be q(3). Suppose 0 = -4*j + 3*v + 1174, -j - 2*j + k = 3*v. Is 19 a factor of j?
False
Let j(b) = -3*b**2 - b + 6. Let m be j(-2). Let o = m + 3. Let d = 24 + o. Does 6 divide d?
False
Suppose 23*f - 18*f = 1400. Let k = 318 - f. Is 3 a factor of k?
False
Suppose -5*d = 4*b - 40, -3*d = -5*b + 3*b - 2. Suppose -266 = -2*o - 2*k + 72, 4*k = -b*o + 845. Does 11 divide o?
False
Suppose 2*m + t + 4 = -t, 0 = 2*m + 5*t + 7. Let w(p) = -p**3 + 19*p**2 + 24*p - 78. Let r be w(20). Is m*r + 44 + 0/2 a multiple of 14?
True
Suppose 16*a = 34*a - 702. Suppose a*b = 41*b - 566. Is b a multiple of 17?
False
Let u = -309 - -175. Let t = u + 250. Is 5 a factor of t?
False
Let m be (-8)/(-36) - (-2347)/9. Let d = m + -185. Does 17 divide d?
False
Let h = 12 - 221. Let i be -14 + 17 - 1*h. Suppose -3*n - y = -i, -2*n - 76 = -3*n - 3*y. Is n a multiple of 7?
True
Suppose 3*j = -0*j + 4*w + 250, 0 = 3*j + 4*w - 266. Suppose o - 61 = 12. Let i = j - o. Is 3 a factor of i?
False
Suppose 4*m - 1365 = -4*a + 1867, m = -4*a + 3217. Does 11 divide a?
True
Suppose -5*x + 7882 = -11338. Suppose -13*p - x = -59692. Suppose a - 13*a = -p. Is 33 a factor of a?
False
Is (-17)/(1880/472 + -4) a multiple of 16?
False
Suppose -3*k = 5*v - 2 + 1, -2*v = 5*k - 8. Suppose 0 = 3*p + k*p + 3*h - 15, 0 = 2*