 38 a factor of b(-1)?
True
Let m = -82 - -116. Does 21 divide m?
False
Let c = 4 + -7. Does 7 divide 28/(-4)*(c - 0)?
True
Let z(f) = -15*f + 6. Let o(h) = 16*h - 5. Let c(p) = -3*o(p) - 2*z(p). Does 19 divide c(-3)?
True
Let i(d) = -d**3 + 6*d**2 - 4*d - 3. Let a be i(5). Suppose 0 = -5*v + 4*z + 297, -a*z + 53 = 3*v - 112. Does 19 divide v?
True
Let o = 375 - 186. Is 27 a factor of o?
True
Suppose -1 = 4*q - 17. Suppose 0 = -q*n + 3*n + 5. Does 5 divide n?
True
Suppose 0 = r - 5*r + 640. Does 20 divide r?
True
Is 0/2*(1 - 0) + 19 even?
False
Let j(q) = -q**3 - 8*q**2 - 8*q - 6. Let t be j(-7). Suppose 0 = -a + t + 4. Let r = a - -3. Does 4 divide r?
True
Let a = 14 - 7. Is a a multiple of 3?
False
Suppose 3*b = 9, -3*b - 10 + 3 = -4*y. Suppose -y*h + 3*h = -10. Is 5 a factor of h?
True
Suppose 3*u - 608 = -80. Is 22 a factor of u?
True
Suppose -v + 39 = v - 3*i, -60 = -3*v + 5*i. Is v a multiple of 15?
True
Let q be (-5 - -6)/(1/33). Suppose 3*a = -q + 159. Is 14 a factor of a?
True
Let i = 3 + -1. Let g(p) = 3*p - 1. Let f be g(i). Suppose -j - 6 = -d, 2*j + j + 26 = f*d. Is 4 a factor of d?
True
Let c(d) = d**3 + 11*d**2 + 9*d - 8. Let x be c(-10). Let w be x/(-14) - 3/(-21). Suppose 5*r - 169 - 11 = w. Is 18 a factor of r?
True
Let f be (12/(-15))/(-2)*-15. Let s(g) = -g**3 - g. Let l(t) = -3*t**3 - 6*t**2 - 9*t - 4. Let h(j) = l(j) - 2*s(j). Is h(f) a multiple of 19?
True
Suppose -5*i = -5*n - 680, 2*i - n - 280 = -3*n. Suppose 3*d - i = 228. Is 16 a factor of 3/4 + d/8?
True
Let g = -5 + 30. Does 5 divide g?
True
Let a be -2 - (-2 - -2) - -29. Let m = a - 8. Is m a multiple of 17?
False
Is 0 + 420/(25/5) a multiple of 12?
True
Let u(a) = -2*a**3 - 17*a**2 - 16*a - 17. Let b(o) = -o**3 - 9*o**2 - 8*o - 8. Let z(r) = -5*b(r) + 2*u(r). Is 12 a factor of z(-10)?
False
Let h(s) = 7*s + 2. Is 3 a factor of h(1)?
True
Let h = 8 + -5. Let f be (0 - -5)*(-2 + h). Suppose -f = 3*j - 29. Does 3 divide j?
False
Is (-390)/(-6)*(-9)/(-5) a multiple of 11?
False
Let j(v) = 9*v**2 - 7*v + 12. Let o(f) = 3*f**2 - 2*f + 4. Let p = -2 + 6. Let c(n) = p*j(n) - 11*o(n). Is c(4) a multiple of 18?
False
Suppose -6*d + 8 = -2*d. Does 12 divide (-43 + 7)/(1 - d)?
True
Let g(p) = p + 1. Let x(t) = -t**2 + 14. Let c(n) = g(n) + x(n). Is 7 a factor of c(0)?
False
Let n(q) = q**3 + 10*q**2 - q. Is n(-8) a multiple of 21?
False
Let z(i) = 172*i - 2. Does 5 divide z(1)?
True
Let o be (-2 - (-14 - -1))*1. Does 9 divide (1 - 0) + o + 3?
False
Suppose 0 = -3*h + 8*h + 2*x - 218, 0 = -4*h + x + 164. Is h a multiple of 14?
True
Let g(n) = -2*n**3 + 6*n**2 + 7*n + 1. Let u be g(5). Let t = 4 - u. Suppose 2*i - 96 = 2*f, -i + 3*f - 16 = -t. Is 23 a factor of i?
True
Let x be (10/3)/((-2)/(-3)). Suppose -x*s = 2*b - 159, -4*b = 2*s - 9*b - 52. Does 15 divide s?
False
Is 7 a factor of (-24)/16*((-88)/6 - 0)?
False
Does 12 divide (-6)/9 - 762/(-9)?
True
Let r be 1/(-2) - (-427)/14. Suppose n + 0*n - r = 0. Is 15 a factor of n?
True
Let p(h) = -h**3 + 8*h**2 - 6*h - 1. Let c be p(7). Suppose 0 = 3*q - c*q + 78. Is 15 a factor of q?
False
Suppose 31 + 44 = 5*i. Is 12 a factor of i?
False
Let k(y) = y**2 + 2*y + 4. Let j be k(0). Suppose 5*q = -2*t + 165, j*t + 5*q = -0*t + 305. Is 21 a factor of t?
False
Suppose 9*i + 336 = 13*i. Is 14 a factor of i?
True
Let r = 54 - 32. Is r a multiple of 16?
False
Let b(n) be the second derivative of n**5/120 + 7*n**4/24 + n**3/3 - 3*n. Let t(c) be the second derivative of b(c). Does 13 divide t(6)?
True
Let i(h) be the second derivative of -9/2*h**2 + 5/6*h**3 + 1/12*h**4 + 0 + h. Is 7 a factor of i(-8)?
False
Let r(a) = 3 + 6*a + 86*a - 1. Does 25 divide r(1)?
False
Let o be (7 + 1)*-1 - -1. Let t = 2 - o. Suppose -5*h + 2*h + t = 0. Is 3 a factor of h?
True
Suppose -2*j - 3*m = -4*j + 17, -10 = -4*j - 2*m. Suppose 2*y = -3*c - 54, -4*c + c = -j*y + 54. Let z = c - -59. Does 15 divide z?
False
Suppose -6*s = -5*s - 4. Suppose -5*u + s*b = -b - 10, 3*u = -4*b + 41. Is 6 a factor of ((-18)/(-21))/(1/u)?
True
Let y(i) = 4*i**2 - 19*i - 16. Let q(c) = -5*c**2 + 20*c + 17. Let j(b) = 5*q(b) + 6*y(b). Is 7 a factor of j(-9)?
False
Let s(c) = c**2 - 12*c - 16. Let j = 48 + -33. Is s(j) a multiple of 15?
False
Let i be 6/15 + (-16)/(-10). Suppose -104 = -2*p - i*p. Does 7 divide p?
False
Let d be (-1 + -1)/1 - -2. Let g = 3 - d. Does 3 divide g?
True
Let w(g) = 2*g + 20*g**2 - 12*g**2 + 1 + g**2 + 25*g**2. Is w(-1) a multiple of 15?
False
Suppose -5*l - 461 = 159. Let m = 174 + l. Does 13 divide m?
False
Let k(r) = -r**3 + 7*r**2 + 3*r - 6. Does 12 divide k(7)?
False
Suppose -5*a + 31 = -0*a + m, -5*a - 3*m = -23. Suppose -2*p = -a*p - 275. Is 7 a factor of (-7)/(-28) - p/4?
True
Let b be -1 + 3 + 57 + 3. Let s = b - 20. Does 12 divide s?
False
Let s = -5 - -21. Is 15 a factor of s?
False
Let p(f) = -f + 4. Let l be p(-3). Let d(a) = a**3 - 6*a**2 - 6*a - 4. Let n be d(l). Suppose x + 5*c - 37 = 0, -n*x - c + 3*c + 26 = 0. Is 12 a factor of x?
True
Suppose -3*l - 4*w + 3*w = -44, -4*l = 5*w - 77. Is l a multiple of 12?
False
Suppose 4*z + j = 540, -j + 270 = 2*z - 3*j. Suppose -5*m = -4*i + z, -4*m + 48 = 5*i - 90. Is 6 a factor of i?
True
Let n(s) = -24*s + 5 - 47*s + 28*s. Is n(-2) a multiple of 35?
False
Let d = 167 + -336. Let l = -93 - d. Is 38 a factor of l?
True
Let g be (8/(-3))/((-12)/18). Suppose 0 = 3*s + g - 91. Does 25 divide s?
False
Suppose 7*q - 6*q - 81 = 0. Is q a multiple of 12?
False
Suppose 0 = 2*i - n - 12, i + 0*n = 3*n - 4. Let g(x) = 8*x**2 + 4*x**3 + 1 - i*x**2. Is g(1) a multiple of 3?
False
Suppose 5*b = -0*b + 10. Suppose 0 = -b*r + 3*r - 4. Is (-8)/r*(0 + -2) a multiple of 2?
True
Suppose 0 = -4*c + 2*r + 136, -c + 5*c + 2*r - 136 = 0. Does 17 divide c?
True
Let l be (-4)/(-2)*1 + 0. Let v(t) = t**3 + 4*t**2 - 4*t + 7. Let k be v(-5). Suppose 4*c - 152 = -k*a, l*c - 16 = 2*a + 54. Is c a multiple of 15?
False
Suppose -3*t + 9 + 6 = 0. Does 12 divide 73/t + (-2)/(-5)?
False
Suppose 4*k + 4*l = 440, 78 = -2*k + 4*l + 292. Is k a multiple of 32?
False
Suppose 2*k + n + 2 - 7 = 0, 16 = 5*k - n. Suppose -7 = 5*c + 2*v - 58, k*v - 18 = -c. Does 9 divide c?
True
Let t = -2 + 3. Suppose -2*l = t - 27. Does 5 divide l?
False
Let i be 8/4 + 2 + 1. Suppose i*p - 78 = 147. Is p a multiple of 15?
True
Let r be -2 + (-5)/(15/(-6)). Suppose r = -2*n - 4 - 34. Is 7 a factor of (-1 + 2 - n) + -2?
False
Let o(j) = j**3 - 4*j - 3. Let x be o(-2). Let b be (-2 + x - -2)*-1. Suppose -3*w - b*y = -0*w - 24, 0 = -3*w - 2*y + 23. Does 7 divide w?
True
Let p be -2 + 0 + -2 + 0. Let l = p + 8. Is 3 a factor of l?
False
Is (-4)/8 + 356/8 a multiple of 11?
True
Let y be 8 + -3*(-3 - -4). Suppose -o = 2*o - 45. Suppose -v - 5*q + 51 = -0*v, y*q - o = 0. Is v a multiple of 18?
True
Suppose 2*x - t + 68 = -3*t, -x + 5*t - 46 = 0. Let w = x + 73. Is w a multiple of 15?
False
Suppose r - 11 = 29. Does 10 divide r?
True
Is ((-468)/(-91))/(2/28) a multiple of 10?
False
Let k(u) = 2*u - 2. Let n be k(5). Let q = -4 - n. Does 13 divide (52/6)/(q/(-54))?
True
Let l(a) = -a**3 + 6*a**2 - a + 2. Let j = -3 - -8. Let u be -2 + j/1 - -2. Is l(u) a multiple of 18?
False
Let u(n) = -n**3 - 8*n**2 + 12*n - 10. Let h be u(-10). Suppose -p + 2*c + 2*c = -10, -3*p + 4*c + h = 0. Does 30 divide p?
True
Let c be (14/4 + -3)*-12. Let f be -1 + 3 + c/(-2). Suppose -3*s + 27 = -b - 56, f*s - 135 = b. Is 13 a factor of s?
True
Let t be ((-16)/(-6))/(6/63). Suppose 3*h + 2*y = t, -3*y - 2*y + 13 = -2*h. Suppose -d + h*x - 2*x + 15 = 0, 5*d = x + 18. Does 3 divide d?
True
Let j be (-3)/6*2 + 32. Let u = -18 + j. Does 6 divide u?
False
Does 15 divide (3 + (-51)/12)*-36?
True
Suppose -35 = 4*q + 3*u, 0*u + 50 = -5*q - 5*u. Let a(v) = -v. Is 2 a factor of a(q)?
False
Suppose 0*v + 196 = 3*v - 5*j, -2*v = 2*j - 136. Suppose -3*z - 75 = 60. Let k = v + z. Is 11 a factor of k?
True
Let m(j) = -j**3 + j + 84. Does 24 divide m(0)?
False
Suppose 3*o + 2*k - 53 = -0*o, 0 = -2*o + 2*k + 52. Is o a multiple of 21?
True
Let u be 2 - ((3 - 2) + 0). Suppose 0 = -2*s + 7*s - 5. Does 10 divide s/(-1)*(-11 + u)?
True
Let y(v) = v**3 + 3*v**2 + v + 1. Let f be y(-3). Let l(d) be the third derivative of -d**6/40 - d**5/20 - d**4/12 + d**3/6 + 6*d**2. Is l(f) a multiple of 17?
True
Suppos