a factor of 48/(-18)*(1/(-1) + -281)?
False
Let r(k) = 1 - 16*k + 2*k - 4*k + 5. Does 20 divide r(-3)?
True
Suppose -4*z = -4*g + 3*g + 106, -z = -3*g + 362. Is g a multiple of 13?
False
Let z = -82 + 75. Suppose 0 = 4*n + 3*o + 174, o + 1 + 1 = 0. Let f = z - n. Is 5 a factor of f?
True
Let h = -2 + 2. Suppose 4 = 5*u - 11. Suppose s + u*s - 72 = h. Is s a multiple of 9?
True
Let f be (1 + -2)/(3/(-9)). Suppose -f*b + 2 + 1 = 0. Is ((-420)/4)/(-3) - b a multiple of 7?
False
Let q = 4 + -1. Suppose -307 = -0*i - 4*i - p, -4*p = 20. Suppose -z + 26 = j, q*z - j - i = -5*j. Does 14 divide z?
False
Let t = -11 + 15. Let r be (t + (0 - 3))*51. Let p = r + -27. Is 24 a factor of p?
True
Let r = -53 - -110. Let x = r + 3. Is x a multiple of 20?
True
Suppose -11*z + 19152 = -4*z. Does 38 divide z?
True
Let i = 89 + 35. Is 19 a factor of i?
False
Suppose -122 = 2*w + 66. Let k = w + 136. Is 7 a factor of k?
True
Suppose 0 = 7*u - 2*u - 375. Suppose 5*p - u + 0 = 0. Is 13 a factor of p?
False
Suppose 5*t - 22 = 3*f, 28 = 2*t - 3*f + 12. Let b(d) = 5*d**2 - 4*d**t - 13*d - 3 - 2*d**2. Is b(-5) a multiple of 7?
False
Suppose q - 7 = -5. Does 31 divide 126 + (1 - -1)/q?
False
Suppose 4*c + 0*c = 2*b + 4494, -c - 4*b = -1137. Suppose -6*i = -i - c. Suppose 3*f = 8*f - i. Is 15 a factor of f?
True
Let s(v) = -v + 9. Let c be s(4). Suppose u - 5*d - 37 = -14, 3*u + c*d = 49. Is u a multiple of 6?
True
Let t(a) = -a**3 + 10*a**2 - 7*a - 13. Let n be t(9). Suppose n*u + 3*v - 17 = 165, 4*v + 18 = u. Does 11 divide u?
False
Suppose 9347 = 10*p - 8473. Is 33 a factor of p?
True
Suppose n - 1 = -3*j + 3*n, 5*n = -4*j + 32. Let o(g) = -3*g. Let m be o(j). Let w(f) = -2*f + 5. Is w(m) a multiple of 7?
False
Let z = -8 - -80. Let a = -38 + z. Does 8 divide a?
False
Let h = -8 + 13. Suppose n - h*g = -4*n + 645, g = 4*n - 513. Is n a multiple of 32?
True
Let t = 1288 + -618. Is 2 a factor of t?
True
Let s be 12/(-1 - 3) - (-42)/1. Suppose s*f = 46*f - 1561. Is 10 a factor of f?
False
Suppose 2*n = 4*x - x + 1025, -x + 505 = n. Does 64 divide n?
False
Suppose 0 = 5*d - 4*d + 11. Let u(p) = p**2 + 11*p - 8. Let f be u(d). Is (-186)/f + (-15)/60 a multiple of 14?
False
Suppose -2*q = 3*n + 65, 2*n - q + 4*q + 45 = 0. Let z = -19 - n. Does 12 divide 846/36 - z/(-4)?
True
Suppose 0 = -3*f - 2*f - u + 113, -2*u - 38 = -2*f. Suppose -3*i + 446 = -f. Is i a multiple of 12?
True
Suppose 31 = -4*f - 29. Is 2 a factor of (15/6)/(f/(-36))?
True
Suppose -14*k = -12*k - 112. Let v = 86 - k. Suppose -v = 5*o - 160. Does 7 divide o?
False
Let y be (33/9 - 4)*9/(-1). Is 46 a factor of 1848/15 - (y + (-42)/15)?
False
Suppose -2*m = -0*m - 4*r - 726, 0 = -2*r. Is m a multiple of 11?
True
Suppose -m = -3*m + 8, 8207 = 5*n + 3*m. Is 40 a factor of n?
False
Let m(f) = f**3 - 17*f**2 + f - 2. Let v(n) = 5*n**2 + n - 1. Let j be v(-2). Let h be m(j). Suppose 4*a - h = a, -240 = -5*u - 3*a. Is 8 a factor of u?
False
Suppose 3*m - 45 = 4*a, 3*a = -2*m + 3*m - 35. Let w(u) = u**3 + 11*u**2 - 13*u + 21. Is w(a) a multiple of 6?
False
Let z = 2743 + 771. Does 87 divide z?
False
Let p(m) = m**3 + 17*m**2 - 18*m - 4. Let j be p(-18). Is 75/12*j/(-1) a multiple of 11?
False
Let k = -323 - -338. Does 12 divide k?
False
Suppose 0 = -5*s - s + 1344. Is s a multiple of 56?
True
Is (-1)/(-6) - (-8)/(432/17487) a multiple of 27?
True
Let z be (408/18)/(2/36). Suppose 0*n = 6*n - z. Is 32 a factor of n?
False
Let h(x) = -731*x + 38. Is 25 a factor of h(-2)?
True
Suppose 4 = -5*p - 36. Let u = 48 + p. Does 33 divide u?
False
Suppose 0 = -3*l + 4*l - 3. Suppose 0 = z + 5*r - 148, 2*z + l*r - 311 = 8*r. Does 17 divide z?
True
Let i(a) be the third derivative of a**5 - 12*a**2. Is 15 a factor of i(1)?
True
Suppose 2*c + 3*n - 3443 = 0, -n = 2*c - 778 - 2655. Does 8 divide c?
False
Let b(n) = -2*n**3 - 12*n**2 + 16*n - 6. Let m(c) = -c**3 - 6*c**2 + 8*c - 3. Let u(y) = -4*b(y) + 7*m(y). Suppose 2*a - 35 = 7*a. Does 10 divide u(a)?
True
Suppose -3*x + 9 = 0, 0*h + 4*x - 16 = -h. Suppose -h*l - 3*u = -66, -5*u = 4*l - 24 - 38. Is l a multiple of 18?
True
Suppose 1042 = 3*q + 4*o - 378, 0 = -4*q - 3*o + 1884. Is 12 a factor of q?
True
Suppose 0 = 4*s - 4*d - 14792, -2*s - d + 2099 = -5291. Is 112 a factor of s?
True
Suppose -2*y - 2*y + 2*h = -164, 0 = -2*y + 3*h + 86. Does 36 divide y?
False
Is ((-22 - -1) + 3)*50/(-3) a multiple of 27?
False
Let z be ((-6)/4)/((-15)/30). Suppose -z*x + 61 = -128. Is x a multiple of 21?
True
Let y(u) = u**3 - 5*u**2 - 3*u + 9. Let x be y(5). Does 22 divide x/15 + (-444)/(-10)?
True
Is 110 a factor of (3632/20)/((-10)/(-25))?
False
Suppose -4*k + 276 = -0*m + m, 0 = -k + m + 64. Suppose a - 62 + 18 = 0. Let c = k - a. Is c a multiple of 24?
True
Let a(d) = 5*d**2 + 30*d - 250. Does 55 divide a(-27)?
True
Let g(a) = 28*a - 96. Is g(17) a multiple of 10?
True
Let k(o) = o**2 - o - 2. Let v be k(0). Let s = 4 - v. Let i(p) = p**3 - 5*p**2 + 7*p - 9. Does 23 divide i(s)?
True
Suppose 103*s - 7342 = -5*y + 105*s, 4*s - 1486 = -y. Does 49 divide y?
True
Is (1116/(-155))/(2/(-230)) a multiple of 9?
True
Suppose 2*s + 34 = 40. Suppose 4*a - 345 = s*b, 0*b + 5*b = a - 65. Does 16 divide a?
False
Let j = 281 + -101. Suppose 5*u + j = u. Does 6 divide ((-6)/5)/(3/u)?
True
Let h(c) = c**3 - 4*c**2 - 12*c + 11. Is 19 a factor of h(8)?
True
Suppose -23 = 2*k + 5*q + 76, 0 = 4*q + 20. Let s = k - -88. Suppose -2*o - 1 = -s. Is o a multiple of 12?
False
Let w = 264 + -241. Is w even?
False
Let n(w) = -w**3 - 42*w**2 + 7*w + 173. Does 5 divide n(-43)?
False
Let w(m) = 7*m + 43. Let s be w(13). Suppose -3*y + 126 = 5*f - 4*f, -f + y + s = 0. Does 33 divide f?
True
Suppose -2*s - 3*j = -7*j - 244, -2*j - 242 = -2*s. Is s a multiple of 8?
True
Let w(l) be the second derivative of -l**3 - 7/12*l**4 - 1/20*l**5 - 3*l + 3*l**2 + 0. Is 16 a factor of w(-7)?
True
Let k(r) = -r**3 + 15*r**2 - 8*r - 6. Suppose 9*a - 94 = 32. Let g be k(a). Is 16 a factor of 2508/g - 6/39?
True
Does 6 divide (9/6)/((-1701)/426 + 4)?
False
Let n = 7 - 9. Let w = 0 - n. Is 11 a factor of 15 + (w + -1 - 4)?
False
Let d(b) = 98*b**2 - 59*b. Is d(2) a multiple of 60?
False
Let r = 26 - 28. Let h(i) = i**2 - 2*i - 4. Let z be h(4). Is 12 a factor of r/((z - 1)/(-72))?
True
Suppose 8*l - 36 = 5*l. Suppose -l*i - 48 = -16*i. Is i a multiple of 2?
True
Suppose 2*j + 2*j - 134 = -2*l, 172 = 5*j + l. Suppose 5*t = 70 + j. Let x = t + -13. Does 6 divide x?
False
Is 10638/10 - (7 - 324/45) a multiple of 76?
True
Let h(n) = 27*n**2 - 12*n + 10. Does 13 divide h(3)?
False
Suppose -5*z - 2*a = 2*a - 20, 0 = 2*z + 4*a - 8. Let r = z + 2. Suppose -30 = r*o - 9*o. Is 3 a factor of o?
False
Let y(d) = -4*d - 27. Let x = 17 - 28. Does 4 divide y(x)?
False
Let c(v) = v + 5. Let k be 0 - (12/3 + -14). Is 3 a factor of c(k)?
True
Let v = 1288 + -1179. Is 59 a factor of v?
False
Let h(o) = 2*o**2 + 6*o + 5. Let m be h(-3). Suppose -185 = -5*p - 3*y + 2*y, -p + 37 = -m*y. Is 26 a factor of p?
False
Let h(q) = 53*q**2 - 2*q - 3. Let b(d) = 52*d**2 - 2*d - 3. Let t(j) = -6*b(j) + 7*h(j). Does 30 divide t(2)?
False
Suppose 2*h = 2*m - 1692, 2*m + 5*h - 3402 = -2*m. Let r be (m/(-56))/(2/(-14)). Let j = r + -40. Is j a multiple of 10?
False
Let l be 0 + (-4 + 8 - 129). Let j be 9*23/(-3)*1. Let i = j - l. Does 17 divide i?
False
Suppose -2955 = 13*w + 204. Let k = -173 - w. Is 27 a factor of k?
False
Let g(a) be the first derivative of 2*a**3/3 - 13*a + 7. Is 17 a factor of g(-7)?
True
Suppose -10*c + 1275 + 2715 = 0. Is 10 a factor of c?
False
Suppose 7*b - 3*b - 862 = 2*z, 0 = -3*b - 2*z + 650. Does 27 divide b?
True
Let b = -202 + 488. Does 27 divide b?
False
Let w = 24 - -588. Is 14 a factor of w?
False
Suppose -4*m + 62 = 4*i - 2*m, 5*m + 83 = 4*i. Let v = 17 - i. Suppose 3*y - 2 - 70 = v. Does 8 divide y?
True
Let l(o) = -o**2 + o**3 - 6*o + 8 + 10*o + 3*o - 8*o**2. Let s be l(8). Suppose 3*c - 54 = -n, s*c - 2*n = c - 23. Is 17 a factor of c?
True
Let r = 41 + -15. Suppose -4*o = -358 + r. Let x = o - 48. Is 21 a factor of x?
False
Let q(x) = 3*x**2 + x - 1. Let k be q(1). Suppose -3*z = -k*p + 300, 403 = 6*p - 2*p - 5*z. Is 27 a factor of p?
False
Suppose -15*q - 14*q + 39353 = 0. Is 23 a factor of q?
True
Let i(k) = -4*k + k**3 - 7*k**2 + 