e
Suppose 15604848 = 183*n + 331*n - 103*n. Is 28 a factor of n?
True
Let q(i) = -2*i - 10. Let x be q(-5). Let c(a) = a**3 - a + 3. Let j be c(x). Suppose -j*d + 6*d - 366 = -5*w, 0 = -d + w + 114. Is 21 a factor of d?
False
Let z be 24/11 + -2 - 3392/(-583). Suppose 1824 = 5*w - 3*v, -9*v = 3*w - z*v - 1080. Is w a multiple of 33?
True
Suppose 9*f - 9 = 9. Suppose -f*u - 73 + 3 = -m, 75 = m - 3*u. Is m a multiple of 5?
True
Suppose 4*t - 14020 = -x, -2*x + 7010 = -6*t + 8*t. Is t a multiple of 31?
False
Suppose -3*i = 5*c - 24246, c = 4*c + 5*i - 14538. Is c a multiple of 49?
True
Let v = -342 - -2169. Is v a multiple of 21?
True
Is 1/(-3*(-15)/31590) a multiple of 54?
True
Suppose 2994 = 5*r - 4*w, 19*r - 3*w + 7*w = 11262. Is 33 a factor of r?
True
Suppose -217*g + 169*g + 131760 = 0. Is 45 a factor of g?
True
Let u(l) = -l**2 - l + 3. Let s be u(11). Let j = 195 + s. Is j a multiple of 11?
True
Let r be 1/(56/(-16) + 4). Is 13 a factor of (-3327)/(-3) + -4*(r - 1)?
True
Does 17 divide ((-297)/18)/11*(1 + -1 - 1346)?
False
Suppose 2*t + 5*z = -528 + 998, -238 = -t - 2*z. Is t a multiple of 7?
False
Let r(k) = 3*k + 41. Let j be r(-12). Suppose -5*p - 1912 + 10706 = 3*g, 3*p - 5270 = -j*g. Suppose l + 7*l - p = 0. Does 22 divide l?
True
Suppose 3*n + 468 = 4*m, 5*n - 4*n = 3*m - 346. Suppose 6*z = z - 420. Let h = m + z. Does 9 divide h?
False
Let i = -902 + 1429. Suppose -4*c + i + 709 = 0. Is 12 a factor of c?
False
Suppose 0 = 10*j - 8*j - 3*z - 5394, -2*z = -3*j + 8091. Is 10 a factor of j?
False
Let c be 7 + -13 + 1 + 2. Let p(g) = 24*g + 12. Let x(j) = 24*j + 11. Let f(w) = c*p(w) + 2*x(w). Does 48 divide f(-6)?
False
Let o(z) = -z + 374 + 6*z - 386 + 0*z. Let d = 2 - -3. Does 9 divide o(d)?
False
Let m(x) = x**2 - 14*x + 21. Let j be m(13). Let w = j - 5. Suppose b + 352 = w*o - 174, -o + 3*b + 170 = 0. Is o a multiple of 16?
True
Let b = 38150 - 25442. Does 24 divide b?
False
Suppose 0 = 4*o - 41*o + 222. Is (57 - (-3 + o)) + (0 - 5) a multiple of 7?
True
Let c = -14098 - -30812. Is c a multiple of 15?
False
Suppose -10*u = -9*u - 17. Let x(k) be the second derivative of -k**3/6 + 32*k**2 + 60*k. Is 3 a factor of x(u)?
False
Suppose 7*i = -3*i + 550. Suppose 60*s - i*s = -310. Let o = 76 + s. Is o a multiple of 9?
False
Suppose 8*z - 81 + 1 = 0. Let o be 12 - z - (-97 - 1). Let h = o + -30. Is h a multiple of 14?
True
Suppose 4*m + 10*y = 11*y + 22, 0 = y - 2. Is ((-2)/m - (-175)/75) + 205 a multiple of 9?
True
Suppose -2*d - 8*i = -29432, -79*i + 83*i + 14660 = d. Does 27 divide d?
True
Let n(c) = 507*c - 168. Let b be n(14). Is (-8)/3*b/(-140) a multiple of 12?
True
Suppose 3*m - 5*l - 5378 = -1224, 4166 = 3*m + l. Let v = -190 + m. Does 18 divide v?
False
Suppose -518*i + 497*i + 20601 = 0. Is 2 a factor of i?
False
Let j = -46192 + 78352. Is j a multiple of 20?
True
Let j be (-12)/(-4)*1850/(-15). Let h = j + 520. Suppose n + 4 = 0, h = -4*y + 7*y + 3*n. Does 9 divide y?
True
Let z be (5 + -6)*-60 + 8/(-2). Suppose 65*l - 1269 = z*l. Does 24 divide l?
False
Suppose 333*o - 133*o - 714000 = 0. Is o a multiple of 6?
True
Suppose 221*z = 223*z + 3*y - 7486, -y = -3*z + 11218. Is z a multiple of 110?
True
Let f(l) = -l**3 - 8*l**2 - 3. Let i be f(-8). Let c be (54/15)/(i/(-75)). Suppose -s + c = -0*s - 3*z, 295 = 3*s - 4*z. Does 21 divide s?
True
Is -3 + 17/(17/1590) a multiple of 23?
True
Is 1*(327 - -10) + -2 even?
False
Let w(s) = -81*s + 8410. Is w(0) a multiple of 48?
False
Let k(a) be the first derivative of a**5/12 - a**4/8 + a**3 - 5*a**2/2 - 32. Let f(c) be the second derivative of k(c). Is 2 a factor of f(2)?
True
Suppose 55*h - 57*h - 14 = 0, -2*z + 3*h = -7333. Is z a multiple of 76?
False
Let s(w) = 2*w + 4. Let j be s(5). Let i(t) = -t**3 + 14*t**2 - 44*t + 33. Let a be i(10). Is 8 a factor of ((-218)/(-1))/(a/((-49)/j))?
False
Suppose -11*w + 5 = -28. Suppose -c = 2*p - 1092, -2*p = -w*c + 8*c - 1076. Does 38 divide p?
False
Let v(k) = 1195*k**2 + 15*k + 40. Is v(-3) a multiple of 115?
False
Suppose 5*m + 16 = 9*m + 2*w, 2*m - 8 = w. Suppose -404 = m*h + 2*z - 1796, 0 = 3*h + 3*z - 1038. Does 4 divide h?
False
Suppose 4*x - 19375 = -3*z, -5*x = 2*z - 5347 - 18863. Is 61 a factor of x?
False
Suppose -5*v - 2*w + 982 = -152, 0 = -3*v - w + 680. Let t = v - -159. Is t a multiple of 11?
True
Let v = 55 + -51. Suppose -3*m + 41 - 146 = -2*x, -v*m = -x + 40. Suppose 7*u = 5*u + x. Does 6 divide u?
True
Suppose 12*h + 11*h = 0. Suppose h = 4*x + 20, -k = 3*k + 4*x - 76. Does 20 divide k?
False
Is 98/1274 + 1/(26/1317600) a multiple of 17?
True
Suppose -4*i - 20 = 0, -3*m - i + 4 = -0. Suppose r - 138 = -5*p, -5*r + r - m*p + 552 = 0. Is r a multiple of 20?
False
Suppose -37*y + 39*y = 14. Let j(m) = -4*m**3 + 5*m**3 + 9*m**2 + y*m**2 - 21*m + 0*m**3 - 18. Is 14 a factor of j(-17)?
False
Let p = 65 + -160. Let t = -90 - p. Suppose 13*u - t*u - 312 = 0. Is 2 a factor of u?
False
Suppose 27*o - 22*o - 10 = 0. Suppose o*p - 127 = -5*s + 2*s, 0 = -p - s + 65. Suppose 2*j + p = 2*t - t, -5*t + 333 = -3*j. Is t a multiple of 22?
True
Suppose -548340 = 313*h - 858539 - 938045. Is h even?
True
Suppose -7*t + 8*t - 15 = 0. Suppose -12*b = -t*b - 6. Is (-712)/(-24) + b/(-6) a multiple of 6?
True
Suppose 73*r = 50*r + 17618. Is 17 a factor of r?
False
Suppose -12*x - 38880 = -36*x. Does 27 divide x?
True
Let y(v) = v**3 + 6*v**2 - 9*v - 5. Let g be y(-7). Let s(f) be the third derivative of f**4 - 4*f**3/3 - 7*f**2. Is s(g) a multiple of 16?
True
Let m(j) = 27*j**2 + 88 - 125 + 38*j**2 + 10*j. Is 13 a factor of m(4)?
False
Let q(m) = 24*m - 14. Let x(g) = -24*g + 15. Let f(a) = -6*q(a) - 7*x(a). Let n = -5 + 8. Is f(n) a multiple of 30?
False
Let i be (6/(-10))/(6/60). Suppose -u - 35 = -3*q, -3*q + 9 = -6*q. Let a = i - u. Is 19 a factor of a?
True
Suppose v + 2*v = -4*z + 160, 3*z = 4*v - 255. Let d be (14 + 1)*(174/18 + -3). Let x = d - v. Is 20 a factor of x?
True
Let m = 80 + -94. Let u be (-1844)/m + (-18)/(-63). Suppose 0 = 6*d - 8*d + u. Is 6 a factor of d?
True
Let t = -387 - -750. Suppose t + 2337 = 4*i. Is 25 a factor of i?
True
Let s(g) = 7*g**3 + 11*g**2 - 7*g + 121. Let a be 1/(3/(7*-3)) - -3. Let z(o) = -3*o**3 - 5*o**2 + 3*o - 61. Let x(b) = a*s(b) - 9*z(b). Does 13 divide x(0)?
True
Let z(o) = -3*o - 2. Let q(c) = -c. Let j(d) = -2*q(d) + z(d). Let r be j(-2). Suppose 0 = 4*i + 2*h + h - 235, r = i + 4*h - 75. Is 17 a factor of i?
False
Let m be (4 - 17) + 2 + -9. Is (-10)/25 + (12024/m)/(-3) a multiple of 18?
False
Suppose 112 + 2 = -2*d. Let t = d + 36. Let a = 40 + t. Is 19 a factor of a?
True
Suppose 0 = 9321*c - 9353*c + 65280. Is c a multiple of 6?
True
Let h = 25188 + -14868. Is 80 a factor of h?
True
Suppose -6*d + 11*d + 265 = 0. Let r = 2 - d. Suppose 6*y = 131 + r. Is y a multiple of 14?
False
Suppose -16206 = -29*s + 16564. Does 18 divide s?
False
Let b = 27920 + -22140. Does 34 divide b?
True
Let z(v) = 103*v - 1. Let o be z(-1). Let h be ((o/(-16))/13)/(2/20). Suppose -h*l - 2*l + 1470 = 0. Does 21 divide l?
True
Let u(c) = 2*c**3 - 35*c**2 + 17*c + 57. Is 88 a factor of u(18)?
False
Let s(p) = p + 28. Let y be s(-23). Does 30 divide (110 + (11 - y))*1?
False
Suppose 833*t + 15372 = 840*t. Does 29 divide t?
False
Let w be (-269 + -7)/(6/(-8)). Suppose 4*r - 5*p = w, r - 372 = -3*r + 4*p. Suppose -3*t + 5*h + r = 0, 5*h - 141 = -0*t - 4*t. Does 4 divide t?
False
Let r be (-1)/2 + (-6)/4. Let y(g) = -3*g - 206*g**2 + 204*g**2 + 0*g - 7*g**3. Does 27 divide y(r)?
True
Suppose -170*l + 75*l = -63*l - 125952. Is 123 a factor of l?
True
Let m be (-1 - -2)*(-600)/(-24). Let o = m - -175. Does 10 divide o?
True
Let k(g) = 369*g**2 + 126*g + 679. Does 95 divide k(-6)?
False
Let g(c) = -c**3 + 7*c**2 - 3*c - 7. Let o be g(6). Suppose 4*h = o*h. Suppose 8*f + 0*f - 832 = h. Is f a multiple of 26?
True
Suppose -8*o = -225 - 95. Is (o/(-32))/(4/(-16)) a multiple of 5?
True
Let x(v) = v + 5. Let o be x(2). Suppose -2 = -o*u - 2. Suppose u = 20*k - 25*k + 125. Does 9 divide k?
False
Let q(s) = 17*s**2 + 3*s + 13. Let z = -404 + 401. Is 69 a factor of q(z)?
False
Let r(q) = 606*q**2 + 13*q - 15. Let a be r(1). Does 8 divide a/8*(4 - 2)?
False
Let b be (-12)/32*4 - 9/(-2). Suppose -4*o = 2*t - 142, -5*o - 30 + 248 = b