ultiple of 24?
False
Suppose c = 4*p + 6*c - 35, 0 = -4*p + c + 65. Is p a multiple of 5?
True
Let s = 1 - -11. Is 14 a factor of (-99)/(-2) - (-6)/s?
False
Suppose 2*o - h = -3*o + 836, 4*o - 684 = -3*h. Is 14 a factor of o?
True
Let u be (-6)/(-33) - 10/55. Suppose 0 = 2*j - 1 + 3, 2*z - j - 33 = u. Is 7 a factor of z?
False
Suppose t + 2*a - 4 = 6*a, 0 = -t - 3*a + 4. Suppose 0*r = -r + t. Suppose 9 = 3*d, 2*p + d = r*p - 9. Is p a multiple of 6?
True
Suppose -5*t - 3*g + 261 = -138, -5*t + g = -407. Does 27 divide t?
True
Let x(d) = d**3 + d + 2. Let p be x(0). Let a be (-258)/p - 0/(-2). Does 15 divide (a*6/(-9))/2?
False
Let v = -3 + 20. Is 4 a factor of v?
False
Let y(p) = -3*p + 2*p**2 + 0*p**2 + 2*p. Is y(-3) a multiple of 7?
True
Let t(i) = -i**3 - 6*i**2 - 7*i - 5. Let c be t(-5). Suppose h - c*h = 5*l + 146, 0 = 5*l + 2*h + 138. Is (-1 - 0 - 0)*l a multiple of 11?
False
Does 24 divide (0 + -2)/(3/(-72))?
True
Is 76/38*(1 - 11/(-2)) a multiple of 3?
False
Let l(r) = -r**2 - r + 4. Let d be l(-3). Does 8 divide -2 - d - (-23)/1?
False
Let g = 41 - 33. Is g a multiple of 4?
True
Suppose u = x + 6*u - 16, 0 = u - 2. Suppose 297 = 3*d - x*d. Let q = -59 - d. Is q a multiple of 15?
False
Suppose 0 = -3*x + 2*a, 4*a - 12 = -3*x + 2*a. Suppose -o + 12 = x*o. Is 2 a factor of o?
True
Suppose -5 = -5*t + 5. Suppose 2*q + 4*o + 94 = 7*q, t*q + o = 48. Does 22 divide q?
True
Let n(b) = -b**3 - 8*b**2 - 4*b + 8. Is n(-8) a multiple of 20?
True
Suppose 3*i - 168 = 216. Is 16 a factor of i?
True
Let d = 199 + -74. Suppose -3*w + 5*m + d = -69, 0 = w + 2*m - 72. Does 29 divide w?
False
Let u be (-3 - -38 - 3) + 3. Let w = u + -15. Is 10 a factor of w?
True
Let u be 1/(-5) - 226/(-5). Suppose u = 5*c - 15. Does 4 divide c?
True
Let h(j) be the second derivative of j**3/6 + 3*j**2/2 - 2*j. Let b be (-2)/(-4)*-2 + 1. Does 2 divide h(b)?
False
Suppose -95 = -6*r + 121. Does 10 divide r?
False
Let m = 6 + -13. Let x = m - -72. Is 10 a factor of x?
False
Suppose -r = -4*r + 4*q + 77, -4*q + 107 = 5*r. Let t = -11 + r. Does 7 divide t?
False
Let o(p) be the first derivative of 3*p**4 + 2*p**3/3 - p - 1. Is o(1) a multiple of 13?
True
Let n = 96 - 90. Does 6 divide n?
True
Is (12/10)/((-30)/(-2175)) a multiple of 42?
False
Let d(t) = t**3 + t**2 - 5. Let w be d(0). Let j be ((-2)/(-3))/(w/(-30)). Suppose 0*r + r - l - 9 = 0, j*l = -20. Is r a multiple of 2?
True
Let h be ((-4)/5)/(2/10). Let t = h + 3. Is (-58)/(-8) - t/(-4) a multiple of 3?
False
Let d(t) = -t**3 + 6*t**2 - 6*t + 5. Let x be d(5). Suppose 0 = 3*m - 3*v - 177, 3*m = -x*v - v + 197. Suppose 2*w = a + a + 40, 3*w = -a + m. Does 12 divide w?
False
Suppose -4*c = -17 - 83. Is 23 a factor of c?
False
Suppose -3*c + 2*o - 12 = 0, c + 0*o + 4 = -3*o. Let i = 6 + c. Let g = 8 - i. Is 3 a factor of g?
True
Suppose -2*i + 21 = 5. Suppose 4*k = -8, -4*g + 2*g = -5*k - i. Does 4 divide 0 + (-7)/(-2 - g)?
False
Let h(y) = 33*y - 3. Does 12 divide h(2)?
False
Let f = -6 + 32. Is f a multiple of 10?
False
Let d = -3 - -6. Suppose d + 1 = -q. Is (0 - -3) + q + 6 a multiple of 2?
False
Let m(b) = -2*b + 7. Let k be m(4). Is 28 a factor of 3 - (-85 + 3/k)?
False
Does 14 divide (-18)/27 - (-118)/6?
False
Let d = 23 - 3. Is 10 a factor of d?
True
Does 63 divide 7/((-21)/18)*(-504)/16?
True
Let k(g) = -g**3 - 5*g**2 + 5*g - 1. Let h be k(-6). Let y = h + 7. Does 8 divide y?
False
Suppose z + 3*g - 16 = 0, -5*z + 20 = -z + g. Suppose -2*v + z*v = 18. Is 5 a factor of v?
False
Let j(b) = -b**3 + 12*b**2 - 12*b + 9. Let i be j(11). Is 24 a factor of (-8)/(i/(-36)*-2)?
True
Suppose 2*c + 200 = 6*c. Let h be -1 + -1 + 0 - 8. Does 14 divide c/4*(-32)/h?
False
Let f be -87*-2*(-1)/3. Let g = -39 - f. Does 5 divide g?
False
Suppose 0 = -2*c + 48 - 30. Is c even?
False
Let j = -17 - 52. Suppose 4*y = 2*y - 4. Is 17 a factor of j/y + 2/(-4)?
True
Let h = -31 + 85. Is 11 a factor of h?
False
Let j(m) = -m**2 - 15*m - 14. Does 14 divide j(-8)?
True
Let n(d) = -6*d**2 - 2*d + 4. Let h(o) = -5*o**2 - 2*o + 4. Let k(x) = -5*h(x) + 4*n(x). Suppose -2*y + 2 = -6. Is 11 a factor of k(y)?
False
Is 7 a factor of 35/2*(-32)/(-20)?
True
Let u(a) = -49*a**3 - 3*a**2 - 3*a - 2. Let o(m) = 147*m**3 + 8*m**2 + 8*m + 5. Let t(j) = 3*o(j) + 8*u(j). Is t(1) a multiple of 12?
True
Suppose 4*q - 288 = -2*u - u, -u + 5*q = -77. Is 23 a factor of u?
True
Let x(j) = -j + 13. Does 6 divide x(-11)?
True
Let c = -20 + 32. Is 4 a factor of c?
True
Let l(n) = -n - 8. Let r be l(-4). Let o be (9/(-6))/((-3)/r). Is ((-15)/10)/(o/24) a multiple of 11?
False
Let c be 73/(-4) - 1/(-4). Let i = 45 + c. Is i a multiple of 15?
False
Let q = 33 + 32. Let f be q + (6/(-3) - 0). Suppose -n + 151 = 4*z, -2*z + 0*z + f = 3*n. Does 14 divide z?
False
Let x be (1 + -51)/((-2)/(-2)). Let w = 121 + x. Does 17 divide w?
False
Let t(h) = h**3 - 7*h**2 - 6*h + 3. Is t(8) a multiple of 5?
False
Let o(b) = -b**2 - b - 2. Let u be o(0). Does 7 divide u/5 + 186/15?
False
Let a(s) = -52*s**2 + s - 3. Let m(d) = -156*d**2 + 3*d - 8. Let f(o) = 11*a(o) - 4*m(o). Is f(-1) a multiple of 21?
False
Let a(t) = 26*t**2 - 3*t + 2. Is 16 a factor of a(2)?
False
Let g = 437 - 63. Does 9 divide g?
False
Let t = 32 - -42. Is t/4 + 33/(-22) a multiple of 17?
True
Suppose 0 = -3*f + 126 - 48. Let d = f + -16. Suppose v = l - d, -4*l + v - 6 = -52. Does 4 divide l?
True
Suppose -3*d + 0*d = -9. Let r(t) = -t**2 - 3*t - 1. Let u be r(d). Let f = -9 - u. Is 4 a factor of f?
False
Let d(u) = 5*u**2 - 2*u + 8. Let h be d(-4). Suppose 4*c = 3*x + x + h, -c + 4*x = -39. Is c a multiple of 9?
False
Is (-208)/(-65)*(1 + 29) a multiple of 32?
True
Let y(m) = m + 4. Let q be y(-7). Let v be 534/78 - (-4)/26. Let h = q + v. Is h a multiple of 4?
True
Let p = 4 + -12. Let y(f) be the second derivative of f**4/12 + 7*f**3/6 + f**2 - f. Is y(p) a multiple of 4?
False
Suppose 0 = -6*w + 2*w + 688. Suppose -w - 20 = -4*b. Is b a multiple of 9?
False
Suppose 2*r - 3*r = -2*m - 13, 4*r - 16 = -4*m. Suppose -3*t + 5 = -2*s, -9 = 5*s - r*t + 3*t. Is 7 a factor of (1 + 0)*s + 11?
False
Suppose k + 4*m - 49 = -0*k, -2*k + 4*m + 38 = 0. Does 6 divide k?
False
Let s = -1 - -6. Suppose v + 2 = 0, -124 = -s*j - 4*v + 63. Does 11 divide j?
False
Let a(y) = 8*y - 4. Is a(4) a multiple of 7?
True
Let t(f) = 2*f. Let m be t(-2). Does 13 divide (-93)/(-6) + (-6)/m?
False
Let v(u) = 2*u**3 - u**2 + u. Let n be v(1). Let z be -1 - -1*(3 - n). Suppose z*f - 4 = -f. Is 4 a factor of f?
True
Suppose 5*k + 2*w = w + 27, 5*k + 5*w = 15. Suppose 0 = o - k - 0. Is o a multiple of 4?
False
Let h be 68/(-20) + (-2)/(-5). Is 13 a factor of (-52)/h*(-6)/(-4)?
True
Let w = -10 - -10. Suppose -n = w, -n = -4*i + 2*n + 284. Suppose -3 = -2*v + i. Does 12 divide v?
False
Suppose -4*h = -5*v - 53, 4*h - 5 = -4*v + 3. Is h a multiple of 5?
False
Suppose -5*a = -9*a + 32. Suppose -5*o + 3*d = -107, -a*d = o - 3*d - 27. Is 17 a factor of o?
False
Suppose l - 14 = -2*l + g, 6 = -l - 5*g. Let n be (2 - -1)*16/(-6). Is ((-22)/4)/(l/n) a multiple of 8?
False
Is (-4)/6*(-540)/24*11 a multiple of 33?
True
Suppose 3*u = 3*a - 18, 3*a + 0*u = -3*u + 42. Let p(f) = f + 13. Let x be p(a). Suppose -c - 1 = -x. Is c a multiple of 8?
False
Let w(g) = g**3 + 7*g**2 - 4*g - 6. Is w(-7) a multiple of 14?
False
Let i = 165 + -108. Is 15 a factor of i?
False
Let n be 1/2 + (-213)/(-2). Suppose -n = -2*v - 19. Is 11 a factor of v?
True
Let p(x) = -3*x**3 - 2*x**2 - 8*x + 3. Is p(-4) a multiple of 13?
True
Suppose 4*r = 2*f - 4*f + 76, r = f - 29. Is f a multiple of 16?
True
Let o be (-1)/((-1)/(-4)*-2). Suppose 0 = -o*a + 3*a - 5. Is 3 a factor of a?
False
Suppose 5*l + 47 = 12. Is (-6)/(-21) + (-110)/l a multiple of 16?
True
Let k = 3 + -1. Suppose -y + 91 = 2*m, -5*m + k*m + 3*y + 114 = 0. Is m a multiple of 9?
False
Let f(h) = 4*h**2 - 12*h + 28. Is f(5) a multiple of 6?
False
Is 3 a factor of (2/(-5))/((-8)/80)?
False
Suppose -f + 23 = -19. Suppose -4*c + f = -94. Is c a multiple of 13?
False
Suppose -4*g + 20 + 4 = 0. Suppose 2*q = 6, 3*q + 96 = g*r - 3*r. Is 19 a factor of r?
False
Let x(h) = 4*h - 5 - 4*h**2 + 0 + 5*h**2. Let g be x(-5). Suppose 4*i = -g*i + 136. Is 17 a factor of i?
True
Let r be 0 + 6/9*3. Suppose 0 = -m - y - 4 + 21, 4*m = r*