e
Let t = -24543 - -46266. Is t a multiple of 11?
False
Let q be (11/(-22))/((-2)/(-4)). Let j(b) = 392*b**2 + 7*b + 6. Is 10 a factor of j(q)?
False
Let o(l) = -2080*l + 931. Is o(-8) a multiple of 40?
False
Is (5*434/280)/((-3)/(-4824)*2) a multiple of 31?
True
Let c = 6731 + -4451. Does 19 divide c?
True
Let y(n) = -1074*n + 689. Does 23 divide y(-7)?
False
Let i(h) = -45*h**3 + 4*h**2 - 3*h - 20. Let l be i(-4). Suppose 0 = 4*a - 8*x + 3*x - l, -3*a = 2*x - 2202. Is 27 a factor of a?
False
Let w(y) = 6*y + 60. Let d be w(-10). Does 32 divide (-548)/(-4) + d + -5?
False
Let d = -142 - -128. Does 47 divide (45 - -2) + 1 + d + 13?
True
Let p(b) = -22*b - 1. Let n be p(-1). Let c = n - 16. Suppose 0 = h - 3*o - 7 - 13, o + c = 0. Is 2 a factor of h?
False
Let z be -3 + -56*(-5 + 4). Suppose -z = -7*n + 24. Suppose -28 = -4*r + 5*l, -l + 3 = 2*r - n. Is 7 a factor of r?
True
Suppose a - 36775 = -9925. Suppose 0*c - 5*c = -a. Is 24 a factor of (-6)/(-21) - c/(-21)?
False
Suppose 20 = -5*i, 5*i = -3*d + 7*i + 62. Let h(k) = -k**3 + 18*k**2 + 5*k - 45. Does 3 divide h(d)?
True
Let u(i) = 4*i**2 + 6*i - 15. Let k be u(6). Let p = 171 + k. Suppose -10*c = -7*c - p. Is 16 a factor of c?
True
Let f be (-27885)/(-132) + (0 - (-2)/(-8)). Let a = 454 - f. Does 38 divide a?
False
Let c = 15 + 301. Let f = c + -136. Does 15 divide (1 + 3 - 4) + f?
True
Let x be (-132)/165 - 32/10. Does 18 divide (147 - 3)*(2 - x/(-8))?
True
Suppose n + 3*i = -75, 2*n + 76 + 64 = -i. Let l be (-2)/3*-247 + (-21)/(-63). Let p = n + l. Does 24 divide p?
True
Suppose 3*f = -3*v + 17337, 19*v + 23089 = 23*v + f. Is 52 a factor of v?
False
Suppose 5*x + 3*c - 1 = 0, 5*x + 0*c + 4*c = -2. Suppose -x + 30 = 7*i. Suppose 205 = 3*f - 4*d, 5*f - 380 = -5*d + i*d. Is f a multiple of 15?
True
Suppose 10860 = 5*c - 6*z + 8*z, 4*c + 4*z - 8700 = 0. Suppose 28*k + c = 33*k. Is k a multiple of 33?
False
Let m(i) = 14*i - 10. Let n be m(1). Let k(s) = 7*s**2 + 6*s - 1. Is k(n) a multiple of 27?
True
Suppose 5*q = 3*n - 8*n + 540, -3*q - 5*n = -314. Let i = q - 45. Is i a multiple of 19?
False
Let v = 20494 - -8003. Does 161 divide v?
True
Suppose -23 = -5*g - 4*h, 0 = 3*g + 2*h - 4*h - 5. Suppose -4*m + 4274 = 5*u, -g*m + 3*u = 2*m - 5324. Does 53 divide m?
False
Let r(d) = -6*d**2 - 6*d - 6. Let l(p) = -p**2 - p. Let u(s) = 5*l(s) - r(s). Let a be u(8). Let j = 34 + a. Is 8 a factor of j?
True
Suppose -297*f = 5*p - 296*f - 3051, -615 = -p - 5*f. Let o be (-1 + 1 - 423) + 1. Let q = o + p. Is q a multiple of 41?
False
Suppose -11*z = -6*z - 5. Let d be 20/2*(z - 0). Does 24 divide (-819)/(-35) + 6/d?
True
Suppose -i = -14*i + 3224. Suppose 0 = 5*u - i + 18. Is u a multiple of 5?
False
Suppose 0 = 4*a - b - 78 - 1, 5*b - 4 = -a. Suppose a*u - 2106 = 6*u. Is u a multiple of 27?
True
Suppose -23*t + 10927 + 42715 = -55539. Does 27 divide t?
False
Is 38 a factor of ((-67921)/(-7))/(13 + -12)?
False
Let a = -17 - -15. Let j(o) = -3*o - 7. Let t be j(-3). Is 19 a factor of a/t + 268/2?
True
Suppose -2*y - w + 2 = -1, -5*w = 3*y - 15. Let o(x) = -2*x**2 + 2*x + 85. Let v be o(y). Suppose -8*u + v = -3*u. Is u a multiple of 8?
False
Suppose -q - 316 - 238 = 4*s, 0 = -2*q + 3*s - 1097. Is (q/175)/((-2)/112) a multiple of 8?
True
Suppose -2728029 = -172*n - 33*n + 1825021. Does 18 divide n?
False
Suppose 4*z - 3*z = 4*n - 48, 4*z = 3*n - 36. Does 5 divide n?
False
Suppose -4*b + 2*h = -20, -8*h + 5*h = 4*b. Suppose 4*d + 3*q = 2793 - 198, b*q = 3. Is d a multiple of 81?
True
Let t(i) = 4*i**2 - 17*i + 12. Let k(x) = 4*x + 2. Let f be k(0). Suppose 2*m - 13 = y, -4*m - y = -f*y - 27. Is t(m) a multiple of 28?
False
Suppose -940780 = -28*g + 384992. Is 20 a factor of g?
False
Let o(t) = -57*t**2 + t + 1. Suppose s + 4*a + 13 = 0, -5*s - 2 = -a - 0. Let y be o(s). Is ((-4)/6)/(1/y) a multiple of 16?
False
Let g be ((-14)/35)/(2/(-30)). Let p = -85 + 158. Let v = g + p. Does 22 divide v?
False
Suppose -14*g + 232 = -286. Suppose -2*u - 3034 = -4*y, 3*y + 32*u - 2293 = g*u. Is 54 a factor of y?
True
Suppose 113*a = 115*a + 3*c - 2877, -5*a - 2*c + 7209 = 0. Does 21 divide a?
False
Suppose 76340 + 259925 = 52*x - 80463. Is 9 a factor of x?
False
Let x be 180/150*(9 - -1). Suppose -x*c + 4281 = -3903. Does 19 divide c?
False
Let t be ((-2)/(-10) - 1)/(38/285). Is (-3)/t + ((-37908)/(-8))/9 a multiple of 18?
False
Is (-20)/(-1440)*-9 + (3 - (-21961)/8) a multiple of 75?
False
Let d(f) = -f**2 + 8*f + 59. Let y be d(13). Let t(r) = -3*r**2 - 26*r. Does 8 divide t(y)?
True
Let s = 10578 - 5824. Is s a multiple of 82?
False
Is 18 a factor of 22*1287 + (1 - 1)/(-118 - -116)?
True
Let i be (-1)/2*83*2*1. Let o = i - -79. Is 11 a factor of 234/4 - ((-2)/o)/1?
False
Suppose -51*q = -5*q - 996590. Is 11 a factor of q?
False
Let a(q) = -13*q**2 + 2*q - 7. Let t be a(-3). Let o = t + 110. Let k(v) = -v**2 - 24*v - 48. Does 4 divide k(o)?
True
Does 19 divide (16/(-20) + 54342/90)*(-20)/(-4)?
False
Let m = -62 + 137. Let u = 127 - m. Is 26 a factor of 3*u*2/4?
True
Let i(s) = 19*s - 38. Let l be i(9). Let f = l + -129. Suppose -f*p - 65 = 5*x - 259, -2*p = 8. Is 21 a factor of x?
True
Let j be (-2)/(30/(-5) - (-4 - 0)). Does 16 divide -7*(2 - j)*(114 - 210)?
True
Suppose 9*a - 498 - 68586 = 0. Is a a multiple of 19?
True
Let k = 127 - 122. Suppose -3*l + k*l = -6*l. Suppose -2*f - 3*o + 315 = l, -3*o = f - 4*f + 435. Is f a multiple of 10?
True
Let f(b) be the third derivative of b**5/60 - b**4/8 + 14*b**3/3 - 61*b**2. Does 18 divide f(11)?
False
Let w(k) = 60*k - 86 - 3*k**3 + 2*k**3 + 25*k**2 + 5*k**3 - 5*k**3. Does 14 divide w(26)?
True
Let t(k) = 4*k**2 + 2*k - 4. Let g = -45 + 48. Let h be t(g). Suppose 3*j + z - 31 - h = 0, 0 = -j + 4*z + 36. Is j a multiple of 12?
True
Let k be (-2 + 1)/(1/(-3)). Suppose 7*h - 60 = 3. Is (22/k)/(2/h) a multiple of 17?
False
Let b = 1424 - -1796. Is b a multiple of 7?
True
Let l = -14907 + 15080. Is l a multiple of 10?
False
Suppose -20*z + 19*z - 3179 = -4*f, 2*f - 2*z = 1582. Is f a multiple of 34?
False
Let p(h) = -h**3 + 19*h**2 + 25*h + 31. Let n(d) = -d + 54. Let g be n(34). Is p(g) a multiple of 65?
False
Let u = -422 - -448. Suppose 0 = 40*v - 3346 + u. Is 83 a factor of v?
True
Suppose -366*g + 28 = -370*g, 5*g = 2*f - 15587. Does 9 divide f?
True
Let d = 133522 + -77945. Does 373 divide d?
True
Let p(l) = -1895*l**3 - 2*l**2 + 4*l + 6. Let n be p(-1). Suppose -n = 13*c - 13907. Is c a multiple of 28?
True
Let w be -27 + (-2 - (1 - 3)). Let q = -25 - w. Suppose 0 = q*o - 2*m - 20, 4*o - 19 = 3*o - 2*m. Is 13 a factor of o?
True
Let z(l) = -2*l. Let c(g) = 23*g + 139. Let f(p) = c(p) + 5*z(p). Is 12 a factor of f(12)?
False
Suppose -4*a + 31570 = -6*j, 3*a + 4*j - 9*j = 23675. Is a a multiple of 12?
False
Let c = 1859 - -2782. Is c a multiple of 150?
False
Suppose 294 = -5*k - 326. Let r be (k/(-12))/((-3)/(-27)). Suppose 6*c - 345 = -r. Is c a multiple of 7?
True
Suppose -8*z = -11*z + 102. Let l = z + -31. Suppose -6 = -l*r, 2*f + r - 9 = 45. Is 26 a factor of f?
True
Suppose 919 + 1205 = -12*r. Let w = r + -28. Let q = 353 + w. Is 37 a factor of q?
True
Suppose 0 = p - 7*p - 2484. Is ((-40)/(-15))/(-1)*p/4 a multiple of 38?
False
Suppose 0 = -3*u + 3*c + 88200, -2*c - 134170 = -5*u + 12821. Is 41 a factor of u?
True
Suppose 57*m - 4 = 56*m. Suppose -i + 639 = 2*i + 4*s, -2*i + m*s = -426. Is i a multiple of 9?
False
Suppose 2 = -5*d - f, 6 = -d + 4*d - 3*f. Let q be (-5)/(-25)*d*1. Suppose t = 2*l + 13, -2*t + q*t = 4*l - 50. Is t a multiple of 19?
True
Let r(c) = -c**3 - 4*c**2 + 12*c + 5. Let v be r(-6). Suppose 2*z - 96 = -v*b + 386, 5*b = -3*z + 483. Is b a multiple of 4?
True
Suppose 8*m - 6*m - 3*g = -6, -3*m - g - 9 = 0. Let k(a) = -6*a**2 - 7*a - 6. Let s be k(-6). Is 34 a factor of (s/40)/(m/68)?
True
Let k = 1656 + 3677. Is 27 a factor of k?
False
Let i = -90 + 33. Let m = 159 - i. Does 24 divide m?
True
Suppose 4*c - 41 = 5*j - 5, -c = -4*j - 20. Let h(d) = d**2 + 38*d - 6. Is h(c) a multiple of 13?
False
Let p(z) = 2*z**2 - 8*z - 1. Suppose 2*h = -19 + 31. Let j be p(h). Suppose -2*i + 3*d + 217 - j = 0, -4*i - 5*d = -388. Is 17 a factor of i?
False
Suppose -70*n + 75*n = 1880. Does 8 divide n?
True
Is -1*6/1 + 6 + 5 + 9445 a multiple of 75?
True
Let r