) = -12 + 2*v + 2*v**2 - 3*v**2 + 13*v. Is i(11) a multiple of 8?
True
Let i = 9 + -4. Suppose 0*b = 5*z + 5*b - 815, -855 = -i*z + 3*b. Suppose -3*o + z = 15. Does 17 divide o?
True
Let q(g) = 3*g**2 - 41*g + 12. Is q(15) a multiple of 8?
True
Let y(a) be the third derivative of 13*a**4/12 + 2*a**3 - 8*a**2. Let c be y(7). Suppose 5*q + 44 = c. Is q a multiple of 10?
True
Let l(b) = 0 + 0 + 3*b**2 - 3 - 4*b. Suppose 34*x = 26*x + 40. Is 9 a factor of l(x)?
False
Let o = 12 - 17. Let b be -3 - -1 - 1 - 651. Is b/(-15) - 2/o a multiple of 25?
False
Let y = 936 + -250. Is y a multiple of 14?
True
Suppose 3*c - c - 24 = 5*b, 0 = -b - 4. Suppose -s + 9 = 16*y - 12*y, 0 = 2*s - 5*y - 5. Suppose -c*r - s*o - 1 = -6, -52 = -4*r + 4*o. Is r a multiple of 6?
False
Suppose 4*w + 5*v - 4229 = 0, -2*w + 12*v = 13*v - 2113. Is 32 a factor of w?
True
Let z(k) = k**3 - 12*k**2 + 3*k - 12. Suppose 0 = -5*v + 2*v + 39. Is 14 a factor of z(v)?
True
Suppose 4*o - c = 2232, 0 = -4*c - c. Does 39 divide o?
False
Suppose -4*a + 3*k + 54 = 0, 0*k = 2*a + k - 22. Suppose -28 = -5*z + a. Is 4 a factor of z?
True
Let f(k) = -2*k**2 - 14*k + 14. Is 7 a factor of f(-5)?
False
Suppose -7 + 19 = 4*w. Suppose -w*m = -4*m + 14. Suppose 0 = -p + m - 6. Is p a multiple of 4?
True
Let h(z) = -3*z - 15. Let o be h(-6). Let x be 145/o - (-5)/(-15). Suppose 0 = -2*r - 2*r + x. Does 3 divide r?
True
Let w(m) be the first derivative of m**3/3 - 9*m**2/2 - 4*m - 17. Is 33 a factor of w(17)?
True
Let i = 3951 + -2775. Suppose -5*n - i = -9*n. Is n a multiple of 49?
True
Suppose -d = 3*y + 3, -d - 12 = 4*y + 3*d. Suppose 5*g + h - 826 = y, -2*g - 168 = -3*g - 3*h. Is g a multiple of 33?
True
Suppose 19*s - 6*s - 29484 = 0. Does 76 divide s?
False
Let i(f) = -f**2 + 3*f + 10. Let u be i(5). Suppose -2*b + 3*c + 92 = -b, u = -4*b - c + 420. Does 26 divide b?
True
Let b(p) = -p + 12. Let x be b(4). Is 5 a factor of 606/14 + x/(-28)?
False
Let i = -1645 + 1687. Is 42 a factor of i?
True
Is (-14)/(-49)*28 + 813 a multiple of 57?
False
Let o(t) be the first derivative of -4 + 14*t + 0*t**2 + 1/3*t**3. Does 14 divide o(0)?
True
Suppose -3*h + 5*i - 4 = -21, 9 = 3*h + 3*i. Let y(n) = 7 - 38*n - 38*n + 2*n**2 + 73*n. Is 9 a factor of y(h)?
True
Let y(z) be the second derivative of z**6/80 - z**5/40 + 3*z**4/4 - 9*z. Let w(r) be the third derivative of y(r). Does 19 divide w(4)?
False
Let i = -4 + 6. Suppose 0*j + 4*j - 2*c - 24 = 0, 5*c - 4 = i*j. Suppose 3*s - 2 - 4 = 0, 4*g - 2*s = j. Does 3 divide g?
True
Let g be (-132)/15 + 16/20. Let c be (1 - g)*(-6)/(-18). Suppose 2 = -c*l + 128. Is 14 a factor of l?
True
Suppose -9*q + 1958 = -3442. Suppose 0 = -49*u + 53*u - q. Does 25 divide u?
True
Let k(b) = -b**2 + 7*b - 6. Let i be k(6). Suppose i = -4*f - 2*p + 34, -f + 0*p + 5*p + 3 = 0. Suppose -3 - f = -t. Is 3 a factor of t?
False
Let h = -159 + 230. Does 21 divide h?
False
Let s be (44/55)/((-4)/(-70)). Let g be (2 + 0)/(s/7). Let c(f) = 117*f**3 - 3*f**2 + 2*f. Is 23 a factor of c(g)?
False
Does 32 divide (-2 + (-45)/(-10))/(3/384)?
True
Suppose -3 = -3*v - y + 4*y, 3*y - 3 = v. Let x be ((-1)/v)/((-5)/60). Suppose -5*j + 2*j - 5*c = -71, 2*j + x*c = 46. Is 7 a factor of j?
False
Suppose 4 + 4 = 2*h. Suppose h*p = -4*q + 28, 4*q + 1 = -p + 17. Suppose -7*n + 216 = -q*n. Is n a multiple of 18?
True
Suppose 80 = -4*d + a - 0*a, 2*d + 58 = 5*a. Let c(b) = 8*b + 212. Let w be c(-26). Let t = w - d. Does 23 divide t?
True
Let p = -11 - -122. Suppose -479 + p = -4*q. Is 23 a factor of q?
True
Suppose -2*f - 3 = -19. Suppose 4 = -7*z + f*z. Suppose -3 = -z*j + 9. Does 2 divide j?
False
Let h(t) = 6*t - 116. Does 3 divide h(22)?
False
Let g(i) = 15*i + 10. Let b be g(-3). Let a = b + 41. Let m = a + 26. Is m a multiple of 16?
True
Suppose 10 = j - 24. Let r(n) = -n**2 + 1. Let y be r(1). Suppose y*z - j = -z. Does 17 divide z?
True
Suppose 0*j = -2*j. Suppose j = 3*m - 6 - 0. Suppose -2*g - m*g = -24. Is g even?
True
Let z(o) = -11*o**2 - 16*o - 2. Let y(n) = -7*n**2 - 11*n - 1. Let w(c) = -8*y(c) + 5*z(c). Let p be w(-9). Suppose -2*g = -p*g + 80. Does 6 divide g?
False
Let j(g) = 3*g**2 - 58*g + 173. Does 9 divide j(22)?
False
Suppose -5*y + 2 = 107. Let w = 12 - y. Suppose -n + 10 = -5*p - 9, 3*n - 3*p - w = 0. Is 5 a factor of n?
False
Let f be -1 + 200/(-4) + -1. Let v = -31 - f. Is v/((45/(-12))/(-5)) a multiple of 17?
False
Let s be ((-405)/(-20))/(2/(-8)). Let m = -55 - s. Is m a multiple of 8?
False
Let v = -285 - -340. Does 28 divide v?
False
Does 18 divide (-4)/(-40) + (-49114)/(-260)?
False
Suppose 2*l - 4*r - 248 = -0*r, 2*l - r - 242 = 0. Suppose 0 = 3*d + g - l, -5*d - 4*g - 27 = -6*d. Is d a multiple of 16?
False
Suppose 46*l - 11*l - 7490 = 0. Is l a multiple of 5?
False
Let z be 60/((-5)/2 + 4). Let l = -23 + z. Does 5 divide l?
False
Suppose 2*y - y + 1 = 0, z + 5*y - 10 = 0. Let t be (-3)/((-3)/(-11)) - 2. Let n = t + z. Does 2 divide n?
True
Suppose -19*h - 10178 = -2*v - 21*h, -5*h = 4*v - 20354. Is 112 a factor of v?
False
Let a be 2*1*(-3 - -100). Suppose 121 = 2*y + p, -4*y = -y - p - a. Is 7 a factor of y?
True
Suppose 3*k = -3*d - 9, 0*d + d + 12 = -4*k. Suppose d = i + 4*i - 340. Let w = i + -27. Is 21 a factor of w?
False
Let u be -540*(13 + -14)/(2 + 0). Suppose 10*i = i + u. Is i a multiple of 3?
True
Suppose -2*t + 52 = -64. Suppose 9*a - t - 671 = 0. Does 9 divide a?
True
Let v(m) = m + 10. Let x be v(-6). Suppose x*z = -z + 815. Let b = z - 113. Is b a multiple of 25?
True
Let s be 2/13 - (-1048)/(-52). Let d = s - -22. Suppose -66 = -2*t + 2*g + d*g, 3*t = -5*g + 66. Is t a multiple of 7?
False
Let c(l) = -l**2 - 11*l + 12. Let v(y) = 2*y**3 + 4*y**2 - y - 3. Let p be v(-3). Let u be 1/(((-8)/p)/(-4)). Is 10 a factor of c(u)?
True
Suppose r = -5*r + 6. Suppose 109 = 4*l + r. Suppose 2*o = 2*f + 3*o - 50, o = -f + l. Does 6 divide f?
False
Suppose -c - 4*f = 8, c + 2*f - 4*f = -26. Is (-1)/((-1)/2*c/(-250)) a multiple of 23?
False
Suppose 0 = -2*a - y + 210 - 12, -3*a + 5*y + 297 = 0. Let c = a + -59. Is c a multiple of 10?
True
Let w(f) = f**3 - 4*f**2 + 3*f + 2. Let l be w(3). Let o = l - -25. Is o a multiple of 20?
False
Let r = 12 + -8. Suppose -4*z + 144 = -r. Does 37 divide z?
True
Suppose -5*i + 1915 = -4*r - 560, r = -2*i + 990. Is i a multiple of 8?
False
Let a(s) be the first derivative of -s**4/4 - 5*s**3/3 + 3*s**2 - 16*s + 12. Is a(-7) a multiple of 10?
True
Let m(o) be the second derivative of o**3/6 + 3*o**2/2 - o. Is m(3) a multiple of 5?
False
Let c = -57 + 57. Suppose 0*o + 3*n = o - 54, -4*o - 2*n + 160 = c. Is 21 a factor of o?
True
Let n = 468 - 330. Let m = n + -78. Is 10 a factor of m?
True
Let f = 7 + -5. Suppose -2*v = -2*j + 12 + f, -j - 3*v - 5 = 0. Suppose 0 = -j*z, 2*g - 5 = -3*z + 3. Does 4 divide g?
True
Suppose 66 = -2*u + 214. Let m = u + -39. Is 9 a factor of m?
False
Suppose 4*g - 7934 = d, g - 5*g = 5*d - 7946. Does 50 divide g?
False
Let c(x) = x - 23. Let o be c(13). Is 10 a factor of o*(48/(-27) - 2/9)?
True
Let v = -27 + 27. Suppose v = p - 7*p + 780. Is p a multiple of 22?
False
Let y be (-42)/(-9)*(-216)/(-28). Suppose y = 2*p + 2*p. Is p a multiple of 3?
True
Let h = -286 - -192. Let j = h - -193. Does 5 divide j?
False
Let l be 80/(-60)*6/(-4). Let j(t) = t**3 + t + 1. Let r(a) = -3*a**3 - a**2 - 3*a - 4. Let n(m) = 4*j(m) + r(m). Is n(l) a multiple of 6?
True
Let k(c) be the third derivative of -c**6/120 - c**5/30 - c**4/4 + c**3/3 + 20*c**2. Suppose -2*r + 0*r = -4, -3*h + 4*r - 23 = 0. Is k(h) a multiple of 24?
False
Let s = 970 + -34. Is 39 a factor of s?
True
Suppose 4*q - 2*q + 112 = 4*n, 112 = 4*n + 4*q. Let t = 5 - 2. Suppose -z = -t*z + n. Is z a multiple of 11?
False
Suppose 0 = 11*r + 4*r + 105. Let s(j) = -14 + 1 + 0*j**2 + 3*j**2 + 3*j. Is 23 a factor of s(r)?
False
Let g(c) = c**3 + 17*c**2 + 12*c - 18. Does 13 divide g(-16)?
False
Suppose -4*j - j = 0. Suppose -5*a - a + 30 = 0. Suppose j = -p + a*p - 352. Is 22 a factor of p?
True
Let u(s) = -s + 1. Let o be u(-3). Suppose 5 = 3*r - o. Is 3 a factor of 4*(r - 6/8)?
True
Suppose j + 4*j = -c + 453, 0 = 5*j - 2*c - 459. Is j a multiple of 7?
True
Let y be ((-48)/40)/((-2)/(-10)). Let x be (0 - y)*5/15. Suppose 43 = b - 3*g, -x*b + g = -6*b + 133. Is 9 