 multiple of 23?
True
Suppose -174110 = 111*m + 108*m - 265*m. Does 13 divide m?
False
Let f(h) = 2*h - 3*h - 5 + 4 + 0 + h**2. Let i(m) = -m**3 - 17*m**2 - 7*m + 14. Let q(y) = -f(y) - i(y). Does 23 divide q(-15)?
True
Let n(w) = -w**3 - 37*w**2 + 80*w + 81. Let h be n(-39). Suppose -21*c = -16*c + a - 3595, 0 = -h*a - 15. Does 35 divide c?
False
Suppose 7*f = -1121 + 428. Let a = 157 + f. Is 2 a factor of a?
True
Let b(k) = -35*k + 161. Let y be b(5). Is 8 a factor of 37*3/((-6)/y)?
False
Let a = 38937 + 2005. Does 59 divide a?
False
Let q be (11 - 25)*22/2. Is 4 a factor of ((-6)/13)/(-3) - q/13?
True
Suppose -2472 = 56*c - 59*c + 2*a, -3*a = -c + 817. Does 7 divide c?
True
Let r = 6421 - -2562. Is r a multiple of 8?
False
Let h(x) = 14*x**2 + 51*x + 817. Does 40 divide h(-21)?
True
Let j = -81 + 74. Let q(v) = -36*v + 44. Is 37 a factor of q(j)?
True
Suppose 0 = 68*h - 74*h + 1962. Let n = h + -247. Is n a multiple of 5?
True
Let n(d) = -3*d - 6. Let o be n(-3). Suppose a - o*j + 6 = 0, -8*a + 5*a - j + 2 = 0. Suppose 6*q + 125 - 407 = a. Is 47 a factor of q?
True
Suppose 105*h - 399*h = 80*h - 10071072. Is h a multiple of 187?
True
Let c(w) = -92*w**3 + 6*w**2 + 2*w + 2. Suppose -13 = 3*q - 10. Is 7 a factor of c(q)?
True
Suppose 5*w - 3*i = 52, 2*w + 3*i - 20 = -2*w. Suppose 11*a + 3 = -w. Is 29 a factor of ((-6)/4 - a)*-284 + 3?
True
Suppose -860 - 3200 = -5*z. Suppose -3276 = -4*r - 2*j - z, -1224 = -2*r + 3*j. Does 10 divide r?
False
Let y(z) = -15 + 9 + 885*z**3 + 6. Is 69 a factor of y(1)?
False
Let g be (-7 + 1)/(90/(-5625)). Suppose g = 8*y - 1929. Is 9 a factor of y?
True
Suppose -2*i - 4*n + 22 = 0, 0 = 4*i - 9*i - 3*n + 27. Suppose 0 = -4*k - 3*g - 15, -4*k - i = -4*g + 5. Is 30 a factor of k/(-1) + 3*-49*-1?
True
Suppose 29*l = 33*l + 76. Let o(x) = -x**3 - 21*x**2 - 39*x - 15. Let v be o(l). Is (1 + -46)/(9/(-72)*v) a multiple of 13?
False
Let l = -240 - -276. Is 5 a factor of (-4)/(1/l*-3)?
False
Suppose -290427 - 1638966 = -151*w + 1395023. Is w a multiple of 16?
True
Suppose 6 = -3*f, -2 = -d - 3*f - 4. Suppose -2*o + 5 = -2*j + 1, 2*o = j + d. Suppose -4*w = o*n - 56, -w - 5*n - 5 + 1 = 0. Is w a multiple of 5?
False
Suppose -407*d + 1496638 = 28435 - 263989. Is d a multiple of 76?
True
Suppose 2419089 + 4070241 - 986448 = 301*q. Is 66 a factor of q?
True
Suppose -3*d + g = -1080, 0 = 5*d + 3*g - 8*g - 1810. Let m be 22/99 - d*(-2)/9. Let i = -73 + m. Is i a multiple of 7?
True
Let o(f) = f**2 + 5*f - 5. Let m be o(-5). Is 16 a factor of (-7)/((-140)/m) - (-2349)/4?
False
Suppose 0 = -4*h + 5*m + 49, -3*h - 16 = 2*m - 47. Let l be (66/(-12))/h*(-7 - -1). Suppose 0*y = l*y - 132. Is y a multiple of 7?
False
Let j be -3*(2 + 3/(-1)). Suppose j*m = 19*m - 2912. Does 14 divide m?
True
Let o = 1 - 0. Let w(g) = -45*g + o + 1 + 4 + 0. Is w(-5) a multiple of 21?
True
Suppose -5*s + 72*s + 8521700 = 342*s. Is s a multiple of 127?
True
Let m be 165 + -2 + (-22 - -19). Is 5 a factor of m + (0 - (3 - 8))?
True
Is 178 a factor of (19060/10483)/((-4)/(-9790))?
True
Let b be (-2)/(-21) - (-322)/(-294). Is 3 - (b + 0) - -339 a multiple of 13?
False
Suppose 3*y - 2*s + 8 = 77, -72 = -3*y + 3*s. Suppose -w + 28 + y = 0. Does 7 divide w?
True
Suppose -17*i + 2425 = -16419 - 21956. Is i a multiple of 32?
True
Let p = -74 - -813. Let k = 1530 - p. Is k a multiple of 38?
False
Let w(u) = u**3 + 12*u**2 + 14*u. Let n be w(-10). Let x = n - 55. Suppose -x*j + 49 = -6. Does 8 divide j?
False
Let i = 39399 - 3132. Is 40 a factor of i?
False
Let w be (-126)/((-3)/6 - 1). Suppose 0 = -2*q - 5*q - w. Let d(a) = 2*a**2 + 18*a + 25. Is d(q) a multiple of 37?
False
Suppose -24*j - 129931 = -5*j - 369844. Does 88 divide j?
False
Suppose s = r - 8413, 5*s - 5871 = -3*r + 19376. Is r a multiple of 23?
False
Let g(f) = 624*f**2 - 324*f - 1313. Does 5 divide g(-4)?
False
Let i(q) = 45*q + 1693. Is 28 a factor of i(19)?
True
Let m(w) = w**2 - 34*w + 183. Let l be m(31). Is 3 a factor of ((-320)/l)/16 + 274/18?
True
Let h = 282 - 151. Let u(v) = 17*v**2 - v + 1. Let w be u(-2). Let q = h - w. Is 10 a factor of q?
True
Let h(x) = -2*x**3 - 16*x**2 + 5*x + 21. Let l(z) = z**3 - z. Let k(m) = -h(m) - l(m). Suppose 0*s + 3*s + 5*q = -43, 3*q = -4*s - 61. Is k(s) a multiple of 6?
False
Let d = -29 - -29. Suppose 4*n = -r + 171, n - 2*r + r - 39 = d. Does 18 divide n - (-5 - (-2 + -2))?
False
Let b be 41/((-7)/((-28)/(-4))). Suppose 0*d + 4*d = -320. Let z = b - d. Is 13 a factor of z?
True
Suppose 2*q = 0, 0 = -2*s + 5*q + 26 - 36. Let v(y) = 6*y**2 - 20*y - 17. Is 21 a factor of v(s)?
False
Suppose 0 = j - o - 503, -j = 3*j + 3*o - 2033. Suppose -j = -4*m + r + 283, 608 = 3*m - 4*r. Is m a multiple of 14?
True
Let w(f) = -54*f + 36. Does 18 divide w(-33)?
True
Let v = 674 + 6989. Is 18 a factor of v?
False
Let p(n) = 17 - 5*n + 3*n + 10*n + 5*n**2 - 12*n. Is 26 a factor of p(4)?
False
Let r(y) = 52*y**2 - 226 + 15*y**2 + 436 - 7*y - 219. Is 33 a factor of r(-1)?
False
Let c = 96664 - 56553. Is c a multiple of 27?
False
Let m = -98 - -103. Suppose w = -2*w + m*w. Suppose 4*r + 5*r - 1431 = w. Is 53 a factor of r?
True
Suppose 99*z - 2*n = 106*z - 15131, -4*n - 10797 = -5*z. Does 11 divide z?
False
Let j(k) = 52*k**2 + 435*k - 80. Is 72 a factor of j(-18)?
False
Suppose 863*p - 865*p = -2*v + 7728, -12 = 4*p. Is 13 a factor of v?
True
Let h = 167 + -163. Suppose h*g + 118 = 2*c, -3*c = -c - 3*g - 113. Is 11 a factor of c?
False
Let f be 1 + -1 + (20/4 - -4). Suppose a = -2*u + 703, 0 = -a - 10 + f. Is 22 a factor of u?
True
Suppose 4*c + 594 = 22074. Suppose 96*y - c = 90*y. Is y a multiple of 10?
False
Let h = 529 - 199. Suppose -h = -4*a - 5*z + 43, 2*a = -z + 185. Is 16 a factor of a?
False
Let o = -4387 - -7363. Does 6 divide o?
True
Is ((-60470)/40 + 7)/(1/(-4)) a multiple of 8?
False
Let p(s) = -5*s**2 - 14*s - 1. Let i be p(-4). Let x = 30 + i. Suppose 0 = -2*g - 5*f + 237, 399 = 5*g - g - x*f. Does 11 divide g?
False
Let h(f) = 40*f**2 + 71*f - 49. Is h(29) a multiple of 10?
True
Let z = 521 + -522. Is 87 a factor of z/(-2) + (-2782)/(-4)?
True
Suppose 1938*t + 49374 = 1944*t. Is t a multiple of 15?
False
Is 6*3/(-3) + 21/((-126)/(-48768)) a multiple of 92?
False
Let h(t) = t**3 + 17*t**2 - 22*t - 5. Does 9 divide h(-17)?
True
Let b(l) = 15 - l - 3*l + 62. Let g be b(25). Let r(y) = y**2 + 12*y - 38. Is r(g) a multiple of 8?
False
Let c be (-5988)/(-10) + (-7)/(-35). Let x = c - 201. Does 39 divide x?
False
Is (-6)/(1*((-533329)/5320390 - 2/(-20))) a multiple of 202?
False
Let a(s) = 2*s**3 - 17*s**2 - 5*s - 11. Let b be a(9). Suppose -5*j - 2*x + 63 = 0, -2*j + b = -x - 2. Does 6 divide j?
False
Suppose -5*f = 59 - 69. Suppose -5*j = f*h - 439, 51*h - 48*h = -2*j + 631. Does 33 divide h?
False
Let w = -10212 - -10496. Does 40 divide w?
False
Suppose -58 - 230 = -4*w. Suppose p - 10*p + w = 0. Is 18 a factor of 2/p + -10*(-669)/24?
False
Suppose 4*d + 46 - 8 = 3*f, 3*f + d - 58 = 0. Suppose 354 = -f*x + 24*x. Is x a multiple of 2?
False
Suppose 0 = 5*n + 4*j + 58, 5*j + 0*j = n + 29. Is 4 a factor of (-1 - n/10) + 92778/705?
True
Let f = -13953 - -19595. Is 85 a factor of f?
False
Let s(t) = -14*t - 85. Let d(p) = 7*p + 43. Let i(o) = 5*d(o) + 3*s(o). Let r be i(-11). Let x = 43 + r. Is 10 a factor of x?
True
Suppose -4*i + 6*g + 64 = 18, 0 = -4*i + 3*g + 31. Suppose -5*q + 0*q = 0. Suppose i*r + 4*d - 96 = q, -8*r + d = -3*r - 144. Does 6 divide r?
False
Let b(w) be the first derivative of w**4/4 + 10*w**3/3 + 3*w**2 + 11*w - 73. Let d = -1 + -4. Is 14 a factor of b(d)?
False
Let y = -96 + 4775. Is y a multiple of 44?
False
Is (6847 + -2)/(-5 + 6 + 0) - 1 a multiple of 29?
True
Let f be 36/(-60) - (-18)/5 - -227. Does 23 divide ((3*f)/(-6))/(5/(-20))?
True
Is 14 a factor of (-3 + 95/25)/(-1) - (-260245)/25?
False
Let r be 20/3*(-18)/(-12). Let f(g) = -2*g**2 + 2*g + 14. Let p be f(r). Is p/(-10)*15/3 a multiple of 23?
False
Let y = 641 + 72. Is 31 a factor of y?
True
Suppose -10*p = 595 + 795. Let c = p + 200. Is c a multiple of 4?
False
Let f = 82 + -77. Let l be (-1)/(-5)*5*f. Suppose l*z + 325 = 5*n + 10*z, 255 = 4*n + 3*z. Is 10 a factor of n?
True
Let f be (10/(-50)*6)/(4/(-10)). Is ((-30)/(-7))/((-2)/((-336)/f)) a multiple of 6?
True
Let m(d) = 