+ 11*a - 16 = 0, 3*t - a = 69127. Is t a multiple of 110?
False
Let w(d) = 52*d + 473. Let j be w(-9). Suppose -y - 3*o + 39 = -o, -3*y + 123 = 4*o. Suppose -j*c = -2*g + 57, -5*g + c = -y - 40. Is 5 a factor of g?
False
Let z(r) = r**2 - 22*r - 602. Does 3 divide z(-44)?
False
Let x = 26519 - 14567. Is x a multiple of 9?
True
Let z(n) = 870*n**2 - 624*n + 13. Is z(-3) a multiple of 29?
True
Suppose 3*r + 4 = -3*s - 2, -3*r - 4*s - 1 = 0. Let p be 174/3 - (-7)/r. Suppose p = 2*g + 3. Is 11 a factor of g?
False
Let z = 1835 + -1061. Let h = z - 283. Let k = h + -267. Is k a multiple of 48?
False
Let b be 1/(1/5 - 144/620). Let i = -27 - b. Suppose -i*k + 16 = 2*r - 136, 5*r + 4*k = 368. Is r a multiple of 6?
True
Suppose -3*o = 2*l - 1073, -l - 6*o = -11*o - 543. Let b be (-3 + 2)/((-3)/9). Suppose 0 = -5*y - b*k + l, 5*y + k - 554 = 2*k. Is 11 a factor of y?
True
Let d be (-291 + -11)/((-3)/6). Suppose 3*w - 3*b - 906 = -0*b, 5*b = 2*w - d. Is w a multiple of 37?
False
Let i = 206 + 994. Does 48 divide i?
True
Let l be ((-1)/1)/(6/(-24)). Suppose 4 = 4*p - l. Suppose -m + p*t + 312 = 0, -5*t + 23 = 4*m - 1186. Is m a multiple of 31?
False
Suppose -125094 = -10*o - 35394. Is o a multiple of 65?
True
Suppose -31*j - 40 = -23*j. Let r(w) = -201*w - 249. Does 36 divide r(j)?
True
Let r(w) = w**3 - 56*w**2 - 115*w - 47. Let m be r(58). Suppose m*p = 6332 + 6571. Is p a multiple of 11?
False
Let d be 26/(-14) - -2 - (-48)/7. Let o be d + -3 + 0/3. Suppose -2*k - o*s = -5*k + 172, 3*s - 6 = 0. Is k a multiple of 12?
True
Let k(u) = 1258*u - 1912. Is 8 a factor of k(4)?
True
Suppose -3*k + 865 = 2*d, -2*k - 3*d + 514 = -71. Suppose -46*p + 112 + 1038 = 0. Suppose k = -p*r + 28*r. Is r a multiple of 16?
False
Suppose 0 = -3*n + 2*n - 6. Let r be ((-8)/(-10))/(n/(-30)). Suppose -53 = 2*k - r*k + 5*f, 0 = 5*k + 3*f - 117. Is 8 a factor of k?
True
Let k(h) = 2*h**3 - 98*h**2 - 104*h + 1160. Is k(50) a multiple of 30?
True
Suppose 22*x + 3*j = 23*x - 460, -2300 = -5*x + 4*j. Is 60 a factor of x?
False
Suppose -14*w = -14*w - 7*w. Suppose 7*c - 4*c + 2*t - 564 = w, 0 = -c + t + 183. Is c a multiple of 31?
True
Suppose -2*t + 4*u + 16 = 0, 3*u = -5*t + 8*u + 30. Suppose -14 = p + t*v + 22, -2*p = -4*v + 108. Let y = p - -120. Does 18 divide y?
True
Suppose 8*r = 2*r. Suppose r = -21*d + 18*d. Suppose -3*b - 6 + 0 = d, 0 = -5*w + 4*b + 348. Is 4 a factor of w?
True
Suppose 2*p = -4*w - 164, -p + 86 = w - 3*w. Let s = 435 + w. Does 29 divide s?
False
Let c = 2313 + -1615. Let u = c - -28. Is u a multiple of 11?
True
Let r = -176 - -193. Suppose -7*h = -r*h + 1980. Does 11 divide h?
True
Does 10 divide (-24 + 33 - (4 - -7)) + 11943?
False
Suppose -3*w = -2*v + 43, -3*w + 4*w = 1. Let d = 105 - v. Is 8 a factor of d?
False
Let o be ((-64)/8 + -3032)*(-2)/5. Suppose 39*g + o = 43*g. Is g a multiple of 13?
False
Let k(n) be the second derivative of n**4/12 + 9*n**3/2 + n**2 + 124*n - 2. Is k(-31) a multiple of 3?
True
Suppose -2*v + l = -786, -v + 67*l = 71*l - 411. Is v a multiple of 11?
False
Suppose x + 2*x = -729. Let o be (11/3)/((-9)/x). Let p = 199 - o. Is 13 a factor of p?
False
Suppose -2*x - 4*c = -166, -4*x + 308 = -0*c - 4*c. Suppose -5*p + 101 = -x. Suppose 6*g - p = 3*g. Does 12 divide g?
True
Let a = 1987 + 3215. Is a a multiple of 51?
True
Suppose -f + 8*f + 154 = 0. Let g(a) = -5*a - 35. Is 15 a factor of g(f)?
True
Let t(u) be the third derivative of 1/20*u**5 + 3*u**2 + 5/6*u**3 + 0*u - 7/24*u**4 + 0 + 1/30*u**6. Is 8 a factor of t(2)?
False
Let r(o) = 2*o**2 + 18*o - 620. Does 14 divide r(32)?
False
Let l = 40830 + -15196. Is 14 a factor of l?
True
Suppose 4*p - 12792 = -2*p. Suppose 5*u - 2776 = q, -4*u - q = -87 - p. Does 14 divide u?
False
Let b = -11 - 2. Let x(i) = -2*i - 35. Let f be x(b). Does 14 divide (-2)/f - ((-1753)/9 + 1)?
False
Suppose -q = -l - 905, 2*q + 18*l - 1792 = 14*l. Does 6 divide q?
False
Suppose 24*i = -20*i - 53*i + 616726. Is i a multiple of 11?
True
Suppose 693*p - 704*p + 54648 = 0. Is p a multiple of 27?
True
Suppose -254 = -2*a - 72. Let j = -87 + a. Suppose -p = -3*u - 3, p + 1 - j = -5*u. Is 2 a factor of p?
False
Let q(x) = -86*x + 1793. Does 117 divide q(-5)?
True
Suppose 80*h - 1468504 + 471544 = 0. Is h a multiple of 31?
True
Suppose 4*q - 175 = 3*m, -2*m - 4*q - 112 = -9*q. Let h be 9*2/6 - m. Let g = h + 14. Is g a multiple of 33?
False
Let n be (2 - (4 + -2))/(-2 - -3). Suppose 0 = -4*b - 2*g + 10, n = 3*b + 3*g - 8 + 2. Suppose 8*j + 2*z = 4*j + 38, 0 = b*j - 4*z - 12. Is 8 a factor of j?
True
Let z(m) = -4*m**3 + 2*m**2 - 12*m - 76. Does 65 divide z(-6)?
False
Suppose -12*f = -5*f - 140. Is (f/(-8) - 6/(-3))*-170 a multiple of 6?
False
Suppose 0 = -b - 3, -5*c + 2*b - 7*b + 3560 = 0. Let a = c - 221. Is a a multiple of 13?
True
Let w(k) = 16*k**2 - 17*k - 25. Let f be w(7). Suppose -2*o + 3*l + f = 3*o, -3*o - l + 370 = 0. Does 9 divide o?
False
Let c be -4 + 7 - (0 - -65). Let n be (5 + 0)/(4 - (-645)/(-160)). Let m = c - n. Does 9 divide m?
False
Let p(i) = -i**2 - 24*i - 32. Let v = 265 - 181. Suppose 0 = -12*r + 8*r - v. Is p(r) a multiple of 2?
False
Let r be 2/3*3/(-2) - -2. Let d be 3 - (-1)/r - -20. Suppose -j + d = -54. Is j a multiple of 12?
False
Let n = -65 + 48. Let w = n + 16. Does 39 divide 26/(-8)*(11 - -1)/w?
True
Suppose 0 = -3*j - 83 - 1. Let y be (-3028)/j - 1/7. Suppose y = -24*c + 26*c. Is c a multiple of 4?
False
Suppose -3*c - 190 - 125 = 0. Let s = -17 + -10. Let m = s - c. Does 13 divide m?
True
Does 122 divide 18/216 + (-14)/(-63) + (-2195956)/(-144)?
True
Let m(g) = -4*g**3 - 8*g + 8. Let j = -10 + 6. Let c(a) = -3*a**3 - 8*a + 8. Let k(i) = j*m(i) + 5*c(i). Does 36 divide k(4)?
False
Let r = -35447 + 43708. Does 26 divide r?
False
Let r = 43896 - 23511. Is 135 a factor of r?
True
Suppose 0 = -5*d + 2*f - 1785, 3 = d + 4*f + 338. Let w = d + 582. Does 6 divide w?
False
Suppose 4*v - 1122 = 5*d, 45*d - 1452 = -5*v + 43*d. Does 6 divide v?
True
Let j(g) = -g**2 + 52 - 2*g - 273*g**3 - 53 + 0*g. Is 21 a factor of j(-1)?
True
Let v = -136 - -232. Let b = v - -49. Let q = 35 + b. Is q a multiple of 30?
True
Let o = -997 + 2059. Is 5 a factor of o?
False
Let w(d) = 119*d - 224. Does 14 divide w(4)?
True
Suppose -3*f = o + 11, -5*o = -0*f - 2*f + 21. Let t(z) = -2*z**3 - 3*z**2 + 5. Let p be t(f). Suppose 4*k + 125 = p*k. Does 5 divide k?
True
Let c(a) = 2*a**2 + 17*a - 2. Let j be c(-20). Suppose 11*h - 4*n = 16*h - 1148, -j = -2*h - n. Is h a multiple of 19?
True
Let r(q) = -q**3 + 51*q**2 - 35*q - 123. Is r(-23) a multiple of 203?
False
Let t be (2 + 8/(-28))*7*-1. Let k = 96 + t. Does 6 divide k?
True
Let y = 86 + -78. Let u be 1/(4/y) + 3. Suppose -199 + 619 = u*f. Is 28 a factor of f?
True
Let x(o) = -3*o - 12. Let u be x(-5). Suppose i + 743 = -5*j + 3*i, -i = -u*j - 445. Let f = -89 - j. Is 7 a factor of f?
False
Let p be 841759/6064 + (-3)/(-16). Suppose -2*g = -0*g + 22. Let s = p - g. Does 37 divide s?
False
Let c be (-56)/(-4) - 10/(-5). Does 12 divide (-2)/(c/(-1634)) + 12/(-48)?
True
Let a = -60828 - -95627. Is 25 a factor of a?
False
Suppose 352 = -48*y + 1216. Does 6 divide y?
True
Let y(x) = -x**3 + 19*x**2 - 17*x + 1. Let f(b) = -b. Let g be f(5). Let q = 23 + g. Does 4 divide y(q)?
False
Let p = -151 + 178. Let d = p + 79. Is d a multiple of 11?
False
Suppose 0 = -5*p + 2*f + 3548, -p = 7*f - 11*f - 706. Does 10 divide p?
True
Suppose 15*x - 82 = 8. Suppose -567 - 513 = -x*k. Is 20 a factor of k?
True
Let b = -167 - -172. Suppose 3*x = -b*n + 1155, x + 339 = 3*n - 368. Is 13 a factor of n?
True
Let c(t) = 2069*t**2 + 79*t + 78. Is c(-1) a multiple of 36?
False
Suppose 5*t - 5372 = -3*q + 2312, 4*q = -5*t + 7682. Suppose -5*o = -2*o - x - t, 2*o - 1027 = x. Is 33 a factor of o?
False
Suppose -72684 = -322*u + 268*u. Is u a multiple of 127?
False
Suppose -6*k + 2*z = -11*k - 976, 4*k + 794 = 5*z. Let v = 316 + k. Is v a multiple of 6?
True
Suppose 0*p + 3*p - 637 = 4*u, 2*u - 2*p + 318 = 0. Does 16 divide (-23008)/u - (2/1)/(-10)?
True
Let m(g) = -g**2 + 29*g - 83. Let q be m(26). Is ((-1795)/(-2))/(6/((-60)/q)) a multiple of 111?
False
Let v = 35 + -18. Suppose -v*z = -13*z - 12528. Is z/81*12/2 a multiple of 58?
True
Let g = -12771 - -22815. Does 81 divide g?