 0. Is (12/z)/(4/(-138)) a multiple of 23?
True
Suppose m - 4*o = 385, 3*o - 545 = -3*m + 685. Is m a multiple of 5?
True
Suppose -6*v + 29 = -1. Suppose -c + 0*c + v*u = -62, 5*u - 148 = -4*c. Does 14 divide c?
True
Suppose 0 = -10*l + l + 4968. Suppose -3*h = -9*h + l. Does 11 divide h?
False
Suppose 0 = 5*o + 10, 88 = -11*x + 13*x + 5*o. Does 10 divide x?
False
Let f(b) = -b - 1. Let g(n) = -6*n - 2. Let d(x) = 3*f(x) + g(x). Does 20 divide d(-6)?
False
Let u be (-16)/(-24) + (-22)/(-3). Is (u/(-16))/(1/(-20)) a multiple of 4?
False
Let c(b) = -b**2 + 28*b - 51. Does 34 divide c(18)?
False
Suppose 0 = -h - v + 123, 5*h = 5*v - 2*v + 583. Suppose h = y - 3*j, 0*j + 2*j = -10. Is y a multiple of 47?
False
Let k(a) = -1 + 1 - 1 + a + 3. Let n be k(-2). Suppose -5*d + 3*d - 5*c + 96 = n, 0 = -d - 4*c + 48. Does 16 divide d?
True
Is 150 - -1*(-9 + (-12)/(-3)) a multiple of 19?
False
Let p(g) = 33*g - 45. Is p(6) a multiple of 16?
False
Let s = 1847 - 913. Is s a multiple of 11?
False
Let v(c) = c**3 + 7*c**2 - 9*c - 11. Let m be v(-8). Does 4 divide ((-2)/(-4) + m)*-2?
False
Let l(d) = -d + 6. Let y be l(3). Let p(z) = -3 + y - 6*z - 9*z. Is p(-2) a multiple of 10?
True
Suppose 0 = -l - 2*l + 27. Let x be l/36*(-8)/(-2). Is -2*x*-8 - -3 a multiple of 11?
False
Does 31 divide 62*(3 + 3 + 10)?
True
Suppose 0 = -3*y - 2*x - 74, -y + 2 - 5 = 5*x. Let f be y/(-4) - 3 - 2. Suppose q - f*q + 52 = 0. Is 18 a factor of q?
False
Let p(s) = 2*s**3 + 8*s**2 + s - 4. Let f be p(4). Is (f/(-6))/(4/(-6)) a multiple of 16?
True
Let y be (-1)/(-3) + 50/30. Suppose 4 = -y*c + 3*c. Suppose -c*t = -48 - 48. Is 12 a factor of t?
True
Suppose -3*k = -586 + 133. Does 12 divide k?
False
Let i(h) = -h**2 - 5*h - 11. Let x be i(-5). Let p be 134/x - 4/(-22). Is -6*22*4/p a multiple of 10?
False
Suppose 9*t - 3469 - 4739 = 0. Is 24 a factor of t?
True
Let w = -19 - -22. Suppose -w*d + 4*b + 19 = 0, d + 6*b - b - 38 = 0. Does 9 divide d?
False
Let u be (-2)/6 + 50/15. Let k(q) = -4*q**u + 2*q**2 - 2*q**3 - 5*q**3 + 2*q - q. Is 12 a factor of k(-1)?
True
Suppose -5*s - 3*h = -933, 4*s = -0*s - 2*h + 746. Suppose 2*t - 8*t = -s. Is 4 a factor of t?
False
Let t = 56 - -19. Suppose -37 = -4*h + t. Is h a multiple of 14?
True
Let q be ((-21)/14)/((-3)/10)*1. Suppose q*o - o = 544. Is 39 a factor of o?
False
Let i(z) = 6*z - 4. Let o(u) = u**2 - 10*u - 6. Let j be o(10). Let d = j + 11. Is i(d) a multiple of 5?
False
Let a(j) be the third derivative of j**4/12 + 13*j**2. Let u be a(2). Suppose 2*x = -2*x + h + 56, -u*h - 14 = -2*x. Is x a multiple of 3?
True
Suppose 5*x + 18*x = 2783. Is x a multiple of 18?
False
Let u(b) = -b**3 + 6*b**2 + 8*b - 5. Let p be (-4)/8 - 15/(-2). Let v be u(p). Is 8 a factor of -4 + (28 + v - 2)?
True
Let b be -206 + 2*(-3 + 2). Let q = -109 - b. Is 8 a factor of q?
False
Let m be 175/21*(1 + 2). Let p = -4 + m. Does 3 divide p?
True
Let u(q) = q + 10. Let n be u(-5). Let w = 4 + n. Is w/(2 - -1) - -18 a multiple of 13?
False
Let v(b) = -4*b**3 + b**2 - 7*b + 10. Let h(p) = p**3 - p**2 - 1. Let n(m) = 5*h(m) + v(m). Let z be n(5). Is (-905)/(-25) + 1/z a multiple of 13?
False
Suppose -58*f = -55*f - 3*p - 2439, 4*f - 3257 = 5*p. Is 8 a factor of f?
True
Let s = 51 + -36. Let o = 73 + s. Is o a multiple of 7?
False
Let y = 17 - -68. Let d = y - -5. Is d a multiple of 15?
True
Suppose -p - 2*c - 117 = 121, 2*p - 5*c = -431. Does 6 divide p/(-95)*25/2?
True
Let c = -93 + 90. Is (40/(-15) - c) + (-230)/(-3) a multiple of 26?
False
Let l be -4*8/(-256) - (-2359)/8. Let f = l - 200. Is f a multiple of 24?
False
Suppose 17*i - 5760 = -7*i. Is 12 a factor of i?
True
Let w(q) be the third derivative of q**6/120 - 11*q**5/60 + 5*q**4/12 + 7*q**2. Let m be w(10). Does 15 divide 0/7 + (46 - m)?
False
Suppose 97*l - 111*l = -11760. Is 12 a factor of l?
True
Let u(t) = 2*t**2 - 2*t + 2. Let p be u(2). Let j(v) = -p - 3*v - 4*v + 4*v. Is 13 a factor of j(-7)?
False
Let v = -42 - -83. Suppose w = -1 + 6, 4*o + 5*w - v = 0. Suppose 5*p - 344 = -4*m, -3*m - p = o*p - 253. Is 16 a factor of m?
False
Suppose -5*t = 5*m - 11005, 0 = 3*m + 13*t - 8*t - 6595. Is m a multiple of 9?
True
Let s(f) = -15*f**3 + 3*f**2 - 5*f - 4. Is 20 a factor of s(-2)?
False
Does 11 divide ((-152)/(-57))/((-4)/(-582))?
False
Let d(j) be the third derivative of -j**6/30 + j**5/60 + j**4/24 + j**3/3 - 7*j**2. Does 41 divide d(-3)?
False
Suppose -2*q + 3*q - 76 = 5*p, -q - 5*p = -56. Is q a multiple of 6?
True
Let p(x) = x - 5. Let n be p(3). Let r(k) = -4*k - 4. Let q be r(n). Suppose -5*g - 4*d = -0*g - 348, -g - q*d = -76. Does 17 divide g?
True
Let x = -779 + 1307. Is x a multiple of 24?
True
Suppose -4*r = -5*u + 150, 2*u - 3*u + 4*r + 30 = 0. Let b = u + -40. Is ((-6)/(-8))/(b/(-80)) a multiple of 6?
True
Let o = 8 - 15. Let t be (5 + o)/((-2)/26). Suppose -3*u + j + 37 = 0, 2*u - t + 3 = j. Does 14 divide u?
True
Is -5 - (-260 - -1 - (2 + 0)) a multiple of 104?
False
Let c be ((-2)/4)/((-2)/(-12)). Let t(q) = -17*q - 1. Let a be t(c). Is 27 a factor of a + (-3)/(-6)*-2?
False
Suppose 0 = -p + 2 + 2, -2*b + 6*p = -3202. Is b a multiple of 20?
False
Let n = 57 + -59. Suppose -15 = -5*r - 0*r. Does 8 divide -2 + 25 + r + n?
True
Is 8 a factor of -7 + (-14 + 6 - -149)?
False
Suppose -6076 - 7108 = -16*r. Suppose 6*p - 2*p - r = -4*c, -2*c - 1023 = -5*p. Does 12 divide p?
False
Let o be ((-270)/(-20))/(1/2). Suppose -4*f = 5*s + 9, -3*f + 0*s = -3*s - o. Let z(k) = k + 8. Is 4 a factor of z(f)?
True
Suppose 64 = 2*r + 2*p, 9*r - 58 = 7*r + p. Is r a multiple of 6?
True
Let x(l) be the first derivative of l**3/3 + 3*l**2/2 - 9*l - 6. Let v be x(-7). Let o = v - 10. Is 3 a factor of o?
True
Does 3 divide 176*(3/(-12)*14 - -5)?
True
Suppose -2*o = 6*w - w - 97, 5*w + 119 = 4*o. Suppose 2*z = 5*h - 100, h - o = 3*z - 3. Is h a multiple of 2?
True
Suppose -998*d - 306 = -1007*d. Is 8 a factor of d?
False
Suppose n = -0*n - 3*h - 88, 4*n - 3*h + 412 = 0. Let g = n - -167. Does 9 divide g?
False
Let q be 9926/(-14) + 4*1. Let m = -423 - q. Does 12 divide 10/20 + m/4?
False
Suppose 0 = 3*r + 5*t - 52 + 188, 5*r = 2*t - 206. Does 6 divide r/(-4 + (-20)/(-8))?
False
Suppose 5*l - 4100 = -5*u, 0 = 2*u + 2*l - l - 1640. Is u a multiple of 16?
False
Let w be 251*-1 + 1 + (-16)/8. Let y = w - -366. Does 12 divide y?
False
Suppose -4*o + 218 = 5*v - 415, 5*o = 2*v + 750. Does 15 divide o?
False
Let n(b) = b**3 + 19*b**2 + 12*b - 10. Is 32 a factor of n(-14)?
False
Let p(r) = r**2 + 6*r + 3. Suppose 4*g + 22 = -2*a + a, -4*g - 20 = 2*a. Let w be p(g). Suppose -7*t + w*t = 2*j - 170, 0 = 2*j + 6. Is 11 a factor of t?
True
Let u(t) be the third derivative of t**8/6720 + t**7/1260 - t**6/144 + t**5/60 - t**2. Let z(y) be the third derivative of u(y). Is 7 a factor of z(2)?
False
Suppose 4 = -5*m - 0*m + 2*w, 5*m + 4*w = 8. Suppose 4*q = -l + 1 + 8, -5*l - 15 = m. Suppose -11 = -q*b + 2*b. Is b a multiple of 11?
True
Suppose -3*u + 1332 = 3*q, -u + 4*q = -158 - 266. Is u a multiple of 40?
True
Let f = 85 - 6. Suppose -f = v - 2*v. Is 12 a factor of v/2 + 4/(-8)?
False
Suppose 0 = -r - 4*r + 15. Let k be (-8)/(-4) - (-2 + 4). Suppose 3*n - 3 = k, -30 + 179 = r*f - n. Is f a multiple of 10?
True
Let q(n) = 8*n - 7. Let g = 1 - -9. Let b be q(g). Suppose b = 4*z + 3*c, 0 = z + 2*z + 4*c - 60. Is z a multiple of 11?
False
Let b = 148 - -1071. Is 23 a factor of b?
True
Let y(a) = -a**3 + 9*a**2 - 5*a + 13. Let f(r) = -7*r**3 - r + r**3 - r**2 - r**2 - 2*r**3. Let b be f(-1). Does 19 divide y(b)?
True
Let s(a) = -3*a**3 + 8*a**2 + 20*a + 1. Is 37 a factor of s(-4)?
False
Let q = 0 + 15. Let r = q + -11. Suppose -r*l + 180 = l. Is 18 a factor of l?
True
Suppose 2*f = 5*w - 730, -292 = -12*w + 10*w + 2*f. Is w a multiple of 8?
False
Let u(d) = 793*d**3 + 5*d**2 - 2*d - 1. Does 10 divide u(1)?
False
Let p(j) = 30*j**2 - 11*j + 16. Does 11 divide p(3)?
True
Let t = -8492 - -11892. Is 40 a factor of t?
True
Let v(h) = -h**3 + 7*h**2 - 2*h - 1. Let f be v(6). Let y = -14 + f. Is 12 a factor of 32 + (y + -3 - 3)?
False
Let v be -4 + 0 + 7 - -1. Suppose -9 = -n - v*l, 15 = n - 2*l - 12. Does 7 divide n?
True
Let x(j) = 3*j**2 + 5*j + 10. Let d be x(-5). Suppose -5*y = -10*y + d. Suppose -c + y = 3*c - 4*t, 2*c = -5*t + 2