 factor of y?
True
Let v(y) be the second derivative of -3*y**5/20 + y**4/4 + 5*y**3/6 + 5*y**2/2 + 13*y. Let a be v(-2). Is 14 a factor of (3/(-5))/((-9)/(-45)) + a?
True
Suppose 0 = t - 279 - 0. Suppose 36*j - 34*j - 590 = -4*i, -2*i + 3*j = -307. Let l = t - i. Does 26 divide l?
True
Let v = -30336 + 56880. Is 16 a factor of v?
True
Suppose -5*t - 13 = -4*m, -3 = t - 2. Is (36/16)/(m/144) a multiple of 36?
False
Suppose 2*l - 7 = 3. Suppose 4*c = -r - 0*r + 1045, 1325 = 5*c + l*r. Let w = c + -147. Does 23 divide w?
False
Suppose 5*i + 3*w = -15, -7*i = -10*i + w + 5. Suppose i = 12*r - 18 - 1026. Is r a multiple of 12?
False
Let f be 1 + (-45)/9 + 70. Is 18/66 + 906/f even?
True
Let x = -13 - -17. Does 10 divide (x + 36/45)*300?
True
Let a(n) = n**2 + 4*n - 113. Let c be a(9). Suppose 4*l + 2*u - 1910 = 0, -c*l - 5*u = -10*u - 1945. Is 15 a factor of l?
True
Let b(c) = -c**2 + 7*c + 8. Let u be b(8). Suppose u = k - 15 + 5. Is ((-12)/k)/(9/(-1110)) a multiple of 12?
False
Let a(s) = s**2 - 39*s - 538. Is a(106) a multiple of 18?
False
Suppose -73*n = -512*n + 12433955 + 2426634. Does 39 divide n?
False
Let g be -4 + 14/3 + 22/3. Suppose -2*i = 2*s + 2, i + 3*s - 1 = -g. Suppose -5*z + 20 = -3*z + 5*v, z = i*v + 10. Does 10 divide z?
True
Let r = -8 + 9. Suppose 9 = 4*b + r. Suppose 2*u + 19 + 18 = 3*x, 0 = -b*u - 4. Is 4 a factor of x?
False
Let h(c) = c**2 - c - 6. Let r be h(-2). Suppose r = 6*k + k - 42. Suppose 3*d + k*a - 9*a - 639 = 0, d + 3*a = 193. Is d a multiple of 9?
False
Suppose 0*q - 638 = -4*q - 2*p, -4*q + 2*p + 626 = 0. Is 13 a factor of (-28 - -13) + q - (0 - 0)?
True
Let j(x) = x**2 + 8*x - 29. Let c = -124 - -113. Let h be j(c). Suppose 618 = 4*v - b, h*v + b + 18 = 632. Is v a multiple of 22?
True
Let r = 14248 - 7150. Is 6 a factor of r?
True
Let r(w) = -11*w + 230. Let j be r(19). Let c(b) = -13*b**3 + 2*b**2 - 1. Let v be c(-1). Let x = j + v. Does 2 divide x?
False
Let w be (3 + -3 + -1)*(-3 - 2). Suppose -w*q + 4*h + 850 = 0, -2*q - q = -4*h - 510. Let m = q + 7. Is 19 a factor of m?
False
Let y be (-127680)/14*(-5)/10. Suppose 5*o + 25*o - y = 0. Does 38 divide o?
True
Let q(n) = n**3 - 32*n**2 - 113*n + 36. Does 72 divide q(36)?
True
Suppose 0 = 3*n - 4*u - 5441, 2*n - 3*u = 3741 - 112. Is 29 a factor of n?
False
Suppose 0 = -5*r + 52*r - 103082 - 151282. Is r a multiple of 66?
True
Let k(y) = y**3 - 4*y**2 - 8*y + 29. Let m(p) = -p**2 - 13*p + 3. Let j be m(-9). Let u = -32 + j. Is k(u) a multiple of 20?
True
Suppose 0 = -7*j + 60 + 24. Suppose 0 = 3*d + 9, -3*y - d + j = -876. Does 37 divide y?
False
Suppose 3*q - 4*w - 568 = 0, -2*q + 5*q - 569 = 5*w. Let f be (q/(-8))/((-2)/12). Suppose -f + 15 = -7*p. Does 9 divide p?
True
Is (-30)/((2/(-4))/(15 + 22797/36)) a multiple of 25?
False
Let q(k) = 5*k + 2. Let o(i) = i + 2. Let f be o(0). Let x be q(f). Let h(s) = 2*s + 20. Is h(x) a multiple of 13?
False
Let v(y) = -325*y**2 - y - 2. Let d be v(-1). Let j = 456 + d. Is 13 a factor of j?
True
Let q(n) = -n**2 - 58*n + 467. Let j be q(-65). Let x(u) = -u**2 + 5*u + 5. Let t be x(5). Suppose j + t = l. Is 2 a factor of l?
False
Let q(l) = l**3 + 32*l**2 + 25*l + 64. Is q(-18) a multiple of 134?
False
Suppose -4*r - 3*r + 56 = 0. Suppose 11*v - r*v - 426 = 0. Is 13 a factor of v?
False
Let u = -9405 + 23615. Is u a multiple of 27?
False
Let q be (0 + (-34)/6)*3. Let p = 96 + q. Is p a multiple of 18?
False
Is (-1*1)/(846640/120950 + -7) a multiple of 21?
False
Suppose -8 - 8 = -4*l. Suppose 0*a = l*a + a. Let x(f) = f**2 + 138. Does 32 divide x(a)?
False
Let b = -13 - -8. Let c be 3/b + 831/(-15). Let f = c + 120. Is 32 a factor of f?
True
Suppose -2*v - 3*h = -6*v + 15, 0 = -3*h - 3. Is v + 305 + (-4 - 8/(-2)) a multiple of 14?
True
Suppose 3*f - 4789 = -q, -2*f + 1764 = -q - 1422. Suppose 4*l - k - 5044 = 0, -4*k + f = 5*l - 4689. Does 9 divide l?
True
Let x(i) = -4*i + 10. Let p be x(3). Let y be p + (-4)/(-1) - -11. Suppose z = y + 24. Is z a multiple of 26?
False
Suppose -180*w + 234*w + 119207 = 339797. Is 19 a factor of w?
True
Let a = 357 - 353. Suppose a*c - 11*c = -5117. Does 9 divide c?
False
Is ((-2)/6)/((-7)/24381) a multiple of 3?
True
Let y(v) = -23*v**2 + 8*v. Let d be y(-3). Let o be d/4 + (-5)/((-40)/6). Is (-478)/(-6) - (-38)/o a multiple of 7?
False
Suppose -154*i = 78*i - 272084 - 114892. Does 25 divide i?
False
Let j(v) = 35*v + 9. Let o = 481 - 472. Is j(o) a multiple of 9?
True
Suppose -98*p = -177*p + 4019520. Is 12 a factor of p?
True
Let l(v) = 7*v**2 - 3*v - 45. Is l(-6) a multiple of 14?
False
Let w(d) = 5*d**3 + d**2 - d - 1. Let k be w(-1). Let i be 15/4 - 15/(-80)*k. Suppose 2*f = i*f - 215. Does 28 divide f?
False
Let s = -229 + 335. Let v = 203 - s. Does 10 divide v?
False
Suppose -3*i + 4*i - 15 = 0. Let l = i - -9. Suppose -2*u = -2*g + l, -13 - 15 = -2*g + 4*u. Is 5 a factor of g?
True
Let b(o) = 7131*o**3 - 8*o**2 + 5*o + 2. Is b(1) a multiple of 23?
True
Suppose -1272 = -8*q + 4*q + t, -4*t + 636 = 2*q. Does 16 divide q?
False
Suppose 28*f - 42*f = -100674. Is 47 a factor of f?
True
Suppose -x + 8 = -4*c, 5*x = 2*x + c - 9. Let g be 4/(20/155) - (x + 2). Is 7 a factor of (g/1)/(0/5 - -1)?
False
Suppose 159*c + 166*c - 5284254 = -1553254. Does 40 divide c?
True
Let n = 125 + 116. Suppose -2*m - b + n = 0, -m - 16*b = -17*b - 116. Does 10 divide m?
False
Let o = 19192 + -12832. Is 212 a factor of o?
True
Suppose 13*x = 8780 + 1737. Let b = x - 569. Is b a multiple of 28?
False
Let q be 315/(-99) + 2/11. Let a be (1*(4 - 0))/(q/33). Let n = a + 71. Is 4 a factor of n?
False
Suppose 0 = g + 85*l - 84*l - 24060, 0 = 7*g - 2*l - 168492. Does 44 divide g?
True
Let b(m) = m**3 - m**2 - 8. Let o be b(2). Let x be 2/o + (895/10)/(-1). Let n = x + 156. Is n a multiple of 11?
True
Let n(f) = -23*f + 7. Let j be n(5). Let u = 300 - j. Does 17 divide u?
True
Let f(c) = 16*c**2 - 24*c + 43. Let b be f(3). Suppose -4*h = 5*k - 448, k = 2*h - b - 109. Is h a multiple of 8?
True
Let a(h) = -20*h + 414. Let k be a(20). Does 16 divide -3 + 125 + (17 - k)?
False
Suppose 3*k + 2268 = -6*k. Let b = k - -539. Does 66 divide b?
False
Let m be (-2)/((-11)/((-19866)/(-12))). Let w = 768 - m. Is 35 a factor of w?
False
Let j(i) = -2*i**2 + 5*i. Let r be j(3). Is ((-16)/r)/(2/21) a multiple of 19?
False
Let s = -95 - -178. Let h = 83 - s. Suppose h = w - 24 - 142. Is w a multiple of 13?
False
Let b(o) = -21*o**3 - o**2. Let z be b(1). Let j = z - -178. Suppose -6*w - 7*w + j = 0. Does 3 divide w?
True
Suppose -7*v - h + 10 = -2*v, 0 = -5*v - 5*h + 10. Suppose 3*d - 4*y - 130 = 117, 0 = 3*d - v*y - 251. Is d a multiple of 7?
False
Let h be ((-72)/(-60))/(9/30). Suppose 4*d = 2*c - h*c + 424, 2*d = c - 208. Is c a multiple of 8?
False
Let u = -468 + 294. Let p = 216 + u. Is p a multiple of 18?
False
Suppose 5*d + 6320 = 5*k, -3*d - 3768 = 2*k + k. Let n = d + 1869. Does 22 divide n?
False
Let d = -348 + 1206. Suppose 0 = 69*j - 71*j + d. Does 9 divide j?
False
Is (-13391460)/(-567) - 25 - 4/42 a multiple of 22?
False
Let h = -227 + 964. Suppose 5*v - h = -2*u, 3*u + 3*v = 5*u - 713. Is 16 a factor of u?
False
Let t(c) = -c**2 - 26*c + 68. Let j be t(-28). Does 36 divide ((-121016)/20)/(-7) - j/30?
True
Let t(r) = 7*r**2 - 34*r. Let a be t(14). Let v = a + -566. Is v a multiple of 14?
False
Suppose 0 = -5*t + 78 - 53. Suppose 5*d = 3*q - 873, q + 2*d = t*q - 1178. Is 4 a factor of q?
True
Suppose -u - 35 - 15 = 0. Let z = -114 - u. Does 12 divide (-3 - -6) + -1 - z?
False
Suppose -4*n - 2*j + 14240 = 0, -227*n + 225*n - 3*j = -7132. Is n a multiple of 63?
False
Let v be 1 - (5 - 3)/((-1)/(-46)). Let l = v - -94. Suppose -l*k = 2*k - 15. Does 3 divide k?
True
Let a be (-9)/12 - (-560)/64. Let m(c) = -34 + 24*c + 12 - 23 + 6*c. Is 13 a factor of m(a)?
True
Does 81 divide (-1 + 42)/((320/(-1620))/(-16))?
True
Suppose 0 = -4*n - 2*n + 18. Let c(w) = w**3 - 2*w**2 - w. Let a be c(n). Suppose -l - 645 = -a*l + 3*j, -2*j = 0. Is l a multiple of 10?
False
Let q be (-5)/(-5) - (-1 + -1095 + 1). Suppose -704 = -3*d + q. Is 24 a factor of d?
True
Let c be ((-3)/(-9))/((-1)/(-12)). Suppose 20 = 5*l - 0, c*a - 60 = 5*l. Is 10 a factor of a?
True
Let l = -94 - -290. Let d = 8 + l. Does 11 divide d?
False
Let j(f) = f