n) a multiple of 6?
True
Let u(j) = j**3 + 14*j**2 - 16*j - 5. Let i be u(-15). Suppose w + 3 - i = 0. Is w a multiple of 2?
False
Let v(g) = 2*g - 41. Let z be v(-17). Let y = -38 - z. Is y a multiple of 36?
False
Suppose 2*h - 3 = 1. Suppose -2*a + 2*b = 26, 5*a + h*b + 43 - 6 = 0. Is 9 a factor of (-165)/(-9) + 3/a?
True
Suppose 39 = 4*b - z + 220, -3*z + 93 = -2*b. Let d = 13 - 88. Let q = b - d. Is 15 a factor of q?
True
Let a(b) = b - 1. Let p be a(1). Suppose -o = -p*o + 4, 3*o = -r - 21. Let m = r + 57. Is 8 a factor of m?
True
Suppose 4*c + b - 3 = 16, 0 = c - 2*b + 2. Suppose -c*a + 18 = 2*h, 1 = -2*h - 1. Suppose 4*z = -a*g + 15, 5*g - 9 = -3*z + 1. Is z a multiple of 4?
False
Let s(l) = 103*l**2 - l + 1. Let d be s(-1). Suppose 0 = -5*m + d + 15. Is 5 a factor of m?
False
Suppose -9*p + 1128 = -21*p. Let b = -21 - p. Does 20 divide b?
False
Suppose 5*d = 3*w + 555, -246 = -2*d + 2*w - 20. Let n be (-2)/(-8) + (-6)/24. Suppose n = 5*m - m - d. Does 11 divide m?
False
Suppose -10*k + 3452 = -6408. Is 29 a factor of k?
True
Let k = -1130 + 1619. Is k a multiple of 8?
False
Let s = 659 - 305. Suppose -3*t - s = -2*a, -2*a - 166 = 2*t - 520. Is 18 a factor of a?
False
Suppose -4*r - 5*v = 17, r - 24 = 4*v - 2. Let i(j) = j**r - 9 + 0*j**2 + 0*j**2 - j. Does 16 divide i(7)?
False
Suppose -3*x - 3432 = -3*i, 3*i - 5*x - 379 = 3055. Does 9 divide i?
True
Let q(h) = 172*h - 16. Is q(7) a multiple of 18?
True
Let w(f) = 7*f - 10. Is w(3) a multiple of 9?
False
Suppose 0 = -2*r + 4 - 2. Let b = 0 - r. Is b/(168/57 + -3) a multiple of 13?
False
Suppose 4*v - 2*q = 7834, q + 4*q = 15. Is v a multiple of 49?
True
Let m(z) = -39*z + 61. Let i be m(5). Let o = i + 384. Is 10 a factor of o?
True
Let m(a) = a**2 - 5*a - 10. Let n be m(7). Suppose -g = g - 3*d - 20, -n*g + 4*d = -36. Suppose -29 = -2*r - g. Does 3 divide r?
False
Let u = 19 - 18. Let a(z) = 3*z + 1. Let h be a(u). Is (-2*h)/(3/(-21)) a multiple of 14?
True
Suppose 2*w - 6*d + 9*d = 93, 0 = -4*w - d + 211. Is 3 a factor of w?
True
Let p(h) be the first derivative of -h**2/2 + 108*h - 8. Is p(0) a multiple of 22?
False
Let d = 416 - 657. Let z = 446 + d. Is 22 a factor of z?
False
Let r(z) be the first derivative of z**4/2 + 2*z**3/3 + 2*z**2 + 6. Let k be r(-3). Let b = k + 72. Is b a multiple of 12?
True
Does 7 divide ((-252)/(-30))/(2/10)?
True
Let h(j) = j**2 + 5*j - 5. Let k be h(-4). Let q be 2 + ((-300)/5)/(-5). Let f = k + q. Is 2 a factor of f?
False
Suppose 4258 = 5*w - 3*u, -2*w + 1854 - 130 = 4*u. Does 46 divide w?
False
Let i(j) = 1 + 9*j - 8*j + 1 - 3. Let k be i(1). Suppose k = 2*g - 4*w - 40, -5*w - 45 = 3*g - 5*g. Is 5 a factor of g?
True
Suppose -4*c - 26 = -d, -2*c = -4*d - 23 + 85. Let y(z) = z**3 - 15*z**2 + 15*z + 6. Is 4 a factor of y(d)?
True
Let m be 21/(-49) + 300/14. Let z = -18 + m. Suppose -3*t + 228 = z*t. Is 20 a factor of t?
False
Suppose 2*c = 4*c + 5*d - 259, -d - 573 = -4*c. Is c a multiple of 23?
False
Suppose 2*b + 3*t = t + 16, -2*t = -5*b + 47. Let j be 15*(-3 + 6)/b. Suppose -2*x + 6 = 2*s, -5*s = 2*x - 19 - j. Does 3 divide s?
True
Let m(k) be the first derivative of k**3/3 + k**2/2 - 14*k + 6. Let p(j) = j**3 + 4*j**2 + 3*j + 5. Let o be p(-4). Is 9 a factor of m(o)?
False
Let q = -28 + 1. Let a = 1 - q. Is a a multiple of 6?
False
Suppose 2172 = 2*q + 52*a - 49*a, 0 = 3*q + a - 3244. Is q a multiple of 15?
True
Let h = 1483 - 525. Is h a multiple of 3?
False
Suppose -2*q + 39 + 43 = 0. Does 26 divide q + 5/(10 - 5)?
False
Let s(o) = -o**3 - 5*o + 2. Let y(m) = -m**3 - m**2 + m. Let c be y(-1). Let p = c - 3. Is 18 a factor of s(p)?
False
Let n(u) be the third derivative of u**4/12 + u**3/6 - 2*u**2. Let w be n(-7). Is 9 a factor of 1*-13*(-14 - w)?
False
Is 4 a factor of (3 - -1 - (-11 + 12)) + 108?
False
Suppose 0 = 852*u - 884*u + 32768. Is u a multiple of 16?
True
Let b(i) = -8*i + 6. Let g(y) be the first derivative of 8*y**2 - 11*y + 9. Let r(p) = -7*b(p) - 3*g(p). Is 6 a factor of r(4)?
False
Suppose -a - 114 = -346. Is 8 a factor of a?
True
Let y = -1564 + 2824. Is y a multiple of 30?
True
Let d(m) be the second derivative of m**4/12 - m**3 + 6*m**2 - 6*m. Let r be (-1)/(-4 - 155/(-40)). Is d(r) a multiple of 11?
False
Let o(i) = 159*i**2 + i. Let v be o(1). Let n(j) = 2*j**3 + 38*j**2 + 38*j + 41. Let s be n(-18). Suppose s*y = y + v. Does 10 divide y?
True
Suppose -4*g + 2*d = 36, -d - 8 = -g - 18. Let p(q) = -q**2 - 8*q + 1. Let t be p(g). Let k = t + 17. Does 7 divide k?
False
Let x(b) = b**2 + 5*b - 6. Let g be x(-3). Let w(c) be the second derivative of -c**5/20 - 13*c**4/12 - 5*c**3/2 - 2*c**2 - 2*c. Is 10 a factor of w(g)?
False
Suppose 3*q - l + 14 = 0, -3*l - 7 = 2*q + 17. Let n(g) = -10*g. Let s be n(q). Suppose -130 = -5*y + s. Is 19 a factor of y?
True
Let j be (-62 - -2)*(-2 + -8). Does 16 divide j/45*(-12)/(-5)?
True
Let y(p) = 8*p**3 + p + 1. Let f be y(2). Let z(k) = -8*k - 143. Let s be z(-26). Let l = s + f. Is l a multiple of 31?
False
Let y(k) = -k**3 + 6*k**2 + k - 4. Let h be y(6). Suppose -h*p + 4 = -8. Let r(t) = -t**2 + 6*t + 8. Is 8 a factor of r(p)?
True
Let j(t) be the third derivative of -t**6/120 + t**5/5 - 5*t**4/12 - 7*t**3/6 - 4*t**2. Let u be j(11). Is 33/u - (-11)/(-44) a multiple of 8?
True
Let v(n) be the first derivative of n**2/2 + 93*n + 4. Is 25 a factor of v(0)?
False
Let y(p) = -p - 10. Let z be y(-13). Suppose 4*s - 17 = z. Suppose 180 = s*r - 135. Is r a multiple of 21?
True
Suppose t = 1 + 1. Suppose 0 = n + 4, 3*n = -t*c - 2*n - 20. Suppose 5*i - 53 + 3 = c. Is i a multiple of 10?
True
Suppose 71645 = 187*h - 164*h. Is 35 a factor of h?
True
Let u = 1554 + -1509. Is u a multiple of 21?
False
Let f(m) = 6*m**2 - 6*m + 12. Let y be f(-6). Suppose -3*w + y = 102. Is w a multiple of 9?
True
Suppose -3*k = 5*z + k - 1410, -268 = -z + 2*k. Is 2 a factor of z?
True
Let u(g) = 17*g - 4. Let b be u(3). Suppose -28 - b = -3*f. Suppose -4*z + 3*z = -f. Does 25 divide z?
True
Let h = 97 + 7. Suppose 3*k + k + 2*o = 376, k - 2*o = h. Is 24 a factor of k?
True
Suppose 15 = -5*w + 8*w. Is 21 a factor of (-10)/25 - (-407)/w?
False
Let c(a) = 6*a + 23. Let d be c(8). Suppose d = -220*s + 221*s. Does 35 divide s?
False
Let o(a) = 12*a. Let j be o(-1). Is (-22 + -2)/((-1)/j*-2) a multiple of 36?
True
Suppose -w + 156 = w. Let h = w + 55. Suppose 0 = -5*u + 247 + h. Is u a multiple of 11?
False
Let d be -4 + 0 - ((-10 - -5) + -19). Let o = d - 17. Does 2 divide o?
False
Let x(n) = -2*n**2 + 8*n - 2. Let i be x(3). Let h = 14 + i. Is 3 a factor of h?
True
Is 13 a factor of 13/((-5)/(-375)*5)?
True
Let w(l) = 9*l + 552. Is 24 a factor of w(21)?
False
Let r(l) = -l**3 + 14*l**2 + 15*l. Let h be r(15). Suppose -2*p - 4*u = -46, -4*p - 3*u + 97 + 5 = h. Is p a multiple of 5?
False
Suppose 6 = x - 0. Let o(g) = -g + 38. Is 16 a factor of o(x)?
True
Suppose 4*o - 264 = 3*i, -o - 2*i + 244 = 3*o. Is 7 a factor of o?
True
Let w(a) = a**3 - 9*a**2 + 5*a - 23. Let g be w(10). Is 22 a factor of (-1)/((-4)/(-3 + g))?
False
Let p(d) = 10 + 7*d**2 - 8*d**2 + 2*d**2 - 7*d. Let c be p(5). Suppose j = -c*j - 4*o + 27, 2*o - 2 = 0. Is 10 a factor of j?
False
Suppose -5*q + 30 = -0*q. Let d(p) = p**3 + p**2 + 8*p + 3. Let w be d(q). Suppose -52 - w = -5*u. Is u a multiple of 21?
False
Let y = 597 - 429. Is y a multiple of 14?
True
Let m = 41 - 32. Is 2/(-1) + m + 0 even?
False
Suppose -155 = -12*l + 11*l. Suppose -2*w = -7*w + l. Does 11 divide w?
False
Suppose 3*n - 2*i - 753 = 0, n - 4*i = 3*n - 502. Suppose 0 = -2*t + r + n, -t + 25 = r - 93. Does 41 divide t?
True
Is (-10135)/(-45) - (-4)/(-18) a multiple of 9?
True
Suppose -l + 2*l = -5*v, -5*v + 2*l + 15 = 0. Suppose -3*y + v + 17 = 0. Is 12 + (-1)/((-2)/y) a multiple of 5?
True
Let y = 237 + -227. Is y a multiple of 10?
True
Let h(j) = 6*j**2 + 2*j - 3. Let k(q) = q**3 - 6*q**2 - 6*q - 2. Let b be k(7). Suppose -2*p - 1 = b. Is 12 a factor of h(p)?
False
Suppose 0 = -3*x + 4*y - 19, 3 = -x - 2*y - 0. Let q = x + 1. Let k(o) = 3*o**2 + 7*o + 6. Is 5 a factor of k(q)?
False
Let p(o) = o**3 + 10*o**2 + 8*o - 5. Suppose s + 4*g - 12 = -1, 0 = -2*s + 2*g + 2. Suppose 7*n - 2*n - s = 2*y, 0 = -n - 3. Is 2 a factor of p(y)?
True
Is ((-2849)/154)/((-2)/4) a multiple of 13?
F