e
Let s(i) = i**2 + i - 6. Let l be s(-3). Let w(n) = 5*n**2 - 7*n + 37. Let u(h) = 3*h**2 - 4*h + 18. Let m(z) = -7*u(z) + 4*w(z). Does 22 divide m(l)?
True
Let g = -23 + 64. Suppose 3*m + 5*p + 41 = 3*p, -2*m + 4*p - 54 = 0. Let d = m + g. Does 8 divide d?
True
Let j = 20 - 28. Let k = j - -11. Suppose w - 53 = -k. Is 25 a factor of w?
True
Let y = -1 + 3. Let l(j) = 2*j - 15 + j - 20*j**y - j**3 + 31*j**2. Is l(11) a multiple of 9?
True
Let m(x) = -x**3 + 3*x**2 + 4*x + 3. Let a be m(4). Does 9 divide 100 + -1 + -3 + a/1?
True
Let h = 319 - 192. Is 5 a factor of h?
False
Suppose 3*l + 3*m + 0 = -15, 0 = 5*l + m + 5. Suppose 4*q - 8*q + 368 = l. Is q a multiple of 23?
True
Let z = 24 - -30. Let d be 3/(-6) - (-692)/8. Let m = d - z. Is 16 a factor of m?
True
Suppose 5*h - 183 = -3*z + 3059, 5*h = -4*z + 3246. Is h a multiple of 38?
True
Let n = 23 - 17. Suppose 0*z + 12 = n*z. Suppose y = 18 + z. Is 20 a factor of y?
True
Suppose k - 273 = -5*m + 990, -k - 2 = 0. Is m a multiple of 17?
False
Let l = 378 - 223. Is l a multiple of 4?
False
Let l = -1309 - -1789. Is 24 a factor of l?
True
Let j be 1*((4 - -2) + 3). Suppose 0 = -4*y + j*y - 20. Suppose 3*g - y*q - 11 = 2*g, -g + 43 = 4*q. Is 8 a factor of g?
False
Let a = -212 + 1732. Is 76 a factor of a?
True
Suppose -2*w - 36 = 2*j, 0 = 3*w + j + 14 + 40. Let k = -16 - w. Suppose k*y = 19 + 85. Is y a multiple of 13?
True
Let f = -489 - -762. Is 21 a factor of f?
True
Let u(q) = 5*q**2 - 3*q + 22. Does 33 divide u(5)?
True
Let j be (-9)/6*(-32)/(-12). Is 22 a factor of (11/(-4))/(j/64)?
True
Let c be 6/(7/2 + -2). Let b(v) = v**3 - 5*v**2 + 2*v + 8. Let h be b(4). Suppose -3*j = 4*t - 62, c*j - t - 108 = -h*j. Is 10 a factor of j?
False
Let c(j) = j**2 + 28*j - 43. Is c(6) a multiple of 21?
False
Let k(h) = -h**2 + 7*h - 9. Let n be k(6). Does 16 divide (-3)/(297/(-96) - n)?
True
Suppose -5*r + 4*k + 7 = -21, -2*r - 5*k - 2 = 0. Suppose -r*z + 6 = -4*b + 18, 3 = b + 5*z. Let u(d) = 6*d**2 - 2*d - 4. Is 22 a factor of u(b)?
True
Let g(n) = -27*n - 86. Is g(-10) a multiple of 28?
False
Let z(j) = 12*j - 9*j**2 + 11*j**2 + 4 - 1. Does 10 divide z(-9)?
False
Does 114 divide 5006*(-2)/(-4) - -5?
True
Let b(z) = 8*z**2 + 20*z + 2. Does 6 divide b(4)?
True
Let o(a) = -22*a**2 - 4*a - 3. Let u be o(-2). Let c be u - (0 - (2 + 0)). Let n = c + 119. Is n a multiple of 11?
False
Let o(u) = -3*u - 1. Let r(b) = 2*b. Let w(j) = 2*o(j) + 2*r(j). Let q = -335 - -328. Does 6 divide w(q)?
True
Let j(r) be the third derivative of -r**4/6 - 4*r**3/3 + 5*r**2. Let n be j(9). Is n/33*9/(-2) a multiple of 6?
True
Suppose -10*l + 3178 = -17562. Is 93 a factor of l?
False
Let l = -11 - -14. Suppose p + 5*n = -11, -l*p + 26 = 2*p - 2*n. Suppose p*f = 4*c - 116 + 20, -5*c + 130 = 5*f. Does 8 divide c?
False
Suppose -2*r + q - 5*q - 8 = 0, -2*r - 8 = -4*q. Does 14 divide (-12)/r + 1*94?
False
Let f(u) = -6*u**2 - 3*u - 2. Let m(j) = -6*j**2 - 4*j - 3. Let o(l) = -3*f(l) + 2*m(l). Does 13 divide o(2)?
True
Let h = 746 + -138. Is 32 a factor of h?
True
Let c be (56/(-21))/((-6)/9). Suppose 510 = -c*b + 9*b. Is b a multiple of 24?
False
Suppose -z - 4*v = 4*z + 126, 0 = -5*z + v - 131. Let u = z + 29. Does 2 divide u?
False
Is 51 a factor of 4/11 - 302652/(-308)?
False
Suppose -r = 4*l - 11, 4*r - 5*l = 1 + 1. Is (-33)/(((-1)/2)/(1/r)) a multiple of 22?
True
Suppose 2*z - 3 - 241 = 5*f, f = 2*z - 228. Suppose -y - 2*y + 5*q = -80, -4*y + 4*q + z = 0. Suppose 0 = 4*g - 174 + y. Is g a multiple of 9?
True
Suppose 8*l = 15*l + 70. Let u be ((-32)/(-10))/((-3)/(-30)). Let h = u - l. Is h a multiple of 21?
True
Let f(b) = b**2 + 15*b + 4. Let v be f(-15). Suppose 3*i = v*i - 112. Does 28 divide i?
True
Suppose -5*f - 5*p + 35 = 0, -p + 2*p - 19 = -4*f. Suppose 4*z + f*n = 20, 0*n - 5*n - 5 = -5*z. Does 7 divide z*5/(10/14)?
True
Suppose 191 = 3*k - 46. Suppose 4*h - k - 81 = 0. Does 14 divide h?
False
Is (-10)/(-30)*-2*13671/(-6) a multiple of 28?
False
Suppose -5*w - 5*r = -25 - 0, -w = 5*r - 13. Suppose 15 = 6*i - w*i. Suppose 0 = -4*d + i*d - 6. Is d a multiple of 3?
True
Let i(t) = t**2 + 12. Does 9 divide i(0)?
False
Suppose 4*v = 3*v + 2. Let t be (-210)/v*(-4)/10. Suppose 6*d = 3*d + t. Is 14 a factor of d?
True
Let h(v) = -14*v - 49. Is h(-7) a multiple of 7?
True
Let x = 379 - -125. Is x a multiple of 14?
True
Let v = 3 - -6. Let k be -12*(-4 - (-33)/v). Suppose 0 = -k*t + 54 + 74. Does 10 divide t?
False
Suppose 0 = -b - 55 + 58, c - 20 = -2*b. Is 14 a factor of c?
True
Let i(v) = 10*v + 4. Suppose -6*c = -7*c + 3. Let r be i(c). Suppose 4*q = -l + 90, 2*l - 7*l = -2*q + r. Is 8 a factor of q?
False
Suppose 5*m + 210 = -0*m + 5*z, 3*m - 5*z = -136. Let s = 65 - m. Is 10 a factor of s?
False
Suppose -600 = -15*g + 11*g. Does 25 divide g?
True
Let z = 157 + -127. Is 6 a factor of z?
True
Suppose -11*m - 12 = -13*m. Does 11 divide (-56)/m*(405/(-10))/9?
False
Let f(c) be the first derivative of -c**4/4 - 13*c**3/3 + 5*c**2 + c - 8. Let j = -40 + 26. Does 29 divide f(j)?
False
Let h(u) = -u**2 - 25*u + 8. Let j be h(-25). Suppose -z = 3*z - 4*r - 120, -4*r = -z + 24. Let a = z - j. Does 7 divide a?
False
Let u(g) = -5*g**2 + 177*g - 11. Is 19 a factor of u(35)?
False
Let z(i) = -206*i - 20. Is 73 a factor of z(-5)?
False
Suppose 3*z - 5942 = 5*i - 1070, 0 = -5*z + 4*i + 8120. Is z a multiple of 56?
True
Let m(q) = q**2 + 5*q - 8. Let b(d) = -23*d**2 + 3*d - 2. Let f be b(1). Let g = 9 + f. Does 32 divide m(g)?
True
Suppose 31032 = 102*q - 11502. Does 138 divide q?
False
Suppose 5*a - 3638 = -863. Suppose 6*l = l + a. Is l a multiple of 27?
False
Suppose 3*t - 16 = 2*g, 0 - 16 = -t - 2*g. Is (918/(-36))/((-6)/t) a multiple of 17?
True
Let m = 6 - 1. Suppose 0 = -m*z + 80. Suppose -w + z = -3. Does 18 divide w?
False
Suppose 2 + 8 = 5*p. Suppose -72 = -0*i - p*i. Does 4 divide i?
True
Let u = -911 + 1997. Does 6 divide u?
True
Let r(t) = 2*t**2 + 11*t - 83. Is 16 a factor of r(14)?
False
Suppose i = 5*m - 3447, -m + 946 - 250 = 2*i. Does 30 divide m?
True
Let f(y) = 6*y**2 + 10*y - 8. Let l be 56/9 + 32/(-144). Is f(l) a multiple of 17?
False
Let p be (2*28/(-4))/((-2)/17). Suppose 63 = 2*s - 0*s - 5*r, -4*s = -3*r - p. Is 20 a factor of s?
False
Let j = -87 + 129. Let m = 93 - j. Is 9 a factor of m?
False
Suppose -2*i = -0*i. Suppose 4*r - 5*r = i. Suppose -2*w = -r*w - 172. Is 22 a factor of w?
False
Let l(c) = -c + 6. Let m be l(7). Let n = 5 + m. Suppose n*o = 7*o - 144. Does 16 divide o?
True
Let u = -50 + 116. Is u a multiple of 66?
True
Let o(q) = -2*q - 13*q - 3 - 2*q - 15. Let r be o(-12). Does 13 divide r/14 + 22/(-77)?
True
Suppose 0*y = -2*y - 18. Let a be (-348)/y - 4/6. Suppose x = -14 + a. Is x a multiple of 12?
True
Let v(d) = d**2 + d. Let m be v(-1). Suppose 2*a - 117 = s, m = -4*s + 7 + 5. Suppose -4*x = 8 - a. Is x a multiple of 3?
False
Suppose 3*h = -4*l - 218 - 151, 2*l - 5*h + 165 = 0. Let x = l + 235. Is 9 a factor of x?
False
Let j(p) = p**2 + 2*p + 3. Let r be j(-2). Suppose 4*i + 0*i + d = 21, 5*i = -r*d + 21. Is i a multiple of 6?
True
Let r = 14 + -13. Suppose -2*b + 3*v = -101 - 30, r = -v. Suppose 3*m - b = -m. Does 8 divide m?
True
Suppose -1 = -2*d + 1. Suppose -2*k = -39 + 9. Is k*((-26)/(-10) + d) a multiple of 14?
False
Let g = 583 + -369. Does 10 divide g?
False
Let o be (-18)/(-117) + (-100)/(-26). Let b(l) = -o + l**3 - 2*l**2 + l**2 - 2*l**2. Is 12 a factor of b(4)?
True
Let q(x) = -4*x**2 - 2*x + 2. Let a be q(1). Is 2/a + 2123/22 a multiple of 12?
True
Let w be 7 - 9/(-3) - 3. Let u = -7 + w. Suppose -3*y + 3*z = -0*y - 39, u = 3*y + 4*z - 18. Is 5 a factor of y?
True
Suppose 21 = -4*w + 1, 7 = 3*o + w. Let z(m) = -m**3 + 8*m**2 - 5*m - 4. Does 20 divide z(o)?
True
Let o be (-2)/(-2) + (3 - 4). Let x be 336/(-180) - 2/15. Is 21 a factor of (7 - x)*(7 - o)?
True
Let d(u) = -u + 19. Let y be 1*13*(-3 + 4). Let f be d(y). Let i = f - -34. Is 5 a factor of i?
True
Let b = 45 + -62. Let i be (-14)/((-10)/8 - -1). Let v = i + b. Is 13 a factor of v?
True
Suppose 58*x + y = 61*x - 34, 5*y - 28 = -3*x. Suppose 3*w - 2*w - 1 = 0. Let s = x - w. Does 5 divide s?
True
Suppose a - 6 = -a. Suppose -4*g - 225 = -5*q, q - a*g - 90 = -q. Let f = q - -7. Is 13 a factor of f?
True
Let s(a) = a*