(p - 4)/(5/40). Let y = -24 - u. Is y a multiple of 12?
False
Let d be 30/(-5) + (1 - -1). Let t be d/(-18) + (-29)/9. Let c(u) = 2*u**2 + u. Is c(t) a multiple of 9?
False
Let j(a) = 4*a**3 - 4*a**2 - 2*a + 2. Is 17 a factor of j(3)?
True
Let j = 1 - -4. Suppose j*u + 2*m - 225 = -m, 79 = 2*u - m. Is u a multiple of 14?
True
Let b = 102 - 59. Let d = b - -8. Suppose 4*j = 0, 3*g + d = -3*j + 159. Does 17 divide g?
False
Let j(v) = v**2 - 2*v + 3. Is j(-3) a multiple of 6?
True
Let f(w) = -50*w**3 - w**2 + 1. Is 10 a factor of f(-1)?
True
Suppose 2*b + 0*n - 3*n - 62 = 0, b = -4*n + 31. Let l be 1/(1/(-17 - -1)). Let x = b + l. Is 4 a factor of x?
False
Suppose 75 + 20 = b. Does 19 divide b?
True
Suppose -h + 2*j = -2*j - 2, h + 3*j = -5. Let l = 17 - 24. Is (h + -1)*l + 1 a multiple of 11?
True
Suppose 0 = -w + 84 + 36. Suppose -w = -7*b + 3*b. Is 11 a factor of b?
False
Let p = 78 - -121. Does 15 divide p?
False
Let m(t) = t**3 - 5*t**2 - 5*t - 2. Let o be m(6). Let u be 2184/33 + o/(-22). Let k = -41 + u. Is k a multiple of 25?
True
Let y(a) = -a**3 + 2*a**2 - a. Let k be y(1). Suppose k = 4*q + 2*l + l - 114, -2*q = -2*l - 50. Does 13 divide q?
False
Let n(v) = -v**3 - 6*v**2 - 6*v + 7. Let i be n(-5). Suppose -8 - i = -s. Is s a multiple of 10?
True
Let m = -13 - -15. Suppose -2*b + m*r + 56 = 0, -3*r + 0*r = -9. Does 11 divide b?
False
Let a = 8 + -6. Does 12 divide 38 + 2 + (-2)/a?
False
Let h(m) = -2 - 11*m + 2*m**2 + 0 + 2 + 4. Is h(7) a multiple of 16?
False
Let h(p) = -2*p - 2. Let v = 0 - 4. Let y be v*(-1)/2 - 8. Does 10 divide h(y)?
True
Let a = -29 + 59. Suppose 6*p - p = a. Does 5 divide p?
False
Let q = 3 - 2. Let n be -1 + q/1 + 5. Does 9 divide (-440)/(-25) + 2/n?
True
Let s(p) = p**3 + 2*p**2 - 5*p + 5. Let r be s(6). Let w = -128 + r. Suppose -6*n + n + w = 0. Is n a multiple of 13?
False
Suppose 964 - 100 = 3*h. Does 32 divide h?
True
Let g(b) = -b - b**2 - 7*b**3 - 1 + 8*b**3 - 1. Let v(h) = -h + 6. Let o be v(3). Does 13 divide g(o)?
True
Suppose 0 = h - 6*s + s - 15, 2*h - 38 = 2*s. Suppose -2*u + h = -u. Is u a multiple of 10?
True
Let r = -16 - -139. Is 28 a factor of r?
False
Let k = 20 + -21. Let c = 15 - k. Is c a multiple of 10?
False
Suppose 0 = 2*u + 2*u. Suppose -2*w + 5*w - 99 = 0. Suppose u*b - b = -w. Is b a multiple of 13?
False
Let f = 315 - 106. Does 19 divide f?
True
Let x = 18 - 20. Is 9 a factor of (-12 + -1)*(-4 - x)?
False
Suppose -4*k + 9*k - 255 = 0. Is 17 a factor of k?
True
Let b = -92 - -185. Does 36 divide b?
False
Let n = -56 - -60. Is n a multiple of 3?
False
Let w = 4 + -4. Let x(d) = -d**3 + d + 3. Let m be x(w). Suppose 4*g - m*j = 6*g - 1, 0 = -4*g - 4*j + 8. Is g a multiple of 3?
False
Suppose 5*s - 2*b - 25 = 0, 4*b = 3*s - b - 34. Suppose s*u - u + 23 = 3*t, 0 = 3*u - 15. Is t a multiple of 4?
False
Let x(y) = y**3 + 9*y**2 + 11*y + 3. Let w be x(-8). Let g = 31 - w. Is g a multiple of 13?
True
Suppose -z - 4*z + 230 = 0. Is 11 a factor of z?
False
Suppose 7*j - 276 = -17. Suppose 3*o = 5 + j. Is o a multiple of 4?
False
Let g be 1 + 0 - 10/2. Let z(q) be the first derivative of q**3/3 + q**2/2 + 2*q + 2. Is 14 a factor of z(g)?
True
Suppose 0 = -5*c - 5*u + 315, -2*u + 161 = 3*c - 28. Does 9 divide c?
True
Is 2 a factor of -1*(-318)/8 + 5/20?
True
Suppose -2 = -z - 4. Let q = 18 - z. Let i = q - 12. Does 8 divide i?
True
Suppose -w + 2*w = -3, -w - 51 = -2*s. Suppose -t - 81 = -2*z, 4*z + 3*t - s - 133 = 0. Is 8 a factor of z?
True
Let p = -3 + 5. Suppose 7*k = p*k + 20. Suppose 71 = 5*i - 3*a + 17, k*a - 44 = -3*i. Is i a multiple of 9?
False
Suppose -3*n = 2*n - 15. Let v = 1 + n. Suppose -f - 150 = -v*f. Is f a multiple of 25?
True
Is 9 a factor of ((-18)/15)/(6/(-405))?
True
Suppose w + 4 = 0, -4*u - 3*w = -0*u + 20. Is 10 + -1 + (-1 - u) a multiple of 4?
False
Let w(m) = m**3 + 2*m - 1. Let f be w(1). Suppose 3*o - 86 = -f*k, 6*o - 2*o - 5*k = 130. Suppose -o = c - 4*c. Is 9 a factor of c?
False
Suppose -2*t = 2*t + 12. Is t/(3 + 276/(-88)) a multiple of 11?
True
Suppose 8*m + 15 = 3*m, 4*a - 95 = 5*m. Is 20 a factor of a?
True
Suppose -m + 8 = m. Let v = m + -2. Suppose q - 4 = v. Is q a multiple of 6?
True
Let b(x) = 7*x - 8. Does 13 divide b(5)?
False
Let w be -2 - 12/3*-8. Suppose 3*k - w = 24. Suppose -3*p = -2*u - 27, 3*u + k = 2*p - u. Is p a multiple of 9?
True
Suppose -2 - 24 = 4*t - 5*d, -2*t = 5*d - 2. Let k(u) = -3*u - 4. Let n(f) = -3*f - 3. Let i(x) = -6*k(x) + 7*n(x). Is i(t) a multiple of 9?
False
Does 2 divide 4 - (-1)/((-5)/(-4))*10?
True
Let i(u) = u**2 + 12*u + 10. Let s(x) = -x - 1. Let w(o) = i(o) - 2*s(o). Is w(-16) a multiple of 11?
True
Suppose v + 3*r - 625 = -3*v, -2*r = -3*v + 490. Suppose -3*y + v = 2*y. Is y a multiple of 16?
True
Suppose 0 = -2*w - 2*k + 270, 0*w + k = 2*w - 264. Is w a multiple of 42?
False
Let x(h) = h**3 + 7*h**2 - 7*h + 5. Suppose -4*p + 2*d - 22 - 16 = 0, 4*d - 12 = 0. Let r be x(p). Is (-1)/(1/(-15)) + r a multiple of 12?
True
Suppose 3*y + 114 = y. Let j = 2 - y. Is 24 a factor of j?
False
Let z = 74 + -48. Is z a multiple of 14?
False
Suppose 8 = -3*q + q. Let j(x) = x**3 + 5*x**2 + 3*x - 1. Let a be j(q). Suppose -a*l = -6*l + 69. Is l a multiple of 6?
False
Let z(c) = c + 14. Let s be z(-6). Does 8 divide (-12)/s*-2 + 35?
False
Suppose 15 = 3*m - 0*m. Suppose m*q - 15 = -0. Is 6 a factor of (6*q)/(12/8)?
True
Does 29 divide (-1038)/(-36) + (-2)/(-12)?
True
Let r = 74 + -44. Is 10 a factor of r?
True
Let s = -5 - -5. Suppose s = 4*j + 7 - 51. Is 6 a factor of j?
False
Let p(m) be the third derivative of m**6/120 - m**5/60 - m**4/12 - 2*m**3/3 + m**2. Is p(4) a multiple of 14?
False
Suppose 4*c + 0*n + n - 187 = 0, -2*c + 4*n + 80 = 0. Suppose 0 = -5*k - 3*q + 95, 0 = 3*k + 8*q - 4*q - c. Is k a multiple of 11?
True
Is 5 a factor of 2 - -15 - 6/(-2)?
True
Suppose -54 = -3*u - 0. Is 7 a factor of u?
False
Suppose 2*k - 137 - 79 = 0. Does 18 divide k?
True
Let t(g) = 1. Let l(a) = a**2 - 5*a + 2. Let k(q) = l(q) - 6*t(q). Is 18 a factor of k(-7)?
False
Let g(p) = p**2 + 6*p + 5. Let c be g(-6). Let n be 1*(-3 + 2 + 14). Suppose -20 = -c*f + 3*j + n, 5*f - 61 = -4*j. Does 7 divide f?
False
Is 5 a factor of 764/38 + 2/(-19)?
True
Let w(v) = -2*v + 6. Let p be w(5). Is (-12)/p - 13/(-1) a multiple of 12?
False
Let y be (-45)/2*24/(-9). Suppose -3*q = 0, 3*z - y = -q + 3*q. Is z a multiple of 15?
False
Suppose 3*z + 60 = 3*x, 2*x - 24 = 4*z + 24. Is 16 a factor of x?
True
Let b(k) = -5 - k**2 + 3 + 7*k**2 - 2*k**2. Does 14 divide b(2)?
True
Let y = -38 + 60. Suppose -6*l - 4*d + y = -l, 4 = -4*l + 4*d. Is ((-38)/(-2))/(l - 1) a multiple of 13?
False
Suppose s = -4*p + 6*s + 67, -3*p + 51 = -3*s. Is p a multiple of 3?
True
Let r be (-2)/10 + 88/(-10). Let o = -5 - r. Is -2*((-38)/o - 0) a multiple of 16?
False
Is 55 + 2*(-3)/2 a multiple of 14?
False
Suppose -5*l = -4*t - 60, -27 = -4*l - 0*l - t. Suppose -28 = -h - l. Suppose 32 = 2*s - h. Is s a multiple of 12?
False
Let l = 89 + 19. Is 8 a factor of l?
False
Let h be -6*2*(-15)/9. Suppose d + 4*y - h - 13 = 0, 2*d - 3*y = 55. Does 9 divide d?
False
Suppose 3*b + 18 = 3*k, 2*b - 5*b = 3*k. Is 9 a factor of ((-2)/k + 1)*57?
False
Let p(w) = -6*w. Let n(t) = 6*t. Let g(c) = 6*n(c) + 5*p(c). Let a(m) = -m + 16. Let z be a(13). Is g(z) a multiple of 8?
False
Let t = 213 + -33. Suppose 0 = 5*z - 10*z + t. Is 18 a factor of z?
True
Let t(g) = g**3 + 4*g**2 - g + 5. Let x(r) = 5*r + 1. Let c = -4 - -3. Let f be x(c). Is t(f) a multiple of 9?
True
Let i be 1*4*(-4 + 5). Let d(w) = w + 2. Let t be d(i). Suppose -t*c + 2*c + 108 = 0. Is c a multiple of 19?
False
Let y(p) = -27*p. Let a be y(-1). Suppose -o + a + 13 = 0. Suppose 4*t + 0*t = o. Does 7 divide t?
False
Let v(j) = 4*j**2 + 5*j + 3. Let z be v(-3). Suppose b = n - 22, -4*n + 2*b = -3*n - z. Suppose n = -0*p + p. Does 10 divide p?
True
Let s(g) = -87*g - 5. Let l(q) = 22*q + 1. Let a(d) = -9*l(d) - 2*s(d). Let k be a(1). Let m = 41 + k. Is 11 a factor of m?
False
Let k(x) = 2*x - 4*x - x**2 + 0*x - 7*x + 5. Let v be k(-7). Is (-1 + 1)/3 + v a multiple of 10?
False
Suppose -4*y = -2*y + 8, -5*r = -3*y + 28. Let w(j) = -j + 4. Does 12 divide w(r)?
True
Let m(h) = 3*h**2 + 2. Is 9 a factor of m(-2)?
False
Let k be (-44)/(52/(-