 Is 13 a factor of i?
True
Let v(k) be the first derivative of k**4/4 + 4*k**3/3 - 2*k**2 + 4*k + 20. Let w be v(-5). Does 8 divide (2848/(-96))/(1*w/3)?
False
Suppose -4*q + p = -10607, -13*p = -q + 615 + 2126. Is q a multiple of 25?
True
Let w(h) be the third derivative of -2*h**2 - 1/24*h**4 + 17*h + 0 + 15/2*h**3. Does 20 divide w(-15)?
True
Suppose 0 = 408*l + 417*l - 809*l - 817232. Is 13 a factor of l?
True
Suppose -5*c + 3*u + 13943 = 0, 5*c - 9*c + 11148 = 4*u. Does 31 divide c?
False
Suppose 4*k + 5*b - 4 = 3*b, 5*k - 2 = -b. Let i be ((-9)/3 - k) + 0. Let w = 24 - i. Does 9 divide w?
True
Let t be ((-19)/(855/(-54)))/(2/950). Does 17 divide (t/(-135))/(1/(-9))?
False
Let m(b) = 6*b**2 - 35*b - 165. Is 20 a factor of m(-5)?
True
Let g be 2 - 3/(-9)*-9. Is 24 a factor of (-195 - -190) + (-186)/(2/g)?
False
Let i(d) = 6589*d + 2200. Does 58 divide i(3)?
False
Suppose -5*j + c = -49432, -c + 6149 + 43289 = 5*j. Does 79 divide j?
False
Suppose 22*y - 25 = 17*y, -3*h = -6*y - 4350. Is h a multiple of 20?
True
Let r(j) = 388*j**2 + 124*j. Is 5 a factor of r(2)?
True
Let x(o) = 23 - o**2 + 32448*o - 32448*o + 12. Suppose -8 = 2*h, 2*y + 5 = -5*h - 15. Is x(y) a multiple of 4?
False
Let t(g) = -g**3 + 24*g**2 - 42*g - 41. Let x be t(22). Is (-22)/x*(-38 - 7) a multiple of 15?
True
Let j(p) = -p**3 - p**2 + p - 2. Let n be j(-2). Suppose n*a - 2*a + 10 = 0. Suppose -r + 2*r = -2*f + 88, 370 = a*r - 4*f. Does 16 divide r?
False
Suppose g + 5*g = 0. Suppose -5*r + 6*r - 164 = g. Suppose r*m - 340 = 162*m. Is m a multiple of 17?
True
Is 22 a factor of 1/((-14)/(-440508)) - (-2 - -15)/(-91)?
False
Let d be (-3 - -2 - 3) + (-1740)/(-1). Suppose -22*o + 18*o + d = 0. Does 27 divide o?
False
Suppose -16 = g - 4*l, 2*l = 4*g + 15 - 7. Let m(s) = s**3 + g*s + 7*s**2 + 5*s - 12*s**2 + 8 + 15*s**2. Is m(-9) even?
True
Suppose 0 = 4*p - 5*d + 40, 0 = -4*p - 18*d + 16*d - 40. Does 10 divide 13/65 + (-27)/p*234?
False
Let m(r) = r + 3. Let n be m(4). Does 4 divide (8 + -5 + n)/(2/19)?
False
Suppose -35*j + 3*w - 705 = -38*j, 2*j - 3*w = 430. Is 3 a factor of j?
False
Let v(a) = 331*a - 630. Is v(7) a multiple of 7?
True
Let s(l) be the first derivative of -l**5/60 + 7*l**4/12 - 4*l**3 - 43*l**2/2 + 5. Let j(y) be the second derivative of s(y). Does 6 divide j(8)?
True
Suppose -4*f = -y, 0 = y + y. Suppose f = -5*h + 30 + 15. Is 5 a factor of 249/h - (35/15)/(-7)?
False
Let z(w) = 8*w + 45. Let k(l) = 17*l + 91. Let t(i) = -6*k(i) + 10*z(i). Does 6 divide t(-9)?
True
Let t = -108 - -271. Suppose -161*v = -t*v + 378. Does 34 divide v?
False
Let z(p) be the first derivative of 55*p**2 - 429*p - 264. Does 71 divide z(11)?
True
Let r be 4 - (8 + -20 - -3). Suppose -r*b = -16*b + 2421. Does 13 divide b?
False
Suppose 30 = 85*x - 70*x. Does 45 divide (x/4)/(1*(-2)/(-1516))?
False
Let c = 3305 + -1697. Does 8 divide c?
True
Let u = -4909 + 4897. Let k be 1*-48*(-1)/(-2). Is 21 a factor of 189/2*k/u?
True
Let w(a) = -a**2 - 11*a - 20. Let x be w(-8). Suppose -18 = k - 0*s + 5*s, 4*k = x*s + 24. Suppose 4*g = 2*d - 40, -7*d + k*d + g = -127. Is d a multiple of 6?
False
Let n(m) = -2*m**2 - 62*m + 29. Let y be (-18 + 27)*6/(-2). Is n(y) a multiple of 6?
False
Let n(s) = 8*s - 7. Let q be n(2). Suppose q = 4*p + 1. Suppose 14 + 26 = p*o. Is 10 a factor of o?
True
Let q(t) = -t**3 - 98*t**2 + 49*t + 129. Does 140 divide q(-99)?
False
Suppose 0 = -19*n + 80983 + 101702. Is 77 a factor of n?
False
Let k be (1*(-3)/2)/(54/(-1476)). Suppose -4*c + 194 = -18. Suppose -t + 2*a + 26 = 0, -2*a + c = 4*t - k. Is 12 a factor of t?
True
Suppose -13*z + 948 = -443. Let g = 230 - z. Does 5 divide g?
False
Suppose 17*f - 31 - 3 = 0. Suppose 495 + 814 = 5*l + f*s, 0 = 5*l + 4*s - 1313. Is 24 a factor of l?
False
Let x(s) = -s**3 - 44*s**2 + 7*s + 60. Is 13 a factor of x(-48)?
False
Let c(x) = -307*x + 1067. Does 5 divide c(0)?
False
Does 41 divide 2941 + -11*(-9)/9?
True
Is (-6)/(-16) - 5218539/(-1272) a multiple of 44?
False
Let o(j) = 4*j**3 - 5*j**2 + 167*j + 0*j**3 + 3 - 168*j. Is o(2) a multiple of 6?
False
Suppose -3*u + 0 = -12. Suppose -i + u*z = 3*i - 420, -5*i - 2*z = -553. Suppose -2*q = 0, -t + 3*q = q - i. Is 17 a factor of t?
False
Let r = 685 - 394. Let g = -275 + r. Does 8 divide g?
True
Suppose -a = 3*g - 55650, 23*a = g + 25*a - 18540. Is 18 a factor of g?
False
Suppose -4*q - 4204 = q - 17909. Is q a multiple of 55?
False
Let c = 21 - 15. Let n(v) = 11*v**2 - 8*v + 8. Let m be n(c). Let f = m - 254. Is 11 a factor of f?
False
Let h = 88 - 78. Suppose h*x - 902 = -x. Let f = 205 - x. Is f a multiple of 41?
True
Let l(m) = 32*m - 152. Let c = -154 - -161. Is 24 a factor of l(c)?
True
Suppose -33*n + 93658 = -26759. Is 183 a factor of n?
False
Let k = 230 - 95. Suppose 0 = -5*y + 95 - k. Does 20 divide (88/y)/(2/(-80)*2)?
True
Suppose 16*k + 18*k - 110432 = 0. Is k a multiple of 7?
True
Suppose y + 3*y + 16 = 3*o, -o + 5*y - 2 = 0. Suppose 2*r + o = 0, -3*r - 118 = -2*j + 132. Is 17 a factor of j?
True
Let o(t) = -12*t**2 + t. Let y be o(-1). Suppose 0 = 3*v - 7 + 19. Let u = v - y. Is u a multiple of 2?
False
Let d(f) = f**2 - 3*f + 1. Let k be d(0). Is (3 + k - -3) + 565 a multiple of 50?
False
Is ((-396)/528)/(35037/17520 + -2) a multiple of 17?
False
Suppose -124*k = y - 126*k - 14324, 42976 = 3*y - 2*k. Is 11 a factor of y?
False
Let u = 8198 - -3634. Is u a multiple of 51?
True
Let y(x) = -x**3 + 49*x**2 - 131*x - 59. Is 10 a factor of y(45)?
False
Is 13 a factor of 3*30/(-18) - -514 - 0 - -3?
False
Let a be (-38733)/9 - (-24)/(-18). Does 17 divide a/(-9) - 28/(-42)?
False
Suppose 24*o - 18*o = -11*o + 2244. Is 3 a factor of o?
True
Let f(v) = -2*v**2 - 12*v + 4. Let s be f(-6). Suppose -3*p + 3*m + 6 = 0, -p - s*m - 2 + 4 = 0. Suppose -2*u + 16 = -p. Is u a multiple of 9?
True
Let m = 503 + -209. Let s = m + -175. Is 7 a factor of s?
True
Let n = 577 - 371. Let r = 232 - n. Is 11 a factor of r?
False
Let o = 210 - 117. Let x = 136 - o. Is x a multiple of 2?
False
Let s(y) = -8304 + 16*y**2 - 5*y**2 + 8308. Is s(4) a multiple of 12?
True
Suppose -148 = 5*q + 67. Let n = q - -35. Is 35 a factor of 4*(1 + -5 - 206/n)?
False
Let u(b) = 54*b**2 - 3*b + 1. Let h be u(1). Let k(j) = -j**3 - 15*j**2 + j + 21. Let o be k(-15). Let r = h - o. Is 19 a factor of r?
False
Suppose -149*y = -49*y - 3226000. Is y a multiple of 20?
True
Let x be -2*((-1890)/98 - (-4)/14). Suppose -m = -x - 31. Does 8 divide m?
False
Let a(x) be the third derivative of x**6/120 + x**5/5 + x**4/6 + 7*x**3/2 + x**2. Does 71 divide a(-6)?
True
Let c(p) = 2*p**2 - 58*p - 1116. Does 54 divide c(65)?
True
Let z be ((-34)/68)/((-10)/4 + 2). Does 13 divide z*(376 + -1)*(1 + 0)?
False
Let q(m) = 5*m**3 + m**2 - 2*m - 4. Let a be q(2). Is a*(328/24 + -5) a multiple of 14?
False
Let c = -88 + 53. Let a = 263 - 165. Let r = c + a. Does 7 divide r?
True
Suppose 3*l - 406 = -21*s + 16*s, -4*l - 344 = -4*s. Suppose -86*r = -s*r - 1449. Is 13 a factor of r?
False
Suppose 2*t + 381 = -5*o, -2*o - 387 = 3*o - t. Let c = 81 + o. Does 30 divide (-12384)/(-56) + c/(-28)?
False
Suppose 5*n - 14 + 4 = 0. Suppose 3*j - 49 = n*j + 3*u, -3*j + u = -123. Does 10 divide j?
True
Suppose 11*f - 154 = 814. Suppose 0 = -3*s - 4*a + f, -4*s + 128 = -3*a - 6. Is s a multiple of 30?
False
Let a = -5112 + 7902. Is a a multiple of 9?
True
Let d be 3 - 7 - (-4)/4. Let c be 20 - (4*d)/(-3). Suppose 6*t + c = 10*t. Is t a multiple of 3?
False
Let l = 1977 + 1899. Does 76 divide l?
True
Let a = 3029 + -1087. Let w = a - 1368. Does 66 divide w?
False
Is 10 a factor of (1107 - 31) + (-15)/(-1)?
False
Does 195 divide (21/(63/(-30)) - 0) + 15025?
True
Let u(o) = -4*o - 30. Let t be u(-9). Let l(v) = 8*v - 32. Let z be l(t). Suppose -12*s + z*s = 60. Is s a multiple of 2?
False
Suppose 2*o = -4*w + 64208, -32092 = -2*w + 42*o - 40*o. Is w a multiple of 30?
True
Let u(j) = 4*j**2 - 3*j + 4. Let c = 33 + -35. Let q(s) = -s**3 - 2*s**2 + s + 4. Let a be q(c). Is u(a) a multiple of 7?
True
Suppose 10*u - 1430 = 21*u. Let a = 179 + u. Is a a multiple of 2?
False
Let l = -2098 - -1281. Let s = 1469 + l. Is 10 a factor of s?
False
Let g = 1380 + -712. Is g - (3 + -5 - 6) a multiple of 45?
False
Suppose -15*q - 1265 = 1045. Let h = q + 558. Is