f 7?
False
Let c(s) = s**2 - 65*s - 120. Does 51 divide c(72)?
False
Suppose -10*a = -9*a - 4. Suppose -2*c - 2 = a*z - 8, 2*z = 5*c + 33. Suppose -10 = -5*y, -3*g = y + z*y - 79. Does 6 divide g?
False
Let f = -23 + 29. Suppose n - 2*h = -f, 3*n + n + 2*h = 6. Suppose -5*d - 4*a + n*a + 292 = 0, 2*a + 184 = 3*d. Is d a multiple of 15?
True
Suppose 66*f - 12*f - 209108 = 64564. Is f a multiple of 83?
False
Suppose 51*k - 649816 = -199483 + 386322. Is k a multiple of 63?
False
Let c(g) = -4 - 140*g + 6*g + 782*g. Is 29 a factor of c(2)?
False
Let p(g) = 268*g - 28. Is 72 a factor of p(49)?
True
Let y(q) = q + 18 + 2*q + 6. Let o(m) = m**3 - 68*m + 40. Let g be o(8). Is 12 a factor of y(g)?
True
Let c(z) = -z**3 + 11*z**2 + 15*z - 13. Let q be c(12). Suppose -5*b = -m - q, -2*b = 5*m - 8 - 12. Suppose m*y - 96 = 168. Is 33 a factor of y?
True
Suppose 0 = 5*x + 3*k - 23830, -3*x + 45*k - 41*k + 14327 = 0. Does 19 divide x?
True
Suppose -3*p + 3*s + 65238 = 0, -176*s - 43500 = -2*p - 178*s. Does 12 divide p?
False
Let d(l) = 8*l**2 + 15*l - 38. Let m be d(4). Suppose 0 = 4*p - 138 - m. Does 24 divide p?
True
Let f(q) = -262*q - 112. Let b be f(-15). Suppose u + 3*c + 886 = 2163, 3*u = 4*c + b. Does 14 divide u?
True
Let x(w) = -6*w - 10. Let s be x(-2). Is 10 a factor of s - ((-1 - 0) + -67)?
True
Let h(z) = 51*z**2 + 55*z**2 + 10*z - 1 + 9 + 51*z**2 - 148*z**2. Is h(8) a multiple of 8?
True
Let w = 8249 + 3760. Is w a multiple of 177?
False
Let t be (-9)/(-36) + 11/4. Suppose -3*l + 34 = s, t*s + 54 = 4*s - l. Does 14 divide s?
False
Let u(b) = 2*b**2 - 8*b + 20. Let h be u(5). Let c = -27 + 7. Let o = h + c. Is o a multiple of 10?
True
Suppose -3*v + 0*d + 2 = -4*d, 3*v = -5*d + 11. Suppose p = v*p - 104. Is 8 a factor of p?
True
Suppose 442*b - 78*b - 6078072 = 0. Is b a multiple of 66?
True
Suppose 0 = 4*p + 4 + 20. Let x be -11 + (-6)/3*-1. Is 47 a factor of p/(-4)*2*(-282)/x?
True
Suppose -4*u + 1367 = 3*w, 0*w = -2*w + 2*u + 944. Does 93 divide w?
True
Let w = 23309 + -7059. Does 15 divide w?
False
Let m(a) = 371*a + 10. Suppose 4*u - 3*c - 14 = 0, 4*c - 2*c = -2*u. Let z be m(u). Suppose -6*w = -178 - z. Does 15 divide w?
False
Let c(m) = -3091 - 3094 + 6187 - 26*m. Suppose -2 - 2 = 4*h. Does 4 divide c(h)?
True
Let r be 1/(-2) + (0 - (-8931)/26). Suppose -356*q + r*q + 3120 = 0. Does 6 divide q?
True
Suppose 0 = -l + 4 + 11. Let f(b) = -b + 4*b - 11 + 4*b + l. Is f(5) a multiple of 19?
False
Suppose 5*o + p + 77 = 0, -p = 3*o - 7*o - 67. Let y = o + 40. Suppose 6*d + 5*g - y = 4*d, 0 = -3*d - 2*g + 47. Is 17 a factor of d?
True
Let s(g) = -g - 9. Let z be s(-14). Suppose -z*b = 0, 0 = a - 3*b + 3 - 11. Suppose -a*r + 137 = -119. Is r a multiple of 5?
False
Suppose 197 = -5*p + 7. Let l(i) = i**2 - 7*i - 36. Is l(p) a multiple of 54?
True
Suppose -20*a = -340811 - 934989. Is a a multiple of 339?
False
Suppose -78*q + 704808 = -21*q + 47*q. Is q a multiple of 27?
True
Let g(n) = n**3 + 33*n**2 - 14*n - 60. Does 14 divide g(-15)?
True
Let n be (-1)/4 + (-30)/8. Let c be (-45)/(-20) - (-1)/n. Suppose 168 = 4*o - 4*i, -4*i = -c*o - 31 + 117. Is o a multiple of 9?
False
Let u be -3 + -1 + 5 + 3. Suppose -2*m = u, -3*h - 4*m = -5*h + 528. Is 38 a factor of h?
False
Suppose i + 2 - 304 = 0. Suppose -i + 1570 = 4*f. Does 33 divide f?
False
Does 44 divide -3 + 24 + -4 - -16251?
False
Suppose 2*w = -4*f + 20, -4*f = -4*w - 9*f + 34. Suppose -j = -5, w*y - y - j - 2320 = 0. Is 15 a factor of y?
True
Suppose -8*w + 16828 = -w. Is 2/7 + w/14 a multiple of 9?
False
Suppose -3*i - 5*l = -5*i + 13411, l = i - 6707. Does 39 divide i?
True
Suppose -3*o = -0*o - s - 81, 15 = -5*s. Suppose -o*f + 1248 = -24*f. Is f a multiple of 19?
False
Suppose 3*g + 9 = 5*p - 0*g, 5*p - 5 = 5*g. Let r(x) = 4*x**3 + 5*x**2 + 2*x - 15. Is 6 a factor of r(p)?
True
Let x be 858/(-65)*(-15)/(-2). Let b = x - -106. Is 2 a factor of b?
False
Suppose 5*a + 4*j = 3*j - 9, 0 = 4*a - 5*j - 16. Let d(v) = -672*v + 8. Let i be d(a). Suppose -x = -11*x + i. Is x a multiple of 34?
True
Let x(s) = s**3 - 135*s**2 - 273*s + 157. Does 3 divide x(137)?
True
Suppose 10102 + 26709 = 4*m - 5*t, -46024 = -5*m - 4*t. Is m a multiple of 6?
True
Let u(i) = 14 + 33*i + 32*i - 66*i. Suppose -20*y + 16*y = 0. Is u(y) a multiple of 3?
False
Suppose 2*b - 4*d - 6 = -4, 36 = 3*b + 5*d. Suppose -b*y = 11*y - 1440. Does 40 divide y?
True
Let b(q) = 4*q**3 + 2*q**2 + 10*q + 178. Does 14 divide b(16)?
True
Suppose -4*k - 2*z + 5884 = k, 2*k + 2*z = 2356. Does 132 divide k?
False
Let i(k) = 11*k**3 - 3*k**2 + 2*k. Let j be i(1). Suppose -7*s = -j*s - 210. Does 12 divide 0 - ((-20)/s + (-331)/7)?
False
Let u(q) = 1662*q + 106. Does 221 divide u(9)?
False
Let z be 3/2 + 8 + 596/8. Let w = z - -1. Does 8 divide w?
False
Is (65 + -64)*(1 - (-2 + 1)) + 24358 a multiple of 386?
False
Let f(u) = -15*u**2 - 6*u + 2. Let i(k) = -41*k**2 - 19*k + 7. Let d(t) = -11*f(t) + 4*i(t). Suppose 5*g + 11 = 6*g. Does 2 divide d(g)?
False
Suppose -2*w - 10 = 0, -5*n + 166 = -w - 184. Suppose n*o + 68 = 70*o. Does 10 divide o?
False
Let x = 152 + -169. Let h(i) = -28*i - 170. Is h(x) a multiple of 18?
True
Let z(b) = 1328*b**2 - 573*b + 1727. Is z(3) a multiple of 130?
True
Let z be ((-28)/63)/(2/(-9)). Let p be z/(-2) + (-480)/(2 + -8). Suppose -3*g + p = -4*b, 109 = -2*g + 5*g + 2*b. Is g a multiple of 6?
False
Let b = -59 + 61. Let j be (-9)/((-54)/78) - b*2. Let c(q) = q**2 - 2*q + 5. Is 3 a factor of c(j)?
False
Let j = 309 - 123. Suppose 0*k = 4*k + u - j, -5*k + 3*u + 241 = 0. Is k a multiple of 11?
False
Suppose -9*n + 5296 = 7*n. Let d = -80 + n. Does 14 divide d?
False
Let z(y) = -2*y**3 - 3*y**2 + 2*y - 14. Let x(h) = h**3 + 2*h**2 - h + 9. Let f(a) = -8*x(a) - 5*z(a). Let l be f(-2). Is 16 a factor of (-4)/(-5)*54*(-60)/l?
True
Let f(d) = 549*d + 4984. Is 38 a factor of f(53)?
False
Suppose 2*a + 4 - 14 = -n, -4*n + 85 = -a. Let b(o) = n + o + o + 5*o + 7*o. Is 11 a factor of b(9)?
False
Let y be (-31)/(-2) + (-9)/(-6). Suppose -4*t = -u + 4*u - y, 4*t - 15 = -5*u. Suppose -t*f + 290 = -3*r, 2*f = -f + 4*r + 174. Is 32 a factor of f?
False
Suppose -77729 - 39451 = -28*d. Is d a multiple of 31?
True
Let q(x) = 531*x**3 - 41*x**2 + 86*x - 3. Does 9 divide q(2)?
False
Suppose -27*i + 31*i = 2*m + 16, 2*i - 8 = 0. Suppose 0 = 4*v - n - 2975, m*v - 2*n - 749 = -v. Does 6 divide v?
False
Let x(j) = 10*j**2 + 29*j + 8. Let y(k) = -9*k**2 - 30*k - 7. Let g(b) = -2*x(b) - 3*y(b). Is g(-5) a multiple of 4?
True
Let l = 3305 + -254. Does 5 divide l?
False
Suppose 3*u - 2*r = 49768, 5*r = -8*u + 13*u - 82945. Does 10 divide u?
True
Suppose h - 15198 = -2*u, 3*u - 5*h = 3006 + 19791. Suppose -13*t + 9691 = -u. Is 15 a factor of t?
False
Let w(d) = -8*d - 11. Let z(n) = -15*n - 23. Let b(g) = 9*w(g) - 4*z(g). Suppose 4*x + 4*y = -32, 1 = -2*x + 3*y - 20. Does 22 divide b(x)?
False
Let g(v) = -31*v + 2675. Does 14 divide g(20)?
False
Suppose -4*k - q = 3*q - 240, -2*q - 300 = -5*k. Let u = 5 - -1. Does 10 divide k*((-16)/u)/(-4)?
True
Let j = 235 - 200. Suppose 0*i + j = v - i, 4*i - 46 = -2*v. Is v a multiple of 28?
False
Let q = -48 + 59. Let s(z) = 9*z**2 + 14*z - 21 - q*z + 18*z - z**3. Does 12 divide s(9)?
True
Suppose -21 = -11*z + 1. Suppose -8 = 4*c, 2*c - 3*c = 4*f + 6. Is 84/2 + z*f a multiple of 20?
True
Let w be 7/(-35)*-35*(-1 - -2). Let c(l) = 5 + l - 6*l - l**3 - 5 + 6 + 9*l**2. Is 46 a factor of c(w)?
False
Suppose 3*z = -u + 3, -3*u + 1 = 5*z - 4. Let i be 15/(-15) - (z + -7). Suppose -i*c + 244 = -416. Does 22 divide c?
True
Let l be (-4)/56*4 - 10/(-35). Suppose 3*k = -r + 2*k + 28, l = -3*r + 3*k + 114. Is 5 a factor of r?
False
Let w(q) = q**2 - 2*q - 9. Let d be w(5). Suppose 1952 = d*l - 1774. Is l a multiple of 60?
False
Does 20 divide ((-44)/(-14))/((-4)/(-6608))?
False
Let k be ((-15)/(-15))/(1/2). Suppose i = -4*b + 51, -k*b = i - 0*b - 51. Is i + 4/(-3) + 9/27 a multiple of 3?
False
Suppose -16*c + 20*c = p + 6534, -5*c + 3*p = -8164. Is c a multiple of 2?
True
Suppose 3*j - 71121 = -3*i, -234*j - 25 = -229*j. Does 57 divide i?
True
Let i be -689*2/(-4) + 112/(-224). Let z = i + -288. Is z a multiple of 13?
False
Let w = 7189 + -3990. Is 4 a factor of w?
False
Let x(n) = -7*n - 23. Let o be x(-4). Sup