e
Let n(m) = 73*m**2 - 13*m - 33. Does 19 divide n(4)?
True
Let i = 1938 + -187. Does 13 divide i?
False
Let h(j) = 119*j**2 + 70*j + 6. Does 146 divide h(4)?
True
Let l = -33 + 30. Let m be (1/l)/((-3)/45). Suppose m*y = -2*q + 35, -5*q - 5*y = -4*y - 122. Is 12 a factor of q?
False
Let o = -103 - -187. Is 7 a factor of o?
True
Let v(l) = 11*l**2 + l. Let r(t) = -t**2. Let s(h) = -14*r(h) - 2*v(h). Let p(w) = -w**2 - w. Let g(c) = 4*p(c) - 2*s(c). Is 12 a factor of g(2)?
True
Suppose -2*a + 2402 = 5*y, 1 = -2*a - 7. Suppose -y = -5*t + 2*x, 2*t - 37 = -x + 154. Does 24 divide t?
True
Suppose 5*q = 2*q + 9. Suppose -5*z + 0*u - 3*u + 67 = 0, 72 = 5*z - 2*u. Suppose 0*y + z = 3*y - 5*x, -x + 26 = q*y. Is 4 a factor of y?
True
Let n(g) = 9*g**2 - 4*g + 9. Let s(w) = -8*w**2 + 5*w - 10. Let h(d) = 6*n(d) + 5*s(d). Suppose 3*t = -t - 8. Does 20 divide h(t)?
False
Let h be 7/(-21)*222/2. Suppose 5*r = 2*r - 66. Let s = r - h. Does 2 divide s?
False
Let d be (-5)/(-3) + (-17)/(-51). Suppose 4*f - 3*w = -0*f - 127, -d*f = -3*w + 71. Let o = 42 + f. Does 14 divide o?
True
Let x = -2 - -2. Suppose x*r = 3*r - 54. Let t = r - 6. Is t a multiple of 6?
True
Let d = 5 - 243. Let k = d + 341. Does 36 divide k?
False
Suppose -68 = 2*f + 2*i - 198, 2*f = 2*i + 134. Let g = f + -46. Is 13 a factor of g?
False
Is 27 a factor of -2385*((-240)/(-50))/(-4)?
True
Let v(y) = 3*y**3 + 5*y**2 + 6*y - 5. Let t be v(-6). Let m = -259 - t. Let c = m + -157. Is c a multiple of 18?
False
Let z = 47 + -57. Let h(c) = -3*c + 20. Does 25 divide h(z)?
True
Suppose 0 = 5*g + 3*x + 12, x - 4 = g + 2*x. Suppose g = -4*y + 11 + 1. Suppose 3*s = 5*c - 322, -103 - 95 = -3*c + y*s. Is c a multiple of 20?
False
Is (-6)/(-105)*7*-15 - -456 a multiple of 15?
True
Let w(d) = 6*d**2 - 3*d + 2. Let c(b) = 5*b**2 - 4*b + 2. Let k(a) = 5*c(a) - 4*w(a). Let f be k(7). Does 2 divide (f/(-5))/(2/8)?
True
Let c be 376/3 - 20/15. Is 10 a factor of (-6)/9 + c/6?
True
Let v(u) = -15*u + 1. Let c be v(-8). Suppose 11*t = 297 + c. Does 9 divide t?
False
Suppose -2*p = -6 - 0. Suppose -p*g + 5*g = 88. Does 11 divide g?
True
Suppose -2*h - 5 = -2*u - u, 0 = h - 5*u + 20. Suppose -h*i + 132 = -w - 14, -4*w - 104 = -4*i. Is 10 a factor of i?
True
Let y(d) be the second derivative of d**3/6 - d**2/2 + d. Let q be y(1). Is q + 8 - 0/(-3) a multiple of 8?
True
Suppose 3*b - 444 - 159 = 0. Is b a multiple of 7?
False
Is 75 a factor of 91/(-112)*-12*(-728)/(-3)?
False
Let n(z) = z**3 + z**2 + z + 940. Let q be n(0). Suppose 11*l - q = l. Is 18 a factor of l?
False
Is ((-828)/230)/((-4)/70) a multiple of 7?
True
Suppose -4 = -2*q + 40. Let s = 50 - q. Is 14 a factor of s?
True
Let h be (6/5)/((-15)/(-50)). Let b be ((-9)/18)/((-1)/h). Suppose -y - 11 = -b*y. Is 4 a factor of y?
False
Suppose 0 = -x + 10*q - 5*q + 1289, 0 = -2*x + q + 2596. Does 13 divide x?
False
Suppose -35 = -5*x + 3*w, -6*w = -x - 4*w + 7. Let m = x - 1. Let f = 5 + m. Does 11 divide f?
True
Let s be (6 + -1)*16/(-10). Let w be 12/s*(-4)/3. Suppose -w*l - 60 = -4*l. Is l a multiple of 8?
False
Suppose 50*c + 3*c = 46905. Is 59 a factor of c?
True
Suppose 1249 = 8*s - 919. Is 15 a factor of s?
False
Let w(f) = -166*f + 10. Is 22 a factor of w(-1)?
True
Let k be (2/6)/(62/(-21) + 3). Let z(s) = 9*s + 32. Is 19 a factor of z(k)?
True
Let s(t) = t**3 + 16*t**2 + 23*t + 2. Let y be s(-11). Suppose -2*u = -2*l + y, 0 = l + 3*u + 79 - 244. Is l a multiple of 43?
False
Let q(d) = 6*d**2 + 11*d - 43. Does 9 divide q(6)?
False
Suppose 29 = l - 38. Suppose -27 = -5*g + 3*v, -2*g + 26 = -3*v - 2*v. Suppose 2*w - g*w = 2*u - l, w = 3. Does 16 divide u?
True
Let o = -32 + 39. Let z(v) = -v**3 + 6*v**2 + 6*v + 12. Let t be z(o). Suppose -t*l + 3*c + 142 = -0*c, -3*l + 5*c = -98. Does 13 divide l?
True
Let n = 134 + 274. Does 74 divide n?
False
Suppose 6*n - 105 - 117 = 0. Let s = -1 + n. Is s a multiple of 6?
True
Let x(g) = g**2 - 3*g - 59. Is 43 a factor of x(16)?
False
Let c(t) = -t**3 - 10*t**2 + 13*t + 11. Let q be c(-9). Let a = q + 379. Is 8 a factor of a/40*10/3?
True
Let s(r) = r**2 - 11*r + 20. Let h be s(9). Suppose -2*q = h*q. Suppose q = -c + 51 + 41. Is 23 a factor of c?
True
Does 41 divide 2 + 4 + -3*1986/(-9)?
False
Let r = 620 - 285. Is r a multiple of 9?
False
Suppose -191 = 3*a - 2*o - 774, -2*o - 193 = -a. Does 21 divide a?
False
Let f = 53 + -74. Let t = -14 - f. Suppose s - 45 + t = -j, 3*s - 99 = 2*j. Is s a multiple of 5?
True
Let j = 16 + -8. Let i(t) = t**3 - 5*t**2 + 4*t - 6. Let w be i(4). Let r = w + j. Does 2 divide r?
True
Let x be (-27)/12*4/(-3) + 2. Suppose -2*z - 3*f = -75, x*z = -0*z + 2*f + 178. Is 6 a factor of z?
True
Suppose 2*h + 1 = 3*h. Is (568/32)/(h/4) a multiple of 24?
False
Suppose -5*s + 4*u + 5 = -u, 4*s = 2*u + 2. Suppose 5*b + 20 = -5*r, -3*r + s + 12 = -5*b. Let q(l) = -l**3 + 2*l**2 + 4*l. Does 11 divide q(b)?
True
Suppose 0*q + 21 = -3*q. Let a = q + 24. Is 17 a factor of a?
True
Let n(s) = 15*s**3 + s**2 - s + 1. Let p be n(1). Let v(t) = 4*t**2 + 1 + 4*t**2 - 18*t + p*t. Is v(1) a multiple of 5?
False
Let h = 21 - 15. Suppose h*r - 9*r = -426. Is r a multiple of 23?
False
Suppose -2*k + 12 = -2*i + 6*i, -1 = k - 5*i. Suppose -4*y - 52 = d + 3*d, -k*d + 5*y = 16. Let a = 14 + d. Is 4 a factor of a?
False
Let z = -38 - -81. Is z a multiple of 39?
False
Suppose 5211 = 15*q + 696. Is 43 a factor of q?
True
Let p = -15 + 23. Is 1/p + (-2046)/(-16) a multiple of 32?
True
Let v(i) = -i**3 + 2*i**2 + 5*i - 3. Let m be v(3). Suppose -1 + 9 = o + 5*p, -6 = m*p. Suppose 2*g - o = -6. Does 2 divide g?
True
Let h = 708 + -348. Is h a multiple of 9?
True
Let l be (-1)/(3/(-36)*6/15). Suppose 0 = l*r - 28*r - 22. Is r a multiple of 11?
True
Suppose -359 = -8*i + 1665. Is i a multiple of 14?
False
Let f = 348 - 236. Does 4 divide f?
True
Let u(z) be the first derivative of z**4/4 + 5*z**3/3 - z**2 + 6*z + 6. Is u(-4) a multiple of 10?
True
Let o(y) be the third derivative of y**4/24 + 17*y**3/6 + 19*y**2. Is 12 a factor of o(-5)?
True
Suppose -5*n - 3154 = -2*j, 2*j + 4685 = 5*j + 4*n. Is j a multiple of 140?
False
Let y = 6005 + -3989. Is 16 a factor of y?
True
Let c(m) = -2*m + 31. Let g(f) = f - 10. Let i(j) = -4*c(j) - 14*g(j). Let y be (-2 + 5)/9 - 532/57. Is 13 a factor of i(y)?
False
Let m = -699 - -1060. Let r = m + -139. Is 15 a factor of r?
False
Let j(c) = -c**2 - 20*c - 24. Does 15 divide j(-11)?
True
Let q(n) = 2*n + 31. Let h be q(0). Let k = h - -10. Is 11 a factor of k?
False
Let q(d) = d**3. Let h be q(0). Suppose h = -3*n, 4*n - 115 = 5*x - 0*n. Let k = x - -60. Is 11 a factor of k?
False
Let c(r) = 3*r + 672. Is c(0) a multiple of 12?
True
Let i = 6 + -3. Suppose 5*g + 0*g + 9 = -2*s, -3*s = -i*g + 3. Let x(l) = 7*l**2 - l. Is x(s) a multiple of 8?
False
Suppose 5*t - 8 = 17. Let b be (t/15)/((-1)/(-63)). Suppose 18*i - b*i = -123. Is i a multiple of 7?
False
Let t = -117 + 111. Let w(m) = -m**3 - 3*m**2 - 2*m - 10. Is 28 a factor of w(t)?
False
Let t(y) = -y + 9. Let q be t(7). Suppose 0*r + 2*r - q*j = 130, 5*r - 316 = -4*j. Suppose c - r = -4. Is c a multiple of 12?
True
Is (-10448)/(-56) + (-8)/14 a multiple of 43?
False
Suppose -3*a - 1 - 2 = 0, 0 = -2*m + 5*a - 139. Let c = m - -107. Is 5 a factor of c?
True
Suppose -16*y + 31*y - 1065 = 0. Is y a multiple of 43?
False
Let s(y) = 42*y**3 + 7*y**2 + 5*y. Let n(t) = -21*t**3 - 4*t**2 - 3*t. Let p(g) = 5*n(g) + 3*s(g). Is 22 a factor of p(1)?
True
Suppose 3*s - 1670 - 394 = 4*i, 2*s - 5*i - 1383 = 0. Is 52 a factor of s?
False
Let w = -1156 + 1975. Does 39 divide w?
True
Let n(s) = -s**3 - 3*s**2 + 4*s + 6. Let y be (5/4)/((-17)/68). Does 7 divide n(y)?
False
Let d(q) = 138 - 3*q - 56 - q + 126. Is d(0) a multiple of 8?
True
Let l(x) = x**3 - 44*x**2 - 61*x - 194. Is 11 a factor of l(46)?
True
Is (12/(-16))/(3/(-4896)) a multiple of 68?
True
Let r(o) = o**3 - 12*o**2 + 4*o - 11. Let l be r(12). Let y = l + -13. Does 24 divide y?
True
Let m(f) = 2*f + 11. Let o be m(-7). Let p be -309*(-1)/(o - -6). Let s = p - 72. Is s a multiple of 14?
False
Let g = 458 + -452. Suppose -2*q = 3*f + 4 + 2, 5*q + 15 = 3*f. Is (-1)/q - (-70)/g a multiple of 11?
False
Let j(k) be the first derivative of -k**3/3 + 25*k**2/2 + 6*k - 6. Let u be j(14). Suppose 9