 i a multiple of 17?
True
Let g(f) be the first derivative of f**4/4 - 8*f**3/3 - 5*f**2 + 12*f + 2. Let a be g(9). Does 13 divide (2/4)/(a/156)?
True
Does 11 divide 113 - ((-69)/(-21) - 2/7)?
True
Let n(v) = v**2 + 7*v + 9. Let c be n(-6). Suppose d = 4*f + 61, 0 = 3*d - 0*f - c*f - 147. Is d a multiple of 15?
True
Let v = -79 - -204. Is v a multiple of 11?
False
Let t = 95 + 33. Is 11 a factor of t?
False
Suppose 4*p = 3*r - 38, 0*r + 5*p + 60 = 5*r. Let d be 1*(-1 + 3) + r. Let n = -5 + d. Is 4 a factor of n?
False
Suppose -4*s - 2*v = -116, -2*s = -6*s - 4*v + 108. Does 8 divide s?
False
Suppose 0*l + 645 = 4*k + 3*l, 4*k - 2*l - 670 = 0. Is k a multiple of 24?
False
Suppose f + 0 = 18. Does 9 divide 42/28*1*f?
True
Let u(i) = 358*i**3 - 2*i**2 + 4*i - 3. Does 38 divide u(1)?
False
Suppose v = -3*u + 59, -13 = -u + v - 0*v. Does 6 divide u?
True
Let i = -7 - -10. Let w be (-4)/6 + (-22)/i. Let m(t) = -t**2 - 8*t + 11. Is m(w) a multiple of 11?
True
Let b(g) = -g**2 + 16*g - 1. Is b(15) a multiple of 14?
True
Let h(r) be the third derivative of r**5/60 + r**4/12 - 2*r**3/3 - r**2. Suppose x - a = 2, 4*x - 14 = -2*a - 0*a. Does 6 divide h(x)?
False
Let p be 2 + (2 - 1 - 2). Let d(s) = -32*s**3 + s**2 + s - 1. Let v be d(p). Let x = v - -44. Is 13 a factor of x?
True
Let g(u) = -u**3 + 16*u**2 - 14*u + 18. Is g(15) a multiple of 3?
True
Is 2/(-7) + (-344)/(-28) a multiple of 3?
True
Let q be (-3)/(-2)*8/6. Let y(f) = 5*f**3 + f**2. Is y(q) a multiple of 23?
False
Let v(c) = -117*c + 1. Let w be v(-2). Suppose -69 = -4*k + w. Suppose -5*p + 29 + k = 0. Is 10 a factor of p?
False
Suppose -4*u - 237 + 797 = -5*l, -419 = -3*u + 4*l. Suppose u = 3*i + 2*i. Let c = i - 15. Does 14 divide c?
True
Suppose -2*m = 4*l - 12, -2*m - 2*l - 1 = -9. Suppose -2*i + 4 = 0, -m*v + 130 = 5*i - 64. Does 23 divide v?
True
Suppose -4*r + 24 = -24. Suppose l = 4*l - r. Suppose l*f - 12 = 12. Is f a multiple of 4?
False
Suppose -t = w - 14, -3*t + 33 = -2*w + 1. Does 4 divide 142/t + 1/6?
True
Is 5 a factor of (-3)/(6/4) + 18?
False
Suppose r + 0*c - 3*c - 5 = 0, -2*c + 10 = -4*r. Let o(d) = -d + 5. Does 3 divide o(r)?
True
Suppose 4*g = 6*g - 6. Suppose -g*t - 2*z - 3*z = 139, 2*t = -4*z - 90. Let l = 77 + t. Does 12 divide l?
True
Let w = -15 - -61. Is 23 a factor of w?
True
Let y = 227 + -102. Does 14 divide y?
False
Suppose 2*s - 3*f = 0, -2*f + 1 = -4*s + 9. Suppose -2*p + q + 99 = 0, -2*p + s*q + 102 = 5*q. Does 8 divide p?
False
Suppose -8*a = -4*a - 56. Is (-3)/7 - (-762)/a a multiple of 18?
True
Suppose -d = -2*d + 5*k - 7, -k + 14 = 4*d. Suppose 3*t = 4*m - 1, 4*m - d*t - 11 = -2*t. Does 4 divide m?
True
Suppose 26 = 2*p + 2. Does 15 divide p*(-1 + 22/8)?
False
Suppose -15 - 8 = -l. Suppose -3*k - l = -4*k. Does 12 divide k?
False
Let y = 125 - 80. Is y a multiple of 9?
True
Let w = 638 + -436. Is w a multiple of 17?
False
Suppose -r = 4*r - 20. Suppose 0 = -2*t + 3*z + 95, -r*t + 3*t - 3*z = -25. Does 20 divide t?
True
Suppose -29*r + 36 = -20*r. Is r even?
True
Let d(l) = -l**3 - 12 - 6*l**2 - l**2 - 2*l**2 - 12*l. Is 10 a factor of d(-8)?
True
Let q(g) = 36*g**2. Is q(1) a multiple of 7?
False
Suppose -42 = -5*r + 273. Does 21 divide r?
True
Let d(v) = 6*v + 1 + 4 + 5 - 1. Does 12 divide d(4)?
False
Let m(d) = 5*d**2 + 11*d - 4. Let q(v) = 9*v**2 + 21*v - 9. Let t = 12 - 5. Let k(i) = t*m(i) - 4*q(i). Is 6 a factor of k(-6)?
False
Let d(o) = 10*o + 1. Let u be d(3). Suppose a = -5 + u. Does 13 divide a?
True
Suppose 0 = -4*r - 4*p - 12, -5*p + 2*p = -3*r + 9. Suppose -4*s + r*s = -24. Does 3 divide s?
True
Let y(r) = -r**2 - 7*r - 1. Let x be y(-6). Is 9 a factor of (100/x)/(2/4)?
False
Let o(j) = -j + 8. Let h be o(0). Let b = h + -1. Suppose 0 = -2*v + b - 3. Is 2 a factor of v?
True
Let d(g) = g + 8. Let t be d(-6). Suppose -2*i + 14 - t = 0. Is i a multiple of 6?
True
Let r(q) = -q**3 + 1 - q + 2*q**3 + 7*q**2 + 0*q**2. Is 14 a factor of r(-3)?
False
Let r(v) = 2*v**2 + 6*v + 2. Suppose b - 5*i = -12, 2*b - 1 = -3*i - 38. Let k = b + 12. Is r(k) a multiple of 8?
False
Let w(r) be the first derivative of r + r**2 - 1 + 2/3*r**3. Is 5 a factor of w(-2)?
True
Suppose 4*t - 3 = 5. Let s = 25 - t. Is 4 a factor of s?
False
Let m = 234 + -143. Is 20 a factor of m?
False
Let v = -71 + 104. Suppose 27 = 5*h - v. Does 4 divide h?
True
Let r = 2 + 2. Suppose -2*a + 16 = -a - r*f, 5*f - 48 = -3*a. Does 8 divide a?
True
Suppose -2*j - 2 + 6 = 0. Suppose -y - 5*w = 63, j*w = -5*y + w - 219. Let h = 77 + y. Does 17 divide h?
True
Let f(s) = s**3 + 4*s**2 - 3. Let h be f(-4). Let v(i) = -i**3 - 4*i**2 + i. Let t be v(-4). Does 5 divide (-6)/h - t/1?
False
Is (-371)/(-7) + 3/(-3) a multiple of 26?
True
Suppose -2*p = 3*p - 210. Is p a multiple of 20?
False
Does 22 divide (-130)/(-6) - (-3)/9?
True
Let g be (-2)/3*60*-3. Suppose -g = -2*h - h. Is h a multiple of 11?
False
Does 6 divide ((-3)/9 + 1)*27?
True
Let s(b) = -b - 10. Let k be (-6)/(2 - (-1 + 2)). Let m be s(k). Let t = m + 8. Is t even?
True
Suppose 5 = 3*h - 10. Let m = 0 + h. Is 5 a factor of m?
True
Suppose 4*p - 3*l - 349 = 2*l, 4*p - 329 = l. Is p a multiple of 15?
False
Suppose -p = 16 + 8. Suppose 5*d + 14 + 31 = 0. Let r = d - p. Is r a multiple of 14?
False
Let u = 3 - 6. Let k(r) = 267*r. Let a be k(u). Is 2/6 + a/(-27) a multiple of 12?
False
Let x = -13 - -18. Let o be (-5)/(x/2) - -10. Is -1 + -1 + 1*o a multiple of 4?
False
Let k(u) = 8*u**2 + 2*u + 1. Is 5 a factor of k(-1)?
False
Does 57 divide (5 - 6)/(3/(-1197))?
True
Let f(w) = -w**2 - w + 24. Does 8 divide f(0)?
True
Is 21 a factor of 3 + 18 - 0/(-5)?
True
Suppose -4*n - 215 = -5*i, 3*i - 7*n = -2*n + 142. Is i a multiple of 19?
False
Suppose -7*b - 96 + 320 = 0. Does 8 divide b?
True
Let p be (2/2)/(-1) + 12. Let s = -32 - p. Is 12 a factor of -2 + (-3 - s) + -1?
False
Let x(r) = -2*r - 36. Let a be x(0). Let v = a + 68. Does 11 divide v?
False
Suppose 0*z + z = -20. Let o = z + 33. Does 13 divide o?
True
Let s(l) = -l**3 + 7*l**2 + l - 10. Let k be s(7). Let c be 29/k - (-2)/(-6). Let m = -3 - c. Is m a multiple of 3?
False
Let h = 29 + -21. Let c be h/2*(-38)/(-8). Let o = 29 - c. Does 4 divide o?
False
Let i = 10 + -7. Suppose 0*s - 2*z + 152 = 5*s, 3*z - 84 = -i*s. Does 8 divide s?
True
Let h(l) = 41*l - 3 - 51*l + 2. Is h(-1) a multiple of 5?
False
Suppose 3*h - 8*h + 7 = 2*x, 5*x = 2*h + 90. Is x a multiple of 4?
True
Suppose -j - 15 = -4*j. Suppose -j*q - t = 4*t - 35, 2*q - 2*t = 30. Is q a multiple of 8?
False
Suppose 126 = 2*k + 3*o, -3*k - o = -2*o - 200. Is 22 a factor of k?
True
Suppose 3*z + 3*l - 294 = 0, -4*z + l + 374 = -l. Is z a multiple of 6?
False
Let u(s) be the third derivative of s**6/30 - s**5/30 - s**4/8 + s**3/3 + s**2. Does 9 divide u(2)?
False
Does 2 divide (2/3)/((-22)/(-264))?
True
Let z = -32 + 11. Let t = z - -45. Is 9 a factor of t?
False
Suppose 4*y = -3*b + 480, y = -5*b + 161 - 58. Is 37 a factor of y?
False
Let u(c) = -2*c + 4*c - 6*c**2 - 4 - 4*c**3 + 10*c**2 + 3*c**3. Let v be (-1)/2 + (-18)/(-4). Does 4 divide u(v)?
True
Let s(z) = z + 12. Does 21 divide s(9)?
True
Suppose 1 = -3*s - 8. Let j = s - -6. Does 5 divide (20/14)/(j/21)?
True
Let f = 166 + -64. Is f a multiple of 13?
False
Suppose x + x = -2*q - 28, -2*x - 43 = -q. Let u = -11 - x. Does 4 divide u?
True
Let y(w) = -5*w - 12. Let a(t) = 15*t + 37. Let o(m) = 4*a(m) + 11*y(m). Is 14 a factor of o(8)?
True
Let q(u) = u**2 - 7*u - 18. Does 12 divide q(10)?
True
Suppose 45 = 12*q - 11*q. Does 9 divide q?
True
Let k = -3 - -4. Does 20 divide -1 + k + 2 + 58?
True
Is ((-2)/(-6))/((-2)/(-66)) a multiple of 2?
False
Let o(l) = 7*l**3 + 2*l**2 + 2*l + 1. Let m be o(-1). Does 22 divide (-8)/m*1188/24?
True
Let c be (-6)/21 - (-51)/7. Suppose -4*w = x + 16, 5*x + 2 = -3*w + c. Suppose 25 = q - 3*u, x*q - u = 77 + 78. Is q a multiple of 18?
False
Let t be -2 + (-2)/1*1. Let f(y) = 2*y**2 + 6*y + 1. Let n be f(t). Let i = n - -11. Is i a multiple of 10?
True
Does 20 divide 1 + (-27)/15 - 7028/(-35)?
True
Suppose 2*z - z = 64. Is 10 a factor of z?
False
Let o be -6*((-44)/6 + 2). Suppose 2*y - o = -4*f, 5*f + 0 = 4*y + 1. Let v(d) = d**2. Is v(y) a multiple of 13?
False
Let z(j) = -3*j + 4. Let y be z(5). Let t be 9/(-6)*(1 - 13). Let i = t + y