s p a multiple of 8?
True
Let w = 102871 - 25589. Does 34 divide w?
True
Suppose -21935 = -5*x + k, -5*x - k - 8774 = -7*x. Does 12 divide x?
False
Let j = 141 - -148. Let t = j - -95. Is 16 a factor of t?
True
Let n(o) = o**2 - 85*o - 866. Does 13 divide n(-66)?
True
Suppose 16*v = 20*v - 16. Suppose -i = -5*g - 76 - 69, -v*i + 3*g = -563. Is 7 a factor of i?
True
Let t(p) be the second derivative of 5*p**4/12 + 5*p**3/3 - 11*p**2/2 - p + 7. Does 41 divide t(-7)?
True
Let g = -278 + 886. Does 8 divide g?
True
Suppose -211 - 1189 = -7*g. Let z = g + -39. Is z a multiple of 7?
True
Let q(o) = 10*o**2 + 26*o + 28. Let k(a) = -a**3 - 5*a**2 + 10. Let r be k(-4). Is q(r) a multiple of 4?
True
Suppose -4*l = 4*o - 1392, -23 = 4*o - 15. Is 2 a factor of l?
True
Let f be 108*5*(-15 + 16). Let z = -205 + f. Is z a multiple of 21?
False
Let z = 72 - 100. Let o = -70 - z. Let s = 82 + o. Is s a multiple of 20?
True
Let k(q) = q**3 - 3*q**2 + q + 1. Let r be k(3). Suppose 0 = r*i - 7*i - 111. Let x = 115 + i. Is x a multiple of 16?
False
Let v(k) = 3*k**2 + 17*k + 4. Let x(q) = 8*q**2 + 35*q + 7. Let p(m) = 5*v(m) - 2*x(m). Does 10 divide p(10)?
False
Let f be (-8)/(-364)*13 + (-4058)/(-7). Suppose -f = -4*y + 564. Is y a multiple of 11?
True
Suppose -8 = -4*l + 4. Suppose -28*g = -96*g + 413 + 9039. Suppose 0*m - m + 136 = 3*o, -l*o = 4*m - g. Is o a multiple of 15?
True
Does 48 divide 3/(552/362096) - 4/(-46)?
True
Let f(n) = -32*n - 393. Let i be f(-18). Suppose -4 - 5 = -z. Suppose 177 = z*k - i. Does 10 divide k?
True
Suppose -176 = -r + 179. Suppose 10*l - 795 = r. Is 17 a factor of l?
False
Let w(y) = -y**3 + 4*y**2 - 2*y - 2. Let m be w(2). Let k(b) = 3*b**2 - 25*b - b**2 - 3*b**m - 5. Is 19 a factor of k(-20)?
True
Let h = -397 + 412. Suppose h*m - 10*m = -20, -2*a + 414 = 3*m. Is 9 a factor of a?
False
Does 98 divide (-93290)/(-14) + (-213)/(-497)?
True
Let h be 6 - (7 + -2) - 2/(-1). Suppose -h*q - c + 6644 = 1430, 0 = 4*c. Is q a multiple of 46?
False
Let d = -157 - -285. Let c = 219 - d. Let l = 14 + c. Is l a multiple of 13?
False
Suppose h = 43*k - 48*k + 16869, 5*h + 3379 = k. Is k a multiple of 90?
False
Let j = 969 - 479. Is 7 a factor of j/(-7)*((-1)/2 + -3)?
True
Suppose 8*x - 7*x = -z + 3195, -3194 = -z - 2*x. Let k = -1856 + z. Is k a multiple of 67?
True
Suppose 34*p - 35*p = -57684. Is 76 a factor of p?
True
Let b be (4 - (0 - -6))*-3. Let d(a) = 6*a + 4. Does 4 divide d(b)?
True
Let y(m) = 4*m**3 - 13 - 11*m**2 + 8*m + 8*m**3 - 11*m**3. Is 47 a factor of y(12)?
False
Let z(q) be the second derivative of -q**4/12 + 7*q**3/6 - 3*q**2 - 5*q. Let a be z(4). Let b = a + 66. Is b a multiple of 6?
True
Let c(t) = 11*t - 61. Let j be c(7). Is (j/12)/(8/1146) a multiple of 7?
False
Let o be 1/(2/294*-3). Let j(n) = -2*n**2 - 9*n + 7. Let i be j(3). Let a = i - o. Does 2 divide a?
False
Suppose 0 = 3*x - 11*x - 200. Let u be (70/x)/((-3)/(-15)). Is 17 a factor of (-1986)/u - 3 - 1/(-7)?
False
Suppose 31*o - 102 = 332. Suppose -7452 = -o*b - 942. Is 9 a factor of b?
False
Let h = -9614 - -16257. Is h a multiple of 91?
True
Let w(r) = -3*r + 19. Let t be w(7). Let h(m) = m**3 - 2*m + 1. Let j be h(t). Let i(o) = -4*o**3 - 2*o + 5. Is i(j) a multiple of 15?
False
Let l(f) = -11*f + 12. Let n be l(11). Let r = n - -47. Let g = 16 - r. Is g a multiple of 10?
False
Let w = -4589 - -21895. Is w a multiple of 42?
False
Let b(j) = -16*j + 2325. Is 21 a factor of b(60)?
True
Let s be 0/(6/1*-1 + 5). Suppose -4*y = 4*k - 1544, s = -k + 13 - 8. Does 15 divide y?
False
Let i(c) = -7*c - 220. Let x be i(-37). Let v(n) = n**2 - 38*n + 21. Is v(x) a multiple of 30?
True
Let z = -504 + 121. Let t = z + 750. Is 13 a factor of t?
False
Let l(o) = 21*o**2 + 34*o - 83. Let v be l(6). Let q = 1087 - v. Is 14 a factor of q?
True
Is 3/((-180)/(-9800))*(-18)/(-4) a multiple of 35?
True
Suppose 0 = y + i + 350, -i + 341 = -y + i. Let a = -191 - y. Let q = -61 + a. Does 35 divide q?
False
Suppose 3*r = 18, 4*r = -4*j + 21490 + 26042. Does 16 divide j?
False
Let f(j) = -11*j**3 + 8*j**2 + 16*j + 7. Let l(v) = 2*v**3 + v**2 - v + 1. Let y(s) = f(s) + 6*l(s). Suppose 4*h = 28 - 80. Is 13 a factor of y(h)?
True
Let a = 903 - -1155. Does 74 divide a?
False
Let c = 22731 + -12110. Is 43 a factor of c?
True
Is 5 a factor of -2098*(11/(33/21) - 9)?
False
Let m(p) = -171 - 7*p**2 - 173 + 347 - p**3 - 3*p. Does 8 divide m(-7)?
True
Let w be (-1127)/(-6) - -2*2/24. Let l be (10 - 0)/(-5 - -1 - -6). Suppose -3*s - p + w = -147, l*s + 3*p - 561 = 0. Is 16 a factor of s?
False
Let x(r) = -95*r + 8. Let q(i) = -i**2 + 3*i + 2. Let p = 99 + -95. Let y be q(p). Is x(y) a multiple of 11?
True
Let k(n) = -129*n - 66. Let w = -137 - -134. Is 10 a factor of k(w)?
False
Let q be ((-48)/(-36))/(4/15). Suppose q = -3*i - 10, -y = 5*i - 95. Is y a multiple of 45?
False
Let q(h) = h**3 - h**2 + 152*h + 16765. Is q(0) a multiple of 7?
True
Let u(j) = 16*j**2 - 27*j + 81. Is 21 a factor of u(9)?
True
Let t be (-1)/(-2) - 81/6. Let v(y) = 2*y + 120. Let o be v(-40). Let s = o - t. Is 24 a factor of s?
False
Suppose 3*y = -3, -3*b - 6*y = -3*y - 2301. Let j = b + -320. Is j a multiple of 28?
True
Let t = -20104 - -35368. Is t a multiple of 80?
False
Let t(k) = -k**2 + 25*k - 35. Let j be t(24). Is 26 a factor of 460 - (j + 15/5)?
True
Suppose -g = -b - 781, -4*b - 2*g - 918 = 2206. Let w = -486 - b. Is 8 a factor of w?
False
Let v(f) = 1160*f + 926. Is v(5) a multiple of 6?
True
Let i(o) = 11*o**3 - o**2 - 5*o + 1. Let x be i(4). Suppose 0 = -3*k - 3*t + 9, -3*k - 4*t - 1 = -10. Does 3 divide 2/15 + k/(135/x)?
True
Let h(d) = 12*d + 41. Let i = 109 - 78. Is h(i) a multiple of 59?
True
Suppose -32 = 2*a + 100. Let o = 186 + a. Is 20 a factor of o?
True
Let b(j) = -4*j**2 + 11*j + 2. Let o(p) = 2*p**2 - 5*p + 1. Let l(a) = -3*b(a) - 5*o(a). Let f be 7/(-2 + 1 + 2). Is 9 a factor of l(f)?
False
Let b(l) be the second derivative of -38*l**3/3 + 2*l**2 + 9*l. Suppose 49 = 7*h + 63. Does 13 divide b(h)?
True
Suppose 13*d - 5*d = -808. Let t = 514 + d. Is t a multiple of 23?
False
Is 19 a factor of -29 - -4106 - (-4)/(-3)*-6?
True
Let b = 10 + -2. Let w(i) be the first derivative of 7*i**2/2 - 26*i - 38. Is w(b) a multiple of 4?
False
Let g = 16876 + -7876. Does 50 divide g?
True
Suppose -805*t = -839*t + 280704. Does 48 divide t?
True
Suppose 0 = -339*d - 3467195 + 1734954 + 11513747. Does 21 divide d?
True
Let g(x) = x + 6. Let v be g(-4). Suppose 2*s + s - 9 = -5*c, 5*c - 6 = -v*s. Let u(i) = -i**2 + i + 70. Does 14 divide u(c)?
True
Let p be 1 + (1 - -4) + 2. Suppose p*k + 4*o = 4*k + 1020, 3*o = -k + 253. Does 32 divide k?
True
Suppose 425 = -38*v + 21*v. Is (v + 38)*(1 - -24) a multiple of 36?
False
Suppose 0 = -u + 3*s + 6014 + 7714, 0 = -3*u - 4*s + 41132. Is u a multiple of 27?
True
Let j be 2/14 + 9935/35. Suppose g = 3*g - j. Does 19 divide g?
False
Let h(r) = 43*r + 258. Let c be h(-8). Suppose -2*n - 3*i = -35, 2*n + 2*i + 0*i - 36 = 0. Let w = n - c. Does 23 divide w?
False
Suppose 15 = -p + 3*c, -4*p + 0*p = -2*c + 10. Suppose 155*d = 161*d - 72. Is (-2)/2*(-72)/d + p a multiple of 3?
True
Suppose 5*k - 2*u - 200 = 344, 5*u = 15. Let i = -53 + k. Is i a multiple of 4?
False
Let b = -3 - -5. Suppose 12 + 20 = b*v. Is 13 a factor of (v/(-12))/((-2)/24)?
False
Suppose 7*i - 4128 = 2*j - 15592, 4*j + 3*i = 23030. Does 12 divide j?
False
Suppose -26*v = -20*v - 108. Is 6/v*12 + 269 a multiple of 21?
True
Let f(p) = p**3 - 23*p**2 - 24*p + 83. Let w be f(5). Let n be -26*((-5)/2)/(-1). Let r = n - w. Is 53 a factor of r?
False
Suppose 272524 = 46*x - 1230618. Is x a multiple of 162?
False
Suppose -2*c = -0*c - 10, -2*w = 2*c - 4. Let k be 2/w*(1044/(-8) + -3). Let z = k + -71. Is z a multiple of 3?
True
Let i(b) = 6108*b**2 - 179*b + 178. Is i(1) a multiple of 12?
False
Suppose -12380 = -2*w - 8*w + 6620. Is w a multiple of 76?
True
Suppose -2*r = 24*r + 2288. Is (-16)/(r/11) - (-1 - 673) a multiple of 52?
True
Suppose d - 5383 = -z, -566*z + 569*z + d - 16141 = 0. Does 191 divide z?
False
Let p = -8919 + 28319. Is 194 a factor of p?
True
Suppose 0 = -8*n + 231 - 47. Suppose 45 = 5*h + 5*z, 7*h - 4*h - n = -2*z. Is 9 a factor of (-8)/(-20) + h/((-50)/(-176))?
True
Suppose 57*p + 3*v - 22 