Is t a multiple of 8?
True
Let x(g) = g**2 - 9*g + 14. Let c be x(7). Suppose c*d = 4*d + 392. Let p = 142 + d. Is p a multiple of 7?
False
Suppose 2*f = -2*c + 5*f + 20, 3*c - 16 = f. Is 28 a factor of (6/(-8))/(c/(-448))?
True
Suppose 8 = -4*l, 4*l + 4 = 3*s + s. Let f(n) = -170*n - 1. Is f(s) a multiple of 15?
False
Let c = -2 - -5. Suppose -68 = -2*q + 5*j, 0 = c*j + 7 + 5. Does 8 divide q?
True
Let o = 0 - 10. Let g be o*(2 + 4/(-10)). Let b = 22 + g. Is 3 a factor of b?
True
Let g = 4 - 2. Suppose r - 5*r + 32 = -2*j, -g*j - 22 = -3*r. Let c(z) = z**2 - 4*z + 11. Does 17 divide c(r)?
False
Let o = 50 - 95. Let d be 27/o + (-28)/(-5). Suppose d*q - 6*q = -41. Is q a multiple of 27?
False
Let r(y) = y**3 + 5*y**2 + y + 5. Let p be r(-5). Is 4 a factor of (936/18)/(2 - p)?
False
Let j(n) = 20*n + 21. Suppose -5*b - a + 33 = -0*a, -5*b - 5*a = -25. Does 18 divide j(b)?
False
Does 26 divide (-234)/(-8)*(-352)/(-33)?
True
Suppose 3*w - 68 = 5*d - 0*d, 4*d + 96 = 4*w. Suppose w - 135 = -o. Let b = o + -78. Does 5 divide b?
False
Suppose 0 = 3*y + u - 5*u + 260, -y = -3*u + 90. Is 12 a factor of y/(-2) - (-8 - -4)?
False
Let c = 248 - 158. Suppose c = -4*z + 694. Is 40 a factor of z?
False
Let q = -859 - -1027. Is q a multiple of 27?
False
Let v = 401 + -364. Suppose 0 = z - 2*z + 18. Let r = v - z. Is 6 a factor of r?
False
Suppose -j = -77 - 133. Let g = 345 - j. Suppose g = d + 2*d. Is 15 a factor of d?
True
Let x(l) = -450*l**3 + l**2 - 2*l - 3. Is 34 a factor of x(-1)?
False
Let q(v) = -v**2 - 11*v - 8. Let t be q(-10). Suppose 2*m + 3*o = 29, -46 = -m - t*m - 4*o. Is 9 a factor of m?
False
Let l(r) = r**3 - 29*r**2 + 84*r - 61. Is l(26) a multiple of 5?
True
Suppose -i + 335 = 4*s, -i + 311 = 2*s - 6*s. Suppose -2*r - i = -21*r. Is 4 a factor of r?
False
Let l(b) = -6*b**2 - 45*b**3 + 23*b**3 + 23*b**3 + 2*b. Is l(6) a multiple of 3?
True
Suppose 0 = -2*z - 3*z + 20. Let y be 3/(z + (-1 - 2)). Let x(o) = 3*o + 2. Does 11 divide x(y)?
True
Let r(l) = -l**3 - 3*l**2 - 5*l - 4. Let z be r(-2). Suppose -4*i = -2*p - 478, 4*p = -i + z*p + 127. Is i a multiple of 37?
False
Suppose -2*j - 3*j = -250. Let g be 4/(-2) + -1 + j. Suppose -2*b = v - 52, 5*v - 172 = -5*b - g. Does 24 divide b?
False
Let v = 64 + -174. Let n be v/6 + 2/6. Is 10 a factor of ((-40)/(-6))/((-3)/n)?
True
Suppose -5*x = 3*r - 614, -x + 79*r + 124 = 80*r. Does 28 divide x?
False
Suppose 5*z - 34 = -6*u + 3*u, 0 = -2*u + z + 1. Let w be ((-1)/2)/(1/(-2)). Let c = u + w. Is c a multiple of 2?
True
Is 13 a factor of 10560/14 - 82/287?
True
Does 9 divide -1*67*(25 + -26)?
False
Let f(m) = m**2 + 5*m - 19. Is f(-11) a multiple of 38?
False
Suppose -2*s + 3*h + 12 = 0, s + 4*s - 30 = 3*h. Suppose -s*b + 3*t - 3 = -4*b, b + 2*t = 9. Suppose 3*u + 138 = b*y, -3*y + 4 = 4*u - 134. Does 14 divide y?
False
Let p = -129 - -329. Is p a multiple of 6?
False
Let x be ((-6)/12)/(2/(-4)). Let f be (-1)/x + (-72)/(-8). Suppose 2*b - 46 = f. Does 9 divide b?
True
Suppose 4*c - 342 = -2*h, 2*c - 181 = -0*h + h. Let k = 122 + c. Is 21 a factor of k?
True
Suppose 3 = x, -4*x + 2*x = -5*m + 9. Suppose 0 = 2*k - 2*d - 272, -2*d - 3 = -m*d. Is 18 a factor of k?
False
Let x(w) = -w - 22. Let z be x(-16). Is (-2)/z + 5/(45/501) a multiple of 12?
False
Let v = -39 + 32. Let g(i) = 4*i**2 - i + 13. Is g(v) a multiple of 18?
True
Let u be (-12)/(-36)*15/1. Suppose -2 = 3*x - u. Is 6 a factor of ((-8)/16)/(x/(-36))?
True
Let f be 1*(-151 - (-2 + 4)). Let r = f + 93. Is 3 - r/(-3)*-1 a multiple of 11?
False
Suppose -3*v = -v - 50. Let h be (v/10)/(2/4). Does 5 divide -5 + h - (-20)/2?
True
Is 276/(-12)*(-35)/1 a multiple of 23?
True
Let x = 74 + 264. Is 10 a factor of x?
False
Let f = -5 + 28. Let n = f + -42. Let o = n - -35. Is 8 a factor of o?
True
Let u(y) = -y + 1. Let g(v) = 10*v - 8. Let p(a) = g(a) + 5*u(a). Let c be p(5). Suppose 0 = -4*n - c + 82. Does 13 divide n?
False
Let d(n) = -26*n + 44. Let i be d(-20). Suppose 5*j + p = i, -490 = -4*j + 2*p - 50. Does 15 divide j?
False
Let y(r) = 349*r**2 - 2*r + 1. Is 10 a factor of y(1)?
False
Suppose 27*y - 16*y - 704 = 0. Is 32 a factor of y?
True
Let u be 694/(-10) - -1 - (-3)/(-5). Let o = u - -154. Is 18 a factor of o?
False
Suppose r - 4*k - 227 = 0, -2*k = -3*r - 6*k + 729. Suppose -2*n - 71 = -r. Does 14 divide n?
True
Let b = -9 + 17. Let t be -2*(-5 + (-9)/(-3)) - 13. Is 7 a factor of b - t/(3 + 0)?
False
Let j(d) = 3*d**2 + 21*d + 18. Let c = -132 - -124. Does 20 divide j(c)?
False
Let v(q) = 11 + 3*q - q**2 - 5*q + 0. Does 3 divide v(-4)?
True
Does 28 divide 22/(-77) - 982/(-7)?
True
Suppose 3*t - 216 = 5*t - 3*b, 0 = -5*t + 5*b - 540. Suppose -4*k = -7*k + 501. Let n = k + t. Is n a multiple of 20?
False
Is 32 a factor of -1 + -4 + 1 + 1956?
True
Let c(g) = g**3 + 15*g**2 + 11*g - 67. Is 17 a factor of c(-12)?
False
Let o = 423 + -386. Is 6 a factor of o?
False
Suppose 5*m + 120 = 3*m - 3*t, 4*m = t - 212. Is (m/(-12))/((-1)/(-6)) a multiple of 8?
False
Suppose j = -2*f + 321, 7*f - 5*j - 765 = 2*f. Let n = 298 - f. Is 11 a factor of n?
False
Suppose 4*u - 2*w = -4*w - 2, -2 = 2*u + 2*w. Suppose 0*l - 3*l + 12 = u. Suppose l = k - 1. Is 3 a factor of k?
False
Suppose -54*s = -72*s + 35676. Does 15 divide s?
False
Suppose 3*z = l + 13, 5*l = -4*z + 3*l + 14. Suppose -3*o = 5*s - 22, 5*o - 13 = z*s - 1. Suppose s*g - 7*g + 495 = 0. Is 25 a factor of g?
False
Let x be 3/(-2*3/100). Let h = x - -162. Is 16 a factor of h?
True
Let l(r) = 119*r**3. Let s(n) = -n**3 - 6*n**2 + 17*n + 9. Let g be s(-8). Is l(g) a multiple of 10?
False
Let g be (-17)/4 - 9/12. Let i = g - -11. Suppose -i = -c + 4. Is c even?
True
Let s(j) = -2*j**3 - 7*j**2 + 7*j - 6. Suppose -34*q = -31*q + 18. Does 33 divide s(q)?
True
Is 3 a factor of (-9)/(-54) - 958/(-12)?
False
Let a be ((-180)/4)/(-1) + -2. Suppose -13 = -4*b + a. Is 8 a factor of ((-16)/3)/(b/(-105))?
True
Suppose -11*a = -17*a + 450. Is 6 a factor of a?
False
Let f be (3 - (4 + -1))*-1. Suppose 4*r = -f*r + 3*y + 19, -r - 4*y - 19 = 0. Let d(h) = 61*h**2 - 3*h + 2. Does 15 divide d(r)?
True
Let n = -175 - -227. Does 13 divide n?
True
Let g be (-1 + -2)*(-4)/(-12). Let y(f) = -19*f**3 - f. Is y(g) a multiple of 4?
True
Let w(b) = 360*b + 69. Is w(5) a multiple of 100?
False
Suppose -34*n - 2100 = -39*n. Is 6 a factor of n?
True
Does 13 divide (-2124)/(-164) + 18/369?
True
Suppose -1473 - 1791 = -8*f. Is f a multiple of 24?
True
Let v(u) = -5*u + 115. Is 2 a factor of v(-8)?
False
Let x(a) = -5*a**3 - 2*a**2 - 3*a + 1. Let y(c) = -c**3. Let q(l) = x(l) - 6*y(l). Let r be q(3). Suppose 0 = -5*p + s + 24 - r, -s + 22 = 4*p. Does 5 divide p?
True
Let c = -15 + 19. Suppose -186 = -c*z + 9*q - 4*q, 2*q + 136 = 3*z. Is z a multiple of 11?
True
Let q = 1666 - 886. Is q a multiple of 14?
False
Let c be 2 - (5 - 2) - -401. Let n = c + -146. Is n a multiple of 51?
False
Suppose -445 = -5*p - 3*d, 97 + 259 = 4*p + 3*d. Let r = p + -32. Is r a multiple of 19?
True
Let r(t) = t**2 + 24*t + 8. Let f be r(-14). Let s = f + 252. Is s a multiple of 30?
True
Suppose -8 = -h - 4. Let t(f) = f - 3. Let l be t(h). Is 4*(-1)/l*-3 a multiple of 4?
True
Let j be (-488)/(-10) - (-9)/45. Let k = j + -73. Let h = k + 32. Is h a multiple of 4?
True
Suppose 45 = -23*s + 28*s. Suppose 3*j - 2*j = -3, -b + 2*j = -9. Is 4 a factor of (-1)/((-3)/s) + b?
False
Is (32/(-16) - -1)*(0 - 81) even?
False
Let v be (-1)/(-3) - 7/21. Suppose 0 = -v*b - 2*b + 56. Does 28 divide b?
True
Let k(z) = 5*z**2 + 11*z + 15. Let y(m) = 11*m**2 + 21*m + 29. Let b(i) = -9*k(i) + 4*y(i). Is b(-13) a multiple of 7?
True
Suppose -4*q - 17 = -3*k + 14, 0 = k - 5. Does 13 divide q/((-8)/81) + (-12)/8?
True
Let k(d) = -d**3 + 11*d**2 + 25*d + 10. Is k(12) a multiple of 20?
False
Let h be ((-3)/(-9))/(2/36). Suppose -66 = -y + h. Does 9 divide y?
True
Suppose -x = 3*x - 448. Suppose d + 0*d = -52. Let v = d + x. Does 15 divide v?
True
Suppose -7 = -5*p + b + 338, 0 = 4*b. Does 3 divide p?
True
Let c(r) = 4*r**3 - 3*r**2 + 4*r - 3. Let u be c(1). Suppose -u*l = q - 1, -2*l = 6*q - q - 21. Is 2 a factor of q?
False
Suppose -696 = -13*t + 3932. Does 39 divide t?
False
Is 18 a factor of 10/(-7)*2716/(-8)?
False
Suppose -3*w - w + k + 3812 = 0, -5*w = -5*k - 4780. Is w