pose x*m + 84 = s + 2*s, 0 = 4*s - 5*m - 112. Is 7 a factor of s?
True
Suppose 36935 = 9*j + z, -j - 4*z + 3729 = -371. Does 9 divide j?
True
Let c = -171 + 858. Suppose 2283 = 9*v - c. Is v a multiple of 50?
False
Let u = -486 + 527. Suppose -u*l = -35*l - 330. Is 5 a factor of l?
True
Let q = 7970 - 4082. Does 12 divide q?
True
Let t be 12*(-6)/(-36)*2. Is 33 a factor of ((-8)/(-60)*-24)/(t/(-350))?
False
Let a(p) = p**3 + 3*p**2 - 5*p. Let i(l) = -6*l**3 - 14*l**2 + 26*l. Let g(b) = 11*a(b) + 2*i(b). Let c be g(4). Is c + -1 + (18 - -1) a multiple of 22?
True
Suppose 4*o + 12 = -4*m + 3*m, 3*m = 3*o + 9. Let a be (-8)/o*27/(-18). Is 16 a factor of 1526/8 + (3/a - -1)?
False
Let j be -3 + (-12)/10*1080/(-81). Let l(f) = 14 + 13*f**2 - f**3 - 5*f**3 + 5*f**3 + 5*f + 0*f. Is 13 a factor of l(j)?
False
Let n = 942 - 491. Suppose 6*l = 959 + n. Does 47 divide l?
True
Suppose -6*z + 60 = -z. Suppose -s - r = 9 + z, 4*s = 3*r - 98. Is 7 a factor of 1*(6/(-3) - s)?
True
Let m(s) = -11*s + 38. Suppose 10*d = -173 + 73. Is m(d) a multiple of 11?
False
Suppose 135774 + 263016 = 54*p. Is p a multiple of 49?
False
Let a(v) be the first derivative of -v**2/2 + 40*v + 994. Let o(t) = -t**3 + 2*t**2 + t - 2. Let h be o(3). Is a(h) a multiple of 12?
True
Let x = 15559 - 12842. Does 25 divide x?
False
Let f = -1529 - -2086. Does 15 divide f?
False
Let x(l) = -14*l**2 + 2*l + 21. Let r be x(-4). Is 22 a factor of -2*(-4 + 6 + r)?
True
Let j be 274/(-18) + (-42)/(-189). Is 18 a factor of 2/j - (8 + (-12516)/45)?
True
Suppose 0 = -2*q + 4*u - 20, 5*q = 5*u - 2*u - 15. Is 22 a factor of q - 3 - (-6 + (4 - 155))?
True
Let x = 3779 + -3696. Does 13 divide x?
False
Let q = -154 + 513. Let t = 599 - q. Is t a multiple of 40?
True
Let k = -25279 + 38236. Is k a multiple of 65?
False
Suppose 0 = 5*g - p + 33, -4*g + 3*p - p - 30 = 0. Does 28 divide g/(-10)*(650 + 5 + 0)?
False
Suppose -g = 5*g - 144. Suppose 6415 = g*x + 1039. Is x a multiple of 56?
True
Suppose 21*f = 16*f - 300. Let u = f + 61. Does 10 divide u - -66 - (-7 - -8)?
False
Let p = -5738 - -13121. Is p a multiple of 69?
True
Let r(y) = 27*y**2 - 17*y - 17. Let d be r(-1). Suppose 8643 = d*v - 2697. Is 60 a factor of v?
True
Let j = 11457 + -10360. Does 3 divide j?
False
Is ((-1552)/16)/((-3)/(-792)*-3) a multiple of 48?
False
Suppose 59*o + 275655 - 846255 = -16*o. Is 7 a factor of o?
False
Let n(p) = -p**2 - 9*p + 27. Let j be n(-11). Suppose 20 = j*x + 5. Suppose -x*o = -234 - 96. Is o a multiple of 10?
True
Let p(q) = -q**3 - 19*q**2 - 19*q - 11. Let a be p(-18). Suppose 0 = a*v - 3*v - 8. Suppose -v*h = -4*d, 4*h = -h + 5*d + 15. Is h a multiple of 6?
True
Suppose 202*x - 287888 = 126*x. Is 60 a factor of x?
False
Let n = 108977 - 76278. Is 116 a factor of n?
False
Let a(p) = -411*p - 501. Does 21 divide a(-7)?
False
Does 120 divide (-36)/180*(-68989 + -1) + (-2)/(-1)?
True
Let s be 1/(3/(-10))*(-738)/(-205). Is 27 a factor of (-1306)/s - 95/114?
True
Suppose -31*o - 16*o = 87185. Let x = -1198 - o. Is 30 a factor of x?
False
Suppose -29*g + 175 = 30. Let i(h) = h**2 - 2*h. Let n be i(-2). Does 18 divide (-3 - g)*(-52)/n?
False
Let v(u) = 4*u**2 - 20*u - 3*u**2 - 18 + 75. Is v(21) a multiple of 26?
True
Suppose 0 = 21*p - 27*p - 42. Let j(m) = 14*m**2 + 3*m - 21. Is 16 a factor of j(p)?
False
Suppose -2*o - 22 = -4*s, 2*s + s = 0. Let a(y) = -2*y**3 - 20*y**2 - 5*y - 15. Is 15 a factor of a(o)?
False
Let s(f) = -5*f**2 - 4*f + 11. Let k(q) = -q**2 - 1. Let u(j) = 2*k(j) - s(j). Suppose -48*i + 55*i + 42 = 0. Is u(i) a multiple of 21?
False
Let x = 9844 - 7972. Does 8 divide x?
True
Suppose g - 5244 = h + 1255, 0 = 3*h - 9. Is g a multiple of 28?
False
Let j = 38316 + -4088. Is j a multiple of 172?
True
Suppose -11*v - 52*v = 324*v - 12368520. Does 68 divide v?
True
Let v(m) = -m**2 - 28*m + 33. Let i be v(-29). Suppose 0 = -i*k + 2*z + 1814, 2*k - 916 = -3*z + z. Is k a multiple of 50?
False
Let b(a) = -7 - 3*a - 5*a + 3*a + 4*a. Let q be b(-4). Is 66 + (1 - (q + 4)) a multiple of 22?
True
Is 15 a factor of (85/68)/(2/9168)?
True
Let c be 1969 + (-8)/(-3 - -7). Suppose -23*s + 30*s = c. Let x = -190 + s. Is x a multiple of 13?
True
Suppose 3*v + t - 26 = -2*v, t + 24 = 5*v. Suppose -183 = v*u + 2*r, -4*u + 4*r - 128 = r. Is 27/5 - (-6 - 224/u) a multiple of 4?
False
Let p(t) = 2*t**2 + 53*t - 22. Let i be p(-27). Suppose -28*n + 30*n + w = 111, -w + 273 = i*n. Is 27 a factor of n?
True
Let r = 253 + 347. Does 19 divide r?
False
Let a be 7076/18 + 6/(-54). Suppose a = 5*w - 157. Does 55 divide w?
True
Let i(u) = u + 10. Let r(q) = -2*q - 20. Let m(a) = 5*a - 1. Let z be m(-1). Let v(s) = z*r(s) - 11*i(s). Is 4 a factor of v(7)?
False
Suppose 4*u + 411 = 5*r, u = -2*r + 3*u + 166. Is 16 a factor of 4/(4/r) + 6?
False
Let n(j) = -26*j + 55. Let c(u) = -5*u + 11. Let z(h) = -22*c(h) + 4*n(h). Suppose -31*i = -43*i + 156. Does 12 divide z(i)?
False
Suppose 7*r - 208 = 93. Let z = r - 64. Does 45 divide (z/(-27) - 4/(-18)) + 71?
False
Suppose -z + a + 23547 = 0, -18457 = -4*z - 5*a + 75758. Is 50 a factor of z?
True
Let r(v) = -2*v**3 - 61*v**2 + 21*v + 67. Suppose 0 = 16*f - 17*f + 2*t - 29, -5*f - 2*t = 157. Does 22 divide r(f)?
False
Let w(u) = u**2 - 22*u + 4. Let n be w(21). Let j = 90 + n. Suppose -p - j = -v - v, v + 3*p - 26 = 0. Does 7 divide v?
True
Let q(r) = -234*r**3 + 2*r**2 - 12*r - 14. Let h(w) = 10*w**2 - 13*w + 2. Let m be h(1). Does 13 divide q(m)?
True
Suppose 4*g + 2253 = -4*t + 9433, 0 = 5*g - t - 8981. Let q = g - 1004. Does 66 divide q?
True
Suppose 20*o - 2108 = 3*o. Suppose -2*y + o = -4*y. Let p = -7 - y. Is p a multiple of 3?
False
Suppose 50 = 5*d - 5*m, -5*d = 7*m - 3*m - 14. Let b be (10/d)/(2/(-6)). Is (-1)/(b/170) - -1 a multiple of 17?
False
Suppose 0 = a - 3*a - 284. Let o = -147 - a. Is 7 a factor of 5/(o*4/(-420))?
True
Let w(t) = -314*t - 130. Let c be w(-7). Suppose -6*f = -c - 92. Does 9 divide f?
True
Let x(r) = r**2 - 6*r - 6. Let j be ((-2)/4)/((-8)/96). Let b be x(j). Is (-1)/(b/8)*(-63)/(-2) a multiple of 15?
False
Suppose -123890 = -16*d + 110281 + 11557. Is d a multiple of 87?
False
Let c(t) = -t**3 - 150*t**2 - 39*t - 1650. Does 21 divide c(-150)?
True
Let g(k) be the first derivative of k**4 + 28*k**3/3 + 3*k**2 + 2*k - 100. Does 14 divide g(-5)?
False
Let b be (9/(-2))/((-3)/660*-2). Let r = 51 - b. Suppose -3*s + r = -0*q - 3*q, -3*s = 5*q - 578. Is 31 a factor of s?
True
Let u = -7893 - -18899. Is 22 a factor of u?
False
Let p = 39 - -35. Let y be -3*(p/(-24) - 3/12). Suppose y*t - 2687 + 777 = 0. Does 21 divide t?
False
Is 42 a factor of (1186680/34)/3 - (-4)/(-476)*14?
True
Is (52/(-6))/((-67308)/(-6732) + (-5 - 5)) a multiple of 26?
True
Let w(s) = 51*s + 250. Let x be w(-5). Let i = 719 + x. Is i a multiple of 16?
False
Suppose 5*f = 5*l + 195, -3*f + 125 = 5*l - 0*l. Is 2 a factor of f?
True
Suppose 40*q + 5*x - 117176 = 28*q, -3*q = -2*x - 29320. Is q a multiple of 24?
True
Suppose 2*m + 347 = a, -3*m = -2*a - 8*m + 676. Suppose -6*v = -a - 71. Is v a multiple of 19?
False
Let x(a) = -22*a + 1879. Is x(30) a multiple of 51?
False
Let w(l) = 20*l**2 - 4*l + 5. Let q(x) = -x**3 + 18*x**2 + 2*x - 32. Let a be q(18). Does 16 divide w(a)?
False
Suppose -3*u + 7371 = 2*w, 0*w - u = -3*w + 11073. Suppose 0 = 5*f + s - w, -3*s = -0*f - 4*f + 2952. Does 82 divide f?
True
Let n(i) = -i**3 - 5*i**2 - 37*i - 273. Is n(-21) a multiple of 216?
True
Suppose -1 = -2*h - 119. Let x = 62 + h. Suppose -2*r = -f + 121, -x*f + f - 2*r + 230 = 0. Does 13 divide f?
True
Does 18 divide ((-28)/16)/(-3 + 14123/4708)?
False
Suppose 3*o + 24 = 6*v - 3*v, 5*o = -v - 16. Suppose 0 = i + 3*j + 4, -j + 19 = 2*i - v*j. Suppose 3*r + 20 + 26 = 4*h, -4*h - i*r + 30 = 0. Does 10 divide h?
True
Is 7 a factor of 19 + -15 + 4796/((-8)/(-4))?
False
Suppose 4433725 = 242*j - 795653. Is j a multiple of 7?
True
Is (-8)/(-1) - (-17 + (5 - 2258)) a multiple of 67?
True
Let y = 262 + -486. Let j = 344 + y. Is j a multiple of 12?
True
Suppose -58*c + 11155 = 24*c - 65187. Does 49 divide c?
True
Let d = 1419 - 1414. Let p be ((-3)/9)/(1/(-9)). Suppose -d*v + 73 = p*i, -2*v = 3*i + 2*v - 71. Does 19 divide i?
False
Let b be 2555/20 - ((-30)/(-8) - 4). Does 4 divide (b/12 - 4)*(-264)/(-10)?
Tr