. Let b(c) = s*z(c) - 5*d(c). Is b(4) a multiple of 23?
False
Suppose -16*n + 45 = 13. Let m be 3 + (66 - n)/4. Suppose -1327 = -m*h + 611. Is 6 a factor of h?
True
Is 110 a factor of (-1153 - -141)/((-6)/15)?
True
Let o = -76 - -79. Suppose -5*r + 1756 = o*q, 2*q - 4*q - 1418 = -4*r. Is r a multiple of 16?
False
Let g(u) = -u**3 - 12*u**2 - 25*u - 2. Let c be g(-11). Suppose c + 520 = 6*n. Does 28 divide n?
True
Let m be -25 + 19 + (-1)/(0 - 1). Let t be (1/m)/((-15)/75). Let u(r) = 182*r**2 - 3*r. Does 19 divide u(t)?
False
Suppose 1629*z = 1623*z + 184917 + 67209. Is 207 a factor of z?
True
Let h be ((-70)/15)/(-7)*3. Suppose -5*i + h*n + 160 = 0, -185 + 5 = -5*i - 2*n. Suppose 4*o - i = -3*c, 3*o + 105 = -2*c + 7*c. Is 6 a factor of c?
True
Suppose 3744 = -739*m + 775*m. Is m a multiple of 2?
True
Let w(g) = -9*g + 33. Let t be w(4). Is 2 - (-8)/(t - -2) - -162 a multiple of 3?
True
Let m be (((-198)/(-4))/(-3))/((-37)/74). Suppose 32*f = m*f - 142. Does 16 divide f?
False
Let c(v) = 11*v**2 + 34*v - 307. Is c(17) a multiple of 23?
True
Let n(g) = -49*g + 51. Let z be n(-8). Let q = -243 + z. Does 10 divide q?
True
Let q(a) = -6*a - 25. Let n be q(-4). Is 16 a factor of (88/110)/(n/(-60))?
True
Suppose -45609 = -2*z - 3*b, -z + 22815 = -23*b + 28*b. Is z a multiple of 20?
True
Let s = -195 + 476. Suppose 0 = 5*t - s - 179. Suppose -i + 2*v - t + 394 = 0, -4*i + 1168 = 2*v. Is i a multiple of 49?
True
Let y = -28 + 56. Let w = y - 33. Is 10 a factor of 82 - -1 - (-3 - w)?
False
Suppose 162*g + 154488 - 326101 = 776573. Does 5 divide g?
False
Suppose 28*y - 85682 = 9579 + 58347. Does 26 divide y?
True
Suppose 2*r - 2464 = 16*r. Let w = r - -228. Does 4 divide w?
True
Let q(g) = 127*g + 8. Let a(k) = k**3 + 3*k**2 - 6*k - 5. Let s be a(-4). Is 29 a factor of q(s)?
False
Let q = 3765 + -3362. Does 4 divide q?
False
Suppose -2*z - 301*u = -300*u - 15160, 3*z - 22729 = 4*u. Is z a multiple of 6?
False
Suppose -3*y = -4*x - 16237, 27*y + x + 27073 = 32*y. Is y a multiple of 7?
False
Let w be 8*10 - 3/2*-2. Let j be ((-894)/(-24))/(1/4). Let q = j - w. Is 22 a factor of q?
True
Let q = 1580 - -13063. Is 50 a factor of q?
False
Let o(a) = -7*a - 31. Let v(z) = -z**2 - 15*z + 6. Let m be v(-16). Let k be o(m). Let x = k + 31. Does 10 divide x?
True
Let v(d) = 62*d**3 + 13*d**2 - 18*d + 110. Does 45 divide v(4)?
False
Does 49 divide (-501259)/(-11) + 15/(-3)?
False
Suppose -13*c + 8*c - 5*j - 45 = 0, 2*j = c. Let g(n) = -3*n**2 - 52*n + 1. Is 54 a factor of g(c)?
False
Suppose -34*w = -5*o - 37*w + 13434, -5*w + 10742 = 4*o. Does 3 divide o?
True
Suppose -g + 3795 = 26*n - 25*n, 0 = -2*g + 2*n + 7602. Does 22 divide g?
False
Let l(u) = 95*u + 9. Let a(z) = 379*z + 38. Let t(n) = 4*a(n) - 18*l(n). Is 10 a factor of t(-1)?
False
Let w(p) = 8*p**2 - 18*p - 43. Is w(-14) a multiple of 7?
False
Let f(s) = -6*s**3 + 5*s**2 + 23*s - 28. Is f(-5) a multiple of 2?
True
Suppose -5*b + 4*f = 6*f - 4, -4 = -4*b - 2*f. Suppose 3*r + 2*p = -6, -2*r + b*r + 3 = -p. Suppose -w + q = 4*w - 566, r = w - q - 114. Does 6 divide w?
False
Is 12500/4 + 30/(-6) + 0 a multiple of 48?
True
Does 75 divide (-7876)/(-33)*501*(-1)/(-4)?
False
Suppose 0 = -102*i + 72*i + 52*i - 16500. Does 25 divide i?
True
Let b(k) = k**3 - 2*k**2 + 11*k + 20. Let n be b(16). Let h = -6912 - n. Does 34 divide h/(-63) + 6/21?
True
Does 75 divide ((-609)/42)/(2 + (-249)/124)?
False
Suppose 3*k - 63*q = -58*q + 4787, -5*q - 35 = 0. Is 16 a factor of k?
True
Is 9 a factor of 8/60 - 6/(-90)*11473?
True
Let j(d) = -2*d - 10. Let a be j(-5). Let t be ((-74)/(-1) - a) + 0. Suppose -13*p + 15*p - t = 0. Is p a multiple of 4?
False
Let l = 55557 - 28325. Does 148 divide l?
True
Let n = 34839 + -15060. Does 61 divide n?
False
Let l(s) = -s**2 + 5. Let h be l(2). Let m be (-6 - -9)/(6/(-188))*h. Let q = 163 + m. Does 23 divide q?
True
Let n = 4002 - -3674. Is 65 a factor of n?
False
Let k = 1735 + -1664. Is k a multiple of 5?
False
Let z(r) = -r**3 + 11*r**2 + 2*r - 17. Let s be z(11). Suppose -s*o - 165 = -880. Does 15 divide o?
False
Let d(c) be the third derivative of c**5/60 + 11*c**4/24 + 97*c**3/6 + 4*c**2 - 10*c. Is 2 a factor of d(-15)?
False
Let a(q) = 166*q**2 - q. Let u be a(1). Suppose 3 = -w + 7. Suppose d - u = -w*d. Is d a multiple of 26?
False
Let u = 537 - 140. Let k = 985 - u. Is k a multiple of 42?
True
Suppose s - d = -6*d + 95, 4*s - 3*d - 334 = 0. Let b = 137 + s. Let n = b - 135. Does 29 divide n?
True
Suppose 4*a + 2*p - 3036 = -p, 3040 = 4*a + 4*p. Suppose -3*y - a = -7*y. Is 21 a factor of y?
True
Suppose -4*q + 3*m - 8 - 4 = 0, -q = 2*m + 3. Is 0/1 + q + 299 a multiple of 10?
False
Let x be (-19)/38 - (-7)/2. Suppose -20 = -3*c - x*z + 4, c = 3*z - 4. Is c even?
False
Let q(m) = -3*m**3 + 3*m + 2. Let y be q(-3). Suppose 5*f = -2*w - 145, 0*w - w = 3*f + y. Let s = w + 109. Does 9 divide s?
False
Let b be (5/7 - 1) + (-481)/(-91). Let r be b/4 - -1 - 4/16. Suppose -16 = -4*k, -r*k + 35 = 6*j - 3*j. Does 9 divide j?
True
Let f be (-130 + 16)*(-1)/3. Let q = -9 - f. Let y = 86 + q. Does 3 divide y?
True
Suppose 4*i = -2*k + 1060, 2*i + 1598 = 3*k - 0*i. Suppose a = 5*z - 17, -27 = -5*a + 8*z - 11*z. Suppose k = a*y - y. Is y a multiple of 19?
True
Let t(u) be the second derivative of -u**4/12 + 13*u**3/3 + 43*u**2 - 12*u + 2. Is t(19) even?
False
Let r be (-150)/(3*(-3)/9). Let v(x) = x**3 + 8*x**2 - 9*x + 11. Let n be v(-9). Suppose -n*q + 6*q = -r. Is q a multiple of 6?
True
Let q(n) = -n + 57. Let j be q(7). Suppose j*p - 48*p = 414. Is 9 a factor of p?
True
Let k(x) = 2*x**2 + 5*x - 7. Let i be k(-5). Suppose 0 = -i*r + 21*r - 141. Is 5 a factor of r?
False
Let u = 14377 + 1347. Does 47 divide u?
False
Suppose 1619*j = 1719*j - 855800. Is j a multiple of 22?
True
Suppose -22*w + 12 = -18*w. Suppose 0 = -2*a + 3*n, 2*n + n = -w*a - 30. Let i(y) = 5*y**2 - 11*y. Does 30 divide i(a)?
False
Suppose 0 = 20*g - 24*g + 408. Does 12 divide ((-3*10)/(-1))/(17/g)?
True
Let v = 169950 - 109644. Is v a multiple of 23?
True
Let n be 16/(-24) + (-1 - (-1262)/3). Let z = n - 212. Suppose -v = 3*a - 715, 2*a + 3*v = 265 + z. Does 28 divide a?
False
Let x be 50/(-15)*(-18)/15 + 193. Let b = 734 - x. Is b a multiple of 10?
False
Is 14 a factor of 1237 + 2/(-13) + (-476)/(-52)?
True
Let p(u) = -1. Let m be (-13 - -11)/((-2)/((-4)/(-2))). Let v(d) = d**2 + 26*d - 10. Let t(i) = m*p(i) - v(i). Is t(-17) a multiple of 23?
True
Suppose -18*d + 341 = -163. Let h(u) = u**2 - 29*u + 30. Let n be h(d). Suppose 39 = -5*r + 5*i + 239, 0 = 4*r + n*i - 136. Is r a multiple of 18?
True
Let a(m) = -6*m + 14. Let v be a(2). Suppose 0*j = v*j - 212. Is 4 a factor of j?
False
Let h be 53*((-8)/6)/((-2)/3). Suppose -h*v = -96*v - 2020. Is v a multiple of 39?
False
Suppose 28*r - 13152 = 26748. Suppose r = 72*v - 67*v. Is v a multiple of 21?
False
Is (-552)/(-115) + (-2 - 3) - (-115424)/20 a multiple of 10?
False
Let v(b) = b**3 - 24*b**2 - 49*b - 47. Let x be v(26). Let w(c) = 5*c + 177. Is 21 a factor of w(x)?
False
Let i = 54 - 32. Suppose 0 = -5*a, -22*a - 15 = -5*p - 21*a. Suppose i + 143 = p*w. Is 21 a factor of w?
False
Suppose -3*b = 9 + 75. Let u = b - -27. Is 28 a factor of 30 - (4 + -6)*u?
True
Suppose -152*m + 378162 = -15*m + 12*m. Is m a multiple of 9?
True
Let z(m) = 126*m**2 + 7*m - 20. Let w be z(2). Let b = w - 141. Does 17 divide b?
True
Suppose -g + 0*v + 22 = 5*v, v = -2*g + 8. Suppose -g*n = -17 + 1. Let j(h) = h**3 - 10*h**2 + 17*h + 10. Is j(n) a multiple of 18?
True
Let h(t) = 3*t**3 - 7*t**2 - 13*t - 13. Let p(n) = -n**3 + 4*n**2 + 7*n + 6. Let b(z) = -2*h(z) - 5*p(z). Does 12 divide b(-5)?
False
Is (-76 + 42)/((-2)/778) a multiple of 23?
False
Let s = -12550 - -20009. Is 11 a factor of s?
False
Let f(j) = -813*j - 405. Does 64 divide f(-9)?
True
Let w = 244 + -255. Let b(u) = -9*u + 19. Is 15 a factor of b(w)?
False
Suppose -2*m - 22597 = -117*o + 112*o, 2*m = -4*o + 18074. Does 33 divide o?
False
Suppose g - 743 = -2*m, 19*m - 367 = 18*m + g. Does 2 divide m?
True
Suppose 2861*p - 6 = 2858*p. Is 1 - 1962/(-12)*p a multiple of 41?
True
Let i be (-62713)/(-12) - (-2)/(-24). Suppose -6*k = 816 - i. Does 12 divide k?
False
Let w = -56 - -12. Suppose 58*z - 416 = 71*z. Let c = z - w. Is 3 