88)/z)/(6/9) a multiple of 3?
False
Let w(r) = 88 - r + 42 - 40. Is 9 a factor of w(0)?
True
Let p = 37 - 61. Let c = 114 + p. Is 44 a factor of c?
False
Suppose 8 - 2 = -2*t. Let a(j) = -j**2 - 2*j - 2. Let z be a(t). Let l = z + 17. Does 5 divide l?
False
Let l = 8 + 28. Suppose 3*h - l = -0. Does 3 divide h?
True
Let c be 2/4*(7 - 1). Suppose 0 = -0*t - t - c. Let o = t + 12. Is o a multiple of 3?
True
Let t(l) = 2*l**2 - 2*l + 10. Let v = -78 - -82. Does 11 divide t(v)?
False
Let b(n) = -108*n + 95. Is 42 a factor of b(-4)?
False
Suppose -4*p + 2*k = 2 - 10, -2 = -p - 4*k. Suppose d + p = 2*d. Does 23 divide 44/2 - d/(-2)?
True
Suppose 4*j = 9*j. Suppose -864 = -18*h - j*h. Is h even?
True
Let p(k) = -6*k - 91. Let x be p(-15). Does 19 divide ((0 - x)*1)/((-18)/(-3078))?
True
Let m be 1 + (10 + -2 - -2). Let l = -7 + m. Is -12*(0 - -1 - l) a multiple of 12?
True
Suppose 6*q - 15 = q. Suppose -3*r = -0*r - 4*k - 52, 0 = -3*r - 5*k + 16. Suppose d + q*d - r = 0. Is d a multiple of 2?
False
Let v(b) = b**3 - 11*b**2 - b - 7. Is 24 a factor of v(13)?
False
Let y = -909 - -1773. Is 48 a factor of y?
True
Let l be (-1*20)/(148/(-52) - -3). Is 26 a factor of l*9*8/(-60)?
True
Let a(z) = 452*z - 183. Does 130 divide a(4)?
False
Suppose -2*a = -3200 - 1252. Does 84 divide a?
False
Let i(z) = -z**3 - z + 1. Let r(s) = -3*s**3 + 13*s**2 - 15*s + 7. Let o(y) = -2*i(y) + r(y). Let a be o(10). Let q = a + -125. Is 15 a factor of q?
False
Does 15 divide -6 - (-18)/(-12)*-924?
True
Let a = 369 + 219. Is a a multiple of 49?
True
Let i(z) = z**3 - 8*z**2 + 6*z + 3. Let l be i(7). Let s be 2*l/20*-5. Is 4 a factor of 3 + (-1)/(s/(-16))?
False
Suppose 3*j + 12 = -a - 2*j, 3*a - 3*j - 18 = 0. Suppose 0 = -a*k + 209 - 8. Does 6 divide k?
False
Let n(a) = 109*a**3 + 6*a**2 + 5*a. Let i(h) = -108*h**3 - 5*h**2 - 4*h. Let u(o) = -6*i(o) - 5*n(o). Does 17 divide u(1)?
True
Let x = -261 - -92. Let b = -119 - x. Does 5 divide b?
True
Suppose 5*g + 3*i = i + 1767, 5*g - 1763 = 2*i. Is 53 a factor of g?
False
Suppose 0 = -0*s - 3*s + 15. Suppose 16 = 5*v - 4*d, -v + 0*v + 9 = s*d. Is v*(-3)/(-4)*5 a multiple of 15?
True
Let r(p) = -p**3 + 2*p**2 - 7*p - 6. Let n be r(-3). Suppose 9*u + n = 14*u. Is 2 a factor of u?
True
Suppose 1207 + 105 = x + 3*a, -3*a - 6560 = -5*x. Suppose 7*u - x = 144. Is u a multiple of 13?
True
Let f(b) be the second derivative of -b**5/20 - b**4/3 - b**3/3 + 5*b**2 + 30*b. Is 15 a factor of f(-5)?
True
Let m be 2/(-3) + (-5)/15 + 235. Suppose 2*z - 2*v = m, 2*z + 3 = 5*v + 231. Is z a multiple of 28?
False
Suppose -5*p - 189 = u - 2198, -3*p - 5955 = -3*u. Is u a multiple of 17?
True
Let t be 2/(-7) + 324/7. Suppose -260 - t = -3*o. Suppose -4*n + o = 5*q, 3*q - q - 45 = -3*n. Is q a multiple of 8?
False
Let o(j) = j**2 - 9*j. Let z(p) = -p**2 + 8*p - 1. Let k(c) = 3*o(c) + 4*z(c). Let s be k(2). Is (-81)/(-3)*(-1 + s) a multiple of 12?
False
Let d be 196/12 + (-4)/(-6). Suppose 11*a = 6*a + 20. Suppose -a*u = -115 - d. Is u a multiple of 10?
False
Let o(a) = -18*a - 34. Let s be o(-11). Suppose -c - 2*y + 156 = -3*y, -s = -c - 3*y. Is 20 a factor of c?
False
Suppose 5*l - 2*l = 0. Suppose 0 = 2*r + f + 2*f - 1, l = 2*r - 5*f + 23. Is (-36)/(-15)*(-50)/r a multiple of 10?
True
Suppose -5*d + 19*d = 28. Suppose 0*w - 5*m = 2*w - 188, -220 = -d*w + 3*m. Is w a multiple of 19?
False
Suppose 0 = -y - 2*v - 0*v, 0 = 3*y - 2*v - 24. Let r(i) = -2 + 8 + 3 + y*i. Does 26 divide r(9)?
False
Let b = 5 - -121. Is b a multiple of 9?
True
Let m = 13 + -16. Is m + 33 + -1*3 a multiple of 27?
True
Let f(l) = -l - 1 + 19*l - 10 + 22*l. Is 12 a factor of f(3)?
False
Let n(p) = -34*p + 39. Does 77 divide n(-7)?
False
Let w(s) = -s**3 - 22*s**2 - 24*s + 12. Is 25 a factor of w(-21)?
True
Suppose 0 = -2*w - 4*s + 694, 5*w - 235 = 4*s + 1430. Does 23 divide w?
False
Let t = 122 + -58. Suppose -y + t = 8. Is 14 a factor of y?
True
Suppose -4*a - 3*t = 573, 2*a - 4*t + 277 = -15. Let g(w) = 51*w + 52. Let r be g(3). Let f = r + a. Is 20 a factor of f?
False
Let s(y) = -y**2 + 12*y + 16. Let v be 35*3/((-105)/(-10)). Does 11 divide s(v)?
False
Let v(o) = o**3 - 8*o**2 + o - 6. Let m be v(8). Suppose 6*j - 454 = 206. Suppose 5*h - 4*t = 3*h + 80, -m*h - 2*t + j = 0. Is 29 a factor of h?
False
Let p(u) = u - 2. Let r be p(-3). Let q(a) = -34*a + 6. Let z be q(r). Suppose 0 = -4*m, 2*m - 6*m = -4*l + z. Does 17 divide l?
False
Let m(x) = -x - 7. Let a be m(-15). Suppose 0 = a*v - 4*v. Let d(u) = 2*u + 13. Is d(v) a multiple of 5?
False
Let u be (-12 + -298)/((-1)/2). Suppose -6*x + u = 92. Is x a multiple of 11?
True
Let w(m) = -53*m + 9. Let q be w(-8). Suppose -4*n - 332 = -4*k, -n = -6*n - 4*k - q. Let z = -17 - n. Is z a multiple of 17?
True
Let i(p) = -176*p - 4. Let g = -92 + 91. Is i(g) a multiple of 35?
False
Suppose 2*q - z - 1 = -0*z, -2*z = 4*q + 2. Let b be -2 - q - (-62 + 3). Let l = -29 + b. Does 11 divide l?
False
Does 99 divide (1944 - -1) + (-60)/20?
False
Let r = -15 - -19. Suppose -3*d - 4*b + 51 = -0*d, -d + r*b + 33 = 0. Does 7 divide d?
True
Suppose -l = -4*k - 1128, -8*l + 10*l + 5*k - 2308 = 0. Is 88 a factor of l?
True
Let i be 1 + 0 + 2 + 8435/35. Suppose i + 458 = 18*a. Is 7 a factor of a?
False
Suppose 0 = -3*l - 9, 5*k + 5*l - 743 - 762 = 0. Is 8 a factor of k?
True
Let j(t) = 3*t**2 - 14*t + 11. Let i be j(5). Let c(z) = z**3 - 16*z**2 + 2*z - 23. Is c(i) even?
False
Let k(d) = 2*d**2 + 6*d + 3. Let f(z) = -3*z**2 - 7*z - 4. Let s(v) = -3*f(v) - 4*k(v). Is 10 a factor of s(-4)?
False
Let w = 47 + -17. Suppose w = -3*b - 3*q + 96, 4*q + 62 = 2*b. Let j = b - -5. Is 15 a factor of j?
True
Let m be (-3)/(9/(-6) - -1). Suppose m*q - 60 = 96. Is q a multiple of 23?
False
Let z(s) = s**2 + 8*s + 6. Suppose -28 = 4*h - 0*h - u, 0 = -u. Let l be z(h). Is 1*((-9)/l + 3) a multiple of 6?
True
Let i(v) = -v**2 + 6*v - 1. Let g be i(9). Let y be (-2)/8 + (-707)/g. Suppose -s = w - 38, -s + y = -3*w - 5. Is s a multiple of 12?
True
Let k(n) = -27*n**2 - 6*n + 2. Let l be k(1). Let x be (2 - 4 - -1)*-43. Let u = x + l. Is 5 a factor of u?
False
Suppose 27*y = 20*y + 3276. Does 12 divide y?
True
Suppose 4*c = -b + 677, -5*c - 4*b = -3*b - 845. Is 14 a factor of c?
True
Let r = 4724 - 746. Does 117 divide r?
True
Suppose 3*d + 7 = 2*d. Is 13 a factor of 71 - (-4 - d) - 3?
True
Let f(j) = 2*j**3 - 34*j**2 - 10*j - 50. Is f(18) a multiple of 31?
False
Suppose -4 = -w, 1504 = -0*h + 2*h - 4*w. Is h a multiple of 38?
True
Let n(b) = -b**3 - 10*b**2 - 16*b - 53. Does 7 divide n(-11)?
False
Let q(v) = -3*v - 3. Let i = 15 + -24. Let g be q(i). Suppose r - 2*r = -g. Is r a multiple of 9?
False
Suppose -5*v - 5*q + 210 = 0, -3*q - 189 = v - 5*v. Is 45 a factor of v?
True
Let w = -137 + 125. Is 5 a factor of 714/24 + (-3)/(w + 0)?
True
Let j = -25 - -8. Let s = 22 + j. Suppose -21 = -s*n + 39. Is n a multiple of 12?
True
Is -10*(124/(-8) - -5) a multiple of 15?
True
Let m = -63 + 60. Does 9 divide (-6 - -3) + 20 + m?
False
Suppose a + w - 149 = 0, 7*w = 9*w + 6. Does 19 divide a?
True
Suppose 0 = t - 305 - 195. Does 60 divide t?
False
Let a be ((-9)/(-8) - 1) + (-93)/(-24). Suppose u - 3*u = 0. Suppose u = a*t - t - 57. Is t a multiple of 3?
False
Suppose -18*y = -1571 - 445. Is y a multiple of 7?
True
Let r = -3157 + 5067. Is 22 a factor of r?
False
Let h(r) = 8*r + 8. Let c(i) = 7*i + 9. Let m(d) = 7*c(d) - 6*h(d). Is m(-4) a multiple of 2?
False
Suppose -3*p = 2*j - 1, 2*p + 2*p - 27 = j. Let t be -3*11 - 0/j. Does 6 divide (t/(-44))/((-2)/(-56))?
False
Let v = 322 + -250. Is 72 a factor of v?
True
Let n = 161 + -70. Let f = 145 - 143. Suppose -5*z = 2*d - n, -f*d - z + 143 = d. Is d a multiple of 24?
True
Suppose 2*t + t = -5*u + 39, 0 = u + 2*t - 5. Suppose -5*b - 2*x = -324, -3*b + 213 = -u*x + 4*x. Does 11 divide b?
True
Let r = 392 + 196. Does 54 divide r?
False
Let l(c) = 5*c**2 + 12*c + 4. Let s(i) be the second derivative of -i**4/3 - 2*i**3 - 5*i**2/2 - i. Let j(z) = -5*l(z) - 6*s(z). Is 9 a factor of j(11)?
False
Let n be (-1)/(2*2/(-8)). Let k be (0/(-5))/(2/n). Does 26 divide 58 + 1 - (k - -2)?
False
Suppose -3*f = -i - 15, 3*i + 13 = 4. Suppose -3*j = -6, -2*v + 4*j - f = -2. Suppose 27 = 3*p + v*r, 4*p + r - 30 = 21. Is 6 a factor of p?
False
