21 a factor of p(g)?
True
Let c = 144 - -36. Does 3 divide c?
True
Suppose 2*z = -3*w + w + 2972, -2*z + 7430 = 5*w. Is 18 a factor of w?
False
Let i be ((-1)/5)/((-2)/(-145))*-2. Let m = 50 - i. Is 5 a factor of m?
False
Suppose 5*z + 0*g = -3*g + 9217, 4*z = -4*g + 7380. Is 7 a factor of z?
True
Let a = -12 + 140. Suppose -29*t = -28*t - a. Does 31 divide t?
False
Let o(n) = -11*n**3 + 3*n**2 + 3*n + 6. Let d be o(-3). Let l = d - 81. Is l a multiple of 24?
True
Let s(f) be the second derivative of -f**5/20 - f**4/6 + f**3/6 - 2*f**2 + 7*f. Let l be (-21)/14*16/6. Does 8 divide s(l)?
True
Let p(n) = n**2 + 5. Let i be p(0). Let x be 470/6 - 4/(-6). Suppose 2*t - x = -5*a + 53, -t - i*a + 61 = 0. Is 18 a factor of t?
False
Let n be (-3)/5 + 23*(-4)/(-20). Suppose 4*k - 224 = h, 0*k - n*h = -k + 56. Is k a multiple of 14?
True
Suppose -4*i - 22 = 2. Let c(o) = -5*o - 8*o + 2*o - 5. Does 17 divide c(i)?
False
Suppose 7*s = 10*s - 285. Suppose -g = 5*w + g - 110, 5*w + 5*g - s = 0. Does 6 divide w?
True
Let w be 1269/15 - 9/15. Suppose -m = r - w - 64, -3*m - 5*r = -450. Is m a multiple of 30?
False
Let s(g) = 2*g**2 + 51*g + 66. Is s(22) a multiple of 78?
False
Let k = -1117 + 1118. Let l(u) = 80*u**2 - 1 - 2 + 3*u - 28*u**2. Is 22 a factor of l(k)?
False
Let g(h) = h**2 - 14*h - 17. Is 17 a factor of g(31)?
True
Let b(v) = 20*v**2 - v + 2. Let p be (2/6)/(9/(-54)). Let t be b(p). Suppose 2*k + 2*k - t = 0. Is 7 a factor of k?
True
Suppose 253*t - 247*t = 5616. Is 24 a factor of t?
True
Suppose -4073 = -56*y + 295. Is 17 a factor of y?
False
Let q = -1053 - -1167. Is q even?
True
Suppose 5*d - 4*u = 834, 4*d + 0*d - 700 = -5*u. Is d a multiple of 10?
True
Let x = -16 - -20. Suppose -31 - 21 = -x*y. Suppose -11 - y = -c. Does 12 divide c?
True
Suppose 7*b - 3890 = 254. Is 37 a factor of b?
True
Does 21 divide 221 + (3 - -2) - -8?
False
Let i be (-3339)/(-42) - (5/2 - 2). Let p = 261 - i. Is 26 a factor of p?
True
Is 4 a factor of (26/1)/(11/11)?
False
Let x = 12 + -2. Suppose 0 = -2*i + 18 + x. Does 6 divide 416/i + (-6)/(-21)?
True
Suppose 0 = -2*f + 3*r + 32 - 509, -1160 = 5*f - r. Is f/(15/6 - 4) a multiple of 22?
True
Let m = -21 + 23. Let b = -2 + m. Suppose -3*c - 5*o - 152 = -6*c, b = -3*c - 4*o + 170. Is 17 a factor of c?
False
Suppose -3*h = 3 - 9. Suppose -j + 3 - 8 = 5*v, -10 = 3*v + h*j. Suppose -4*p - 20 = v, -5*a - p = p - 25. Does 2 divide a?
False
Let i(w) be the third derivative of -6*w**2 + 0*w + 0 + 1/2*w**3 - 1/12*w**4. Is i(-5) a multiple of 10?
False
Is 17 a factor of (20/4 + 63)/2?
True
Let r(v) = -10*v - 45. Let u be r(-5). Suppose u*f + 615 = 4*p, 2*p - 4*p + 305 = -3*f. Is 20 a factor of p?
True
Suppose 3*g - 4284 = 4041. Is g a multiple of 15?
True
Does 39 divide 1926/(-10)*1*(-258 + 253)?
False
Let y = 480 + -792. Let b = -132 - y. Is 18 a factor of b?
True
Let o = 75 + -39. Suppose -c + o = c. Does 6 divide c?
True
Suppose -3*b + 12 = 0, 2*b = -o - b + 27. Let n = 8 + o. Suppose -n*j = -18*j - 195. Is j a multiple of 20?
False
Suppose -5494 = -5*z + 3*g, -27*z + 3*g + 3300 = -24*z. Does 18 divide z?
False
Suppose 11*b + 1247 - 8067 = 0. Is 20 a factor of b?
True
Suppose -2*h - 6*h = -40. Let o = 67 + h. Is o a multiple of 24?
True
Let u(i) = i**3 + 3*i**2 + 4*i + 6. Let x be u(-4). Let f = -6 - x. Let l = 28 - f. Is 3 a factor of l?
False
Suppose -3*z + 720 = 6*z. Does 10 divide z?
True
Suppose -4*g + 232 = v, g + 1097 = 5*v - 0*g. Is v a multiple of 44?
True
Let b(p) = p**2 - 3*p + 4. Let v be b(3). Suppose -y = -0*y - v*m - 167, 5*y = -2*m + 725. Is y a multiple of 13?
False
Let t = -8 - -6. Let p be (108 - (3 + t)) + -4. Suppose 0 = -z + p - 10. Is z a multiple of 36?
False
Let a(q) = -7*q**3 - 16*q**2 + 3*q + 2. Is 66 a factor of a(-5)?
True
Let o(j) = j**3 + j**2 + j + 5. Let x be o(0). Suppose -1085 - 315 = -x*l. Suppose -2*v - 92 = -l. Does 20 divide v?
False
Suppose -3*u - 3*v - 31 = -7, 5*u + 4*v + 43 = 0. Is 19 a factor of (-416)/u - 2/(-11)?
True
Suppose 4*z - 76 = 5*h, 3*h + h + 62 = 2*z. Let m be 9*(4/(-6) - 0). Let q = m - h. Does 5 divide q?
True
Let t = -488 - -726. Is t a multiple of 17?
True
Let y(f) = 93*f**2 + 1. Let x(t) = 92*t**2 + 1. Let q(n) = -2*x(n) + 3*y(n). Does 32 divide q(1)?
True
Suppose 4*m = 6*m - 6. Suppose 12 - 37 = -5*k + m*q, 3*k - 15 = 5*q. Suppose 2 = k*l + 12, 3*p + 2*l - 236 = 0. Is p a multiple of 16?
True
Suppose 48*m - 25123 = 11*m. Is 15 a factor of m?
False
Suppose -s + 4*f = -7, -f + 0*f - 7 = -2*s. Suppose -133 + 34 = -s*b. Suppose 0 = -2*o + a + b, 0*a - 38 = -2*o + 2*a. Does 7 divide o?
True
Suppose 14 = 5*g - 16. Let d be g*2*(-2)/8. Is 1/(d - (-52)/17) a multiple of 9?
False
Let c(x) = x**3 - 9*x**2 + 10*x + 36. Let a be c(11). Let l = 564 - a. Does 10 divide l?
False
Let z = 2158 + 1006. Is 14 a factor of z?
True
Let u(p) = p**3 + 3*p**2 + 2*p + 4. Let g be u(-3). Is 27 a factor of -3 - g/((-4)/(-238))?
False
Let a = -6 + 0. Does 3 divide ((-8)/a)/((-16)/(-216))?
True
Suppose -9*h + 12*h - 141 = -i, -36 = -h - 4*i. Does 16 divide h?
True
Let j(n) = 17*n - 2. Let g be j(3). Let w = 69 - g. Is 4 a factor of w?
True
Suppose 5*j = -2*k + 183, 4*k - 21*j = -23*j + 374. Is k a multiple of 3?
False
Suppose 4*g = -3*d + 231, 0 = -2*g - 4*d + 157 - 49. Is g a multiple of 3?
True
Let h(v) = -v**3 - 26*v**2 - 43*v - 55. Does 37 divide h(-25)?
False
Suppose -4615 = -5*r - w, -48*w = -47*w + 5. Is r a multiple of 31?
False
Let t = -775 - -1117. Is 38 a factor of t?
True
Is (15 + -11 - 8)/(4/(-886)) a multiple of 58?
False
Let b be 1 - -1 - -1*2. Let u(j) = -j**3 + 22*j**2 - 16*j + 3. Let m be u(21). Suppose b*s = -4, -4*t + t = 3*s - m. Is 11 a factor of t?
False
Suppose -q + 5*d = -34 - 18, 3*d = -6. Is 14 a factor of q?
True
Let i(r) = r**3 + 2*r**2 + 2*r + 1. Let j = -37 + 40. Does 13 divide i(j)?
True
Suppose -3*p - 26 = 2*d, -3*p - 20 = 3*d + 2*d. Does 34 divide (-1 + p/(-15))*-303?
False
Let c = 24 + -16. Suppose 0 = c*k - 344 - 24. Is k a multiple of 6?
False
Let k = 4 + 0. Suppose -t = 5*p - 10, 2*p - k*t + 1 = 5. Suppose -l = p, 0 = -5*h + l - 2*l + 113. Does 18 divide h?
False
Suppose 0 = 3*s, -250 = 2*g + s + 2*s. Let l(o) = 4*o + 58. Let x be l(-12). Is 7 a factor of (6/(-5))/(x/g)?
False
Let u be 13 + -12 - (-1 + -5). Suppose -u*m + 2*m + 580 = 0. Suppose -q + 3*q = m. Is q a multiple of 21?
False
Let p(y) = y**3 - 5*y**2 - 3*y + 2. Let v be p(6). Suppose 0*x + x = v. Is x a multiple of 8?
False
Let b(v) = -33*v + 6. Let p be b(3). Let i = -63 - p. Is 13 a factor of i?
False
Suppose 0 = l - 5*x - 585, 3*l + 6*x - x = 1655. Is 7 a factor of l?
True
Let x = -11 - -1. Let y be (x - -11)/((-2)/(-34)). Let n = y + -9. Is n a multiple of 7?
False
Let m = 991 - 543. Let n = m - 808. Is 5 a factor of 7/(-2)*n/63?
True
Let m(a) = 2*a**3 + a**2 - a. Let i be m(1). Suppose v + 5*g = -3, i*g - 3*g = 5*v - 57. Is v a multiple of 5?
False
Let c(j) = -561*j - 2. Let o be c(-2). Suppose -4*g = -0*g - o. Is g a multiple of 48?
False
Let o = 3368 + -2708. Is 4 a factor of o?
True
Let d = 8 - 6. Let l be 1*(1 - d) + -3. Is 5 a factor of l/(-14) - (-66)/14?
True
Suppose -9*o - 15 = -14*o, 393 = 3*y + 3*o. Does 64 divide y?
True
Suppose -j + 257 + 210 = 0. Is j a multiple of 23?
False
Let k(g) = -g**2 + g + 54. Let s(j) = -j**2 - 2*j - 1. Let o be s(-1). Is 21 a factor of k(o)?
False
Let h be ((-2)/2)/((-2)/4). Suppose 8 = 2*l - 0*c + 4*c, -5*l + 44 = h*c. Is 5 a factor of l?
True
Let t = 44 + -41. Let y = 918 - 486. Suppose -t*x + y = x. Is x a multiple of 36?
True
Let r be 28/42*6*(-2)/(-4). Let k(q) = 2*q**3 - 4*q**2 + 4. Let z be k(3). Suppose -5*c + z = r. Does 4 divide c?
True
Let k(c) = 6*c - 4. Let n be k(9). Let r be (-1)/(-5) - 509/(-5). Let h = r - n. Is h a multiple of 14?
False
Suppose 79 = d + 10*z - 5*z, 5*z = 5*d - 545. Does 4 divide d?
True
Let z(b) = -9*b**2 - 7*b + 5. Let u(t) = -8*t**2 - 7*t + 6. Let s(r) = -6*u(r) + 5*z(r). Is 33 a factor of s(5)?
True
Let s(w) = -81*w - 223. Does 25 divide s(-8)?
True
Let o = 16 + -10. Suppose -4*b = 5*k - 351, -o*b = -b - 20. Let r = k - 1. Is r a multiple of 22?
True
Suppose 5*l = -p + 19, 2*l + 3*p = -0*l + 5. Suppose l*w + 3*z = 11, -w - z + 8 = -2*z. Let s(d) = 8*d + 3. Does 14 divide s(w)?
False
Let m be (-27)/(-9) - (-