Let m = u + -234. Is 2 a factor of m?
True
Let h = -265 - -263. Does 2 divide h*298/(-4) - -9?
True
Let l(r) = -11*r + 2285. Let q be l(0). Suppose -17*i + 2611 + q = 0. Is 16 a factor of i?
True
Let n = 32032 - 23840. Does 16 divide n?
True
Let z = 993 + 89. Let i = -772 + z. Does 8 divide i?
False
Suppose -997*i + 951*i + 24932 = 0. Does 2 divide i?
True
Suppose -l = -2*m - 4*l + 990, -2*m = -3*l - 978. Suppose -20*g + m = 92. Is g even?
True
Let a(f) = 2503*f - 7692. Is a(26) a multiple of 20?
False
Let h = -137 - -141. Suppose 5*s + 2*l = 1752, h*l = -4*s + 1808 - 416. Is 37 a factor of s?
False
Suppose -5*p - 2*k = -p - 36, -20 = -p + 5*k. Is 49 a factor of 88*30/27 - p/(-45)?
True
Let h(q) = 5*q**2 - 103*q - 44. Does 17 divide h(34)?
False
Suppose -3*b + 4 = -2*o, 6 = 11*b - 12*b - 3*o. Suppose -61*i + 4626 + 20262 = b. Is 12 a factor of i?
True
Let k(j) be the third derivative of -11*j**6/4 + j**5/60 + j**4/24 - 99*j**2. Is k(-1) a multiple of 22?
True
Suppose 18*f = 4 + 14. Let a(k) = 200*k - 1. Is 25 a factor of a(f)?
False
Let o(m) = 18*m**3 + 18*m**2 + 73*m - 395. Does 89 divide o(5)?
True
Let n be (-1)/(28/(-7568)) - 6/21. Suppose -6*u + 9*u = n. Does 18 divide u?
True
Suppose 6457 + 32023 = 5*o + 21*o. Is o a multiple of 8?
True
Suppose 24*i = 18*i + 2430. Let w = 279 + i. Does 15 divide w?
False
Let d = -60 - -85. Let r be 3015/d - 6/10. Suppose -450 = -4*l + x, -l + 4*x + 0*x + r = 0. Is 5 a factor of l?
False
Is 48 a factor of 6098/5 + 8 + 13/(715/(-473))?
False
Let i = 3727 - 2276. Does 27 divide i?
False
Let v(w) = w**3 + 38*w**2 + 10*w + 1406. Is v(-31) a multiple of 11?
False
Let v(s) = -s**2 - 12*s. Let d be v(-12). Let f be d*-5*3/(-15). Suppose f*c = -2*j + 3*c + 179, 5*c = -5. Is 22 a factor of j?
True
Suppose 0 = -c + 3*i - 307, 127 = -3*c - 3*i - 806. Let q = c - -545. Suppose q = 9*r - 197. Is 12 a factor of r?
True
Let t(r) = 15*r - 13. Let a be t(23). Suppose -5*i - a = -1497. Is i a multiple of 45?
False
Let z(x) = x**2 - 15*x. Let o = -15 - -38. Suppose 4*y - t = -6*t + 79, -y = -2*t - o. Is z(y) a multiple of 18?
True
Suppose -5*p = f - 4*p - 4195, -5*p = -f + 4201. Suppose 0 = -14*s - f + 18560. Is 57 a factor of s?
True
Let k(h) = -2*h**2 + 15*h + 47. Let x be k(-9). Does 21 divide x/(-4) + 21/42?
True
Let c = -169 - -172. Suppose -3*a - 112 = -s + 241, -4*s - c*a = -1427. Does 23 divide s?
False
Let t be -19 - 2/(-2) - (-34)/(-17). Let l be (8/t*5)/(2/(-3)). Suppose -2*g = -6*k + 3*k + 643, -l*k - 5*g + 608 = 0. Does 12 divide k?
False
Does 5 divide (-20622258)/(-7429) - 2/(-23)?
False
Is -4 + (8/84 - 255352/(-84)) a multiple of 23?
True
Let i be (-4)/(-7) + 327816/406. Suppose p = -3*x - 252 + i, 3*p - 1658 = x. Is 33 a factor of p?
False
Suppose 209*o - 213274 - 116634 = 219344. Does 146 divide o?
True
Suppose -406*o + 6550459 - 2398969 = 124*o. Is 7 a factor of o?
True
Suppose 67*g - 113 = 222. Suppose 12 = -4*z, 4*z - 36 = -g*p + 42. Does 9 divide p?
True
Is 3/(18/(-16))*(-100)/(4000/21420) a multiple of 42?
True
Suppose 116*w + 251328 = 132*w. Does 22 divide w?
True
Let p = 692 - 742. Does 27 divide p*((-36)/8)/9 - -2?
True
Is (14 + 21)/(-5) + 469 a multiple of 6?
True
Is 2574/(-13)*-3 + 8 + 0 a multiple of 14?
True
Is 138 a factor of ((-899238)/10)/(-3) + (-19)/((-950)/20)?
False
Let j(k) = -2263*k + 202. Is 29 a factor of j(-1)?
True
Suppose -4639 = -111*w + 4597 + 9412. Let s be ((-24)/10)/((-2)/115). Suppose -s = -i - 2*i + d, -w = -4*i - 4*d. Is 5 a factor of i?
True
Let i = -2195 + 7177. Is 55 a factor of i?
False
Suppose -4*u + 2*v + 50 = 0, -10*u + v = -6*u - 47. Does 78 divide (u - 89)*17/(-1)?
True
Let v = -1560 - -15768. Is v a multiple of 8?
True
Let a(z) = -112*z - 13. Let n(d) = -225*d - 27. Let x(h) = 13*a(h) - 6*n(h). Let y be x(3). Let o = y + 455. Is o a multiple of 28?
False
Suppose d - 4*d - 4*k + 2278 = 0, 3*d = 5*k + 2323. Suppose 0 = -b - 5*g + d, 0 = 4*g - 10 - 2. Is 57 a factor of b?
False
Suppose 31*s = 36*s - 2*m - 430, -274 = -3*s - 2*m. Let p = 52 + s. Is p a multiple of 14?
True
Suppose 88110 = -5*f + 15*f - 2390. Does 46 divide f?
False
Suppose 3 = -2*i + 3*i. Let k be i/(-5) - (-6)/(-15). Is ((-1)/k)/((-5)/(-55)) a multiple of 5?
False
Let l(i) = -69*i**2 - 5*i + 11. Let u be l(-3). Let v = u + 869. Does 15 divide v?
False
Let m(v) = v**2 - 22*v - 65. Let d = -14 - 1. Does 70 divide m(d)?
True
Suppose -2*n + 7*n = -3*o + 1, 2*n + 2 = 0. Suppose 0 = -2*u - 3*p - o*p + 21, p = 4*u - 53. Does 4 divide ((-3)/4 - u/4) + 35?
False
Let s(y) = 0*y - 27 - 6*y + 3*y - 12. Let p be s(-13). Suppose -13*v - 432 + 1485 = p. Does 6 divide v?
False
Let o be (-724)/(-12) - (4/6)/2. Suppose o - 552 = -6*v. Is v a multiple of 15?
False
Is 73 a factor of (-344538)/4*(572/(-99))/26?
False
Let r = 2885 + -1983. Is 71 a factor of r?
False
Let b(s) = 17*s**3 - 4*s**2 - 5*s + 4. Let a be b(4). Suppose -3*n = 4*l - 12, -6 = 4*n + 32*l - 34*l. Suppose 8*r - a = -n*r. Is r a multiple of 14?
True
Suppose 7333 = c - 129*s + 125*s, -5*c - s + 36560 = 0. Is 71 a factor of c?
True
Suppose 3*r + r - 400 = 0. Let b be (-1 - 17/(-5))*r. Suppose -7*l = l - b. Is 15 a factor of l?
True
Let m be -4*((-3)/(-18) - (-11)/6). Let r(d) = -7*d - 8. Let l be r(m). Let h = l + -38. Is 2 a factor of h?
True
Let h(z) = z**2 + 2*z - 12. Let n be h(-5). Suppose -2*q - w = -141, -6*w = 5*q - 3*w - 354. Suppose n*t - q = 2*s, 0 = 4*s - s - 9. Does 25 divide t?
True
Let d(y) = 16*y**3 - y**2 + 33*y - 228. Is d(6) a multiple of 15?
True
Suppose j - d + 1 = -j, 3*j - 3*d + 3 = 0. Suppose j = 13*h - 762 + 8. Is h a multiple of 2?
True
Let x be (-20)/3 + (-7)/21. Let k(y) = -2*y**2 - 16*y - 8. Let j be k(x). Let u = j - -48. Does 7 divide u?
False
Suppose -h + 5 = -n, -n - 13 = -3*h - 2*h. Suppose -h*f = 6*f - 7632. Is 1*4/(-16) + f/8 a multiple of 17?
True
Suppose -5*z + 2470 = -5*f, 4*f - 3*z - 2004 = 8*f. Is 24 a factor of f/8*364/(-39)?
False
Suppose -770364 = -266*s - 88074. Is s a multiple of 3?
True
Let d = -576 - -473. Suppose 2*x - 54 = 4*x. Let r = x - d. Is r a multiple of 12?
False
Let r = -1202 + 2042. Is 84 a factor of r?
True
Let t = 621 + -659. Let r = 59 + -2. Let l = r - t. Does 10 divide l?
False
Let p = -25 - -31. Suppose 2*q - 1083 = r, -r = 5*q - p*q + 539. Is 44 a factor of q?
False
Let a = -273 + 278. Suppose -4*t - a*z + 1098 = 0, 3*t + 2*z = -z + 822. Is t a multiple of 5?
False
Let w(p) = -p**3 + 8*p**2 - 12*p + 5. Let a be w(6). Suppose -a*y = 247 - 2137. Is 18 a factor of y?
True
Suppose -8*v - 57 - 23 = 0. Is 8/v - ((-12672)/10)/9 a multiple of 5?
True
Suppose -20 = 5*m, -m - 2*m = -2*t + 28. Let j(v) = -t*v - 3*v + 6*v + 4*v**2 - 1. Is 10 a factor of j(3)?
True
Let o(t) = 2*t**2 + 17*t + 159. Is 2 a factor of o(-19)?
True
Suppose 0 = 2*t + 2*i - 7*i - 123, -255 = -5*t + 2*i. Suppose -1960 = -t*d - 0*d. Is 8 a factor of d?
True
Let q(c) = 21*c + 585. Let k(r) = -20*r - 582. Let b(l) = 5*k(l) + 6*q(l). Is 14 a factor of b(0)?
False
Let n(o) = 4*o**3 - 37*o**2 - 17*o - 150. Is 22 a factor of n(16)?
True
Let d = -351 - 250. Let s = d + 1036. Does 8 divide s?
False
Suppose -5*q + h = -10027, 5*q - 5*h + 2021 = 6*q. Suppose 15*p - 1549 = q. Is p a multiple of 11?
False
Let h(p) = -2*p + 20. Let c be h(7). Let k(w) = -w**3 + 5*w**2 + 5*w + 10. Let l be k(c). Suppose -3*g = -l*g + 24. Is g a multiple of 8?
True
Let q(u) = 2*u + 6. Let f = -97 - -96. Let x be q(f). Suppose 3*i + p - 193 = 3*p, -351 = -5*i - x*p. Is 3 a factor of i?
False
Let z(t) = -95*t**2 + 101*t**2 + 3 - 17 + 12*t - t**3. Is z(7) a multiple of 2?
False
Suppose 1080 = -v - 2*v. Is 46 a factor of 5 - (-3 - (5 - v))?
False
Let w be (-4 + 1/1)*(-224 + -1). Suppose 2*y + y + w = 0. Let n = 342 + y. Is 12 a factor of n?
False
Suppose -6589*l + 6620*l = 35216. Is l a multiple of 17?
False
Let o be ((-6)/2)/(((-7)/287)/(-1)). Let b = -57 - o. Is b a multiple of 37?
False
Suppose -3*b + 2*b - 16 = 0. Suppose -3*t - 3*t = 534. Let a = b - t. Is 32 a factor of a?
False
Suppose 0 = u - 3*v + 7*v - 1, 3*v - 7 = -2*u. Suppose 0 = -5*r + 3*k + 155, u*k + 127 + 38 = 5*r. Suppose -6*q = -r - 8. Is q even?
True
Let o(y) = -13*y**3 - y**2 + 6*y + 21. Let p(z) = -6*z**3 - z**2 + 3*z + 10. Let q(m) = -3*o(m) + 7*p(m). Does 5 divide q(-4)?
False
Let w be 