. Is 6 a factor of p?
False
Suppose 28*g - 142575 - 17389 = 0. Is 29 a factor of g?
True
Let w(y) = -6 - 321*y + 3 + 3. Let j be w(2). Is j/(-24) - 3/(-12) a multiple of 15?
False
Suppose 12*r = 21*r - 7110. Is 36 a factor of r?
False
Suppose y - 2*y = -102. Suppose -3*l + 6*l - y = 0. Let f = l + -12. Does 12 divide f?
False
Let z(k) = k**2 - 9. Let g be z(-3). Suppose -10*c - 12 + 1412 = g. Is 35 a factor of c?
True
Let f(z) = -z**2 - 4*z + 2. Let t be f(-3). Suppose 5*u - 20 = -t. Does 2 divide u?
False
Suppose 4*a = 495 + 665. Is a a multiple of 24?
False
Suppose -5*k + 4 = 3*p - p, 5*k - 22 = 4*p. Let v(w) = 0 + 26*w**k - 2*w - 3 - 1 + 5. Is v(1) a multiple of 7?
False
Let c(x) = x**2 + 7*x - 5 - 3*x + 4*x. Let f be c(-9). Let r(z) = z**3 - 3*z**2 + z - 5. Does 5 divide r(f)?
True
Let h = -4 - -6. Suppose -h*j + 5 + 0 = -x, j - x = 2. Suppose j*g = 3*u - 117, 5*u = u - 5*g + 129. Is 12 a factor of u?
True
Let b(x) = -18*x - 8. Let p be ((-24)/48)/(1/6). Does 23 divide b(p)?
True
Suppose -116 = -4*b - 5*z, -2*z - 3*z + 20 = 0. Let h = b - 17. Suppose 120 = -3*r + h*r. Is 10 a factor of r?
True
Let r(o) = o**3 - 73*o + 10. Is 32 a factor of r(9)?
False
Suppose -32 = -2*x + 4. Suppose -x*z + 84 = -17*z. Is 7 a factor of z?
True
Let k be 2/(-11) + 52/44. Let q(t) = -1. Let u(j) = -j + 2. Let x(g) = k*u(g) - 3*q(g). Is 13 a factor of x(-8)?
True
Suppose -4*w - 723 = -5*t - 3393, -t - 1332 = -2*w. Is 5 a factor of w?
True
Let x be (-3)/12 + (-9)/12. Let o = 0 - x. Is (o - (-4 + 1)) + 2 even?
True
Let t(c) = -c**3 - 7*c**2 - 8*c + 5. Let p be 3 - 8 - (-5 - -6). Is 6 a factor of t(p)?
False
Suppose -2*o + 27 = 3*w, 2*o + 6*w = 4*w + 32. Let l = o - 18. Suppose -2*i + 0*i + 146 = l*y, -4*y = 5*i - 183. Does 13 divide y?
True
Let w be (-3 - 1 - -12) + -2. Is 17 a factor of 66/22*136/w?
True
Suppose 0*g + 10 = 2*s + 2*g, 5*s + 5 = 5*g. Suppose 3*a - 4*j + 196 = a, -s*j + 286 = -3*a. Does 8 divide a/(-4) + (-27)/(-18)?
False
Let m(l) = l**3 - 11*l**2 + 17*l - 2. Let d be m(9). Let x = d + 74. Is x a multiple of 21?
True
Let o be -5 + (1 - -3) - -15. Suppose -12*s = -o*s + 272. Is s a multiple of 33?
False
Suppose 3*p + 0*p + 4833 = 3*u, -4*u = -p - 6456. Is u a multiple of 85?
True
Let j(m) = -277*m + 556. Is 78 a factor of j(-8)?
False
Suppose z - 252 = -3*l + 253, 3*l - 509 = -5*z. Is l a multiple of 28?
True
Let t(b) = -16*b + 1964. Is t(0) a multiple of 52?
False
Let i(k) be the second derivative of 4*k**2 + 2/3*k**4 + 0 - 1/20*k**5 + 4/3*k**3 + 7*k. Is i(8) a multiple of 18?
True
Let r = 279 + -74. Let a = r + -91. Does 20 divide a?
False
Suppose 3*g = -l, -7*g + 2*g = 3*l. Suppose 0 = -4*x + 5*n + 125, g*x = -x + 5*n + 35. Is x a multiple of 14?
False
Is -15 - 378/(-28) - 390/(-4) a multiple of 30?
False
Suppose -z = 3*z. Suppose -3*p - 5*k + k - 67 = z, 5*p - 4*k + 165 = 0. Let q = -20 - p. Is 7 a factor of q?
False
Suppose 23334 - 5693 = 13*p. Is 23 a factor of p?
True
Suppose 4*i - 2*i = 252. Let f = i - 66. Does 10 divide f?
True
Suppose 0 = -28*o + 32*o - 44. Suppose o*z = 2*z + 657. Does 9 divide z?
False
Suppose 4*w = -2 + 18. Let v = 3 - w. Let n(g) = -15*g - 1. Does 7 divide n(v)?
True
Let g be 151 + 2/2*(-9)/(-3). Suppose -5*r - d + g = -0*d, r = -5*d + 50. Is r a multiple of 6?
True
Suppose 46*k = -16*k + 290656. Is 16 a factor of k?
True
Is 936 - -6*4/(-3) a multiple of 12?
False
Let u(t) = -19*t - 5*t**2 + 4*t**2 - 14 - 7*t + 5*t. Let z be u(-10). Let p = z + -48. Is p a multiple of 16?
True
Suppose 63*r - 18097 = 677. Is r a multiple of 4?
False
Let z = 1913 - 898. Suppose 0 = -14*f + z + 959. Is f a multiple of 12?
False
Is 44 a factor of -94*((-8)/20)/((-1)/(-55))?
True
Suppose 0 = -2*r + 2. Let i be (0/r)/(3 - 4). Suppose i*j + j = -s + 9, 3*s = -4*j + 35. Is j a multiple of 8?
True
Let n = 56 - 56. Suppose 4*t - 2*j - 384 = 0, n*j = 5*j. Does 14 divide t?
False
Let t = 80 - -176. Suppose -w - t = 3*w. Let j = 115 + w. Does 17 divide j?
True
Let b = -373 + 481. Is 18 a factor of b?
True
Does 12 divide (-432)/7*(-1806)/172?
True
Let y(a) = 14*a - a**3 - 7*a - 22*a**2 + 13*a + 8 + 15. Is y(-23) a multiple of 7?
False
Suppose -7*n = 2*n - 45. Suppose -n*x + 188 = -2*q + 7, 0 = -q + 2. Does 21 divide x?
False
Let t be (2 - 5)/(((-38)/4)/19). Let y(w) be the second derivative of w**5/20 - w**4/3 - 7*w**3/6 - 4*w**2 - 2*w. Is 22 a factor of y(t)?
True
Suppose -5*l - 2*y = -5, -3*y - 31 = -2*l + 2*y. Let x(s) = 97*s + 2. Let c be x(l). Suppose -5*u - 4*z = -c, -z - 181 - 127 = -5*u. Does 17 divide u?
False
Let f(g) = 2*g + 15. Let z be f(-11). Let k = 10 + z. Suppose -5*w + 75 = -v, 0 = -2*w - k*w - 3*v + 95. Does 7 divide w?
False
Suppose -t + 3 = -s, -9 = -t - t + s. Does 8 divide ((-636)/(-10))/(t/20)?
False
Let j(q) = 41*q + 4. Does 62 divide j(6)?
False
Suppose 5*z = -5*g + 20, 4*z - 7 - 3 = 2*g. Suppose z*q - 7*q = -76. Is 7 a factor of q?
False
Let j = -5 - 2. Let t = 12 + j. Does 5 divide t?
True
Let u be 0/(-3 - 2/(-2)). Does 9 divide -1 - u - (-11 + -8)?
True
Suppose 2*k - 5*k - 9 = 0. Is 2 a factor of (9 + -2)*6/7 + k?
False
Suppose -8 - 7 = -3*a - 2*u, -2*a - 3*u + 15 = 0. Is 20 a factor of a/5 + 487/5?
False
Let l = 69 - -66. Does 3 divide l?
True
Suppose -2*u = -5 - 3. Suppose -10 = 6*f - u. Let b(c) = -11*c**3 + c**2 + 2*c + 1. Does 5 divide b(f)?
False
Let o(z) = -8*z**2 + 8*z - 8. Let x be o(-6). Let k = -218 - x. Does 9 divide k?
True
Suppose 2*h = -4*h. Suppose h*l = -3*l + 6. Does 2 divide l?
True
Suppose -536*u + 539*u + 9762 = 3*w, 16 = 4*u. Is w a multiple of 108?
False
Let d(p) = -115*p - 1. Does 27 divide d(-3)?
False
Suppose 2*m = -2*m. Let h(v) = -3*v + 14. Let x(n) = -2*n + 13. Let o(q) = -3*h(q) + 4*x(q). Is o(m) a multiple of 8?
False
Suppose -5*o + 970 = 5*q, 5*q - 3*q + 752 = 4*o. Is o a multiple of 38?
True
Suppose l - 5*r - 186 = 0, -4*r - r = -10. Suppose -8*s = -6*s - l. Is 14 a factor of s?
True
Let o = -62 - -10. Let u = 22 - o. Is 37 a factor of u?
True
Does 16 divide 2/6 - (3 - 12291/9)?
False
Let q(x) be the first derivative of -x**4/4 + x**3 + x**2 - 3*x + 1. Let z(h) = -h**2 - 5*h + 17. Let m be z(-7). Does 2 divide q(m)?
False
Suppose 39*y + 14592 = 58*y. Is y a multiple of 32?
True
Let o(u) = u**2 - 11*u + 12. Does 24 divide o(12)?
True
Let h = 719 - -185. Suppose 6*t = -286 + h. Is t a multiple of 24?
False
Let v = 1102 - 1706. Is 6/(-15)*1 - v/10 a multiple of 15?
True
Let j = 12 - -1. Let p = 15 - j. Suppose 5*g + 0*k = -p*k + 47, 0 = -5*g - k + 46. Is g a multiple of 2?
False
Let s(u) = u**3 + 8*u**2 - 1. Let m be s(-8). Let p be (1 + m)*(0 + -1). Suppose c = -5*l + 93, p*c + 3*c = 4*l + 241. Is c a multiple of 15?
False
Suppose a + 34 = -3*t + 5*a, 36 = -3*t + 3*a. Let z = t + 3. Let k = 82 + z. Does 18 divide k?
False
Let b be (-2)/6 - 13897/(-39). Suppose b = -23*y + 27*y. Does 29 divide y?
False
Suppose 34 = 5*w - 5*u - 1, -5*w = -3*u - 37. Let o(v) = 4 + 3*v - v + 8*v. Does 14 divide o(w)?
True
Let x = 18 + -26. Let f = x + 53. Is 40 a factor of f?
False
Let q(f) = 3*f - 20. Let b(p) = -3*p - 17. Let i be b(-11). Does 17 divide q(i)?
False
Suppose -g = 5*g - 738. Let n = g - 46. Is n a multiple of 17?
False
Let x be 2/(-7) - (-3199)/49. Suppose -4*l + 0*l = -4, -f + x = -3*l. Does 6 divide f?
False
Let p = -69 - -72. Is (-1508)/(-6) + -6 - 1/p a multiple of 49?
True
Let x be (-1)/(15/80)*-18. Suppose -2*v + 6*v = x. Is v a multiple of 6?
True
Let c = 189 + -77. Let g = c - 64. Is 19 a factor of g?
False
Let q = 860 + -584. Suppose 0*k = -4*k + q. Suppose -2*n + 2*d + 50 = 0, n - k = -5*d - 20. Is n a multiple of 6?
False
Let f = 238 + -128. Is f a multiple of 11?
True
Let j = 531 + -393. Is j a multiple of 17?
False
Suppose -5*k - 2*p + 1252 = 0, 1260 - 4 = 5*k + p. Is k a multiple of 34?
False
Suppose 5*y - 177 = -r + 1231, 4*y + r = 1126. Is y a multiple of 29?
False
Let w(f) = -58*f + 3. Suppose -5*b = -0 + 5, -5*b - 4 = -l. Does 13 divide w(l)?
False
Let h be (-2)/(-6) + 196/6. Suppose -j - 2*j = -m + 15, h = 5*m - j. Is 4 a factor of m?
False
Let o = -8 - -13. Suppose -2*v = o*h - 176, -5*h + 26 = 4*v - 156. Suppose 2*w - h = 140. Is 27 a factor of w?
False
Let p = 0 - 1. Let i be (96/42 - 2) + 10/14. Does 9 divide 25 - (-2 + i + p)?
True
Let z be ((-36)/15)/((-3)/20). Le