y) = y**3 + 5*y**2 + 3*y - 1. Let s be i(-3). Suppose 4*w + s*k - 144 = 5*k, 0 = -w + 3*k + 21. Is w a multiple of 9?
False
Let l = -12 + -7. Let c = -11 - l. Is 8 a factor of c?
True
Let r(p) = -4*p + 7. Is 20 a factor of r(-4)?
False
Suppose 0 = -5*r - 4*t + 40, 5*r = 3*t + 39 + 36. Is 8 a factor of r?
False
Suppose -4*t - 5*a = -251, -3*t + 7*a = 4*a - 168. Is 20 a factor of t?
False
Let h(v) = -v**3 - 2*v**2 + 4*v + 5. Does 7 divide h(-4)?
True
Suppose q = 5*w - 0*w + 7, q + 1 = -3*w. Let r(k) = -4*k**2 + 9*k**3 + 2*k**2 - 1 + q. Is 8 a factor of r(1)?
True
Suppose -17*z = -18*z + 49. Does 14 divide z?
False
Suppose 8 = -0*d + 4*d. Suppose 3*b - 5*p = 89, 0 = b + 2*b + d*p - 61. Is 4 a factor of b?
False
Let i be -1 + -1 - 69/1. Let f = i + 107. Is f a multiple of 18?
True
Let k(h) be the first derivative of 1 - 7/2*h**2 + 3*h**3 + 4*h - 1/4*h**4. Is 12 a factor of k(8)?
True
Suppose 16*w - 11*w - 600 = 0. Is w a multiple of 24?
True
Let v = 92 - 64. Is v a multiple of 7?
True
Let p(h) = 2*h**2 + 4*h + 1. Let m(i) = i**3 - 8*i**2 + 6*i + 9. Let z be m(7). Is 17 a factor of p(z)?
True
Let o(k) = -6*k - 18. Is 19 a factor of o(-14)?
False
Suppose -k - 3*n = 98, -5*k + 0*n = 3*n + 442. Is 2/6 + k/(-3) a multiple of 17?
False
Let a = 16 - 5. Does 11 divide a?
True
Suppose t + 1042 = 3*a + 3*t, -4*t = -3*a + 1012. Is 43 a factor of a?
True
Suppose -5*g + 78 + 127 = 3*k, 5 = g. Let a = k - 13. Is a a multiple of 20?
False
Let y be (1/3)/(7/1218). Suppose w = -w + y. Does 11 divide w?
False
Let x(m) = -6*m + 3. Let q be x(-6). Let p = -28 + q. Is 11 a factor of p?
True
Let l be 5*-6*8/(-10). Is (-10)/(-4)*l/30 a multiple of 2?
True
Suppose 3*b = -b + 4. Suppose -b = -0*g - g - 2*f, 3*g + 5*f - 8 = 0. Suppose -35 = -2*s - g. Does 5 divide s?
False
Is 6 a factor of -2 + -3 + 5 - -23?
False
Suppose 19 + 43 = 3*r + 5*s, 2*r + s - 46 = 0. Does 12 divide r?
True
Let k(b) = -b**3 + b. Let c be k(1). Suppose -3*o = -4*n + 7 + 1, c = 3*n - 2*o - 7. Is n a multiple of 3?
False
Let k = -25 + 62. Suppose -4*f - 6 = 5*c - k, c + 3*f - 15 = 0. Suppose c*n - 7 = 5. Is 3 a factor of n?
False
Suppose -10*n = -8*n - 18. Let r(m) = m - 1. Is r(n) a multiple of 4?
True
Let o(a) be the first derivative of -a**3/3 + 4*a**2 - a + 8. Is o(4) a multiple of 9?
False
Suppose -4*i = -0*i - 16. Suppose -105 = -3*a - i*x, -2*a - 5*x + 102 = a. Is 8 a factor of a?
False
Is 23 a factor of (-9 - -168)*2/6?
False
Does 17 divide (3 + -19)/(-4) + 98?
True
Let q = 17 - 17. Is 27 + -1 - q/(-1) a multiple of 11?
False
Let a = 264 - 388. Let n = 177 + a. Suppose -4*h = 3*c - n, 0*h - 25 = -5*h. Does 4 divide c?
False
Suppose 3*x = -5*o + 120, -2*x + 71 = -o - 22. Suppose -3*h = -2*a - 2*h - 55, -a + 2*h = 23. Let c = x + a. Is 16 a factor of c?
True
Let g(f) = -f**3 + 4*f**2 - f + 3. Let k(q) = -q**3 + 3*q**2 - q + 4. Let v(i) = 4*g(i) - 3*k(i). Let p be v(7). Let a = p + 17. Is 4 a factor of a?
False
Suppose 0 = 7*i + 139 - 1238. Is i a multiple of 33?
False
Suppose 5*f - 63 = g - 3, 5 = g. Suppose 4*h = -4*a - 0*a - 28, -f = 3*h + a. Let k(b) = b**2 - b - 4. Is k(h) a multiple of 5?
False
Suppose 3*n - 52 = 38. Suppose 3*q + 3 - n = 0. Is q a multiple of 5?
False
Suppose -x = -54 - 23. Let z = x + -41. Does 16 divide z?
False
Suppose -28 - 56 = -4*j. Does 11 divide j?
False
Let r = 23 + -16. Let m = 84 + -14. Suppose 2*p = r*p - m. Is p a multiple of 7?
True
Let a(l) = l**2 - l + 19. Is 18 a factor of a(6)?
False
Let w(a) = -3*a + 7*a - 3 + 3*a - 4*a. Let z be 2 + -2 - (-4 - 1). Does 5 divide w(z)?
False
Let d be (-88)/(-28) - 1/7. Suppose -d*r = -208 + 46. Suppose 2*z = z + r. Is 27 a factor of z?
True
Does 15 divide (361/3)/(2*2/12)?
False
Let b(p) = p**2 + 3*p - 2. Let s be b(-4). Suppose 0 = 4*q - s*q - 10. Suppose 23 = 2*y + q*m, -2*m + 70 = y + 3*y. Is y a multiple of 7?
False
Let p = -47 + 77. Is 13 a factor of p?
False
Suppose -5*x = -5*l + 485, -4*l + 0*x + 387 = -3*x. Let k = -42 + l. Suppose c = -c + k. Does 10 divide c?
False
Let o = 3 - -3. Suppose 2*n - 3*h - 161 = 0, -9 = 4*h + 11. Suppose 2*s = -o*y + 3*y + n, -3*s + 117 = -3*y. Is 19 a factor of s?
True
Suppose 0 = c - w + 5, -c + 20 = -3*c + 4*w. Suppose -5*y + 0*r - 3*r + 297 = c, 2*y - r = 121. Is y a multiple of 20?
True
Let s(j) = -8*j - 3. Let a be 6/9 - (-34)/3. Let p be -4*3*2/a. Does 13 divide s(p)?
True
Suppose -16*k + 245 = -9*k. Does 12 divide k?
False
Let u(s) = s**2 + 10*s + 4. Is u(-11) a multiple of 15?
True
Let j(x) be the third derivative of x**4/24 + 11*x**3/6 - x**2. Suppose 4*o = -o. Does 11 divide j(o)?
True
Suppose -4*p + 8*p = 120. Is p a multiple of 5?
True
Let s be 51/5 - 2/10. Suppose -62 = -4*q - s. Does 13 divide q?
True
Suppose 51*b + 1010 = 56*b. Does 20 divide b?
False
Let j be 1/(-1) + 11 + -10. Suppose 0 = -v - j*v + 17. Is 14 a factor of v?
False
Suppose 393 + 19 = 4*m. Is m a multiple of 15?
False
Let p be (-2)/(-2)*-1*0. Suppose p*z = -z + 24. Suppose 5*h - 121 = z. Is 11 a factor of h?
False
Is 15 a factor of ((-4)/8)/((-2)/536 - 0)?
False
Is (1 + 0)*(159 - -10) a multiple of 5?
False
Is 8 a factor of (-500)/(-6) + 2/(-6)?
False
Suppose -v = -3*f - 5, 0*v + 2*v = -3*f + 1. Suppose 8 = 4*q, 0 = -n - 2*q + q + 6. Suppose h - v = 4*i, -n*h + 0*i = -2*i - 64. Does 9 divide h?
True
Suppose 0 = 4*r + 81 - 317. Suppose -r = -3*i + 25. Does 23 divide i?
False
Does 17 divide 3563/35 - (-4)/(-5)?
False
Let l = 19 - 18. Suppose 3*x - 31 = 20. Let f = l + x. Does 9 divide f?
True
Let w(s) = s**2 - 2*s - 7. Let g(q) = -q**2 + 5*q + 1. Let u be g(6). Does 11 divide w(u)?
False
Let k(a) = -42*a**3 + 4*a**2 - a - 2. Let s(y) = -125*y**3 + 13*y**2 - 3*y - 7. Let o(c) = -7*k(c) + 2*s(c). Let q be o(1). Let w = -23 + q. Does 10 divide w?
True
Let d(m) = m**2 - 17*m - 25. Does 23 divide d(-11)?
False
Suppose 4*g + 26 - 266 = 0. Is 15 a factor of g?
True
Suppose -3*t - 2*t = -130. Does 4 divide t?
False
Suppose 0 = u - 17 + 2. Is u a multiple of 7?
False
Let p = 132 - 87. Is p a multiple of 9?
True
Suppose 7*n - 836 - 809 = 0. Is n a multiple of 18?
False
Suppose 4*c + c - 145 = 0. Let u = c - 16. Is u even?
False
Suppose 10*f - 380 = 6*f. Does 19 divide f?
True
Let j(r) = r**3 + 6*r**2 + 4*r + 5. Let n be 3/4 - (-19)/(-4). Is j(n) a multiple of 7?
True
Let u(x) = 5*x - 17. Let g(p) = 2*p - 6. Let b(v) = -8*g(v) + 3*u(v). Let o be b(-6). Suppose 1 - 40 = -o*h. Does 5 divide h?
False
Let r(g) = 2*g + 3*g - 6*g + 9 - 3. Is r(-6) a multiple of 10?
False
Let h(p) = p**3 - 6*p**2 - 9*p - 5. Does 17 divide h(8)?
True
Let c(d) = -2*d - 9. Suppose 3 = -0*v - 3*v, -4*v = 2*w + 6. Let y be (1/2)/(w/18). Is c(y) a multiple of 6?
False
Does 20 divide 4/(7/(-30)*9/(-63))?
True
Let j(w) = 6*w**3 + 2*w - 1. Let t be j(1). Let v = t - 5. Does 7 divide 22 + -2*1/v?
True
Let z = 3 - -19. Is z a multiple of 11?
True
Let v(y) = y - 6. Let r be v(8). Suppose r*w - 70 = -6. Suppose 0 = -m + 3*m - w. Does 8 divide m?
True
Is (30/(4 - 1))/((-6)/(-12)) a multiple of 5?
True
Let o be 9/6 + 14/(-4). Is 3 a factor of o + 2 + (4 - 0)?
False
Let z(r) = -8*r + 0*r - 2 + 1 + 5*r. Is 7 a factor of z(-5)?
True
Let j(c) = 33*c - 27. Does 35 divide j(8)?
False
Let c = -7 - -31. Suppose -r = r - c. Does 5 divide r?
False
Suppose -3*g + 87 = 2*t, 0*t + 3*g = 4*t - 129. Is t a multiple of 4?
True
Suppose -2*d + 60 = 4*h, 5*d - 10 = -30. Is h a multiple of 4?
False
Suppose 3*x - 117 = 2*y, 0 = -5*x - 4*y + 3 + 192. Is 13 a factor of x?
True
Let i = 5 + -5. Suppose 0 = 3*o, i*o = -5*t + 2*o + 285. Is 29 a factor of t?
False
Let m be (-1 + 0)/(1/(-2)). Suppose 19 = -u - d, d = -m*d - 6. Let j = -7 - u. Is 5 a factor of j?
True
Let w(s) be the first derivative of s**5/120 + s**4/12 + 2*s**3/3 + 2. Let o(j) be the third derivative of w(j). Is o(5) a multiple of 6?
False
Let p = 14 - 27. Let m = p - -18. Does 5 divide m?
True
Suppose -920 = 4*h - 9*h. Is h/10 - (-8)/(-20) a multiple of 14?
False
Let b = -13 + 20. Let r = -8 + b. Is 44 + (r - (-2 - 1)) a multiple of 23?
True
Let z = 17 - 9. Suppose -2*n + z = -0*n. Suppose -n*h = -6*h + 18. Is 9 a factor of h?
True
Let a(g) = -g**3 - 3*g**2 - 6. Let q be a(-6). Let t = 70 - 111. Let j = t + q. Is 16 a factor of j?
False
Is 12 a factor of (15/(-3) + 1)*(-105)/10?
False
Let k(t) = 4*t**2 + 4*