y - 144 = -b*y - 3*v. Does 10 divide y?
True
Suppose 0 = 6*f - 10*f - 32. Does 8 divide (-4)/(f/2)*19?
False
Let a(p) = p**2. Let y(q) = 5*q**2 + 6*q - 1. Let l(x) = -4*a(x) + y(x). Let r = 81 + -89. Does 8 divide l(r)?
False
Let a = -1 - -5. Suppose 6 = -5*h - a. Does 9 divide h + 4/((-12)/(-33))?
True
Suppose 4*k = 3*s + 58, -5*s = -s - 8. Is k even?
True
Let r(w) be the second derivative of w**4/12 + 27*w**2/2 - w. Let p be r(0). Suppose -5*g = 2*u - 18, -2*u + p = u - 3*g. Is 9 a factor of u?
True
Suppose -s - 3 = 3*c - 8, 2*c = 4*s - 20. Does 2 divide s?
False
Let u be 1 + (-1)/((-1)/1). Let f(k) be the third derivative of k**6/30 + k**5/30 - k**4/8 + 2*k**2. Is 17 a factor of f(u)?
True
Suppose -14*g + 302 + 622 = 0. Is 22 a factor of g?
True
Let x(y) be the third derivative of 17*y**4/12 + y**3/6 + 3*y**2. Is 19 a factor of x(1)?
False
Suppose -q + 202 = 3*a, 2*a + q - 268 = -2*a. Is 22 a factor of a?
True
Let y(n) = 4*n**3 - 7*n**2 + 4*n + 8. Is 42 a factor of y(4)?
True
Let n = 30 - 10. Suppose 3*g + 1 = -4*u + n, 3*u - 17 = -5*g. Let l(k) = 20*k. Does 10 divide l(g)?
True
Suppose -2*z + 294 = 4*d, 4*z - z = 9. Is d a multiple of 8?
True
Let v(g) = 5*g**2 + 2*g + 32. Does 43 divide v(9)?
False
Suppose 5*b - b = 0. Suppose 3*d - 69 - 78 = b. Does 13 divide d?
False
Let d be 3*(-3)/(-9)*-62. Let r be (-2)/(-8) - d/8. Is (22/r)/((-1)/(-4)) a multiple of 8?
False
Suppose -5*a = h - 6*h + 235, 100 = 2*h + 4*a. Is h a multiple of 8?
True
Let s be ((-33)/22)/((-3)/8). Let f = 8 + s. Does 6 divide f?
True
Is (-15)/2*10/(-3) a multiple of 5?
True
Suppose -m - 2*d - 12 = -3*m, d = -3*m + 2. Suppose 5*n - 4*w + m*w = 69, 0 = 2*n + 2*w - 36. Is 15 a factor of n?
True
Suppose 11 = 3*q + 5*j, -3*q + 4*j + 2 = -0*j. Suppose -3*r - y = 7, 20 = -q*r - 2*r + 4*y. Is (8 + r)*138/10 a multiple of 24?
False
Let f = -12 + 12. Suppose 4*o + 2*a - 166 = -f*o, 3*a - 9 = 0. Does 20 divide o?
True
Does 3 divide (-66)/(-4) + 10/(-20)?
False
Suppose 4*y - 5*y = -42. Does 21 divide y?
True
Let g(w) = w**2 - 2*w - 7. Let y = 1 + -7. Let j be (-28)/(-5) + y/(-15). Is g(j) a multiple of 17?
True
Let u be (2 - 0/(-1))*3. Let h be (-8)/u*9/2. Does 6 divide 29/2 + (-3)/h?
False
Suppose -3*z = -8*z + 60. Is 6 a factor of z?
True
Suppose -3*t = 2*t - 5*y + 25, 3*t = 4*y - 10. Let b be (-216)/t - 10/(-25). Does 10 divide -2 - (b*-2)/2?
True
Let p(x) be the second derivative of 5*x**3/3 - 4*x**2 - 2*x. Is 23 a factor of p(4)?
False
Let l = -89 + 128. Suppose l = 7*n - 45. Is 6 a factor of n?
True
Suppose 3*f + 5*q = 177, 76 = f - q - 3*q. Does 29 divide f?
False
Let y = 192 + -103. Is y a multiple of 30?
False
Let o(x) = -x**3 - 2*x**2 - 3*x + 1. Does 15 divide o(-4)?
True
Let d(m) = 7*m**3 + 15*m**2 + 2*m + 10. Let b(k) = 3*k**3 + 8*k**2 + k + 5. Let u(i) = -5*b(i) + 2*d(i). Is 4 a factor of u(-10)?
False
Let k = -3 + 6. Suppose -2*f - 5 = 3*p - 48, 0 = -5*f - k*p + 103. Is 11 a factor of f?
False
Suppose -4*z - z + 150 = 0. Is z a multiple of 4?
False
Let n be ((-6)/4)/((-4)/(-88)). Let k = 48 + n. Does 14 divide k?
False
Let g = -181 + 266. Is 17 a factor of g?
True
Suppose 6*f + 5 = 11*f. Suppose -2*a = -4*v - 56, -7 = -2*v + f. Is 16 a factor of a?
False
Let z(j) = 8*j. Suppose 2*k = -2*k - r + 16, 0 = 2*k + 4*r - 8. Is z(k) a multiple of 16?
True
Let i(h) = -h**3 - 2*h**2 - h + 1. Let q = 7 + -12. Let c be i(q). Suppose -3*a + c = -9. Is 16 a factor of a?
False
Let k = 105 + -73. Does 13 divide k?
False
Suppose 3*d = 5*s - 6, 5*d + 3*s + 9 = -1. Let f be d/(-4)*6 + -2. Is f*25 + -2 + 1 a multiple of 12?
True
Suppose 6*v = 373 - 103. Is (-1246)/(-18) - 10/v a multiple of 23?
True
Let o(s) = s**3 + 3*s**2 - 3*s + 1. Suppose -n + 3*v = n, 9 = 5*n - 3*v. Let i be o(n). Is 20 a factor of -2 + 6 + -2 + i?
False
Let i(c) = c**2 + 8*c - 5. Let j be 0 + (-2)/((-4)/(-18)). Let b be i(j). Suppose -3*u + 12 = u + b*w, 4*w = -8. Is 5 a factor of u?
True
Suppose 5*u = 3*u + 4. Suppose f + 8 = u*f. Suppose -2*z - i = -66, 3*z - 5*i = f*z - 170. Is z a multiple of 16?
True
Let z(k) = -4*k - 1. Let f be z(-1). Suppose -3*u - 48 = -0*i - f*i, -u + 12 = i. Is 9 a factor of (-6)/(-21) + 206/i?
False
Let z(f) = -f**2 + 7*f + 1. Let j be z(6). Suppose -2*l - 150 = -j*l. Is 10 a factor of l?
True
Suppose -3*y + g + 13 = 0, -2*g = -5*y + 3*y + 14. Suppose 5*x = -5*s + 220, y*x + x - 186 = s. Is x a multiple of 14?
False
Let x(b) = -b**2 + b**2 - b**3 + 5*b - 3*b**2 + 3 - b**3. Is 5 a factor of x(-3)?
True
Let c(v) = -v**3 + 12*v**2 - 10*v - 8. Let p be c(11). Suppose -104 = -2*n + 4*q, -4*q = -2*n + p*n - 64. Is 14 a factor of n?
True
Suppose 0 = 3*s + 5*z + 83, z - 46 = s - 5. Let i = s + -65. Let q = i - -141. Is q a multiple of 20?
True
Let z(p) = -p. Let k(m) = -m**2 + 5*m - 3. Let g(w) = -k(w) - 2*z(w). Let l be g(5). Suppose -2*t + l = -9. Does 5 divide t?
False
Suppose -8*k + 983 = -1089. Is 9 a factor of k?
False
Let z(y) = 17*y**2 - 1 + 1 + 7*y**2. Let f be z(-1). Suppose -3*h + 5*u + 66 + 28 = 0, -h - 2*u = -f. Is h a multiple of 13?
False
Suppose -4*f - 5*v = -198 - 44, 2*v = 4. Is 16 a factor of f?
False
Let c(o) = 5*o + 7. Let f be -9*(6/9 + -2). Let v = 19 - f. Is c(v) a multiple of 14?
True
Let f be -12 - (0/(-4))/(-2). Does 3 divide (2 - f/(-8))*20?
False
Let o be 3*1 + (-20)/(-10). Suppose 0*i - o*i = -135. Is 9 a factor of i?
True
Let w(b) = -2*b + 43. Does 31 divide w(-25)?
True
Let b(i) = i**3 - 5*i**2 + 6*i - 3. Let o be b(4). Suppose -89 = -2*w + 5*c - 19, -o*c = 20. Does 13 divide w?
False
Let y = 9 - -52. Does 17 divide y?
False
Is (2 - -11) + 9/3 a multiple of 6?
False
Suppose 0 = k - 3*p - 8 - 4, -3 = -2*k - p. Suppose k*z = z + 8. Suppose -z*w - 2*r = -52, 4*w - 2*w + 2*r - 26 = 0. Is 7 a factor of w?
False
Let b(w) = 7*w - 3. Let y be b(4). Is 24 a factor of 1/5 + 1545/y?
False
Let w(a) = a**3 - a**2 + a - 1. Let k be w(2). Suppose 0 = -10*m + k*m + 70. Is m a multiple of 14?
True
Let a = 1082 + -570. Is 15 a factor of a?
False
Let w = -248 - -363. Does 12 divide w?
False
Let v(q) = -11*q**2 + 0 + 7*q + 1 + 12*q**2. Let i be v(-5). Is 10 a factor of (-2)/i - (-176)/18?
True
Suppose o = -2*o + 360. Is o a multiple of 16?
False
Does 6 divide 3/(1*15/400)?
False
Let d = -31 + 61. Is d a multiple of 5?
True
Let z = 2 - 2. Suppose h + 2*v - 41 = z, -4*h - v - v + 182 = 0. Let r = 96 - h. Does 17 divide r?
False
Let l(o) = 28*o - 82. Is l(9) a multiple of 11?
False
Suppose -4*g - 4*m = -4, 7*m - 3*m + 11 = -g. Suppose 2 = -g*a - 18. Is (a/1)/((-6)/51) a multiple of 10?
False
Does 38 divide (-91 + (7 - 2))*2/(-4)?
False
Suppose 2*q - 4*q + 170 = 0. Does 5 divide q?
True
Does 23 divide -4*76/(-8) + 4?
False
Let p be 1 + 3/(-6)*2. Let y be 1 + p + 269 + 2. Does 8 divide 2/7 + y/28?
False
Suppose 5*v - v - 28 = 0. Let f = 55 - v. Is f a multiple of 7?
False
Suppose -4*i - 4 = -0, 345 = 3*v - 3*i. Does 28 divide v?
False
Suppose 5*m - 2*n - n - 110 = 0, 0 = -4*m + 5*n + 101. Does 7 divide m?
False
Suppose 7 = 4*v - 5, 0 = 3*p - 5*v + 6. Suppose -7 = -2*q - 4*m + 13, -q = p*m - 6. Is 9 a factor of q?
True
Let s be (2 + -4)/1 - -7. Suppose 5*d + 2*o = -10 + 28, -3*d - 14 = -s*o. Suppose -d*t + 3*a + 8 = 7*a, 0 = 3*a + 15. Is 8 a factor of t?
False
Let n be (5/(-1)*1)/(-1). Suppose -4*x = -3*g + x + 74, 2*g - n*x = 56. Is g a multiple of 9?
True
Suppose 0 = -y + 4*y - 285. Let q = y - 41. Does 18 divide q?
True
Is 10/45 - (-3578)/18 a multiple of 10?
False
Let f = -125 - -52. Let g = -49 - f. Is 12 a factor of g?
True
Is 20 a factor of 2/(-11) + 31712/176?
True
Suppose -1 = 3*n - 2*m - 14, -4*m = -16. Is n a multiple of 2?
False
Is 12 a factor of -1 + 78/2 + -2?
True
Suppose -3*x + 15 = b + 2*b, -b + 11 = 2*x. Does 2 divide x?
True
Let t(j) = -13*j**3 + 2*j**2 - 2*j + 1. Let k be t(1). Is 4 a factor of -7 + 5 - k/2?
True
Let w(b) = 16*b - 3. Is 2 a factor of w(1)?
False
Let w = 75 - 24. Is 33 a factor of w?
False
Does 9 divide (-9 + 2 + -2)*(-3 - 8)?
True
Let p be (-3780)/(-99) + 4/(-22). Let a = p - 2. Is a a multiple of 18?
True
Let k(v) = 2*v**2 - 5*v + 4. Let p(y) be the third derivative of y**5/60 + y**4/8 + 2*y**2. Let h be p(-4). Is k(h) a multiple of 6?
False
Suppose 0 = -2*s + 2, -2*p + s = 4*s + 21. Suppose 2*o - 4*o - 558 = 0. Does 14 divide 3/(-12) + o/p?
False