
Let v(p) = -13*p + 162. Let z be v(11). Suppose 14234 = z*u - 263. Is 13 a factor of u?
False
Let n(r) be the first derivative of -2*r**2 - 9*r + 18. Let w be n(-8). Let i = w + 32. Is i a multiple of 5?
True
Let o(g) = 143*g**2 - 1455*g + 12. Is 230 a factor of o(16)?
True
Does 32 divide (-36)/8*52*(-16)/6?
False
Let n(j) = 58*j**2 - 36*j + 4. Does 46 divide n(-10)?
True
Suppose 0 = 187*r - 182*r - 155. Suppose 640 + 3421 = r*l. Is l a multiple of 9?
False
Let k(h) be the first derivative of -h**3/3 - 23*h**2 + 12*h - 8. Does 5 divide k(-42)?
True
Suppose 0 = 2*r - 28*r + 9*r + 37400. Is 20 a factor of r?
True
Let h = -87 - 68. Let k = 75 + h. Does 17 divide (2/(-4))/(2/k)?
False
Let b be (15/4)/(-5) - (-77)/44. Is 42 a factor of (5 + (-332)/(-12))*(b - -8)?
True
Let x be (1 - -1) + (-3)/(-1). Let t be 1/((-3)/(-294)*(-2 + 4)). Suppose 76 = x*a - t. Is a a multiple of 11?
False
Let q = 3612 - -5624. Is q a multiple of 41?
False
Let k(q) = -q**2 + 4*q + 11. Let p be k(6). Let u be (p - (-1 - 0))/(2 + -1). Suppose u = -6*d + 3*d + 186. Does 31 divide d?
True
Suppose -22086 = -8*n + 11346. Does 24 divide n?
False
Suppose -5*z - 879 = 3*f + f, -z = -4*f + 195. Let b = z - -296. Is 27 a factor of b?
False
Suppose 1 = -b + 2, 5*g + 2*b - 12 = 0. Suppose 0 = -5*f + g*f, 4*f = 2*q - 92. Does 18 divide q?
False
Let a(d) = 12*d**2 - 63*d - 223. Does 20 divide a(-19)?
False
Let t be ((-1)/(-4)*-6)/(17/(-34)). Suppose 575 = t*s + 5*v, 5*s - v - 521 = 428. Does 19 divide s?
True
Let l(x) = -x**2 + 10*x + 16. Let f be l(11). Suppose -f*c + 44 = j - 9, 4*c - 31 = 3*j. Is 10 a factor of c?
True
Let k be (14 + -11)/(-1 + (-10)/(-4)). Suppose 0 = -3*h + z + 575, 3*h - 43 = -k*z + 544. Does 7 divide h?
False
Let z(a) = 10*a + 54. Let w be z(-5). Let x(t) = w - 3*t**2 - 13*t + t**3 + 29*t - 22*t. Is x(5) a multiple of 8?
True
Suppose 472*z + 40120 = 506*z. Is z a multiple of 118?
True
Suppose 6 - 81 = 25*f. Is 13 a factor of (-13)/((6 - f)/(-207))?
True
Is 27 a factor of 1164/3104 + 426/16?
True
Let v = 11288 - 4523. Does 205 divide v?
True
Suppose 0 = -16*q + 13 + 19. Suppose -4*a = -q*b + 728, -1084 = -3*b + 2*a - 0*a. Is 12 a factor of b?
True
Suppose j - 1425 = -t - 500, -4655 = -5*j + t. Does 6 divide j?
True
Let z(p) = 2*p**3 - 42*p**2 - 80*p - 70. Is 19 a factor of z(23)?
False
Let f(g) = g**2 - 5*g + 43. Let a be f(-10). Suppose -u + 3*y + a = 0, 6*y = -2*u + y + 408. Is u a multiple of 15?
False
Let j = -3141 - -8382. Is 53 a factor of j?
False
Let z(y) = 3*y - 9. Let s be z(3). Suppose s*a - 4 = -2*a. Is (36/(-45))/(a/(-75)) a multiple of 7?
False
Suppose 16*r - 36 = -4. Let b = r + 166. Does 4 divide b?
True
Suppose -24*a + 608518 = 177*a - 3620723. Is 11 a factor of a?
False
Does 29 divide (9285/(-3) + -4)*(7 - 250/30)?
False
Let q(l) = -l**3 + 23*l**2 + 53*l - 58. Let u be q(25). Suppose p = -u*p + 12114. Is p a multiple of 16?
False
Let u = -345 - -347. Suppose 0 = 3*v + 2*t - 378, -v + 125 = -u*t - 1. Is 21 a factor of v?
True
Suppose -3*x + 5*s + 7115 = 0, 580*x - 575*x - 4*s - 11880 = 0. Does 4 divide x?
True
Let t(p) be the second derivative of p**5/20 - p**4 + 5*p**3/2 - 7*p**2/2 - 16*p. Let w(z) = 2*z + 3. Let f be w(4). Is 4 a factor of t(f)?
False
Let k(o) = 4*o**2 + 2*o + 6. Let n(c) = -c**2 + 7*c - 6. Suppose 2*h = -1 + 5. Let t be n(h). Is k(t) a multiple of 8?
False
Suppose 348*f - 245916 = 302*f. Is 33 a factor of f?
True
Suppose -4*o = 4*y - 3*o - 18, 4*o = -2*y + 16. Suppose -2*v = -y*f + 1400, v - 3*v - 1365 = 3*f. Is ((-16)/(-3) + -5)/((-2)/v) a multiple of 23?
True
Let i = -74 - -12. Let k = i + 61. Does 16 divide 1 - 1 - -227 - (k - -4)?
True
Let a(l) = 2*l**2. Let q be a(1). Suppose 4*n = -5*i + 565, -172 = -q*n - i + 115. Is n a multiple of 5?
True
Is 19 a factor of ((34/(-85))/((-2)/16950))/(27/36)?
False
Suppose 63*v + 619 = 52. Let x(y) be the second derivative of y**5/20 + 3*y**4/4 - 4*y**3/3 + 6*y**2 + y. Is 11 a factor of x(v)?
False
Suppose -4*g = -24, 3*b - 284*g + 287*g = 7218. Does 38 divide b?
False
Let p(j) = 4*j**2 + 65*j - 111. Is 10 a factor of p(-40)?
False
Is 25 a factor of ((-120)/9 + 0/7)/((-4)/2454)?
False
Suppose 2348 = -18*c + 22004. Does 21 divide c?
True
Let x(b) = -b**3 - 8*b**2 + 10*b + 10. Let o be x(-9). Let w be (1 + -1 + -1 + o)/1. Is 13 a factor of w - (-2)/13 - (-1350)/13?
True
Let y = 56 - 63. Is 27 a factor of y/(-1)*14/((-126)/(-243))?
True
Let l(q) be the third derivative of q**4/6 + q**3/3 - q**2. Let g be l(-2). Is 3 - 7/(9/g - -1) a multiple of 10?
False
Is 4 a factor of ((-9538)/(-14) + -2 + 3)/(8/56)?
True
Suppose -1768*i + 477516 = -1729*i. Does 62 divide i?
False
Suppose w = -2*z - w + 1384, w - 2762 = -4*z. Does 138 divide z?
True
Suppose -3*j = f - 50, 56 = 2*j + j - 5*f. Suppose -3*w + 2*m + 10 = 0, 5*w - 2*m - m = j. Is 102 + (4/w - 0) a multiple of 11?
False
Suppose -4*i = 4*j + 220, 4*j - j - i + 173 = 0. Let y(d) = d**3 + 8*d**2 - 22*d + 1. Let b be y(-11). Let w = j - b. Is 9 a factor of w?
True
Suppose 0 = -5*b - 15 + 125. Suppose 0 = -14*r + 48 + b. Suppose -w = r*y - 33, 4*w - 44 - 58 = -5*y. Does 23 divide w?
True
Let p(y) = 4*y - 18. Let m be p(7). Let u be (-8)/m*(-25)/2. Does 27 divide (-8)/u - 30352/(-140)?
True
Is 17 a factor of 536685/10 + 4/8?
True
Is (((-497)/14)/((-6)/(-4)))/(32/(-9024)) a multiple of 13?
False
Let g(x) = x**3 - 20*x**2 + 19*x - 7. Let b be g(19). Is 2/b - (1 + 7920/(-35)) a multiple of 25?
True
Suppose 10*w - 4116 = -2*w. Suppose -8 = 4*a - 4*q, 0 = -3*a - a - 2*q + 16. Suppose -o - w = -5*g, 2*g - 4*o = -a*o + 142. Is 34 a factor of g?
True
Is 24*(14 + (20/(-6) - (-44)/(-66))) a multiple of 8?
True
Let v = -1731 + 2457. Is 11 a factor of v?
True
Let l be 97352/36 + 5/90*-4. Suppose -5*w - 3*t = t - 6743, -2*w = 5*t - l. Is w a multiple of 94?
False
Suppose 5*p = -2*c + 23961, -3*c - 29*p + 24*p = -35939. Does 113 divide c?
True
Let z = 1936 - 76. Is z a multiple of 93?
True
Suppose 9*a = 13*a + 2*f - 18446, -4*a + 18461 = 5*f. Is 11 a factor of a?
True
Suppose -15632 = -21*m + 26893. Does 15 divide m?
True
Let d = -11465 + 12859. Is 81 a factor of d?
False
Let h(a) = -2*a + 18. Let d be h(9). Suppose 0 = 5*m + 4*o - 1651 - 225, -3*m + o + 1129 = d. Suppose -19*y + m = -11*y. Is y a multiple of 12?
False
Suppose -3*v = 3*s - 1515, v - 497 = -9*s + 10*s. Is -3*(-6)/27*v a multiple of 4?
False
Let x = -363 - -417. Is (-4)/18 - (-41214)/x - 1 a multiple of 57?
False
Let k = 227 + -225. Let v(z) = 58*z**3 - 3*z**2 + z - 4. Is 19 a factor of v(k)?
False
Let z(h) = -h**2 + 44*h - 96. Let i be z(42). Is (i/(-5))/((-15)/(-1750)) a multiple of 17?
False
Let t = 87428 + -39373. Is 36 a factor of t?
False
Is (-5 - ((-12)/(-3) + -6)) + -1 + 5028 a multiple of 16?
True
Suppose 30*k - 125847 = -14607. Does 34 divide k?
False
Suppose -3*c - 16 = k, 3*k - c + 71 = 23. Let w(t) be the first derivative of -11*t**2/2 - 20*t - 2. Is 26 a factor of w(k)?
True
Suppose 3*l - 11*o = -6*o + 20, 5*l = -5*o - 20. Suppose -3*h + h - 2*v + 100 = 0, l = 4*v + 12. Does 10 divide h?
False
Is 56 a factor of (381/508)/(6/142028) + (-3)/2?
True
Let l(i) = -i**3 + 23*i**2 - 13*i + 49. Does 3 divide l(22)?
False
Suppose -19*j + 23*j = 20. Suppose -5*q = j*d - 135, -d + 39 = 2*q - 4*q. Suppose d - 446 = -5*k. Does 12 divide k?
False
Let m = -2859 - -5132. Does 9 divide m?
False
Let i = -14203 - -31060. Suppose 15*q - 423 - i = 0. Is q a multiple of 48?
True
Let m = 31 - 40. Let a(c) = -c**2 - 9*c + 10. Let p be a(m). Suppose -p*x + 174 = -8*x. Does 23 divide x?
False
Suppose -6 = 32*k - 35*k. Suppose 3*b = b + l + 1110, 0 = -k*b + 2*l + 1106. Is 17 a factor of b?
False
Let c(f) = f**2 - 5*f - 3. Let h be c(6). Let k(z) be the first derivative of 7*z**3/3 - 9*z**2/2 + 14*z + 3062. Does 8 divide k(h)?
False
Suppose -4*n - 3*j - 6 = 0, -j + 5*j = -4*n - 8. Suppose n*o + 3816 = 18*o. Is o a multiple of 53?
True
Suppose -a + 5 = 0, 0*q + 4*q + 4*a = 60. Suppose -q*t - 665 = -7865. Is t a multiple of 90?
True
Let b(f) = -63*f - 49. Let j be b(11). Does 15 divide (-627361)/j - (-1 + (-10)/(-4))?
False
Let g(o) = 205*o + 2. Let s(p) = 102*p + 1. Let z(h) = -6*g(h) + 11*s(h). Let a be z(-7). Suppose -14*j + a = -421. Does 38 divide j?
False
Let d = 15498 - 7262. Is 18 a factor of d?
Fals