 550 + (3 + -3 - h) a multiple of 32?
True
Let l(x) = 96*x + 37. Let c be l(16). Suppose s = -3*d + 4025 - c, 3*d = -4*s + 2464. Is d a multiple of 24?
True
Suppose -2*v = -2*d - 1796, -14*v - 3*d - 3595 = -18*v. Let h = -449 + v. Is 11 a factor of h?
False
Let u(b) = -b**3 + 4*b**2 + 5*b - 3. Let s(q) = -3*q + 44. Let d be s(14). Is u(d) a multiple of 5?
True
Let y be (-456)/6*(57 - 16/(-4)). Does 4 divide (-2)/(-9) - y/36?
False
Suppose 29*i + 111 = -63. Let a(p) = -p**3 - p**2 - 5*p + 11. Is a(i) a multiple of 19?
False
Suppose 0 = -202*n + 191*n + 32076. Does 12 divide n?
True
Let d(m) = -7*m**2 + 2*m + 12. Suppose 14 = -2*l - 3*u, l = 4*l - 5*u - 17. Let x(k) = -k**2 + 1. Let w(i) = l*d(i) + 3*x(i). Is w(5) a multiple of 9?
True
Let q(t) = 17*t**2 - 11*t - 30. Let y be q(-7). Does 8 divide 3*(y/(-3))/(-10)?
True
Let s = 27082 + -18265. Is 3 a factor of s?
True
Suppose 637 = -3*j + z - 258, j + 2*z = -289. Let y = j - -636. Does 10 divide y?
False
Is (-2)/3*(-107325)/50 + -8 a multiple of 12?
False
Let s = 1317 - -30483. Is s a multiple of 18?
False
Suppose 3*c - 4*i = 89949 + 18333, -72192 = -2*c + 4*i. Is 15 a factor of c?
True
Suppose -1444 = w - 5242. Suppose 30*q = 12*q + w. Does 7 divide q?
False
Does 23 divide (((-11914)/777)/(4/207))/(2/(-52))?
True
Let s be -13 + 18/72*68. Let p(m) = m - 1. Let k be p(-4). Is (k + 0)/(s/(-24)) a multiple of 2?
True
Is 12 a factor of (-66)/(-462) + ((-37952)/(-14) - (-8)/8)?
True
Suppose 25*b = 23*b + 238. Let p = 168 - b. Is 20 a factor of p?
False
Let x = 6370 + -6104. Let t = 44 + -120. Let a = x - t. Is 19 a factor of a?
True
Let t = -1695 + 3215. Is 10 a factor of t?
True
Does 16 divide 2712 + (72/(-10) - (-11)/((-220)/(-24)))?
False
Suppose -25334 - 4690 = -5*j + 31386. Is j a multiple of 69?
True
Suppose -2*w - 4*v + 1504 = 0, -2*w + 0*w - v + 1510 = 0. Is w a multiple of 36?
True
Suppose o = 11*o - 1130. Let k = -119 + o. Let b(s) = s**3 + 6*s**2 - 6*s - 7. Is 4 a factor of b(k)?
False
Let n = -26 - -31. Suppose 0 = n*q + 9 - 69. Suppose 0 = 8*u - q*u + 208. Is u a multiple of 27?
False
Does 60 divide (-179748)/(-28) + ((-11)/7 - -2)?
True
Let z(b) = 78*b**2 - 9*b + 1. Let f = -435 + 431. Does 88 divide z(f)?
False
Is 38 a factor of (-64)/(-416) + (-97810)/(-13)?
True
Let a(n) = 83*n**2 - 6*n - 7. Does 13 divide a(6)?
False
Suppose -5*x = -4*d - 45 + 8, -2 = 4*d + 2*x. Is 4 + d/(12/(-688)) a multiple of 16?
True
Suppose -3*p - 4 = 17. Does 6 divide 254/((4/(-10))/(p/35))?
False
Suppose 4*n - 1394 = 2*n. Suppose n = 4*a - s + 32, 3*a = 3*s + 510. Does 42 divide a?
False
Let g = -1951 + 3459. Does 8 divide g?
False
Let r be 3 - -3 - 6/(-30)*0. Suppose 0 = r*k + 5*k - 7392. Is k a multiple of 6?
True
Let d be (-4 - (-45)/9)*7. Suppose -d*n + 310 + 2651 = 0. Does 9 divide n?
True
Suppose 48026 = 3*u - 4*k, -40*u + 38*u + 2*k + 32020 = 0. Does 17 divide u?
True
Let f be (-7)/105*-6 + (-32)/5. Let b(q) = -11*q + 27 - 22*q - 5*q**2 - 33. Is b(f) a multiple of 4?
True
Does 197 divide (-1029)/(-686) + 57129/2 + -1?
True
Let r = -796 + 2783. Does 7 divide r?
False
Let s(p) = -17*p + 25. Let o be s(8). Let g = o + 111. Suppose l + 2*l - 2*a = 342, g = 2*l + 4*a - 212. Is 11 a factor of l?
False
Suppose t - 2 = -3*s, s = 2*t + 8 + 16. Let o = -125 - t. Does 22 divide -1 - (o - -1 - -3)?
True
Let o = 87 + -176. Let n = o - -372. Is 42 a factor of n?
False
Let i(s) = 35*s**2 + 121*s - 3. Is 6 a factor of i(-7)?
False
Does 26 divide 104/(10 + -507*(-11)/(-561))?
True
Suppose t - 5*f = -899, -5324 + 849 = 5*t - 5*f. Let l = -498 - t. Suppose -11*o = -0*o - l. Is o a multiple of 12?
True
Suppose 9767 - 185002 = -58*q + 116157. Does 7 divide q?
False
Let r(m) be the third derivative of m**6/24 - m**5/20 - m**4/12 - 2*m**3/3 + 26*m**2. Let u be r(3). Let b = u + 3. Is 12 a factor of b?
False
Let t = 49325 + -34872. Is 287 a factor of t?
False
Let k(y) = -y**3 + 9*y + 6. Let n be k(-4). Let p = n + -32. Suppose 3*l + p*l + 33 = m, -m - 2 = 2*l. Does 8 divide m?
True
Let u be (1 - -1113)/((-86)/172). Let r = u - -3578. Does 50 divide r?
True
Suppose -405*i + 1849 = -450*i + 10534. Is i a multiple of 5?
False
Is 33 a factor of (-24)/4 + 1 + (4304 - -2)?
False
Let j = 9170 - -738. Is 124 a factor of j?
False
Let y(s) = s**3 + 10*s**2 - s - 5. Suppose 0 = 10*d + 84 + 16. Let n be y(d). Suppose 4*k + 116 = n*i, 5*i + k - 104 = 2*k. Is i a multiple of 10?
True
Let a = 3725 - 5493. Is 21 a factor of 95/35 + -3 + a/(-14)?
True
Let k(f) = -2*f**2 + 2*f - 4. Let z be k(0). Let h(q) = 11*q + 85. Is h(z) a multiple of 13?
False
Suppose -17*p + 29*p + 476 = -22*p. Let y(z) = 24 + 2*z**2 + 4*z - 7*z + 18*z. Is y(p) a multiple of 21?
False
Suppose -11*l = -14*l. Let o(b) = -b + 335. Let g be o(l). Suppose -4*i + 3*x = -g, -i - 4*x + 245 = 2*i. Does 10 divide i?
False
Suppose -35*u - 23889 + 6354 = 0. Let w = u + 908. Is w a multiple of 37?
True
Let a = -5497 + 5550. Suppose 5 = 2*g - 7*g. Let k = a - g. Does 4 divide k?
False
Let b = 19585 - 10578. Is b a multiple of 13?
False
Suppose -5*j + 3*u - 21 = 0, 4*u + 1 + 3 = -4*j. Is j*(13 + -18)*16/15 a multiple of 16?
True
Let p = -766 - -410. Let q = p + 1368. Is q a multiple of 16?
False
Let n = 12119 - 7133. Is n a multiple of 18?
True
Let t = 24 + -4. Suppose 3047 - 167 = t*y. Is y a multiple of 12?
True
Let y(w) = w**3 - w**2 + 13*w + 108. Let v(s) = s**2 - 40*s + 111. Let m be v(37). Is y(m) a multiple of 6?
True
Suppose 3*n = 2*o - 35 - 6, 2*n + 3*o + 36 = 0. Let a = n - -28. Suppose -5*p + 2*u + 8 = 0, 4*p + 4*u - a = -u. Does 2 divide p?
True
Let j(b) = -b**2 - 9*b - 23. Let x be j(-6). Does 7 divide 36556/260 - (-3)/x?
True
Suppose a + 415 - 2330 = 2*m, -2*a + 3*m = -3830. Is 9 a factor of a?
False
Let f = 518 - -191. Is f a multiple of 5?
False
Let v(o) = 44 - 239*o - 1 + 186*o. Is 56 a factor of v(-8)?
False
Let r(z) = z**3 - 24*z**2 + 20*z + 79. Let c be r(23). Let b(x) be the second derivative of x**3/6 - 5*x**2/2 - x. Is b(c) a multiple of 3?
False
Let l(u) = -u**3 + 38*u**2 - 13*u + 117. Is 9 a factor of l(36)?
True
Let r be (-3 - (-8)/4) + 6 + 248. Suppose r*q - 259*q = -2088. Does 12 divide q?
True
Let p(v) = -43*v + 158. Let u be p(-7). Suppose -1709 + 302 = -3*q + 4*m, -q + u = 2*m. Does 15 divide q?
True
Let c(x) = 17*x**2 - 162*x + 244. Is c(31) a multiple of 138?
False
Let v = 77 + -73. Does 19 divide v/14 + (-2510)/(-35)?
False
Let j(w) be the third derivative of -w**6/360 + 19*w**5/120 - 2*w**4/3 + 12*w**2. Let p(k) be the second derivative of j(k). Is 33 a factor of p(-7)?
True
Let r(k) be the third derivative of 17/30*k**5 + 0 + 14*k**2 + 1/2*k**3 + 1/12*k**4 + 0*k. Is 5 a factor of r(-1)?
True
Let z(w) = 24*w**2 + 2*w + 13. Is z(-4) a multiple of 5?
False
Let a be (5 - 8 - -5)/(2/(-26)). Let g(t) = t**3 + 25*t**2 - 34*t + 60. Does 20 divide g(a)?
False
Let f = -41 - 77. Let s = f - -849. Suppose -v = 16*v - s. Is 11 a factor of v?
False
Let x = 11 - 11. Suppose 1767*a - 90 = 1764*a. Suppose x = -5*t - 3*l + 122, -t - 3*l = -a - 4. Is t a multiple of 11?
True
Does 38 divide (-20)/(-5) + -10 + (-107472)/(-7 + -1)?
False
Let m(q) = -54*q - 25. Let l(o) = -52*o - 27. Let x(z) = 6*l(z) - 7*m(z). Is 14 a factor of x(10)?
False
Let b(l) = -5339*l + 3515. Does 257 divide b(-3)?
True
Let l(u) = -6840*u**3 + 2*u**2 - 43*u - 45. Is l(-1) a multiple of 60?
True
Let s(w) = w**3 + 5*w**2 + 7*w + 57. Let x be s(-8). Let a = x + 541. Does 50 divide a?
True
Suppose q = i - 2, 0 = 5*i + 4*q - 7 - 30. Suppose i*r + 10*a + 170 = 5*a, 5*r - 5*a = -170. Let b = 106 + r. Is b a multiple of 19?
False
Suppose 0 = -8*a - 10*a + 3060. Is 3 a factor of 6 + (a - 8 - 5)?
False
Suppose -4*p + 8980 = 4*f, -6*f - 4485 = -2*p - 3*f. Suppose -6*k + p = 11*k. Is 22 a factor of k?
True
Does 48 divide (-2282)/3*(-15)/(-6*84/(-144))?
False
Suppose 8444 = 53*m - 17424 - 844. Is m a multiple of 42?
True
Let f be (-1 + -2)/((-33)/55). Suppose -4*r - 3 = -4*c + 5, -c - 10 = -f*r. Suppose -5*s = 3*d - 205, -2*d = -r*s - d + 123. Does 41 divide s?
True
Suppose 10*i = 19*i - 1116. Suppose 344 + i = 2*l. Is 33 a factor of l?
False
Suppose 3*k - 149 = 10. Suppose -2*s + 277 = 3*v, -s - 218 = -3*v + k. Does 9 divide v?
False
Let z be 3 + (-1)/(-2)*-1*-24. Suppose z + 69 = 3*x. Suppose 2*a = 6*a