 0. Suppose 2*z + 124 = 2*o, -14*o - c*z + 136 = -12*o. Is o a multiple of 6?
False
Is 2 a factor of -14 + (581 - (-8)/(-4))?
False
Suppose -2*h = -6, 4*u = -0*h - 3*h + 833. Let c = u + -50. Is c a multiple of 39?
True
Suppose 29*w - 31*w + 33222 = 4*q, w + 16617 = 2*q. Is 39 a factor of q?
True
Let p = 5742 - 3204. Is 4 a factor of p?
False
Suppose -2*v + 5*z + 126 = 0, -4*v + 7*z = 4*z - 224. Suppose v + 221 = 2*a. Does 4 divide a?
False
Suppose 5*t + 1834 = o, 3*t - 10*o + 9*o + 1102 = 0. Let q = -117 - t. Is q a multiple of 40?
False
Let a = -139 + 176. Let j = 157 - a. Is j a multiple of 30?
True
Let s(m) = 52*m**3 - 8*m**2 + 65*m - 337. Does 167 divide s(6)?
False
Is 19 a factor of (1977/(-9) - 6)/(1*2/(-30))?
False
Let p = 21569 + -19301. Does 42 divide p?
True
Let b = 436 - 392. Let o = 807 + b. Is 23 a factor of o?
True
Let u = 43 - -423. Let q = -338 + u. Is q a multiple of 16?
True
Let g(b) = -352*b + 133. Let n(d) = 176*d - 68. Let s(i) = 2*g(i) + 5*n(i). Is 8 a factor of s(5)?
False
Let t be (-1310)/(-4)*(-32)/(-40). Suppose -80 = -6*b + t. Does 57 divide b?
True
Suppose -4*v = -10*v + 9*v. Suppose -6*s + s + 2395 = v. Is 57 a factor of s?
False
Let g(p) = 5*p - 70. Let h be g(16). Suppose -4*i + 24 = -5*u, 3*i + 9 = -6*u + 3*u. Is 9 a factor of -5*((-28)/h + i)?
True
Let i(f) = -f**2 - 14*f + 149. Let m be i(7). Suppose -m*c = 6, -3*c - 33 = -o + 158. Does 3 divide o?
False
Let i be 1 + 2 - (-42 - 4). Let b = -48 + i. Is 4 a factor of 34 + (-3 - (b - 2))?
True
Suppose 333*w + 15 = 328*w, -3569 = -z - 5*w. Is z a multiple of 21?
False
Let b = -32 - -35. Suppose -3*l - 2*x - b = -19, 7 = -4*l + 3*x. Suppose 4*t - 59 - 29 = -l*w, -2*w - t = -88. Does 8 divide w?
False
Suppose 0 = 30*d + 17*d - 188. Suppose -d*v - 867 = -4595. Does 16 divide v?
False
Let f be (-4)/(5/5)*(-274)/2. Suppose 4*j + f = 2*s, -4*j = -j + 2*s + 425. Let c = j - -387. Is 24 a factor of c?
False
Let g = 18649 - 10846. Does 17 divide g?
True
Let v be 38 - (-2 + 1) - 2. Suppose 6*j = 380 - 8. Suppose 3*n - 5*o = 62, 5*n - j = 4*o + v. Is n a multiple of 2?
False
Suppose -4*c + o = -10, -2*o + 5*o = 2*c. Suppose 4*t = -2*i + 844, 1703 = 4*i + 2*t + c*t. Is 36 a factor of i?
True
Let g(t) = t**2 - 5*t + 6. Suppose 14*l + 16 = 13*l. Let q be g(l). Does 5 divide q/8 + 2/8?
False
Is (37/(-185))/(1/(-1845)) a multiple of 9?
True
Suppose -19*o - 2*s = -20*o + 321, 3*o + 4*s - 933 = 0. Suppose o*h = 327*h - 2172. Does 10 divide h?
False
Let v be ((-360)/21)/((-50)/(-525)). Let p = 306 + v. Does 42 divide p?
True
Let j = -39 - -42. Let w(i) = j*i + 8 - 6*i**3 + i + 7*i + 19*i**2 + 5*i**3. Does 44 divide w(19)?
False
Is (-239155)/(-84) - (88/(-96) - -1) a multiple of 13?
True
Let j(i) be the second derivative of 23*i**3/6 - 15*i**2 + 6*i. Let g be j(6). Suppose 5*p = 4*f - 436, -108 = -2*f + 3*p + g. Does 38 divide f?
True
Is -336*(1792/(-42) - -10) a multiple of 99?
False
Let i be -3 - ((-27 - -2) + 2 + -3). Suppose 10*c - i - 1417 = 0. Is 24 a factor of c?
True
Let c(t) = 6*t**2 + 100 + 3*t - 97 - t**3 - t. Let o be c(7). Let x = o + 50. Is x a multiple of 16?
False
Let c = -92 + 246. Let b = c + -120. Is b a multiple of 17?
True
Suppose 4*j + 286 = -3*l, 5*j + 470 = -l - 4*l. Let o be 688/(-15) - 3/l*-4. Let t = o + 56. Does 10 divide t?
True
Is 541 - -2 - (194 + -182) a multiple of 8?
False
Let k(w) = -11*w + 31. Let j be k(-7). Suppose -2*s - j = b, 6*b - 2*b = -2*s - 120. Let p = -46 - s. Does 6 divide p?
True
Suppose -2*y - 10 + 0 = 0, 337 = 4*z + 3*y. Let i = 90 - z. Suppose k - 3*n - 29 = i*n, 0 = k + n - 29. Is k a multiple of 12?
False
Let j = -8029 + 17452. Does 65 divide j?
False
Suppose -6*k = 13*k + 2318. Let w(h) = 13*h**2 + 3*h + 2. Let x be w(4). Let a = k + x. Does 25 divide a?
True
Let d(y) = -y**3 + 18*y**2 - 25*y - 31. Suppose a - 5*c + 8 = 3*a, 0 = -c - 4. Is 9 a factor of d(a)?
False
Is (-1141785)/(-225) + (2 - 8/5) a multiple of 15?
False
Let m(j) = -12*j - 136. Let c be m(-17). Suppose c*q + 1626 = 74*q. Is 18 a factor of q?
False
Let k(m) = m**3 + 5*m**2 - 7*m - 2. Let j be k(-6). Suppose -4*d = 4*q - 364, -5*d + j*q - 2*q = -448. Is 9 a factor of d?
True
Let t = 407 - -561. Suppose -2*z - t = -4*w - 6*z, 0 = 3*z + 9. Is 35 a factor of w?
True
Suppose -4*q - 2*s + 2503 = 891, -2*q + 830 = -3*s. Is q a multiple of 32?
False
Does 32 divide (-137 + (-6 - (-16)/4))*-118?
False
Does 80 divide 1*(1 + 4771) - (-5 - 3)?
False
Suppose -5*c + 4580 = 2*p - 540, 5084 = 2*p - 4*c. Is 30 a factor of p?
True
Let j be (-90)/(-36)*202/10*62. Suppose 44*i - 75*i + j = 0. Does 2 divide i?
False
Let h = -12411 + 42410. Is h a multiple of 198?
False
Suppose -2*u + 1 = 5*z + u, 3*z - 2*u = -7. Is 1/z + (-12)/((-36)/111) a multiple of 6?
True
Let h(u) = u**2 - 4*u - 41. Let n be h(9). Suppose -3*l = -n*f - 988, 0*f = 5*f + 5. Does 19 divide l?
False
Let n = -14 + -6. Let i = n + 8. Let t(v) = -15*v - 16. Is t(i) a multiple of 14?
False
Suppose -279 = -19*n + 25. Does 24 divide n/(-4) - -26 - 8/(-2)?
False
Let j(m) = -21*m. Suppose 0 = -4*x, -8*k - 10 = -3*k - 2*x. Let w be j(k). Is w/8*-4*3/(-3) a multiple of 17?
False
Let x be (-26)/8*(-6 + 2). Let q(d) = d**2 + 16*d - 4 + 17 + 6 - 2*d**2. Does 29 divide q(x)?
True
Let x = 14218 + -7082. Is 16 a factor of x?
True
Suppose 1757 = 130*y - 123*y. Is 26 a factor of y?
False
Let t = 24 + -24. Suppose 3*c - 40 - 50 = t. Suppose q = -2*o + c, o - 2*q + 44 = 4*o. Does 3 divide o?
False
Suppose 922 = 2*m + 4*q - 6*q, m - 473 = 5*q. Let w = m - 426. Is w a multiple of 3?
False
Let a(g) = g**3 + 15*g**2 + 13*g - 14. Let k be a(-14). Let m be (-3 - -4 - 0) + 1. Suppose k*p = -4*p + t + 112, -3*t = m*p - 56. Is p a multiple of 7?
True
Does 6 divide 351600/750 - (-4)/(-5)?
True
Suppose 6*a - 10 = 4*a, -j = 2*a - 44. Let w(d) = 2*d + 4. Let t be w(4). Let g = j - t. Is g even?
True
Suppose 220 = i + 181. Suppose 14 = s - o, 2*o - i = -3*s + 23. Is s a multiple of 3?
True
Is (9/(-2) + 1)*((-5640)/24 + 39) a multiple of 2?
True
Let w(u) be the third derivative of u**5/12 - 7*u**4/12 + 7*u**3/6 - 26*u**2. Suppose 7*z - z - 54 = 0. Does 26 divide w(z)?
True
Suppose -72*q + 50655 + 199694 = -86179. Is 31 a factor of q?
False
Let v = 4534 + -3979. Is v a multiple of 5?
True
Let l be 2 + 8 + -7 + 17773. Suppose -27*s + l = -19349. Is 35 a factor of s?
False
Let d(w) = -585*w - 464. Is d(-2) a multiple of 4?
False
Let z(q) be the first derivative of 13*q**3/3 - 5*q - 100. Does 4 divide z(3)?
True
Let b(n) = -12*n**2 - 5*n - 2. Let a be b(-1). Let k = a - -15. Let c(v) = -v**2 + 16*v - 10. Is c(k) a multiple of 5?
True
Suppose 24*t - 89230 - 109514 = 0. Is t a multiple of 15?
False
Suppose -8*d = 27*d - 9*d - 322712. Is d a multiple of 14?
False
Let h(r) = 51*r + 6. Let f be h(-2). Is ((-36)/1)/(6/f) a multiple of 12?
True
Let g(b) be the third derivative of b**8/10080 - b**7/5040 - b**6/240 + b**5/15 - 2*b**2. Let a(n) be the third derivative of g(n). Is a(4) a multiple of 7?
False
Let l(m) = -68*m**2 + 12*m - 47. Let q be l(3). Let a = -420 - q. Is a even?
False
Suppose -10*w = -22*w + 84. Is 329/1 - (-4 + 21/w) a multiple of 26?
False
Let y(d) = -d**2 - 4*d - 27. Let o be y(0). Is ((-2)/6)/(o/34344) - -3 a multiple of 7?
True
Let o(q) = -q**3 - 8*q**2 + 3. Let n be o(-8). Does 12 divide 6*n*644/42?
True
Suppose 0 = -3*v, -859 = -4*f - v + 153. Let c = f - 70. Is 11 a factor of c?
False
Let x(m) = m**2 + 35*m - 212. Is 28 a factor of x(80)?
True
Suppose -213*j + 271*j - 14674 = 0. Is j a multiple of 40?
False
Let c = 26 - 7. Let o = c + -20. Is 21 a factor of 3 - o*117/3?
True
Let s(m) = 22*m**2 - 37*m + 593. Does 19 divide s(15)?
False
Let t(m) = m**2 + 31*m + 194. Is 8 a factor of t(-58)?
True
Let d be 6/21 + (-76)/(-28). Suppose w + 2*y = -0*w - 6, -5*w - d*y = 16. Is (w/6)/((-9)/135) a multiple of 3?
False
Suppose 19*c = -g + 14*c + 16315, -16314 = -g - 4*c. Is g a multiple of 35?
True
Let f be 3/1 + (-10)/(160/(-4304)). Let j be (-3 + 1)*(3 - 5). Suppose 0*m + j*t = 5*m - f, 214 = 4*m - 5*t. Does 28 divide m?
True
Let d = 542 - 314. Suppose 0 = -l + 13*l - d. Is 5 a factor of l?
False
Let n = -541 + 546. Suppose 2*u - n*k - 449 = 0, -685 = -3*u - 0*u - 4*k. Is 4 a factor of u?
False
Is (9/(-6))/((-99)/1472262) + -4 + -5 a multip