vide f?
True
Suppose -i = -2, i + 5 = o + 3. Suppose -o*h - 3*m = -137, -3*h - 5*m + 4*m = -104. Does 7 divide h?
True
Suppose -165 - 45 = -5*f. Is f a multiple of 10?
False
Let q be (6/3)/2*-3. Let i(s) = -2*s**2 - 4*s + 1. Let u be i(q). Is 0 + u/(-1) + 0 a multiple of 3?
False
Let o(h) be the second derivative of -h**5/20 - 5*h**4/12 + 3*h**3/2 - 5*h**2/2 + 4*h. Does 20 divide o(-7)?
False
Let w(y) = 15*y**3 + 3*y**2 + 4*y - 3. Let t(v) = -14*v**3 - 2*v**2 - 3*v + 2. Let h(j) = 3*t(j) + 2*w(j). Suppose -2*g = 2 - 0. Is 13 a factor of h(g)?
True
Suppose -2*i - 4*d + 41 + 9 = 0, 0 = -4*i + 5*d + 165. Is 10 a factor of i?
False
Let g = 7 + 1. Let u = g - 3. Is 3 a factor of u?
False
Suppose -5*i + 15 = -3*c, -5*c - 3 + 4 = -4*i. Let n(q) be the third derivative of q**4/4 - 7*q**3/6 - q**2. Is n(i) a multiple of 15?
False
Let f = -4 - -9. Is f a multiple of 5?
True
Let q = 8 - 6. Suppose q*z - 480 = -3*z. Suppose -3*v + z = v. Is v a multiple of 12?
True
Let p = 11 - 7. Let f = -61 + 139. Suppose 26 = p*o - f. Is o a multiple of 9?
False
Let k = -127 + 59. Let s = k - -142. Is s a multiple of 22?
False
Let p(c) = c**3 - 3*c**2 + 2. Let a be p(3). Is (1 - a/(-6))*3 a multiple of 2?
True
Let j(o) = -o**2 - 14*o - 9. Suppose 4*h + 45 - 5 = 0. Is j(h) a multiple of 9?
False
Suppose 0 = 2*d - d + 1, -o - 2*d = 12. Does 12 divide 4*22*o/(-20)?
False
Let h be 5 - (1/(-1))/(-1). Suppose -5*w - 40 = -h*v, -3*w = -0 + 12. Is v a multiple of 5?
True
Suppose 3*u = 5*u - 58. Suppose 0 = -i + 17 + u. Does 23 divide i?
True
Suppose 0 = -2*c - 2*c - 3*s, -s = 3*c. Suppose c = 2*u + u. Suppose u = -5*k + 25, 0 = -0*t - 4*t + 4*k + 100. Does 10 divide t?
True
Let w be (-32)/5 - (-2)/5. Let x be (w*1)/(-1 - 1). Suppose 5*t + 38 = 5*y + x, t - 21 = -3*y. Is y a multiple of 7?
True
Suppose 590 = 2*k + 8*k. Is k a multiple of 16?
False
Suppose 4*b - 4 = 4*d, -2*d + 1 - 3 = -3*b. Suppose -4 + b = 2*s. Is 12 a factor of -2 + 25 - s/(-1)?
False
Suppose -3*a = -2*a - 10. Is a a multiple of 10?
True
Suppose -44 + 4 = -x. Is 10 a factor of x?
True
Let s = -2 - -8. Let z = 16 - s. Is z a multiple of 5?
True
Let i(a) = -a**3 + 6*a**2 - a - 4. Let j(l) = -l**3 - 9*l**2. Let g be j(-9). Suppose g = 3*d - 11 - 4. Is i(d) a multiple of 13?
False
Let r(i) = -34*i**3 + i**2 - i - 2. Is 9 a factor of r(-1)?
False
Let a be (-20)/(-5)*1/1. Suppose -a*v - 2*o = -6, -2*o - 2 = 8. Is 4 a factor of v?
True
Suppose -b + 13 = -41. Suppose 0 = p + 2*p + r - b, -5*r = -2*p + 36. Does 5 divide p?
False
Suppose 4*d - 2*d - 64 = 0. Is d a multiple of 8?
True
Let b(y) = y**2 + y. Let l be b(0). Suppose q + 3*q - 8 = l. Suppose x = -8*i + 3*i + 11, -98 = -3*x - q*i. Is 12 a factor of x?
True
Suppose k = -3*a - 1, 3*k - 4*a + a + 39 = 0. Is 5/k - (-62)/4 a multiple of 8?
False
Suppose -t = 2 - 6. Let c be 6/(-21) + 66/(-14). Is 7 a factor of (-14)/c*(t + 1)?
True
Let o be 4/(-14) + (-765)/(-105). Let c = 23 - o. Does 8 divide c?
True
Let c(p) be the first derivative of p**3/6 + 7*p**2 + 2*p + 1. Let w(q) be the first derivative of c(q). Is w(0) a multiple of 5?
False
Let h(p) be the second derivative of -p**4/12 + 5*p**3/2 + 5*p**2 + 6*p. Does 10 divide h(14)?
False
Let s(q) be the third derivative of q**6/120 - q**5/20 - q**4/4 - 2*q**3/3 + q**2. Suppose -32 = -5*f - 7. Is s(f) a multiple of 8?
True
Is 16 a factor of 94*(-2)/(-4) - -1?
True
Suppose 2*d + 60 = 6*d. Does 13 divide d?
False
Does 25 divide (-1 - -43) + 4 - -1?
False
Let y(f) = 5*f**3 - 3*f**2 + 3. Does 7 divide y(2)?
False
Suppose -6*r + 148 = -2*r. Is r a multiple of 14?
False
Let n = -16 - -23. Suppose 2*c - 3 = -3*i, -i - c + 3*c - n = 0. Is 9 a factor of (-13)/i + 2 + -2?
False
Let z(a) = -35*a**3 - a**2. Suppose 3*q + 3 = -0. Let p be z(q). Suppose 2*k - 77 = -j, 0*k - 4*j - p = -k. Is 19 a factor of k?
True
Let d = -87 - -141. Is d a multiple of 27?
True
Let i(q) = 2*q + 6. Is i(11) a multiple of 10?
False
Let u(p) = 2*p + 6 + 0 + 4. Is 14 a factor of u(9)?
True
Suppose 5 = -2*x - 7. Let n(p) = 2*p**2 + 9*p + 4. Is 18 a factor of n(x)?
False
Let u(w) = -17*w + 8. Is 22 a factor of u(-2)?
False
Let k = 50 - -20. Let g = -44 + k. Is 16 a factor of g?
False
Let s = -31 - -61. Is s a multiple of 15?
True
Suppose 4*z - z = 354. Is z a multiple of 25?
False
Let j(u) = 43*u + 2. Does 21 divide j(3)?
False
Suppose 3 = -2*k - k. Let p(s) = -s - 5. Let i be p(4). Does 11 divide k/(-3) - 123/i?
False
Suppose 7*p - 359 - 19 = 0. Is 3 a factor of p?
True
Suppose -58 - 104 = -4*t - 3*k, k = -2. Is t a multiple of 10?
False
Let p = -25 - -37. Let q = -7 + p. Suppose -2*w + 144 = 5*d - 0*d, 0 = q*d - 5*w - 130. Does 14 divide d?
True
Suppose -42 = -5*f - 12. Suppose -o = f - 0. Does 4 divide (-17 + 1)*3/o?
True
Let p(m) = -m**3 + 3*m**2 - 2*m - 2. Let l be p(2). Is l/3*714/(-28) a multiple of 3?
False
Suppose -3*m + 12 = 0, -5*m - 197 = -4*s + 283. Does 25 divide s?
True
Let z = 4 - -5. Let p = 37 - z. Does 12 divide p?
False
Let q(k) = -8*k**2 + 5*k**2 + 5 - 1 + 3*k - 4*k**3. Is q(-3) a multiple of 22?
False
Let a(n) be the second derivative of -1/2*n**3 - 5/12*n**4 + 0 - 1/20*n**5 - 2*n + 1/2*n**2. Is a(-5) a multiple of 8?
True
Let c be -1 - (-536)/4 - -3. Suppose -109 = -5*z + c. Does 17 divide z?
False
Is 107/5 + (-12)/30 a multiple of 21?
True
Suppose 5*b + 3*w - 182 = 0, 4*w = -b + w + 46. Is b a multiple of 23?
False
Let l be ((-6)/(-5))/(1/(-5)). Let d(o) = -3*o**2 - 8*o + 4. Let t(c) = c**2 + c + 1. Let f(p) = d(p) + 2*t(p). Is 3 a factor of f(l)?
True
Let b(q) = 16*q. Let v(n) = -3*n. Let l(p) = 4*b(p) + 22*v(p). Is l(-1) even?
True
Let v = 0 - -4. Suppose -11 = -v*j - 3. Is j even?
True
Does 12 divide (118/3)/((-8)/(-12))?
False
Let w(a) = a + 24. Does 8 divide w(11)?
False
Let n(d) = d**3 + 5*d**2 + 2*d. Suppose 5*f + 5*j = 40, -4*f - 4 = -7*f + 2*j. Suppose -f*r + 1 = -h + 14, 2*r + 3*h + 17 = 0. Does 8 divide n(r)?
True
Suppose -3*b + 51 = -0*b + m, -2*m - 85 = -5*b. Is 16 a factor of b?
False
Suppose 0 = -5*h + 4*l - 20, -l + 0 = -h - 5. Suppose h*a = 2*a. Suppose a*k + 69 = 2*k - 5*q, 0 = -4*q - 20. Does 9 divide k?
False
Suppose -10*c + 17*c - 1043 = 0. Does 7 divide c?
False
Let q = 147 - 17. Is 13 a factor of q?
True
Does 11 divide -4 - -2 - -38*1?
False
Let q = -3 - -4. Suppose -g = -0 - q. Does 8 divide (-28)/(-3) + g/(-3)?
False
Suppose 4*f - 49 = -5*r, f + 3*f - 44 = -4*r. Is 3 a factor of f?
True
Suppose r = 4*z - 39, -6*z + 4*z = 5*r - 47. Is z a multiple of 7?
False
Let g = 12 - 6. Let r be ((-4)/(-6))/(2/g). Suppose r*k + 2 = 36. Is k a multiple of 17?
True
Suppose -n - 2*k = -0*n - 47, 3*n + k = 116. Let j = 14 + n. Let r = j + -33. Is r a multiple of 9?
True
Let o(t) be the third derivative of -t**6/120 + 2*t**5/15 - 2*t**3/3 - t**2. Let w = -8 + 12. Is 21 a factor of o(w)?
False
Let h(m) = 2*m**2 - 2*m - 2. Let k be (48/36)/((-2)/3). Is h(k) a multiple of 10?
True
Is (-166)/3*1/(6/(-9)) a multiple of 18?
False
Let h be -5 + 4 - 46/1. Is 8 a factor of (-1)/(189/h + 4)?
False
Suppose -4*f + 10 = -2. Suppose -c - 9 = f*k, -4*k + 5*k - 3*c = -13. Does 3 divide k/(-8) + 30/4?
False
Let r = 546 + -335. Is r a multiple of 18?
False
Let g be (55/10)/((-2)/(-44)). Suppose g + 44 = 5*n. Does 23 divide n?
False
Let c = -66 - -114. Does 8 divide c?
True
Let m(j) = j**2 + 3*j - 11. Does 2 divide m(-6)?
False
Is 1842/27 + 6/(-27) a multiple of 17?
True
Let g = -219 + 320. Suppose 2*f = 3*v + 99, 3*f - 39 - g = -4*v. Is 16 a factor of f?
True
Let x be -1 + 0 - (-4 - -3). Suppose x = 3*z + 3*k - 3, 2*z - 5 = -3*z + 5*k. Suppose 4*c + 4*n - 44 = 0, -7 = -4*n + z. Is c a multiple of 5?
False
Let t = -28 - -307. Let u = -195 + t. Is u a multiple of 23?
False
Let a = 1 - -1. Let z(m) = -2 + 1 + 2*m + m**2 + a. Does 13 divide z(-5)?
False
Let d = 77 + -24. Let f = 88 - d. Is f a multiple of 13?
False
Suppose -3*x + 3*k - 27 = 0, -2*x - 3*k + 0*k - 3 = 0. Let f(m) = -m**3 - 6*m**2 - 6*m**2 + 6*m**2 + 6. Does 6 divide f(x)?
True
Let i(d) = 24*d**2 - 2*d. Is i(-1) a multiple of 5?
False
Let l = 116 + -39. Is 20 a factor of l?
False
Suppose -5*s = -0*w - 4*w - 174, -3*w = -4*s + 139. Does 17 divide s?
True
Let t = 47 + -37. Does 4 divide t?
False
Suppose 18 = 4*p - 2. Suppose -5*u = -p*t - 455, 6*u - 5*u - 4*t = 76. Is u a multiple