?
True
Let p(v) = -v + 44. Let c be ((-2)/4)/((-1)/(-2)). Let u be c - (0 + 1)*-1. Is p(u) a multiple of 16?
False
Let f be 0/1*6/(-6). Suppose f = t - 4 - 2. Does 4 divide t?
False
Let m(t) = -t**3 + 2*t**2 + 5*t - 4. Let s be m(3). Suppose y + 3*d = -s*y + 210, 3*y = -d + 214. Is y a multiple of 24?
True
Suppose 3*h + 2*h + 2*j = 19, 15 = -5*j. Let d = -5 + h. Suppose -5*m + 91 + 4 = d. Is m a multiple of 9?
False
Let m(i) = 2*i**2 + 10*i + 2. Let z(o) = -6*o**2 + 0*o - 6*o + 1 - o**3 + 2*o - 3. Let c be z(-5). Is m(c) a multiple of 13?
False
Let p be (4/(-12))/(2/(-12)). Suppose -3*r + p*r + 5*i + 10 = 0, -5*r - 2*i + 77 = 0. Is 2 a factor of 1/(-1 + 18/r)?
False
Suppose 5*i = 2*i. Let f(p) = p**3 - p**2 + 32. Is 22 a factor of f(i)?
False
Suppose 0 = 2*n + 15*n - 3570. Is n a multiple of 35?
True
Let z(r) = -r + 4*r - 5 - 3*r + r. Let t be z(6). Let v(w) = 7*w**2 + 2*w - 1. Is 8 a factor of v(t)?
True
Let t = -2 - -14. Suppose 5*m = m + t. Suppose -n + m*z + 1 = -0, 4*n = -4*z + 68. Does 8 divide n?
False
Let q(k) = -8 - 4 - 3*k + 0. Is q(-9) a multiple of 5?
True
Let b(k) = -1 - 9 + k + k. Is 6 a factor of b(10)?
False
Let t be (-104)/(-48) + 2/(-12). Suppose -t*x + 3 + 43 = 0. Is 11 a factor of x?
False
Suppose -23 = 7*l - 8*l. Is 23 a factor of l?
True
Let p = 4 - -1. Let s(t) = t**2 + t + 1. Let f be s(p). Let i = f - 17. Is 14 a factor of i?
True
Suppose 5*y = -27 - 38. Is 5 a factor of -1*(y + 0) - 3?
True
Let b = 2 + -2. Suppose 2*l + 4*o + o - 18 = b, o = -3*l + 40. Is l a multiple of 3?
False
Let g(f) = -321*f**3 - f**2 + 2*f + 2. Is g(-1) a multiple of 32?
True
Let t be (-1)/(-2)*(438 + 2). Let i = 1 + 8. Suppose -4*w + i*w = t. Is 13 a factor of w?
False
Is ((-72)/14)/(14/(-147)) a multiple of 27?
True
Suppose 5*h - 3*r - 12 = 0, 0 = -h - 0*h + 5*r - 2. Suppose -m + 88 = -h*m. Is -2 - m - (1 - 1) a multiple of 17?
False
Let z = 4 + 0. Suppose 8*i + 1 = 3*i + 3*l, z*l = i - 10. Is 4 a factor of 14 - -4*i/4?
True
Let n(y) = 3*y**2 + 4*y + 3. Let q be (6/4)/(3/(-8)). Let p = q + 1. Is n(p) a multiple of 9?
True
Let c be (-1)/((-2)/6) + 9. Suppose c = 3*a - 6*a. Let b(s) = -3*s + 1. Does 11 divide b(a)?
False
Let y be (8 - 13)*36/(-10). Let z = -34 + y. Is 4 a factor of (z/(-12))/((-2)/(-15))?
False
Suppose 2*i - 5*a = 36, -2*i - 4*a + 9 = -45. Does 6 divide i?
False
Let a(c) = -c. Let l be a(0). Suppose p + 95 = 5*p - 5*v, 4*v + 12 = l. Does 20 divide p?
True
Let r = 2 + 16. Is 18 a factor of r?
True
Let a(k) = k**2 - 8*k + 4. Let g be a(8). Suppose 81 = 5*q + 5*j + 16, g*j - 16 = 0. Is 6 a factor of q?
False
Let n(q) = 2*q + 4. Let s be n(4). Let r(k) = 2*k**2 + 1. Let x be r(1). Is 2 a factor of (40/s)/(2/x)?
False
Let s(t) = -10*t + 4. Is s(-2) a multiple of 8?
True
Let h = -2 + 30. Is 7 a factor of h?
True
Let j(p) = -p - 1. Let d(r) = -r**2 + 4*r - 25. Let q(g) = -d(g) - 5*j(g). Does 9 divide q(0)?
False
Let n = 536 + -305. Suppose n = 3*d - 0*d. Let i = d - 45. Does 16 divide i?
True
Let p(y) = y**2 + 11 - 3 - y + y**3 + 16. Is p(0) a multiple of 10?
False
Suppose 4*q = 11 - 27. Let p = q - -10. Is 4 a factor of p?
False
Suppose -270 = -5*z - z. Does 9 divide z?
True
Is 35 a factor of 2/(66/4791) + 2/(-11)?
False
Suppose -5*u = -3*j - 25, 2*u + 2*u + 2*j + 2 = 0. Suppose 0 = d + u*d. Suppose d = w + w - 112. Does 19 divide w?
False
Suppose -3*m + 23 = 62. Let x = 0 + m. Let l = x - -18. Is 3 a factor of l?
False
Let o = -2 + 5. Suppose o*b - 137 = 22. Is 23 a factor of b?
False
Suppose 3*t = -2*t. Suppose t = 2*u + 3*u + 20. Is 20 a factor of (-6)/(-8) - 217/u?
False
Let b(q) = 2 - 5*q - q - q**2 - 3*q. Let t(j) = -j**2 - 10*j + 3. Let d(a) = 3*b(a) - 2*t(a). Does 3 divide d(-6)?
True
Let u(y) = -13*y - 4. Does 6 divide u(-2)?
False
Let l(q) = -14*q - 28. Is 28 a factor of l(-8)?
True
Let s(c) = c - 10. Let r be s(10). Suppose -2*n + u + 3*u = -34, r = -n + 4*u + 27. Is n a multiple of 4?
False
Let b = 47 - 3. Is b a multiple of 6?
False
Suppose -2*l = -5*c - 4 - 6, 0 = -5*l - 5*c + 60. Suppose 3*g - 8 = l. Is 2 a factor of 6*3/(27/g)?
True
Suppose -5*u + 22 = -0*u - 4*a, 5*a = -15. Suppose 2*b - u + 4 = 0. Let j(p) = -10*p**3 - p**2. Is j(b) a multiple of 6?
False
Suppose 0 = q - 1 + 3. Let d(g) = g**3 - 8*g**2 - 5*g + 7. Let y(z) = -z**3 + 7*z**2 + 4*z - 6. Let x(a) = 5*d(a) + 6*y(a). Is 8 a factor of x(q)?
False
Let z(b) = -b**3 + 7*b**2 - 3*b + 9. Is z(6) a multiple of 20?
False
Let k(q) = -q + 2. Let p = -11 + 18. Suppose -3*l + 20 = -p*l. Does 7 divide k(l)?
True
Let n = -336 - -216. Suppose j - 2 = -0*j. Is 7 a factor of n/(-9) - j/6?
False
Let r(p) = p + 3. Let x be r(-3). Let n(w) = 3*w + x*w + 54 - 4*w. Is n(0) a multiple of 18?
True
Let y be (-4)/18 + 87/27. Let b be y*(-2)/(-3 - -1). Suppose -71 = -4*l - 2*t - 19, -b*l - 4*t = -34. Does 14 divide l?
True
Suppose 4*j = 9 - 65. Let l = j - -34. Does 7 divide l?
False
Suppose 3*j + 2*c = 4*j - 7, -4*j = -4*c - 24. Let s(u) = -u**2 - u - 7. Let z be s(j). Let l = z + 84. Is 17 a factor of l?
False
Let g(w) = 4*w**2 - 9*w + 6. Let b(j) = 5*j**2 - 9*j + 7. Let s(c) = 3*b(c) - 4*g(c). Does 5 divide s(6)?
True
Let q = -154 - -235. Is 9 a factor of q?
True
Is 6 a factor of 3/((-6)/4)*(-84)/8?
False
Does 12 divide (-3)/((-9)/6) + 22?
True
Suppose -5*a = -101 - 129. Does 29 divide 6/4*(a + 12)?
True
Is 9/12*8*26/6 a multiple of 5?
False
Let v = 6 - 5. Suppose -4*o - 3 - v = 0. Is 16 a factor of o/(-1 + (-46)/(-48))?
False
Let t = 5 + 1. Suppose -g + t*g = 0. Suppose -4*c + 4*v + 44 = -0*v, g = -2*c + 3*v + 25. Does 4 divide c?
True
Let x be 6/5*5/2. Let n = x + 3. Is n a multiple of 6?
True
Let l(a) be the third derivative of 17*a**4/24 - a**3/6 - 3*a**2. Is l(2) a multiple of 13?
False
Let b be 1/(2/(0 - -14)). Let h = b - 10. Does 10 divide (-3)/(h/2) - -10?
False
Suppose -3*t + 4*k + 547 = 5*k, 4*k = 2*t - 360. Is t a multiple of 42?
False
Suppose 5*z = 3*z + 4. Suppose z*u - 16 = 76. Is u a multiple of 15?
False
Let s(j) = j**3 + 9*j**2 + j + 2. Let l be s(-9). Let t = l - -17. Is 6 a factor of t?
False
Suppose 2*m + 7 - 1 = 0. Suppose -5 = x - 3*t - 2*t, 5*x - 4*t + 67 = 0. Let b = m - x. Is b a multiple of 6?
True
Let a(r) = -r**3 - 6*r**2 - 5*r + 6. Let i be a(-5). Suppose 2*t - i = -3*m + 2, -4 = -4*t. Is 2 a factor of m?
True
Suppose 2 = -w - 4*z, -5*z + 40 = -3*w - 0*z. Let s be ((-16)/w)/(2/5). Does 9 divide s - 2 - (-14)/2?
True
Let j(q) = q**2 + 6*q + 5. Let d be j(-5). Suppose -4*k + 2*k + 30 = d. Does 5 divide k?
True
Let u = -10 - -6. Let l(d) = -32*d - 25. Let c(h) = -21*h - 17. Let f(b) = -7*c(b) + 5*l(b). Is f(u) a multiple of 18?
False
Let m(v) be the first derivative of -v**4/4 + 7*v**3/3 + 5*v**2 - 2*v - 3. Is m(8) a multiple of 9?
False
Let u = -7 + 7. Suppose u = -5*l + l + 112. Does 14 divide l?
True
Let t be (80/25)/(1/5). Suppose -2*z - 2*z = -t. Does 4 divide z?
True
Suppose 4 = -2*f + 18. Suppose -c + 0 = f. Let m = c + 17. Is 5 a factor of m?
True
Let i = 51 + -8. Is i a multiple of 6?
False
Suppose 0 = -6*t + 3*t + 75. Let z = t + 40. Is 27 a factor of z?
False
Let w(s) = -1 - 2*s**2 - 3*s - s**3 + 6*s + 0*s + 2*s**3. Let x be w(2). Suppose x*z - z = 132. Is 11 a factor of z?
True
Suppose -3*u = -39 - 45. Is u a multiple of 5?
False
Let c(r) = r**3 - 7*r**2 - 5*r + 8. Let m(o) = -5*o**3 + 36*o**2 + 25*o - 41. Let u(t) = -11*c(t) - 2*m(t). Let d be u(5). Let p = d - 13. Is 3 a factor of p?
True
Is 30 a factor of 2/8*2*298 + 1?
True
Let x = 5 + 7. Is 4 a factor of x/(-42) + (-88)/(-14)?
False
Suppose -6 = -3*b + b. Let y(q) = 3*q - 5*q + b*q - 5*q. Does 8 divide y(-4)?
True
Let k = 269 + -159. Is k a multiple of 16?
False
Suppose 3*b = 4*c - 15, c + 2*b = -3*c + 30. Let r be 448/6 - c/(-18). Suppose 0*i = 5*i - r. Does 15 divide i?
True
Let s(v) = v - 1. Let b be s(-2). Let c be 7 + -6 - (b + 0). Let h = c - 0. Is h a multiple of 2?
True
Let y be ((-2)/6)/(3/(-18)). Suppose -y*t - 16 = -2*r - t, -2*r + 28 = 5*t. Does 9 divide r?
True
Suppose 0 = -u - 0*u. Suppose 0 = -2*g - u*g + 12. Is 3 a factor of g?
True
Suppose -3*u - 2*l = 2*u - 230, 4*u + 4*l - 196 = 0. Is u a multiple of 11?
True
Suppose 35 = 8*p - 3*p. Suppose 6*j - 28 = 62. Let u = j - p. Is u a multiple of 3?
False
Suppose 148 = -2*r + g, -3*r = -8*r + 3*g - 372. Let n = -46 - r. 