Does 15 divide 2/7 - (-1046)/14?
True
Suppose z - 60 = 2*s + 2*s, -2*s = 5*z - 278. Let o = 80 - z. Does 9 divide o?
False
Let m be 54/13 + 4/(-26). Is 3 a factor of 1 - ((-2)/(-2) - m)?
False
Let s be 80/24*(-12)/(-10). Let h(x) = x**3 - 3*x**2 + 7*x - 5. Is h(s) a multiple of 13?
True
Suppose -5*s + 5*x + 325 = 0, 3*x - 45 = s - 2*s. Does 15 divide s?
True
Let u(v) = -5 - 3 - v - 2. Let b be u(-7). Let y = 7 - b. Is 5 a factor of y?
True
Suppose 0 = -0*n - 4*n + 12. Suppose n*q = -b - 2*q + 20, 4*b + 5*q - 80 = 0. Is 18 a factor of b?
False
Let g(k) = k**3 + 11*k**2 + 9*k - 9. Is 53 a factor of g(-9)?
False
Is (6 - (14 - 6))*(0 - 10) a multiple of 4?
True
Let n = -92 - -152. Let m = n - 5. Suppose 10*c = 5*c + m. Is 4 a factor of c?
False
Let v = 223 + -157. Suppose -v - 54 = -4*n. Does 22 divide n?
False
Suppose -4*s = -0*s - 188. Let m = s + 58. Suppose 5*v - 162 = 4*r + 15, 3*v - 3*r = m. Is v a multiple of 14?
False
Suppose -2*v = -c - 42, 0 = -2*c + 8. Suppose j - 2*w = 28, -2*j - 3*w + v = -j. Let y = j + 4. Is y a multiple of 15?
True
Let l(j) = j**2 + 8. Is l(0) a multiple of 6?
False
Let q(y) be the first derivative of y**3/3 - y**2/2 + 6*y - 2. Let n be q(0). Suppose f + f = n. Is f even?
False
Let t = 81 - 53. Is t a multiple of 28?
True
Does 8 divide (2 - 273/6)/(2/(-4))?
False
Let p(u) = -2*u + 9. Let i be p(7). Let g = i - -3. Is (-1 + -1)/(g/17) a multiple of 11?
False
Let l = -5 - -6. Is 726/18 + l/(-3) a multiple of 20?
True
Suppose 4*s = -y - 3, -y + 0*y + 1 = 2*s. Let i = s + 5. Suppose -i*g + 48 = -27. Does 15 divide g?
False
Let f(l) = -l**2 - 10*l - 4. Let a be f(-9). Suppose a = 3*u - 13. Is 2 a factor of u?
True
Does 6 divide 15/(-6)*62/(-5)?
False
Let j = 68 + -64. Is 4 a factor of j?
True
Let f = 4 - 2. Suppose 5*m - 36 = -f*k + 23, 0 = 3*k - 5*m - 26. Is k a multiple of 17?
True
Let d(k) = -8*k - 8. Is 5 a factor of d(-7)?
False
Suppose 0 = -3*z + 4*z, 5*c - 3*z = 105. Is c a multiple of 11?
False
Let y be (1*16)/((-1)/(-2)). Suppose d + 4 = 0, 4*g + d - y = 28. Does 16 divide g?
True
Let a(n) = -2*n**2 + 2*n + 2. Let z be a(2). Is 5/(3 + z) + 2 a multiple of 7?
True
Let h(a) be the first derivative of 14*a**3/3 - 1. Let p be h(1). Suppose -42 = -4*d + p. Is 7 a factor of d?
True
Let d be 0 - -76 - (-3)/3. Does 7 divide 4/(-14) - (-2794)/d?
False
Let v be (558/(-3))/(7/14). Does 17 divide 2/(3*(-4)/v)?
False
Let b be ((-93)/(-9))/((-2)/(-6)). Let r = -17 + b. Does 9 divide r?
False
Suppose 3*o = 4*j - 51, -5*j - 2*o + 29 + 29 = 0. Does 18 divide (-2)/8 + 219/j?
True
Let k = -1 + 4. Let j = k - 2. Is 18/(-3)*-1*j a multiple of 4?
False
Suppose -5*f + 5 - 25 = 0. Let p(u) = 14*u**2 - 2*u - 3. Let b(v) = -5*v**2 + v + 1. Let a(s) = 11*b(s) + 4*p(s). Does 2 divide a(f)?
False
Suppose 5*k - 111 = 3*u, -3*u = -0*k - 3*k + 63. Is 10 a factor of k?
False
Let s = -4 + 3. Let g be (2 + -2)*1*s. Suppose g = -4*h - 2*k + 76, 0 = 3*k + 2*k. Is 19 a factor of h?
True
Suppose -4*n = 4*t, -3*t + 2*n = 4*n. Let w = t - -24. Does 12 divide w?
True
Suppose 5*m + f - 8 = 0, 5*m + 3*f - 8*f = -10. Let b(d) = 3*d - 3*d - 5*d + 4*d - d**2 + m + 15*d**3. Does 7 divide b(1)?
True
Suppose u = -2*u. Suppose -2*b - c - 2*c + 11 = 0, u = -4*b + 4*c + 12. Suppose -3*p - b = -13, 5*j - 4*p - 13 = 0. Does 4 divide j?
False
Suppose 117 = 2*a + a + 2*d, -5*a + 4*d + 173 = 0. Is 37 a factor of a?
True
Let s = -12 + 32. Suppose 2*b - 6*b = -s. Suppose 0*n + 85 = b*w + 3*n, 0 = -2*w - 3*n + 43. Is w a multiple of 10?
False
Let p(j) be the first derivative of -j**4/4 - 8*j**3/3 - j**2 - 7*j - 4. Let t be p(-8). Does 8 divide (1 + -46)*(-6)/t?
False
Let j(i) = -i**2 + 8*i - 9. Let z be j(6). Suppose 37 = h - z*y, -115 = -0*h - 4*h + y. Suppose h = -3*a + 7*a. Is 4 a factor of a?
False
Suppose -2*r - 5*v + 62 = -98, -4*r - 2*v = -320. Is r a multiple of 5?
True
Let n = -61 + 91. Is n a multiple of 5?
True
Let m = -22 + 107. Let y = m - 55. Is 15 a factor of y?
True
Let h be (-136)/(-24) - 2/3. Suppose f + 0*f = 4*m + 15, -3*f + h*m = -45. Does 15 divide f?
True
Suppose 3*m + 5 = 11. Suppose 7*f - m*f = 20. Suppose -2*u = -5*a - 68, -2*a + f = -3*a. Is 14 a factor of u?
False
Let s be (1 + -7)/((-3)/2). Suppose j + 1 = 0, -3*r - 5*j = -s*r + 5. Suppose r = 2*n + 2*n - 140. Does 12 divide n?
False
Suppose 0 = -4*u + 12, 0*u = 3*a - u - 9. Does 12 divide ((-90)/a)/((-5)/10)?
False
Is -3*3/(27/(-42)) a multiple of 11?
False
Let l = -21 + 41. Is l a multiple of 4?
True
Suppose 158 = 3*g + 5*x, -4*g - x + 228 = -3*x. Is g a multiple of 27?
False
Is -77*(-3 + 4 + -2) a multiple of 11?
True
Let v = 43 + -25. Suppose -7 - v = -5*f. Suppose m - 5 - f = 0. Is m a multiple of 7?
False
Let n(d) = -2*d - 2*d - 4*d + 3*d + 3 + 3*d**2. Is 11 a factor of n(4)?
False
Let j = -88 + 104. Is 3 a factor of j?
False
Let f(q) = q**2 + 1. Let r(t) = -7*t**2 - 3*t + 1. Let g(a) = -3*f(a) - r(a). Let v = -8 - -4. Is g(v) a multiple of 19?
False
Let b(q) be the first derivative of -2*q**2 + 1/3*q**3 - 9*q + 1. Is 12 a factor of b(7)?
True
Suppose -3*b + 2201 = 5*j + 407, -1797 = -5*j - 4*b. Is 11 a factor of j?
False
Let w(i) = 2*i**2 - i + 152. Does 38 divide w(0)?
True
Let n = 0 + 7. Suppose -3*m + n = -8. Is 5 a factor of m?
True
Let d(m) = -m - 7. Let f be d(-5). Let p be (f + -55)*1/(-3). Let n = -11 + p. Does 8 divide n?
True
Let s(w) = -w**3 - 2*w**2 + 5*w + 3. Let m be s(-3). Let i = 58 - m. Does 20 divide i?
False
Let p(b) = 5*b**3 - 4 + 4*b**2 - 4*b**3 - 6*b + 3. Let n be p(-5). Suppose 2*c = -r + 2*r - 23, 0 = -4*r + n*c + 96. Does 19 divide r?
False
Let x(i) = 7*i**2 - 2*i + i + 2*i + 2. Is 14 a factor of x(-2)?
True
Let k(r) = 304*r + 22. Let a(y) = -101*y - 7. Let s(z) = -8*a(z) - 3*k(z). Let x(f) = 21*f + 2. Let c(t) = -3*s(t) - 14*x(t). Is 19 a factor of c(2)?
True
Suppose -2*j + 2*a = -12, 3*a + 22 = 6*j - j. Suppose -38 = -j*o - 0*o. Is o a multiple of 17?
False
Let x(p) = -3*p**3 + p. Suppose 5*z + 5*y + 20 = -0*y, 2 = -5*z + y. Let i be x(z). Suppose d + 10 = -3*q + 4, -4*d + 32 = -i*q. Is d a multiple of 3?
True
Let p = 10 + -7. Suppose -5*n + 150 = -i, p*n - i - 90 = -3*i. Is 9 a factor of n?
False
Suppose 4*r - 56 = 400. Is r a multiple of 36?
False
Let w(u) = 281*u**2 + u - 1. Let s be w(1). Let x be (-3)/15 - s/(-5). Let o = -38 + x. Is o a multiple of 12?
False
Let w(x) = 11*x + 13. Let c(z) = 5*z + 6. Let a(p) = -2*p + 3. Let g be a(4). Let d(m) = g*c(m) + 2*w(m). Is 14 a factor of d(-6)?
True
Let f = -18 - -38. Is 10 a factor of f?
True
Let x = 14 - 12. Let p = 14 - 4. Suppose 0 = x*z - p. Is 2 a factor of z?
False
Suppose 2*p = -2*h - 0*h + 22, 2*p = 5*h + 36. Suppose -3*d + 5 = 5*v, -5*v + 3 = p. Is d a multiple of 3?
False
Let k = 64 + -60. Let x(z) be the third derivative of z**6/60 - z**5/12 - z**4/8 + z**3 + z**2. Is x(k) a multiple of 14?
True
Suppose j + 28 = -5*z + 11, 3*z + 3 = -3*j. Let k(h) = 6 - j + 2 + 2*h. Is 10 a factor of k(7)?
False
Let p(w) = 2*w**3 - w**2 + 2*w + 5. Does 8 divide p(3)?
True
Let m(d) be the first derivative of -4*d**3/3 - d**2/2 + 3. Let r be m(1). Let a = 7 + r. Is 2 a factor of a?
True
Let x be (-13)/1 - (-3 - 0). Let f = 25 + -67. Let p = x - f. Is p a multiple of 11?
False
Let h(v) = -v**3 - 6*v**2 + v + 10. Does 2 divide h(-6)?
True
Let q(d) = -d. Let y be (-2 + -1)*(-21)/9. Let c be q(y). Let w(g) = g**3 + 8*g**2 + 3*g + 10. Is w(c) a multiple of 19?
True
Let q = -5 - -8. Suppose 4*h = -5*y - 34, 4*y + y = q*h + 8. Is (10/(-4))/(3/h) a multiple of 5?
True
Is 5 a factor of (-12)/(-9)*((-15)/(-6) + 2)?
False
Suppose 3*y + 0*s + 2*s = 1, -2*y - 3*s = -9. Let t be 28/12 - (-1)/y. Is (-11 - 1)/(t - 3) a multiple of 7?
False
Let t(z) = 40*z + 18. Does 17 divide t(2)?
False
Let z(g) = g**2 - 5*g + 2. Let y be z(4). Is 12 a factor of ((-64)/1)/y - 2?
False
Is 2 a factor of (35/(-20) + 1)/((-1)/12)?
False
Suppose 96 = -2*o - u, 3*u + 58 + 38 = -2*o. Is 3 a factor of (2/(-4))/(4/o)?
True
Suppose 4*u + 4*p - 48 = 0, 2*u + 2*p = 5*p + 34. Let b = -1 + 1. Is 10 a factor of u - ((b - -2) + -2)?
False
Does 11 divide (5406/(-7))/(-3) + (-9)/21?
False
Suppose 0 = -5*f + 15, -6*t = -4*t - 2*f + 2. Suppose -i = -5*v - 11, t*v + 57 = 3*i - v. Is 20 a factor of i?
False
Suppose -3*i - 1 = -2*i. Is 14 a factor of (21/(-12))/(i/8)