s 46 a factor of l?
False
Suppose -161909 = -39*m + 6766. Is m a multiple of 124?
False
Suppose 3*v + 4943 = 10*q - 5*q, -2*q + 1971 = 5*v. Is q a multiple of 26?
True
Let y(m) = 2175*m - 4349*m + 10 + 2176*m. Suppose 3*l = -l. Does 10 divide y(l)?
True
Suppose 0 = -q + 5*x - 4, -5*q + 0 = -4*x - 1. Is 15 a factor of 11/q - 0 - -4?
True
Let x(i) = -i**2 + 7*i - 11. Let r be x(5). Let t be r/(-2) - 5/2. Is t/(8/(-20)) - -3 a multiple of 7?
False
Suppose 336 = -9*s + 16*s. Is s a multiple of 16?
True
Is (-2)/(-23) - (-147696)/1173 a multiple of 23?
False
Let h = -48 + 55. Suppose -p - m + h = 0, -4*p + 2*m + 16 = -p. Is 4 a factor of p?
False
Let c be (5/((-5)/3))/(-3). Is 18 a factor of (c/2)/((-4)/(-288))?
True
Suppose -4*h = -4*t + 31 + 41, -3*h - 4*t - 68 = 0. Let j = 20 - h. Is 10 a factor of j?
True
Let h(j) = 2*j**2 + 3*j - 2. Let b(i) = i**2 + 4*i - 1. Let c(l) = -4*b(l) + 5*h(l). Is c(-4) a multiple of 47?
True
Suppose -q - 210 = -2*w - 78, 2*w + 3*q - 132 = 0. Suppose -3*m + 99 = -w. Let a = -7 + m. Does 24 divide a?
True
Let a(w) = -540*w - 54. Is a(-3) a multiple of 12?
False
Is (56/(-6))/((-29)/7221) a multiple of 48?
False
Suppose -5*m - 1330 = -4*y, 4*m - 561 = -5*y + 1081. Does 10 divide y?
True
Let f = 924 - 498. Is f a multiple of 6?
True
Let o(r) = -8*r**2 - 11*r - 19. Let q be o(-9). Let t = q - -384. Does 11 divide t/(-4) + -3 + 3?
False
Let g(a) = -a**3 - 8*a**2 + 4*a - 5. Let v(h) = 2*h**3 + 9*h**2 - 3*h + 5. Let r(t) = 3*g(t) + 2*v(t). Let i be r(4). Let s = 21 + i. Is s a multiple of 8?
True
Suppose 2*s + 4 = 6*s, -16 = -4*h + 4*s. Let y = -20 - -38. Suppose 0 = h*o - 22 - y. Is 6 a factor of o?
False
Let f = -841 + 600. Let o = f + 434. Is 38 a factor of o?
False
Suppose 0 = -26*q + 30*q + 2844. Let w be (-2)/9 + q/81. Let m(y) = y**3 + 9*y**2 - 5*y + 2. Is m(w) a multiple of 25?
False
Let l be (1 + -11)/(-6 + 8). Let n be -1 + l/((-5)/3). Suppose -n = -2*o + 10. Is 3 a factor of o?
True
Suppose 0 = 3*o - 15. Suppose 175 - 25 = 2*x - 5*j, -x = -4*j - 75. Suppose x = o*w - 2*w. Does 9 divide w?
False
Let h = 149 + -144. Does 5 divide (-714)/35*h/(-2)?
False
Let u(g) = 38*g + 10. Let b(j) = -15*j - 4. Let z(x) = 12*b(x) + 5*u(x). Is z(7) a multiple of 24?
True
Let m = 1313 - 460. Is 2 a factor of m?
False
Let m = 224 - 53. Let d = m - -38. Is d a multiple of 21?
False
Let h be (-9)/27 + 20/6. Let o = h - -1. Is o even?
True
Let a(q) = -20*q - 6. Let b be a(-10). Let t = b + -82. Does 14 divide t?
True
Suppose 0*y + y - 12 = 0. Suppose o = 2*w + 4, 0*w + 2*o - 8 = -5*w. Suppose -z + 0*z + y = w. Does 6 divide z?
True
Suppose 5*n + 5 = -4*t + 25, n - 4 = -2*t. Let m be (35/(-15))/(2/(-12)). Suppose 0 = -r + n*a - 7*a + 3, 4*a = -2*r + m. Is r a multiple of 5?
True
Let g = 26 + -17. Does 19 divide (-1)/(g/27*2/(-76))?
True
Suppose 15*p = 19*p - 208. Let m = p + -11. Does 19 divide m?
False
Let g(w) = w**3 - w**2 + w + 20. Let x be g(0). Let j be x/(3 - -1) + -3. Suppose -7*t + j*t = -275. Is 12 a factor of t?
False
Suppose 22*z - 6338 = 6422. Is 35 a factor of z?
False
Let y(u) = -u**3 + 3*u**2 + 4*u - 6. Let s be y(4). Let t be 168/20 - s/(-15). Let n(l) = -l**3 + 9*l**2 - 6*l - 10. Is 6 a factor of n(t)?
True
Suppose -4 = -9*a + 7*a, -3446 = -5*l + 2*a. Does 18 divide l?
False
Let c be (-6 - -7)*(-11)/(-1). Suppose -4*b + 2 - 19 = -f, -3*b = 4*f - c. Suppose -f*j = 5*m - 303 + 3, -j + 4*m + 55 = 0. Is 22 a factor of j?
False
Let d be (-1 - (-21 + 5)) + -1. Suppose 0 = -4*w - 34 + 126. Let t = w - d. Is t a multiple of 3?
True
Let q(a) = -a**3 + 21*a**2 - 3*a - 44. Is 37 a factor of q(20)?
True
Let m be (36/90)/((-1)/(-5)). Let f(c) = 31*c + 1. Is 11 a factor of f(m)?
False
Let l(a) be the third derivative of 1/12*a**4 - 8*a**2 + 1/6*a**3 + 0*a + 0. Is l(4) a multiple of 3?
True
Suppose -2*s + 271 + 113 = 0. Is s a multiple of 24?
True
Suppose 5*f = 2*t - 169, -2*t - 5*f = -2*f - 129. Is t even?
True
Let y = -1014 + 1599. Does 45 divide y?
True
Suppose 10884 = 508*u - 496*u. Is 3 a factor of u?
False
Let y = 376 + 485. Is 11 a factor of y/6 + (-2)/4?
True
Suppose -1010 = 2*d - 2118. Does 33 divide d?
False
Let m(l) = l**3 - 8*l**2 - 9*l - 23. Let a be m(10). Let s = 175 - a. Does 19 divide s?
False
Let a(m) = -3*m + 39. Let t be a(9). Suppose t*u + 45 = 13*u. Is 16 a factor of u?
False
Suppose -j - 2*h + 7*h = -185, 0 = 4*h + 20. Suppose -n = 4*n - j. Is n a multiple of 32?
True
Let s be 28/49 + 144/(-7). Let y = -31 + 54. Let l = s + y. Does 3 divide l?
True
Suppose -4*r - 4*t = -2*r - 22, -3*r + 21 = 3*t. Suppose 190 = j + 2*u, u - 5*u + 572 = r*j. Is 16 a factor of j?
True
Suppose 8*f = 3*f + 125. Let g(w) = 6*w - 42. Does 18 divide g(f)?
True
Let u(m) = -m**2 + 8*m + 5. Let j = 7 - 9. Let z be 12*(-4)/16*j. Is u(z) a multiple of 11?
False
Suppose u - 100 = -4*u. Suppose 0 = 16*l - u*l + 76. Is 19 a factor of l?
True
Let r(g) = -11*g**2 + 4*g**2 + 4*g**2 + 6 + 13*g + 2*g**2. Let s = -5 + 11. Is 16 a factor of r(s)?
True
Let v(r) = -5*r + 2. Let u be v(5). Let x be 1*-66*1/(-2). Let w = x + u. Is 4 a factor of w?
False
Let o = 11 + -5. Let h be 2/o*3*5. Suppose 0*m + y + 117 = 4*m, -2*y = -h*m + 144. Is 15 a factor of m?
True
Let d(c) = c**3 - 9*c**2 - 11*c + 9. Is d(11) a multiple of 21?
False
Let l(j) = -j**2 + 4*j + 2. Let z be l(4). Let b be 27 - 6*z/(-4). Suppose -i = -b - 39. Is i a multiple of 28?
False
Let y = 12 - -1. Suppose -p - 2*z + y + 45 = 0, 2*z - 6 = 0. Is p a multiple of 10?
False
Suppose 0 = 3*h + 6, 0 = -2*q + 5*h + 143 + 57. Let p = q + -23. Does 16 divide p?
False
Suppose 2*h + 10 = 4*n, -3*n = -h + 3*h - 18. Let s = h - 11. Let a(c) = c**3 + 9*c**2 + 6*c - 8. Is a(s) a multiple of 2?
True
Let i(o) = -o**3 + 3*o**2 - 3*o + 72. Does 19 divide i(0)?
False
Suppose -6*g = g - 2*g. Suppose 2*t - 2*i - 194 = g, t - 78 = -4*i + 4. Is t a multiple of 4?
False
Suppose 427 = 4*i - 1989. Does 13 divide i?
False
Let c be (4/(-3))/(8/(-12)). Let h = 86 - 53. Let d = h - c. Is d a multiple of 5?
False
Let g(q) be the second derivative of -q**4/12 + 5*q**3/6 - q**2 + 7*q. Let s be g(3). Suppose 82 = s*u - 4*t - 98, -t = 3. Does 13 divide u?
False
Suppose 0 = q + q - 10. Suppose -4*t + 4*p - 892 = 0, -9 = -t + 5*p - 212. Is 14/35 - t/q a multiple of 29?
False
Suppose 226*j = 197*j + 12528. Is j a multiple of 9?
True
Suppose y - 313 = -g + 67, 0 = 5*g + y - 1920. Is g a multiple of 27?
False
Suppose -d + 1789 = -5*i, 0 = -4*i - 8 - 12. Does 12 divide d?
True
Let h(o) = o**3 - 5*o**2 - 4*o + 2. Let k(m) = m**3 - 5*m**2 - 4*m + 1. Let g(l) = -4*h(l) + 5*k(l). Suppose 4*q - 5 = 19. Is 8 a factor of g(q)?
False
Suppose 5*k - 5 - 5 = 0, 0 = -g - 5*k + 166. Is g a multiple of 5?
False
Is (-126)/(-27)*216/14 a multiple of 9?
True
Suppose 54 + 2169 = 9*z. Is 19 a factor of z?
True
Suppose p + 8 = -16. Let y = 28 + p. Does 4 divide y?
True
Is 14 a factor of ((-3235)/10)/((-2)/4)?
False
Let k be (12/(-48))/(1/4). Let n be -69 + k + 3 + -4. Let a = -41 - n. Is 10 a factor of a?
True
Suppose -5*g + 1471 = b, 4*g - 3*b + 59 = 1232. Is 6 a factor of g?
True
Let c(y) = 32*y - 490. Does 3 divide c(16)?
False
Let d be (-2)/((-2)/67) + 48 + -45. Suppose 0 = 3*j - d - 80. Is j a multiple of 25?
True
Suppose -4*r + 509 - 51 = j, -j - 340 = -3*r. Let u = r + -42. Is 12 a factor of u?
True
Let t(w) = -5*w - 34. Let a be t(-25). Let b = a - 52. Does 13 divide b?
True
Let u = -17 + 19. Suppose 0 = -2*p - 3*h + 28, 0*h - 2*h + 26 = u*p. Suppose 9*y = p*y - 64. Is 12 a factor of y?
False
Let f = 702 + -589. Is 15 a factor of f?
False
Let m(a) = -3*a**2 - 2*a + 1. Let k be m(-1). Suppose 3*l - 5 - 7 = 0. Suppose k*x + l = x. Does 3 divide x?
False
Let z = 1357 + -924. Does 16 divide z?
False
Let b = 235 + 185. Does 30 divide b?
True
Let v be ((-400)/(-6))/((-3)/(-54)). Let z be (v/(-7))/((-3)/21). Does 32 divide z/14 + 14/49?
False
Suppose 2514 = 2*b + 64. Is b a multiple of 49?
True
Let a = -56 - -60. Is 14 a factor of 0/(-2 + a) - -64?
False
Let b = 55 - 53. Suppose b*w - 86 = 42. Does 12 divide w?
False
Suppose -5*k + 1280 = 4*r, 12*r + 5*k = 10*r + 650. Does 2 divide (3/(-9))/((-3)/r)?
False
Does 15 divide (-2 - -5) + -11 + 1073?
True
Suppose 3*n = 4*j - 1 - 65, 0 = 5*j - 15. Let a = 20 + n. Suppose s = 4*i - 92, 4*i + a*s - 99 + 19 =