u = o - p. Is u a multiple of 19?
True
Suppose -2*c = -3*c + 4. Let f(u) = 37*u - 39*u - 15 - c. Is f(-17) a multiple of 3?
True
Let l = 811 + -395. Suppose -5*v - l = -3*f, 2*v + 6 + 2 = 0. Does 33 divide f?
True
Suppose 2*w - 7 = -2*p + 3*w, -5*w = p + 13. Suppose p*s = -0*s. Suppose 4*u - 200 = -s*u. Is u a multiple of 16?
False
Suppose -2*b + 5*z = -496, 7*b - 721 = 4*b - 4*z. Does 27 divide b?
True
Suppose -196*g = -216*g + 12320. Is 11 a factor of g?
True
Let x = 44 - 39. Suppose -648 = -x*m + 2*a, -369 - 283 = -5*m + 3*a. Is 16 a factor of m?
True
Let r = 2343 - 2381. Suppose -4*m - 5*b - 343 = 0, 2*m - m = 3*b - 73. Let h = r - m. Does 8 divide h?
False
Suppose m - 17*m = -m. Suppose m = 4*l - 0*l - 300. Is l a multiple of 15?
True
Is 24 a factor of (-4)/(5 + (-121)/24)?
True
Suppose 19*c = 18*c. Suppose i = 0, 2*z - i = -c*z + 22. Is 11 a factor of z?
True
Let h(t) be the third derivative of 2*t**5/15 + t**4/24 + t**3/6 - 10*t**2. Let p(j) = j**3 + j - 1. Let s be p(0). Does 7 divide h(s)?
False
Suppose -3039 = -17*i + 8708. Does 49 divide i?
False
Is 108/(-216) + (1562/4)/1 a multiple of 39?
True
Let b = -5 - 2. Let m(y) = y**3 + 9*y**2 + 9*y + 21. Does 6 divide m(b)?
False
Suppose -5*i + 2232 = 7*i. Does 4 divide i?
False
Let v = 7 + -6. Let f(r) = -r**3 - 19*r**3 + 3*r**3 - v + r**2 - 18*r**3. Is 8 a factor of f(-1)?
False
Suppose 4*p + 4*t + 22 = 3*p, -t = -4*p - 3. Is 17 a factor of 181 + (4 - (-4)/p)?
False
Let m be (3 + -1)/((-20)/30). Let t be -1 - 44/(-4) - m. Let q = 40 - t. Is 5 a factor of q?
False
Let k = 1727 - 917. Does 15 divide k?
True
Let y(i) = 3*i + 1. Let j be y(2). Let t = 31 - j. Let u = t + -11. Does 5 divide u?
False
Let a be (39 - 4)/(4/8). Suppose -5*u = -a - 0. Is 10 a factor of (120/(-21))/((-4)/u)?
True
Let f(j) be the second derivative of j**4/12 - 4*j**3/3 + 2*j**2 + 11*j. Let y(v) = -v**2 - 8*v - 1. Let c be y(-6). Does 19 divide f(c)?
False
Suppose 7*a - 13*a + 15480 = 0. Suppose -t + a = 5*t. Is 47 a factor of t?
False
Let l be (-9)/(-3*(-4)/12). Let n(w) = -w**3 - 9*w**2 - 5*w. Does 13 divide n(l)?
False
Let g be (-2)/(-6)*-1 + 5525/51. Let y = g + -6. Is y a multiple of 15?
False
Suppose 6*p - 1055 = 2815. Suppose -4*b + d + p = 0, -4*d - 419 = -3*b + 81. Does 40 divide b?
True
Let f(n) = 3*n**3 - 3*n**2 - 2*n + 4. Suppose -7 - 5 = -3*t - q, 0 = 4*t + 3*q - 21. Does 13 divide f(t)?
True
Does 28 divide 1240 - 3 - 1 - (-17 + 12)?
False
Suppose -9*x - 582 = -11*x. Is x a multiple of 21?
False
Suppose 0*w - w + 4*u = 0, -3*w + 5*u - 14 = 0. Let o = -32 + 35. Does 10 divide (w + 9)*o*10?
True
Suppose -56*a + 370 = -51*a. Is a a multiple of 5?
False
Suppose -9 = 3*g, 2*g = -a - 2*g + 658. Is a a multiple of 25?
False
Is 4/(-6) + -1*(-7994)/3 a multiple of 12?
True
Is (-6)/12 + (8996/8 - 4) a multiple of 13?
False
Suppose 0 = 3*r + 2*r + 2*f + 229, 0 = 3*r + 2*f + 135. Is -3 - 6/(-3) - r a multiple of 23?
True
Does 15 divide (-15)/(-75) + (-5674)/(-5) + -1?
False
Suppose 3*p = -s + 983 + 22, 4*p + s = 1341. Does 24 divide p?
True
Let j = -54 + 369. Is 45 a factor of j?
True
Let s(b) = 78*b + 248. Is s(34) a multiple of 26?
False
Suppose -y = -3*t - 4*y - 6, 5*y + 19 = -2*t. Suppose t*x - 43 - 113 = 2*l, 4*l = 4*x - 208. Is 4 a factor of x?
True
Is 94 a factor of (31/(-2) + -8)*-52?
True
Does 41 divide 4285186/871 + -4*(-3)/78?
True
Let q(f) = 328*f - 168. Does 72 divide q(6)?
True
Let f = -2620 + 3907. Does 37 divide f?
False
Let y(f) = f**2 - 5*f + 5. Let r be y(6). Suppose r*b - 99 = 8*b. Is 11 a factor of b?
True
Let q = 33 + 37. Is q a multiple of 14?
True
Let h(b) = -b**2 - 14*b. Let w be h(-14). Let p(z) = z**2 + 2*z - 54. Let f be p(w). Let o = -17 - f. Does 10 divide o?
False
Let o = 300 - -308. Is o a multiple of 16?
True
Suppose -r + 1963 = -10*a + 5*a, 4*r - 2*a - 7924 = 0. Does 39 divide r?
False
Let d = 73 + -113. Let t be (-9)/(1/d*6). Let g = -41 + t. Is g a multiple of 5?
False
Suppose -1064 = -3*j + 7*j. Let p = -189 - j. Does 33 divide p?
False
Let g(j) = -14*j**3 - 3*j**2 - j + 1. Let w be g(-2). Let r = 169 - w. Suppose 46 = 4*n - r. Does 14 divide n?
True
Suppose 0 = -3*r + 2 - 17. Suppose 2*n + 2 = 3*n. Is ((-25)/2)/r*n a multiple of 5?
True
Suppose -4295 = -13*o - 343. Is 4 a factor of o?
True
Suppose -2*u = -137 - 87. Is 28 a factor of u?
True
Suppose -3*p - 3*z = 475 - 3670, 0 = -3*p - z + 3193. Is 11 a factor of p?
False
Suppose -5 = -a - 5*u, -3*a + 1 = -4*a + u. Suppose a = 3*g + 4*n - 2*n, 0 = -4*g - n + 5. Suppose q = -g*h + 6 + 18, h + 72 = 3*q. Is 6 a factor of q?
True
Suppose -4*q - w + 18 = w, 0 = -4*q + 3*w - 7. Is q*(-114)/(-4) + 1 a multiple of 14?
False
Let y = 592 + -548. Is 17 a factor of y?
False
Let k be (1 - (0 - -3))/(5/(-10)). Suppose -k*j + 282 = -290. Does 13 divide j?
True
Let i(z) be the third derivative of 0*z + 4/3*z**3 + 1/24*z**4 + 5*z**2 + 0. Does 6 divide i(0)?
False
Let z = 42 + -27. Suppose -z*x + 50 = -13*x. Is x a multiple of 5?
True
Let b = -284 - -771. Is 77 a factor of b?
False
Suppose -4*s = -g + 121 + 140, 4*g = -s + 1027. Is g a multiple of 23?
False
Does 7 divide (-43)/215 + 7722/10?
False
Suppose -12 = a - 4*a. Let i be 6/((-96)/(-668)) - (-6)/(-8). Does 8 divide i/(-2 + -1 + a)?
False
Let b = 65 + -60. Let m = b - -24. Is m a multiple of 3?
False
Let a(j) = 142*j**2 - 1. Let k be a(-1). Suppose x = k - 17. Is x a multiple of 37?
False
Let q(l) be the first derivative of l**6/120 + l**5/60 - l**4/24 + 4*l**3/3 + l**2/2 - 1. Let k(f) be the second derivative of q(f). Is 6 a factor of k(0)?
False
Let i = 766 + -275. Suppose k + k - i = -x, 3*k - 3*x - 723 = 0. Is 22 a factor of k?
False
Let g(x) = -97*x + 4. Is 18 a factor of g(-2)?
True
Let f = 27 + -24. Suppose l = -4*d + 89, 3*d - f*l - 2*l = 38. Does 6 divide (4/4 - 4) + d?
True
Suppose -2*p - 3*f = -5, 3*f - f = 5*p - 22. Let q(d) = -4*d**2 - d - 13. Let u(t) = t**2 + 3. Let s(k) = p*q(k) + 18*u(k). Does 7 divide s(4)?
False
Let j(n) = n**3 - 7*n**2 + 9*n + 3. Let d be j(7). Let f = 151 - d. Is 14 a factor of f?
False
Suppose 0 = 9*r - 1839 - 2517. Is 28 a factor of r?
False
Suppose 0*b - 6 = -2*b. Let g be (3/3)/(b/429). Suppose g = 4*z - 277. Is z a multiple of 32?
False
Let a(j) = -2*j + 118. Let t be a(0). Let q = -26 + t. Suppose v = q - 5. Is 27 a factor of v?
False
Let f(z) = 2*z - 4. Let i(x) = 2*x - 4. Let p(g) = 5*f(g) - 6*i(g). Suppose -4*q - 4*q = 24. Is p(q) a multiple of 3?
False
Suppose 2*o + 4*q - 920 = 0, o - q - 472 = -0*o. Suppose 6*y - o = -150. Is y a multiple of 44?
False
Let d = 399 + -211. Suppose 14*q = 18*q - d. Is 14 a factor of q?
False
Let v(d) = -d**3 + 21*d**2 - 20*d + 2. Let w be v(20). Suppose -5*z - 18 = -w*k, -7*z + 3*z = k - 35. Is 19 a factor of k?
True
Let v be 23/2*2 + -3. Let k = v + -12. Is 5/(20/k) - -10 a multiple of 9?
False
Suppose w + 3*h - 18 = 0, -3*w - 2*h + 26 = -0*h. Suppose 2*q + 105 = 7*q. Is 79/7 - w/q a multiple of 11?
True
Let h(r) = -r + 71. Does 23 divide h(-20)?
False
Let z be (-3596)/(-30) + 10/75. Suppose 2*q - 141 = -5*g, 0 = -q - 4*g + z - 45. Is q a multiple of 4?
False
Is 1 + 304 - (7 + -63)/14 a multiple of 79?
False
Suppose 0 = 3*k + 2*s - 112, 4*k - 176 = -4*s + 8*s. Does 18 divide (1 - 16/k)*(-205)/(-1)?
False
Let v(s) = 12*s**2 - 34*s - 247. Is 16 a factor of v(-7)?
False
Let p = -270 - -875. Does 11 divide p?
True
Suppose -236 = 4*h + 28. Let d be (2/4)/((-1)/h). Is 7 a factor of ((-11)/d)/((-1)/21)?
True
Is (4 - (-42)/5)/(2/10) a multiple of 5?
False
Suppose 0 = 11*l - 9370 - 10727. Is l a multiple of 29?
True
Suppose -687 = -10*p + 173. Is p a multiple of 3?
False
Let l = 38 - 100. Let y = 158 + l. Is y a multiple of 32?
True
Suppose 650 = 9*p + p. Suppose 0 = -m + 5*w + 11, 4*w = -3*m + 3*w + p. Is m a multiple of 3?
True
Let q = -8 + 10. Let o(c) = -c**3 - 2*c**2 - 2*c - 1. Let y be o(-1). Suppose 3*b + 26 = j, y = -q*j + 5*j + 4*b - 65. Does 15 divide j?
False
Suppose -2 = -2*p - 0. Let s be 4/p - (5 - 4). Suppose s*k = 8*k - 115. Is k a multiple of 4?
False
Suppose -2*t + 579 = -5*s - 1091, 5*t - 2*s = 4196. Does 28 divide t?
True
Let o = -37 - -67. Let k = 24 + o. Is k a multiple of 23?
False
Let d be 4/((-4)/3) - -5. Suppose 3*y = -i + 17, 3*y + 6 = 5*y - d*i. Suppose a - 3*q - 86 = -y*q, 5*a = -2*q + 46