q). Does 8 divide h(-6)?
False
Let u(s) = -s + 9. Let q be u(7). Suppose z = -q*w + 14, -3*z + 3*w + 26 = 2. Suppose -5*a = -z*a + 25. Is 3 a factor of a?
False
Suppose 0 = 3*o - 2*j - 4, o + j = -2*j - 17. Let i(s) = -21*s + 3. Is 18 a factor of i(o)?
False
Suppose -10*g + 330 = -4*g. Is g a multiple of 28?
False
Suppose -7*y + 5*v = -2*y - 430, 5*v - 480 = -5*y. Is 13 a factor of y?
True
Let q(g) = -g + 5. Let h be q(-8). Suppose h + 27 = z. Let u = z + -26. Is 7 a factor of u?
True
Let t = 8 + 18. Does 9 divide t?
False
Let a(w) = w**2 - 2*w + 1. Let n be a(1). Let m be (n + -9)*(-6)/9. Is 3/(m/32) + -2 a multiple of 7?
True
Let f(v) be the second derivative of v**4/6 - v**3/3 + v**2 - 5*v. Suppose 2*s = -2*g - 12, -2*g - 1 = -3*s - 4. Does 13 divide f(s)?
True
Let t(s) = s**3 + 8*s**2 + 8*s + 10. Let p be t(-7). Suppose -2*i = a, 0 = -3*i - a - p*a - 10. Suppose x = -i*x + 45. Is 5 a factor of x?
True
Let h(c) = c**3 + 8*c**2 + 5*c + 7. Let a = 15 - 22. Let g be h(a). Suppose 0 = t - 60 + g. Does 19 divide t?
False
Suppose 4*l = 2*l - 4*z + 40, 5*l + 3*z = 79. Let s be (1 - -5)*l/21. Is 15 a factor of (-4)/s - (-14 + -2)?
True
Suppose 2*z = z + 29. Does 20 divide z?
False
Let a(d) = -3*d**3 - d**3 - 2 + d**2 + 3 + 2*d - d. Is 5 a factor of a(-1)?
True
Suppose 16 - 246 = -5*w. Is 29 a factor of w?
False
Does 3 divide (6 + -10)/((-2)/52)?
False
Let h be 2*1 + -2 + 2. Let c(g) = -2*g**h + 0*g - 4 + g**2 - 8*g. Is c(-4) a multiple of 6?
True
Let y(p) = -84*p**3 + 1. Is y(-1) a multiple of 12?
False
Suppose -8 = -5*w - f, 2*w - 5*w + 5*f + 16 = 0. Let h = w + 5. Let q(r) = r**2 - 5*r - 2. Is 4 a factor of q(h)?
True
Suppose -4*x + 3*x - 3*u = -33, -2*u = -3*x + 154. Let z = -20 + x. Does 16 divide z?
False
Let h = 11 + -8. Suppose h*r - 36 = -0*r. Is 12 a factor of r?
True
Let t be 0 - (29/(-1) + -2). Suppose l = 4*f - l + 42, 0 = -2*f - l - t. Is 9/(-4)*(f + 1) a multiple of 18?
False
Let t(l) = 2*l - 7. Let m be t(6). Let q = -6 + 15. Suppose m + q = a. Is 10 a factor of a?
False
Let n(y) = -y**2 + y. Let g(m) = m**2 - m - 1. Let u(l) = -5*g(l) - 4*n(l). Let h be u(-5). Let a = h + 50. Does 12 divide a?
False
Let w = 354 - 166. Suppose 4*l + 0*l = w. Is l a multiple of 12?
False
Let t = -23 + 38. Is -1 - t/((-3)/3) a multiple of 14?
True
Let x(n) = -14*n - 1. Let v(t) = -8*t**2 + 1. Let z be v(1). Let o = z + 6. Is x(o) a multiple of 6?
False
Suppose -3 = 3*w + 4*a - 16, 2*w - 1 = 5*a. Suppose -3*f = -v - 12, 3*f = 4*v + 18 + w. Let s = v + 6. Is s a multiple of 2?
False
Let l = -9 - -10. Let b = l - -1. Suppose 26 = 5*r - b*r - 5*m, 2 = -2*m. Is 7 a factor of r?
True
Suppose -2*n + v = 2*v + 69, -5*v = 4*n + 141. Let j = n + 58. Does 8 divide j?
True
Let o = 37 - 26. Is o a multiple of 9?
False
Suppose -t + 2*t - 4*j - 12 = 0, 4*t + 3*j - 10 = 0. Suppose t*m = -p + 2, -2*m - 3*p = -0*m + 4. Suppose -u = -31 - m. Is 16 a factor of u?
True
Let n be 3 - 2 - 32/(-4). Let j = 18 - n. Is j a multiple of 5?
False
Let x = -21 + 32. Let g(z) = z - 10. Let k be g(x). Let r(q) = 12*q**2 - q. Does 11 divide r(k)?
True
Suppose -120 = -4*o - o. Is o a multiple of 24?
True
Let n be (1 - (-22)/(-10))*-5. Let y = 3 - 2. Let u = y + n. Is u a multiple of 3?
False
Let b(c) = -c**3 + 8*c**2 - 5*c - 2. Suppose 2*o - 17 = -3. Is b(o) a multiple of 4?
True
Suppose 2*n + 5*o - 34 = 4*n, n + 4*o = -4. Let u = n - -19. Is u even?
False
Let n(s) = 4*s**2 - s + 2. Does 5 divide n(1)?
True
Does 2 divide ((-4)/(-12))/(6/360)?
True
Let p(a) = 2*a**2 - 2*a + 6. Let o be p(-3). Suppose -2 + o = y. Is y a multiple of 14?
True
Let m be 1/2 + 3/(-6). Let w = 12 - m. Is w a multiple of 6?
True
Suppose -2*f + 3*f - 20 = 0. Suppose -f = 5*w, -3*g = g + 2*w - 48. Does 6 divide g?
False
Suppose 0 = -4*m + 293 - 89. Is m a multiple of 11?
False
Let k(v) = 12*v + 2. Let s be k(-2). Let g = s - -46. Is g a multiple of 12?
True
Let s(w) = 4*w**2 + w**2 + 3*w - 4*w. Let z be s(1). Suppose 4*f - z*l - 117 = l, -4*f + 4*l + 112 = 0. Is 23 a factor of f?
True
Suppose -305 = -6*u + u. Let z = -34 + u. Does 10 divide z?
False
Let h = 10 + 4. Let y(s) = 3 + 11*s**2 - 2 + h*s**2 - 9*s**2 + 3*s. Is y(-2) a multiple of 24?
False
Suppose 0 = -5*m + 10, -m + 20 + 2 = -4*q. Does 18 divide (-3)/q - 197/(-5)?
False
Let v(o) = o**2 - 2*o - 3. Is v(-6) a multiple of 24?
False
Let h = 19 + -14. Let q = 41 + h. Is q a multiple of 23?
True
Suppose -3*p - 13*f + 8*f + 45 = 0, 0 = 2*p - f - 17. Is p a multiple of 4?
False
Suppose -3*p - 12 = -3. Does 11 divide 2*(-34)/(-4) + p?
False
Suppose -4*v + 32 = 3*t - 40, 5*v - 4*t - 90 = 0. Is v a multiple of 9?
True
Suppose -4*f = -4*q + 10 - 54, -4*f - 16 = 2*q. Let i = 8 + q. Is (4/i)/(-1) + 6 a multiple of 8?
True
Let b be 74*2/(-8)*-4. Suppose 25 - b = -7*p. Is 2 a factor of p?
False
Let r be 1/(735/(-246) + 3). Let p = r - 16. Suppose -13 + p = 3*a + k, 0 = 5*a - 2*k - 92. Does 18 divide a?
True
Let v(t) = t**2 + 6*t. Let k be v(-6). Suppose p = -4*o - o - 9, 4*p + 2*o = k. Suppose -l - 3*y = -7, l = -5*y - 0 + p. Is l a multiple of 13?
False
Let d be 12*(15/12 - 1). Suppose 0 = d*c - 63 + 15. Does 4 divide c?
True
Let d(g) = 8*g - 11. Does 24 divide d(11)?
False
Let f(u) = -u**3 + 11*u**2 + 15*u + 16. Is 15 a factor of f(12)?
False
Let l be 2/(2 + 84/(-39)). Let r = l - -19. Does 2 divide r?
True
Let f(i) = -i**2 - i. Let u(n) = 36*n**2 + 5*n + 1. Let t(p) = 5*f(p) + u(p). Suppose 0 = 6*b - b + 5. Is 16 a factor of t(b)?
True
Suppose 5*i - 8 + 3 = 0. Is 9 a factor of -2 + i - (-12 + 2)?
True
Let f be 3/(-9)*(-8 - 4). Suppose 163 = f*x + m, -55 = -x - 6*m + m. Is x a multiple of 11?
False
Suppose -276 = -7*w + 3*w. Is 23 a factor of w?
True
Suppose -5*b + 3*d + 127 + 113 = 0, 2*b - 115 = 5*d. Suppose 0 = -0*u - u - 19. Let q = u + b. Is 13 a factor of q?
True
Suppose 2*i + 3*i + 20 = 0. Is i/14 + (-426)/(-21) a multiple of 5?
True
Let c(x) = -x**2 - x. Let i(y) = 12*y - 4. Let v(o) = c(o) - i(o). Let f(a) = -a**2 - 12*a + 5. Let p(q) = 4*f(q) - 3*v(q). Is 9 a factor of p(-7)?
False
Let f(l) = 5*l + 146. Is 13 a factor of f(0)?
False
Let m(f) = 248*f**2 - f. Is 13 a factor of m(1)?
True
Let g(d) = 26*d**2 + 5*d - 6. Is 46 a factor of g(-3)?
False
Suppose 3*a = -4*i + 256, 2*a - 5*i + 9*i - 172 = 0. Is 11 a factor of a?
False
Does 12 divide (-163)/(-4) - (-2)/8?
False
Suppose 5*t - 2*q - 16 = 0, 2*q + 0*q = 3*t - 8. Let j(c) = c**3 - 3 - 2*c**2 + 7 - 2*c - c**2. Is 6 a factor of j(t)?
True
Let n = 98 - 53. Suppose -s - 5 = -n. Is 16 a factor of s?
False
Suppose -2*q = -2*t - 76, -30 = -q - 2*t + t. Does 13 divide q?
False
Let n(s) = -29*s - 3. Is n(-1) a multiple of 26?
True
Is (-3)/(3 - (-210)/(-68)) a multiple of 9?
False
Let b(q) = -q - 7. Let o be b(-9). Suppose o*r + 49 = r. Is 22 a factor of (-30)/24*(r + 1)?
False
Let p = 99 - 74. Does 8 divide p?
False
Suppose -b = -4*z + 17, -z = -5*b + b + 7. Suppose -y + 17 - 5 = 4*m, 0 = 4*y + b*m - 35. Does 3 divide y?
False
Let y = -22 + 61. Does 4 divide y?
False
Suppose 52 = 2*l - 18. Is 24 a factor of l?
False
Let n(h) = -18*h - 1. Let d be n(2). Let p = 132 - 78. Let v = d + p. Is 7 a factor of v?
False
Let x = -1 + 0. Let q(f) = 29*f**2 - f. Is 17 a factor of q(x)?
False
Does 23 divide (-28)/(-182) - ((-1712)/26 + -2)?
False
Suppose 2 = 5*t - 3. Suppose -2*w = -t - 1. Is (w - 1) + 1 + 33 a multiple of 19?
False
Let c(s) = -s**3 + 4*s**2 - s + 1. Let m be 14/8 - (-5)/20. Is 7 a factor of c(m)?
True
Suppose -4*y - 408 = -10*y. Is y a multiple of 34?
True
Let l = 2 - -2. Suppose -2*i - 218 = -4*k, -l*i + 158 = -k + 4*k. Is k a multiple of 27?
True
Suppose 5*w = -m + 132, 660 = 8*m - 3*m + 2*w. Is 16 a factor of m?
False
Suppose -2*k - 5*u = -73, -5*k + 18 + 154 = 2*u. Let b = k + -18. Is b a multiple of 8?
True
Let z = 6 - 3. Suppose t + z*t - 20 = 0. Does 5 divide t?
True
Let t = 67 + -33. Does 2 divide t?
True
Suppose 0 = -2*x - 4*x + 90. Is 7 a factor of x?
False
Suppose k = -c + 6*k - 22, -27 = 3*c - 2*k. Let p(l) = 1 - 2*l**2 - 3*l**2 + 7 - l**3 + 9*l. Is 17 a factor of p(c)?
False
Let k(z) = -z**2 + 6*z - 3. Let w be k(5). Suppose 3*o - 3 = -q + 6, 0 = 4*o - q - 19. Suppose -o*a + 5*a = -w*s + 22, 0 = 4*a + s - 116. Is 15 a factor of a?
True
Let i(y) = y**3 - 9*y**2 + 5*y + 3. Let o(u) = 2*u**3 - 17*u