v + 0*v + 50 = 0. Suppose -m + z - 5 = 0. Is m a multiple of 20?
True
Let y be -2 + (-24)/(-14) + 48862/154. Suppose -4*r + 3*b = -y, -18*r + 14*r = 2*b - 342. Is r a multiple of 9?
False
Let j be 25/(2 - (-9)/(-6)). Suppose 5*m = -3*h + 2*h - j, 2*m - 10 = 0. Let s = 136 + h. Is 11 a factor of s?
False
Let q(y) be the third derivative of -y**4 + y**3/6 + 44*y**2 - y. Let s be -4 - -1 - (7 - 5). Does 30 divide q(s)?
False
Suppose 4*h - 25983 = 4*m - 5555, 4*h + 4*m - 20356 = 0. Is 69 a factor of h?
False
Let o(a) = -2*a**2 + 73*a - 5. Let j be o(6). Let i(x) = x**2 - 6*x + 1. Let q be i(6). Is (j - 0) + -1*q a multiple of 36?
True
Let i = -362 + 630. Let p(z) = -2*z + 62. Let r be p(12). Suppose -i = -4*h - 4*q, -3*q + 287 + r = 5*h. Does 19 divide h?
False
Let i = 42088 + -23046. Does 270 divide i?
False
Let n = 24873 + -11205. Is n a multiple of 17?
True
Let r(f) = 0*f**2 + 42*f - 25*f + 44 - 14 - f**2. Let p be r(14). Does 7 divide (-1 - -8)/((4/p)/1)?
True
Suppose -3*i + 5*b - 19 = 0, -4*i - 4*b - b = -33. Suppose -4*r + 23 = 3*n, -r - 4*r = i*n - 34. Suppose 3*h - r*h = 4*k - 39, -3 = -h. Is 3 a factor of k?
True
Suppose -5*w = 5*d - 1575, 111*w - 107*w - 630 = -2*d. Does 9 divide d?
True
Let g = -199 - -291. Suppose 588 = 194*w - 208*w. Let p = g + w. Does 10 divide p?
True
Suppose 3*x - l = 19281, 10*x - 9*x + 4*l - 6414 = 0. Is x a multiple of 17?
True
Suppose 1775*y = 1774*y + 564. Is y a multiple of 12?
True
Suppose 4*p - 245 = -97. Let m = p + -37. Suppose -11*c + 969 + 296 = m. Does 21 divide c?
False
Let f(c) = c**3 + 3*c**2 - 11*c - 12. Let h be f(-7). Let g = 120 + h. Does 51 divide (0 - -149) + (g - -15)?
True
Let q = 43556 + -19509. Is 173 a factor of q?
True
Let s(r) = 724*r**2 - 14*r + 148. Is 75 a factor of s(6)?
False
Suppose -1661 = -8*a + 3*a + 3*w, -3*a + 2*w = -996. Suppose 2*t + 3*d + 119 - 285 = 0, 0 = 4*t + 5*d - a. Is t a multiple of 8?
False
Let z(q) = -3569*q + 780. Does 32 divide z(-4)?
False
Suppose 0 = -2*b + 75 - 479. Let m = 571 + b. Suppose t - 3*l + m = 3*t, 4*t - 759 = l. Is 27 a factor of t?
True
Let q be (-32)/(-7) - 184/322. Suppose 0 = -2*v + w + 350, 2*v + 5*w - q*w = 346. Is 8 a factor of v?
False
Let k(f) = -f**3 - 13*f**2 + 18*f + 19. Let v be k(-15). Suppose -5*u + v = -161. Suppose -q = -3*p - u, -1 = -2*q - 4*p + 123. Is q a multiple of 15?
False
Suppose 0*x - i - 10 = -3*x, -5*i - 12 = 4*x. Let u be (-24)/(-9)*3/x. Suppose u*z = 3*z + 57. Is 12 a factor of z?
False
Suppose 49*f = 45*f + 2192. Suppose 19 = 4*s - 1. Suppose -2*q + s*q - 3*n - 405 = 0, 4*n = -4*q + f. Is q a multiple of 23?
False
Let a(r) = 36*r**2 + 8*r + 39. Is 33 a factor of a(-3)?
False
Let l(h) = -2*h**2 - 41*h - 24. Let o be l(-21). Let b = 114 + o. Is b a multiple of 2?
False
Let i be -7 - 9/1*-1. Suppose 0 = d - 5*d + 16. Suppose -26 = -z + 5*p, -i*z + 21 = -d*p - 13. Does 11 divide z?
True
Let k(r) = 240. Let y(t) = -2*t + 1. Let v(s) = -k(s) - 4*y(s). Does 4 divide v(34)?
True
Let x(k) = -33 + 92 + 6*k + 8*k**2 - 27. Does 40 divide x(-6)?
False
Let s(y) = -1. Let u(c) = -26*c - 14. Let j(i) = 3*s(i) + u(i). Let b be j(-2). Let a = 1 + b. Does 5 divide a?
False
Suppose -6*y - 4*i = -9*y + 872, 3*i - 3 = 0. Suppose y*l - 7475 = 279*l. Is 23 a factor of l?
True
Suppose 4*i + 52306 = 4*q - 31226, -4*q = -5*i - 83540. Is 125 a factor of q?
True
Let r(o) = 16*o - 24. Let d be r(-7). Let k = d + 132. Does 21 divide (-6310)/(-20) + 2/k?
True
Let n(d) = 5*d**2 - 72*d + 1099. Is 32 a factor of n(-59)?
True
Suppose -2 = 3*t + 4*w, 7*t - 5*w + 44 = 3*t. Is 13 a factor of 2 - 698/t*3?
True
Suppose 342*o - 19838 = 335*o. Is o a multiple of 13?
True
Let g be (30/40)/((-12)/(-176)). Suppose g*o = 2720 - 256. Does 32 divide o?
True
Let w(j) = -2*j**3 + 48*j**2 - 12*j - 43. Is 3 a factor of w(18)?
False
Suppose -44*t + 69223 - 20106 = -123055. Does 43 divide t?
True
Let z(k) = 11*k**2 - 329*k - 176. Does 22 divide z(57)?
False
Suppose -219729 - 225023 = -30*w - 14*w. Is w a multiple of 133?
True
Let w be (4/7)/((-96)/(-42) - 2). Suppose -2*r - 4*p + w = -2, 5*p = 3*r - 28. Is r a multiple of 6?
True
Let u = -5405 - -10365. Suppose -25*l + u = 1385. Is l a multiple of 11?
True
Does 68 divide (-1 + -1)/(4/(-2778)*(-105)/(-140))?
False
Let k = -612 - -612. Suppose s + 2*s - 281 = 2*i, 5*s - 4*i = 465. Suppose k = -3*l - 1 + s. Is 9 a factor of l?
False
Let v(k) = 16*k - 14. Let a be v(2). Let l be (1 - 75/(-9))*a/12. Does 29 divide (-4260)/(-21) + 2/l?
True
Let t(o) = 4*o + 63. Let r be t(-16). Let m be 405/20*(r - (-26)/(-6)). Let a = m + 251. Is a a multiple of 39?
False
Let c = -5453 - -5845. Does 4 divide c?
True
Let a be (8 - 0) + 15 + 1075. Let k = a + -552. Does 39 divide k?
True
Let h(n) = 24*n**2 + 8*n + 11. Let m = 77 - 81. Does 33 divide h(m)?
True
Suppose 377*b - 59*b = -216*b + 21271890. Does 9 divide b?
False
Let j = 12171 - -231. Is j a multiple of 6?
True
Is 20/(-6)*222288/(-2105) a multiple of 32?
True
Suppose 0 = 3*m + 2491*o - 2494*o - 180987, -2*o - 60328 = -m. Is 17 a factor of m?
False
Does 68 divide 25286/6 - (-10 - (-75)/9)?
True
Suppose 1 = 5*d - u, 18 = -5*d + 5*u + 3. Let y be 4 + -8 - 41/d. Is (56/21)/((-1)/y) a multiple of 33?
False
Let j(l) be the third derivative of -17*l**6/60 + l**4/8 + l**3/2 + l**2. Let b = -2569 + 2568. Is 34 a factor of j(b)?
True
Let m(o) = -1566*o + 248. Does 101 divide m(-9)?
True
Let l(p) = 3*p**2 - 7*p + 22. Suppose -3*y - 10 = a + 12, 0 = -2*a + 5*y + 11. Is l(a) a multiple of 15?
False
Suppose 0 = -3*u - 3*c + 18924, u - 9083 = -5*c - 2783. Does 5 divide u?
True
Let w be 14/63 + (-124)/(-9). Is 15 a factor of 8 - (-2149)/w*2?
True
Suppose -3*m + 427 + 659 = 0. Let q = -285 + m. Is 11 a factor of q?
True
Suppose -29*f + 12*f + 2414 = 0. Does 12 divide f*11/10 - (-80)/(-400)?
True
Let i(q) = 189*q**2 - 86*q - 1012. Is i(-12) a multiple of 8?
False
Let m = -51 + 18. Let h = 36 + m. Suppose 200 + 94 = h*l. Is 7 a factor of l?
True
Let n(s) = -135*s**2 + 3*s - 5. Let y be n(2). Let d = 195 + y. Let z = 493 + d. Is z a multiple of 29?
False
Suppose -3*f + 8*f = -4*i + 17, 3*f - 11 = -2*i. Suppose -4*o = -3*q + 26, -2*q - 49*o + 48*o - 1 = 0. Suppose p = b + 8, -f*b = -p - q*b. Is 4 a factor of p?
True
Let y = 2436 - -27263. Is y a multiple of 124?
False
Let f = 58 - 158. Let k = f - -116. Is 2 a factor of k?
True
Suppose 33*b + 4 = 34*b. Does 22 divide (98*(-5)/b)/(35/(-70))?
False
Let k = 7721 + 16969. Is 46 a factor of k?
False
Let c be -46 - (-1 - -3 - 3). Let h = c - -6. Let f = 63 + h. Is 12 a factor of f?
True
Suppose 14*v - 10*v = 9020. Suppose 35*l + v = 46*l. Does 16 divide l?
False
Suppose 0 = -c + 3 - 0, -g + 2*c + 2 = 0. Suppose -g*x + 26 = -14. Does 56 divide x + -2 + (0 - 6) - -283?
True
Is 1/(-4) + (385035/20)/7 a multiple of 25?
True
Let p = -363 - -365. Let d(o) = 106*o**2 + 5*o - 8. Is 45 a factor of d(p)?
False
Let w(c) = -6*c + 126. Let p be w(-30). Suppose -5*l - 973 = -3*g, -2*l + p = g - 0*l. Is 32 a factor of g?
False
Let j be (-153)/(-8) - (-3)/(-24). Suppose -j*y = -20*y + 4. Suppose -y*x = -7*x + 768. Is 32 a factor of x?
True
Suppose -4*f + 3*p = 3278, 46*f + 5*p + 3294 = 42*f. Let c = -655 - f. Is c even?
True
Does 109 divide 1753719/1463 - (-4)/14?
True
Let c(t) = 4*t**2 - 76*t - 24. Let d(i) = -i**2 + 23*i - 70. Let f be d(18). Is c(f) a multiple of 8?
True
Suppose 0 = 7*y - 3*y - 12. Let l(a) = 2*a - 4. Let h be l(y). Suppose 12*n = h*n + 3220. Is n a multiple of 46?
True
Let h(t) be the first derivative of -t**2 + 28*t + 6. Let f be h(10). Is f/(-32) + (-1767)/(-12) a multiple of 49?
True
Let p(u) = u**2 - 4*u + 15. Let n be p(6). Let q = n - 27. Suppose 106*t - 110*t + 160 = q. Does 16 divide t?
False
Is 33 a factor of (-4)/2 - 172/6*73170/(-180)?
False
Let h be 4/14 + 96/56 - -4. Suppose -h*l - 112 = -13*l. Is l a multiple of 10?
False
Is (-3 + 14/6)*(11 + (9 - 11102)) a multiple of 61?
False
Let b(z) = -z**2 - 12*z + 61. Let v be b(-13). Does 7 divide -28*-122*6/v?
True
Let h(s) = 2*s**2 + 40*s + 16. Let r be h(-18). Let q = r + 58. Is 18 a factor of q/(-7) + (-18370)/(-154)?
False
Let y(x) = 55 + 20*x + 22*x - 79*x - x**2. Is y(-35) a multiple of 25?
True
Let g(d) = 273*d**2 + 16*d + 19. Let o be g(6). Suppose 6*y = o - 2221. Does 15 divide y?
F