*3 - a**2. Let n(y) = 19*y**3 + 5*y**2 - 1. Let z(i) = -n(i) - 3*s(i). Is z(-1) a multiple of 12?
False
Suppose 28 = 2*p - 68. Is ((-3)/(-4))/(1/p) a multiple of 11?
False
Let d(o) = -64*o - 1. Let s(f) = f**2 + 6*f - 8. Let h be s(-7). Is d(h) a multiple of 22?
False
Suppose 66 = 5*f - 69. Is 27 a factor of f?
True
Let k = 75 + -51. Suppose 3*p = -0*p + k. Let x = 0 + p. Is x a multiple of 6?
False
Is 6 a factor of 3/(-2 + 3) + 3?
True
Suppose 4*b = 543 - 199. Let y = b + -41. Is 9 a factor of y?
True
Let w(q) = q**3 + 4*q**2 - 3*q - 6. Let j be w(-4). Let v be (-4)/j - 696/9. Does 15 divide 4/6*v/(-2)?
False
Suppose -p - 1 - 2 = 0. Let r(h) = -h**3 - 2*h**2 + 3*h + 3. Does 3 divide r(p)?
True
Is 32 a factor of (-16)/(5 + (-93)/18)?
True
Suppose -60 = -0*n - 5*n. Suppose -8*c + n*c = 352. Is c a multiple of 33?
False
Suppose 4*k + 3*j - 107 = 0, 3*j = -2*j - 15. Does 4 divide k?
False
Suppose 0 = -3*m + 4 - 1. Let t = m + 13. Is 4 a factor of t?
False
Let d(k) = -4*k + 7. Let z(r) = -r**2 + 7*r - 7. Let y be z(7). Is d(y) a multiple of 14?
False
Let w = -120 + 170. Is w a multiple of 31?
False
Suppose -f - 31 = -2*f. Suppose 0 = g - f + 11. Is g a multiple of 11?
False
Suppose 0 = -d + 4*r + 3, 6*d - d = 2*r + 15. Let s be (-1)/(2/(-48)) + d. Suppose -2*l - 4*n = 3*l - 79, -2*n - s = -l. Is l a multiple of 19?
True
Suppose 0 = 3*t - 5 - 1. Suppose b + 11 = -4*v - 0*v, t*v + 10 = 0. Is 6 a factor of b?
False
Let m = -12 - -24. Is 4 a factor of m?
True
Is (-14)/21*54/(-4) a multiple of 2?
False
Suppose -232 = -14*w + 6*w. Is 15 a factor of w?
False
Let h(g) = -g**2 - 9*g - 9. Suppose -2*x = 5*k + 25, -3*k - 4*x - 4 = -3. Let t be h(k). Let p = 23 - t. Is 6 a factor of p?
True
Let l(q) = -q**2 - 2*q. Let i be l(-2). Suppose i*k + k = 24. Is 15 a factor of k?
False
Suppose 4*a - 79 = 49. Let p = 7 - a. Let d = 37 + p. Is d a multiple of 12?
True
Is 1137/12 - (-6)/(-8) a multiple of 14?
False
Suppose -7*h = -2*h + 20. Let c(z) = -z**2 - 5*z - 1. Let q be c(h). Let b = 21 - q. Is 8 a factor of b?
False
Let x(y) = -y**2 + 7*y - 4. Let h(z) = z**2 + 5*z + 5. Let m be h(-5). Let t = m - 0. Does 3 divide x(t)?
True
Let p be 5 + (-6)/(1 + 1). Let q(u) = 3 - u + u**2 + u + p*u. Is q(-5) a multiple of 9?
True
Let f = -18 + 23. Suppose -43 = -f*s + 92. Is s a multiple of 7?
False
Suppose -5*i - 2*j + 8 + 12 = 0, 0 = 4*i + 2*j - 18. Suppose m = i + 1. Suppose -m*x + 15 = d, 5*d + 2*x - 6*x - 37 = 0. Does 9 divide d?
True
Let u be (-2)/5 + (-412)/(-5). Let s = u - -29. Suppose -s = -5*f + 2*f. Is f a multiple of 13?
False
Let z(g) = -g**3 + 9*g**2 + g + 10. Let m be z(9). Let j = m - 9. Is j a multiple of 5?
True
Let f(r) = r**3 - 4*r**2 + 3*r - 1. Let o be f(5). Let z = o + -26. Is (-2)/z - 788/(-52) a multiple of 15?
True
Let w(d) = 3*d**3 - 3*d**3 + 3*d - 2*d**2 - d**3 + 12*d**2. Is 9 a factor of w(10)?
False
Let c = 255 - 115. Suppose 4*s - 156 = c. Does 27 divide s?
False
Let n(p) = 23*p + 4. Is 32 a factor of n(6)?
False
Suppose -3*g = -1 - 5. Let l = g + 8. Is 10 a factor of l?
True
Suppose 47*r - 42*r = 1090. Does 27 divide r?
False
Suppose -3*n + 3*l = -2*l - 11, n + 3 = -5*l. Suppose 0 + 2 = n*c. Suppose -c = k - 3, 4*f - 70 = -k. Does 7 divide f?
False
Suppose -d + 17 = q, 5 = -d + 3. Is q a multiple of 3?
False
Suppose 0 = d - 2*w - 4, -3 = 5*d + w - 34. Suppose 108 = -3*q + d*q. Is q a multiple of 9?
True
Suppose -3*a + 12 = x, 3*x - 4 = 2*a - 1. Suppose 2*j - 105 = -x*j. Does 21 divide j?
True
Let h(l) = 4*l - 3. Let j be h(2). Suppose 0*g + 7 = 3*d + 4*g, 0 = -j*d + 2*g + 55. Is 1/(-3) - (-75)/d a multiple of 6?
False
Let p = 2 - -79. Suppose 2*n = -p + 209. Does 19 divide n?
False
Suppose 2*l = -3*r + 35, -2*r + r + 4*l = -7. Suppose 3*t + u = 16, -u + r + 11 = 4*t. Let b(k) = 2*k - 6. Is 6 a factor of b(t)?
True
Suppose 0 = -3*b + 7*b - 12. Suppose 0*j = -b*j + 24. Suppose 2*w - 26 = j. Is w a multiple of 17?
True
Let g = 0 - 3. Let w(m) = m**3 + 4*m**2 + m. Let n be w(g). Suppose -5*c + n = -c + 2*r, 5*r = 4*c - 13. Is 2 a factor of c?
True
Let r = 2 + -5. Let d be 4/r*-12*8. Suppose -2 = -5*x + d. Is x a multiple of 13?
True
Suppose 0*i + 42 = 2*i. Suppose 0 = 4*h - i - 143. Does 24 divide h?
False
Let n(f) = -f**3 - f**2 + f - 6. Let x be n(0). Let s be 3/(-9) - 182/x. Suppose -4*w = -s - 2. Does 4 divide w?
True
Let p be (3 + (-5)/2)*0. Suppose p*g = 3*g - 315. Suppose -g = -5*b + 2*y - 35, -5*b - 4*y = -70. Is 14 a factor of b?
True
Let z = -52 + 67. Is z a multiple of 14?
False
Let g(k) = -21*k - 4. Is 27 a factor of g(-2)?
False
Suppose x + 114 = -x. Let p = -39 - x. Is p a multiple of 6?
True
Let z(t) = -7*t - 3. Let j be z(-2). Let b(s) = s + 11. Is 6 a factor of b(j)?
False
Suppose 0 = 3*v - 27. Suppose -3*c + 0 = -v. Is 19 + 2 + c/(-3) a multiple of 11?
False
Does 7 divide (-14)/(1 - 4/3)?
True
Let i = 11 + -9. Is i even?
True
Suppose 0 = 5*q - 25, -3*i + q = -0*i - 487. Does 35 divide i?
False
Let o be (-3 + 46)*(2 - 0). Let q = o + -45. Is q a multiple of 25?
False
Let b be (28/21)/((-4)/(-6)). Suppose -2*d = 2*g - 58, 0*d + 50 = 2*d - b*g. Does 9 divide d?
True
Does 11 divide 44*((-18)/(-4))/3?
True
Suppose 9*b = 4*b - 25, -b = 2*h - 37. Is 289/3 - 7/h a multiple of 25?
False
Let b = 2383 - 1551. Is 21 a factor of b/18 - 4/18?
False
Suppose -3*n + 8 + 7 = 0. Suppose -95 = -n*v + 165. Does 15 divide v?
False
Suppose -3*a + 38 + 7 = 0. Suppose -3*m - 2*l = -a, -1 = -5*m + l + 11. Is m even?
False
Let m(f) = 0*f + f + f - f + f**2. Does 3 divide m(-3)?
True
Let c(q) = -5*q - 1. Suppose l + 1 = 3. Suppose -l*a = 2 + 2. Is c(a) a multiple of 3?
True
Let l be (-44)/(-12) - 2/3. Suppose 0*y - 3 = -2*y - 3*h, l*y + 5*h - 3 = 0. Is 3 a factor of y/(-15) + (-27)/(-5)?
False
Let o(p) = -p**3 + 2*p - 1 + 0*p**3 - p**2 + 2*p**2 + 0*p. Let h be o(2). Is h/(-8)*22*4 a multiple of 8?
False
Let q be (-3 + 6)*412/6. Let p(y) = 3*y - 4. Let l be p(3). Suppose d - q = -l*s, 30 + 4 = s + 2*d. Does 21 divide s?
True
Suppose -z + 31 = 10. Let m = 55 + z. Suppose -3*l = -m + 22. Does 9 divide l?
True
Let w = -2 - 2. Is ((-6)/w)/((-1)/(-6)) a multiple of 9?
True
Suppose a + 7*u - 280 = 2*u, 2*a = u + 571. Suppose a = 3*i - 0*i. Does 16 divide i?
False
Suppose -3*r = -2*o + 148, 6*r = r - 5*o - 230. Is 5 a factor of 62/6 + 16/r?
True
Is 38 a factor of 6/(-18) + 20/6 + 182?
False
Let y(z) = -2*z + 5. Let x be y(7). Let m = x - -17. Does 8 divide m?
True
Let w = 5 - -7. Suppose 3*v - 59 = i + w, -i + 104 = 4*v. Does 20 divide v?
False
Let z = -17 + 22. Suppose 0 = -d + z*i, -5*d - i + 50 = -54. Is 10 a factor of d?
True
Is (2/4)/((-1)/(-72)) a multiple of 18?
True
Let a = -51 + 112. Does 5 divide a?
False
Let h = 82 + -56. Does 23 divide h?
False
Suppose 0*s = -s - 2*d - 3, -5*d + 10 = -s. Let a = 19 + s. Is 7 a factor of a?
True
Let y(o) = o + 1. Let d be y(-8). Let w(z) = -z**3 - 5*z**2 + 8*z. Does 21 divide w(d)?
True
Let a(r) = r**3 - 8*r**2 - 9. Let z be a(8). Let w(q) = -q**2 + q + 10. Let h be w(7). Is (z/3 - h) + -3 a multiple of 15?
False
Suppose 4*s - 8 = 3*s. Let k = s + 13. Suppose -3*b + k = -4*a, 18 = b + a + 4. Is b a multiple of 11?
True
Let z = -4 + 6. Does 22 divide 4/3*51 - z?
True
Suppose 0 = -2*v - 0*v. Let o(h) be the third derivative of h**4/24 + 2*h**3/3 + 3*h**2. Is o(v) a multiple of 2?
True
Suppose -177 - 327 = -3*h. Does 12 divide h?
True
Let q(j) = -2*j. Let a be q(-2). Suppose -n - g + 2*g - 31 = 0, 4*g + 108 = -a*n. Let c = 48 + n. Is 19 a factor of c?
True
Let p be -1 - 1 - (1 + -36). Let s = p + -22. Suppose 0*v - s = -v. Is v a multiple of 9?
False
Let y = 72 + -34. Is (-1 + y - 0) + -3 a multiple of 8?
False
Let z = 8 - 7. Let a be 136/((-3 + z)/2). Is 5 a factor of (a/(-12))/((-2)/(-3))?
False
Let q(l) = l + 6. Let r be q(-5). Suppose 3 = y - r. Is 10 a factor of (80/6)/y*6?
True
Let p(l) = l + 8. Let w be p(-6). Suppose -w*f = 3*f. Suppose -12 = -2*q - f. Is q a multiple of 4?
False
Let c = -49 - -94. Is c a multiple of 8?
False
Let u(g) be the third derivative of 23*g**5/60 - g**4/12 - g**3/6 - g**2. Is u(-1) a multiple of 8?
True
Suppose o = -2*o + 360. Is 20 a factor of o?
True
Suppose 5*z = 4*q - 2, 0 = -0*z - z + 4*q - 10. Let r = 12 - 13. Is 2/r + z + 20 a multiple of 10?
True
Let g(d) = -3*d**3 - 4*d**2 - 3