et i = -36412 + 52844. Is 36 a factor of i?
False
Let p(v) = 5*v - 7. Let w(s) = 11*s - 13. Let q(f) = -13*p(f) + 6*w(f). Let b be q(-10). Suppose -8*o = -b*o - 250. Does 8 divide o?
False
Let i(y) = 13*y - 8 - 6 - 10 - y**2. Let b be i(11). Is (-2604)/(-54) + b/9 a multiple of 12?
True
Let q = -248 + 1214. Suppose 3*o - 177 - 891 = -2*n, n = 5*o - 1767. Suppose 0 = -12*u + o + q. Is u a multiple of 19?
False
Suppose 0 = 2*w + 2*w - 124. Is (134/10 + 1)*(w - 1) a multiple of 72?
True
Let i(q) = q**3 - 5*q**2 + 5*q - 1. Suppose -3*n = -16 + 4. Let m be i(n). Is 33 a factor of -1 + -4 + 411/m?
True
Is (4 + 6)*21/(-245) - 56370/(-7) a multiple of 3?
True
Let f(n) = -11*n**2 - 312*n - 54. Does 6 divide f(-26)?
False
Suppose -16*r + 319 + 1233 = 0. Suppose l - 4*c - r = 0, -2*l - 3*c - 453 = -6*l. Is l a multiple of 9?
True
Let g = 311 + -72. Suppose -r + g = -100. Suppose 2*l = -5*i + 335, -4*l = 5*i - 316 - r. Does 40 divide l?
True
Is (9 - 133/14)*(-12874)/1 a multiple of 41?
True
Suppose 3*c = 24*c - 73*c + 408980. Is 167 a factor of c?
False
Suppose -2*h + 2338 = 816. Let g = h - 716. Is g a multiple of 2?
False
Let q(a) = -147*a + 63. Let t be q(-13). Suppose -k = -22*k + t. Is k a multiple of 34?
False
Let t(g) = 11*g + 2315. Does 60 divide t(-25)?
True
Suppose -30*n = -23*n + 112. Is 1/((-12)/(-45))*n/(-6) a multiple of 5?
True
Suppose 2*y = p - 373, -12*p + 8*p + 3*y + 1487 = 0. Is 53 a factor of p?
True
Let d be (177/9 + -4)*(0 + 174). Suppose 6*q = 346 + d. Is q a multiple of 21?
False
Let h(x) = 797*x + 2. Suppose 0 = 4*s + 8, 4*d + 7 = 7*d - 2*s. Is 36 a factor of h(d)?
False
Let b(s) = -54*s - 708. Is 26 a factor of b(-16)?
True
Let h(x) = x**3 + 3*x**2 - 6*x - 6. Let n be h(-4). Let a be 5/(n/(-12)*(-1)/3). Is 4 a factor of (a/(-24))/((-9)/24)?
False
Suppose -4*y + 5*y = -5*o + 172, -2*y + 339 = 5*o. Let i = y + -3. Suppose -7*m + 5*m = -i. Does 14 divide m?
False
Let m(p) = p**2 - 1. Let o be m(3). Let w be 6/o + (-57)/12. Let a = 27 + w. Is a a multiple of 23?
True
Suppose 1809 = 5*y + 3*w - 179, 2*y - 792 = -2*w. Is 5 a factor of y?
True
Let t be -1 + (1/(-1) - -5). Suppose 3*o + 3*l - 1752 = 0, l + 1753 = t*o + 3*l. Is o a multiple of 10?
False
Let c(y) = -y**3 + 5*y**2 - 2*y - 3. Let l be c(4). Suppose 2*n = -4*m - 64 - 94, 0 = 2*m + l*n + 99. Let t = m - -48. Is t even?
False
Let j(k) = -61*k**2 - k - 1. Let x = 31 + -32. Let c be j(x). Let a = 29 - c. Is a a multiple of 10?
True
Let n(o) = o**3 + 10*o**2 + 11*o + 23. Let f be n(-9). Does 18 divide f + (-9)/2 - 523/(-2)?
False
Suppose 9193 = 5*i + 718 - 345. Does 36 divide i?
True
Suppose 0 = 10084*u - 10056*u - 1026844. Does 14 divide u?
False
Is 1240/155 + (-7946)/((-1)/1) a multiple of 33?
False
Suppose 2*o + y = 4*y - 18, -2*o - 20 = -4*y. Let s(v) = -2*v**3 - 5*v**2 + 5*v - 4. Does 6 divide s(o)?
False
Suppose -5*n + 3*y + 8523 = 0, 6*n = n - 2*y + 8543. Suppose 5*b - n = -507. Is 15 a factor of b?
True
Let u be 1/(6/(-3474)*3). Let w = u + 257. Is w a multiple of 5?
False
Let m be (-12)/10*(-65)/39. Suppose 0 = 4*b - 5*u + 29, -2*b + m*u - 4 - 8 = 0. Does 18 divide (3 + b)*(20 - -3) - -1?
False
Let s(g) = -943*g**2 + 12*g - 12. Let c be s(1). Let t = c + 2028. Does 19 divide t?
False
Let h(v) = 9*v**2 + 28*v - 13. Is h(7) a multiple of 13?
True
Suppose -n - 18 = 16 - 37. Suppose 2*f - 4*z + 32 - 76 = 0, -2*z + 138 = 4*f. Suppose m + n*v - f = 0, -2*v + 10 = -4*v. Does 9 divide m?
False
Suppose 28324 = 5*k + 3*t - 11810, -2*k + 16052 = 2*t. Does 18 divide k?
True
Suppose -15*j = -j + 322. Let c = 65 + j. Is 14 a factor of c?
True
Let z be (3 + -4 - 0)*-2. Suppose z*s = 13 + 7. Is 25 a factor of 76/((3 + -1)/(-7 + s))?
False
Let w(o) = -4*o + 16*o + 16*o - 7 - o. Let i be w(-2). Let h = -43 - i. Does 9 divide h?
True
Let a = -440 - -156. Let z = a + 194. Does 25 divide (-4)/z*-3 + 3184/30?
False
Let n be (-1)/((-556)/92 + 2*3). Let i(w) = -w**3 + 21*w**2 + 59*w + 6. Is 11 a factor of i(n)?
False
Let z = -773 + 779. Suppose -17 = z*d - 827. Does 62 divide d?
False
Let c(b) be the third derivative of b**5/10 + b**4/2 + 13*b**3/6 - 49*b**2. Is 23 a factor of c(-5)?
False
Let y be ((-4)/3)/((-219)/54 - -4). Suppose -2*b = b - 24. Let v = b + y. Is 4 a factor of v?
True
Suppose 5*w - 5320 = -5*q, -10*q = -15*q + w + 5344. Does 12 divide q?
True
Is 58 + 11111 + (0 + 2 - 2) a multiple of 144?
False
Suppose 15 = -3*m, 15*k = 10*k + 2*m + 20. Suppose k*b = -2*r + b + 3401, -5*b - 5095 = -3*r. Is r a multiple of 10?
True
Suppose -6*j - 2282 = 1102. Let f = j - -882. Suppose 7*k + 3 = f. Does 6 divide k?
False
Let k be 42/(-9)*(-42)/49. Suppose -p - 40 = -4*r - 206, k*p = -4*r + 764. Does 25 divide p?
False
Suppose 85*x - 341184 = -11*x. Is 21 a factor of x?
False
Let u be (339/(-12))/(28/(-112)). Suppose -5*q + u = 4*o, -18*o = -14*o + 12. Does 2 divide q?
False
Is 6 a factor of (6 - (-3 - 4299))/2?
True
Suppose 3*w + 247 - 943 = 0. Suppose -238 = -m + w. Is 13 a factor of m?
False
Let p = -360 - -362. Is (-2)/(p/3)*-236 a multiple of 17?
False
Let y be (-250)/(-75)*(-12)/(-10). Let f(n) = 7*n**3 + 10*n**2 + 7*n + 4. Is f(y) a multiple of 64?
True
Let i be (-2)/2 - (4 - 8/4). Does 11 divide ((-193 - -1) + i)*7/(-21)?
False
Let u(w) = 4*w**2 + 15*w - 1. Let i be u(-4). Is 9 a factor of 1105 - (16 + -8) - (-3)/i?
True
Is (-7248902)/(-374) - 20 - (-2)/(-22) a multiple of 60?
False
Let u = -319 - -130. Let b = -45 - u. Is 12 a factor of b?
True
Let b = -1871 - -5214. Is b a multiple of 48?
False
Suppose 6*w = 5*w - 63. Let q be 18810/w - (-6)/(-14). Let m = -203 - q. Is 16 a factor of m?
True
Suppose 0 = -24*u + 1169683 - 1042722 + 2013335. Is u a multiple of 19?
False
Suppose -649525 = -89*i - 90*i + 1946512. Does 96 divide i?
False
Does 7 divide 6 + 0 - (2 + (-7964)/1 + 5)?
False
Suppose 2*t - 9 = -4*c + 21, -3*c = -3*t. Suppose -r = -t*k - 2 + 5, k + 4*r + 12 = 0. Suppose -3*n + k*w + 5*w + 35 = 0, 3*w = 2*n - 25. Is 10 a factor of n?
True
Let q(g) = g**3 - 8*g**2 - 9*g + 10. Let d(u) = u**2 + 0*u**2 + u - 147 + 0*u + 148. Let p(c) = 4*d(c) + q(c). Is 9 a factor of p(7)?
True
Let c = 77 + -73. Suppose 0 = -l + 4*l - c*z - 2950, -l + 4*z = -986. Is 63 a factor of l?
False
Suppose -2*r = c + 7, 0*c + 5*r = 4*c + 28. Let u(t) = t**2 - t + 8. Is u(c) a multiple of 4?
True
Let v(s) = 2*s**3 + 46*s**2 + 77*s - 24. Does 76 divide v(-20)?
True
Let i = 86 - 86. Suppose i = 4*h + 5*z - 180, 3*h + 3*z = 4*h - 28. Is h a multiple of 10?
True
Let t = -188 - -393. Let u = 227 - t. Does 9 divide u?
False
Let o(g) = -g**2 + 4*g - 2. Let q be o(2). Suppose -q*k + 5 = s, 5*s + 11 = -k - 0*k. Does 9 divide (2/k)/((-12)/(-1560))?
False
Let n be 26/(-65) - (-37)/5. Is 12 a factor of 0 + n/(42/864)?
True
Let p(y) = -2*y - 21. Let a be p(-11). Let z(u) = 154*u**2 + 2*u - 2. Does 22 divide z(a)?
True
Suppose 4*k = 3*m + 1576, m + 2*k - 46 = -558. Let b = m - -866. Is 3 a factor of b?
False
Suppose -19834 - 2846 = -6*d. Suppose 32*o + d = 39*o. Is o a multiple of 10?
True
Let y be (6 - (6 + -5)) + -11. Is ((-7)/((-28)/(-48)))/(y/176) a multiple of 8?
True
Does 34 divide -15 - 513/(-36) - 1611/(-4)?
False
Suppose 37*s - 35*s + 27298 = 2*y, -54572 = -4*y - 4*s. Suppose -y = -50*a + 14304. Is 13 a factor of a?
True
Suppose 0 = -h - 5*h - 2147 + 21317. Is h a multiple of 5?
True
Let g(v) = -v**3 - 99*v**2 + 146*v - 326. Does 12 divide g(-101)?
False
Does 69 divide 177 + (-1*(33 - 5))/(-4)?
False
Let y = 3743 + -3108. Is y a multiple of 128?
False
Suppose 159 = 4*u - 3*l, 3*l = 5 - 20. Is 4 a factor of 154 - u - ((-3)/(-3) - 0)?
False
Let t be 4 - ((3 - 3)*-1 - -1). Suppose -i + 153 = 5*l, -4*l = l - t*i - 161. Let u = l - -42. Does 24 divide u?
False
Suppose -2*q + 74 - 968 = -3*w, 0 = 4*w + 5*q - 1192. Let c = 45 + w. Is 54 a factor of c?
False
Let v(t) = -t**2 - 4*t + 7. Let p(b) = b - 2. Let l be p(-3). Let c be v(l). Is 16 a factor of c/9 - (-2586)/27?
True
Let i = 3827 - -8450. Is i a multiple of 24?
False
Let o = -4057 + 5220. Is 3 a factor of o?
False
Let h be 4032/(-88) + 4/(-22). Let f = -41 - h. Suppose 185 = 4*u - 0*a + 3*a, -f*a = -u + 75. Is 10 a factor of u?
True
Suppose -4*b + 11462 = 5*o, -3*o - 3*b - b + 6874 = 0. Is o a multiple of 37?
True
Suppose -10*g = -16*g - 8274. Let z = 2019 + g. Is