 16 divide z(g)?
False
Let u(c) = -c**2 - 13*c + 16. Let o be u(-14). Suppose 0 = o*b - 0*b - 24. Is 6 a factor of b?
True
Let q be (-85)/(-10) - (-3)/2. Let s = q - 6. Is 4 a factor of s?
True
Let x be -1*(-3 - 0/(-1)). Let o(l) = 7*l - 4 + 4 + 1. Does 11 divide o(x)?
True
Let l(d) = 2*d**2 + 4*d. Let r be l(-3). Suppose -3*b = -b + r. Is -1 - 21/(b/3) a multiple of 12?
False
Let u = -26 - -36. Suppose 66 - u = 4*z. Does 7 divide z?
True
Let a = 72 + 73. Is a a multiple of 29?
True
Let m = 10 + -9. Let g be (6 - 47)*m*-1. Suppose -3*p = -5*s + g, -3*p = s + 2*p - 25. Does 10 divide s?
True
Let d(p) = -5*p + 3*p + p**2 - 2 + 2*p**2. Is d(4) a multiple of 19?
True
Suppose 2 = r - 2. Suppose 5*d - 4 - 1 = 5*m, -r*m = -3*d. Suppose -m*q = 2*q + 4*z - 146, 0 = 3*q + 4*z - 86. Is 13 a factor of q?
False
Let b = 3 - -1. Let m(z) = 1 - b + 3*z + 5. Does 8 divide m(7)?
False
Let k be (3 + (-4)/2)*115. Suppose -5*n - 25 = -k. Does 8 divide n?
False
Suppose 3 = 3*u - 2*k - 27, 24 = u + 4*k. Is 2 a factor of u?
True
Let u(q) = -q + 12. Let s be u(7). Suppose -s*n - 8 + 28 = 0. Suppose o - n*o = 3*r - 57, 3*o - 58 = -2*r. Is 10 a factor of o?
True
Suppose i = -3*i + 20. Suppose 2*k - r = -2*r + 38, k = i*r + 30. Does 10 divide k?
True
Let i(h) = h**2 + h - 1. Let u be i(2). Let r(k) = -k + 0*k + 4 + 17*k**2 - u. Is r(-1) a multiple of 17?
True
Suppose -q = -3*q - 2. Is 5 a factor of 5/q*(1 + -2)?
True
Let p(d) be the third derivative of d**5/20 - 7*d**4/24 + 2*d**3/3 - 3*d**2. Is 22 a factor of p(5)?
True
Suppose s + 170 = 6*s. Suppose 2*d - 5*w + s - 128 = 0, -d + 3*w = -46. Does 9 divide -3 - -6 - d/(-2)?
False
Suppose -3*y + 3*z = 3, -z + 1 = -0*y + 4*y. Suppose -2*j = -5*h - 24, -2*j + 2*h = -y*j - 12. Is j a multiple of 2?
True
Let h be 6/27 - 97/(-9). Let j(c) = 3*c + 3. Does 12 divide j(h)?
True
Let n = 52 + -18. Is n a multiple of 8?
False
Suppose 3*d + 0*s = -3*s - 30, 2*d - 4*s - 10 = 0. Suppose -3*x + x = -36. Let v = x - d. Is v a multiple of 10?
False
Does 22 divide 24/(-15)*-40*(3 - 2)?
False
Let o = -20 - -2. Does 22 divide (6/o)/((-2)/354)?
False
Let g be 15 - (-1 + 8/2). Does 17 divide (10 - g)/((-2)/51)?
True
Suppose 3*p + 211 = 5*b, 5*b = 6*b + 2*p - 50. Is 4 a factor of b?
True
Let k(q) = q**3 + 7*q**2 + 3*q - 12. Is 6 a factor of k(-5)?
False
Suppose -3*p + 10 = 4. Suppose j + 2 = -p, 3*j + 202 = 5*t. Does 11 divide t?
False
Suppose 0*x - 42 = -2*x. Is x a multiple of 3?
True
Let u(t) = -t + 1. Let c = 7 + -15. Is u(c) a multiple of 9?
True
Let n = 55 - 33. Let h = -4 + n. Is 9 a factor of h?
True
Let i(x) = 46*x + 96. Is i(6) a multiple of 21?
False
Let g be (-13)/(-5) - (-4)/10. Suppose -g*l + 78 = -l. Let j = l + -18. Is 8 a factor of j?
False
Let s = 85 + 5. Is s a multiple of 16?
False
Suppose -4*k + 85 = f, 6*f - 5*f - 5 = 0. Is 10 a factor of k?
True
Let a(d) = d**3 - 9*d**2 - d + 21. Is 8 a factor of a(9)?
False
Suppose 0 = z + 2*a - 6, 0*z = 5*z - 3*a - 69. Let m = 32 - z. Is m a multiple of 10?
True
Does 47 divide (-144 - -3)*6/(-9)?
True
Does 29 divide -3*(-9)/((-108)/(-232))?
True
Let r(x) = x**2 - 4*x + 3. Let w be r(2). Let l be w - -20 - -1 - 2. Suppose p - l = -2*p. Is p a multiple of 6?
True
Let q = 0 - -4. Is 3 a factor of q?
False
Let h(l) = 29*l - 21*l + 7*l. Is 30 a factor of h(6)?
True
Suppose 4*y + 4*s = 124, 3*y - 89 = -0*y - 2*s. Is y a multiple of 3?
True
Suppose 260 = 36*g - 34*g. Does 13 divide g?
True
Suppose -l - 5*k = -16, l + k = -4*l - 16. Let o(m) = 7*m - 1. Let w be o(1). Is 5 a factor of 17/3 + l/w?
True
Suppose i = 2*g + g - 207, -4*i - 2*g = 898. Let j be (-4)/(-14) - i/7. Suppose 2*b + x - j = 0, -2*b - 3*b = -2*x - 71. Is b a multiple of 15?
True
Let o be (4 + 64/(-20))*5. Suppose 0 = -o*a - 12 + 60. Is 3 a factor of a?
True
Let j = 54 - 26. Is 2 a factor of j?
True
Let k = -69 + 105. Does 12 divide k?
True
Let u(g) be the second derivative of 7*g**4/6 + g**3/6 - g**2 - 8*g. Does 16 divide u(2)?
False
Is (-436)/(-16) + 6/8 a multiple of 8?
False
Does 6 divide -2 + -3 + 4 - -19?
True
Suppose 0 = 5*f - 2*b - 100, 4*b + 24 = f + f. Is 16 a factor of f?
False
Let n = 7 + -2. Let r = 8 + n. Let o = r + 1. Is o a multiple of 5?
False
Suppose -3*a + 4*b + 0*b = -26, -5*b = -3*a + 28. Is a + 5/((-20)/8) a multiple of 3?
False
Let c(t) = t**3 + t**2 + 2*t + 1. Let g be c(-1). Let m = g - -7. Let w = m + -3. Does 3 divide w?
True
Let i = -4 - 2. Does 9 divide (-198)/12*8/i?
False
Is 3 a factor of (-60)/(-2)*(-27)/(-18)?
True
Let b = -83 + 194. Is 37 a factor of b?
True
Let h = -21 + 12. Is 30/(-9)*1*h a multiple of 10?
True
Let v = -65 - -175. Does 21 divide v?
False
Suppose 253 = z - 0*z. Is 38 a factor of z?
False
Suppose 0 = -3*l - 18 + 72. Is l a multiple of 8?
False
Suppose -2*x + 7 + 9 = 0. Let w(t) = t**2 - 7*t + 4. Is w(x) a multiple of 6?
True
Suppose 71*r + 520 = 75*r. Is r a multiple of 26?
True
Is (-18)/12*(-45 - 1) a multiple of 23?
True
Suppose 12 = j - 5*j. Let l = 0 - j. Suppose -l*o - 17 = -152. Does 13 divide o?
False
Suppose 2*q - 216 = -2*q. Suppose 0 = 4*c - q + 2. Does 4 divide c?
False
Let i(d) = d**3 - 3*d + 1 + 3*d**2 + 3*d**2 - 2*d**3. Is 21 a factor of i(4)?
True
Let b(x) be the third derivative of x**6/60 - x**5/15 - x**4/4 + 2*x**3/3 - 3*x**2. Does 22 divide b(4)?
True
Let p = 11 - 7. Let l(n) = -n**2 - 4*n + 8. Let y be l(-6). Does 20 divide 2/y + 94/p?
False
Let v = 30 - 17. Is v a multiple of 4?
False
Let g(o) = o + 2. Let f be g(-2). Let y be ((-6)/(-1))/(f - -1). Is (4/y)/((-2)/(-66)) a multiple of 11?
True
Suppose -34 = 5*t + 6. Is 128/(-12)*18/t a multiple of 11?
False
Suppose -80 = -2*q - 5*p + 120, -3*q + 2*p = -338. Suppose 4*y - w - q = -0*w, 2*y - 4*w = 62. Suppose 0*u - y = -u. Is u a multiple of 10?
False
Let w = 6 + 14. Suppose -5*x + 17 = 2. Suppose -2*q + x = -5*q, w = 2*u - 4*q. Does 3 divide u?
False
Suppose 5*i + 0 = -3*z - 6, -15 = -2*z + 3*i. Suppose 2*g = z*w - 286, 4*w - 4*g - 180 = 2*w. Is w a multiple of 28?
False
Let f be 2/(-3) - 21/9. Let b be (1*f)/(12/(-16)). Let g = b + 6. Is g a multiple of 5?
True
Let s = -63 - -98. Suppose -3*z - 3*b + s = -2*b, -4*z + 42 = -b. Is 11 a factor of z?
True
Let u(l) = l**2 - l - 2*l**2 + l + 3. Let n be u(0). Is 2*n*(-20)/(-4) a multiple of 15?
True
Let g(y) = y**2 + 3*y + 2. Let b be g(-4). Suppose -37 + 313 = b*z. Is z a multiple of 23?
True
Let c(s) = 2*s**2 + 5*s + 23. Is c(-11) a multiple of 45?
False
Suppose -5*s = -3*s - 4. Suppose -s*y + 6 + 12 = 0. Suppose -j - 4*l = -y, -4*j + 5*l = -j - 10. Is 2 a factor of j?
False
Let r(t) = t**2 + 3*t + 7. Let y(o) = 2*o**2 + 7*o + 13. Let g(b) = -b**3 + 7*b**2 - 4*b - 5. Let k be g(6). Let p(f) = k*r(f) - 4*y(f). Is 3 a factor of p(-3)?
True
Let q(j) = -j**2 - j - 4. Let a be q(0). Let s be (-30)/10*a/6. Suppose s*u - 52 = -2*u. Is 11 a factor of u?
False
Suppose 3*l = 3*h, -2*h = 3*h + 5*l - 30. Suppose j - h*j = 0. Suppose -11 - 6 = -4*d - 5*o, -4*d - o + 29 = j. Is 5 a factor of d?
False
Suppose 0 = -4*s + 3*c - 35, -5*c = -2*s + 4*s - 15. Let z = 29 + s. Is z a multiple of 12?
True
Suppose 2*c = 7*c - 200. Does 5 divide c?
True
Let h(j) be the first derivative of -5*j + 2*j**2 + 2 + j + 5*j + 1. Is h(2) a multiple of 4?
False
Suppose 4*c + 202 = 4*b + 14, c + 203 = 4*b. Suppose -2*p - 2*p = -b. Does 5 divide p?
False
Let m = -12 - -18. Let d = 11 - m. Is d even?
False
Let y = 87 + -58. Does 10 divide y?
False
Suppose -5*j + 4 + 11 = 0. Suppose l - 93 = 5*p, -j*l + p + 179 = 6*p. Is l a multiple of 24?
False
Let x = -1 - -3. Suppose x*r - 46 = -6. Is r a multiple of 11?
False
Suppose -p + 7 = -10. Let w = 25 - p. Is 3 a factor of w?
False
Let k(g) = -5 + 1 - 4*g - 4*g. Is 16 a factor of k(-9)?
False
Suppose 343 = 5*q - 2*k + 72, -5*q = -k - 273. Suppose 4*j + 2*m - q = 55, 2*j = -4*m + 70. Does 16 divide j?
False
Let d = -139 - -293. Is d a multiple of 14?
True
Suppose j - 6 + 18 = b, -25 = 5*j. Suppose -13 = -h + b. Is 10 a factor of h?
True
Let w be 1/(-2) - 41/(-2). Suppose -2*u - 36 = w. Let z = u + 46. Is 8 a factor of z?
False
Let v(o) = 49*o + 1. Let n be v(-1). Let x = n + 75. Is x a multiple of 8?
False
Suppose -3*l = q - 126, 2*l = q - 3*l - 142. Is q a multiple of 19?
False
Suppose 3*m = 109 + 17. Does 19 divide m?
False
Let f(g) = -3*g**3 + 2*g*