iple of 25?
False
Suppose -16 = -2*s - 2*s. Suppose -4*n + s*b = -24, n - 3*b = 4 + 4. Does 3 divide n?
False
Let h(r) = 2*r + 6. Let a(b) = -b**2 + 7*b + 8. Let l be -2 - 0 - -4 - -5. Let t be a(l). Is h(t) a multiple of 11?
True
Let w(s) = -s**2 - 4*s - 1. Is w(-3) even?
True
Let m be (-4)/(-16) - (-174)/8. Let b = 2 - 5. Is 15 a factor of b + m - (3 - 1)?
False
Does 8 divide 62 + 12/3 + -4?
False
Let z(r) = -3*r + 9. Let f be z(6). Let l(x) = x**3 + 10*x**2 + 10*x + 13. Let k be l(f). Suppose -2*y = -4*s - 12, 3*s = -s - k. Does 3 divide y?
False
Suppose 3*a + 38 = 5*k - 44, -5*a + 39 = 2*k. Let j = k + 5. Is j a multiple of 11?
True
Let u be 3 + 3 + -1 - 2. Suppose -2*v = -8*l + u*l + 230, 0 = 3*l + v - 149. Is 16 a factor of l?
True
Let b(c) = -c - 3. Let l be b(0). Does 16 divide (-416)/(-24) - (-1)/l?
False
Let p(h) = 16*h. Let n be p(5). Suppose 0 = 3*x + 5*f - n, -f - 62 = -2*x. Is x a multiple of 18?
False
Let i be (1 + -1)/(-1 - -2). Suppose i*k - k = -18. Is k a multiple of 5?
False
Let b = -46 - -89. Let h = 271 - 192. Let t = h - b. Is 18 a factor of t?
True
Suppose 2*i + 10 = 4*q, 0 = -3*q - 4*i - 0 + 2. Suppose -5*c = -5*g - 145, 40 = q*c - g - 15. Is c a multiple of 13?
True
Let g = 653 - 460. Is g a multiple of 24?
False
Let j(x) = -6*x - 32. Let f(w) = -2*w - 11. Let v(o) = 17*f(o) - 6*j(o). Is v(10) a multiple of 25?
True
Let r = -12 + 38. Let f be (r/(-5))/(1/(-5)). Suppose -4*k + 118 - f = 0. Is k a multiple of 10?
False
Let s be (-38)/(-4) + 1/2. Let f(l) = -l**2 + 5*l - 4. Let c be f(3). Suppose 0 = -c*r + 2 + s. Is 4 a factor of r?
False
Let f(w) = -w**2 + 9*w - 4. Let l be f(7). Suppose 7*s - l*s + 33 = 0. Is 3 a factor of s?
False
Let w(p) = -p**3 + 7*p**2 + 7*p + 11. Is w(8) a multiple of 3?
True
Let f(t) = -15*t**3 - 2*t**2 + 3. Is f(-2) a multiple of 14?
False
Is 9 a factor of (-10)/15*(-81)/2?
True
Suppose 5*d = -5, -2*o - 4*d = -5*o + 16. Does 20 divide 46*3/o*2?
False
Suppose 0 = -2*j + 2*k + 4, -j + 4*k = -4*j + 13. Is j a multiple of 3?
True
Does 26 divide 73 - (0 + 0 + -2)?
False
Let t(b) = b**3 - 10*b**2 + 13*b + 3. Let f(l) = 6*l - 3. Let c be f(2). Is t(c) a multiple of 13?
True
Suppose -o - 4*o + 15 = 0. Suppose 3*n - o*i = 2*n - 18, -2*i + 61 = -3*n. Let u = n + 33. Is u a multiple of 12?
True
Let z(k) = k**2 - 11*k + 13. Let o be z(10). Suppose -d + 23 = -o. Is d a multiple of 5?
False
Suppose -2*u - 3*u = -210. Suppose -d - 2*d + u = 0. Does 6 divide d?
False
Suppose -2*f = -3*m - 94, 0 = -0*f + 3*f + 4*m - 175. Suppose 21 = -2*b + f. Does 13 divide b?
False
Suppose 5*l - h = -0*l + 94, -5*h = 4*l - 81. Is 11 a factor of l?
False
Let u = 242 + -170. Is 8 a factor of u?
True
Let p(b) be the third derivative of b**6/120 - b**5/15 - b**4/4 + b**3/3 + 2*b**2. Let k be p(5). Is 9 a factor of (2 + k)*(4 + -13)?
True
Suppose i - 22 = 14. Is i a multiple of 18?
True
Suppose -3*a + 0 + 9 = 0. Suppose -j + 13 = -a. Is j a multiple of 8?
True
Let t(a) be the first derivative of 2 - 1/3*a**3 + a**4 - 2*a - 1/2*a**2. Is 14 a factor of t(2)?
False
Is (3/(9/375))/1 a multiple of 17?
False
Let b(q) = q**2 + 7*q + 26. Does 17 divide b(9)?
True
Suppose 3*o + 30 = -5*z, 3*z + 16 + 2 = 2*o. Let q = 4 + z. Does 23 divide 5/q*(-204)/10?
False
Suppose -k + 5*c + 113 = -78, 0 = -5*k + c + 1075. Is k a multiple of 24?
True
Let t(r) = r**2 - 3*r - 4 + 6*r + 5*r**3 - 6*r**3. Is t(-4) a multiple of 14?
False
Suppose -3*c - 429 = -5*o, 3*o - c - 186 = 69. Does 22 divide o?
False
Let q be (-88)/(-6)*30/(-4). Let o = q - -154. Does 14 divide o?
False
Let r = -55 + 94. Does 10 divide r?
False
Let y = 31 + -90. Let z = y - -116. Is 26 a factor of z?
False
Suppose -5*t + 2155 + 220 = 0. Is 19 a factor of t?
True
Does 10 divide (-4 - -2)*(-69)/2?
False
Does 4 divide ((-12)/(-8))/((-1)/(-16))?
True
Let n be 3*((-24)/9)/2. Is n/(-8) - (-47)/2 a multiple of 8?
True
Suppose -h + 31 = 5*j + 8, 4*h - 111 = -j. Suppose 4*f - 96 = -0*c + 2*c, -4*c + h = 2*f. Does 12 divide f?
False
Suppose u - 5*t + 2*t - 98 = 0, 264 = 3*u - 3*t. Is u a multiple of 38?
False
Suppose -45 - 15 = -5*h. Suppose w - 2*w = -h. Is w a multiple of 4?
True
Let o(u) = -u**3 - 9*u**2 - 7*u + 8. Let z be o(-8). Let j be 1*(-5)/(-1 + z). Suppose -7*x + j*v = -3*x - 30, -x - 4*v = -18. Is x a multiple of 9?
False
Let v = -60 + 143. Is 12 a factor of v?
False
Suppose 3*k + 3 = -3. Is (k + 9/(-3))*-3 a multiple of 4?
False
Let s be (13 + -1)*(-2)/(-4). Suppose -4*w = -3*w - s. Let a(t) = -t**3 + 6*t**2 + t + 2. Is 4 a factor of a(w)?
True
Let l(s) = -s**3 + 10*s**2 + 11*s - 12. Let k be l(11). Let n = k - -50. Is n a multiple of 13?
False
Let l(j) = 3*j - 3. Let f be l(5). Suppose -2*b = b - 63. Let k = f + b. Does 17 divide k?
False
Suppose 2*c = -0*c - 32. Is 4 - 4 - c/2 a multiple of 4?
True
Let x be (-111)/9 + 2/(-3). Let v be (8 + x)/(2/8). Let m = -14 - v. Is 3 a factor of m?
True
Let p = 1 + -1. Suppose -2*g = 5*y + 15, -4*g + y + 0 + 25 = p. Is (0 - 3) + g + 26 a multiple of 10?
False
Suppose 2*r + 0*r = 6. Suppose o - 4*o - r = l, o - 21 = -4*l. Is l a multiple of 2?
True
Suppose 2*h = -2*a + 3*a - 46, 5*a + 2*h = 194. Suppose 3*t - a = 47. Does 12 divide t?
False
Suppose 2*a = -x + 59, 6*x = -a + 2*x + 12. Is 8 a factor of a?
True
Let f(q) be the second derivative of 0 - 2*q + 5/6*q**3 - 5/12*q**4 + 1/10*q**5 - 3/2*q**2. Is 9 a factor of f(3)?
False
Let k = 230 - 95. Does 47 divide k?
False
Let m(b) = 8*b - 2. Let q be m(-4). Is 16 a factor of 15/(-6)*q/5?
False
Let o(u) = -u**2 + 19*u + 16. Is o(11) a multiple of 11?
False
Does 9 divide 63 + (-4 + 3)/(-2)*0?
True
Let x(d) = 4*d + 5. Is x(3) a multiple of 17?
True
Let a(l) = -l**3 + 10*l**2 - 8*l - 9. Let i be a(9). Suppose v + i*v = 4. Is v a multiple of 2?
True
Let y(q) = 0*q**3 + q**3 - 5*q + 4*q - 2*q**2 + 2. Let b be y(2). Suppose b = -3*g + 30 + 12. Is g a multiple of 14?
True
Let z be (8/(-16))/(2/(-40)). Let j(x) = x + 4. Does 7 divide j(z)?
True
Let u(j) = -j**2 + 13*j + 9. Is 13 a factor of u(8)?
False
Suppose 3*n - 6 + 0 = 0. Suppose -o + 0*l + 4*l + 42 = 0, n*l = 3*o - 76. Is 5 a factor of o?
False
Let j(z) = 3*z**2 - 2*z - 1. Let p be j(-1). Suppose 0 = -2*x - p*b + 6, -x = -2*x + b. Is 1 - (-1)/(x/5) a multiple of 3?
True
Let d(f) = -f + 12. Let b = 18 - 11. Let c be d(b). Does 12 divide 68/c + 2/5?
False
Is 12 a factor of 5 + (-32*7)/(-2)?
False
Let w = -25 + 52. Is 9 a factor of w?
True
Let n = 29 + 42. Is 14 a factor of n?
False
Let c(j) = 2*j - 9. Let m be c(6). Suppose -4*w = -w - 135. Suppose -w = -3*u - m. Is u a multiple of 5?
False
Suppose o + 4 = a, -6*o - 11 = -2*o - 3*a. Suppose -2*u + 26 = 2*b, -3*b + o = u - 36. Is 3 a factor of b?
True
Suppose 0 = 3*y - 4*f + 8, 5 = -2*y + 4*f - 7. Suppose 0 = -y*s + 2 + 2. Does 5 divide 12 + -5 - 0/s?
False
Does 16 divide 5772/36 + ((-2)/(-1))/(-6)?
True
Suppose -2*h - 54 = -0*h. Let z = 52 + h. Is 13 a factor of z?
False
Suppose -q - 4*c + 74 = -3*c, 5*q = 3*c + 378. Suppose 0 = 2*h - 7*h + q. Is h a multiple of 15?
True
Let a(s) = -3*s - 2. Let m be a(-2). Suppose 5*r - 2*g + 0*g = -149, m*g + 108 = -4*r. Let u = -18 - r. Is 11 a factor of u?
True
Let m(o) = o**3 - 9*o**2 + 2*o - 12. Let f = -5 - -8. Suppose 2*l = f*l - 9. Is 2 a factor of m(l)?
True
Let v = -8 + 12. Suppose 3*c - 771 = -v*x + 6*c, -12 = -4*c. Suppose x = -2*m + 7*m. Does 24 divide m?
False
Suppose 4*h = -6*g + 2*g + 48, 0 = -3*g + h + 20. Is 3 a factor of g?
False
Let f(l) = l - 8. Let w be f(6). Let o be (-2 + 0)*w - -1. Suppose 0 = x - 38 + o. Is x a multiple of 14?
False
Suppose 0 = -0*z - 3*z + 2*l + 98, -5*l = 5*z - 180. Suppose d = -d - z. Is d/(-4) - 4/16 even?
True
Let i = -10 + 13. Is 23 a factor of (16 - -7)*(i - 1)?
True
Let u = -23 - -53. Is 15 a factor of u?
True
Suppose 2*x = -2*b + 40, 5*x - x = 4*b - 64. Let g be b - (1 + (2 - 3)). Is (-2 + g)*(-2 - -3) a multiple of 12?
False
Suppose -7*s = -2*s - 135. Is s a multiple of 10?
False
Let y = -9 - -14. Suppose 5*v - v - 108 = 2*i, -10 = y*i. Is 9 a factor of v?
False
Does 12 divide (-6)/((-243)/(-84) + -3)?
False
Suppose -5*k - 30 = 15. Let c = k + 24. Is c a multiple of 15?
True
Let a be 1 - 0 - (-1 - 0). Suppose 2*l - 3*b = 202, -a*b - 241 = -2*l - 35. Suppose 4*h - 148 = y, -y - 3 = 3*h - l. Is 18 a factor of h?
