 j?
False
Let k(v) = 5*v**2 - 2*v + 6. Let q be k(3). Let b = q - -54. Is 13 a factor of b?
False
Suppose 0 = 8*i - 3*i + 4*f - 4211, 3*i + 3*f = 2526. Is 52 a factor of i?
False
Suppose 0 = -4*l - 21*s + 22*s + 2010, -5*s + 492 = l. Is l a multiple of 10?
False
Let f be (159/(-12))/(2/8). Let h = f - -105. Is 26 a factor of h?
True
Suppose -1 = y - 0, 3*y = x - 201. Is 22 a factor of x?
True
Let t(g) = -37*g + 1. Let b be t(-9). Let l = b + -175. Suppose -4*y + 53 = -l. Does 22 divide y?
False
Let c be (-131)/(-3) + 5/15. Let i be 5068/c - 6/33. Suppose -4*b - 2*d + 110 = 0, 2*b - i = -2*b - d. Is 10 a factor of b?
True
Is -40*(-5 - 1 - 4 - -1) a multiple of 30?
True
Let p be 1*(-1)/1*2. Let n be (55/p)/(2/(-4)). Let l = n - 38. Does 7 divide l?
False
Suppose 4*d - 2*h = 4 + 2, 2*d + 2*h - 6 = 0. Suppose t - 84 = -3*s, -d*s + 1 = -3. Is t a multiple of 32?
False
Suppose 2*u = 7*u - 185. Let z = u - 25. Does 4 divide z?
True
Let i(u) = -2*u**2 - 8*u + 2. Let m be i(-4). Suppose 5*t + 0*k - 375 = -2*k, -t = m*k - 67. Does 13 divide t?
False
Suppose -5*o = 14 - 164. Is o a multiple of 10?
True
Suppose 3*g = 3*q - g - 10, -q + 5*g = -7. Suppose -6*l + l + 214 = q*a, l - 2*a - 50 = 0. Does 7 divide l?
False
Let m = -358 + 558. Suppose 3*i + 20 = m. Is i a multiple of 20?
True
Is 8 a factor of (5013/1)/3 - (-16)/16?
True
Let o be 19/5 + 2/10. Suppose 14 = j + o*r - 1, 2*r + 2 = 0. Does 17 divide j?
False
Let l = 9898 + -6362. Is l a multiple of 52?
True
Let f(r) = -r**3 + 17*r**2 - 26*r - 52. Does 4 divide f(15)?
True
Let m(j) = 3*j**2 - 3*j - 3*j + 2*j + 3 - 4*j**2. Suppose 3*l + 2 = -10. Is m(l) a multiple of 3?
True
Let k be 2/8 - 21/(-12). Suppose 0 = 3*a + 5*g - 1408, -2*g - 31 = k*a - 975. Does 19 divide a/16 + 6/(-8)?
False
Suppose 5*f - 1302 = -2*s, 5*s + 3255 = 10*s - f. Is 21 a factor of s?
True
Suppose -q - 4*r = -13 - 1, 5*q = 2*r + 4. Suppose 5*g - q*z = 429, -2*g + 3*z = -5*g + 249. Does 17 divide g?
True
Let y(m) = -m**2 - 14*m + 17. Let s be y(-13). Suppose -20*q = -s*q + 300. Is q a multiple of 4?
False
Suppose 171 - 791 = -20*t. Is t even?
False
Let p = -1313 + 1898. Is p a multiple of 45?
True
Let r(s) = -4*s**2 + 11*s**2 - s**3 + 4*s + 2*s**3 - 3 + 1. Is r(5) a multiple of 44?
False
Let s(c) = 15*c - 40*c - 1 + 7 - 1. Is s(-2) a multiple of 9?
False
Suppose 43*s + 91120 = 77*s. Does 84 divide s?
False
Suppose -2*a - 2 + 0 = 0. Let b be (-2 - a)/(1/(-4)). Suppose -b*q + 90 = -2*q. Is 15 a factor of q?
True
Let t(d) = -d**3 + 9*d**2 + 18*d + 14. Let m be t(9). Suppose 173*r = m*r - 330. Is r a multiple of 37?
False
Let m be (1 + 2)*-4*(-2)/(-24). Is 13 a factor of -2*m/(-11) + 2540/55?
False
Let j(p) = 9*p + 20. Let r be j(-2). Suppose 2*c + 6 = 0, -2*c = -0*t + t - 70. Suppose -t = -5*k - 2*b, k + r*k - 42 = -3*b. Does 8 divide k?
True
Suppose g - 3*g = 8, 5*w + 5*g - 9065 = 0. Is w a multiple of 17?
False
Suppose -1114 + 394 = -2*w. Is w a multiple of 24?
True
Suppose 0 = 3*w + 4*w + 91. Let a(z) = -3*z - 29 - z + 0*z. Is a(w) a multiple of 4?
False
Let y = -27 - 55. Let t = y + 94. Does 6 divide t?
True
Suppose -7*r = 2*r - 1782. Does 57 divide r?
False
Let j = -234 - -844. Is 10 a factor of j?
True
Let t(w) = 30*w + 19. Let c be t(10). Let i = 461 - c. Is i a multiple of 9?
False
Suppose -n + g - 2 = -1, -2 = 4*n - 2*g. Suppose n = -0*c + 4*c - 16. Suppose -c*v + 9 = -99. Does 27 divide v?
True
Suppose -2*p = 5*t + 72, 0 - 4 = -p. Let w = 28 + t. Is w a multiple of 4?
True
Let d(x) = 16*x + 11. Is d(4) a multiple of 5?
True
Let k(r) = r + 11. Let w be k(-7). Let b(z) = 3*z**2 - 4. Let n(t) = -8*t**2 - t + 11. Let y(l) = w*n(l) + 11*b(l). Is 16 a factor of y(-4)?
True
Suppose 2*o + 5*h = 3*o + 19, 4*o + 22 = 2*h. Is 3 a factor of (o + 5 + 5)*4/6?
False
Suppose u = 2*u - 90. Suppose 0 = -b - 0*b - u. Let k = b - -144. Is 15 a factor of k?
False
Let q(v) = 5*v**2 + v - 2. Does 10 divide q(-5)?
False
Suppose 4*p + 24 = 2*a, p = 2*a - 2*p - 19. Suppose -a = -13*g + 518. Is g a multiple of 11?
False
Suppose -r - 4*n = 5, -4*r + 3*n = 4 - 22. Suppose 0 = -2*u - r*u - 3*p + 690, -4*u - 3*p + 555 = 0. Is 15 a factor of u?
True
Suppose -2*f + s + 33 = 0, f - 4 = -4*s + 17. Is f a multiple of 4?
False
Suppose 8 = -3*h + 2*h. Let d(b) = 0*b**2 - b**2 + 2*b**2 + 10*b - 3*b + 6. Is d(h) a multiple of 9?
False
Let o(l) = -l**2 + 5*l + 10. Let d be o(7). Let z be ((-5)/2)/((-2)/d). Let v(p) = 3*p**2 + 6*p - 5. Is 16 a factor of v(z)?
False
Let i = 7 - -131. Is 14 a factor of i?
False
Does 3 divide (474278/70)/19 + 4/10?
True
Let o = 80 + -85. Suppose 5*u + 140 = 5*n, n + 3*n - 104 = 2*u. Let b = o + n. Does 6 divide b?
False
Let k be 9 + 0 + (-3 - 0). Let s be (k/4)/(13/(-8762)). Does 14 divide s/(-18) + 2/(-12)?
True
Suppose 0*p - 5*t = 5*p - 25, 0 = -4*p - 3*t + 15. Suppose f + 8*f - 261 = p. Does 3 divide f?
False
Let m(q) = -29*q + 1. Let d be m(-2). Let t(h) = 24 + 28 - h - d*h**2 + 58*h**2 - h**3. Is t(0) a multiple of 13?
True
Let r(p) = -178*p + 13. Does 9 divide r(-2)?
True
Suppose -546*w = -542*w - 2036. Does 8 divide w?
False
Let c(x) = -222*x - 278*x + 84*x. Is c(-1) a multiple of 32?
True
Suppose 2 + 9 = -3*s + o, 0 = 4*s + 5*o + 2. Let t be -18*12/27*s. Is t/32 + (-162)/(-8) a multiple of 7?
True
Let g(z) = 8*z**2 + 46*z + 136. Does 5 divide g(-18)?
True
Let q(y) = -y**3 + 8*y**2 - y + 2. Let i = 9 - 3. Let h be q(i). Suppose -3*w + 230 = h. Does 27 divide w?
True
Suppose 5*d - 825 = -4*z, 12*d - 14*d + 1010 = 5*z. Is z a multiple of 25?
True
Let l be -12 - (-2 + 1 - -3). Let a = 30 + -2. Let o = l + a. Is o a multiple of 7?
True
Let u = -37 - -39. Suppose d + 441 = 4*h + u*d, 5*d = 4*h - 435. Does 22 divide h?
True
Let w(l) = 18*l**2 + 4*l**2 + 10*l**2. Let i be w(1). Suppose s - i = -s. Does 8 divide s?
True
Let t(o) = 19*o + 6. Let i(c) = -1 - 5*c + 2*c - 2*c + 2*c. Let f(w) = 39*i(w) + 6*t(w). Is f(-7) a multiple of 9?
True
Suppose x - 47 = -v, 0 = -4*v - v + x + 265. Suppose -v = l + 3*l. Let n = 43 + l. Does 15 divide n?
True
Let o = -35 - -54. Suppose 5*l + 3*z + 2*z - 45 = 0, 3*l - o = z. Does 2 divide l?
False
Suppose 5*z - 167 = -j, 2*z - j = z + 37. Suppose 0 = -2*t + 4 + 4, -2*t - 60 = -4*b. Let v = z - b. Does 9 divide v?
False
Let c(w) = w + 1. Let j be c(-1). Is 2 + j - (-3 + -7) a multiple of 11?
False
Suppose 0 = 5*g - 519 - 2136. Is g a multiple of 9?
True
Suppose 4*j = 3*n + 114, -n + 3 = 5. Suppose -p - j + 7 = 0. Let w = p + 27. Is w even?
False
Suppose 0*n + 8556 = 31*n. Is n a multiple of 69?
True
Suppose 0 = 4*b - 793 - 3831. Does 17 divide b?
True
Let n = 222 + 7. Does 39 divide n?
False
Suppose w - 119 - 196 = 0. Does 63 divide w?
True
Let z(b) = 847*b**2 + 2*b - 2. Let w be z(1). Suppose 0 = 4*n - w + 327. Does 10 divide n?
True
Let k(l) = l**2 + 4*l + 1. Suppose b + 4 = 5*m - 2*m, -m - 4 = -b. Let p be k(b). Let u = p - 58. Is 13 a factor of u?
True
Let v(q) = 18*q**2 - 5*q + 1. Let y(f) = -12*f**2 + 3*f - 1. Let b(d) = -5*v(d) - 8*y(d). Is b(-4) a multiple of 21?
False
Suppose -4205 = -2*p - k, p - 5*k = -9*k + 2120. Does 98 divide p?
False
Suppose -3*a - 152 = -4*q + 108, -348 = 4*a - 5*q. Let r = 142 + a. Suppose 3*f = 5*g + 34, -3*f + 0*g + r = -g. Is 18 a factor of f?
True
Let g = -221 + 449. Is g a multiple of 38?
True
Let c = -264 - -377. Does 11 divide c - (-4)/8*-6?
True
Suppose -55*f - 5256 = -59*f. Is f a multiple of 47?
False
Let i = -2 + 7. Suppose i*p - 740 = p. Is p a multiple of 45?
False
Is 22 a factor of 227482/749 - -2*1/7?
False
Let l = 201 + -117. Suppose b = -t + 34, 4*t - l = -3*b + 7*t. Is 4 a factor of b?
False
Let f = 39 - 36. Let s = f + 1. Suppose 0 = -o - s*k + 77, 2*o - 385 = -3*o + k. Is 19 a factor of o?
False
Is 14 a factor of 24/(-56)*2 + 35865/21?
False
Suppose -4*g = 4*z + 8, 6*g - 2*g - 8 = 4*z. Let o(r) = 35*r - 108. Let l be o(3). Does 4 divide (-3 + g)/l + 3?
True
Let l be 464/(-2)*-12*3/(-48). Does 6 divide (7/((-42)/(-4)))/((-4)/l)?
False
Suppose -19*h + 597 = -18*h - 5*o, 2*h - 2*o - 1218 = 0. Is 6 a factor of h?
True
Suppose -4*p = -t + 117, -p + 45 = -2*p - 5*t. Is (p/25)/((-5)/50) a multiple of 5?
False
Suppose -4*z = -3*j + 11 + 1, j - 4 = -4*z. Suppose -5*k + 70 = 5*l, 3*l - 2*l - 44 = -j*k. Does 10 divide k?
True
Let v(f) = -18*f - 7. Let m be v(-4