. Is 11 a factor of y?
False
Let i(p) = -48*p**3 - 22*p**2 + 10*p + 24. Is 4 a factor of i(-7)?
True
Let z = 14479 + 2912. Is z a multiple of 33?
True
Suppose -4*o - 5*i = -13, 0*i + 5*i + 3 = 4*o. Does 7 divide 4210/20 + 0 - 1/o?
True
Let l(z) = -1976*z - 3718. Is 26 a factor of l(-19)?
True
Suppose 3248 = 4*x + 2*m + 14, -3*m = 9. Is 19 a factor of x?
False
Let v = -8187 - -9776. Is 3 a factor of v?
False
Let b(z) = -3827*z + 2510. Is b(-2) a multiple of 6?
True
Let s be ((-8)/6)/(4/66). Suppose 0 = 68*w - 27*w - 2173. Let x = w + s. Is x a multiple of 4?
False
Suppose -276*x + 278*x + 4 = 0, -m + 123 = 5*x. Is 86 a factor of m?
False
Suppose -389600 - 66860 = -239*b - 37971. Is 17 a factor of b?
True
Suppose 9466 = -42*b + 61721 + 6545. Does 56 divide b?
True
Let s(b) = 41*b**2 + 2*b + 2. Let p be s(-1). Let q = p + -41. Suppose n + n - 176 = q. Does 15 divide n?
False
Suppose -196*s - 2*p + 29068 = -193*s, 2*p + 48436 = 5*s. Does 56 divide s?
True
Let a be 3*(-12)/(-18) - -2. Suppose 0 = -a*t + 13*t - 1458. Is 9 a factor of t?
True
Let n be (-117289)/(-212) + (-2)/8. Suppose -2*q + w = -1398 + n, -3*q + 1255 = -4*w. Is q a multiple of 40?
False
Let t = 4185 - 913. Does 57 divide t?
False
Let f be -2 + (-1 - 8) + (-64)/(-32). Is 9 a factor of 9/((-324)/(-8)) - 2104/f?
True
Let k(p) = 97*p**3 - 2*p**2 + 24*p - 57. Does 50 divide k(4)?
False
Suppose c + 4*s = -8, -19*c + 24*c - 23 = s. Let q be 2/(-6) + (-5)/3. Is 3 a factor of (-4)/q*(2 - (-18)/c)?
False
Let c = 1872 - -858. Is c a multiple of 105?
True
Suppose 0 = 3*f + z - 43720, -3*z = -5*f + 37047 + 35857. Is 11 a factor of f?
False
Let p(a) = 10*a**3 - 2*a**2 + 9*a - 4. Let z be p(3). Let w be 5522/5 + 11/(z/15). Suppose 13*j = -0*j + w. Is 31 a factor of j?
False
Does 60 divide ((-255012)/395)/(1/(-1 - 24))?
True
Let b(y) = 565*y**3 - y**2. Does 12 divide b(1)?
True
Suppose 0 = 3*h + i - 30, 4*h - 3*i - 31 + 4 = 0. Is 4 a factor of h?
False
Suppose -2*v + v = -1029. Suppose -3*y - 3*n = -v, -5*y + n = -1366 - 349. Suppose 5*a - y = 82. Is a a multiple of 38?
False
Let r(u) = u**3 - 11*u**2 - 2*u + 26. Let d = -14 + 25. Let b be r(d). Suppose z - 7 = -5*w, 3*w - 5*w + 118 = b*z. Is z a multiple of 16?
True
Suppose -d = -2*p - 11700 - 3250, -5*d + 74810 = 5*p. Does 9 divide d?
True
Suppose o = -4*f + 39713, 11*f - 2*o + 19858 = 13*f. Is f a multiple of 68?
True
Let x = 260 - -104. Let q be 52/(-130) - x/(-10). Suppose q = l - d, 0*l + 2*l - 72 = -2*d. Is 21 a factor of l?
False
Let d(g) = -24*g**3 - 4*g**2 + 7*g + 9. Suppose -4*t - 3*p = 6 - 1, 2*t + 30 = 4*p. Let u be d(t). Does 16 divide u/15 + 2/5?
True
Suppose 3*u = -4*p + 62, 2*p - 68 = -5*u + 26. Suppose 2*r - 2*x = u, 5*x = r + x - 9. Let f = 8 + r. Is 17 a factor of f?
True
Let p = 936 - 324. Is 18 a factor of p?
True
Let f(z) = -z**3 + 10*z**2 + 12*z + 7. Let r be f(11). Let p be 6561/r*(-4)/(-6). Let s = -69 + p. Is 11 a factor of s?
False
Let z(r) = -2*r**3 + 13*r**2 + 16*r + 11. Let i be z(-8). Let a = i + -1171. Suppose -a = -17*k + 3240. Does 28 divide k?
True
Suppose 19 = g - 3*i, -3*g - 2*i + 4 = 2. Suppose -4*f - 5 = -25, 0 = 2*p + g*f - 272. Is 6 a factor of p?
True
Let w(h) = 4*h**2 + 4*h - 15. Let o be (-46)/138 + (-56)/(-6). Does 23 divide w(o)?
True
Suppose -4*f + 7293 = 9*f. Is 16 a factor of 1*(0 - 5) + -58 + f?
False
Let g(t) = t**3 + 19*t**2 - 14*t + 10. Let w be g(-16). Suppose 3*f = -4*o + f + w, -o + 2*f + 258 = 0. Suppose 0 = 3*m + 4*m - o. Is m a multiple of 6?
True
Suppose -7*s - 7 = -3*v - 6*s, s - 5 = -3*v. Suppose 0 = -q + 3*o - 108 + 584, -q = v*o - 476. Does 17 divide q?
True
Suppose -2*n = 4 - 36. Suppose -2 + 3 = g, h - 2 = -2*g. Suppose -3*m - n + 202 = h. Is 23 a factor of m?
False
Let n(j) = -2*j**2 + 65*j - 65. Let v be n(31). Suppose v*l = 40*l - 7176. Is 13 a factor of l?
True
Let j(i) = -8*i**2 - i + 6. Let k be j(3). Let v = 49 - k. Is 27 a factor of 0 + -1 + (v - 9)?
True
Let d(h) = -647*h - 446. Is 4 a factor of d(-3)?
False
Let k be (-14)/49 - (-2356)/14. Suppose 4*u + 9 = -f + 31, -f = 3*u - 17. Suppose k = -u*g + 12*g. Is 8 a factor of g?
True
Let h be 41699/345 + (-6)/(-45). Let t = h + 392. Is t a multiple of 57?
True
Suppose -17061 = -130*j + 127*j. Is j a multiple of 72?
False
Let m(c) = c**2 - 33*c - 116. Let f be m(37). Let n(g) = -g**2 + 47*g - 9. Is n(f) a multiple of 15?
False
Let c(y) be the second derivative of -43*y**3/2 + y**2 - 48*y. Is c(-3) a multiple of 38?
False
Suppose -24 = -248*a + 242*a. Is -7 - (-78 - -5) - a even?
True
Suppose -4 = -3*f + 8. Suppose -331 - 425 = -f*y. Does 27 divide y?
True
Suppose 0 = 14*s - 10477 - 569. Let k = s - -15. Suppose -49*w + 52*w - k = 0. Is 34 a factor of w?
False
Let p = 53 + -354. Let a = 821 + p. Is 13 a factor of a?
True
Is 24/10*-5 + 5493 a multiple of 4?
False
Suppose 5*i = -3*i + 137896. Is 91 a factor of i?
False
Let a = -7003 - -17442. Is a a multiple of 73?
True
Let b(p) = 4*p**2 - 2*p - 4. Let m be b(-2). Suppose -m = 4*l, 0 = -7*x + 9*x - 2*l - 384. Does 6 divide x?
False
Suppose 1310*a - 1312*a + 5772 = 0. Is 13 a factor of a?
True
Is (-60972)/4*(-250)/150 a multiple of 30?
False
Suppose 2*o = -4*l + 1294, 142*o = 141*o + 1. Is l a multiple of 19?
True
Suppose -8*n - 30 = -62. Suppose n*o + 2*z = z + 5420, 6775 = 5*o - z. Does 14 divide o?
False
Let r(z) = z**3 + 81*z**2 + 202*z - 227. Does 37 divide r(-77)?
False
Let b be (14*-1)/(2 + (-260)/135). Is (b/14)/(3/(-10)) even?
False
Let t = -15 - -25. Let a be ((-6)/(-4))/((0 - -5)/t). Is 4 a factor of 28 + -2 + 3/a + -3?
True
Let w be (20/3)/(11/(33/2)). Let m(v) = -3*v + w - 3 - 1 - 1. Does 14 divide m(-3)?
True
Suppose 50*s - 85*s + 2414 = 34. Is s a multiple of 4?
True
Suppose 13*t = 4*t + 99. Let r(q) = -q**2 + 0*q - 8*q - t*q - 47. Is 5 a factor of r(-15)?
False
Let w(r) = 2*r**3 + 15*r**2 - 11*r - 17. Let v be w(-8). Is -84*(-80)/8 + v a multiple of 72?
False
Let w(p) = 3*p + 4. Let b be w(5). Suppose -b*o + 16*o + 276 = 0. Let z = o - 12. Is z a multiple of 6?
False
Suppose 3*k = -2*q + 12254, 2*k = -3*q - 466 + 8647. Is k a multiple of 24?
True
Suppose 7*z + 819 = 231. Let p be (z/48)/(((-6)/8)/3). Let d = p - 0. Is d even?
False
Suppose 0 = -0*l + 6*l + 23*l - 87609. Does 22 divide l?
False
Let j = -317 - -220. Let k = j - -205. Is k a multiple of 9?
True
Suppose 3*w + 3 = 0, 3*g + 4*w + 91 = 552. Let t = 427 - g. Is 8 a factor of t?
True
Suppose -4*x + 16*p = 15*p - 5, 3*x - p - 5 = 0. Suppose x = -7*f - 624 + 3396. Is 44 a factor of f?
True
Let l(w) be the third derivative of -w**6/120 + 23*w**5/30 + 61*w**4/24 + 151*w**3/3 + 117*w**2. Is 60 a factor of l(47)?
True
Suppose -7*z + 13822 = 2209. Suppose 0 = 77*o - 70*o - z. Does 8 divide o?
False
Let o = -5 + 10. Suppose -o*y - 22 + 82 = 0. Is 2 a factor of y?
True
Let t = 19144 + -1643. Does 37 divide t?
True
Let s = -2456 + 2467. Let g(t) = 1. Let a(z) = z + 12. Let r(n) = a(n) + 4*g(n). Is 27 a factor of r(s)?
True
Let b(x) = 2*x**3 - 41*x**2 - 60*x + 48. Is b(24) a multiple of 41?
False
Suppose 125*n - 9984645 = -585*n + 25803615. Is 54 a factor of n?
False
Let r(n) = 8941*n**2 + 9*n + 8. Is r(-1) a multiple of 60?
True
Suppose 2*w + 448 = -j - w, 3*w - 1356 = 3*j. Let q = j - -766. Does 6 divide q?
False
Let u = 524 - 533. Let f(n) = -101*n + 59. Does 44 divide f(u)?
True
Suppose -2*l = g, 0 = -4*g + 4*l + 18 + 6. Let h be -184 - (g - 6) - -5. Let v = -103 - h. Is 13 a factor of v?
False
Suppose -7*o - 1367 = -4*t - 10*o, -1004 = -3*t + 2*o. Let g = t - -276. Is 40 a factor of g?
False
Suppose -808 = -2*m + 1602. Suppose -13*i - 9 = -m. Does 6 divide i?
False
Let q(b) be the third derivative of b**5/30 + 17*b**4/8 - 23*b**3/2 - 2*b**2 + 11*b. Is q(-29) a multiple of 16?
False
Suppose 4*r - 1990 = 2*g + 972, -2*r = 3*g - 1485. Does 39 divide r?
True
Let t = -22961 + 27636. Is t a multiple of 55?
True
Let j(u) = 2*u**3 - 4*u**2 + 3*u - 1. Let x be j(2). Suppose -x*m + m = m. Is 14*5*(-6)/(-35) - m a multiple of 9?
False
Let z(k) = -k**2 - 7 - 34 + 10*k**2 - 2*k - 2*k**2 - 11*k. Does 24 divide z(-4)?
False
Suppose -4*h = -k - 29321, 0 = 5*h - 42*k + 40*k - 36649. Is 5 a factor of h?
False
Suppose 17147 = 5*z + 5*w - 52383, 2*z - 4*w - 27824 = 0. Is 80 a factor of z?
False
Suppose 20*u = -51*u + 2*u + 46368