**3 - f + 5. Let r(w) = -4*h(w) - 5*k(w). Suppose -3*n = -0*n + 9. Is 11 a factor of r(n)?
False
Let p be (-4)/(-18) - 100/(-36). Does 8 divide p + -14*(-6)/4?
True
Is 176/30 - 8/(-60) a multiple of 6?
True
Suppose c + 0*c = 308. Is c a multiple of 11?
True
Suppose 182 = 5*x + 47. Let k = x - 0. Does 7 divide k?
False
Let h(d) = d**2 + 12*d + 22. Is h(-18) a multiple of 10?
True
Let d(o) = 25*o - 1. Let m be d(1). Let k be (3 - (-20)/(-8))/(3/204). Let r = k - m. Does 10 divide r?
True
Suppose -150 = 4*t - 778. Is 16 a factor of t?
False
Let g = -167 + 230. Is 3 a factor of g?
True
Let t(a) = 0 + 15*a - 2 + 1. Is 19 a factor of t(3)?
False
Let k be 0 + 1 + 0 + -8. Let s = 18 + k. Does 11 divide s?
True
Suppose -2*q + 3*q + 39 = l, -5*l - 3*q + 219 = 0. Does 3 divide l?
True
Suppose w - 3*w + 3*u = -8, -u - 8 = -2*w. Let r = w + -2. Suppose 2*q = -r*q + 60. Does 15 divide q?
True
Let i(u) = -u + 8. Let g(o) = 3*o - 24. Let k(r) = -3*g(r) - 8*i(r). Let j be k(5). Suppose 0 = j*z - 2*z - 10. Is 5 a factor of z?
True
Let r(a) = -a - 4. Let q be r(-6). Suppose 3*y + q*y = 25. Suppose -2*h = -3*h - y*z + 49, 2*z - 160 = -4*h. Is 15 a factor of h?
False
Suppose -5 - 127 = -4*y. Does 11 divide y?
True
Suppose 5*c + 0*c = 320. Suppose 0*y - c = -4*y. Is 8 a factor of y?
True
Let g = 4 + -2. Suppose -5*x + 63 = -5*o + 3, -3*x + 21 = g*o. Is 9 a factor of x?
True
Suppose 2*l - 3*t - t - 50 = 0, 106 = 4*l - 2*t. Is 27 a factor of l?
True
Suppose -4*g + 3*w = -6, -8*g = -4*g + 5*w + 10. Suppose -2*y + y - 5*u - 4 = g, y = -u + 12. Is y/2*14/4 a multiple of 14?
True
Suppose -3*l + 58 - 22 = 0. Suppose 0 = -x - 5*w + l, 0*x + x - 5*w = -8. Suppose -x*k - 114 = -4*p, 0*p + 120 = 5*p + 2*k. Does 10 divide p?
False
Let u(h) = -2*h. Let f be u(8). Let r = -3 - f. Is 13 a factor of r?
True
Suppose 5*r = 134 + 56. Is r a multiple of 22?
False
Suppose 0 = -0*a - 3*a + 162. Suppose 0 = -2*i + a - 6. Is i a multiple of 7?
False
Let v be -3*-1*(2 - -1). Suppose -s + 4*s + v = 0, 6 = 3*j - 2*s. Suppose 4*h = -j*h + 68. Does 17 divide h?
True
Let t = 429 - 298. Is 33 a factor of t?
False
Let w = -73 - -104. Is w a multiple of 8?
False
Let d(y) = -4 + 2*y**3 + 0 - 3*y**2 - 1 - 4*y**3. Does 22 divide d(-3)?
True
Suppose 69*u - 66*u = 60. Is 4 a factor of u?
True
Let o = 210 + -126. Is o a multiple of 21?
True
Suppose 9 = q - 13. Is q a multiple of 3?
False
Let g be 6*(-1)/(-2) - 2. Let c = g + 4. Is 5 a factor of c?
True
Let y = 678 + -467. Is y a multiple of 21?
False
Let m = -5 - -8. Suppose 2*u + m*a - 1 = u, 4*a = 4*u - 20. Suppose 0 = -u*t + 8*t - 144. Does 16 divide t?
False
Let o(v) = -3*v**2 + v + 3. Let n(r) = 7*r**2 - 2*r - 6. Let d(h) = 4*n(h) + 9*o(h). Suppose -2*i + 10 = -8*l + 3*l, -2*i + 10 = -3*l. Is d(l) a multiple of 2?
False
Suppose 3*z - 9 + 0 = 0. Suppose 5*o = 2*o + 4*t + 50, 56 = 2*o + z*t. Is 11 a factor of o?
True
Let w(n) = 19*n - 1. Is 18 a factor of w(2)?
False
Does 12 divide -1*(-27)/6*10?
False
Suppose 4*y + 131 = -z + 2*z, 0 = 2*y - 3*z + 63. Does 4 divide (y/(-6))/(1/2)?
False
Let d(j) = -j**2 + 8*j - 3. Let p = 28 + -21. Is 4 a factor of d(p)?
True
Let o(y) = y**3 - 4*y**2 - 8*y + 4. Does 14 divide o(6)?
True
Suppose -3*z = 2*z + 15. Let g be (z + 4)/((-1)/(-3)). Suppose 0 = g*y - 3*s - 54, -96 = -7*y + 2*y - s. Is 19 a factor of y?
True
Let g(l) = l**2 - 4*l + 5. Let i be g(4). Suppose m - i*r = 11, -2*m + 4*r = 15 - 55. Is 8 a factor of m?
False
Suppose k + 21 = 3*p, -p - 49 = -6*p - 3*k. Is 11 a factor of 116/p + 1/2?
False
Suppose 4*v = -r - 2*r - 28, -v = 5*r + 24. Let c(s) = -s**3 - s**2 + 2*s - 4. Let a be c(v). Is 9 a factor of (2/(-4))/((-1)/a)?
True
Suppose 0 = 3*m + 4*w - 14, 4*w - 6 = -m + 12. Let h = -5 - m. Does 9 divide h/2*(-1 + -5)?
True
Suppose -h = -g - 15 + 2, 2*g = -5*h + 37. Suppose 0 = 4*y - h - 7. Suppose 3*s = y*s - 12. Does 12 divide s?
True
Let v(m) = 6*m**2. Let y be v(1). Let p = 39 - y. Is p a multiple of 10?
False
Suppose -3*b - 12 + 21 = 0. Is b a multiple of 3?
True
Is (366/(-15))/(4/(-10)) a multiple of 11?
False
Suppose 0 = 2*b - 0*b + 42. Let s = -11 - b. Is 4 a factor of s?
False
Suppose 4*i - 166 - 130 = 0. Is i a multiple of 16?
False
Suppose -5*l + 314 = 69. Is 16 a factor of l?
False
Let c(l) = 2*l**2 - 9*l + 7. Let q be 2*1*(-15)/(-2). Let a be (-9)/5*(-50)/q. Is c(a) a multiple of 25?
True
Suppose -2*x + 0*x = 10, -3*x = 5*k - 55. Does 5 divide k?
False
Let g(t) = 23*t - 4. Let q be g(3). Suppose -5*v + q = -10. Does 15 divide v?
True
Suppose -5*b = -u - 445, -b + 6*b = -3*u + 425. Does 39 divide b?
False
Suppose 2*a + 6 = w, 3*w - 3*a + 5 = 26. Suppose m + 4*y - 38 = 0, -3*y - w = -5*y. Is m a multiple of 8?
False
Let h(o) = o**2 - 11*o + 10. Let g be h(10). Let n(t) = t**2 - t - 2. Let l be n(3). Suppose 2*c = -g*z - 4*z + 112, c + l = 0. Does 15 divide z?
True
Let u = -21 - -51. Is 6 a factor of u?
True
Suppose -b = b - 18. Is 16 a factor of (-3)/(b/(-48)*1)?
True
Suppose 2*x - 15 - 105 = 0. Is 20 a factor of x?
True
Let v = -67 - -240. Does 16 divide v?
False
Let h = -7 + 14. Does 4 divide h?
False
Suppose 0 = 4*o + 5*r - 710, 2*o - 10*r - 370 = -5*r. Does 9 divide o?
True
Let k be (-83)/(-3) - 6/9. Suppose 5*i - k = 53. Is i a multiple of 7?
False
Suppose -5 = -5*d - 4*f, 3 = -5*d + 4*f + 8. Suppose j - d = -0*j, 26 = 5*q + j. Is 2 a factor of q?
False
Let r = 6 - 3. Suppose o = 0, 0 = -f - 2*f + r*o + 33. Is (3*-1)/((-3)/f) a multiple of 11?
True
Let f = -25 - -197. Is f a multiple of 36?
False
Suppose g + 0 = -6. Let n be g/(-12)*2*-5. Let x = n - -31. Is x a multiple of 21?
False
Suppose 5*y = v + 11 + 2, 0 = 5*v - y - 7. Let s be (5 - 3) + v/(-2). Is (-2)/2 - -8*s a multiple of 4?
False
Let p = -143 + 201. Does 23 divide p?
False
Let k = 19 + 12. Suppose 5*o - 249 = k. Does 20 divide o?
False
Suppose 0 = -3*u - 2*z + 123, 83 - 14 = 2*u - 3*z. Is u a multiple of 14?
False
Let i(r) = 60*r - 15. Let u(o) = -5 - 12*o + 0 + 8. Let y(m) = 2*i(m) + 11*u(m). Is y(-3) a multiple of 13?
True
Let c(q) = 2*q**2 - 2*q - 13. Is c(4) even?
False
Let w(r) be the second derivative of 5*r**4/12 + 11*r**3/6 - r**2 - 2*r. Let u be w(-8). Suppose u = q + 4*q. Is q a multiple of 17?
False
Suppose 16 = 2*p - 6*p. Is ((-2)/p)/(4/80) a multiple of 5?
True
Suppose -2*b = -7*b - 2*w + 10, 0 = b - 2*w + 10. Suppose b*j + 78 = 2*j. Is 13 a factor of j?
True
Suppose -3*f = -4*f + 4*w + 64, 3*w = 4*f - 191. Suppose m + f = 5*m. Is m a multiple of 4?
False
Let z = 1 + 5. Suppose p = -2*v + 18 - 6, -v - p = -z. Suppose 0 = -n + v*n - 70. Does 7 divide n?
True
Suppose -5*o = 5*z - 35, -4*o + 0*z = -3*z - 7. Let a = -4 + o. Suppose a = -3*x + 3*c + 21, -4*x + 18 = c - 5. Does 6 divide x?
True
Let p(o) = 7*o**2 + 3*o - 3. Let s be p(-3). Let h = s - 8. Is 17 a factor of h?
False
Suppose -3*h = 4*b - 789, 5*h + 0*b = -3*b + 1326. Suppose -4*y + y = -h. Does 20 divide y?
False
Suppose -9*d = -4*d - 40. Does 4 divide d?
True
Suppose -5*b - 3*b + 232 = 0. Is 8 a factor of b?
False
Let f = 49 + -25. Suppose 5*m - 6 = 4*m - 5*a, -4*m - 4*a + f = 0. Is m a multiple of 6?
True
Suppose 5*n - 15 = -v + 456, 473 = 5*n + 3*v. Let y = -40 + n. Is 18 a factor of y?
True
Let q(m) = -2*m**2 - 3*m + 3. Let z be q(2). Does 11 divide (-555)/(-33) - 2/z?
False
Suppose 0 = -4*h + 4*k - 8, 0 = 5*h + k + 19 + 3. Let u = h + 12. Does 4 divide u?
True
Suppose 0 = -r + 5 + 11. Is r a multiple of 16?
True
Let a(d) = 4*d. Let q(z) = -1. Let w(b) = a(b) - 2*q(b). Suppose 4*o - 7 = -l + 9, -35 = -3*o + 5*l. Is 11 a factor of w(o)?
True
Let c(m) = m**2 + 8*m + 15. Does 24 divide c(-11)?
True
Suppose 3*f = 2*w - w - 67, 0 = -5*w + 4*f + 368. Does 17 divide w?
False
Suppose -h = 4*h - 85. Does 6 divide h?
False
Suppose 4*c + 16 = 0, 0*y - 2*y - 2*c = -12. Suppose 5*d = y + 30. Does 3 divide d?
False
Suppose -y = 2*y + 2*q - 31, -23 = -3*y + 2*q. Does 7 divide y?
False
Let a be -2*((-2)/1 - 0). Suppose a*n = -n. Suppose h = -n*h + 26. Is 16 a factor of h?
False
Suppose 5*s - 23 = 97. Is s a multiple of 12?
True
Let d(j) = 3*j**2 + 16*j**2 - 4 + 5 + 2*j. Does 18 divide d(-1)?
True
Let b = -11 + 13. Let i be 0 + 0 + 1 + 4. Suppose 60 = 4*p - 4*r, i*p - 47 = b*p + 4*r. Is 6 a factor of p?
False
Suppose 6 = -2*l, 0 = -4*g - l + 6*l + 31. Suppose 2*b - g*t 