pose -18 = -5*z + 3*d - 4, 0 = -z - 2*d + 8. Suppose -6*m + 252 = -2*m. Suppose -m = -z*y + y. Is y a multiple of 8?
False
Let z be (-1 - (-4 - -2))*-1. Let u be (-2 - z)/((-3)/6). Suppose -2*y + u*h + 82 = 0, 0 = 5*y + 2*h - 0*h - 198. Does 20 divide y?
True
Suppose -d = a + 2*d - 42, -5*a = 4*d - 243. Is 3 a factor of a?
True
Suppose 4*d + 20 = 5*r, 5*d + 2*r = r + 4. Suppose 0 = -d*n + 3*n - 27. Suppose 4*f - 87 - n = 0. Does 8 divide f?
True
Let m = -3 - -9. Suppose -45 = -m*u + u. Is u a multiple of 4?
False
Let k be ((-5)/(-10))/((-2)/(-24)). Let g be 4/k + (-104)/3. Let y = 55 + g. Does 15 divide y?
False
Suppose -i = -6*i + 15. Suppose 51 = -0*x + i*x. Is 17 a factor of x?
True
Suppose -5*w - 5*d + 300 = 0, 446 = 4*w - 5*d + 170. Is 12 a factor of w?
False
Let o(t) be the second derivative of t**5/20 - t**4/6 + t**3/3 + t**2/2 + t. Let p be o(2). Suppose -3*l + 19 = p*r, -5*r = l - 10*r + 7. Is l a multiple of 2?
False
Let k(g) = -11*g**2 - g. Let m be k(3). Let w = -55 - m. Is 12 a factor of w?
False
Let s = 7 + -5. Suppose -3*t = -s*h + 7*h - 6, -2*t = -h + 9. Let b(d) = 12*d - 2. Does 17 divide b(h)?
True
Let x = 7 + -4. Suppose x*k - 20 = -a - 3*a, a + 14 = 4*k. Suppose -l + 18 = -3*v, 0 = a*l - l + 5*v - 2. Is l a multiple of 7?
False
Suppose -4*m = -0*m - 16. Let h = -4 + m. Suppose n = -h*n + 3, -t + 22 = -n. Is t a multiple of 9?
False
Let h(d) = 16*d - 8. Is 18 a factor of h(5)?
True
Suppose 25 = m - v - 16, 2*m = -3*v + 97. Suppose 4*h + 0*h = m. Is h a multiple of 4?
False
Suppose 0 = 5*o - h - 33 - 39, -2*o - 4*h + 42 = 0. Let x(s) = s**3 + 7*s**2 + 8*s + 9. Let g be x(-4). Let a = g - o. Is a a multiple of 8?
False
Let v be 5 + (-4 - (-2 + 1)). Suppose -g - w = -7, 0 = g - 2*g + v*w + 1. Suppose -g*a = 2*q - 85, -4*q = -4*a + q + 68. Is 6 a factor of a?
False
Let y(p) = p. Let g be y(3). Suppose 0 = -b - g*x - 21, 2*b - 2*x = 5*b + 77. Let d = b - -48. Is 7 a factor of d?
True
Suppose 5*v + 4*u = 372, -5*u - 234 = -3*v - 2*u. Suppose -2*g - v = -12. Is 15 a factor of g/12*81/(-4)?
False
Let z(y) = -y**2 - 4*y - 6. Let h be z(-4). Let u(g) = g**2 + 5*g + 5. Is u(h) a multiple of 9?
False
Suppose 7*k - 46 = 3*k + 3*q, k + 4*q - 2 = 0. Is 4 a factor of k?
False
Suppose 40 + 284 = 4*c. Is c a multiple of 27?
True
Let h be ((-102)/8)/(1/(-4)). Let w be 63/(-7)*3*1. Let v = w + h. Is 12 a factor of v?
True
Let a(k) = 2*k - 3. Let q be a(-3). Is (-232)/q + 10/45 a multiple of 9?
False
Let u = -30 + 35. Suppose -3*n - z = -46, -47 = -u*n + 4*z + 41. Does 4 divide n?
True
Suppose 30 - 10 = 5*m. Is 3 a factor of m?
False
Let b(f) = f**2 - 2*f + 1. Let z be b(3). Suppose 0 = 3*d - z*d + 44. Does 11 divide d?
True
Let g(m) = 39*m**2 - m + 1. Let z be (-3)/(-12) + (-3)/(-4). Does 13 divide g(z)?
True
Let b(k) = -k**2 - 16*k - 11. Does 6 divide b(-6)?
False
Suppose 2 - 6 = -2*o. Does 23 divide o/(-7) - 1910/(-70)?
False
Suppose -3*z - z + 4*g = -208, 3*g - 36 = -z. Suppose z = 2*d + 2*d. Is d a multiple of 11?
False
Let x(w) = -w**3 + 2*w**2 - 8*w + 2. Is x(-4) a multiple of 29?
False
Suppose -3*a + 12 = a. Suppose 4*d - 229 = a*b, b + 1 = -2. Is 11 a factor of d?
True
Let y(s) = s - 11. Let u be y(11). Suppose -p = -3 - u. Suppose -5*v = -p*v - 24. Is v a multiple of 12?
True
Let q(y) = y**3 - y**2 + y + 4. Does 5 divide q(3)?
True
Let j(z) = 10*z - 14*z - 3 - 6. Is j(-6) a multiple of 15?
True
Suppose k + 2*q - 118 = 0, -3*k = q - 310 - 59. Is k a multiple of 26?
False
Let z be (2*-1)/(3 - 5). Suppose 3*t = -l - z, -t - 3*t = 0. Let w = l - -5. Is w a multiple of 3?
False
Suppose 0*v - 4*v = -4*r - 264, -2*v + 126 = r. Is v a multiple of 13?
False
Let c(r) = 9*r - 3. Let o be c(3). Let n = o + -11. Suppose 3*w - n = -l, 50 = 5*l + 3*w - 75. Does 14 divide l?
True
Let i(s) = 2*s**2 - 9*s - 11. Is 8 a factor of i(7)?
True
Let n(w) be the third derivative of 13*w**4/24 - w**3/2 + 2*w**2. Is 8 a factor of n(2)?
False
Let t be (115/10)/((-1)/(-2)). Suppose -5*f - k - k = -52, -t = -2*f - 3*k. Is f a multiple of 10?
True
Let b(n) = 13*n**2 - 10*n + 12. Let q(k) = -40*k**2 + 29*k - 37. Let u(y) = -7*b(y) - 2*q(y). Let t be u(8). Does 20 divide 2/(-10) + t/(-15)?
False
Let d(u) = 0 - 5*u + u**3 + 0*u - 2 + 5*u**2. Suppose 9*k = 6*k - 9. Is 17 a factor of d(k)?
False
Suppose 30 = 3*k + 2*k. Suppose c + k = -1. Let i = c + 12. Is i a multiple of 2?
False
Let a(t) = 37*t. Let d be a(7). Suppose 5*c - d + 64 = -5*v, -2*v - 4*c = -72. Does 14 divide v?
True
Let h(z) = z**2 - 2*z + 13. Is 7 a factor of h(4)?
True
Let u(b) be the second derivative of -19*b**3/6 - 2*b**2 - 2*b. Let x be u(5). Let y = -60 - x. Is 13 a factor of y?
True
Suppose -4*n - 15 = n. Let g = 7 + n. Does 3 divide g?
False
Let p = 78 - 30. Is 12 a factor of p?
True
Let g(k) = k**2 + 3*k + 4. Let v be g(3). Let j = -34 + 44. Let m = v - j. Does 6 divide m?
True
Let b(m) = -4*m**3 - m**2 + 1. Let h be b(-1). Suppose -h*o + 185 = -455. Suppose 5*f - o = 90. Is 18 a factor of f?
False
Let l be 0 - (0 - -2) - -6. Suppose -l*k = k. Suppose k = -q, 5*q - 7 + 2 = -z. Is z a multiple of 5?
True
Suppose 74 = 2*r + 5*v, 4*v + 27 + 10 = r. Does 9 divide r?
False
Suppose 0 = 5*w - 0*z + 5*z - 235, -3*w - 5*z = -139. Does 4 divide w?
True
Let y(q) = q**2 - 2*q - 6. Is y(8) a multiple of 14?
True
Let i = 92 + -48. Let u = 97 - i. Is 10 a factor of u?
False
Let m = 24 - 6. Suppose 36 = 2*h - m. Does 14 divide h?
False
Suppose 3*l + 135 = f, -3*f = -3*l + 2*l - 365. Suppose 5*b - b - 5*i = 113, 5*b - f = 2*i. Is b a multiple of 22?
True
Let f = -27 + 53. Let z = f - 11. Is z a multiple of 12?
False
Suppose 2*q - 135 = 131. Is 19 a factor of q?
True
Let s = 1 - 58. Let w = s + 97. Does 16 divide w?
False
Let t be 2 + (-4 - -1)/(-3). Suppose b + v + 0 - 15 = 0, t*v = -4*b + 63. Suppose x - 11 - b = 0. Is x a multiple of 17?
False
Let p(b) be the second derivative of 7*b**6/360 - b**5/40 - b**4/24 - 2*b**3/3 + 3*b. Let h(v) be the second derivative of p(v). Is 10 a factor of h(-2)?
False
Let h(z) = -3*z**2 - z + 3. Let m be h(-5). Let g = -30 - m. Is 10 a factor of g?
False
Let j(p) = -p**3 + 20*p**2 - 18*p + 38. Is j(19) a multiple of 3?
True
Let a be (-18)/(-12)*52/6. Let h = -6 + a. Is h a multiple of 3?
False
Let u be 7 - (-3)/(6/(-4)). Suppose -4*h - 19 = -5*a, -3*a - a - u*h + 48 = 0. Suppose 2*z = -a + 67. Is 13 a factor of z?
False
Let l = 25 + -11. Does 2 divide l?
True
Let g(o) = 29*o - 15. Is g(6) a multiple of 14?
False
Let t = 6 - 3. Let m = 0 + t. Does 10 divide -7*(1 - (m - -1))?
False
Let a be 2/7 - (-120)/21. Suppose -f - 300 = -a*f. Does 17 divide f?
False
Let p(q) = -5*q + 3*q**2 + 3*q + 6*q**2 + 1 + 3*q. Does 9 divide p(-1)?
True
Let y(i) be the first derivative of -i**4/12 - 11*i**3/6 - 5*i**2 + 2*i + 3. Let q(h) be the first derivative of y(h). Is 16 a factor of q(-7)?
False
Suppose 5*f = -0*g + 4*g + 2, g + f - 4 = 0. Let u(v) = v - 4 + v + g*v + 0*v. Is u(5) a multiple of 16?
True
Let m be 1*(-138)/15*-10. Suppose -5*q + m + 78 = 0. Is 17 a factor of q?
True
Let z be (3/(-9))/(1/3). Is (-26)/z + 2 + 0 a multiple of 26?
False
Suppose 2*b + 2 = 4*b. Let t be (-2)/((-9)/6 + b). Suppose -157 + 13 = -t*m. Does 12 divide m?
True
Let o be 28/((-4 + 3)*-1). Suppose 0 = g + g - o. Let n = g + -6. Is n a multiple of 7?
False
Let a(q) = -q**2 + q. Let g be -4*(-2)/((-16)/(-6)). Let j(r) = -6*r**2 + 5*r + 4. Let s(u) = g*a(u) - j(u). Does 22 divide s(-3)?
False
Suppose 27 - 72 = -5*v. Let c be v + -3 + (-2)/(-2). Suppose -2*b - 1 = -c. Is 3 a factor of b?
True
Suppose x - 3*y + 9 = 5*x, -3*x = -5*y - 14. Suppose -5*p - 11 = -4*u, -5*u + 11 = -x*u + 3*p. Let m = u - -18. Is m a multiple of 11?
True
Let i = -12 - -168. Suppose -i = -0*o - 4*o - 3*n, 2*n = 2*o - 92. Is 12 a factor of o?
False
Suppose -3*x - 54 = -417. Is 11 a factor of x?
True
Suppose q = -2*f - 2, 3*q + 15 = f + 2*f. Does 16 divide (q/(-3)*87)/2?
False
Let m(h) = h**3 - 3*h**2 + 4*h + 1. Let n be m(3). Let v = n - 3. Is v a multiple of 10?
True
Suppose j - 5*y = -3*j + 497, -3*j + 367 = 2*y. Is 16 a factor of j?
False
Let v(c) = c**3 + 2*c**2 + 2*c + 3. Let u be v(-2). Let w(d) be the second derivative of -10*d**3/3 - d. Is w(u) a multiple of 10?
True
Suppose 5*u - 14 = -2*q, 2*q + 5*u = q + 12. Suppose -5*o - 80 = -