ose -12*j = 116 + 28. Is j/(-30) + (6 - 8598/(-30)) a multiple of 7?
False
Let x be (11/(-33) + (-11)/(-6))*2. Suppose -16*k + 15656 = x*k. Is 11 a factor of k?
False
Let y(q) = q**3 - 11*q**2 - q + 27. Let a be y(13). Suppose 3*f - 4*c - 662 - 366 = 0, f = -c + a. Is f a multiple of 32?
False
Let q(p) = 4*p + 18. Let l be q(-4). Let t(o) = -10 - 54*o**2 + 15*o - 7 + 55*o**l - 9. Is 24 a factor of t(-18)?
False
Let c(h) be the third derivative of -h**4/2 - 11*h**3/6 + 19*h**2. Let b = 62 - 69. Is 4 a factor of c(b)?
False
Let c = -4149 + 4581. Is 9 a factor of c?
True
Does 12 divide (140/(-30) - -4)*-591*178/4?
False
Let q be ((-4)/6)/(1/(-6)). Does 3 divide (0 - (-2 + 6))*(-155)/q?
False
Let l(b) = 13*b**2 + 21 - 3423*b + 0 + 3435*b. Is 9 a factor of l(-3)?
False
Let g be 0 + 2 + (2 - 45) + -2. Let i = g - -6. Let u = i - -73. Does 36 divide u?
True
Let l be (6/(-2) - -1)*-1. Suppose h = -2*i - l*h - 34, 4*i + 52 = 2*h. Does 25 divide -60*(-15 + 11 - i/6)?
True
Let c = -730 + 734. Let u = c + 33. Is u a multiple of 6?
False
Suppose 2*y = -n + 656, -5*y = n + 6*n - 1640. Does 22 divide y?
False
Does 3 divide 5722948/952 + -7*(-1)/2?
True
Let q = 1007 + -681. Let o = q + -501. Let j = o - -367. Does 48 divide j?
True
Let k be 18786/808*2/(-3)*-16. Suppose -2*p = -5*u - 535, -4*u = p - 0*u - k. Is 10 a factor of p?
True
Suppose -2*u - 4 = y, -5*u + 0*y + 5*y = 40. Let x(h) be the first derivative of h**4/4 + 5*h**3/3 - 3*h**2/2 - 10*h + 463. Does 3 divide x(u)?
True
Let g = 22911 - 8016. Does 18 divide g?
False
Suppose 13 = -6*t + 31. Suppose 2*n - 2*y = t*n - 331, 3*n + 4*y - 983 = 0. Is 18 a factor of n?
False
Suppose 8 = 23*g - 38. Suppose -g*s - 2096 = -4*l, -s + 1082 = -4*l + 3180. Is l a multiple of 25?
True
Let z(q) be the third derivative of q**5/60 + 7*q**4/12 + 5*q**3 + 5*q**2. Let p be z(-15). Let k = -3 + p. Is 21 a factor of k?
True
Let m = -564 + 562. Let r(y) = -75*y**3 + 5*y + 2. Does 23 divide r(m)?
False
Suppose -399 = -16*d - 63. Suppose -1995 = -d*k + 2*k. Is k a multiple of 11?
False
Suppose 0 = -18*l + 23*l - 670. Suppose 51 = -l*m + 137*m. Is m a multiple of 10?
False
Let o = -4122 + 11830. Does 106 divide o?
False
Let w = 664 + -1013. Let i = 354 + w. Is 4 a factor of i?
False
Suppose r - 22473 = -5*c + 4*r, 3*r = -2*c + 8985. Suppose 12*u = -2*u + c. Is 7 a factor of u?
False
Suppose 2*x - 34084 = -2*o - 2*o, -2*x - o + 34072 = 0. Does 17 divide x?
True
Let k = 28941 + -591. Is k a multiple of 31?
False
Let w(q) be the third derivative of 0 - 5/2*q**3 + 15*q**2 - 5/24*q**4 + 0*q. Is 20 a factor of w(-7)?
True
Let a = 64 + -60. Suppose -1342 = -a*x - 2*p, 4*x - 3*p = 375 + 972. Is 28 a factor of x?
True
Let g = 16257 - 8892. Does 46 divide g?
False
Let f(r) = r**3 - 6*r**2 - 22*r - 15. Let s be f(14). Let i = s + -849. Is i a multiple of 66?
True
Let f(u) = u**2 - 2*u - 3. Let g be f(15). Let a = -27 + g. Suppose -228 = -2*w + 2*q, w + q + 55 = a. Is w a multiple of 7?
True
Suppose 45925 + 182475 + 55640 = 20*p. Is p a multiple of 36?
False
Suppose 45*i - 312 = -4*a + 42*i, a = -i + 79. Does 25 divide a?
True
Suppose 4*a = -7*a + 3*a. Suppose a = -5*f - 3*b + 475, 485 = 4*f + f + b. Is 14 a factor of f?
True
Let p(h) = -h**2 + 14*h + 3. Let o be p(14). Suppose 1170 = 7*c - 2*c + 2*a, -4*c + 936 = -o*a. Suppose c - 914 = -5*q. Does 33 divide q?
False
Suppose 277*a - 290*a = -442. Does 8 divide 1176/10 + a/85?
False
Let x be ((-2)/(-3))/((-20)/(-90)). Let a be 2621/3 - (-1)/x. Suppose 0 = 10*g + 234 - a. Is g a multiple of 8?
True
Let z be (-2 + (-3402)/(-4))*2. Suppose -4*j + 533 = z. Let r = -165 - j. Is 27 a factor of r?
False
Let o = 175 - 648. Is 14 a factor of (-3)/(-6) - o/2?
False
Suppose -166*s - 163320 = -181*s. Is s a multiple of 8?
True
Suppose -5*y + 25 = 0, -3*o - o + 7083 = -5*y. Suppose 4*m = 2*c + o + 2765, 3 = -c. Is m a multiple of 15?
False
Suppose 3*k + r - 2727 = 0, -3*r = -4*k - k + 4559. Let f = -787 + k. Is 3 a factor of f?
True
Let a be (273130/(-30))/(-13) + (-2)/(-3). Suppose -107 = -4*s + a. Does 14 divide s?
False
Let g = 55498 - 39104. Does 7 divide g?
True
Let u be 1/((-15)/(-10) - 1). Suppose -b = -u*b + 75. Let k = b - -16. Does 9 divide k?
False
Suppose 58*g + 142 = -786. Let n = 15 - 57. Let q = g - n. Is 5 a factor of q?
False
Let f = -291 + 305. Suppose -f*c = -15*c + 266. Is 38 a factor of c?
True
Let n(z) = z**3 - 9*z**2 - 6*z + 58. Let t be n(9). Is 4020/(-8)*1/(t/(-8)) a multiple of 24?
False
Suppose 107*v = -24*v - 380933 + 2217422. Is 7 a factor of v?
False
Let i be 5 + (-2 - -1)/(2/(-2606)). Let x = 2394 - i. Is x a multiple of 13?
False
Let v(s) = -s**3 - 6*s**2 + 7*s + 15. Suppose -7*w - 32 = -9*w. Suppose 0 = -w*t + 11*t - 35. Is v(t) a multiple of 5?
True
Let j(r) = 2*r**2 + 98*r - 179. Is 165 a factor of j(47)?
False
Suppose 13*f + 12 = 7*f. Let h be 2*1 + (-3 - -3). Does 33 divide 5358/36*h - f/(-3)?
True
Let p be (-4)/(-5)*(2 + -4 - -7). Suppose -p*j - 25 - 1 = -2*t, 2*t = -j + 6. Let v(s) = -s**3 + 3*s**2 - s + 10. Is v(j) a multiple of 21?
True
Let r be -15*(6/(-18) - 0). Suppose 1190 + 890 = r*t. Does 13 divide t?
True
Let s be ((-9)/(-12)*-2)/((-42)/(-896)). Does 73 divide s/(-16) - (1 + -656)?
True
Let q = -4235 - -8052. Is q a multiple of 3?
False
Let z = -58 + 60. Suppose 0 = -y - z*y. Suppose 33 = 2*a + n - 54, 5*a - 2*n - 195 = y. Is 16 a factor of a?
False
Let f = -13909 - -33349. Is 80 a factor of f?
True
Let m = -52 - -73. Let y = 291 - m. Is y a multiple of 9?
True
Let h be (-328)/(-2)*(-3 + 4). Let x = -73 + h. Let y = -75 + x. Does 7 divide y?
False
Let r(z) = -z + 2. Let f(s) = 37*s - 76. Let y(i) = f(i) - 4*r(i). Does 11 divide y(4)?
False
Suppose 5*f - v = 28, 2*v = -2*f - 0*v + 16. Suppose 11*s = f*s + 4480. Is s a multiple of 16?
True
Let p(l) = -119*l. Let g(a) = -124*a - 1. Let h(j) = -3*g(j) + 4*p(j). Is h(-1) even?
False
Let w be 3*(2 + (-625)/(-15)). Let h = w - 102. Is 9 a factor of h?
False
Let z = 158 - -53. Suppose -2*o = -5*v + 128 - 29, -5*v = 3*o + z. Let p = o - -101. Is 13 a factor of p?
True
Let z(x) = x**3 + 21*x**2 - 164*x - 52. Let r be z(-27). Suppose n = f + 94, -r*n + 171 + 17 = 2*f. Is n a multiple of 14?
False
Let z(u) = u**2 - 5*u + 5. Let b be z(2). Does 15 divide (b - 22/6)/((-14)/315)?
True
Suppose 2*o + 3*x = 763 + 493, 628 = o + x. Suppose -2*i + 2*w + 537 - 121 = 0, -3*i + 2*w + o = 0. Is i a multiple of 53?
True
Suppose 51*z - 190968 - 324858 = -87477. Is z a multiple of 101?
False
Suppose -3*s + 2*w + 22 = 0, 4*s - 3 = -w + 41. Let l be (s/8)/((-3)/(-12)). Suppose x + 121 = 5*z - z, 0 = 5*x + l. Does 13 divide z?
False
Let y be 6/(-10) - (-49)/(-35) - -50. Let p = y + -48. Is (p + 8/(-12))*-3 - -27 a multiple of 29?
True
Let r(j) = j**2 + 5*j + 2. Let x be ((-4)/(-8) - 86/(-4))*2. Let q = 35 - x. Is 38 a factor of r(q)?
True
Is ((-170)/20)/((-27)/36720) a multiple of 68?
True
Let o = -112 + 117. Let k(z) = z**2 - 21*z + 42. Let y be k(19). Suppose 0 = y*c - 2*v - 664, -4*c + 4*v - 175 = -o*c. Does 10 divide c?
False
Let z = 13 - 21. Suppose -t = 5*i - 449, 2*t - 21*i = -20*i + 931. Does 16 divide ((-5)/2 - -2)/(z/t)?
False
Let m(f) = -2*f + 17*f + 3 + 24*f. Suppose c = -2*c - j + 12, 0 = -5*c + 5*j. Does 13 divide m(c)?
False
Suppose 2*t + 66 = -4*l, 0 = 20*l - 17*l + 3*t + 57. Let n(r) be the third derivative of r**5/60 + r**4/4 + r**3/2 + r**2. Does 20 divide n(l)?
False
Let c = 10 + -2. Suppose 0 = 15*i - c*i - 21. Suppose -2*a + 725 = i*a. Does 25 divide a?
False
Suppose 8*c - 12 = -132. Does 10 divide (c/(-3) + 1)/(1/25)?
True
Suppose -g - 16 = 2*g - 5*y, g - 5*y = -22. Suppose 0 = 5*f + l - 187, -3*f - g*l - 2*l = -121. Suppose -41*k + 884 = -f*k. Is 17 a factor of k?
True
Let i = 15 + -22. Let b be (-1)/i - 2142/(-98). Suppose 2*p + 0*f - b = -3*f, 0 = -f - 2. Is p a multiple of 14?
True
Suppose -43*t + 70330 = -30*t. Is 8 a factor of t?
False
Suppose 252 = -10*p - 2*p. Let l = p - -17. Does 16 divide (-4 - -2)*(82/l - 2)?
False
Let c = 1916 + -1820. Is c a multiple of 8?
True
Let i = 25 - 24. Let r be 3/(-3 - -5 - i). Suppose s + 5*l - 72 = 0, s - 2*l + 112 = r*s. Is s a multiple of 13?
True
Let o be 865*(-6)/(-30) - -3. Suppose 79 = b + 5*n - 37, -o = -2*b + 4*n. Is 6 a factor of b?
True
Suppose -24 + 4 = -4