divide i/12 - 2/4?
False
Suppose 5*g - 25 = 0, 3*i - 71 = -5*g + 20. Does 5 divide i?
False
Let h be 1 + (-1 - 1)/(-2). Let d(c) = 3*c - 2. Let g be d(h). Suppose g*s - 3*u = -2*u + 27, -4*s + 2*u + 30 = 0. Is s a multiple of 6?
True
Let h be (36/16)/((-1)/20). Let p = -18 - h. Does 9 divide p?
True
Let w(l) = -18*l - 1. Let v(i) = -72*i - 3. Let f(a) = 2*v(a) - 9*w(a). Let s be f(3). Let z = s + -27. Is z a multiple of 15?
True
Suppose -o + 4 = 3*j - 5, -2*j + 6 = 4*o. Suppose -30 = -2*w - o*w. Is 3 a factor of w?
True
Is 40/30*(1 + 31/2) a multiple of 3?
False
Suppose 7*p - 111 = -6. Suppose -b + 73 = 8. Suppose -5*c - p = -b. Does 4 divide c?
False
Let p(h) = -h**2 - 32*h - 47. Is p(-24) a multiple of 29?
True
Let n(r) = -4 - 2*r - 4 + 6 + 3. Is n(-6) a multiple of 13?
True
Suppose 2*m - 4*s = m - 97, -20 = -4*s. Does 16 divide 4/8 - m/2?
False
Let m = -4 + 12. Suppose m - 30 = -2*i. Suppose 49 = 5*q - 4*z - i, 2*q + 5*z - 24 = 0. Does 7 divide q?
False
Suppose -9 = -2*v + t, 2*v + 1 = -3*t + 2*t. Let q be 146 + v/(-2 - 0). Suppose -5*f + 100 = 5*m, -q = -5*f + 5*m - 45. Is f a multiple of 8?
False
Suppose -27*k = -28*k + 59. Is 3 a factor of k?
False
Let g = -18 - -6. Let k(o) be the second derivative of -o**5/20 - 11*o**4/12 + 2*o**3 + 7*o**2 - 2*o. Does 7 divide k(g)?
True
Suppose 8 = 3*v - 2*v. Does 4 divide v?
True
Let m(z) = -z**3 - 9*z**2 - 9*z - 12. Let f be m(-8). Let s = f - -9. Suppose 3*x - 5*o + 19 = 0, -3*x + s*x + 1 = o. Is x a multiple of 2?
True
Let d(r) = r + 28. Is d(11) a multiple of 39?
True
Suppose 4*s + 15 = -3*w, -3*s - 14 = -2*w + 7*w. Suppose -5*o = 3*b + 2*b + 5, 3*o + 5*b - 3 = 0. Does 6 divide (-22)/o - s/6?
True
Suppose 44 = 5*z - 3*y - 162, 4*z - 187 = -5*y. Let j = 3 - 0. Suppose -z + j = -2*m. Does 20 divide m?
True
Suppose -4*v - 4*k = -32, -3*v - 2*k + 27 = 2*k. Let a(g) = g + 4. Let y(x) = -2*x - 4. Let r(c) = -3*a(c) - 4*y(c). Does 11 divide r(v)?
False
Let g(y) = -y**2 + 4*y + 7. Let f be g(5). Suppose -f*i + 36 = -22. Suppose 0 = -2*s + r - 6*r + i, s + 2 = 3*r. Is s a multiple of 3?
False
Let m(z) = z**3 + 10*z**2 + 10*z + 4. Let o be ((-1 - 0)*9)/1. Let p be m(o). Does 5 divide p/((-15)/6 - -2)?
True
Suppose 1957 = 8*k + 221. Does 31 divide k?
True
Let k(s) = -s**2 + 6*s. Is 2 a factor of k(5)?
False
Let v(w) = -9 - 3*w + 18 - 13. Suppose -s + 2*a = -3, 0 = 4*s - 2*s - 2*a. Is v(s) a multiple of 4?
False
Let l(t) = -2*t + 14. Let d be l(7). Does 21 divide d + 6*(-14)/(-4)?
True
Let h be 2/((-1)/4*-2). Let v = h - 4. Suppose -4*f + v*f = 2*k - 48, 42 = 4*f + 5*k. Is 13 a factor of f?
True
Let q be 0*(-3)/(3/(-1)). Suppose q = 6*g - g - 250. Suppose d + d - g = 0. Is 9 a factor of d?
False
Let g(c) = 3*c**2 + 17*c + 9. Is g(-8) a multiple of 39?
False
Let v(s) = -s**2 + 8*s + 6. Let t be v(9). Suppose 86 = 3*r + 29. Is r + 2 + 1*t a multiple of 11?
False
Let k be (-12)/3*-1 + 1. Is 6 a factor of 5/k + 9 + -2?
False
Suppose 0 = 4*d - 0 - 20. Is d a multiple of 2?
False
Let k be 25/9 - (-4)/18. Suppose -4*c = -203 + k. Is c a multiple of 18?
False
Suppose 5*r + q = 2*q - 48, -4*r - 5*q = 21. Let z = 15 - r. Is z a multiple of 12?
True
Let z(k) = k**2 - 14*k + 14. Let n be z(12). Is 11 a factor of 1324/20 - (-2)/n?
True
Suppose -4*b + 362 = -90. Is b a multiple of 20?
False
Suppose l = 6*l. Suppose l = -3*f + 6 - 0. Suppose -3*c = 4*t - 253, 60 = -t + f*t + 4*c. Does 21 divide t?
False
Suppose -c = 11 - 1. Let r = c - -22. Is 6 a factor of r?
True
Suppose 2*x + 8*x - 440 = 0. Is 12 a factor of x?
False
Let s = 5 + 0. Suppose -31 = -s*h + 59. Is h a multiple of 18?
True
Suppose -2*c = c - 75. Suppose -5*l + c = 5*j, -3 = -4*j + l + 7. Suppose 178 = j*h + 58. Is h a multiple of 20?
True
Let u(k) be the second derivative of -k**5/20 - 5*k**4/12 - k**3/6 + 5*k**2/2 + 3*k. Is u(-5) a multiple of 5?
True
Let b(w) be the first derivative of w**2/2 + 2. Does 3 divide b(4)?
False
Let f(m) = -17*m - 18. Let p be f(-8). Suppose -p = -3*o + 62. Is 12 a factor of o?
True
Let l be (3/(-4))/(1/(-4)). Suppose -q + 29 = -0*q - l*i, 0 = 2*q - i - 53. Is 6 a factor of q?
False
Let f = -6 + 15. Does 9 divide f?
True
Let n(q) = q**2 - 6*q - 7. Let t be n(7). Let b(y) be the second derivative of y**3/6 + 13*y**2 + 3*y. Does 13 divide b(t)?
True
Let w be (3/(-3))/(1/(-5)). Suppose -l + 3*u = -u - 54, w*l = -2*u + 248. Does 17 divide l?
False
Suppose 7*q = 5*q + 120. Does 13 divide q?
False
Let r = 34 - 23. Suppose 2*v + 3*d = -10, 2*d + r + 1 = 4*v. Is v + 3/3*2 a multiple of 3?
True
Let t(a) be the third derivative of 0 + 0*a + 1/60*a**5 - 2*a**2 - 1/6*a**3 - 1/12*a**4. Is t(5) a multiple of 7?
True
Let d(k) be the first derivative of 19*k**2 + 3*k - 2. Let r be d(-2). Is (-1)/3 + r/(-3) a multiple of 10?
False
Suppose -4 = -7*o + 8*o. Is 14 a factor of ((-18)/10)/(o/100)?
False
Suppose 2*b = 4*b - 2. Does 6 divide b/(-5) + (-155)/(-25)?
True
Suppose -q = q. Does 16 divide 30 + (0 - (0 - q))?
False
Suppose -p + 5*p = 8. Suppose 0 = p*r - 7*r + 320. Is r/12 - 1/3 a multiple of 2?
False
Suppose 4*p - 2*p - 8 = 0, -96 = -5*s - 4*p. Is 6 a factor of s?
False
Let l be (-1)/(-1) - (15 - 5). Let r = l + 13. Suppose 2*f + 30 = r*h + 4*f, 3*h = 3*f. Is 4 a factor of h?
False
Let f = 6 + -4. Let i(z) = 2*z - 2. Let u be i(3). Suppose 26 = u*s - f. Does 4 divide s?
False
Suppose 0 = -3*x + 2*m + 128, 2*x - 4*m = 7*x - 250. Does 17 divide x?
False
Suppose 3*m - 2 = 2*m. Is (1 + -27)*m/(-4) a multiple of 13?
True
Let d = 5 - 0. Let m(a) = a**3 - 5*a**2 + 4*a + 7. Is m(d) a multiple of 14?
False
Suppose -b - 2*f - 9 = 0, 4*b + b + 10 = -3*f. Suppose -y - 4 = -4*q, 0 = -3*q + b + 5. Suppose 5*v - 111 = -y*p, p = 3*v - p - 49. Is v a multiple of 10?
False
Suppose 0 = 5*r - 155 - 175. Is r a multiple of 11?
True
Let s(n) be the third derivative of n**6/120 - 11*n**5/60 + n**4/2 - n**3/6 - 2*n**2. Is s(10) a multiple of 5?
False
Suppose 3*v - 4*j = 44 + 54, -v + 22 = 4*j. Is 15 a factor of v?
True
Suppose 4*g + g - 35 = 0. Suppose -4*j = -5*b - g, j - 2*b + 3*b + 5 = 0. Does 7 divide 204/8*j/(-3)?
False
Suppose t - 29 = -q, -q + 3*q - 50 = 2*t. Suppose -3*v = -6*v + q. Is v a multiple of 8?
False
Let o = -7 + 14. Let b be o + (6/3)/(-1). Suppose s + s + 52 = 2*n, 3*s + 130 = b*n. Is 13 a factor of n?
True
Let f(d) = -d**2 + 7*d + 11. Let q be f(8). Let o(r) be the second derivative of -r**5/20 + r**4/4 + 2*r**3/3 - r. Does 6 divide o(q)?
True
Suppose -4*c = -38 - 10. Suppose 4*z - z = c. Suppose 4*u = -20, -4*m - m = -z*u - 105. Is m a multiple of 10?
False
Let l = -1 + 6. Suppose 3*d + z + 2*z - 66 = 0, -4*d - l*z + 86 = 0. Does 8 divide d?
True
Let d = 3 + -2. Let t = d - -3. Suppose -t*v = -7*v + 30. Does 6 divide v?
False
Suppose -2*z + 6 = s, -z - 17 = -2*s - 0*s. Let j = s + -6. Suppose b = j*b - 8. Is 5 a factor of b?
False
Let o(c) = c**3 + 5*c**2 - 7*c - 4. Let d be o(-6). Let a(h) = -9 + 13 - d*h + 2*h**2 + 0*h**2. Is a(3) a multiple of 16?
True
Let c = -35 - -99. Is 16 a factor of c?
True
Suppose -4*a - 3*f - f = -48, a = -5*f. Is 7 a factor of a?
False
Suppose 10*i - 87 = 9*i. Does 5 divide i?
False
Let n(a) = 2*a + 2. Let p be n(4). Suppose -5*m = -6*m + o + 6, 4*m - 15 = o. Suppose -5*r = -10, 4*r + p = -m*x + 36. Is 6 a factor of x?
True
Suppose -4*r = -0*r - 152. Is 13 a factor of r?
False
Let o(q) be the third derivative of q**6/120 + q**5/30 + q**4/12 + q**3/6 - q**2. Let i be o(-1). Suppose a - 13 = -i*a. Is 13 a factor of a?
True
Let g(p) = p**2 - 13*p + 7. Let n be g(13). Suppose -2*w + 4*u = -36, w - n = -u + 11. Is w a multiple of 6?
True
Is (0 + 181)/(18 - 17) a multiple of 12?
False
Let c(v) = -2*v**3 + v**2 + 4*v + 1. Let q(j) = -j. Let i(t) = -c(t) - 6*q(t). Let y be (-2)/(-4) + 1/2. Does 2 divide i(y)?
True
Let g be (-1)/(3/(-12)) - -16. Let k = g - 4. Is k a multiple of 16?
True
Let j = 24 - -11. Is 5 a factor of j?
True
Let i(d) be the second derivative of -d**5/20 - d**4/3 + d**3 - 7*d**2/2 - d. Let o be i(-6). Is 8/10*(o - -6) a multiple of 13?
False
Suppose 0 = -5*f + 4*f + 4. Suppose -w - 5*a + 75 = -4*w, -f*a = 3*w + 102. Let s = -21 - w. Is s a multiple of 4?
False
Does 4 divide (3 - -1 - 0)*1?
True
Let u(w) = 11*w - 1. Is u(1) a multiple of 7?
False
Suppose 0 = -2*f - 2*i + 44 + 32, 91 = 2*f - i. Does 1