 Let x = 5 + l. Does 18 divide x?
False
Let n = -3 + 17. Is n a multiple of 14?
True
Does 5 divide 1/(-1 - (-6)/5)?
True
Suppose -d - 8*q = -6*q - 134, 0 = -3*d + 4*q + 352. Does 28 divide d?
False
Let l(s) = 2*s**3 + 6*s**2 + 4*s + 6. Let p be l(-5). Let a = p - -213. Does 28 divide a?
False
Suppose -31 = -3*w - g - g, 2*w - 26 = 4*g. Let u(z) = z**2 - 10*z + 15. Is 13 a factor of u(w)?
True
Let f(b) = 4*b**2 - 14*b + 13. Let q(x) = 5*x**2 - 15*x + 13. Let i(j) = -6*f(j) + 5*q(j). Let w be i(-10). Does 12 divide 1 - ((-69)/w)/(-1)?
True
Suppose -2*g - 3*g = -575. Suppose 2*p - 4 - 6 = 0. Suppose g = p*u - t, 3*t + t + 130 = 5*u. Is 8 a factor of u?
False
Suppose 0 = 3*s - 5*s + 92. Is s a multiple of 30?
False
Let x(s) = -s + 2*s - 1 - 2 - 2*s. Let g be x(-3). Suppose 0 = 2*c - g*c - 46. Does 19 divide c?
False
Suppose 4*i + 17 = -3. Suppose -5*x + 2*w - 578 = 0, -2*x - x + 5*w = 343. Is (-1)/i - x/20 a multiple of 3?
True
Suppose 5*a - 11 = k + 5, 5*k + 5*a = 40. Suppose p + 5 = -k*p. Does 16 divide 1 + 1*-31*p?
True
Let m be ((-3)/(-2))/((-2)/4). Let v(p) = p**2 + 2*p + 4. Let k be v(m). Let f = 7 + k. Is f a multiple of 14?
True
Let k(n) = 2*n**2 + 8*n + 5. Does 5 divide k(-5)?
True
Let c = 240 + -190. Is 10 a factor of c?
True
Let q(k) = k**2 + 2*k - 2. Let n be q(-6). Suppose 5*w - 30 = -5*b, 2*w = -3*b + 6*b + n. Is 4 a factor of w?
True
Let m = -27 - -34. Let f(j) = 4*j + 2 - 3 + 9. Is 12 a factor of f(m)?
True
Let k = -44 + 59. Does 5 divide k?
True
Suppose 2*q = 3*j + 251, 3*j = -0*q + 4*q - 499. Suppose 4*f - 4*m + q = 2*f, 5*f = 4*m - 286. Let r = f + 78. Does 8 divide r?
True
Let i(h) = -h**3 - 5*h**2 + h + 3. Let y be i(-5). Let s = 25 - y. Is 8 a factor of s?
False
Suppose 105 = 3*y - 2*l, 3*l = 5*y - 2*l - 180. Is 11 a factor of y?
True
Let y(w) = w**2 + 20*w + 30. Is 15 a factor of y(-26)?
False
Let d(c) = 3*c**3 - c**2. Let g be d(2). Let r = 32 - g. Is r a multiple of 6?
True
Let b(v) = -v**3 - 5*v**2 - 7*v - 2. Let f be 1/(-2*3/30). Is 16 a factor of b(f)?
False
Suppose 4*g - 3*y - y - 160 = 0, 3*y - 216 = -5*g. Is 6 a factor of g?
True
Suppose -4*u - 5*f - 6 = -17, 14 = -5*u + 3*f. Does 9 divide 3*(5 + 3 - u)?
True
Let s be (3 + -2)/(-1)*-3. Let u(f) = f - 1. Let b(j) = j**2 - j + 1. Let y(z) = b(z) + u(z). Does 9 divide y(s)?
True
Suppose 3*a = 4*n - 188, -158 = -3*n - a - 30. Is 12 a factor of n?
False
Suppose 3*n = -2*o + 373, 2*o = o - 3*n + 194. Does 27 divide o?
False
Let a(u) = u**3 + 197. Let b be a(0). Suppose b = 4*t - 75. Does 16 divide t?
False
Suppose -5*g - 25 = -0*g, 5*g = 3*w - 784. Does 49 divide w?
False
Let y(n) = 3*n + 8*n**2 + 9 + 2*n + n**3 + 0 + 3*n. Is 11 a factor of y(-6)?
True
Let x = 69 - 37. Is x a multiple of 4?
True
Let s(h) = h**2 - 4*h + 2. Let c(w) = w**2 - 5*w - 2. Let r be c(6). Let m be s(r). Suppose -m*k + 3*x + 1 = -k, -k + x = -11. Does 10 divide k?
False
Let j be ((-4)/(-3))/((-2)/(-3)). Suppose 0 = j*c - 90 - 18. Does 9 divide (c/(-15))/((-6)/15)?
True
Let v(x) be the second derivative of -x**4/12 + 5*x**3/3 - 5*x**2/2 + x. Is 4 a factor of v(7)?
True
Let p(c) = -2*c**2 - c + 3. Let w(g) = -g + 1. Let v(d) = -p(d) + 4*w(d). Let o(q) = q**2 + 10*q + 13. Let b be o(-9). Is 13 a factor of v(b)?
False
Let y = 420 - 1235. Is (-2)/(-11) + y/(-55) a multiple of 8?
False
Let f(n) = -n - 3. Let p be f(-6). Suppose -v = 0, y = -y + p*v + 16. Is 4 a factor of y?
True
Suppose 11*f - 7*f + 20 = 0. Let w = f - -56. Does 11 divide w?
False
Let x = -7 - -9. Suppose 18 = 2*c - 5*d, -x*c - 24 = -3*c - 5*d. Is 10 a factor of c?
False
Does 6 divide ((-52)/16)/((-3)/(12*3))?
False
Suppose 0 = -2*v - 2*x + 8, -2 = v - 2*x - 9. Let q(n) = n**2 - 4*n + 7. Is q(v) a multiple of 6?
True
Suppose -2 = 3*h - 17, -5*h - 65 = -5*d. Is 5 a factor of d?
False
Suppose l + 4 = 4*p + 67, 0 = l + 5*p - 54. Does 28 divide l?
False
Let p be -82 + (7 + -1 - 3). Let f = p - -123. Does 16 divide f?
False
Suppose 5*i + 7 = 2*f, 5*f - 3*i + 0*i - 27 = 0. Suppose -5*z + 44 = -4*x, -3*z = -f*x + 4*x - 28. Is 5 a factor of 18/z*(-10)/(-3)?
True
Is 30*76/56 + (-2)/(-7) a multiple of 4?
False
Suppose 0 = -2*y + 6*y - 520. Is 9 a factor of y?
False
Let z(i) = 16*i**2 - i - 2. Does 5 divide z(2)?
True
Let w(n) = -4*n - 4. Let p be w(-6). Suppose 4*r - 5*l + 2 - p = 0, -3*r + 3*l + 15 = 0. Suppose 2*j - j - r = 0. Is j a multiple of 7?
True
Suppose 5*z + 33 = 2*a, 7*a - 75 = 2*a + 5*z. Let u = 22 - a. Let y(c) = c + 2. Does 4 divide y(u)?
False
Suppose o - 5*o - 20 = -3*h, -3*h + 2*o + 16 = 0. Suppose -h*s = -13 - 7. Is 2 a factor of s?
False
Let z(b) = -7*b**3 - 2*b**2 - b. Let s be (-3)/(-2)*(-2)/3. Is 5 a factor of z(s)?
False
Suppose 5*y = 2*u + 90 + 59, -2*y - 3*u + 52 = 0. Let v = y - 16. Is v a multiple of 13?
True
Let k(v) = -2*v. Let r be k(-3). Suppose 3*j = -4*x + 17, r = x + 4. Is j even?
False
Suppose -2*q + 5*z = -53, -3*q = -z - 0*z - 47. Is q a multiple of 7?
True
Let t(z) = -11*z + 7. Does 28 divide t(-7)?
True
Is 12 a factor of -64*(-3 - 6/(-3))?
False
Suppose -2*c - 2*k = -246 - 62, c - 5*k - 130 = 0. Is c a multiple of 15?
True
Let j be (36/2)/(3/260). Suppose -5*u = -u - j. Is 11 a factor of (1/(-3))/((-5)/u)?
False
Is ((-1)/(-2))/(1/60) a multiple of 9?
False
Let m(l) = -4*l + 4. Is 7 a factor of m(-6)?
True
Suppose -34 = -o - 8. Is 6 a factor of o?
False
Let w(a) = 3*a**3 - 2*a**2 + 2*a + 1. Is w(3) a multiple of 26?
False
Let w be ((-3)/(-2))/(7/42). Suppose 0 = -3*q - w. Is 206/6 + (-2)/q a multiple of 13?
False
Suppose -5*i - 4 + 29 = 0. Suppose 20 = i*a, -8*n + 76 = -4*n - 2*a. Does 7 divide n?
True
Is 12 a factor of (20/(-1))/(-4 + 3)?
False
Suppose -827 = -5*p - 132. Is p a multiple of 10?
False
Suppose 0 = i - 2 - 7. Suppose 3*h = i, j + 2*h = -0*j + 20. Does 5 divide j?
False
Let z = 309 - 210. Does 33 divide z?
True
Suppose 0*x = -2*x + 4. Suppose -3*r - 8 = -2*c - r, 0 = x*c - 5*r - 2. Let n(m) = -m**3 + 6*m**2 + 3*m + 7. Is n(c) a multiple of 10?
False
Suppose -3*m - m = -76. Let y = -1 + 20. Let s = m + y. Is 19 a factor of s?
True
Let d = 83 + 48. Is 26 a factor of d?
False
Let p(b) be the first derivative of b**4/4 + b**3/3 - b**2/2 + 14*b - 4. Is 14 a factor of p(0)?
True
Suppose 3*a - 13 + 4 = 0. Let y(c) = c**3 - 2*c - 4. Is y(a) a multiple of 17?
True
Let l(b) = b**2 + 2*b - 11. Is 2 a factor of l(-6)?
False
Let z(x) = x**2 - x + 25. Suppose -3*l = -2*l. Let w be z(l). Suppose w = 5*t - 145. Does 17 divide t?
True
Let r = 22 - 12. Suppose -z = -4*u + 8, 7*z - 2*z + r = 5*u. Suppose v + s - 52 = -u*s, -3*v - 5*s + 140 = 0. Is 11 a factor of v?
False
Let o(s) = 3*s**2 - 41*s - 16. Is 9 a factor of o(19)?
True
Suppose -4*n - 4 = 3*p + 3, -p - 5 = 0. Suppose -n*r = -4*o - 2, -o = -5*r - 15 - 7. Does 10 divide 1*(3 + (4 - o))?
True
Let z = 208 + -123. Let v(i) = -8*i**2 - 5*i - 2. Let u be v(-3). Let l = u + z. Is l a multiple of 13?
True
Suppose 279 = 2*u + 31. Does 31 divide u?
True
Let d(u) = -u**2 + 14*u - 17. Let i = 0 + 12. Is d(i) a multiple of 2?
False
Suppose -2*h + 5*h - 810 = 0. Suppose -3*i + 5*j + 128 = 0, j = 5*i + 4*j - h. Suppose 0*p = 3*p - i. Is p a multiple of 9?
False
Suppose 6*z + 5*z = 748. Does 9 divide z?
False
Let h(d) be the first derivative of -d**4/4 - d**3/3 - 4*d + 4. Is 3 a factor of h(-3)?
False
Let s be 1 + -2*1 + 3. Suppose -2*o + 5*y = 21, 0 = -2*o - 2*o + 2*y - s. Is 2 a factor of o?
True
Let z(o) = -4*o**2 + 2*o + 1. Let y be z(-1). Let j(d) = -d - 2. Let c be j(-2). Is (15 - c)*(-4)/y a multiple of 6?
True
Let j(d) = -d**3 - d**2 + 5*d + 4. Let v be j(-4). Suppose -4*z - 2*y = -5 - 15, 5*z - v = y. Is 2 a factor of z?
True
Suppose -5*p + 8 = 3*h, 5*p = -0*p + 3*h + 2. Is (-1)/p*(0 - 5) even?
False
Let b(j) be the third derivative of j**5/30 + j**4/24 - j**3/2 - j**2. Let d be b(-3). Let h = d + 36. Does 16 divide h?
True
Let k = 5 - 5. Suppose -d - 2*g - 2 = k, d + 0*g = -4*g - 8. Is d a multiple of 2?
True
Let i = -134 - -300. Is 34 a factor of i?
False
Let k(i) be the second derivative of i**7/840 + i**6/60 + i**5/60 + i**4/6 + i**3/6 - 3*i. Let t(g) be the second derivative of k(g). Is 7 a factor of t(-5)?
False
Let s = -5 - -9. Let p(l) = 9*l**2 - 5*l + 6. Let h be p(s). Suppose 5*z = -35 + h. Is 13 a factor of z?
False
Suppose -5*m + 3*m = -24. Suppos