pose y*x - 24 = -n*x. Does 12 divide x?
True
Let d(c) = -740*c + 875. Is 5 a factor of d(-8)?
True
Let g = 33802 + -17990. Is g a multiple of 236?
True
Let k be (1 + 4)/(-10)*12. Let a(p) = -p**3 + 4*p**2 - 5*p - 2. Is 46 a factor of a(k)?
False
Let v = 217 - 208. Let h(c) = c**2 + 13*c - 26. Is 43 a factor of h(v)?
True
Let p = 1839 - -2801. Does 159 divide p?
False
Suppose 21*y = 25*y - 128. Suppose 4*j + 164 = 4*h, h = -j + 5*j + y. Does 2 divide h?
True
Suppose -37111 = 647*x - 706*x. Is x a multiple of 4?
False
Suppose -2*c + 9*y = 4*y - 4715, y - 9419 = -4*c. Is c a multiple of 15?
True
Let z = 181 - 183. Let m(u) = -15*u**3 - 5*u**2 - 9*u - 4. Is m(z) a multiple of 19?
True
Let u = 138 + -133. Suppose l - 182 = -u*y, -l - 2*y - 79 + 255 = 0. Is l a multiple of 13?
False
Let o = 1915 - -2579. Is o a multiple of 21?
True
Let x(l) be the second derivative of l**4/12 - 29*l**3/6 + 24*l**2 + 110*l. Does 14 divide x(35)?
False
Let p = -1759 + 5767. Is p a multiple of 16?
False
Let f be (-4)/14 + 1484/49. Let o be -1 - (-4 + 11)/7. Let l = o + f. Is 11 a factor of l?
False
Does 11 divide 30*53/(-35775) - 556924/(-90)?
False
Suppose -k + 8 = 3*k. Suppose -2*w + 0*w - 2*m - 272 = 0, 2*w + 272 = k*m. Let y = 209 + w. Is y a multiple of 7?
False
Is 92 a factor of 16284/(9/(-2) - 54/(5 - 14))?
True
Let d(r) = 5*r**3 - 27*r**2 + 73*r + 62. Let s(j) = 7*j**3 - 27*j**2 + 73*j + 62. Let b(c) = -4*d(c) + 3*s(c). Is b(-29) a multiple of 25?
False
Suppose -1052 = -b + 4*m + 308, -4016 = -3*b - 4*m. Is 2/(6/(-40)*(-40)/b) a multiple of 19?
False
Let f(z) = z**3 + 7*z**2 + 6*z + 9. Suppose -3*t + 38 + 25 = 0. Suppose t = -3*c - b, -2*b + 11 = -3*c - 1. Is f(c) even?
False
Let h(j) = 53*j**3 - 2*j**2 + 1. Let p be h(1). Let y = 195 - p. Is 13 a factor of y?
True
Let n = 3071 + -2807. Is 6 a factor of n?
True
Let u(m) = m**2 - 14*m + 5. Let q be u(14). Suppose -1778 = -4*w + 2*v, q*v - 2613 + 428 = -5*w. Does 34 divide w?
True
Let d be (4/10 + (-343)/(-105))*48. Let x = -163 + d. Is x a multiple of 11?
False
Suppose 3*f = 4*a - 4609, 4*a + 9*f - 4599 = 14*f. Suppose 1155*d = a*d - 204. Does 68 divide d?
True
Let w(x) = -9*x - 111. Let q be w(4). Let j = q - -324. Is j a multiple of 9?
False
Let v = 20242 + -12975. Is 225 a factor of v?
False
Let n(c) be the first derivative of -c**5/24 + 9*c**4/4 + 3*c**3 + 16. Let x(h) be the third derivative of n(h). Is x(10) a multiple of 2?
True
Let a(v) = v + 10. Let r be a(-6). Suppose 0 = -t - r*d + 208, 2*d = -4*t - 222 + 1110. Suppose -2*i = -3*m + t, -2*m - 3*i = -50 - 82. Is 18 a factor of m?
True
Suppose 4*c - 5213 = -557. Suppose -c = -0*m + 4*m. Let o = -116 - m. Is 16 a factor of o?
False
Let t be -4*(-2 - -3) + (151 - 5). Suppose -t = -2*c + 1304. Does 34 divide c?
False
Let o(n) = -451*n**2 + 5*n + 6. Let q be o(2). Let h = q - -2683. Does 16 divide h?
False
Let a(d) = -5*d - 1. Suppose -3*n = -n, -3 = 3*s - 4*n. Let i be a(s). Does 4 divide ((-4)/(-3))/(i/18)?
False
Is 825/660 - (-301702)/8 a multiple of 109?
True
Suppose -777*o - 53264 = -793*o. Is 13 a factor of o?
False
Suppose 25166 = 2*a - 44*s + 40*s, -3*a = -2*s - 37729. Is 11 a factor of a?
True
Let j(c) = 5*c - 120. Let u(s) = s - 30. Let h(t) = 2*j(t) - 9*u(t). Let m = 21 - 5. Is h(m) a multiple of 14?
False
Let c(d) = 56*d**3 + 4*d**2 - d - 3. Let a be c(2). Let z = -235 + a. Suppose 8*w - z = w. Is 6 a factor of w?
False
Let n(j) = 542*j**2 + 104*j - 666. Is 118 a factor of n(6)?
True
Let x = 8 + -11. Let n(t) = 5 - 31*t**2 + 8*t - 37*t**2 - 9*t**3 + 72*t**2. Is 13 a factor of n(x)?
True
Let f(w) = -11*w**2 - 21*w + 81. Let j(t) = -24*t**2 - 40*t + 162. Let a(k) = -13*f(k) + 6*j(k). Is a(26) a multiple of 19?
False
Is 100 a factor of 26/((-6084)/(-8424018)) + 1/(-13)?
True
Suppose 35*v + 40 = 31*v. Does 19 divide (-3)/(-6) + 0 + (-1705)/v?
True
Let v = -22449 + 22452. Let j(p) = 5*p**2 - 5*p**2 + 11*p - 11 - p**2. Is j(v) a multiple of 2?
False
Let h(j) be the first derivative of 2*j**3 + 5*j**2/2 - 4*j - 128. Is 14 a factor of h(-10)?
True
Let n = -37 - -39. Let h(g) = g - 1. Let a(l) = 6*l - 3. Let o(q) = n*a(q) - 6*h(q). Is 4 a factor of o(2)?
True
Let k(c) = c + 1. Let z be k(2). Suppose -z*q = q - 64. Let y(a) = -a**2 + 21*a. Is 42 a factor of y(q)?
False
Let b = 4 - 5. Let t(u) = 7*u**2 - 11*u + 2. Let c(s) = -s**2 - s. Let p(y) = b*t(y) - 4*c(y). Is 5 a factor of p(4)?
True
Let u be 3/(-2 - 7/((-14)/6)). Let a be 3 + -1*(-50)/(-2) - u. Let h = a - -169. Is 24 a factor of h?
True
Let d(u) = u + 13*u**2 - 14*u**2 - 14 - 2*u + 0*u + 2*u**3. Let v be d(0). Does 32 divide 20/35 + (-4234)/v?
False
Let t(j) = j**3 - 16*j**2 - 9*j - 136. Let x be t(17). Suppose x = -9*l + 2*l + 8085. Is 11 a factor of l?
True
Let c = -56 - -60. Suppose c*b = 5*d - 1489, 4*d - 3*b = 2*b + 1184. Let s = d + -176. Does 9 divide s?
False
Suppose 0 = -8*t - 0*t - 32. Let z be t + (3 - 2) - 25. Is 1/(2/(-1))*z a multiple of 14?
True
Let f(h) = -61*h + 323. Is 4 a factor of f(-16)?
False
Suppose 3*z = -s + 12940, -4*s + 8*z - 6*z + 51690 = 0. Does 25 divide s?
True
Does 27 divide (10/(-6))/((-750)/12150)?
True
Suppose -39 = 4*a - 6*r + 3*r, 18 = -a - 2*r. Let o be a/(-28) - ((-50)/14 + 2). Does 5 divide o/3 - -1*762/18?
False
Let v = -37 - -98. Let y = 22 - v. Let w = 60 + y. Does 7 divide w?
True
Suppose -2150 - 504 = -5*p + 4*v, -4*p - 2*v = -2144. Let f = 1029 + -651. Let s = p - f. Is s a multiple of 13?
True
Does 31 divide (102/(-340) + 46/20)*4867?
True
Let h(i) be the third derivative of i**6/120 - 17*i**5/60 + 5*i**4/6 - 7*i**3/6 + 284*i**2. Suppose 0 = 2*t - 28 - 4. Does 15 divide h(t)?
False
Let x(d) = -3*d**2 - 3*d - 76. Let n be x(-9). Is (-90)/(-4)*(-12 - n/5) a multiple of 87?
True
Is 4/(-6) - -2 - (-7117644)/1017 a multiple of 80?
False
Suppose 0*l = q - 5*l - 142, q = 4*l + 143. Suppose 11*s - 1115 = -q. Suppose -4*z + 84 = 5*t, -4*z + s = 6*t - 2*t. Is 2 a factor of z?
True
Let s(y) = 84*y**2 + 28*y - 124. Is s(14) a multiple of 178?
True
Does 7 divide (-19461)/(-9) - 1708/(-366)?
False
Let h be -7 + 8 - (1 + -208). Suppose h = -2*r + 5*r + u, u - 4 = 0. Suppose -2*k + z + 159 = 0, 2*k = -5*z - r + 197. Is k a multiple of 17?
False
Let j(i) = 9*i**2 - 2*i + 7*i + 32 + 2 - 17. Is 15 a factor of j(-4)?
False
Let n(z) = z - 34. Let j be n(34). Suppose j = 4*v + h - 459, 2*h - 447 = -4*v + 5*h. Is v a multiple of 3?
True
Let u = -245 - -254. Does 15 divide (-6)/u + (-7709)/(-39)?
False
Let f = -26311 - -72734. Does 51 divide f?
False
Let h(n) = -n**3 + 12*n**2 - 12*n + 15. Let y be h(11). Suppose -y*q - 1182 = -6*q. Is q a multiple of 22?
False
Is 7 a factor of (-2)/(-9) - (-335600)/45?
False
Suppose 79*m - 78*m = 8. Suppose 0 = -0*a - m*a. Suppose a = -2*q - 2*q, -132 = -2*f - 2*q. Is 6 a factor of f?
True
Suppose -5*j + 4 + 1 = 5*a, 0 = 4*a - 4*j - 28. Suppose 5*q = -5*s + 40, 8*s - 22 = a*s + q. Does 3 divide s?
True
Let h(p) = p**3 + 25*p**2 + 45*p - 65. Is h(-21) a multiple of 13?
True
Let h(z) = -15*z - 32. Let m be (-8)/(-36) - 1376/36. Let q = m - -27. Does 19 divide h(q)?
True
Suppose l - 490 = 2*r, 4*l + r - 6*r - 1960 = 0. Suppose 11*d - l = 6*d. Is 13 a factor of d?
False
Suppose 2*n = 5*r + 672 + 2238, 0 = -n + 2*r + 1458. Is n a multiple of 98?
True
Let x = -12530 + 27132. Is x a multiple of 60?
False
Let w be (-2)/(-1) + ((-416)/2)/(-2). Let n(l) = -l**2 + 366. Let x be n(0). Suppose -5*b - 4*p = -x + w, 104 = 2*b - p. Does 13 divide b?
True
Let s = 5 - 2. Let i(j) be the third derivative of 13*j**4/8 + 2*j**3/3 - 2*j**2 - 20*j. Is 10 a factor of i(s)?
False
Let k(a) = a + 4. Let m be k(-16). Let b(z) = 10*z**2 + 11*z - 55. Let p(j) = 3*j**2 + 4*j - 19. Let t(i) = -2*b(i) + 7*p(i). Does 24 divide t(m)?
False
Suppose -4*u - 4*q = -q + 1721, 0 = q - 1. Let n = -397 - u. Is 17 a factor of n?
True
Let h = -129 - 85. Let g = 403 + h. Is g a multiple of 8?
False
Suppose 0 = -r + 5*v + 10, 2*r - 7*r = -3*v - 6. Suppose -3*g + r = -111. Let k = 3 + g. Does 10 divide k?
True
Let w = 29915 + -14296. Is w a multiple of 25?
False
Let g(s) = 154*s**2 - 773*s + 8. Is g(7) a multiple of 4?
False
Suppose -43734 = -46*g + 41640 + 31834. Is 91 a factor of g?
True
Let z(k) = 4*k**2 + k - k**2 + 11*k. Suppose 5*s - 305 = -345. Is 14 a factor of z(s)?
False
L