104*z + 53. Does 19 divide k(3)?
False
Suppose 19*w - 11249 = 7219. Does 27 divide w?
True
Let t = 3031 + -2759. Does 16 divide t?
True
Let c(k) = k**3 + 30*k**2 + 3*k + 330. Is 3 a factor of c(-30)?
True
Let x(t) = -t**3 - 2*t + 6 + t**2 + 8*t**2 - 4*t**2. Does 2 divide x(4)?
True
Let u = -15 + 20. Suppose -3*m + 2*r + 176 = 0, -5*r + 310 = u*m - 0*r. Is 20 a factor of m?
True
Does 11 divide (-20)/(-1)*(11 - 2)?
False
Does 71 divide (17324/183)/(4/15)?
True
Let q = 1 - -4. Suppose -q*a + 262 = -38. Is 10 a factor of a?
True
Let h(p) = p**2 + 10*p + 3. Let k(o) = 2*o**2 - 41*o + 5. Let b be k(20). Is 7 a factor of h(b)?
False
Suppose 0 = 6*h + 4*h - 520. Does 3 divide h?
False
Let j(d) = -9*d + 2. Let m be j(-4). Suppose 50 = 4*r - 30. Let u = m - r. Is u a multiple of 18?
True
Let o be (-2)/(-19) + (-95937)/57. Does 19 divide (-1)/2 - o/22?
True
Let a = -24 - -86. Suppose -50 = -2*k + a. Suppose 2*x - k = 2*g, 2*x + x - 4*g - 87 = 0. Is x a multiple of 9?
False
Let b = -5 - -10. Suppose 3*p - 3 = -5*m - 6, 4*p = -b*m + 1. Is m/15 + (-1608)/(-15) a multiple of 31?
False
Let f = -71 + 75. Suppose 2*w + 0*w - 3*b - 33 = 0, 4*b - f = 0. Does 2 divide w?
True
Let z = -48 - -145. Let s = z + -63. Suppose -d + 2 = -s. Is 11 a factor of d?
False
Let w(n) = n**2 + n - 5. Let u be w(-7). Suppose 2*k + o - 27 = 0, 4*o = -2*k - 7 + u. Is 2 a factor of k?
False
Suppose -4*o + 32 + 0 = 0. Let q be 2*1 - (-6 - o). Suppose q = d - 1. Is d a multiple of 11?
False
Is 5 + (0 - 1041/(-3)) a multiple of 22?
True
Is 7365/24 - (-12)/96 a multiple of 18?
False
Let p(z) = 7*z**2 + 7*z - 14. Let u(y) = -y**2 - y - 1. Let g(c) = p(c) + 6*u(c). Is 33 a factor of g(10)?
False
Let q(v) = v**3 - 2*v**2 + 2. Let t be q(2). Let y = t - -8. Suppose -158 = -3*b + y. Is b a multiple of 18?
False
Is 448/(-12)*(-45)/(-20)*-6 a multiple of 16?
False
Is 709 + (3 - 1 - 6) + 6 a multiple of 79?
True
Suppose -3*j + 3179 = 5*z, z - 836 - 221 = -j. Does 9 divide j?
True
Suppose 0 = -2*h + 3*x, -2*h = -x + 4*x + 24. Let s(z) = z**2 + z - 100. Let v be s(0). Is 5 a factor of (72/60)/(h/v)?
True
Let x = 12 - 8. Suppose -3*s - x*t = 11, 5*t + 31 = 5*s - 9. Suppose -s*i - i = -92. Is 7 a factor of i?
False
Let q(p) = 3*p - 2. Let z be q(1). Let r be (-3)/6*(z - -5). Is 6 a factor of 5 + r - (-8 - 2)?
True
Let f(g) = -40*g - 218. Is 34 a factor of f(-25)?
True
Let k(v) = -v**3 - 9*v**2 - 7*v + 5. Does 25 divide k(-11)?
False
Suppose 0*p + 7*p - 707 = 0. Let g be 39/9 - 2/6. Suppose 5*q = 3*z + 257, 128 = 5*q + g*z - p. Is q a multiple of 16?
False
Let k = -1593 + 3493. Is k a multiple of 19?
True
Let b be (-12)/78 + (-362)/13. Let x = 8 - b. Is x a multiple of 9?
True
Let w(z) = -30*z + 9. Let c be w(-4). Suppose -3*g = 2*s - c, 0 = -2*g - 2*g - 4. Suppose s = 5*f - 9. Does 5 divide f?
True
Suppose 2*c + 2*v - 1074 = 0, 5*c + 2*v - 2667 = 3*v. Does 33 divide c?
False
Suppose 2*o = 2*x + o - 3, -3*o = x + 9. Does 21 divide (x - 4 - (-49)/1) + -3?
True
Let j = 1 + 1. Suppose 3 = q - y, j*q + 5 = -5*y + 18. Suppose -v + 85 = q*v. Is 7 a factor of v?
False
Suppose -5*t + 5*p = -90, -p = -0*t + 5*t - 108. Let q(f) = f**2 + 14*f + 18. Let a be q(-14). Suppose 5*b + z = 16 + t, -4*b + 5*z = -a. Is b a multiple of 7?
True
Let b be -2 + (22 + -4 - 1). Is 1772/b + 8/(-60) a multiple of 22?
False
Suppose -9 = 3*d, -5*l - 4*d + 1703 = -5*d. Does 34 divide l?
True
Let z be ((-4)/(-10))/((-3)/15). Let j = 0 - z. Let b = 0 + j. Is b even?
True
Suppose 0 = 4*h + 5*c + 15 + 5, -20 = 5*c. Does 14 divide 96/8*(h - -3)?
False
Let f = 194 - 47. Does 60 divide f?
False
Suppose 22 + 4 = 2*k. Suppose -5*v - 4 = y + k, 0 = -y - v - 1. Is -3 + 6*(7 - y) a multiple of 10?
False
Let r = -13 - -28. Let v = -8 + r. Is 7 a factor of (50/6)/(v/21)?
False
Suppose -4*o = -0*o - 8. Suppose o*h - 10 = -0*h. Does 3 divide h?
False
Let b(p) = 3*p - 21. Suppose -2*d = -11 - 17. Is b(d) even?
False
Let x be 8/(-44) + 40/(-22). Let f be x/6*(-2 - -8). Is -1 + -1 - f - -56 a multiple of 25?
False
Suppose 0 = -33*y - 2710 + 14095. Is y a multiple of 37?
False
Suppose x = 18 - 2. Let a = -12 + x. Suppose 0 = 4*y - 8, -3*k + 12 = k - a*y. Is k a multiple of 3?
False
Let v = 6 - -44. Let p = v + -19. Is 15 a factor of p?
False
Let f(j) = -j**3 - 6*j**2 + 4. Let a be (-80)/14 + 10/(-35). Let t be f(a). Suppose -2*l + 6*l = 20, 92 = 4*v - t*l. Is 14 a factor of v?
True
Suppose 3*q - r = 96, 2*r = -4*q - r + 141. Suppose -20*f + q = -19*f. Suppose -b + f + 33 = 0. Does 22 divide b?
True
Let x(w) = -w**3 - 7*w**2 - w + 12. Let d be x(-5). Let c = d + 59. Suppose 5*g = s - c + 6, 156 = 4*s - g. Is 10 a factor of s?
True
Let m = 1519 - 1120. Is m a multiple of 57?
True
Let w = 80 + -65. Suppose 0 = 3*h + w, -2*v + 4*h - 5*h = -37. Is 11 a factor of v?
False
Suppose -14*z = -24*z + 1120. Is z even?
True
Suppose 0 = -16*m + 2391 + 761. Is m a multiple of 32?
False
Let f(z) = -32 + 21 + 6*z + 244 - 7. Is 16 a factor of f(0)?
False
Let k = 3 + -7. Let y = 1 + k. Does 11 divide (-2 + y)*133/(-35)?
False
Let p be ((-3)/(-9))/(1/12). Suppose 153 = 3*l + 2*k, p*l - 190 = 4*k - 2*k. Let x = l - 27. Does 22 divide x?
True
Let s be 403/39 + (-1)/3. Let j be (-9)/(-4) - (-3)/(-12). Let f = j + s. Is 7 a factor of f?
False
Suppose -6528 = -13*v - 3*v. Is 11 a factor of v?
False
Does 14 divide 5 + 6 + -9 + 432?
True
Let v(p) be the third derivative of -7*p**4/24 - 17*p**3/6 + 7*p**2. Does 7 divide v(-6)?
False
Let z(k) = 1. Let b(a) = 15*a. Let c(o) = -b(o) - 5*z(o). Is c(-5) a multiple of 35?
True
Let t be 254 + 2 - (3 - 5). Let v = 156 - t. Let b = -56 - v. Is b a multiple of 12?
False
Let l = 178 - -352. Does 10 divide l?
True
Let j = -110 + 26. Let p = 132 + j. Is 16 a factor of p?
True
Let u = -91 + 211. Is 8 a factor of u?
True
Does 16 divide ((-87)/6)/(1/(-2))?
False
Let i(d) = d**3 - 3*d**2 - d - 5. Let g be (-12)/24 - 9/(-2). Is i(g) even?
False
Suppose -2*w = -w - 2. Suppose p - w*z - 78 = 0, 4*z - 6 + 18 = 0. Does 24 divide p?
True
Suppose 127 = m + r, -3*m - r = r - 378. Suppose -2*n + 2*k + 30 = -m, -2*n + 3*k + 159 = 0. Is 24 a factor of n?
True
Let i be (-3)/(12/(-8) + 0). Let g be ((-3)/(-3) - -45) + i. Suppose 10*t - 8*t = g. Is t a multiple of 8?
True
Suppose -4280 + 878 = -9*j. Is 18 a factor of j?
True
Suppose -4*b + 164 = 5*z, 3*b = -2*z - b + 68. Let t = -25 + z. Does 7 divide t?
True
Is 10 a factor of (-2)/(-3)*-3*(20 - 175)?
True
Let n(q) = -q**2 - 5*q + 2. Let k(o) = -3*o + 16. Let v be k(7). Let p be n(v). Is 6 a factor of 82/4 - (-1)/p?
False
Let j(k) be the third derivative of -k**6/90 - 2*k**5/15 - 7*k**4/24 - 3*k**2. Let o(b) be the second derivative of j(b). Is 7 a factor of o(-7)?
False
Suppose -34 = 5*z - 119. Suppose -z*a = -21*a + 100. Let i = 39 - a. Is i a multiple of 3?
False
Suppose o - 4*g + 15 = 0, 2*o + 5*g - 45 = -2*o. Suppose 0 = o*b - p - 523, 0 = 4*b + p + 3*p - 428. Is 30 a factor of b?
False
Let k(v) = 104*v + 208. Is 52 a factor of k(10)?
True
Suppose 0 = 4*k + v + 50, 4*k - 4*v = -3*v - 54. Is (-3 + 0)/(1/k) a multiple of 9?
False
Let n(p) = p**2 - 3*p - 3. Let b be 1 - 0 - (-1 + -4). Let d be n(b). Suppose -4*o + d = -3*s - 10, 0 = -3*s - 9. Is o a multiple of 2?
True
Let s = 655 - 89. Is 27 a factor of s?
False
Suppose -2*l - 68 = -3*o, -l - 2 = -2*l. Is 14 a factor of 63/2*64/o?
True
Let v(w) = 7*w + w + 15 - 13*w - 10*w. Does 8 divide v(-7)?
True
Suppose 4*o - 34 = 114. Suppose -w = -92 + o. Is 5 a factor of w?
True
Suppose 8*i - 232 = 488. Suppose 0*y = -2*y + i. Does 13 divide y?
False
Suppose 23*z + 9 = 26*z. Let m(o) = 8 - 2 + 6*o - o**z - 2*o**2 + 2*o**3 + 7*o**2. Is m(-3) a multiple of 2?
True
Let z = -25 + 30. Is -1*(-5)/(z/16) a multiple of 4?
True
Let m(p) = -7*p**2 + 6 - p - 3*p + 4*p**3 - 3*p**3 - 3. Let u be m(8). Let v = -21 + u. Is 14 a factor of v?
True
Let k(r) = 1 + r**2 + 3 - 3 + 5 - 5*r. Let p be k(4). Suppose -x = -p*v + 8, 2*v + 5*x - 32 = -0*v. Is v a multiple of 2?
True
Let a(i) = 3*i**2 + 8*i - 12. Does 34 divide a(4)?
True
Let o = 51 + -53. Is o/(-4) + ((-4)/8 - -2) even?
True
Let r(m) = -2 + 1 - 3*m - 12 + 6*m. Let n be r(6). Suppose -88 = -4*j - z, 0 = 3*j - n*z - 38 - 5. Is j a multiple of 7?
True
Suppose 3*i = 4*i - 2*j - 1211, 4*i - 4856 = 5*j. Is 42 a factor of i?
Fals