pose -4*n - 4 = -5*x + 8, 3*n - 26 = -5*x. Let o(t) = -2*t - 3. Let p be o(-4). Suppose -n*h + p*h - 51 = 0. Is 13 a factor of h?
False
Let y(f) = -8*f**3 - f**2 - 2*f + 8. Let n(h) = -7*h**3 - h**2 - 2*h + 7. Let l(g) = -7*n(g) + 6*y(g). Does 15 divide l(2)?
True
Suppose -q = -4*h - 53, h = 5*q + 2*h - 202. Suppose -66 = -3*l - 2*v, -5*v + q - 106 = -4*l. Does 20 divide l?
True
Let h = -10 - -10. Suppose -2*v + f = -h*v - 13, 5*v - 32 = 3*f. Is 2 a factor of v?
False
Let i = 169 - 109. Is i a multiple of 20?
True
Let u(y) = 2*y + 9. Let i = 25 - 18. Is 23 a factor of u(i)?
True
Let a(g) = -4*g**2 - g**3 + 8*g**2 + 0*g**2 + g + 4. Does 4 divide a(4)?
True
Let w(y) = y**2 - y + 4. Suppose 3*f = o + 32, f - 2*f - 2*o + 20 = 0. Let h(x) = x**3 - 11*x**2 - 11*x - 8. Let n be h(f). Does 9 divide w(n)?
False
Let v = -128 - -200. Is v a multiple of 23?
False
Suppose 2*c = -2*c. Suppose -2*l + 0*o - 19 = -3*o, 2*l - 2*o + 18 = c. Let v(w) = -2*w - 3. Is 11 a factor of v(l)?
False
Is (292/6)/((-8)/(-12)) a multiple of 6?
False
Suppose 4*p + 0 - 12 = 0. Let c(k) = k**3 - k**2 + 1. Is 12 a factor of c(p)?
False
Suppose -5*n + 202 = -2*h, -4*h = 2*n + 3*n - 226. Is 7 a factor of n?
True
Let b be ((-4)/6)/((-2)/(-3)). Is 17 a factor of b + 21 + (-9)/3?
True
Does 3 divide ((45/12)/(-3))/(4/(-16))?
False
Let y(z) = -9*z + 17. Is 10 a factor of y(-7)?
True
Suppose 0 = 11*w - 588 - 17. Is w a multiple of 8?
False
Suppose -h + 8 = -0*h. Let w(m) = -h - 3*m + 7 - 16. Is w(-12) a multiple of 11?
False
Let w(p) = 14*p**2 + p + 1. Let s be w(-1). Is s/(-2 - 12/(-5)) a multiple of 16?
False
Let s = 4 + -57. Let v = 92 + s. Does 13 divide v?
True
Let n be (-154)/(-5) + 1/5. Suppose 3*x + n = 145. Let d = 53 - x. Is d a multiple of 15?
True
Let w be (0 + 3)/(-3) + 4. Suppose c + 17 = g, 4 = w*c - 11. Suppose -q + 23 + g = 0. Is q a multiple of 15?
True
Let u(z) = -z**2 + z + 123. Let o be u(0). Let g = o - 57. Let y = g + -28. Is y a multiple of 19?
True
Let c(x) = 6*x + 1. Let n be c(-6). Let r = n + 73. Is 11 a factor of r?
False
Let y = -16 + -39. Suppose -3*w = -2*n - 0*n - 286, 3*n - 445 = -5*w. Let x = w + y. Is 19 a factor of x?
False
Let h be (0 + 8)*(-10)/(-4). Suppose 3 = o, -51 + h = -4*n - 5*o. Suppose -y + 42 - 12 = q, -n*q = 16. Is y a multiple of 17?
True
Let z(g) = 2*g + 2. Let n(k) = -k**2 - 4*k + 4. Let y be n(-5). Let h(q) = q. Let s(l) = y*z(l) + h(l). Is s(-7) a multiple of 2?
False
Let n = 5 - 3. Suppose -n*p = -5*w + 3*p + 70, 20 = w - 4*p. Is w a multiple of 6?
True
Suppose -5*s - 30 = -k + 97, 0 = 2*s + 10. Is 34 a factor of k?
True
Let y = -51 + 72. Let g = 6 - y. Let s = 3 - g. Does 18 divide s?
True
Suppose -3*o = -6 - 9. Suppose -o*l = -0*l - 70. Does 7 divide l?
True
Suppose -z = -4*w - 175, -5*z + 875 = 3*w + w. Is z a multiple of 5?
True
Let o(y) = -y**2 + y + 3. Let k be o(0). Suppose -7 = 5*z - 2. Let w = k + z. Is 2 a factor of w?
True
Suppose -4*w - 5*c + 23 = 0, -2*w - 3*c = -3*w - 7. Is 10 a factor of w - 18*-1 - 0?
True
Suppose 4*a - 189 + 49 = 0. Let h = -17 + a. Does 7 divide h?
False
Suppose 29 + 93 = 5*q - 2*c, -5*c + 150 = 5*q. Is 8 a factor of q?
False
Let k be (1236/3)/2 + 2. Let w = k - 128. Does 20 divide w?
True
Suppose 0 = -5*m - 5 + 15. Suppose -7*s + m*s = -40. Suppose -5*k + s + 12 = 0. Is 3 a factor of k?
False
Suppose -2*b + 15 = 3. Suppose 0 = -2*p + b*p - 256. Suppose p - 10 = 3*k. Is 9 a factor of k?
True
Let f = 179 + -24. Is 9 a factor of f?
False
Let a = -4 - 4. Is 20 a factor of 1044/26 + a/52?
True
Let a = 8 + -5. Let w(p) = 7*p - 3. Is 9 a factor of w(a)?
True
Let y be 2/(-3) + (-114)/(-9). Let s = -10 - y. Let v = s + 38. Is v a multiple of 8?
True
Let j = -23 - -79. Let g be (-1480)/(-18) + 22/(-99). Let h = g - j. Is h a multiple of 13?
True
Is (-3)/24 + (-2)/((-16)/865) a multiple of 12?
True
Let q = 2 + -1. Suppose 0 = -p + 2 - q. Is 4 a factor of (p/3)/((-2)/(-24))?
True
Let l be 28/2 + (2 - 0). Suppose 0 = -c - 4, 2*h - l = 4*c + 14. Is 4 a factor of h?
False
Suppose 0 = 2*g - 4*g + 80. Let a be ((-21)/4)/((-15)/g). Is (-1)/(0 + (-2)/a) a multiple of 3?
False
Let w be (-2 - -4)*(-1 + 0). Let y be ((-4)/(-12))/(w/102). Let t = y + 31. Is 7 a factor of t?
True
Let i = 5 - 2. Suppose 3*p - i*f = -f + 55, 0 = -2*p + 3*f + 35. Suppose -4*l + 3*g - p = -108, -3*l + g = -63. Is l a multiple of 10?
True
Is (190/4)/(3/(5 + 1)) a multiple of 19?
True
Suppose 0 = -2*h - 1 - 1. Does 13 divide (-2)/2*(h - 64)?
True
Let h(j) = -j**3 + 2*j**2 - 6*j - 5. Let x be h(-5). Suppose 0 = 3*a + 2*a - x. Is a a multiple of 12?
False
Let k(w) = -w**3 + 10*w**2 - 4*w - 10. Let m be k(9). Let g = m + -10. Does 25 divide g?
True
Let v be (-12)/3 - 4*-2. Suppose 4*l - v*p - 109 - 3 = 0, -p = 5*l - 146. Does 19 divide l?
False
Let v(y) = 13*y + 5. Let a be v(-2). Let g(u) = u**3 + 4*u**2 - 4*u - 5. Let f be g(-6). Let j = a - f. Is 16 a factor of j?
True
Let u(g) = g**2 - 4. Let l be -1 + -1 + 10/(-5). Let p = l + 8. Is u(p) a multiple of 8?
False
Suppose 252 = -3*b + 6*b. Does 12 divide (36/(-14))/((-18)/b)?
True
Is 5 a factor of ((-4)/6)/(6/(-585))?
True
Let h be 68/18 + 2/9. Suppose -h*t + 42 = -34. Suppose y = -3*q + t, y + 2*y = -5*q + 37. Is q a multiple of 2?
False
Let z(v) = 3*v + 7. Does 7 divide z(5)?
False
Suppose -3*i + 8*i = 65. Suppose -a = 4*s + a - 22, -5*a + i = -4*s. Does 2 divide s?
False
Let c = -5 + 10. Suppose c*s = 63 + 97. Is s a multiple of 16?
True
Let t(g) = -19*g. Does 22 divide t(-4)?
False
Suppose 2 = 3*m - 61. Let d = 41 - m. Is d a multiple of 20?
True
Suppose 0 = -3*v + 3*o + 201, 4*o = v + 9*o - 85. Is 20 a factor of v?
False
Suppose 0 = 3*z - 0*z + 3, -x = -4*z - 14. Let f = -7 + x. Does 2 divide f?
False
Is (-11680)/(-70) - (-2)/14 a multiple of 10?
False
Let m(z) = 144*z - 1. Let k be m(3). Suppose 4*n - 41 = k. Does 26 divide (-4)/(-6) - n/(-3)?
False
Suppose 1 = 3*x - 5. Suppose 8 = -x*g - 2. Let c = g - -19. Is 14 a factor of c?
True
Let i(j) = -j**2 - 10*j - 3. Is i(-8) a multiple of 8?
False
Suppose -2*v + 16 = -0*v. Let j(q) = q - v + 2*q + q. Is 13 a factor of j(6)?
False
Suppose f - 32 = -4*h, -5*f - h + 88 = h. Is 10 a factor of f?
False
Let u(k) = -11*k - 10. Let w be -4 + -2*(-2 + 3). Is 28 a factor of u(w)?
True
Let w = -13 + 13. Suppose 0 = 4*j - w*j - 80. Does 10 divide j?
True
Let d be (-1)/(-4) - (-7)/4. Suppose 0 = -d*q + 7*q. Suppose 5 = -q*x + x. Does 3 divide x?
False
Suppose 1447 = 5*m + j + 2*j, -12 = -3*j. Does 48 divide m?
False
Let p = 15 + 41. Does 14 divide p?
True
Let w = 16 - -131. Is 21 a factor of w?
True
Let w(p) = 2*p - 4. Let y be w(3). Suppose 0 = 5*s - 78 - y. Does 5 divide s?
False
Let k(t) = t**3 - 8*t**2 + 6*t + 7. Is k(8) a multiple of 11?
True
Let l = -274 - -690. Does 13 divide l?
True
Let w(x) = 2*x + 61. Is 17 a factor of w(0)?
False
Let g(c) = 2*c**2 - 6*c - 10. Is g(8) a multiple of 14?
True
Suppose -4*z = -2*l + 32, l - 12 = 3*z - 0*z. Suppose 0 = -5*a + 21 + l. Suppose 0 = 2*m + m - a. Is m a multiple of 2?
False
Suppose 3*u = -4 + 184. Suppose 0 = 7*i - 2*i - u. Is i a multiple of 3?
True
Let w(h) = h**2 + 6*h. Let b be w(-6). Let v be 0 - (-5 + -1 + b). Let i = 8 - v. Is i a multiple of 2?
True
Let w(v) = -v - 7. Suppose 0*i - 5*i = g + 35, -2*g - i = 25. Let o be w(g). Let c = o - -5. Does 5 divide c?
False
Let p = 9 - 3. Suppose -p*g + 60 = -2*g. Is g a multiple of 15?
True
Let b = 1 + -2. Let z be b + 6 - (0 + 1). Suppose 0*p = z*p - 164. Does 14 divide p?
False
Suppose -3*w + 8 = -w. Is 5 a factor of 57/12 - (-1)/w?
True
Let m be (-10)/(-15) - (-164)/6. Suppose 0 = -2*u - 3*c + m, u + 4*c + 8 = 4*u. Is u a multiple of 4?
True
Let w(z) be the second derivative of -2*z + 1/2*z**2 + 1/6*z**4 + 0 - 1/6*z**3. Is 6 a factor of w(3)?
False
Is 19 + (2 + -10)/4 + 1 a multiple of 3?
True
Suppose -x = 2*x - 12. Suppose 0 = -x*p + 4*c + 116, p - 4*c - 48 = -p. Does 14 divide p?
False
Suppose 7*p = 4*p + 12. Let t be 46/14 - p/14. Suppose h = t + 2. Does 5 divide h?
True
Let a = 0 - 1. Let w be a/(-2 - (-6)/4). Suppose -19 = -3*u + w*u + 2*z, -4*u + 70 = -5*z. Is 9 a factor of u?
False
Is 13 a factor of (17 - 17) + 255/3?
False
Let n = 11 + -3. Suppose 2 - n = 3*p. Does 2 divide ((-1)/p)/(1/6)?
False
Let r(v) = 4*v**3 - 2*v**2 - 2*v - 4. Let x(f)