, 40 = z - 5*x. Is z a multiple of 6?
False
Suppose 4 = 2*h - 28. Suppose -20*l + 16 = -h*l. Suppose l*y = g + 99, 2*y - 16 = g + 35. Is 12 a factor of y?
True
Let u = -4719 - -7891. Is 26 a factor of u?
True
Let m be 6*(-2)/12*-4. Let l = 169 + -127. Suppose -m = v - l. Is 17 a factor of v?
False
Let g be (-3)/(2 - 415/206). Is (1 + 3 + -2)*g/4 a multiple of 17?
False
Let t(y) = -6*y + 82. Does 7 divide t(9)?
True
Suppose 382 = 5*l - 4*y - 273, 0 = 3*l + y - 393. Suppose -5*p + 1221 = 4*t, 335 = 2*p - 4*t - l. Is p a multiple of 12?
False
Let a(i) be the first derivative of i**4/4 + 7*i**3/3 + 7*i**2/2 - 2*i + 14. Is a(-5) a multiple of 11?
False
Suppose -c + 4*n + 1335 = 0, -4*c - 3*n = c - 6583. Does 74 divide c?
False
Let q be (-6)/8 + 420/48. Let c = 10 - q. Suppose 0*s + 8 = 4*s, -c*s = r - 63. Does 33 divide r?
False
Suppose v - 5*n = 900, 0 = -13*v + 14*v - 4*n - 895. Is 9 a factor of v?
False
Let k(y) = -247 + 247 + 12*y**3. Let r be k(1). Suppose 3*i = 3*s - 246, -6*i - r = -3*i. Does 26 divide s?
True
Let q = 1201 - 1047. Does 11 divide q?
True
Suppose -4*s + 28 = -0*w - w, -23 = w - 3*s. Is (10/35)/(w/(-826))*2 a multiple of 19?
False
Let j(y) be the third derivative of 4/3*y**3 - 3/20*y**5 + 0*y - 5*y**2 - 1/120*y**6 + 0 - 11/24*y**4. Is 7 a factor of j(-8)?
False
Let j(i) = -18*i - 8. Let p = 38 - 48. Let y be j(p). Suppose 0 = -2*v + 4*r + y, 2*r = 6*r + 4. Does 17 divide v?
False
Suppose 0 = -13*m + 15*m - 404. Is 29 a factor of m?
False
Does 3 divide ((-15)/(-9) - 2) + 2608/48?
True
Suppose g - 2*g + 8 = 0. Suppose 3*z = -x + 7, 3*x + 17 = g*x - 3*z. Is ((-29)/x)/(2/(-8)) a multiple of 18?
False
Suppose 1035 = 17*q - 2314. Does 45 divide q?
False
Let v = 772 - 471. Let j = v - 133. Suppose -3*f - f = -j. Is 14 a factor of f?
True
Let g(f) = f**3 + 4*f**2 + 3*f. Let h be g(-2). Does 17 divide (42/(-4))/(h/(-28))?
False
Suppose -437*s + 16434 = -426*s. Does 92 divide s?
False
Suppose -5*t + t - 5*h = -40, -3*t + 4*h - 1 = 0. Suppose 0 = -t*l - 25, -5*a = l + l. Suppose -a*s - 4*j = -5*j - 214, -430 = -4*s + j. Does 36 divide s?
True
Let f(g) = 11 - 8*g**2 + 7*g**2 + 2*g**2 - 7*g. Is 5 a factor of f(6)?
True
Let z(p) = 4*p**2 - 33*p - 13. Does 61 divide z(12)?
False
Suppose m - 196 = -5*p, -5*p + 2*m = 1 - 209. Suppose 39*w - p*w = -176. Is 8 a factor of w?
True
Let d be (0 - 21)*(4/(-3) + 0). Suppose 2*u + 7 = k, -3*k + u + d = -8. Does 3 divide k?
False
Let z(t) = -31*t + 348. Does 37 divide z(-21)?
True
Let q = -547 + 1007. Does 21 divide (3/(-2))/((-15)/q)?
False
Suppose -w + 2258 = 1891. Is 7 a factor of w?
False
Suppose -9*g + 102 = -3*g. Let w = g - 7. Does 2 divide w?
True
Suppose 0 = -2*n + 3*z + 113, -4*n + 5*z = -141 - 90. Suppose -328 + n = -4*l. Does 16 divide l?
False
Suppose -114*t + 119*t - 545 = 0. Is t even?
False
Let i(a) be the first derivative of a**4 + a**3/3 - a**2/2 + a + 4. Let n be i(2). Suppose 2*h + 47 = 5*y - 3, 5*y + h = n. Is 8 a factor of y?
True
Let v = 42 + -99. Let o = v - -69. Is 6 a factor of o?
True
Let x = 168 + 237. Does 25 divide x?
False
Let t(w) = w**3 + 8*w**2 - 3*w - 19. Let k be t(-8). Suppose 3*d = k*s - 472, 4*s - 372 = 2*d - d. Is 15 a factor of s?
False
Let o = -94 + 1092. Is 25 a factor of o?
False
Let o = 4460 + -2952. Does 29 divide o?
True
Let j(n) = -6*n**2 - 34*n - 95. Let r(m) = -m**2 - 7*m - 19. Let i(g) = 2*j(g) - 11*r(g). Is 10 a factor of i(7)?
False
Let o be (1 + 13)/(8/8). Is 27 a factor of 24/o*63/2?
True
Let d be (2 + 2 + -4)/(-1). Suppose -3*w + 11 + 31 = d. Is w a multiple of 2?
True
Let y be 1 + (-1 - -2)/(-3 + 2). Suppose 3*k - 4*v - 281 = 0, y = -5*k - 3*v + v + 451. Does 8 divide k?
False
Let g(t) = -499*t - 457. Is 37 a factor of g(-6)?
False
Suppose 0 = c - 2*r - 775, 4*c - 8*c - r = -3136. Does 29 divide c?
True
Suppose -7*d - 403 = -3*d - z, 315 = -3*d + 5*z. Is ((-48)/(-15))/((-5)/d) a multiple of 9?
False
Let c(d) = 13*d**2 + 5*d + 18. Let u be c(-5). Suppose 17*x - 14*x = u. Is 15 a factor of x?
False
Suppose -3*q = -6, -3*q = -4*l - 4*q + 14. Let c(g) = 5*g**2 - 4*g - 4. Let x be c(6). Is 13 a factor of x/(-12)*l/(-2)?
False
Suppose -3*p - 9 = -2*f, -5*f - 2*p - 9 = p. Let t = 2 + f. Does 20 divide 51 - (t + 3/3)?
False
Suppose w - 3*m + 16 = 0, -m + 4*m - 19 = 4*w. Let l(p) = -72*p + 2. Let j be l(w). Suppose j = 5*u + 4. Is u a multiple of 7?
True
Suppose -4*d + z + 9 = 0, 0 = 2*z + 2. Let a(o) = 6 - 20 - 9*o**2 - o**3 + 0*o**3 + d*o. Is a(-10) a multiple of 22?
True
Let v(p) = -2*p - 14. Let k be v(-7). Suppose k = j - 0*j. Suppose j*a - 212 = -4*w - a, -262 = -5*w - 2*a. Does 18 divide w?
True
Suppose 56*d + 29932 = 70*d. Is d a multiple of 72?
False
Suppose -586 - 242 = -9*i. Does 10 divide i?
False
Let y(w) = 3*w**2 + 9*w + 4. Let c be y(-6). Suppose 0 = -8*a + 3*a - 200. Let x = a + c. Is 18 a factor of x?
True
Let c(a) = a**3 + 9*a**2 + 9*a + 13. Let i be c(-8). Suppose -2*z + 3*y = i*y + 10, -14 = 4*z + y. Does 17 divide (-102)/(1 + z) + 0?
True
Suppose -7*n + 2*n - 4*b = 205, -5*b = -25. Let v = -17 - n. Let a = 48 - v. Does 20 divide a?
True
Let y(x) = 69*x + 575. Does 46 divide y(7)?
True
Suppose 2*f + 0*f + 84 = 0. Let p = 122 + f. Let z = p - -41. Does 26 divide z?
False
Suppose -6 - 2 = 4*u. Let o be (9/(-27))/(u/90). Suppose -o = -v - 2. Is 3 a factor of v?
False
Suppose -46*g - 7588 = -60*g. Does 17 divide g?
False
Let n(l) = 2*l**2 + 9*l - 8. Suppose 3*k = -3*q + 21, 5*q = -3*k + 4*q + 19. Does 24 divide n(k)?
False
Is 1 - 0 - (-24 + 6/2) a multiple of 2?
True
Does 3 divide ((-147)/12 + 5)/((-14)/672)?
True
Let b = 26 - 26. Suppose 4*l = 4*h - 88, -3*l = -b*h - 2*h + 69. Let j = l - -47. Is j a multiple of 22?
True
Let h be (10/(-6))/((-1)/3). Suppose -5*t + h*b - 20 = 0, 2*b - 2 = 6. Suppose -2*z = -i - t*i + 14, z - 13 = -2*i. Is 8 a factor of i?
True
Suppose -5*i - 1 + 266 = 0. Let c = -9 + i. Does 4 divide c?
True
Suppose 5*x - 54 = h, -3*x + h + 3*h = -46. Let y = x - 7. Let k = y + 14. Is 17 a factor of k?
True
Let x(r) = r**2 - 15*r + 20. Let t be x(15). Let z = 41 - t. Suppose -5 - 15 = -5*h, 3*h = -w + z. Does 9 divide w?
True
Let t be (1 - 0 - 453)/(-1). Suppose g = -3*p - g + 680, -2*p - 2*g + t = 0. Is 57 a factor of p?
True
Let s = -3 - -11. Does 9 divide 61 + 6*(-4)/s?
False
Let j(i) = 15 - 4*i**3 + 2*i**3 + 14*i**2 + 3*i**3 - 14*i - 2*i**3. Let y be j(13). Suppose -y = 3*a - 11. Is a a multiple of 2?
False
Let l(i) be the second derivative of i**6/40 - i**5/60 - i**3/2 - 11*i. Let h(g) be the second derivative of l(g). Is h(2) a multiple of 11?
False
Suppose -453*r + 1880 = -443*r. Is 9 a factor of r?
False
Suppose -5*v + 5*w + 35 = 0, -4*v = -0*v + 4*w - 4. Suppose 38 = -v*u + 6*u. Does 14 divide u?
False
Suppose 2*c - 7*c + 50 = 0. Let s = c - 6. Suppose -s*g = -140 + 28. Is 28 a factor of g?
True
Let c = 571 - 167. Is 17 a factor of (1 - c/(-4))/((-3)/(-4))?
True
Let m = -3 - -67. Suppose j = m - 22. Is j a multiple of 6?
True
Let k(j) = -j**2 + 16*j - 23. Let v(i) = -2*i**2 + 31*i - 45. Let n(b) = 13*k(b) - 6*v(b). Does 8 divide n(18)?
False
Let z(v) = -2*v**3 - 4*v**2 - 9*v - 16. Is z(-4) a multiple of 3?
True
Let x(d) = 3*d**2 - 9*d - 19. Let a(t) = -16*t**2 + 44*t + 94. Let h(j) = -2*a(j) - 11*x(j). Does 6 divide h(12)?
False
Let w(n) = 24*n + 15. Let r be 2/3 + (-26)/(-6). Is w(r) a multiple of 29?
False
Let i be -3 + ((-76)/(-4) - -3). Is (-5 + i)*26/4 a multiple of 13?
True
Let m = 54 - -81. Suppose 4*v - 22 + 6 = 0. Suppose -v*d = y - 103 + 32, -2*y - d = -m. Is y a multiple of 11?
False
Suppose -x - j + 4 = -3*x, -x = -j + 4. Let i be ((-3)/((-9)/(-2)))/((-15)/45). Does 9 divide -36*(i + x + -3)?
True
Let n be -37 + ((-16)/7 - 16/(-56)). Let x = 156 + n. Does 13 divide x?
True
Let k be 2/3*1*6. Suppose 5*d + 2*o = 4*o + 290, -3*o = 3*d - 153. Suppose -8*q + k*q = -d. Is q a multiple of 7?
True
Suppose 0*o + 3*o - 6 = 0. Let n = 36 - 36. Suppose p + 55 = u - n*u, 3*u = o*p + 170. Is u a multiple of 20?
True
Let q(l) = 14*l + 4*l**2 + 10 - 8*l - 5. Is q(-7) a multiple of 15?
False
Let l = 1901 + -781. Is l a multiple of 112?
True
Let u = -2961 - -4158. Does 21 divide u?
True
Is (-136)/6*(-63)/28 a multiple of 9?
False
Suppose 3*k = 7*z - 6*z + 11221, -11225 = -3*k + 5*z. Does 34 divide k?
True
Suppose 0 =