 (-426506)/(-30)?
False
Let b = -8000 - -5321. Let z = -1209 - b. Is z a multiple of 25?
False
Suppose 12*m - 57 = 11*m. Let o = 43 - m. Is 27 a factor of (-1128)/o + (-36)/(-84)?
True
Let t be 1 - (2 + 2) - (-28 + 2). Suppose -8 = -5*b + 3*u + t, -3*u = 2*b - 4. Suppose 2*d + 4*g = g + 218, -2*g + 545 = b*d. Is d a multiple of 40?
False
Suppose -292*v = -297*v + 61740. Is 126 a factor of v?
True
Suppose -285*j + 112*j = -142*j - 23188. Does 44 divide j?
True
Let b = -4446 - -36474. Is 24 a factor of b?
False
Suppose -18*d - 69 = -2571. Let c = 237 - d. Let x = 113 - c. Does 3 divide x?
True
Let t be (-60)/(-9)*((-72)/(-10))/6. Let q(l) = 9*l + 82. Does 23 divide q(t)?
False
Suppose -18 + 6 = 6*o. Let p be 3/o + (-7)/(-14). Does 12 divide 48/((-3)/p - 2)?
True
Suppose 59*b = 58*b + 1. Let j be (0 - (1 + b)) + -12 + 19. Suppose -70 = -2*u - j*w, 0*w = 2*w - 4. Is u a multiple of 10?
True
Does 4 divide 24*(18 - 430/(-3))?
True
Let a(o) = 6*o - 2 - 3 - 29*o. Let h be 12/3 + -1 + -1 + 280/(-35). Is 33 a factor of a(h)?
False
Suppose 0 = -2*y - 2*b + 6 + 6, 6 = -y + 2*b. Suppose 9*g - 49 = y*g. Suppose 31 = j + g. Is j a multiple of 12?
True
Let r = 13 + -10. Suppose -5*p + 0*p - 8 = -r*s, 5*p + 4*s + 1 = 0. Does 12 divide 1*(p*10)/((-19)/57)?
False
Let j(h) be the first derivative of 11*h**4/4 + h**3/3 - h - 31. Let d be j(1). Let l(s) = 5*s - 9. Is 10 a factor of l(d)?
False
Let q = -141 + 176. Is (-42)/q*-270 + (0 - -3) a multiple of 50?
False
Suppose p + 3*o = -p + 119, -2*o + 114 = 2*p. Let d = 58 - p. Is 28 a factor of 333/d + (-1)/(-2)?
True
Let b = -2957 - -4301. Let l = b - 757. Is 17 a factor of l?
False
Suppose -d = -239 + 238. Is d + 31/(-93)*(-174 + 0) a multiple of 8?
False
Suppose k + 3*q = 7656, -280*q + 15298 = 2*k - 281*q. Does 30 divide k?
True
Suppose 2*y - 25336 = 3*n, -2*n = 4*y - 44538 - 6102. Is y a multiple of 7?
False
Let f be -1 - (157 - 8/(-2)). Suppose -36*r - 1917 = 3087. Let g = r - f. Is g a multiple of 23?
True
Suppose 46*a = 3*m + 44*a - 2498, 3*a = 5*m - 4164. Is (-20)/(-70) + (m/21 - 2) even?
True
Let d(z) = 83*z**2 - 6. Suppose 24*y - 54 = 6*y. Is 57 a factor of d(y)?
True
Let j(x) = -2*x**2 - 2*x**2 - 17*x - 7 + 3*x**2 + 9*x. Let s be j(-2). Suppose -4*y - s*t + 77 = -y, -5*y + 5*t + 115 = 0. Is 6 a factor of y?
True
Suppose 2*c = 11*u - 171003, 12*u - 3*c + 31115 = 14*u. Does 7 divide u?
True
Let t(j) be the first derivative of j**3/3 + 102*j + 10. Let d be t(0). Suppose -8*u - d = -9*u. Is u a multiple of 16?
False
Suppose 4*a + 3*k = 28333, k = -k - 2. Is 14 a factor of a?
True
Let u(t) = t**3 - 4*t**2 - 3*t - 3. Let w be u(5). Let s(k) = k**3 + 4*k**2 + 17*k - 28. Is s(w) a multiple of 18?
True
Let m be 192/6*(5 - 5/20). Let j(l) = l - 1. Let g be j(3). Suppose 0 = 2*i + 3*i + 20, m = g*k + 3*i. Is 24 a factor of k?
False
Let u = 25 + -21. Suppose 12*t - 3*t = 4167. Suppose -5*c + t + 72 = 5*w, 0 = -2*w + u*c + 196. Does 13 divide w?
True
Let t(y) = 11*y**2 + 12*y - 313. Is 11 a factor of t(27)?
True
Suppose 7*x - 2*a = 4*x + 3587, -4*x - 5*a = -4752. Suppose -5*z + x = -37. Suppose -2*i = 5*h - 128, -4*i + 0*i - 5*h + z = 0. Does 7 divide i?
False
Suppose 0 = 3*k + 5*x - 202, 417 = 5*k + 5*x + 97. Let r = k + -43. Let z = r - -33. Is z a multiple of 49?
True
Suppose -o = -4, -406 = -46*v + 44*v + 2*o. Is 23 a factor of v?
True
Let i(v) be the first derivative of -v**4/4 + 6*v**3 - 43*v**2/2 + 99*v + 37. Does 3 divide i(15)?
True
Does 130 divide -1 - 308878/(-8) - (-915)/732?
True
Suppose 16*f + 7789 - 12720 = 11533. Does 14 divide f?
False
Let w = 651 + -616. Let y = w - -896. Does 7 divide y?
True
Let z(r) = -2*r**2 - 14*r + 1. Let u(d) = -24 + 2*d**2 + 72 - 24 + 15*d - 25. Let n(s) = -6*u(s) - 7*z(s). Is n(-5) a multiple of 3?
True
Let p be 14/4 - 3/2. Is 7 a factor of p/(-3) - (-1000)/60?
False
Suppose -4*g = -3*u + 41, -8*u + 10*u - 34 = -4*g. Is 14 a factor of (-20 - -10)/((-2)/u)?
False
Let a = 3895 - -1101. Is 12 a factor of a?
False
Let n(b) = -25*b + 169. Suppose -5*g + 2*p - 7*p = -35, -g + 5*p = 5. Is 4 a factor of n(g)?
True
Suppose 0 = -4*c - 3*w + 8552, 3*c + 23*w - 18*w - 6392 = 0. Does 16 divide c?
True
Let b(c) = -3*c**2 - 27*c + 130. Let x be b(4). Let v(q) = q**3 + 25*q**2 - 85*q - 26. Does 26 divide v(x)?
True
Let w(v) = v**2 - 5*v - 1. Let s be w(6). Suppose -g + 58 = z, s*z = -2*g - g + 292. Suppose 5*h - 371 - z = 0. Does 11 divide h?
False
Suppose -w + 3 = -0*w. Suppose -37*s + 16*s = 84*s. Suppose -w*d + 11 = 4*f, s = -2*f - d + 5. Does 2 divide f?
True
Let z(y) = -6*y**2 + 10*y - 8. Let i be ((-5 - -1) + 7)/((-6)/20). Let u be z(i). Is 6 a factor of 3/(-9) + u/(-18)?
False
Suppose 0 = g + 2*b + 75, -5*b = 4*g - b + 288. Let x = 111 + g. Is x a multiple of 23?
False
Suppose 18*l = 11604 - 3540. Is l a multiple of 125?
False
Suppose 0 = 3*b + 257 - 830. Let q = 252 - b. Is q a multiple of 2?
False
Suppose 30 = 18*d - 13*d. Let m be (d/(-15) - (-2514)/60)*4. Suppose -1080 = -5*t + 5*f, 0 = -5*t - 5*f - m + 1286. Is t a multiple of 44?
True
Suppose 5*v - 25 = 0, 73*g = 76*g - 2*v - 14843. Does 4 divide g?
False
Let l(w) = w**3 - 3*w**2 - 28*w + 6. Let m be l(12). Let g = -633 + m. Is g a multiple of 41?
False
Suppose 26*p + p - 266750 = 5*p. Is 88 a factor of p?
False
Let l = -27396 + 38494. Is 16 a factor of l?
False
Suppose 5*j - 87597 = -y, -3*j + 683*y + 52557 = 684*y. Is j a multiple of 15?
True
Suppose -110*u - 60949 = -115*u + 3*o, 48743 = 4*u + 3*o. Is 11 a factor of u?
True
Let s(f) = 124*f - 94. Let h be s(29). Let v = h + -2394. Is 42 a factor of v?
False
Let i be 27/36*-1*4. Let f be 6/1 + (3 - (-9)/i). Does 9 divide ((-60)/(-8) - f)/(1/30)?
True
Suppose 1812368 = 239*a - 954057. Is 68 a factor of a?
False
Is 4/16 - (743490/(-88) - -14) a multiple of 5?
True
Suppose 89*q = 364*q - 2792900. Is q a multiple of 27?
False
Let i(g) = 23*g**2 + 5*g + 2019. Is i(49) a multiple of 234?
False
Let q = -1241 + 2042. Does 3 divide q?
True
Let a(b) = -394*b - 2784. Is a(-76) a multiple of 194?
True
Let u = -319 - -191. Let q = 147 + u. Does 11 divide q?
False
Suppose -5*d = -84*w + 83*w - 35037, 2*d - 4*w = 14022. Is d a multiple of 19?
False
Suppose 391921 + 227126 = 37*d. Is d a multiple of 117?
True
Let v(c) = -c**3 - 33*c**2 + 29*c - 11. Let m be v(-34). Let u = m + -129. Is u a multiple of 7?
False
Let h(z) = 95*z + 1078. Is h(27) a multiple of 56?
False
Let y be (25/15)/(5 + 100/(-24)). Suppose 0 = -y*g - 2*m + 726, 0 = 2*m - 1 - 5. Is 30 a factor of g?
True
Let v(w) = 6*w - 210. Let d be v(35). Suppose -f - 5*p + 6*p + 85 = d, 0 = f + 4*p - 60. Is 7 a factor of f?
False
Let y(f) = 3*f**2 - 2. Let l(k) be the third derivative of -7*k**5/60 + k**3/2 + 20*k**2. Let j(z) = 2*l(z) + 5*y(z). Is j(-9) a multiple of 6?
False
Let y(t) = 118*t + 53. Let l be y(9). Suppose l = -12*j + 4535. Is 15 a factor of j?
True
Let m(w) be the second derivative of -13*w**5/5 - 11*w**4/12 - 5*w**3/6 - 12*w**2 + 2*w + 87. Is m(-3) a multiple of 27?
True
Let h(j) = -j**3 - 11*j**2 + 13*j + 16. Let k be h(-12). Suppose -k = 2*r - 12. Suppose -r*s + 199 = -2*s + 3*f, 5*s + 4*f = 480. Is s a multiple of 26?
False
Let o(d) = -d**3 + 5*d**2 + 7*d - 6. Let f be o(6). Suppose -7*m - m + 224 = f. Is 18 a factor of m?
False
Suppose 5*p = 7*p + 2*y + 84, -3*p + y = 106. Is p/(-1) + (-3 + 2 - 3) even?
False
Suppose 10*d - 42 = -4*d. Suppose d*n = 4 + 29. Does 8 divide n?
False
Suppose 13909 - 23149 = -6*t + 32310. Does 5 divide t?
True
Suppose z - 4*r = -17, 3*r + 15 = -2*r. Let h = 35 + z. Suppose 0 = 5*a + h - 96. Is 6 a factor of a?
True
Suppose 20*l = 80*l - 573480. Is l a multiple of 18?
True
Let l = 2 + -2. Suppose -2*x = -6*x + p + 382, -2*x + 188 = -2*p. Suppose l = 9*a - 5*a - x. Is 4 a factor of a?
True
Let f be ((-1)/2)/(3/6) + -1095. Let y = -420 - f. Is y a multiple of 26?
True
Let q(s) = s**3 + 33*s**2 - 152*s + 77. Does 225 divide q(-37)?
True
Is 75 a factor of 3118440/990 + 10/165?
True
Suppose -3*n + 410 = 5*u, 3*n - 5*u = 5*n - 275. Let x = n - 105. Is x even?
True
Is ((186/527)/(20/85))/(3/2852) a multiple of 23?
True
Suppose -445*h = -127*h - 1385661 + 266301. Is 5 a factor of h?
True
Suppose 4041 = w + 5*p, 12*p = 8*p - 8. Suppose 0 = 23*d - 14809 - w. Is d a multiple of 82?
True
Let y = 2