 n?
True
Let z = 414 + -279. Does 5 divide z?
True
Suppose 0 = -3*o - 18*o + 15099. Is 29 a factor of o?
False
Let w(s) = -3*s**2 - 9*s + 12. Let h be w(-5). Let q = h - -102. Is q a multiple of 21?
True
Let f be (-1 - (-15)/9)/((-11)/(-33)). Let b(s) = -10*s + 2. Let a be b(-3). Suppose 6*k - a = f*k. Is 3 a factor of k?
False
Suppose 17313 = 5*j + 24*j. Does 10 divide j?
False
Let c(y) = -y**3 - 10*y**2 - 5*y + 9. Let a(p) = -2*p**3 - 19*p**2 - 10*p + 18. Let i(o) = 3*a(o) - 5*c(o). Is i(-6) a multiple of 3?
True
Let w(j) = -7*j + 6. Let z(r) = 2. Let g(q) = -1. Let n(a) = -3*g(a) - 2*z(a). Let v(p) = -6*n(p) - w(p). Is 14 a factor of v(4)?
True
Let d(v) = -33*v - 9. Let m(c) = -2*c - 14. Let z be m(-6). Does 12 divide d(z)?
False
Suppose -x + 279 + 132 = y, 4*x + 5*y - 1649 = 0. Is 9 a factor of x?
False
Let i(o) be the first derivative of 4*o**3/3 - 5*o**2/2 - 2*o + 6. Let v be i(-6). Suppose 5*c - 3*c = v. Is c a multiple of 22?
False
Let s = 84 - 48. Let u = 53 + 9. Let z = u - s. Is 7 a factor of z?
False
Suppose 4*s - 163 = 85. Suppose -586 + s = -4*k. Suppose 0 = 5*d - 3*w - 151, w - k = -d - 3*d. Is 8 a factor of d?
True
Let k = 4219 + -859. Is k a multiple of 96?
True
Suppose -5*f + 2*q = 429 - 77, f - q = -71. Let n = f + 182. Is n a multiple of 14?
True
Is -4*((-7532)/16 - -9) a multiple of 42?
False
Suppose -469 = -17*i + 1741. Does 13 divide i?
True
Let m = -2551 + 6639. Is m a multiple of 28?
True
Suppose -449 = 8*f - 2025. Suppose 4*b - f = -5*a, -3*b + 43 = a - 3. Is a a multiple of 10?
False
Suppose 18*x = 51694 + 19550. Is x a multiple of 18?
False
Let o(u) = -7*u - 8. Let k be o(-8). Suppose 6*n + k - 498 = 0. Is 16 a factor of n?
False
Let k(a) be the second derivative of -a**3/3 - a**2 + 3*a. Let x be k(-3). Suppose 75 = x*t + t. Is 11 a factor of t?
False
Suppose 0*p + 27 = 9*p. Suppose 0 = -4*g - p*g + 588. Does 21 divide g?
True
Suppose 2*m + 89 - 61 = 0. Let y(s) = s**2 + 9*s - 8. Is y(m) a multiple of 28?
False
Let m be 6/5*(-10)/(-3). Is (m/6)/(4/144) a multiple of 8?
True
Let o = 1330 + -147. Is o a multiple of 13?
True
Suppose 0 = 12*v + v - 1560. Is 8 a factor of v?
True
Let t = 796 - 552. Is 61 a factor of t?
True
Let g(u) = u**3 + 2*u**2 - 3*u - 2. Let y be g(-2). Suppose -4*h = y*h - 760. Is 11 a factor of h?
False
Suppose 17928 = 17*m + 10*m. Is m a multiple of 8?
True
Let w(f) = 4*f + 181. Is w(48) a multiple of 57?
False
Suppose 0 = 7*s - 0*s + 28. Let v be 28/(-21)*(-18)/s. Let p(u) = -u**3 - 4*u**2 + 6*u + 3. Is p(v) a multiple of 13?
True
Suppose -z - 2*u + 9 = 0, 5*u - 47 = -5*z - 7. Let t(h) be the second derivative of h**4/6 - h**3/6 - 5*h**2 - h. Is t(z) a multiple of 21?
False
Suppose 0 = -w - 5*k + 2139, -7337 - 1219 = -4*w - 5*k. Is w a multiple of 46?
False
Suppose 13383 = 8*y + 4399. Does 55 divide y?
False
Suppose -3*s - 1930 = 7*s. Let r = 416 + s. Does 12 divide r?
False
Suppose 0 = 8*w + 1092 - 4948. Is w a multiple of 18?
False
Let z(a) = 42*a - 140. Does 65 divide z(6)?
False
Let k(t) = -41*t + 326. Let p be k(8). Suppose 0 = 4*m - 2*m + 2*b - 22, 0 = -3*m + 2*b + 53. Let f = m - p. Is 8 a factor of f?
False
Suppose -16500 + 3018 = -42*t. Does 51 divide t?
False
Let g be 1*0/((-9)/3). Suppose 4*k = -3*b + 118, g = -k - 4*k - 4*b + 148. Let r = 74 - k. Is 23 a factor of r?
True
Let r(w) = -14*w + 3. Suppose 7 = -3*b - 29. Does 9 divide r(b)?
True
Let j = -4873 + 6931. Does 21 divide j?
True
Let d be (-71)/(3 - 4) + 1. Suppose -5*m = 5*r - 280, -5*r + 5*m + 188 = -d. Is 27 a factor of r?
True
Suppose 72*g - 2920 = 64*g. Does 8 divide g?
False
Suppose -q - 3 = -0*q, 2*q - 1 = -j. Suppose 0 = -u + 25 - j. Is u even?
True
Let q be (9 - 11)*22/4. Let y = q + 16. Suppose -2*p - v = -183, y*p - 64 = 4*p + 5*v. Does 18 divide p?
False
Let x be (-7)/2*(-36)/21. Suppose -2*c - x - 10 = 0. Does 16 divide (-1608)/(-32) - (-2)/c?
False
Suppose 0 = -3*r + 2*p + 80, -3*r + 0*r - 5*p + 94 = 0. Is r a multiple of 28?
True
Let m = 263 + -130. Suppose -643 = -2*s - m. Is s a multiple of 25?
False
Let s(f) = f. Let i be s(6). Let l = 6 - i. Suppose 0 = -z + 12 - l. Does 8 divide z?
False
Let t(r) be the second derivative of r**4/6 + r**3/2 - 11*r**2/2 - 10*r. Is 22 a factor of t(-6)?
False
Let t(v) = -v**3 - 5*v**2 + 6*v - 4. Suppose -5*o = -5*i, 0*o = 5*i - 2*o. Suppose i*r = -5*r - 35. Does 23 divide t(r)?
False
Suppose 94*m - 74568 = 55*m. Does 11 divide m?
False
Let n(v) = v**3 - 13*v**2 - 13*v - 14. Suppose 2*h - 32 = -4. Let k be n(h). Suppose -g - 2*b + 46 = k, 5*g - 192 = g - 4*b. Does 24 divide g?
False
Suppose -3*t - 5*f = -3579, t + 5*f + 32 = 1225. Is 35 a factor of t?
False
Suppose -395*n - 3696 = -403*n. Is 14 a factor of n?
True
Suppose f - 36 = 3*f. Is 0/2 - f - -1 a multiple of 4?
False
Suppose -10*i - 2225 = -5*r - 6*i, -426 = -r - 3*i. Is 10 a factor of r?
False
Let f = 853 + -488. Suppose -2*i - f = -7*i. Is i a multiple of 19?
False
Let j = 10 - -19. Suppose n = -0*n + j. Let w = -7 + n. Is w a multiple of 11?
True
Let y(w) be the second derivative of -23*w**6/720 - w**5/120 + 3*w**4/4 + 4*w. Let t(c) be the third derivative of y(c). Does 11 divide t(-1)?
True
Let l(t) = -t**3 + t**2 + 146. Let a be l(0). Let q = a + -22. Is q a multiple of 31?
True
Let s(b) = 5*b**3 - 8*b + 1. Let y be s(3). Let h = 14 + y. Is h a multiple of 18?
True
Suppose 18 = -2*u + 3*c, u + 4*c + 0 = 13. Let q(h) = -3*h**3 - 5*h**2 - h + 8. Is 12 a factor of q(u)?
False
Let y = 253 - 124. Suppose 3*l - x - y - 176 = 0, -2*x = -5*l + 508. Does 12 divide l?
False
Suppose 0 = i - 3. Suppose 3*t = i*w, -4*t = 4*w - 0*t - 24. Does 28 divide w - 2 - 1 - -101?
False
Let l = 835 - 32. Suppose -5*n - 2*y - 2*y + l = 0, 0 = -n + 2*y + 155. Is 15 a factor of n?
False
Suppose 38*t + 2886 = 75*t. Does 12 divide t?
False
Is 8 a factor of (-245)/(-10) - (-2 - (-10)/4)?
True
Let i(n) = 45*n + 13. Is i(40) a multiple of 65?
False
Let l be (54/21)/((-1)/(-28)*4). Is 16 a factor of -8 + 2 + 4 + l*10?
False
Suppose 8*s + 13600 = 42*s. Is 40 a factor of s?
True
Let a(m) = -m**2 - 2*m + 72. Let c be a(0). Let w = c + -6. Is w a multiple of 33?
True
Let f(h) = -h**3 - 12*h**2 - 4*h + 17. Let m be f(-11). Suppose 0 = 2*g - 40 - 138. Let k = g + m. Is 7 a factor of k?
False
Suppose -7*q = 3*q - 600. Let y = 90 - q. Is y a multiple of 13?
False
Let s = -3029 - -6446. Does 90 divide s?
False
Let g = -11 + 3. Let c(i) = 2*i**2 - 4*i. Let l(m) = -5*m**2 + 12*m. Let o(w) = 8*c(w) + 3*l(w). Does 16 divide o(g)?
True
Suppose -2*g + g + 2 = 0. Let h be (-3)/(9/(-192)*g). Suppose 3*j + 4*r = -25 + 87, 5*r = -2*j + h. Is 9 a factor of j?
False
Let r(a) = 2*a**2 + 7*a + 4. Let p be r(-4). Suppose 3*v = 2*g - 5 - 11, -2*v = p. Suppose -64 = -s - 0*k - g*k, 3*k - 15 = 0. Is s a multiple of 21?
False
Let k be (-2)/(8/(-24) - 4/(-3)). Let m = 84 - k. Does 21 divide m?
False
Let a be (-2 - (-4 + -3))/(-1). Let x = a + 9. Is 4 a factor of 0 + x - (0 - 3)?
False
Let m = 1211 - -241. Is m a multiple of 66?
True
Let b(g) = g**3 + 9*g**2 - 11*g - 12. Let u be b(-10). Let f(w) = 3*w + 3*w**3 + 0*w**3 + 4*w**2 - 7*w**3. Is 9 a factor of f(u)?
False
Suppose 4*j + 1163 = n - 278, 4310 = 3*n + j. Is 48 a factor of n?
False
Let x be (-5)/15 + 1230/(-9). Let u = 241 + x. Suppose d + u = 3*d. Does 13 divide d?
True
Let v = 2351 - 727. Is 28 a factor of v?
True
Is 6 a factor of -5 + (-16)/24*-24?
False
Suppose -4*s + 3*w = -737, w + 919 = 5*s - 2*w. Let j = s + -126. Let y = j + -39. Is y a multiple of 11?
False
Let q be 0 + (-6)/8 + (-1147)/(-148). Suppose -q*o = 5*o - 432. Is 6 a factor of o?
True
Let z(f) = -f**3 + 3*f**2 + 19*f + 22. Does 4 divide z(6)?
True
Suppose -4*t - 101 + 157 = 0. Is t a multiple of 4?
False
Let c(n) = 2*n**2 + 26*n - 803. Is c(19) a multiple of 43?
False
Suppose 0 = 5*s + 5*o - 5, -2 + 0 = o. Let z be (8/(-12))/((-1)/s). Does 3 divide ((3 - 12) + z)*-2?
False
Let o = 5 - 25. Let c = o + 134. Is c a multiple of 6?
True
Let o(s) = -s**3 - 4*s**2 + 2*s + 9. Let w be o(-6). Let j = 117 - w. Does 16 divide j?
True
Let k be (-14)/(-3)*108/42. Let a = k - 18. Let z(j) = -j + 4. Is z(a) a multiple of 5?
True
Suppose p = 3*p + 10, 2*p = 2*j + 4. Let m be 350/45 - (-4)/18. Let i = m - j. Is i a multiple of 14?
False
Let d(x) = -x + 4. Let u be d