 divide -1 + (-1218)/(-2) - (-36)/9?
True
Let r = -170 + 458. Is r a multiple of 36?
True
Suppose 3*l - 7*l = -6300. Suppose 3*t - l = -0*t. Suppose -r = -6*r + t. Is 35 a factor of r?
True
Suppose -16*w = -9*w - 2191. Is w a multiple of 7?
False
Let b = -2 - -3. Let k be (-2 - (-2)/4)*(-224)/24. Is 7 a factor of b/(-4 - (-58)/k)?
True
Let d = 192 + -6. Let q = d + -141. Does 3 divide q?
True
Let m be 3 + -2 + 0 + -6. Is 18 a factor of m - -6 - (-157)/1?
False
Suppose -506 = -14*n + 292. Is n a multiple of 13?
False
Let r(c) = 24*c**2 + 2*c - 32. Is 109 a factor of r(5)?
False
Suppose 11*n = 6*n - 2*a + 9326, -3*n - a + 5596 = 0. Does 6 divide n?
True
Let s = 37 - 32. Suppose 120 = -s*z + 8*z. Is z a multiple of 40?
True
Suppose -18020 = 158*a - 162*a - 2*n, 0 = -4*n. Is 85 a factor of a?
True
Is 7 a factor of ((-496)/48)/((-4)/84)?
True
Let y(d) = d**3 - 27*d**2 + d - 32. Let s be y(27). Is 28 a factor of (35 - -13)/((-1)/s)?
False
Let a(u) = 2*u**2 + 11*u + 8. Let b be a(-4). Is (-1890)/75*50/b a multiple of 15?
True
Let h(n) = n**3 + 7*n**2 + 4. Does 8 divide h(-6)?
True
Suppose 0 = 11*h + 1976 - 11227. Is h a multiple of 18?
False
Suppose -z - 3*z = 220. Let t = 2 + 0. Is ((-154)/z)/(t/20) a multiple of 11?
False
Suppose 2*k - 6*k = -20. Suppose 2*i = -u + 5, -3*u + 7 = -i + k*i. Suppose 129 = 3*l - i*m, 5*l - 6*m - 207 = -2*m. Is 13 a factor of l?
True
Does 13 divide (23/(-2))/(20/(-520))?
True
Suppose 40*n - 2*x = 38*n + 4018, -10017 = -5*n - 2*x. Does 108 divide n?
False
Let u(x) = 60*x - 2. Let d be u(3). Let p = -66 + d. Is (24/(-14))/((-8)/p) a multiple of 7?
False
Suppose -5*r - 2*j - 2461 = -7685, 5*j = r - 1061. Does 6 divide r?
False
Is 7 a factor of -33 + 36 - (-2341)/1?
False
Let i = 94 + -549. Let b = -311 - i. Does 25 divide b?
False
Suppose -3*o - 2*m - 197 = 24, 0 = -2*o - 5*m - 162. Let k = o - -224. Does 67 divide k?
False
Let k(o) = 79 - 129 - 25*o + 68. Is 23 a factor of k(-5)?
False
Suppose -2*i + 4 = -0. Suppose 4*o - 15 = -0*y - 5*y, 2*o + 9 = 3*y. Suppose -165 = -i*s + y*p - 21, -4*p = 0. Is s a multiple of 24?
True
Suppose 2*w = 114 - 6. Suppose 2104 - 2308 = -2*u. Let m = u - w. Is 12 a factor of m?
True
Let f = -110 - -338. Does 6 divide f?
True
Let t = 421 - 272. Suppose -3*u + 387 = 9*c - 6*c, -c = 5*u - t. Is 31 a factor of c?
True
Let x = 89 + -49. Suppose 0 = -3*g - z - 40 + 107, 3*g = 5*z + 97. Does 22 divide (x/g)/(1/66)?
True
Suppose 22*y = 18*y. Suppose -15 = 3*p + 5*r, y = r + 2*r + 9. Is 13 a factor of (p - 58)/((-10)/15)?
False
Let g = 13 - 10. Suppose 0 = -g*m + 2*m + 150. Suppose 5*c = -0*r + 5*r + m, c + 5*r - 6 = 0. Is c a multiple of 7?
False
Is 17 a factor of 4/((-16)/278)*-6?
False
Let i(z) = -6*z - 8. Let a be i(-3). Suppose -4*s + a + 22 = 0. Does 8 divide s?
True
Let r(q) = 123*q**2 - q + 1. Suppose 3*o = u + 4*u - 17, 4*o + 20 = 4*u. Does 26 divide r(u)?
False
Is 27 a factor of 47 - (4/14 - 60/(-35))?
False
Let a(x) = 7*x**2 - 51*x - 38. Does 10 divide a(9)?
True
Let m(i) = -i**2 + 11*i + 21. Is m(12) even?
False
Let i = 49 + -27. Suppose 0 = -l + i - 17. Suppose -474 = -l*s - 3*z, 4*z + 98 = s + 3*z. Does 24 divide s?
True
Suppose 21 = -4*j - 7. Let s(y) = y**3 + 6*y**2 - 10*y - 3. Is s(j) a multiple of 6?
True
Suppose 0*h = -4*h + 36. Suppose -h*d + 4*d = -235. Does 15 divide d?
False
Suppose -9 = 3*h, -5*m + 1947 = -h + 239. Is 2 a factor of m?
False
Suppose -4 = -5*u + 1. Is 21 a factor of 46/u + 3 + 0/2?
False
Suppose 3*z - 91 = 209. Suppose 4*p = 4*j - z - 32, -66 = -2*j - p. Is 15 a factor of j?
False
Suppose -21 + 6 = -3*d. Suppose -d*t - 2*j + 154 = 0, -t + 6*t = -4*j + 148. Does 16 divide t?
True
Is 28 a factor of -6 - ((-3 - -8) + -403)?
True
Suppose -3 = f - d, 3*d + 6 - 21 = 0. Suppose -378 = -9*t + f*t. Does 18 divide t?
True
Let y(j) = 4*j + 11. Let f(r) = 9*r + 23. Let l(x) = 2*f(x) - 5*y(x). Let t be l(10). Let i = 14 - t. Is i a multiple of 17?
False
Let w(t) = -t**3 + 6*t**2 + 7*t. Let a be w(7). Suppose a = -0*l - 2*l + 130. Suppose 0 = 2*y + 21 - l. Is y a multiple of 12?
False
Suppose -2*w - 331 = -k - 7*w, -4*k = -4*w - 1372. Is 9 a factor of k?
False
Is 35 a factor of (-1590)/4*(-24)/5?
False
Let z be 4/(-24) - (-3 - 19/6). Suppose -7*d = -z*d - 80. Is d a multiple of 20?
True
Let m(c) be the second derivative of c**3 - 3*c**2 - 24*c. Is m(12) a multiple of 22?
True
Suppose -d = -5*d + 4. Suppose -2*n + 29 = d. Suppose m + m - n = 0. Is m a multiple of 2?
False
Let c(v) = -v**3 - 12*v**2 - 13*v - 11. Suppose 0 = 2*t + 10, -3*f - 10 = 3*t - 4. Suppose -p + 3*p + 7 = 5*u, -5*u - 48 = f*p. Is 4 a factor of c(p)?
False
Suppose 5*t = -5*h + 45, 5*t = h + 22 + 17. Let r be (-2)/t - 3/4. Is (29 - r/1) + 3 a multiple of 14?
False
Let o be -2 + -8 + 4 + 6. Suppose -5*u + 0*u + 45 = o. Is u a multiple of 2?
False
Let k(l) = -l**2 + 23*l - 25. Let w be k(18). Let b = w + -53. Is b a multiple of 2?
True
Let h(g) = 4*g**3 + g**2 + 2*g + 3. Let r be h(-2). Let v = r + 56. Let z = v + -15. Is z a multiple of 4?
True
Let g(l) be the third derivative of l**4/8 - 17*l**3/6 - 7*l**2. Let d be g(7). Suppose u = -d*h + 20 + 3, -5*u = 2*h - 7. Is 2 a factor of h?
True
Let g(o) = -1. Let k(a) = -19*a + 21. Let i(s) = -6*g(s) - k(s). Is i(10) a multiple of 42?
False
Suppose 0 = -2*u - 3*d + 386, -d + 264 + 301 = 3*u. Does 4 divide u?
False
Suppose 13*b - 1879 - 136 = 0. Is b a multiple of 21?
False
Let u = -68 - -100. Let k = -27 + u. Is 2 a factor of ((-6)/15)/((-1)/k)?
True
Let x(d) = -26*d - 10. Is 13 a factor of x(-10)?
False
Suppose 2368 - 21790 = -18*t. Does 41 divide t?
False
Let x be 7*(-2 + (-48)/(-28)). Let l be 10/(-8)*(x + -2). Suppose 348 = l*w + w. Is w a multiple of 12?
False
Suppose 2*w + 8 = 4*w. Suppose 5*s = w*m - 81, 0*m = 5*m + s - 94. Let z = 65 + m. Is 28 a factor of z?
True
Let d = 18 - 13. Suppose 4*u + 73 - 270 = d*s, -4*u = s - 191. Is 12 a factor of u?
True
Suppose -z + 46 = -4*i - 91, 0 = 5*z - 4*i - 621. Let o = 263 - z. Does 16 divide o?
False
Let f(s) = -s**2 + 11*s - 5. Let i be f(10). Suppose i*u + 131 - 11 = 0. Let v = -15 - u. Does 5 divide v?
False
Suppose -8214 = -5601*a + 5598*a. Is a a multiple of 37?
True
Let v(w) = 3*w**2 - 15*w + 3. Let c be v(5). Does 18 divide (30/4)/c*8?
False
Let p(u) be the second derivative of -u**3/2 - 7*u**2 - 5*u. Is 4 a factor of p(-6)?
True
Let a = 19 + -35. Let w be (-4)/a - (-73)/(-4). Is 3/w + (-255)/(-18) a multiple of 7?
True
Does 15 divide (-1)/((-10)/25)*1*6?
True
Let z(s) be the first derivative of 2*s**3/3 - 8*s**2 - 12*s + 27. Does 12 divide z(12)?
True
Let s(x) = x**3 - 3*x**2 - 5*x + 9. Let a be s(4). Suppose 3*m - a*m + 32 = 0. Does 8 divide m?
True
Let i(h) = h + 152 + 7*h - 6*h - 2*h**2 - h. Is i(0) a multiple of 11?
False
Let x be 16/4 + -1 + 2. Suppose -m - 20 = 4*y, -51 = x*m + 4*y - 15. Does 12 divide 2/m + (-25)/(-2)?
True
Suppose 0 = -3*x + 32 + 7. Suppose 0 = 12*c - x*c + 16. Is c a multiple of 8?
True
Let s(r) = -r**3 - 3*r**2 + 18*r + 4. Let f be s(-6). Does 24 divide f + (-3 - -5) + 42?
True
Suppose n + n = -2*m + 60, 5*n + 147 = 4*m. Suppose -m*v + 27*v = -780. Is v a multiple of 10?
True
Let s be (-1 - 28/(-8))*2. Suppose -2*o + 4*o = b - 298, 5*o = -s. Let q = b - 205. Does 28 divide q?
False
Suppose -8 - 10 = -3*s. Suppose 5*g = -a - 11, -g - s = -a + 1. Suppose -j - a*f = f, j - 2*f - 7 = 0. Is 4 a factor of j?
False
Suppose 2*y - 12 = -5*r + 44, 2*r = 0. Suppose 0 = 2*z - 0*z - y. Does 5 divide (-11 + z)/((-6)/(-16))?
False
Let h(p) = p**3 - p**2 - p + 24. Let z = 0 + 3. Suppose -2*y = -z*y. Is 9 a factor of h(y)?
False
Suppose 0 = l - 15 + 11, -l = c - 144. Is 5 a factor of c?
True
Suppose -3*p = 2*p - 35. Let v(w) = 5*w - 13. Does 5 divide v(p)?
False
Let i(s) = s**3 + 2*s**2 - 2*s + 3. Let a be i(2). Let u = 13 + 0. Let q = a + u. Is q a multiple of 13?
False
Suppose -4*g + 3*d = 0, 0 = 2*g + g + 4*d - 25. Suppose h - 340 = -g*h. Is 5 a factor of h?
True
Suppose -4*j + 7*j = 246. Is 42 a factor of j?
False
Suppose -4*d + 1704 = -5*l - 1801, 4415 = 5*d + 5*l. Is 16 a factor of d?
True
Suppose -3*y = -c - 566, -c - 379 = 4*y - 6*y. Suppose 2*v - 3*z = -119, 4*v - v + 4*z = -y. Is v/(-1)*(1 - 0) a multiple of 20?
False
Let a = 79 + -76. Suppose -m + 80 = a*v - 2*v, -4*m = 3*v - 325. Do