tor of l?
False
Suppose -16*t = -15*t - 12. Let n be (-20)/(-6)*t/10. Suppose 0 = -j - n*i + 41, -214 + 28 = -4*j - 5*i. Is 9 a factor of j?
False
Suppose -3*b + 924 = -243. Is b a multiple of 5?
False
Suppose 0*z = -5*z + 20. Suppose l - 2*n + 3 - 9 = 0, -4*n = z*l. Suppose y + l*y = -4*v + 94, -v + 30 = 4*y. Is 5 a factor of v?
False
Suppose -j = 3*f - 19, 3*f + 2*j - 28 = -f. Suppose -3*y + f*b = -217, 0 = -3*y + 2*y - 4*b + 78. Is 26 a factor of y?
False
Suppose 32 = 5*d - z, -4*d + 5 = -2*d - 3*z. Let x(p) = 101*p + 1. Let f be x(-1). Does 14 divide 2/(-7) - f/d?
True
Let k = -688 + 1011. Suppose 5*f - 317 = k. Does 26 divide f?
False
Suppose -2*f + 3*u = -13, -2*f + 4*u + 4 = -f. Suppose -531 = -11*d + f. Does 5 divide d?
False
Let r be (-24)/(-64) - (-87)/24. Suppose 5*b = 3*l + 25, -r*l - 10 = -2*b - l. Suppose 3*k - 27 = -4*t + 3*t, -5*t - b*k = -155. Is 11 a factor of t?
True
Let r(u) = u**2 + 6*u - 15. Let c(f) = -f + 16. Let p be c(11). Does 20 divide r(p)?
True
Is (-7749)/(-205)*4*10 a multiple of 28?
True
Let h = -3 - -3. Suppose -2*x - 22 - 6 = h. Does 16 divide (-4)/x + 1002/21?
True
Let l be 3/(-7) - (-51)/21. Suppose l*v = -0*v. Suppose v = 2*c + c - 51. Is c a multiple of 7?
False
Let s(z) = -5 - z + 5*z + 0 + 29*z**2. Let y(c) = 25*c + 202. Let d be y(-8). Does 32 divide s(d)?
False
Let n be 4/10 - (-24)/15. Let a(y) = -y**3 - 2*y**2 + 3*y + 4. Let t be a(-4). Does 9 divide 3/(n + (-44)/t)?
True
Suppose -2*y + 4*w + 50 = 0, 0 = y + w - 13 + 3. Suppose 3*u = y + 30. Suppose 0 = 5*n, -3*h - u = -4*n - 39. Does 4 divide h?
True
Let f = -3196 + 6328. Is f a multiple of 108?
True
Let k(d) = -d**3 - 7*d**2 + 8*d + 22. Does 7 divide k(-10)?
False
Let p(a) = -16*a - 4. Let v = -39 + 64. Let c = 23 - v. Does 7 divide p(c)?
True
Suppose 2*m - 866 = -4*z + 70, 0 = 2*z - 2. Suppose -591 = -7*j + m. Does 50 divide j?
False
Let k(d) = -6*d**2 + 15*d**2 - 4*d**3 + 6*d - 5 + 5*d**3. Let g be k(-8). Let t = -1 + g. Is t a multiple of 9?
False
Let c(k) = k**3 + 7*k**2 + 7*k + 9. Let s be c(-6). Suppose 2*z - 335 = -s*z. Is 17 a factor of z?
False
Let x(r) = 3*r**2 - 20*r - 19. Let b(m) = -2*m**2 + 13*m + 13. Let g(n) = -7*b(n) - 5*x(n). Let h = 24 + -19. Is g(h) a multiple of 6?
True
Suppose 2*w + 20 + 426 = 5*g, 4*g + 2*w - 346 = 0. Is g a multiple of 27?
False
Let j be 3/(-6)*1*-26. Let y(d) = 3*d**3 - j*d**2 - d + 2*d**3 + 18 - 2*d**3 - 4*d**3. Is y(-13) a multiple of 10?
False
Suppose -x = 5*r - 4*r - 472, -1887 = -4*r - 5*x. Is 9 a factor of r?
False
Suppose 0 = -2*o + 3407 + 2771. Is o a multiple of 57?
False
Suppose 0 = -j - 0*n + 3*n - 84, -4*j - 346 = -2*n. Let s = -60 - j. Suppose 6*m - 3*m - s = 0. Is m a multiple of 9?
True
Let r(o) = 4*o**2 - 69*o - 407. Is 18 a factor of r(-6)?
False
Suppose 5*z - 530 = 2*z + 2*m, 0 = -4*z + m + 705. Let b = -116 + z. Is b a multiple of 15?
True
Let v be (6/(-3))/((-2)/4). Does 15 divide (5 - -84) + -3 + v?
True
Suppose -15 = 5*r + b, -3*b = -7*b - 20. Let p = -5 + r. Let n(f) = f**3 + 6*f**2 - 10*f - 9. Is n(p) a multiple of 5?
False
Suppose -3926 = -69*q + 43*q. Does 11 divide q?
False
Suppose 0*l = 2*l - 8. Suppose -j = n + 5, -5*n - 14 = l*j + 9. Let g = j + 6. Is g a multiple of 4?
True
Does 9 divide -3*40*(-30)/25?
True
Let p = -641 + 812. Is p a multiple of 2?
False
Let p be (-5 - (-220)/(-28))*7. Let b = -27 - p. Is b a multiple of 9?
True
Let j(h) = h**2 + h + 1. Suppose -5*t = 5*a + 26 - 6, -2 = a - t. Let p be j(a). Suppose 38 = f + 2*d - p*d, -3*d - 256 = -5*f. Is 9 a factor of f?
False
Suppose -i = -4*l + 4*i + 27, -5*l = 5*i. Suppose -l*q - q = 0. Suppose 3*t = 2*t - 5*k + 8, 2*t - 5*k - 31 = q. Is t a multiple of 7?
False
Let h = 67 + -62. Is 9 a factor of 13 + 176 + (h - (-1)/(-1))?
False
Let n(t) = -7*t**3 + 5*t**2 - 6*t + 2. Let d be n(2). Let m = d + 80. Is 8 a factor of m?
False
Suppose -2*h + 2*s = 2*h - 9126, -11406 = -5*h + 2*s. Is h a multiple of 114?
True
Suppose -g = 4*z + 1, -4*g - 4 = -5*z + z. Suppose -38 = v - 2*v + 2*h, -h - 2 = z. Does 10 divide v?
False
Suppose 0 = h - 58 - 31. Suppose 4*z + 5*s = -h, 4*z = -0*s + 3*s - 49. Let f = z + 45. Is f a multiple of 8?
False
Let h = -964 + 1158. Does 2 divide h?
True
Let u(h) = -5*h + 4*h**2 - h + 11 + h. Let c be u(5). Let g = 137 - c. Is g a multiple of 17?
True
Suppose -h = 2*s - 17, 2*s - h = -3*s + 25. Let l be 53 + (-4)/(20/15). Suppose -l - s = -k. Does 15 divide k?
False
Let l(u) = u**3 - 10*u**2 - 3*u - 24. Does 16 divide l(11)?
True
Let j(k) = 6*k**2 + k - 6. Is 8 a factor of j(6)?
True
Let q(c) be the second derivative of 2*c**3 + 10*c**2 + 8*c. Is 19 a factor of q(9)?
False
Suppose -w + 2*q + 120 + 7 = 0, 0 = q. Is 4 a factor of w?
False
Suppose 2*z - 23 = -3. Does 12 divide (-42)/((4/z)/(18/(-30)))?
False
Let a = -222 + 574. Suppose 0 = -f - 3*f + a. Suppose 8*b - f = 4*b. Is b a multiple of 22?
True
Let y(m) = 4*m**2 - 60*m + 486. Is 62 a factor of y(11)?
True
Suppose 5*i - 440 - 309 = -4*r, -i + 157 = -r. Is 13 a factor of i?
False
Suppose 0 = q - 17*q + 8944. Suppose 0 = b + 5*n - 302, 5*n + 30 + q = 2*b. Is b a multiple of 27?
True
Suppose -3*s + 18 = -30. Let w be (3 - 1)*200/s. Let y = w - 15. Is 10 a factor of y?
True
Suppose 0 - 2 = -b. Suppose 0*n - 130 = -b*n. Does 13 divide n + (-5)/((-15)/6)?
False
Suppose -2*q = 4 - 0, 2*r + 20 = 2*q. Does 2 divide 3*r/(1 + -5)?
False
Suppose 13 + 14 = 3*f. Let s be f - 2*(-2)/4. Suppose -5*o = -s*o + 85. Does 17 divide o?
True
Is -6 + -3*(-2 + -1) - -85 a multiple of 14?
False
Let f = -285 + 414. Is f a multiple of 16?
False
Suppose 4*j - g - 3845 = 4219, 3*j + 5*g = 6048. Is 63 a factor of j?
True
Let z = 9 - 19. Let l = z + 13. Suppose -2*s = l*s - 265. Is s a multiple of 21?
False
Suppose 2*g - i - 1276 = -290, g - 4*i = 479. Is 9 a factor of g?
True
Let z = -5 + 7. Does 2 divide (-3)/z*(-5 - 1)?
False
Let r = 498 - 348. Is (2 + (-2)/(-3))/(5/r) a multiple of 8?
True
Suppose -8*o = -9*o - 40. Let w = 100 + o. Is w a multiple of 10?
True
Let w(h) = -3*h**3 + 7*h**2 + 24*h + 4. Does 18 divide w(-3)?
False
Suppose 19*f = 17*f + 3190. Is f a multiple of 55?
True
Let s(o) = -29*o - 1. Let x be s(-9). Let g be 7/(-21) + 10/(-6). Does 26 divide x/(-15)*3/g?
True
Suppose d + 10 = q - 0*d, -20 = -2*q + 4*d. Let z = q - 10. Suppose z = -3*m - m + 84. Is m a multiple of 9?
False
Let i(l) = -l**3 + l**2 + 3*l - 2. Suppose -2*t = -7*t + 20. Let v be ((-14)/(-2) - t)/(-1). Is i(v) a multiple of 5?
True
Suppose -n - 5*p + 273 = 0, 6*n - 5*p - 719 = 3*n. Does 31 divide n?
True
Suppose 0 = -2*g + 37 - 7. Suppose 5*v + 25 = -g. Let y(r) = -8*r - 20. Is y(v) a multiple of 14?
False
Let i(l) = 7*l - 8. Suppose 44 = 3*v - 5*x, x + 3*x = 2*v - 32. Does 10 divide i(v)?
False
Let z = 34 + 50. Let w = 139 - z. Is 5 a factor of w?
True
Let p(f) be the first derivative of f**3/3 + 2*f**2 - 6*f + 2. Let t(k) = -k - 14. Let d be t(-7). Is 15 a factor of p(d)?
True
Let k = 26 + 140. Does 22 divide k?
False
Suppose -2234 = -4*l - 2*s, -s + 584 - 2833 = -4*l. Suppose -15*g + l = 2*g. Is g a multiple of 11?
True
Let q(j) = 245 + 10*j - 4*j + 10*j**2 - 5*j**2 - 5*j. Does 49 divide q(0)?
True
Let a be (8/(-10))/(6/165). Let y = -22 - a. Suppose y = 7*n - 11*n + 224. Is 14 a factor of n?
True
Let h be (10/(-4) - -2) + 10672/32. Let r = h + -148. Is r a multiple of 37?
True
Suppose -c + 6*c - 3*t = 18, 3*c - 5 = -4*t. Let k(z) = 8 + 7 - 26 - c*z + z**2. Does 10 divide k(-5)?
False
Let s(n) = 4*n - 4*n + 21 - 3*n. Is s(0) even?
False
Let l(j) = 106*j**2 + 173*j - 8. Is l(-4) a multiple of 7?
False
Let h = 113 - 110. Let g(k) = 19*k**2 - 10. Is g(h) a multiple of 12?
False
Is 2/4*0 + 159 + 3 a multiple of 18?
True
Suppose -7*l = 813 + 2925. Let o = -337 - l. Does 27 divide o?
False
Suppose 7*z - 3*z = n + 687, 2*n + 519 = 3*z. Does 57 divide z?
True
Suppose -145 = -x + 34. Does 20 divide x?
False
Let y(b) = 372*b + 177. Is y(3) a multiple of 19?
False
Let q = -29 + 36. Suppose -209 = -5*i - 4*g, -q*i + 3*i = -g - 184. Is i a multiple of 5?
True
Suppose -3*k + k - 376 = 4*y, 4*k = 0. Let d = 141 + y. Is d/2 + (-1)/2 a multiple of 6?
False
Does 13 divide (-12673)/(-116) - (-6)/8?
False
Suppose 0*q = 11*q - 660. Suppose -91 = -u - 5*x + 30, -4*x - 532 = -4*u. Let j = u - q. Is 11 a factor of j