e
Let c = 5 - 3. Let v(p) be the first derivative of p**4/2 + 2*p**3/3 - p**2/2 - 1. Is 14 a factor of v(c)?
False
Let m(s) = -3*s**3 - 7*s**2 - 6*s + 8. Let d(g) = g**3 + g**2 + g - 1. Let t(p) = -4*d(p) - m(p). Let y be t(3). Is 10 a factor of 18/1 - y/(-1)?
True
Let h be (5 + -5)*(-1)/2. Suppose h = 4*j - 79 - 49. Is 16 a factor of j?
True
Does 12 divide (-19514)/(-132) + (2/(-1))/(-12)?
False
Let i be (-280)/(-16) + 1/2. Suppose 0 = 2*r - y - 6, 4*y + 17 = 3*r + 3. Suppose -r*u = -12 - i. Is u a multiple of 6?
False
Let k be 16/4*3/4. Suppose -48 = -k*t - 0*t. Is t a multiple of 11?
False
Let x = 7 + -3. Let y = 176 + -117. Suppose 0 = -x*q + 2*p - 6*p + 56, 3*p - y = -4*q. Is 17 a factor of q?
True
Suppose -2*w - 2*w = -8. Suppose w*i - 6*i + 4 = 0, -2*i = 3*r - 11. Does 3 divide r?
True
Suppose 0 = -4*g - 13 - 15. Does 3 divide (-2)/7 - 23/g?
True
Suppose -3*o - 2*o + 70 = 0. Does 5 divide o?
False
Let y = 66 + -18. Does 24 divide y?
True
Let o = 4 - 2. Is 3 a factor of o*(15/2)/5?
True
Suppose -l + 2 = -2. Suppose -l*y - g - 76 = 0, 5*y - 5*g + 15 + 55 = 0. Is 6/27 - 320/y a multiple of 9?
True
Suppose 0 = -5*m + 15, 2*m + 36 = 3*i + m. Let w = i - 7. Let b(h) = h**3 - 5*h**2 - 6*h + 5. Does 2 divide b(w)?
False
Suppose l = -5*s + 495 + 33, -4*l + 222 = 2*s. Is s a multiple of 16?
False
Let o(b) = 5*b**2 - b - 10. Is 19 a factor of o(-3)?
True
Is 2145/45*(0 - -9) a multiple of 13?
True
Is 50/(-15)*(-5 - -2) a multiple of 7?
False
Suppose 0 = 4*l + 7*v - 5*v - 330, l = -2*v + 90. Is l a multiple of 10?
True
Let k(u) = u**3 + 6*u**2 + 3*u + 4. Let i be k(-4). Suppose 0*m + 3*m = -3*x + 54, i = x + 3*m. Is x a multiple of 15?
True
Let z(m) be the third derivative of m**6/40 + m**5/60 - m**4/12 - m**3/3 - m**2. Let u(i) be the first derivative of z(i). Does 15 divide u(-2)?
True
Let k(l) = -16*l - 52. Is 19 a factor of k(-8)?
True
Let x(w) = -44*w - 5. Let m(l) = -22*l - 3. Let r(o) = -11*m(o) + 6*x(o). Let k be r(-6). Suppose -k = -10*q + 5*q - n, -23 = -q - n. Does 10 divide q?
False
Let w(m) = m**2 + m - 4. Let r be w(0). Let o be 1 - (-2 + r)/3. Is 6 a factor of (-3)/(-1 + o/4)?
True
Let y be (-126)/(-12)*2/1. Is -48*(y/(-12) + 1) a multiple of 24?
False
Suppose -20 = -4*z - 4. Let o be 0*(6/z - 2). Suppose -2*b + 30 = -o*b. Does 8 divide b?
False
Suppose -54 = -4*d + 2. Suppose 3*u + 5 = d. Does 2 divide u?
False
Let z = -19 + 51. Does 21 divide z?
False
Let l(n) = -2*n**3 - 5*n**2 + 5*n + 10. Is 9 a factor of l(-4)?
False
Let d = -7 - -29. Is d a multiple of 22?
True
Let v = -2 - -4. Let f be v/(4 + -2) - 13. Let h = f - -20. Does 4 divide h?
True
Is 92 + (-4 - -6) + -7 a multiple of 25?
False
Let z(g) = -g**3 + 6*g**2 - 6*g + 9. Let p be z(6). Let q = 79 + p. Suppose -2*f - 2*o + 32 = 0, -3*f - o = -2*o - q. Does 14 divide f?
False
Let z(c) be the third derivative of -c**5/60 - c**4/4 + 2*c**2. Let i be z(-5). Suppose 31 + 14 = i*l. Is l a multiple of 6?
False
Suppose 11 = -5*i + 26. Suppose 23 = i*h - 31. Is 4 a factor of h?
False
Let n(y) = -y**3 + 8*y**2 - 3*y - 8. Let h be n(6). Suppose -26 = 4*j + h. Let a = 35 + j. Is a a multiple of 13?
False
Let a = 239 + -79. Is a a multiple of 25?
False
Let w(j) = 2*j**3 - 4*j**2 + 2*j. Is w(2) a multiple of 4?
True
Suppose -5*g = 3*v - 4 - 9, 5*g - 9 = -4*v. Suppose 0 = -3*o + g*o - 34. Let s = -7 + o. Does 10 divide s?
True
Let a(n) = -4 + 5 + n + 3 + n**2. Does 16 divide a(-4)?
True
Is 18 a factor of (-162)/5*(220/(-8))/11?
False
Suppose 0 = 3*m - 3 + 318. Let o be (-540)/8 + 1/(-2). Let l = o - m. Does 15 divide l?
False
Suppose -m - 13 = 4*n, -2 = -n - 2*m - 14. Let o = n - -16. Is o a multiple of 4?
False
Suppose 0 = -t + 2*k + 10, -2*k - 20 = -4*t + k. Suppose t*y - 3*y = -28. Suppose -22 = -v - 2*b + 6*b, 4*b = 2*v - y. Is 6 a factor of v?
True
Let z(m) = -15*m + 1. Let y be z(1). Let b be (1/(-2))/((-22)/308). Does 12 divide (72/y)/((-1)/b)?
True
Suppose x - 5 = -57. Let b = -29 - x. Is b a multiple of 12?
False
Let v = 7 + -5. Suppose -3 = g - 3*p, g + v*p = 2*g - 2. Is g a multiple of 3?
True
Suppose 3*r + 0*r - 90 = 0. Does 15 divide r?
True
Let n = 6 - 0. Let d = 19 - n. Does 5 divide d?
False
Let w(s) = -s**2 + 18*s + 8. Is 2 a factor of w(17)?
False
Suppose 3*i - 7 = -3*m + 2, -3*i + 9 = 5*m. Suppose -i*x = x - 64. Is 8 a factor of x?
True
Let u be ((-4)/10)/((-5)/525). Suppose -5*h + 162 = u. Let w = h - -6. Does 10 divide w?
True
Suppose -5 = -q, -2*t - q = 2*t - 5. Suppose 5*b = -3*j + 4, -2*j + t*b + 32 = -4*b. Is 4 a factor of j?
True
Let j be 2/2 - 14/1. Suppose 2*i = 2*o + 12 + 20, -2*i = 2*o - 28. Let q = i - j. Does 14 divide q?
True
Suppose 0 = -4*d + 2*d - 2*a + 114, -171 = -3*d + 3*a. Does 14 divide d?
False
Let m be 0 + 26 + -2 - 2. Let z = m - 12. Is z a multiple of 6?
False
Let v be 5*((-3)/1 - -2). Let b(c) = 2*c**3 - c**2 + 6*c - 1. Let n(q) = 3*q**3 - 3*q**2 + 12*q - 2. Let t(p) = 5*b(p) - 3*n(p). Is 6 a factor of t(v)?
True
Let d be (-3)/(((-6)/4)/3). Suppose 5*g = d*g - 68. Suppose 4*s - g - 16 = 0. Is s a multiple of 12?
False
Let g(u) = u**3 + 6*u**2 + 3*u - 7. Let j be g(-5). Suppose l - 2*c + 1 = c, -3*c = -j. Suppose -2*q + 82 = 4*w, -2*w - l*q = 2*q - 56. Is w a multiple of 9?
True
Let m(v) = 2*v**3 + v**2 - 2*v. Let w = -4 - -6. Let p be m(w). Let y = 22 - p. Does 6 divide y?
True
Let s be 0 + (3 + 0 - 1). Suppose -2*j + 6 = 0, 3*j = a + s*j - 3. Does 3 divide a?
True
Suppose 5*g - 4*l - 185 = 0, 2*g + l - 5*l = 86. Is g a multiple of 11?
True
Suppose 3*x + 2*s = 253, 4*s = -3*x - 0*s + 251. Does 32 divide x?
False
Suppose -2*s = -7*s + 155. Does 10 divide s?
False
Let z = 5 - 3. Suppose z*w - 44 = -3*p, 2*p - 3*w - 35 = -10. Is p a multiple of 7?
True
Suppose 0*t + 5*s = 5*t - 30, -2*t = s - 6. Suppose r = -3, 111 - 35 = t*l - 4*r. Is l a multiple of 5?
False
Let h = 24 + 262. Is h a multiple of 11?
True
Let m(q) be the second derivative of q**7/2520 - q**6/360 + q**5/30 - q**4/12 - q. Let a(p) be the third derivative of m(p). Is a(6) a multiple of 15?
False
Let s be (-1 - 4/(-3))*-9. Is (5 + -4)*(1 - s) a multiple of 3?
False
Let b(r) = r**3 + r**2 - r - 1. Let m(z) = 8*z**3 + 5*z**2 - 9*z - 8. Let a(y) = 6*b(y) - m(y). Is a(-2) a multiple of 8?
True
Suppose -24 = -2*f + 6. Is f a multiple of 3?
True
Suppose 0*t + 3 = -t. Let k = 28 + t. Is k a multiple of 25?
True
Let u be 4/(-2)*6/2. Let b = -2 - u. Suppose l - 22 = -4*h, -b*l = 2*h - 4*h - 124. Is 15 a factor of l?
True
Suppose -2*n + 4*n = 24. Suppose n = m - 28. Is m a multiple of 14?
False
Let z be 2/(-12) + (-26)/(-12). Suppose 214 = 3*n - z*t, 0 = 2*t + t - 3. Is n a multiple of 13?
False
Let h(m) = 3*m**2 - 4*m + 2. Let f be h(2). Let w be -4 + f/3 + 8. Suppose w*x - 2*x = 16. Is x even?
True
Let h(t) = -33*t**2 - 4*t + 15. Let g(z) = 17*z**2 + 2*z - 7. Let u(m) = 13*g(m) + 6*h(m). Does 12 divide u(1)?
True
Let c be 2/8 - (-3)/4. Suppose 0 = 3*p - c + 4, 50 = 4*h - 2*p. Does 6 divide h?
True
Suppose -2*n + v - 17 = -6*n, -24 = -3*n - 3*v. Suppose 3*x = -0*x + n*s + 171, 2*x + 3*s = 124. Is 16 a factor of x?
False
Suppose 0 = 2*h + 2*v - 322, -2*v + 1 = -3*v. Does 15 divide h?
False
Suppose 3*a = 14 - 5. Let z(k) = -7*k**3 - 6*k**2 + 2*k - 4. Let c(d) = -4*d**3 - 3*d**2 + d - 2. Let h(i) = -11*c(i) + 6*z(i). Is h(a) a multiple of 14?
True
Suppose -4*n - 14 = 2. Let c = 11 + n. Is 3 a factor of c?
False
Let q be (0/(-2))/(2 + -3). Let i = 2 + q. Is 12 a factor of i/4 - 188/(-8)?
True
Suppose -4*p + 4*a + 80 = 0, 0*p - 4*a = 2*p - 64. Let n = p - -14. Is 16 a factor of n?
False
Suppose c - 13 = -1. Is c a multiple of 12?
True
Let w(f) = 3*f - 1. Let d be w(2). Suppose d*k - 45 = 3*p, 0*p - 3*k = -5*p - 91. Is (-2 - -3) + 1 - p a multiple of 11?
True
Let l(b) = -b**3 - 5*b**2 + 6*b - 2. Let k be l(-6). Let c(z) be the third derivative of z**5/60 - z**4/12 - z**3/6 + z**2. Does 3 divide c(k)?
False
Suppose -3*k - 13 = 125. Let g = -20 - k. Is g a multiple of 13?
True
Let m = 8 - -9. Is m a multiple of 7?
False
Suppose 7 = 2*b - 7. Let j be (-69)/(-21) + (-2)/b. Suppose -2*o + 90 = j*o. Does 15 divide o?
False
Let t = -8 - -5. Let y(r) be the second derivative of -5*r**3/3 + r**2/2 - r. Is y(t) a multiple of 11?
False
Let l(q) = -q**2 - 40*q + 57. Is 47 a factor of l(-30)?
False
Let c = 6 