Let v(c) = -c**3 + 2*c**2 + 7*c + 1. Let t be v(4). Let n be t/(-1) + (-278)/(-2). Suppose -n = -4*w + 306. Does 16 divide w?
True
Suppose -3*z + 2106 = -3*w, -3*z + w + 3362 = 1264. Does 17 divide z?
False
Suppose 0 = r - 3*r + 2*g + 292, -3*g = -4*r + 579. Is r a multiple of 7?
False
Let u = -7 + 15. Suppose -4*p - u = -0*p. Is 676/16 - p/(-8) a multiple of 21?
True
Let o(d) = -d**2 + 18*d + 26. Let r be o(19). Suppose r*b = 2*b + 40. Does 3 divide b?
False
Let n be 8 - 6 - (-1 - 0). Let q = 10 + n. Does 13 divide q?
True
Is (-13)/26 - (489/(-2) + 2) a multiple of 15?
False
Let l(k) = 5*k**3 - 6*k**2 + 5*k - 9. Is 8 a factor of l(3)?
False
Let n(j) = 3*j**2 - 2*j - 2. Let k(q) = 3*q**2 - 2*q - 1. Let d(h) = -h - 5. Let w be d(-10). Let c(p) = w*n(p) - 4*k(p). Is c(5) a multiple of 24?
False
Suppose -3*q - q + 8*q = 0. Suppose q = 3*n - 78 - 54. Is 10 a factor of n?
False
Let f be -3 + 2 + (-8)/((-16)/(-38)). Let g be ((-3)/2)/((-3)/76). Let k = f + g. Is 9 a factor of k?
True
Suppose -17*p + 23520 = 15*p. Is 37 a factor of p?
False
Suppose 0 = -4*z + 4*w + 140, z = -2*z - 3*w + 117. Suppose 4*k + 4*y - 232 = 0, -3*y = -k + z + 25. Is k a multiple of 16?
False
Suppose 4*n = 4*r - 328, -2*r + 3*n = -37 - 125. Is r a multiple of 28?
True
Let t(l) = 7*l**2 - 20*l + 18. Let u(p) = 11*p**2 - 30*p + 27. Let a(m) = 8*t(m) - 5*u(m). Is 2 a factor of a(12)?
False
Let v(i) = i**3 - 15*i**2 + 13*i + 13. Let r be v(14). Let w be r + (-6)/(-2) + 3. Let n = 12 - w. Is n a multiple of 3?
False
Let p be ((-12)/(-15))/(2/10). Let h = -2 + p. Suppose -5*v + 94 = h*s, 2*v - 4*v + 34 = 2*s. Is 15 a factor of v?
False
Let q(p) = 128*p**3 - p + 5. Is q(2) a multiple of 13?
True
Suppose -5 = -7*s + 9. Suppose -s*j = -5*p + 15, -2*p + 7 = -3. Is 5 a factor of j?
True
Let b(n) = 2*n**2 - 15*n + 15. Suppose 2*w = 13 + 1. Is 8 a factor of b(w)?
True
Is (6 - -1)/(((-198)/(-444))/33) a multiple of 15?
False
Is 42 a factor of (-54 - 4)*(-9)/(45/10)?
False
Suppose 0*s - 2*g - 4 = -4*s, 5*g = 3*s - 10. Suppose s = -z + 4*z + 6, l - 41 = 2*z. Does 6 divide l?
False
Let w = 0 - -3. Let p(o) = -2*o - 3 + o**3 + 2*o**3 - 5*o**w + 2*o**2. Is 25 a factor of p(-3)?
True
Let n(d) = 16*d + 7. Let y be n(3). Suppose 0 = -301*p + 302*p - y. Does 55 divide p?
True
Let l be (-2)/(-6)*(18 - 3). Suppose -8*z + 402 = -l*z. Is z a multiple of 9?
False
Let i = 84 + -44. Let t be ((-3)/4)/(10/i). Is (-3)/9*t - -62 a multiple of 21?
True
Let x(l) = -1. Let r(h) = -19*h - 1. Let j(i) = -r(i) + 5*x(i). Let o be j(-3). Let q = -42 - o. Does 19 divide q?
True
Let n(r) = 127*r - 820. Does 75 divide n(10)?
True
Let n = -4 - -4. Suppose -5*v + 3 = u, 2*v + u + 0*u = n. Does 24 divide -2 - 1*-27 - v?
True
Let p(a) = 6*a**2 + 107*a + 11. Does 11 divide p(-33)?
True
Let a = 121 + -82. Is a even?
False
Suppose 0*i - 7*i + 560 = 0. Suppose 0 = -n - 3*n - 2*j + i, n - 2*j = 20. Is n a multiple of 4?
True
Suppose -2*t + 5*d + 1116 = 24, 2*d = 3*t - 1638. Does 21 divide t?
True
Let b = 511 + -115. Does 11 divide b?
True
Let w(p) = -p**3 - 2*p**2 + p - 3. Let t be w(5). Let u = 15 - t. Is 47 a factor of u?
True
Let r = -808 - -2108. Is r a multiple of 65?
True
Suppose -279*x = -281*x + 6. Suppose 0 = -10*g + 6*g + 16, 0 = -m + x*g + 79. Is m a multiple of 7?
True
Suppose -2*y = p - 17, 0*y + 3*y = 5*p - 111. Let r be 315/(9 + -4) + -3. Let j = r - p. Does 8 divide j?
False
Let w(f) = -2*f**2 + 20*f + 3. Is w(7) a multiple of 3?
True
Let g be -69 - 7/(14/4). Let h = 186 + g. Is h a multiple of 23?
True
Let g(o) = 21*o**2 - 21*o + 21. Let t(j) = 11*j**2 - 10*j + 10. Let n(m) = -4*g(m) + 9*t(m). Is 18 a factor of n(2)?
True
Suppose 0 = -3*a + 8 + 91. Suppose 4*y - a - 79 = 0. Does 28 divide y?
True
Let g(m) = m**2 + m - 1. Let h(w) = -w**3 - 3*w**2 - 8*w. Let s(p) = -6*g(p) + h(p). Let c be s(-7). Suppose c*a + 315 = 11*a. Does 21 divide a?
True
Suppose -h = -2*y - 6, -5*h + 4 = -y + 19. Does 3 divide h/(-22) + (-390)/(-33) + 0?
True
Suppose -35*t = 7*t - 21420. Is 34 a factor of t?
True
Suppose 5*b + 0*z + 2*z = 15296, 0 = -b + 5*z + 3070. Does 36 divide b?
True
Suppose 12 + 28 = -2*n - 3*y, 3*y = -5*n - 82. Let q = 6 - n. Is 3 a factor of q?
False
Let c(v) = 24*v - 1. Is 42 a factor of c(14)?
False
Suppose 199893 = 14*z + 55*z. Is z a multiple of 21?
False
Does 2 divide ((-3)/(12/(-10)))/(25/220)?
True
Suppose 2*b = 4*s + 80, 4*b - 110 = b + 4*s. Suppose 0 = 2*z - 0*z + 3*f + 27, -z + 4*f - b = 0. Let h = z - -55. Does 37 divide h?
True
Let m be -5 - -1 - (-2 - -19). Let h = 31 + m. Is h a multiple of 3?
False
Let z(y) = -y + 18. Let h be z(16). Suppose -3*i - 3 = s - 1, -3*i = -h*s - 13. Is -3*i - (-52 + -1) a multiple of 22?
False
Let l = 6 + -8. Let k be 2 + 66/(l - -3). Suppose -4*i = 3*r - k, 3*i - 93 = r - 5*r. Is 12 a factor of r?
True
Let n = 496 + 857. Is n a multiple of 23?
False
Let x(j) = 26*j**2 + 2*j - 1. Suppose 3*m - 8 = -2*m + 2*l, -m + 4*l = 2. Let u be -3*m/2 + 4. Is 9 a factor of x(u)?
True
Does 77 divide 9426/15 + 33/55?
False
Let p(d) = d**3 + 14*d**2 + 19*d + 29. Let l(x) = -2*x - 22. Let h be l(-5). Does 8 divide p(h)?
False
Let t(n) = -8*n + 35 - 8*n - 8*n + 2*n. Is t(-6) a multiple of 12?
False
Suppose -2*l = -2*g + 994, -7*g - 3*l = -12*g + 2479. Is 38 a factor of g?
True
Suppose 2*l = -4*u + 72, -4*u + 3*l + 86 = -2*l. Let c = u - 114. Let w = -3 - c. Is w a multiple of 23?
True
Suppose -5*z - 3*n - 126 = 0, -3*z = n - 4*n + 90. Let a = 57 + z. Suppose t - a = -4*t. Does 6 divide t?
True
Suppose -3*b + 911 = 4*n - 4*b, -4*n = 5*b - 917. Let z be ((-1)/(-2))/((-6)/n). Let l = -6 - z. Is 6 a factor of l?
False
Suppose a - 1875 = -5*t + 5687, 0 = 4*t + a - 6050. Is t a multiple of 23?
False
Is 1 - 62/3*120/(-16) a multiple of 26?
True
Suppose -3*p = 4*a - 936, -8*p + 4*p = -4*a + 936. Is a a multiple of 6?
True
Let d(n) = -2*n**3 + 4*n**2 - 48*n - 24. Is 10 a factor of d(-8)?
True
Let b be -1*12/(-8)*2. Suppose -b*n = 3*r - 81, 0 = 3*r - 4*r - 3*n + 17. Is r a multiple of 16?
True
Suppose -2*y + 943 = -509. Is 66 a factor of y?
True
Is 16932/(-425)*-35 + (-3)/(-5) a multiple of 31?
True
Let h = -39 + 11. Let j be (1 + 1)*(1 - -1). Is 21 a factor of (h/1)/(j/(-12))?
True
Let u(h) = -12*h**2 - 10*h - 14. Let m(g) = -g**2. Let q(j) = 10*m(j) - u(j). Does 2 divide q(-5)?
True
Let y be -4 + 11 + 8/(-2). Is 14 a factor of 421/y - 14/42?
True
Is 52 a factor of (-2 - (-5)/(-5))/((-5)/1470)?
False
Let x be 3 - ((-35)/5 + 0). Suppose x*n - 632 - 2288 = 0. Does 15 divide n?
False
Is ((-24)/180*5)/((-1)/216) a multiple of 9?
True
Let q(x) be the third derivative of -19*x**4/24 + 2*x**3/3 - 30*x**2. Is q(-4) a multiple of 16?
True
Let g(w) = 5*w**2 - 8*w + 4. Let y be g(4). Let a = 133 - y. Suppose -a = -7*i + 4*i. Is 8 a factor of i?
False
Is (-388)/8*-6 + -3 a multiple of 24?
True
Suppose -3*f = -3*g + 3210, -g + 3*f - 3228 = -4*g. Is 79 a factor of g?
False
Suppose 5*s + 420 = j + 2*s, 3*s - 2190 = -5*j. Is 29 a factor of j?
True
Suppose 27*c - 14697 = 4*c. Is c a multiple of 3?
True
Let c = -19 - -37. Let o be 659/6 + 3/c. Let n = o + -60. Is n a multiple of 11?
False
Let g = 1238 - 428. Is g a multiple of 35?
False
Suppose 5*b = -3*x + 12417, 4 - 1 = -3*x. Is b a multiple of 65?
False
Suppose -2*y + 3*n + 344 = 83, -2*y + 258 = -4*n. Let d = 212 - y. Suppose -4*k = j - 62 - d, 5*j = 3*k - 110. Does 9 divide k?
False
Does 8 divide (-664)/(-4) - (2 + -3)?
False
Let l = -347 + 422. Does 3 divide l?
True
Suppose 684 + 876 = 4*u. Is 78 a factor of u?
True
Let v be 38/(-8) + (-2)/8. Is 11 a factor of ((-4)/5 - (-7 - v))*180?
False
Suppose 4*r = 3*f - 13, 0 = -r + 4*f - f + 8. Let j(d) = -24*d + 12. Does 13 divide j(r)?
False
Suppose -4*h = 4*r - 3656, -4 + 10 = -3*h. Is r a multiple of 21?
False
Suppose -g + 551 = 2*u + 3*u, 3*u = -5*g + 2755. Is g a multiple of 54?
False
Suppose -4*i + 45 = i + 5*p, 5*i + 2*p - 42 = 0. Let o be (-1 - -6) + -9 + i. Does 24 divide -6*1/((-1)/o)?
True
Suppose 0*j = -22*j + 1936. Is j a multiple of 7?
False
Let d(b) = -16 + 1 - b + 38. Is 17 a factor of d(-11)?
True
Suppose -3*g = -22 - 29. Suppose -122 = -4*u + 2*o, g + 26 = u - 3*o. Is 2 a factor of u?
True
Let y be 5 - 3 - 1 - 13. Let w = y - -16. Suppose 0*a = -w*a + 240. Does 20 divide a?
True
Is 5 a factor o