False
Let t(d) = 20*d**3 - 2*d**2 - 18*d - 3. Is 21 a factor of t(6)?
True
Suppose m + 5*y = 10590, -5*m - 15604 = 3*y - 68510. Does 10 divide m?
True
Suppose -8*y + 130 = -94. Let l(s) = -12*s - 8 + y*s - 9*s. Is l(5) a multiple of 3?
True
Is ((-3)/((-24)/(-128)))/(2/(-67)) a multiple of 4?
True
Let c(i) = -i**2 - 79*i + 263. Does 69 divide c(-53)?
False
Let i(d) = -d**2 + 9*d - 2. Let w(g) = g**2 - 10*g + 1. Let y(q) = -6*i(q) - 5*w(q). Let s be y(3). Does 9 divide (0 + -1 - -114) + s?
True
Let u be 16 - 6 - (2 + 11). Let c(a) = -8*a - 8 - 30*a - 2*a. Is c(u) a multiple of 41?
False
Let b be (5/(25/(-4)))/(2/(-5)). Suppose b*f = -6*f + 4504. Is f a multiple of 61?
False
Let v(t) = t**2 - 20*t + 100. Let d be v(13). Let n = d - -110. Is n a multiple of 10?
False
Suppose 2*p - 4 = -3*u - 16, -3*p - 9 = 0. Let x be (72/(-126))/(3/21). Does 22 divide (260 - x)*u/(-3)?
True
Let m be -5 + 6 + 1 - (5 + 0). Let y be ((-2720)/48)/(1/m). Suppose -94*k - y = -99*k. Does 17 divide k?
True
Let j(p) = 14 + 43*p**2 + 7*p + 17*p**2 - 90*p**2. Let h be j(-6). Does 7 divide (-2)/5 + 4/(-80)*h?
False
Let y = 2190 + -1140. Does 35 divide y?
True
Let z = -4362 + 20521. Does 113 divide z?
True
Suppose -x - 21 = -m, -18 = 3*m + 3*x - 57. Let g = -8 + m. Suppose -255 - 69 = -g*h. Is h a multiple of 36?
True
Suppose 221869 = 54*s + 69319. Does 11 divide s?
False
Let y(s) = s**2 - 6*s - 36. Let q be y(10). Suppose -q = -6*m + 848. Is 20 a factor of m?
False
Let l = 1384 - 692. Let a = -528 + l. Is 11 a factor of a?
False
Let n = -29686 - -33430. Is 72 a factor of n?
True
Suppose 0*t + t - 2*s - 11 = 0, -5*t - 5*s + 10 = 0. Let z = -7696 + 7845. Suppose t*k - 175 = -2*m + z, -k + 648 = 4*m. Does 18 divide m?
True
Let q(y) = y**3 + 27*y**2 - 45*y - 403. Is q(-20) a multiple of 7?
True
Let y(v) = -125*v + 600. Is 17 a factor of y(-29)?
False
Let r(d) = 3947*d + 2416. Does 13 divide r(4)?
False
Let w(f) = 393*f**2 + 121*f + 380. Is 50 a factor of w(-3)?
False
Is 6 a factor of 8/3*31/((-9548)/198)*-21?
True
Suppose -2*d + 804 = 806, -8589 = -3*k - 3*d. Is k a multiple of 16?
True
Let m = -654 + 5407. Is 59 a factor of m?
False
Let h(l) = l**3 - 19*l**2 - 36*l + 56. Let w be h(24). Is 27/(-135) - w/(-10) a multiple of 57?
False
Let m be -6*(0 + -1) + -2. Suppose -5*p + j + 3760 = -3*j, 2224 = 3*p + m*j. Is p a multiple of 17?
True
Suppose 2*m - 15 = 19. Let i = m + -24. Let d = 18 - i. Does 20 divide d?
False
Let z(f) = 75*f + 373. Let v be z(-5). Let k(w) = w**2. Let g(l) = -24*l**2 + 5*l + 5. Let a(c) = -g(c) - 6*k(c). Does 20 divide a(v)?
False
Suppose 4*f + 5604 = 2*w, 22*w - 21*w - 2808 = f. Is 6 a factor of w?
True
Let s = 9886 + 539. Is 15 a factor of s?
True
Let o(y) = 6*y**2 - 197*y + 148. Does 35 divide o(70)?
False
Is (-9)/(-81) - 81646/(-18) a multiple of 12?
True
Let r(p) = 24*p**2 + 6*p - 7. Suppose 0 = -7*u + 17*u - 20. Let v be r(u). Does 5 divide 4/(-10) + 6/15*v?
True
Suppose 0 = -4*p + 2 + 6. Let t(k) = 0 + 112*k**p + 5 - 1 - 6. Does 10 divide t(1)?
True
Suppose 3*u = 10*y - 7*y + 18, -u + 12 = -4*y. Suppose 460 = -4*l - u*c + 2288, -2*l = -5*c - 928. Is l a multiple of 51?
True
Is (-38159)/(-3) + (168/(-72))/(-7) a multiple of 60?
True
Suppose 5*i = -7*r + 5*r + 1420, 0 = 2*r + i - 1436. Is 10 a factor of r?
True
Suppose -4*a + 9254 = 174. Suppose -4*j = -14*j + a. Does 22 divide j?
False
Suppose 0 = 2*s - 5*v - 7671, 11532 = 3*s + 39*v - 38*v. Is s a multiple of 6?
False
Let n(w) = -w**3 - 11*w**2 - 15*w + 6. Let u = -10 - 1. Let l be n(u). Suppose -3*k - l = -2*o - o, k = 4*o - 237. Is 11 a factor of o?
False
Let q(v) = -37*v + 69. Let u(n) = 38*n - 71. Let b(f) = -6*q(f) - 5*u(f). Is b(6) a multiple of 5?
False
Let t(i) = 10*i - 5. Let w be t(1). Suppose -5*a + w = 10. Does 6 divide 2/a + 180/9?
True
Let a(d) = -47*d**3 - 2. Let x be a(-1). Let s be ((-15)/x)/((14/12)/(-7)). Suppose 0 = s*n - c - 286, -2*n - 3*c + 420 = n. Is n a multiple of 44?
False
Let o be 6/(-8)*4 + 624. Suppose 7*d - o = 373. Is d a multiple of 27?
False
Let s = 3244 - 3104. Is 17 a factor of s?
False
Suppose -13*t = -5*t - 800. Suppose 0 = -2*r + 4*g + 212, r - t = -4*g - 0*g. Is 3 a factor of r?
False
Let q(r) = 6*r**3 + 4*r**2 - 4*r + 1. Let x = -39 - -41. Does 57 divide q(x)?
True
Let a(x) = -15*x - 2. Let k(t) be the third derivative of -t**3/6 - 32*t**2. Let d(f) = -3*a(f) + 12*k(f). Is 15 a factor of d(3)?
False
Suppose 3*x - 3*k = 3, -5*x - 5*k + 28 = -7. Suppose 2*g + 6 = 2*m + x*g, -2*g = m - 6. Is 3 a factor of m + ((-32)/10)/((-2)/10)?
False
Let f(r) = r**2 - 9*r + 44. Let t be f(0). Suppose -3*x + t = -4*i, -2*x + 0*i - 5*i = -37. Is 12 a factor of x?
False
Let u be 4/(-6) - 352/(-6). Let y = u - 30. Is (-11)/(-2) + 42/y a multiple of 7?
True
Does 9 divide (-2 - 34217/(-4)) + 9 + (-41)/4?
False
Suppose 6*o = -5 + 35. Suppose 9*z - 8*z = o. Let k = z - -50. Is 24 a factor of k?
False
Let j = 4570 - 3803. Is j a multiple of 23?
False
Let y = -163 - -163. Suppose 87*a - 84*a - 513 = y. Does 13 divide a?
False
Let v = -106 + 112. Does 19 divide 1020/50*10/v?
False
Let q(k) = k**3 - 14*k**2 - 5*k - 110. Let c be -9 - (4 + (-22 - 6)). Is 10 a factor of q(c)?
True
Let s(v) be the third derivative of -v**5/60 - 4*v**4/3 - 29*v**3/6 - 9*v**2 + 3*v. Is s(-29) a multiple of 10?
False
Suppose 2*i + 8 = 6*i. Suppose -i*o - 2 = -6. Suppose 3*d + 4*u = u + 48, -o*u - 22 = -d. Does 7 divide d?
False
Let t be (-3)/2*32/(-24). Suppose t*x - x = 3*v - 4012, -3*v + 4027 = 2*x. Does 13 divide v?
True
Let h = -18 - -53. Let l = h - -217. Is 42 a factor of l?
True
Suppose -34*u = -19*u - 26*u + 36894. Is u a multiple of 78?
True
Suppose 4*x - 12250 = -5*z + 3148, 2*z = -4*x + 6164. Is z a multiple of 20?
False
Suppose -57*m + 32*m = 5775. Is (72/15)/(-1 + m/(-225)) a multiple of 3?
True
Suppose 19*w - 65 = 11. Suppose w*b - 347 = 69. Is b a multiple of 26?
True
Let h(u) = 1586*u - 1657. Is 17 a factor of h(5)?
True
Let x(t) = -20*t**3 - 2*t**2 + 4*t - 3. Let d be ((-13)/(-4) + -4)*-4. Let h be x(d). Is (h/(-12))/(3/8) a multiple of 16?
False
Let w be (-8232)/30 + -7 - (-8)/20. Let d = 471 + w. Does 38 divide d?
True
Let b = -60 - -65. Suppose 3*s - 81 - 13 = b*o, 0 = -4*o + s - 78. Let c = 72 + o. Is c a multiple of 13?
True
Let v be (-1*5)/((-75)/30). Suppose -2*m + 6*t + 200 = 2*t, -v*m - 2*t + 218 = 0. Let u = -50 + m. Does 7 divide u?
True
Let d = 77 + -72. Suppose 0 = -f - 5*l - 3 + 18, -5 = -f + d*l. Suppose -5*n - 910 = -f*n. Is 26 a factor of n?
True
Let w(l) = 66*l**2 - 8*l - 11. Does 2 divide w(-2)?
False
Let i be ((1 + -5)/(-8))/((-2)/548). Let w = 257 + i. Does 15 divide w?
True
Let l = 4793 - 3830. Is 107 a factor of l?
True
Let t(z) = z**3 + 17*z**2 - 19*z - 14. Let g(d) = d**2 - 13*d + 4. Let a be g(11). Let l be t(a). Suppose -3 + 187 = l*s. Is 5 a factor of s?
False
Let k = -24 - -17. Is ((-10)/k)/((-7)/(-245)*5) even?
True
Let q = -62153 - -97564. Is q a multiple of 55?
False
Suppose -17*k + 21*k = 33948. Is 69 a factor of k?
True
Let f(y) = -11 - 3 + 6*y**2 + 4 - y + y**3 + 8*y**2. Let j be f(-14). Does 23 divide 118 - (60/5)/j?
True
Suppose -5*d = 30 + 10. Let o = d - -11. Does 25 divide 9/o*(-1 - (-53)/3)?
True
Suppose -6*i - 2*d + 36434 = -3*i, -d + 48592 = 4*i. Does 30 divide i?
True
Let q(d) = d**3 + 3*d**2 + 2*d. Let o be q(-1). Suppose o = 25*z - 9*z - 3840. Is 12 a factor of z?
True
Let l(k) = k + 59. Let n be l(-20). Let v = n + 299. Is 26 a factor of v?
True
Let l = -3 + 10. Let r = -768 + 1098. Suppose -4*d + p = -452, 3*d + 4*p - r = l*p. Is 43 a factor of d?
False
Suppose 3795*w - 3820*w + 732000 = 0. Is 30 a factor of w?
True
Is 163/326 - 23866/(-4) a multiple of 51?
True
Let u be (-3)/2*(-7 + 1 + 4). Suppose 3*x + 255 = 3*q + q, u*x - 9 = 0. Is q a multiple of 11?
True
Suppose 2*h - 8*k - 8220 = 748, 2*h = -2*k + 9038. Does 16 divide h?
True
Let c = -640 - -1400. Let t = 1064 - c. Does 24 divide t?
False
Let r = -11681 - -20420. Is 27 a factor of r?
False
Suppose -4*i + 38178 = 3*u - 25223, -31741 = -2*i + 3*u. Is i a multiple of 101?
True
Let o be 50879/415 + (26/(-10) - -2). Suppose 0*m - 2*m = -238. Let q = o - m. Is 2 a factor of q?
False
Let a be 3/((6 - 3)/(19/1)). Suppose -a = 5*t - 64. Suppose t*z - 15 = 651. Is 23 a factor of z?
False
Let j