 p(s)?
False
Let q = 277 + -274. Suppose 1386 = 13*t - 8*t - q*a, -270 = -t - 3*a. Is t a multiple of 23?
True
Let t be ((-116)/((-20)/5))/((-2)/(-120)). Suppose -15*y + 300 = -t. Is y a multiple of 11?
False
Let d = 2865 + 5363. Is 22 a factor of d?
True
Let b = -94 - -30. Let t = b + 67. Suppose -t*x + 217 = -68. Is x a multiple of 19?
True
Let w be (-8)/(-44) - 1215/(-33). Let c = 432 + -283. Suppose -2*g - w = -c. Is 15 a factor of g?
False
Let n be -1*((-396)/(-7) - 56/98). Is 44 a factor of 7/n*-3 - 1757/(-8)?
True
Let x(l) = l**2 - 5*l + 2. Let j be 4 - (-354)/18 - 1/(-3). Let s be (-2 - j/(-10))/((-4)/40). Is x(s) a multiple of 10?
False
Let w(s) = -291*s + 9202. Does 28 divide w(22)?
True
Suppose 27*w - 24*w = 69. Let d(k) = 3*k - 53. Is d(w) a multiple of 3?
False
Let l(z) = -z + 2. Let m be l(-3). Suppose 5255 = 5*u + m*v, -9*v - 9 = -12*v. Does 30 divide u?
False
Let x = -4138 + 4952. Is 62 a factor of x?
False
Let b(l) = 3*l**2 + 20*l + 317. Is b(-21) a multiple of 40?
False
Let o be 413/118 + (-1)/(-2). Suppose o*x + 5*c - 1081 = 0, 4*x - 4*c - 1300 = -x. Does 7 divide x?
False
Suppose 3*n + 45726 = 3*l, 5*l - 45*n - 76230 = -50*n. Does 206 divide l?
True
Suppose -d - 2*b = -12553, 0 = -4*d - 4*b + 55643 - 5459. Is 54 a factor of d?
False
Suppose 0 = 5*q - h - 124, -3*h + 5*h = -8. Is 24 a factor of q?
True
Suppose 4*v - 994 = -3*f, -v - f + 248 = -0*v. Let n = v - 50. Suppose 5*r = -5*y + 2*y + n, 0 = -4*y. Is r a multiple of 8?
True
Let n(d) = 36*d + 24. Let i be n(1). Suppose -67*s + i*s = -1176. Is s a multiple of 11?
False
Is 9 a factor of (118/(-5))/(-4 - 5/(2250/(-1798)))?
True
Let o = -1123 - -2118. Is 13 a factor of o?
False
Let y(w) = 37*w - 205. Let o be y(6). Suppose 3*m = -k + 146, -o = k - 22. Does 5 divide m?
False
Let j(m) = -6*m**3 - 2*m**2 - m + 4. Suppose 4*o = k - 11 - 2, -2*k + 16 = -3*o. Let n be j(o). Is 2*n + (-7 - -3)/(-4) a multiple of 14?
False
Suppose 6 = 4*p - 14. Let n = -20 - p. Let a = n - -28. Is a a multiple of 2?
False
Let l be 84/16 + (-1)/4. Let z be (-1384)/(-6) + -2 - (-2)/(-3). Suppose -l*s + z = -3*s. Is s a multiple of 19?
True
Let f = -1135 - -2131. Suppose 200 = 4*x - f. Does 13 divide x?
True
Let g = 16973 + -5838. Does 17 divide g?
True
Let q = -472 - -462. Let v(t) = 5*t**3 - 14*t**2 + 13*t - 6. Let c(r) = 4*r**3 - 13*r**2 + 13*r - 6. Let j(h) = 6*c(h) - 5*v(h). Is 17 a factor of j(q)?
False
Let d = -88 + 25. Let y = -128 - d. Is 6 a factor of 126/4 + y/(-26)?
False
Let b(i) be the third derivative of 7*i**4/12 + 37*i**3/6 - 9*i**2 - 3. Is b(2) a multiple of 15?
False
Suppose 5*i - i = -336. Suppose 2*d - y = -239, -4*d - 239 - 233 = 4*y. Let c = i - d. Is 5 a factor of c?
True
Suppose 38623 - 10300 + 20022 = 11*i. Is 2 a factor of i?
False
Let s be -6*((-210)/112)/(9/4). Suppose -s*g - 4575 = -4*i, -3*g - 583 = -i + 559. Is i a multiple of 26?
False
Let z(v) = -28*v**2 - 4*v + 12. Let j be z(2). Let s = j - -197. Suppose u = -b - 2*u + s, 2*u - 198 = -2*b. Is 13 a factor of b?
True
Suppose -8992 = -2*i + 2*s, 3*i + s - 4462 - 9038 = 0. Is i a multiple of 83?
False
Suppose -6*c + 4*s = -4*c - 564, s = -3*c + 832. Is 23 a factor of (c/6 + 1/(-3))*5?
True
Let q = 780 - 1843. Suppose 4*v + 91 = -77. Is 19 a factor of (-6)/v + q/(-7)?
True
Let z(v) = -47*v**3 + 2*v**2. Let y be z(-2). Let t(h) = -14*h - 238. Let g be t(-17). Suppose g = 4*l + 12*l - y. Is 3 a factor of l?
True
Let l(h) = -2 - 4*h - 2*h + h - 5*h**2 - 2*h**3. Suppose 12*v = 14*v + 6. Is l(v) a multiple of 11?
True
Let r(v) = 114*v**2 + 5. Let h be r(3). Suppose 7*s - h - 1062 = 0. Does 13 divide s?
True
Suppose -17994 = -t - s, t - 142*s = -137*s + 17970. Is 10 a factor of t?
True
Let b be ((-3)/2)/(186/(-496)). Does 12 divide 954/b*(-16)/(-3)?
True
Let b(u) = 4*u**2 + 7*u - 36. Let n(o) = 2*o + 1. Let p(l) = 4*l**2 - 4*l - 41. Let f(j) = 6*n(j) + p(j). Let t(y) = -2*b(y) + 3*f(y). Does 5 divide t(4)?
False
Let s(h) = 332*h - 513. Does 109 divide s(18)?
False
Let c be (2 - -1) + 287*(-5 + 3). Let d = c + 658. Is 10 a factor of d?
False
Let r(b) = -b**2 - 31*b - 49. Let d be r(-29). Let t(z) be the second derivative of 7*z**3/6 - 13*z**2/2 + 4*z. Does 25 divide t(d)?
True
Let z = 22826 - 8262. Does 44 divide z?
True
Let n be ((-12)/(-1 - -3))/((-1)/7). Suppose 49*h - 47*h = n. Let y = h - -56. Is y a multiple of 11?
True
Let r(w) = -1707*w + 25. Is r(-4) a multiple of 11?
True
Let p(h) = h**3 + 9*h**2 - 23*h - 9. Let x be p(-11). Let o be (-121)/1 + x*(-9)/(-6). Let q = o + 197. Does 7 divide q?
False
Suppose 6*z - 32 + 32 = 0. Suppose -61 = -j - 4*y + 177, j - 5*y - 202 = z. Suppose -t + 50 = -g, -3*t = 2*t + 2*g - j. Is 13 a factor of t?
False
Let d be (-360)/(-12) + (-2)/1 + -1. Suppose -d - 21 = -v. Suppose 12 - v = -5*f + 2*t, -f = -2*t - 4. Is f a multiple of 4?
True
Let i be (-50)/(-15) + (-2)/6 - -278. Let c = i + -141. Is c a multiple of 14?
True
Is 20237 - (-132)/(-12) - 7 a multiple of 38?
False
Let i(x) = x**2 - 23*x - 135. Let a be i(-5). Is 59 a factor of (a + (-740)/28)*-49?
False
Is 10 a factor of ((-21591)/(-6))/(18/12)?
False
Let b(f) = f - 1. Suppose 3*s = 26 - 14. Let r be b(s). Suppose -2*p = -2*t - 20 - 14, 0 = -5*p + r*t + 91. Is 6 a factor of p?
False
Let f = -718 + 758. Does 2 divide f?
True
Suppose 152 = 2*b - 4*a, 3*a - 7*a = -16. Is b a multiple of 12?
True
Let u = 326 - -2000. Is u a multiple of 11?
False
Let y = 747 - 744. Suppose 2*a = a, 5832 = 4*z - y*a. Does 18 divide z?
True
Let d(z) = 7*z - 4 + 2*z**2 + 4*z**2 + z**3 - 28*z. Is d(-8) a multiple of 9?
True
Let l(j) = -4*j**2 + 4*j - 11. Let g be l(-9). Let n = 407 + g. Is 4 a factor of n?
True
Let f(m) = m**3 - m**2 + 2*m + 3. Let r be f(-3). Suppose 0 = -2*w + 8, 4*n - 9*w + 13*w = 244. Let d = n + r. Is 7 a factor of d?
False
Let r be (-6)/(-16)*4*2. Let m be (r/2*2)/((-1)/(-2)). Is 9/((-135)/(-10)) + 704/m a multiple of 6?
False
Let h be (0 - 3143)/(-8 + 4 + 3). Let s = -1928 + h. Is s a multiple of 27?
True
Suppose -q + 377 = -4*g + 347, 15 = q - g. Is q a multiple of 10?
True
Let c be (-6)/4 + 135/30. Suppose -l + 2462 = 3*l + 5*k, -3*l - c*k = -1845. Does 7 divide l?
False
Suppose 4*c + 2 = -2*j + 4*j, 5*c - 2 = 4*j. Let f be (1 + (-7)/3)/(1/j). Suppose u + f*h - 9*h = 58, 2*u - 3*h - 102 = 0. Is u a multiple of 17?
False
Let o = -306 + 96. Suppose 3160 = 45*p - 37*p. Let y = p + o. Is 29 a factor of y?
False
Let h = -1763 + 5943. Does 44 divide h?
True
Suppose -4338 = -a + 3*d - 6*d, 2*a - 8616 = 4*d. Is a a multiple of 18?
True
Let k(g) be the third derivative of -g**6/120 + g**5/15 - g**4/8 - g**3/2 - 82*g**2 + 1. Does 4 divide k(-4)?
False
Suppose 0 = 8*m + 2*m - 2730. Is (m - 1)/4 - 5 a multiple of 3?
True
Let c be ((-8)/60 + 4/3)*5. Let k(f) = 7*f**2 - 11*f + 36. Does 4 divide k(c)?
False
Let w(j) = 114*j**2 + 151*j + 761. Does 56 divide w(-5)?
True
Suppose 7 = 4*o - 25. Suppose 4*i + 40 = o*i. Is 2 a factor of i?
True
Let u = 205 - 105. Let g = u + -91. Suppose 246 = g*y - 7*y. Is 43 a factor of y?
False
Is 16918 - 10/2 - -7 a multiple of 24?
True
Let g = 255 - 229. Suppose g*c - 4908 = 14*c. Is c a multiple of 8?
False
Let l = 292 - 260. Does 5 divide ((-984)/l)/((-12)/128)?
False
Let m = -3325 + 7001. Suppose 0 = -10*k + m + 2264. Is k a multiple of 11?
True
Suppose -84*b = -77*b - 41930. Does 10 divide b?
True
Let x(c) = c**3 - 13*c**2 + 14*c - 25. Let h(j) = -j**3 + 6*j**2 + 10*j - 9. Let i be h(7). Let d be x(i). Does 31 divide (3 + -1)/(d/2) + 189?
False
Let q = -26276 - -26612. Is q even?
True
Let c(h) = 4*h**2 + h. Let n(i) = 20*i**2 + 47*i - 51. Let p(y) = 7*y**2 + 16*y - 17. Let q(b) = -6*n(b) + 17*p(b). Let w be q(-11). Is c(w) a multiple of 15?
True
Suppose g + l = 5, 3*l = 3*g - 6 - 9. Suppose -m - 800 = -g*m. Does 25 divide m?
True
Suppose 0 = 25*v - 22*v - 5*w - 757, -4*v + 1084 = 4*w. Is v a multiple of 4?
True
Let l(j) = 215*j**3 - 5*j**2 + 7*j - 2. Let b be l(1). Let z = b - -376. Is 71 a factor of z?
False
Suppose -c + 152 + 2536 = 0. Suppose -3*m + c = m. Suppose -x - 15*x = -m. Is x a multiple of 3?
True
Suppose 384*g - 344 = 376*g. Suppose -5 - 5 = -5*m. Suppose g = m*q - 21. Is q a multiple of 14?
False
Suppose -14 = -2*c - 0*q - 4*q, 5*c + 5*q = 30. Suppose -c*y = b - 8, -60 = -3*b + 3*y + 36. Is 