e u?
True
Let g(f) be the second derivative of -f**5/20 - 3*f**4/4 + 8*f**3/3 + 11*f**2/2 + 57*f + 1. Does 59 divide g(-14)?
True
Let l be (-2)/((4/(-3))/((-50)/15)). Let o(x) = -34*x - 70. Does 5 divide o(l)?
True
Let n(f) = -21*f - 228. Let h be n(-11). Suppose 3*u + 1173 = 3*m, h*m - 202 = 4*u + 969. Does 7 divide m?
False
Suppose 19*k = 21*k + 8. Let x be (k/(-3))/((-3)/(-72)). Does 25 divide -33 + x + (151 - 0)?
True
Let o be ((-2)/(-4))/(10/140). Let a be (-3*2/2)/((-54)/180). Suppose 0 = o*w - a*w + 270. Does 18 divide w?
True
Let q = -1787 + 2692. Suppose 2*h - 4*y + 376 = 4*h, 5*h + 3*y = q. Does 13 divide h?
False
Let l = -10 + 19. Let m = -6 + l. Suppose 5*n + 2*x + 0*x = 287, -54 = -n + m*x. Is 13 a factor of n?
False
Let g = 3728 + -3363. Is g a multiple of 60?
False
Suppose 45*d - 143649 - 126591 = 15*d. Is d a multiple of 86?
False
Let o(t) = 17*t + 25. Let r be o(-5). Let h = r + 60. Suppose h = q - 3*x - 377, q + 3*x - 27 - 380 = 0. Does 49 divide q?
True
Let c = -3681 - -7801. Does 8 divide c?
True
Let x = -588 + 591. Suppose 38 = x*o + 5*i - 1931, -4*o - 3*i + 2629 = 0. Is o a multiple of 52?
False
Suppose 0 = -5*u - 2*a + 8778, 11124 = 5*u - 5*a + 2339. Is 18 a factor of u?
False
Let k be (0 + (-166)/(-4))*(13 - 11). Suppose -17 = -10*h + k. Suppose 0 = -z + 8 + h. Is 4 a factor of z?
False
Let i(o) = -o**2 - 29*o + 9. Let h be (-1)/((-6)/26) + 2/3. Let t(g) = g**2 + 30*g - 10. Let x(q) = h*t(q) + 6*i(q). Does 14 divide x(-17)?
False
Let p(m) = -3*m**3 + 2*m**2 + m - 7. Let l(r) = -r**2 + 6*r - 2. Let k be l(5). Suppose 8*h + 15 = k*h. Does 14 divide p(h)?
False
Is 8*2*-1*-12*(-6460)/(-114) a multiple of 32?
True
Is (-5049)/(-66)*(-2128)/(-21) a multiple of 102?
True
Let w(o) = -o + 7. Let d be w(5). Let t be 7 + (0 - -6) + -9. Suppose n - 1065 = -t*j, -3*j - 2*j + d*n = -1328. Does 14 divide j?
True
Let z = 15664 - 14476. Is z a multiple of 3?
True
Let g(l) = -l**2 - 2*l - 14. Let v(c) = -6*c**2 - 11*c - 69. Let k(q) = -11*g(q) + 2*v(q). Let j be k(-4). Suppose 5*s - 720 - 440 = j. Does 29 divide s?
True
Let j(m) = 6*m**2 + 21*m - 7. Let o be j(6). Suppose -56*w = -61*w + o. Suppose -122 = -g - w. Is g a multiple of 27?
False
Let x = -11 - -14. Suppose z = -x*w + 258, 0 = 6*w - w - 2*z - 430. Is w a multiple of 5?
False
Let f(b) = 758*b**2 + 13*b + 20. Is 21 a factor of f(-4)?
True
Suppose -4*i - 5177 + 13781 = 0. Suppose -2845 = -4*j - 5*f, -i = j - 4*j + 2*f. Is 18 a factor of j?
False
Suppose 5*l + 13586 = 3*p, 5*p - 4*p = -5*l + 4542. Is p a multiple of 107?
False
Let g = 711 - 678. Does 2 divide g?
False
Suppose -5*r + 2*r + 25523 = -h, -r = -2*h - 8521. Does 135 divide r?
True
Let p(m) = m + 5. Let v be p(-4). Let n(c) be the second derivative of 10*c**3 + c**2/2 - 21*c. Is n(v) a multiple of 16?
False
Let a = -43700 + 96844. Does 13 divide a?
True
Suppose -368*k + 2817337 + 1293745 - 279098 = 0. Is k a multiple of 4?
False
Suppose 5*q + 3*y = 15946, 18*q - 9542 = 15*q - 5*y. Is q a multiple of 2?
True
Suppose -48*y + 21*y + 54 = 0. Suppose 0 = -0*u + y*u + 2*r - 766, -3*r = 0. Does 30 divide u?
False
Suppose 0 = 300*o - 322*o + 3608. Is 5 a factor of o?
False
Let v = -687 - -2035. Suppose 4*q - v = 4*r, 0 = 5*q + 11*r - 12*r - 1685. Is q a multiple of 5?
False
Let d(r) = -r**3 + 7*r**2 - 7*r + 5. Let o be d(6). Suppose k + 4*m = 0, -3*k + 5*m - 5 + 22 = 0. Does 22 divide 22 + 3 + o - k/2?
True
Suppose -2*n + d + 1286 = -146, -3*n - 5*d = -2135. Let f = n - 75. Is 16 a factor of f?
True
Let v(k) = 2294*k - 9. Let c be v(1). Suppose -4*n = 3*g - c, 0*n - 2*n = 4*g - 1140. Is n a multiple of 52?
True
Suppose -295*h + 11610 = -265*h. Is 20 a factor of h?
False
Let w be (4/10)/(5/(-125)). Let m be w - -7 - (-12)/2. Suppose m - 12 = -n. Is 9 a factor of n?
True
Let q(l) = 11*l - 1109 + l**3 + 0*l**3 + 1108 - 7*l**2. Let k be q(5). Suppose 0 = -5*n, -k*g - 4*n = -3*g - 186. Is g a multiple of 40?
False
Suppose -4*z - 4*w - 8214 = -26822, -4*w = -2*z + 9334. Does 11 divide z?
False
Let x be (-38)/95 - (-8)/(-10)*-13. Suppose -28*a = -26*a - x. Does 5 divide a?
True
Let y(l) = -l**3 + 7*l**2 - 8*l + 12. Let f be y(6). Suppose d + u - 3 = f, 6 = 5*d - u - 33. Suppose -112 = -d*p + 42. Does 18 divide p?
False
Let b = 11397 - -5893. Is b a multiple of 130?
True
Suppose 2*q - 5*z - 14 = 0, -2 - 10 = 3*z. Let i(a) = -a**3 + 9*a**2 - 2*a + 3. Let g be i(9). Is 20 a factor of (q + 369/(-15))/(3/g)?
False
Suppose 0 = 3*d - 4*v - 6999, 17*v = -d + 15*v + 2333. Is 28 a factor of d?
False
Suppose 52*o - 10828 = 53704. Is 68 a factor of o?
False
Let b(g) = -g**2 + 20*g + 7. Let d(k) = -3 - 49*k - 23 + 3*k**2 - 10*k + 6. Let i(c) = 7*b(c) + 2*d(c). Is i(18) a multiple of 27?
True
Let h(i) = 3 + 3 - 69*i - 5. Let f be h(-4). Let l = f + -158. Does 17 divide l?
True
Let i = -942 + 2418. Is 41 a factor of i?
True
Suppose -5*r + 585 = -0*r. Let f(l) = -l**3 - 26*l**2 + 16*l - 45. Let p be f(-27). Let n = p - r. Is 15 a factor of n?
True
Suppose a - 3*z = 6*a - 17, -23 = -3*a - 5*z. Let o(i) = 205*i - 1. Let h be o(a). Let q = h + -111. Is q a multiple of 31?
True
Let h(b) = b - 2. Let a be h(4). Suppose a*w - 12 = -8. Suppose w*n = 5*r - 809, r + 2*n - 215 = -46. Does 17 divide r?
False
Let t = -28814 + 81266. Does 186 divide t?
True
Does 40 divide 9 - (-5192 + 0 + 1)?
True
Let g = 7528 + -6941. Does 2 divide g?
False
Let o = 25771 - 16614. Is 22 a factor of o?
False
Let c = -1 + 59. Let v = 154 - c. Suppose -5*f = -m + v, 3*f - 455 = -5*m + 25. Does 12 divide m?
True
Suppose -6*m = -68 - 64. Suppose -r + 13 + 5 = -k, -3*r = 5*k - m. Does 5 divide r?
False
Suppose w = -4*w - 2*f + 18, w + f - 3 = 0. Suppose g = -3*j + 105, -g + 3*g + 150 = w*j. Does 12 divide 51/j*34 - (-2)/(-12)?
True
Suppose 40*q = 42*q - 310. Let p = q + -70. Is 2 a factor of p?
False
Let p(v) = -v**3 + 1 + 10 - 8842*v + 10*v**2 + 8834*v. Suppose -5*q + 40 = -0*q. Does 12 divide p(q)?
False
Let d(b) = 11*b**3 - 12*b**2 - 20*b - 6. Let k be d(-2). Let v = -20 + 13. Is 4 a factor of ((-2)/21*v)/((-4)/k)?
False
Let g(q) = -q**2 - 2*q + 6. Let o be g(-5). Let p be (1*o*3)/(6/4). Let c(y) = -y**3 - 19*y**2 - 19*y + 15. Is 9 a factor of c(p)?
False
Let m(i) = 2*i**2 - 28*i + 7. Let j be m(11). Let w = 181 + j. Is 3 a factor of w?
False
Suppose 3*g - 90 - 60 = 0. Suppose 0 = -7*r - g + 2983. Does 16 divide r?
False
Let m = -357 + 360. Suppose m*o - 6210 = -2*o. Does 17 divide o?
False
Suppose 2*f - 10897 = 68*y - 71*y, y + 5 = 0. Is 62 a factor of f?
True
Suppose 0 = -5*u + 2*s - 35, 5*u + 3*s + 60 = -0*s. Let r = -367 + 362. Does 11 divide (-300)/u*(30/(-4))/r?
False
Let q be -425*(136/(-20) - -6). Suppose 119*j - q = 114*j. Does 3 divide j?
False
Suppose -2085*a - 1140 = -2079*a. Let n = -118 - a. Is n a multiple of 36?
True
Suppose 13*h = -2*f + 347231, -5*h - 4*f = -113368 - 20205. Is 12 a factor of h?
False
Let z = 8160 - -7950. Does 14 divide z?
False
Suppose 5 = -4*c - 151. Suppose 56 + 67 = -3*y. Let r = c - y. Is 2 a factor of r?
True
Let s(g) = 2*g**3 + 58*g**2 - 94*g + 15. Is 9 a factor of s(-29)?
False
Let w(l) = l**2 + 5*l + 8. Let j be w(-3). Suppose 2*z - 7 = -i + 4*i, j*i + 2 = z. Is -4 + 58/z + 1/(-4) a multiple of 2?
False
Suppose -12 = 4*l, -5*l + 4*l - 3857 = -2*s. Suppose -6*p + s = -4331. Is 22 a factor of p?
False
Let l = 127193 - 75556. Does 9 divide l?
False
Let h(j) = -j**3 + 18*j**2 - 70*j + 16. Let o be h(12). Suppose 0 = -20*x + o*x - 8180. Is 18 a factor of x?
False
Suppose -a + 38 = 83. Let q = -40 - a. Suppose q - 35 = -5*o. Is o a multiple of 3?
True
Suppose 80 = 5*p - 9*p. Let t be 23*(0 + p/(-4)). Suppose -2*k = -z + t, 5*z - 5*k = z + 451. Is z a multiple of 31?
False
Let a(w) = -2*w**2 - 88*w + 120. Let z be (3*(0 - 1))/((-5)/(-65)). Does 17 divide a(z)?
True
Let a = -204 + 107. Let v = a + 165. Is v a multiple of 2?
True
Let t(s) = s**2 - 21*s - 126. Let g be t(26). Suppose -l + 14*f - 17*f = -578, -3*f = -g*l + 2282. Is 44 a factor of l?
True
Let k be 2/(-5) + 108/(-5). Let a be (k/10*-6)/((-4)/(-10)). Suppose m - 6*m = -h + 63, h + m - a = 0. Is h a multiple of 35?
False
Let h = 17530 - 1962. Is h a multiple of 139?
True
Let s(a) = a**3 + 26*a**2 - 176*a - 12. Is s(-28) a multiple of 36?
True
Let j(f) = 2*f**2 + 19*f - 91. Is j(21) a 