v + 1057. Let s = v + -14. Does 37 divide s?
False
Let f = 17 - -29. Let w(x) = -x**3 - 8*x**2 - 12*x - 27. Let a be w(-6). Let h = a + f. Does 11 divide h?
False
Suppose 1880 = 5*n + 5*m, -n - 35*m + 396 = -39*m. Is n a multiple of 15?
False
Let q(k) be the second derivative of k**5/10 + k**4/6 - k**3/3 + k**2 - 9*k. Let c be q(2). Let s = c - 12. Is 10 a factor of s?
True
Does 9 divide (6336/(-240))/(20/(-825))?
True
Let s be (40 - 275)*(-34)/5. Suppose 894 = 28*b - s. Does 20 divide b?
False
Suppose -2*w = -4*f - 33240, -187*w - 83010 = -192*w - 5*f. Is w a multiple of 16?
True
Let u = 3487 + 10028. Is u a multiple of 17?
True
Let l(f) = 667*f**3 - 4*f**2 - 201*f + 599. Does 16 divide l(3)?
False
Let z(q) = -53*q**2 + 5*q - 6. Let f be z(1). Is 51*9/(f/(-40)) a multiple of 17?
True
Let f(m) = 291*m + 5973. Is f(142) a multiple of 15?
True
Is (32 - -4)/(1908/952 - 2) a multiple of 14?
True
Suppose 0 = 3*w - 99 + 90. Let j be (-7*(-3)/12 - w)*-4. Is -2*j*((-54)/4)/9 a multiple of 2?
False
Let m be 33 + 1/(1/(-2)). Let g = m - 34. Is g/2 + (305/(-2))/(-5) a multiple of 29?
True
Suppose -10 = -2*j - 4*x, -2*x - 37 = -3*j - 22. Suppose 3*v + 541 = 5*g, g + j*v - 79 - 18 = 0. Does 2 divide g?
False
Let j(l) = 24*l - 15. Let o be j(4). Let n = 68 - o. Let h(b) = b**2 + 7*b + 41. Does 10 divide h(n)?
False
Let g(q) = q**2 - 18*q + 45. Let a be g(15). Suppose a = -5*s - n + 389, 7 - 4 = -3*n. Does 36 divide s?
False
Suppose 2*y - 27 + 63 = 0. Is (-1 + 1 - -552) + (y - -17) a multiple of 19?
True
Suppose 4*o + 69 - 341 = 2*r, -5*o + 346 = -4*r. Let a = o - 50. Suppose -1677 = -a*z + 3*z. Does 25 divide z?
False
Let z(f) = 9*f + 34. Let i be (3 - 2)*-2 - 780/(-5). Let y = i + -143. Does 19 divide z(y)?
True
Let s = 54 - 10. Suppose 5*d + 2*r = 50, -d - d + s = -4*r. Suppose -d*w = -14*w + 190. Is 24 a factor of w?
False
Let x = 23 + -19. Suppose x*d + c = -20, -2*d + c = d + 22. Let b(y) = -y**2 - 12*y - 13. Is 8 a factor of b(d)?
False
Does 116 divide 139235/20 + 112/(-64)?
True
Let t(q) = q**3 + 77*q**2 - 72*q + 54. Is 18 a factor of t(-77)?
True
Let f be (-6 - -23 - 4)*-29. Let y = f - -533. Is y a multiple of 15?
False
Let g(l) = l**3 + 69*l**2 + 297*l - 145. Does 2 divide g(-64)?
False
Let a(h) = 3*h**2 - 19*h - 10. Let p be a(8). Let i = 32 - p. Suppose 5*f = -i*f + 1232. Is f a multiple of 30?
False
Let b = 13 + -11. Suppose 4 = 4*h - b*u, 3*h - 3*u + u - 2 = 0. Suppose h*g - 7*g = -610. Does 36 divide g?
False
Suppose 44*t = 53*t - 13320. Is 20 a factor of t?
True
Let k(w) = w**3 - 14*w**2 - 31*w + 6. Let b be k(-7). Let u = 1220 + b. Does 51 divide u?
False
Let m(v) = -v**3 + 11*v**2 - 11*v + 13. Let d be m(10). Suppose 3*n = 4*k - 7*k - 855, k - 859 = d*n. Let g = -169 - n. Is g a multiple of 10?
False
Suppose -1289 = -9*v + 25. Let z = 8 + v. Is 6 a factor of z?
False
Let j(t) = t**3 + 15*t**2 + 19*t + 10. Let z(p) = -2*p**3 + p**2 + 2. Let x be z(2). Let w be j(x). Suppose 23*y - 19*y - w = 0. Is y a multiple of 5?
True
Let o(w) = 54*w**2 - 72*w - 57. Is 10 a factor of o(-9)?
False
Suppose 8*h - 8836 + 2756 = 3872. Is h even?
True
Let c be 1 + 10/6 + (-20)/(-15). Suppose -6*v = c*v - 3750. Does 12 divide v?
False
Suppose 3*q - 436 - 4581 = -n, -4*n = -4*q - 20100. Does 30 divide n?
False
Let p(c) = c**3 - 7*c**2 - 2*c - 1. Let q(n) = -n**3 + 19*n**2 - 16*n - 29. Let d be q(18). Let u be p(d). Is 36 a factor of ((-162)/u)/(24/160)?
True
Suppose -159*b - 170 + 3640 = 131. Let o be 160/9 - 4/(-18). Suppose o*x = b*x - 489. Is x a multiple of 15?
False
Suppose 6*r + 8196 = 4*o + 3*r, 5*o + 5*r = 10280. Does 38 divide (7 - (-238)/(-35)) + o/15?
False
Let a(f) = 2*f**3 - 4*f**2 + 5*f - 4. Let j be a(4). Let k = j + -38. Suppose 38*l - k = 37*l. Does 12 divide l?
False
Let g = 216 - 200. Is 7 a factor of ((-1025)/(-2))/(g/32)?
False
Suppose -7*g = -19 - 156. Suppose -2067 = -g*t + 1983. Does 15 divide t?
False
Let g(p) = -p**3 + 20*p**2 + 45. Let t be g(20). Let m = -54 + t. Is 19 a factor of (12/m)/(-4) - (-56)/3?
True
Suppose 2*h + 8274 = 4*n, 485*h = 483*h - 14. Does 21 divide n?
False
Let g = -89 + 145. Suppose -2*u = -4*c + 96, -3*u + g = 3*c - 7. Is c even?
False
Let i(u) = 5*u - 1 - 14*u + u**2 - 19*u - 5. Let b(l) = l**2 - 29*l - 5. Let c(t) = 6*b(t) - 7*i(t). Does 5 divide c(21)?
False
Let t(i) = -26*i - 7. Suppose 0 = 7*c + 9 - 23. Let f be t(c). Let u = f + 155. Does 24 divide u?
True
Suppose 2*g + 1 = 13. Suppose 5*o - 4 = g. Suppose o*u - 6*u + 84 = 0. Is u a multiple of 7?
True
Suppose 331275 = 73*a - 231716 - 295489. Is 21 a factor of a?
True
Suppose 9 = 3*i + 2*l - 78, 0 = -3*i - 4*l + 93. Suppose -5*b + i = 2*p - 85, 5*p - 280 = -3*b. Is p a multiple of 8?
True
Suppose 45*r - 264611 - 212159 = -164425. Is 29 a factor of r?
False
Suppose 2*n - 5*h = 43959, 5*n = -92*h + 97*h + 109845. Does 158 divide n?
True
Let c = -186 - 38. Let a = -185 - c. Is a a multiple of 14?
False
Let p(x) = -5*x + 60. Let t be p(11). Does 30 divide -540*(t + 12/(-2))?
True
Let c be 1/(-1*((-380)/(-188) + -2)). Let f = c - -285. Does 7 divide f?
True
Suppose 0 = -18*j - 64*j + 1368334. Is j a multiple of 12?
False
Suppose q - 54 = 4*j, -18 = 2*j - 7*q + 2*q. Let d(k) = -k**2 - 17*k + 15. Let v be d(j). Let i = v - 20. Does 10 divide i?
False
Suppose -6*i = 5*i - 616. Suppose 20 = -9*n + i. Suppose 0*v + v - 1 = -2*t, n*v - 64 = 4*t. Is v a multiple of 11?
True
Suppose 16920 = 248*l - 598*l + 44920. Let m = -55 + 152. Let j = m - l. Is 4 a factor of j?
False
Let r(s) be the third derivative of 31*s**5/30 - s**4/6 - 3*s**3/2 - 101*s**2. Is r(-2) a multiple of 19?
True
Let k(m) = -76*m - 6. Let a be k(-2). Let h = a + -85. Let u = -7 + h. Does 18 divide u?
True
Let z(w) be the second derivative of -w**8/6720 - w**6/720 - 2*w**4/3 - 11*w. Let n(s) be the third derivative of z(s). Is 4 a factor of n(-2)?
False
Let p(w) = 3*w**2 + 18*w - 29. Let a(x) = x**2 + 10*x - 15. Let y(m) = -7*a(m) + 4*p(m). Let o(b) = -2*b**2 + 2*b - 3. Let s be o(2). Does 50 divide y(s)?
False
Let f be (-8)/10 + 87/15. Suppose 0 = -f*m + 6*m - 4. Let k(j) = 2*j**2 + 3*j + 10. Does 6 divide k(m)?
True
Let g be 3*(0 - (-4 - (-2 - 1))). Suppose j + g*l - 43 = 5*j, -3*j - 5*l - 25 = 0. Is 2 a factor of 10/25 + (-316)/j + 1?
False
Let r be 3*(-6)/45 + (-1164)/(-10). Suppose -88*j + r*j - 20804 = 0. Is 78 a factor of j?
False
Suppose -3*v + 16975 + 4007 = -3*p, -3*v - 4*p + 20968 = 0. Does 16 divide v?
True
Let h = 67 - 63. Let d(m) = -6*m**3 - 2*m - 1. Let l be d(-1). Suppose -3*c = h*b - 132, 3*b + 44 = c + l*b. Is 11 a factor of c?
True
Suppose 109*g = 80*g + 125541. Does 22 divide g?
False
Suppose 392 = -40*p - 9*p. Does 5 divide (994/p)/(8/(-32))?
False
Suppose -5*y - 5*j + 14533 + 5432 = 0, 19992 = 5*y - 4*j. Is y a multiple of 27?
True
Let x(o) = -27*o + 16 - 24*o + 50*o. Let t be x(8). Is 3*-2*t/(-3) a multiple of 4?
True
Let z(u) = -u**3 + 12*u**2 - 11*u - 156. Let h be z(15). Suppose 2*f + 2 = -6. Is (f/(-6))/((-8)/h) a multiple of 12?
False
Suppose -780 = -9*h + 498. Let d = 135 - h. Let o(t) = -2*t**2 - 21*t - 10. Does 39 divide o(d)?
True
Let f be (-2)/(-1 + 2) - (5 - 188). Let k = f - 121. Is k a multiple of 15?
True
Suppose 3*a - 6534 = -444. Suppose -10*z - 210 = -a. Is z a multiple of 5?
False
Let r = -23 + 35. Let c be (21 + -15)*80/6. Suppose -c = -r*v + 64. Is v a multiple of 9?
False
Let l be -44 - (5 + 32/(-6))*3. Let h = l + 47. Is 4 a factor of h?
True
Suppose 5*h + 0*h + 5*v - 55 = 0, 4*h + 2*v = 46. Suppose -h*r = -14*r. Suppose 2*m = 2*i - 204, r = 2*i + i + 5*m - 322. Is i a multiple of 13?
True
Suppose -3*u = 21*n - 19*n - 1296, -n + 644 = 2*u. Does 4 divide n?
True
Suppose 239*i + 1206095 = 294*i. Is 47 a factor of i?
False
Let o = -18547 + 30969. Does 70 divide o?
False
Let v = -74 + 76. Suppose 3*s = -m + v*m + 934, -s = -m - 314. Is 31 a factor of s?
True
Suppose 67*i = 1726947 + 5195246 - 1686880. Does 11 divide i?
False
Suppose 24480 = 5*j - 5*h, -4*h = 6*j - 3*j - 14653. Is 67 a factor of j?
True
Let n = 14 + -14. Suppose 7*k - 6*k - 2 = n. Is 51 + (-1 + k)*-4 a multiple of 11?
False
Let f be (3 + 7)*(-7)/14. Is f/(-3) - 2584/(-12) a multiple of 31?
True
Does 50 divide 307374/48 - (-110)/(-176)?
False
Suppose 1 - 8 = p + 2*g, 4*p + 4*g + 8 = 0. Suppos