 a multiple of 8?
True
Let n(i) be the first derivative of -i**4/4 + 13*i**3/3 - 7*i**2/2 - 7*i + 4. Is n(12) a multiple of 33?
False
Is 6 a factor of ((-6)/15 - 649/(-10))*2?
False
Suppose 5*s = -2*c + 66, 0*c - 5*c + 138 = -s. Suppose c = 3*o - 26. Is 11 a factor of o?
False
Let v be (-2)/(-2) - (7 + -6). Is 9 a factor of v - (-1 + 3 - 20)?
True
Suppose -6*q + q - 10 = 2*k, 5*q = 2*k + 10. Suppose -3*f + f = q. Let n = 5 + f. Is 2 a factor of n?
False
Let s(w) = 52*w**2 + 4. Let t be s(2). Is t/6 + 2/(-6) a multiple of 13?
False
Suppose 2*k + 2*q - 24 = 0, -q + 52 = 2*k + 3*k. Is 4 a factor of 47/9 + k/(-45)?
False
Let q(m) be the third derivative of -m**6/10 - m**5/60 + m**4/24 + m**3/6 + 3*m**2. Is q(-1) a multiple of 4?
False
Let v(m) = m**3 - 6*m**2 + 6*m - 1. Let k be v(4). Let h = 49 - k. Suppose h = 4*x + 18. Does 10 divide x?
True
Is (14/(-14))/(1/(-103)) a multiple of 9?
False
Suppose 0 = -o + 4*o - 5*y - 45, 3*o - 2*y = 36. Is 6 a factor of 12/o*(1 + 4)?
True
Let x(y) = -y**3 - 8*y**2 - 1. Let z be x(-8). Is 17 a factor of (170/25)/(z/(-5))?
True
Let n be (-3)/(-12) - (-33)/12. Let d be 2/(-1) + 1 - n. Let g(q) = 2*q**2 + 6*q + 6. Is 14 a factor of g(d)?
True
Is -4*(-5)/(-70) + 242/14 a multiple of 3?
False
Suppose -2*i + 12 = 2*a, -2*a = 3*i - 0*i - 16. Let u be (5/10)/(a/8). Suppose u*d - 66 = -d. Is d a multiple of 22?
True
Let c(y) = 11*y + 21. Is c(9) a multiple of 15?
True
Suppose j = -3*p + 39, 4*p - 183 = -4*j + p. Does 12 divide j?
True
Is 27/(-63) + (-230)/(-14) a multiple of 8?
True
Let a(g) = -78*g - 6. Is 6 a factor of a(-1)?
True
Suppose i - 2 = l, -5*l = 2*i + 2 + 8. Let d be l + (0 - -1) - -1. Suppose -3*a - 89 = -4*s, d = a + a - 10. Is 13 a factor of s?
True
Let k(r) = -r**3 + 9*r**2 + 11. Let g be k(9). Suppose 3*f - 156 = -f. Suppose 2*u + 5*y = 29 + g, -f = -3*u + 3*y. Does 5 divide u?
True
Let i be 33*((-10)/(-6))/(-5). Let x = -9 - i. Does 2 divide x?
True
Suppose -3*n - 66 = 2*y, -6*n - 105 = -2*n - 3*y. Let b = 43 + n. Is b a multiple of 8?
False
Let m(n) = -3*n**3 + 9*n**2 - 3*n + 9. Let h(r) = -4*r**3 + 10*r**2 - 2*r + 10. Let i(k) = -2*h(k) + 3*m(k). Let x be 2 + -2 + -2 + 8. Is i(x) a multiple of 13?
True
Let v = 37 + -26. Is v a multiple of 6?
False
Let a(u) = u**2 + 220. Let i be a(0). Suppose -5*k = -0*k - i. Does 11 divide (k/8)/((-2)/(-4))?
True
Let o(q) = -q + 58. Let d = -5 + 5. Let p be o(d). Suppose t + 4*z = 23, 3*t + p = 7*t - z. Is 7 a factor of t?
False
Let n(c) = c + 7. Let i be n(-6). Let y = i + 6. Is -2 - 2*(0 - y) a multiple of 6?
True
Let l(x) = 2*x**2 - 10*x + 15. Let d be l(10). Suppose -z = 4*z - d. Does 23 divide z?
True
Let p = 172 + -10. Is 27 a factor of p?
True
Let d be 2/((4 + -3)*-2). Is 18 a factor of 36*(0 - d/2)?
True
Let s be 14/(-63) - 74/(-9). Suppose 5*q = 5*x - 205, -s = -q - q. Suppose 0 = a + 5*i - x, -3*a - 4*i + 72 = -a. Is 15 a factor of a?
True
Let r = 47 - -9. Does 14 divide r?
True
Let c = -6 - -10. Let q = 5 - c. Suppose 0 = -2*h + 15 + q. Is 4 a factor of h?
True
Suppose -3 = -3*b + 5*o, b + 7 = 3*o + 4. Is 6 a factor of b?
True
Suppose 0 = -4*q + 3*q + x - 1, 4*q - 36 = -4*x. Suppose 0 = -q*k + 12 + 4. Suppose 41 = k*y - 43. Is y a multiple of 9?
False
Suppose -4 - 8 = -3*k. Let r(p) = p**2 + p - 5. Is r(k) a multiple of 7?
False
Suppose 111 = -3*x + 321. Is x a multiple of 35?
True
Let x(w) = 3*w + 1. Let n(q) = q**2 + q. Let i(v) = 2*v + 5. Let u be i(-4). Let d be n(u). Is 11 a factor of x(d)?
False
Let s = 296 - 152. Is 36 a factor of s?
True
Let o(y) = 7*y + 3. Let h be o(5). Suppose b + h = 2*b. Is b a multiple of 22?
False
Does 10 divide (-2)/4*(3 + -32 + -5)?
False
Let n(o) = -o**3 + 19*o**2 - 15*o + 14. Is n(18) a multiple of 34?
True
Let a = -3 + 0. Let r = 0 - a. Is r a multiple of 2?
False
Is 10 a factor of (-4)/18 - (-202)/18?
False
Let q(w) = 4*w**2 - 10*w + 46. Does 12 divide q(7)?
False
Let y = 195 - 36. Does 10 divide y?
False
Does 19 divide 104 - 1 - (-1 - -1 - -1)?
False
Suppose y + 2*b - 30 = 0, -b + 29 = y - 0*b. Suppose 5*m - 4*o + 23 = 71, -2*o = -3*m + y. Is m a multiple of 8?
True
Suppose 2*w = -2*w + 2*h + 240, -5*w + 270 = 5*h. Is 21 a factor of w?
False
Suppose -5 = -5*k, -4*t + k = -3*t - 104. Is 13 a factor of t?
False
Let w(h) = 3*h**2 + 6*h + 7. Is w(-5) a multiple of 19?
False
Let u = 1 - 5. Let a = u + 7. Is a a multiple of 3?
True
Let x(o) = -6*o - 5. Let s = 16 - 10. Let t(a) = 3*a + 3. Let q(l) = s*x(l) + 10*t(l). Does 12 divide q(-4)?
True
Suppose 2*f - 21 = 17. Does 12 divide f?
False
Let c(k) = k**2 + 4*k - 2. Let v(m) = m**3 + 5*m**2 - 5. Let x be v(-5). Is c(x) even?
False
Let q(x) = x - 3. Let a be q(8). Suppose 4*y - 2*c = -y + 281, -3*y + 180 = -a*c. Is y a multiple of 21?
False
Let r = -37 + 70. Is 9 a factor of r?
False
Let z(j) = 2*j**2 - 12*j + 4. Is 9 a factor of z(8)?
True
Is 3 a factor of 46/2 - (-10 + 9)?
True
Let h be (6/2)/(15/25). Suppose 0 = -h*u + 94 - 24. Does 14 divide u?
True
Let h = 160 + -112. Is 20 a factor of h?
False
Let o(p) = -p**3 + 9*p**2 + 11*p + 12. Suppose 28 - 8 = 2*a. Is 11 a factor of o(a)?
True
Suppose -4*l + l = -3*a + 39, -5*l + 4*a - 62 = 0. Let c = -30 + 55. Does 23 divide l/c + (-307)/(-5)?
False
Does 25 divide 2/6 + (-1320)/(-36)?
False
Let s(l) = l**3 + 7*l**2 - 2*l - 4. Let h be s(-7). Let x = h + -4. Is x even?
True
Let w = -64 + 145. Does 30 divide w?
False
Suppose -n = -15 - 15. Does 15 divide n?
True
Let q = -15 + 49. Is 17 a factor of q?
True
Let i(n) = 16*n + 3. Let b be i(-2). Let r = -2 + b. Let s = r - -55. Is 12 a factor of s?
True
Let l(w) = -w**3 + w**2 - w + 14. Let y = 3 + 0. Suppose 0 = 3*z + s - 2, -4*s + 8 = -4*z + y*z. Is l(z) a multiple of 7?
True
Let p = -1 + 2. Is 18 a factor of 18 + (1 - p)/1?
True
Let f be -1*3*3/9. Let y = f + 3. Does 9 divide -3 - y/(-2) - -20?
True
Let a(w) be the first derivative of w**3/3 + w**2/2 + w + 3. Let h be a(-2). Is 12 a factor of 24 + h/(-6)*0?
True
Suppose -3*s + 3*r = -147, -2*s - r - 7 + 90 = 0. Let b = s - 5. Is b a multiple of 10?
False
Let i be (16/24)/(2/(-9)). Let m = i + 39. Is 18 a factor of m?
True
Suppose 5*j + 22 = 337. Does 21 divide j?
True
Let t be 2/(((-8)/5)/(-4)). Suppose t*y - 5*u = -0*u + 185, -5*u + 151 = 3*y. Suppose 4*k - 10 = y. Is k a multiple of 13?
True
Suppose 4*d - d + 150 = 3*i, 0 = -5*i + 3*d + 256. Suppose -4*h = 4*k - k - 168, h = 2*k + i. Is 12 a factor of h?
False
Let b(z) = 9*z**2 + 2*z - 1. Let l be b(1). Is -2 - (3 - l) - 1 a multiple of 3?
False
Let y(k) be the first derivative of -k**5/20 + 7*k**4/12 - k**3 + 3*k**2/2 + k - 2. Let d(w) be the first derivative of y(w). Is d(6) a multiple of 2?
False
Let g be (3/(-1))/((-3)/2). Suppose 4*p = g*p + 10. Suppose 3*w - h = h - 2, -30 = -p*w - 5*h. Is w even?
True
Suppose 0 = -r - 2*s + 14, -5*r + 2*s = -5 - 5. Suppose -r*h - 205 + 493 = 0. Does 24 divide h?
True
Suppose b - 2*b + r + 13 = 0, -5*b - 4*r = -83. Let f = -2 + 2. Suppose b = 5*w - f. Does 3 divide w?
True
Suppose 14 = i + 5. Let a = i - -13. Is 11 a factor of (a/4)/((-4)/(-8))?
True
Suppose 3*c + 5431 = 1696. Is 13 a factor of c/(-21) + (-12)/42?
False
Let y = -51 - -76. Is y a multiple of 22?
False
Let g(f) be the third derivative of f**5/6 - f**4/24 + 3*f**2. Suppose 3 = -3*l - 0*l. Is 8 a factor of g(l)?
False
Let a(q) = -q**2 + q + 4. Let u be a(0). Suppose -5 = -t + u*h + 4, 0 = 5*h + 15. Let i = 5 + t. Is 2 a factor of i?
True
Let c(r) = -r**2 + 4*r. Let j = 4 + 0. Let b be c(j). Suppose 2*d + b*v + 5*v = 45, 2*d + 3*v - 39 = 0. Is 15 a factor of d?
True
Let b(x) = x**3 + 3*x**2 - x. Let s be b(-3). Suppose -3*d + 2*d + 21 = s*t, -4*d + 4*t + 52 = 0. Does 15 divide d?
True
Let g = 161 + -94. Is g a multiple of 16?
False
Suppose -40 = m - 2*m. Does 16 divide m?
False
Let s = -3 - -11. Let k be (-2)/s + 37/4. Suppose -r + 19 = -k. Is r a multiple of 10?
False
Let m(d) = -d**3 + 4*d**2 + 2*d + 4. Let p be m(4). Let h be 8/5 + (-4)/(-10). Suppose p + 14 = h*u. Is 13 a factor of u?
True
Suppose 15*s - 1362 = 9*s. Is s a multiple of 45?
False
Is (-4)/(-14) + (-6292)/(-77) a multiple of 18?
False
Suppose 2*k - 22 = 10. Does 8 divide k?
True
Let l = 112 + -70. Does 6 divide l?
True
Let j = 36 + -20. Does 8 divide j?
True
Is 10 a factor of 4/(-14) + (-5436)/(-63)?
False
