Let n be ((-18)/(-15))/((-6)/20). Does 17 divide (-102)/(n/(4 - 2))?
True
Suppose -2*a + 3*k = -61, -99 = -4*a - 2*k - 1. Does 13 divide a?
True
Let t(c) = 4*c**2 - c + 1. Let f be t(2). Suppose -4*g + 2*d = -0*g - 12, 5*g = -4*d + f. Is g even?
False
Suppose -j = -9 - 3. Is 4 a factor of j?
True
Suppose 0 = 9*f - 191 - 25. Does 24 divide f?
True
Let d = 14 + -20. Let k = d - -7. Does 12 divide k + (1*-62)/(-2)?
False
Let i = 76 - 128. Let u = -28 - i. Does 12 divide u?
True
Let y = -8 + 13. Suppose -y*j - 72 = -192. Let p = 34 - j. Does 5 divide p?
True
Let l(p) = -p**3 + 4*p**2 + 2*p - 5. Let o be l(4). Suppose 2*t - 74 = 4*s, o*s - 129 = t - 4*t. Does 12 divide t?
False
Suppose -2*z = 1 - 5. Is (z/5)/((-2)/(-30)) a multiple of 6?
True
Let l = -1 + 7. Let j = 1 + l. Is 7 a factor of j?
True
Let x be -1*4*(4 + -5). Suppose -3*u - u - 100 = x*b, 4*b + 58 = -2*u. Is (-3)/6 - u/2 a multiple of 4?
False
Suppose -8 = -i - 3*i. Let o(p) = -16*p**2 + 2*p - 6. Let y(c) = -31*c**2 + 4*c - 11. Let m(r) = 5*o(r) - 3*y(r). Is 17 a factor of m(i)?
True
Suppose 0 = -2*g - 5 - 1. Is 13 a factor of -13*(g + (2 - 0))?
True
Suppose 5*l = 5*a + 100, -a + 1 = -4. Is l a multiple of 13?
False
Let m = -2 + 1. Let i = m - -1. Suppose -3*b - 2*c = -i*b - 61, c - 62 = -3*b. Is b a multiple of 15?
False
Let d(n) = -n - 7. Let w be d(-3). Does 2 divide (-3)/w + (-91)/(-28)?
True
Suppose x - 12 = -2. Let i = 17 - x. Is i a multiple of 4?
False
Suppose -6*u - 39 = -333. Is 6 a factor of u?
False
Suppose -4*q = -0*q - 428. Is q a multiple of 29?
False
Let z = -76 + 140. Does 14 divide z?
False
Is (1 - 61)*5/((-20)/9) a multiple of 15?
True
Let s = 44 - 1. Is s a multiple of 4?
False
Suppose 5*j + 1 = -5*w + 6, -3*j = -4*w + 4. Let q(l) = l**3 - l + 44. Is 11 a factor of q(j)?
True
Let p = 37 - -33. Is 19 a factor of p?
False
Let d(g) = -8*g. Let i be (-1)/(-1 + (-6)/(-5)). Let n = 4 + i. Is 8 a factor of d(n)?
True
Let n(c) = -c - 4. Let w be n(-5). Let y = 2 - w. Suppose -3*v - y = -2*g + 38, g - 5*v - 37 = 0. Does 10 divide g?
False
Let z(l) = -l - 6. Let c be z(-5). Let i = 16 + c. Is 6 a factor of ((-6)/(-10))/(1/i)?
False
Suppose 68 + 12 = 5*a. Suppose 6*w - 2*w = a. Does 7 divide (190/w)/5*2?
False
Let h(j) = 2*j**2 + j - 3. Let r(q) = q**2 + 2*q - 4. Let k(m) = 6*h(m) - 5*r(m). Let f be k(2). Suppose l - 2*l + f = 0. Is l a multiple of 15?
False
Let g(i) = -3*i - 3. Does 6 divide g(-9)?
True
Let q = 84 - 42. Is q a multiple of 4?
False
Let w be (1 - -1 - 3) + 2. Suppose 0 = 5*b + 2*s - w - 2, b = -4*s - 3. Is (b - -3)*3/6 a multiple of 2?
True
Let r(y) = 14*y**2 - 3*y - y**3 - 5*y + 15 - 6*y. Let q be r(13). Suppose q*p - 7 = -1, 3*s - 57 = p. Is 10 a factor of s?
True
Let i(u) = u**3 - 2*u**2 + 2*u + 2. Suppose -t = 4*v + 5, 0 = -5*t + 5*v - 14 + 39. Is 17 a factor of i(t)?
True
Let f(b) be the third derivative of b**5/30 - 5*b**4/24 - b**3/6 - 3*b**2. Is 24 a factor of f(5)?
True
Is 16 a factor of 14 + (2 - -1 - 0)?
False
Let l = -12 - -49. Let n = l - 5. Does 15 divide n?
False
Suppose 6*d = -5*d + 1980. Is 45 a factor of d?
True
Suppose 0 = 2*f + 3*f. Suppose 5*k + 25 = 0, -3*p + 3*k + f*k = -87. Does 9 divide p?
False
Let c(n) = 219*n**2 - 1. Does 25 divide c(1)?
False
Suppose 2*w - w = 0. Suppose w = 3*t + t - 20. Is 3 a factor of t?
False
Let f = 719 + -502. Is 37 a factor of f?
False
Let j = 148 + -119. Is 2 a factor of j?
False
Suppose -38 = -3*a + 1. Is 10 a factor of a?
False
Let s(m) = -5*m - 8. Let z = 16 - 29. Is s(z) a multiple of 19?
True
Suppose -1453 = -5*c + 3*o, -5*c + 1477 = -3*o + 6*o. Suppose c = 4*i + 45. Suppose -k = -5*k + q + i, -3*q + 69 = 5*k. Is 7 a factor of k?
False
Let z(r) be the second derivative of 2*r - 1/20*r**5 + 1/3*r**4 + 0 - 2*r**2 + 0*r**3. Is 5 a factor of z(3)?
True
Does 11 divide (464/12)/((-4)/(-6))?
False
Let j = 4 - 6. Is j + 0 - (3 + -35) a multiple of 15?
True
Let s(g) = 3*g**2 + 12*g. Is s(-8) a multiple of 14?
False
Let n = 40 + -94. Let v = -64 - -170. Let q = n + v. Does 24 divide q?
False
Suppose 4*p + 44 - 156 = 0. Is p a multiple of 14?
True
Suppose -2*f = -5*f - 3. Let n(r) = -r**3 + 7*r**2 - 3*r - 1. Let c be n(6). Let w = c - f. Does 11 divide w?
False
Let v(w) = -w**2 + 21. Does 7 divide v(0)?
True
Let c(m) = 18*m**2 + m - 2. Let j be c(2). Let i(b) = b**3 + 18*b**2 - 17*b - 3. Let n be i(-19). Let r = j + n. Does 11 divide r?
False
Suppose -3*m - 20 = -7*m. Suppose -m*u + 71 = 26. Is u a multiple of 3?
True
Let w be ((-2)/(-3))/(4/54). Let g = -5 + w. Does 4 divide g?
True
Is 4 a factor of -4 - (-1)/((-3)/780*-4)?
False
Let x = 57 - 17. Is 8 a factor of x?
True
Let o(x) = x**3 + 5*x**2 - 5*x + 3. Let s = 4 - 10. Let g be o(s). Does 2 divide 5 + g*(-2)/(-3)?
False
Suppose -5*q + 3*r = -59, -2*q + r + 8 = 5*r. Is 9 a factor of q?
False
Suppose -5*d + 4*d + 36 = 0. Is d a multiple of 5?
False
Let r(o) = o**3 + 7*o**2 + 7*o + 8. Let d be (-1)/(-4) - (-25)/(-4). Let p be r(d). Does 12 divide ((-8)/6)/(p/(-36))?
True
Suppose q - 18 = -2*q. Let o(s) = 6*s**3 - 10*s**2 + 3. Let b(y) = 5*y**3 - 9*y**2 - y + 4. Let j(z) = 5*b(z) - 4*o(z). Is j(q) a multiple of 7?
True
Let t(z) = -32*z. Let f be t(-1). Let h = f - 1. Does 16 divide h?
False
Suppose -3*l = 2*l. Suppose i + 2*i - 42 = l. Is 7 a factor of i?
True
Suppose -3*r = -g - 6, 2*r = r - g + 6. Suppose 0*s - j = 3*s - 67, -4*j + 61 = r*s. Is s a multiple of 11?
False
Let z(c) be the first derivative of -3*c**2/2 + 2*c + 1. Let q be z(-2). Suppose q + 0 = 2*p. Is p a multiple of 4?
True
Let z(p) = -p**2 - 3*p - 4. Let r be z(3). Let v be 6/(-9) - r/6. Suppose -i = 3*l - 0*i - 97, 107 = v*l - 4*i. Does 11 divide l?
True
Let b(p) = p**2 + p - 8. Suppose 0 = 2*z + 2*r + 4, -5*z = r - 4*r + 42. Is b(z) a multiple of 11?
True
Let x(h) be the third derivative of h**5/30 - h**4/12 - h**3/2 + 2*h**2. Does 9 divide x(3)?
True
Suppose 2*q - 253 = 73. Suppose -2*d = -3*r + q, 3*r - d = r + 107. Is 12 a factor of r?
False
Suppose 0 = -0*y - 5*y. Let n(z) = z**2 + z + 2. Is 2 a factor of n(y)?
True
Let l be ((-14)/(-5))/(2/10). Suppose 0 = 5*w - w - 8. Suppose -l = -w*b + b. Is 14 a factor of b?
True
Let b = 18 - -12. Is 6 a factor of b?
True
Suppose -3*v = 3*i + 99, -4*v + 5*i - 2*i - 104 = 0. Let n = 6 + -8. Let c = n - v. Is c a multiple of 10?
False
Let r(t) = -t**2 - 7*t + 3. Suppose -5*d - 5 = 25. Does 3 divide r(d)?
True
Let d(h) = -h + 6. Let q be d(6). Suppose o = r - 16, -2*o + q*o = -r + 17. Does 15 divide r?
True
Let v be -3 - 6/(-5 - -3). Let t be 7 + -4 + (-39 - v). Let h = 66 + t. Does 15 divide h?
True
Let m = -2 - -7. Suppose f = m*f - 352. Is 19 a factor of f?
False
Let s(r) = -r**3 - 14*r**2 - 12*r - 3. Let a be s(-14). Suppose -u = -6*u + a. Does 11 divide u?
True
Suppose -5*d = -3*q - 120, 5*q = -4*d + d + 38. Suppose c - 3*c + 10 = 0. Suppose 3*z - d = -f, c*f - 3*z - 6 = 3*f. Does 9 divide f?
True
Suppose 0*v = -3*v + 111. Let i = -2 + v. Suppose 4*d - i = 21. Is d a multiple of 14?
True
Let p = 50 - 28. Is p a multiple of 22?
True
Let f be ((-294)/(-24))/((-1)/4). Is 100/7 + 14/f a multiple of 5?
False
Let t be ((-20)/(-25))/((-1)/10). Let z(o) = -o**3 - 7*o**2 + 7*o - 2. Let v be z(t). Suppose -3*d - 102 = -3*w, -2*w = -v*w + 2*d + 142. Does 11 divide w?
False
Let f(v) = v**3 + 3*v**2 - 5*v - 1. Let l be f(-4). Suppose l*i - 17 = 16. Let q = -8 + i. Does 2 divide q?
False
Suppose 2*k + 2*q + 22 = 0, -2*k - 38 = q - 3*q. Let x = 37 + k. Is 5 a factor of x?
False
Suppose 3*l = -0*l - 78. Let v be (l/3)/2*3. Let m = v - -37. Does 9 divide m?
False
Let x = -14 - -7. Let s(r) = r**2 + 6*r - 1. Let y be s(x). Does 5 divide y - (1 - (-2 + 2))?
True
Suppose 3*k + 240 = 7*k. Is 12 a factor of k?
True
Suppose 2*a = 3*a - 3. Suppose 2*x = -a*x. Suppose x = -4*s, o = 6*o + 2*s - 175. Is o a multiple of 13?
False
Let m(d) = d**3 - d**2 - 3*d - 2. Let l be m(3). Let y(t) = -t**3 + 9*t**2 - 8*t - 4. Does 10 divide y(l)?
False
Let j be (1 - 2)/((-3)/60). Suppose 4*f + n - 48 = -3*n, -5*n + j = 0. Is 4 a factor of f?
True
Let w(g) = 2*g**2 - 5*g. Is w(6) a multiple of 13?
False
Suppose -2*l = -n - 15, l + l + 5 = 5*n. Suppose 2*v + 4*x - 2 = l, 0 = 5*v + 3*x - 16. Suppose 0 = -v*c + 6 + 24. Is c a multiple of 8?
False
Suppose 5*z - 5*o - 855 = -230, 5*o + 5 = 