 -8 = 5*o - r, -p - 3*o + 81 = 0. Suppose -p = -7*i + 4*i. Is i a multiple of 11?
True
Let p(s) = 17*s**2 + 6*s + 8. Is p(-4) a multiple of 16?
True
Is 25 a factor of ((-44)/33)/((-8)/11100)?
True
Suppose 5*d - 2*h - 144 = 0, -2*d - 3*h = 2*h - 75. Suppose -3*m = 2*x + 178, -5*x - 107 = 2*m + d. Let c = m - -98. Does 14 divide c?
True
Suppose -13*s = -4*s - 1935. Is 36 a factor of s?
False
Suppose -3*g = -0*g - 9, 2*g - 858 = -4*y. Is 5 a factor of y?
False
Suppose 0 = x - 5, 5*p - 3*p + 5*x - 197 = 0. Suppose 14 = -4*l + p. Is l a multiple of 6?
True
Let t = 282 + -83. Suppose -31 = -2*k + t. Does 6 divide k?
False
Let n(f) = -1531*f + 7. Is 14 a factor of n(-1)?
False
Suppose -2*n + i + 4 = -i, 3*n - 5 = 4*i. Suppose -y + 0*g - n*g = -82, 3*g = -2*y + 155. Is y a multiple of 12?
False
Suppose -2*p + 50 = 5*b, 16 = p + 3*b - 9. Let a(g) = 41*g**2 + g. Let w be a(1). Let r = w - p. Is r a multiple of 8?
False
Let m be (-7 - -5) + (947 - 1). Let y = m - 544. Suppose 7*s + y = 11*s. Does 18 divide s?
False
Suppose -484*l + 477*l = -2618. Does 22 divide l?
True
Suppose -2*y + 10 = -5*s, 4*y - 32 = -0*y + 4*s. Let i be 30/y - (1 - 4). Does 7 divide 1/(-3)*(-522)/i?
False
Let q = 110 - -6. Let t be (-10)/(-4)*(3 + -1). Suppose -3*h - 3 + q = t*a, 3*a = -4*h + 70. Is 11 a factor of a?
True
Let x(t) = 864*t**3 + 2*t**2 - 2*t + 1. Let m be x(1). Suppose 135 = 5*z - m. Suppose -w + 6*w = -3*r + z, -4*r = w - 23. Does 17 divide w?
False
Let n = -16 + 26. Suppose 0 = -r + 4*r + 3*i - 822, -n = 2*i. Is (-8)/28 - r/(-21) a multiple of 4?
False
Let r = 9865 - 6097. Is 138 a factor of r?
False
Let n be 3*(19/3 - 3). Suppose 2*m + 2*m = 3*j + 447, n = -2*j. Is 9 a factor of m?
True
Suppose -1719 = -8*m - 327. Does 29 divide m?
True
Suppose 4*f + u = 14, 2*u - 12 = -3*f + 1. Let i be ((-10)/2)/(-1) - -1. Suppose f*t = i + 12. Does 2 divide t?
True
Suppose -3*p + 2*g + 719 = 0, -3*p + 2*p - 2*g + 237 = 0. Suppose -p = -4*a - 39. Let h = a + 40. Does 18 divide h?
True
Suppose 0 = -18*d + 10*d + 1496. Is d a multiple of 11?
True
Let i be 3/(-12) - (-2200)/(-32). Let y = -36 - i. Does 11 divide y?
True
Let t be (3 - 9/2)*-2. Is 39/((-6)/(-162)*t) a multiple of 15?
False
Let a = -13 - -9. Let n be (-2)/(a + 6)*22. Let u = -14 - n. Does 8 divide u?
True
Let y(c) = 765*c**3 + 5*c**2 - 5*c + 3. Is y(1) a multiple of 64?
True
Suppose -2*p = -p. Let w(o) = -3*o**2 + 4*o**2 + 483 - 473. Does 5 divide w(p)?
True
Let x(d) = 8*d**2 - 9*d + 7. Is x(3) a multiple of 6?
False
Let p(r) = r - 12. Let g be (-10)/(-25) - (-116)/10. Let l be p(g). Suppose -3*h + l*y + 48 = 2*y, 2*h + 5*y - 43 = 0. Is h a multiple of 2?
True
Let t(y) = y**2 + 18*y + 89. Is 33 a factor of t(24)?
False
Let t = 207 + 730. Does 6 divide t?
False
Suppose 16*m - 2123 = -6187. Let q = m + 439. Is 52 a factor of q?
False
Suppose 0*p = p - 2. Suppose 3*h - p*h = 110. Is h a multiple of 10?
True
Suppose 0 = -y + 3*y - 3*a + 2, 4*a - 1 = 3*y. Suppose -3*v + 24 = -i, 4 = 5*i + y*v + 24. Let c(x) = x**2 + 2. Is c(i) a multiple of 17?
False
Suppose 0 = 5*m - 5*c - 7600, -m + 418 + 1110 = -5*c. Is 22 a factor of m?
True
Let c be 2 + 0 + -2 + -9 + 5. Is (-179)/(-1 + c + 4) a multiple of 34?
False
Suppose 8*c + 1422 = 3*i + 3*c, 948 = 2*i + 4*c. Does 16 divide i?
False
Suppose 3 + 4 = y + 4*c, -5*c - 4 = -3*y. Suppose 4*q + 5*a = 33, -y*a + 2*a + 11 = 3*q. Is q a multiple of 2?
True
Suppose -5*i = -2*l, 2*l = i - 0*i. Let s be 40 - (i - 0)*1. Suppose -s = -5*g + 4*g. Is g a multiple of 16?
False
Let s = -982 + 1698. Suppose 3*r = 79 + s. Is 12 a factor of r?
False
Suppose -4*y - 2 = -42. Let r = y - 5. Suppose -2*h = -r*h + 24. Does 3 divide h?
False
Suppose -346*l = -373*l + 19305. Is l a multiple of 65?
True
Let w(c) = -c**3 + 3*c**2 + 11*c - 23. Is w(-6) a multiple of 12?
False
Let o(x) = -3*x**3 + 4*x**2 + 6*x. Let k(s) = -16*s**3 + 19*s**2 + 31*s - 1. Let c(y) = -2*k(y) + 11*o(y). Does 13 divide c(-4)?
False
Is (-1 + 0)*(-390 + 7) a multiple of 13?
False
Suppose -j = -4*i + 3*j + 632, -4*i + 2*j + 628 = 0. Suppose 772 = 8*p - i. Is 29 a factor of p?
True
Does 12 divide 318 + (8/(-12))/((-2)/(-3))?
False
Is 24 a factor of (1078/(-33))/((-3)/108)?
True
Let i(r) = -3*r**2 + 71*r - 125. Let b(w) = -w**2 + 24*w - 42. Let n(u) = -17*b(u) + 6*i(u). Is 12 a factor of n(12)?
True
Let z = -34 + 45. Suppose 67 = z*t - 505. Does 14 divide t?
False
Let y = 79 - 75. Is ((-1150)/(-69))/(y/54) a multiple of 45?
True
Let o = -638 + 1551. Does 67 divide o?
False
Let z be 2 - (8 + -3) - 4. Let m(d) = 4*d**2 + 13*d + 7. Does 16 divide m(z)?
True
Is 30 a factor of 151/(-1057) + (-30521)/(-7)?
False
Suppose g - v = -4*g + 13320, -4*g + 10635 = -5*v. Is g a multiple of 13?
True
Let m = -48 - -53. Suppose -q - m*y + 80 = 0, 8 + 7 = 5*y. Is q a multiple of 26?
False
Let c(q) = -q**3 + 17*q**2 + q - 17. Let w be c(17). Let g = 51 + w. Is g a multiple of 17?
True
Suppose -5*g + 16 = -9. Suppose -12 - 8 = -2*a + 4*n, 0 = -3*a + g*n + 29. Is 4 a factor of a?
True
Suppose 2*h = w - 0*h - 836, 4*h = -w + 830. Is 17 a factor of w?
False
Let c = -89 + 227. Let q = 95 - c. Let h = 1 - q. Is h a multiple of 13?
False
Let o(m) = m**3 - 6*m**2 - 4*m - 10. Let a be o(7). Let x = 5 - a. Let z(c) = -c**2 - 6*c + 11. Does 10 divide z(x)?
False
Let j be (-1364)/(-28) + (-4)/(-14). Let t(s) = -s + 22. Let w be t(-7). Let u = j - w. Is u a multiple of 10?
True
Suppose -v = 1 - 3. Let d = 7 - v. Suppose -108 = -d*o + 112. Is o a multiple of 12?
False
Let o = 520 + -503. Is o a multiple of 17?
True
Let h = 4 - 2. Suppose 3*a - 54 = -b, 3*a - 92 = -h*b + 28. Does 14 divide b?
False
Suppose 3*w - 3*b - 7557 = 2919, 0 = 3*w + 4*b - 10469. Is w a multiple of 9?
False
Let w = 1588 - -537. Is 73 a factor of w?
False
Suppose -7*i + 3114 = 11*i. Does 53 divide i?
False
Does 55 divide -2 - -2 - (-5)/10*4510?
True
Suppose -4*k + 39 = 2*n + 9, 0 = -5*n + 25. Suppose 5*i - i = -k*d + 45, 5*i = -3*d + 40. Suppose -d*u + 7*j = 3*j - 40, -3*u + 31 = -j. Does 6 divide u?
True
Let j be 10*((-9)/(-15) + -1). Let p be ((-24)/j - 3) + -12. Let h(r) = -7*r - 9. Is h(p) a multiple of 18?
True
Let c = -57 + 59. Suppose 3*q - o = -c*o + 85, 4*q - o = 111. Is 3 a factor of q?
False
Suppose -127*x - 99528 = -160*x. Does 27 divide x?
False
Let y(v) = v + 0*v - v**2 + 47 + 1. Let o be (-29)/58 - 1/(-2). Is y(o) a multiple of 8?
True
Let v be (0 - 1)/((16/6)/(-8)). Suppose v*j - 242 = 5*m, 2*j + 0*m = -3*m + 155. Does 28 divide j?
False
Let s = 61 + -42. Let j = s - 16. Does 13 divide j/12 + (-255)/(-20)?
True
Suppose 4*d - 10 = -j - 0*d, 5*d = -3*j + 30. Suppose -2*k = -k - j. Suppose -3*p = -2*w + k + 5, p = -3*w + 17. Is w a multiple of 6?
True
Suppose 0*s = -4*s - 16, -34 = -3*r + 4*s. Suppose 3*p - 2*x = 370, 5*p - 4*x = -r*x + 622. Is p a multiple of 31?
True
Let o(g) = -44*g + 12. Is 17 a factor of o(-9)?
True
Let w = -24 - -13. Let n = 15 + w. Suppose 7*y = n*y + 132. Is 22 a factor of y?
True
Let k(q) = -q**3 - 20*q**2 - 25*q - 19. Let c be (-3)/(-7) + 1360/(-70). Is 19 a factor of k(c)?
True
Suppose -2*i = -5*p - 24, 0 = 3*p - 0*p - 2*i + 16. Let x(c) = -12*c. Does 6 divide x(p)?
True
Let y(s) be the third derivative of -s**5/60 + 5*s**4/24 + 4*s**3/3 + 9*s**2. Let m be y(6). Is 68/m - (-5)/(-5) a multiple of 11?
True
Suppose 11*m = 2412 + 2054. Is m a multiple of 30?
False
Let b = 351 - 246. Is 33 a factor of b?
False
Let c(k) = -4*k + 11*k - 6*k - 2. Let j(v) = v - 1. Let i(s) = 2*c(s) - 3*j(s). Is 7 a factor of i(-14)?
False
Let j(s) = s + 22. Let u be (-336)/32*(-2)/3*-1. Is 15 a factor of j(u)?
True
Suppose -5*r = -239 - 1. Suppose -v - 2*a + r = 0, -5*a + 3 = -17. Is 8 a factor of v?
True
Suppose 298 = 14*a - 13*a. Is 15 a factor of a?
False
Suppose 4*z = 742 + 58. Is 8 a factor of z?
True
Let q be ((-21)/6 - 3)*2. Let v = q - -16. Suppose v*a = 5*o + 260 + 63, 3*a + 3*o = 315. Is a a multiple of 31?
False
Let g(x) = -6*x - 1. Let z be g(-2). Let i(p) be the third derivative of -p**6/120 + p**5/6 + 5*p**4/8 - 5*p**3/6 - 9*p**2. Is i(z) a multiple of 13?
True
Let r be -2 - ((-2799)/3)/3. Suppose r - 78 = 7*h. Is h a multiple of 11?
True
Suppose -10*y + 13*y = 2175. Suppose 5*s + 0*x = 2*x + y, -2*s + x + 291 = 0. Is 25 a factor of s?
False
Let q = -60 - -70. Is 13 