es 7 divide x(6)?
False
Suppose f + 2*f = 153. Suppose -2*d = -13 - f. Is d a multiple of 16?
True
Is 22 a factor of 0 + 92 + -2 + 5?
False
Suppose -3*l + 5*k + 29 = 4, k + 71 = 5*l. Is 5 a factor of l?
True
Let b = 1 + 2. Suppose 0 = f - b*f + 96. Suppose 0 = -d + 3*d - f. Is d a multiple of 24?
True
Is 31 a factor of (-6 + 1)*(-9 - 2)?
False
Suppose -5*g + 2*n = 265, 3*g + 129 - 1 = -5*n. Let q = -1 - -2. Is 21 a factor of 2 + -5 + (q - g)?
False
Let y = 9 - 4. Suppose 0 = y*w + 2*a + a - 21, a = -4*w + 14. Suppose k - 33 = -k + j, -9 = w*j. Does 11 divide k?
False
Let q be (2 + 1 - 2)*-11. Let f = q - -18. Let x = -3 + f. Is x a multiple of 2?
True
Does 12 divide 47 + ((-6)/15 - 7/(-5))?
True
Let q(r) = -6*r**2 + r - 6. Let m be q(5). Let a = -61 - m. Suppose 0*t + 5*t = a. Does 16 divide t?
False
Let h(q) = -5*q + 5. Is 6 a factor of h(-5)?
True
Let a(t) = -4*t + 1. Let m be a(-1). Suppose m = -2*g + 67. Is g a multiple of 16?
False
Let p = -11 - -16. Suppose 5 = 5*i, -p*n + 24 = -3*i - 3. Does 2 divide n?
True
Suppose 17*d - 18*d + 45 = 0. Is d a multiple of 15?
True
Suppose 0*q - q = 5*n - 49, n - 4*q - 14 = 0. Let k be 3/(-9) - (-22)/(-6). Let j = n + k. Does 3 divide j?
True
Let r(n) be the second derivative of n**4/6 + n**3/2 + n**2/2 - n. Is 10 a factor of r(-3)?
True
Let d = 60 + -35. Does 4 divide d?
False
Let h(x) = 3*x + 33. Let n(q) = q + 8. Let c(p) = 2*h(p) - 9*n(p). Let k be c(-6). Is 8 a factor of (4*1)/(3/k)?
True
Let k(y) be the first derivative of -3*y**2 - 2. Is k(-1) a multiple of 5?
False
Suppose 3*z + 5*r + 25 - 9 = 0, 20 = -5*z - 5*r. Let v = 11 + z. Is 5 a factor of v?
False
Let u = 7 + -5. Suppose u*x - 39 = 45. Does 14 divide x?
True
Suppose -95 = -3*l - i, -2 - 66 = -2*l + 4*i. Does 25 divide l?
False
Suppose -2*w = 2*k + 20, 2*k - 4*w + 5*w + 17 = 0. Let a(f) = f**3 + 9*f**2 + 9*f + 2. Does 12 divide a(k)?
False
Let l = 7 - 5. Suppose l*d = -3*o + 96 + 73, 2*d = 3*o - 173. Is o a multiple of 19?
True
Suppose 5*z - 20 = z. Suppose 2 - z = t. Let f = 36 - t. Is f a multiple of 20?
False
Let l(x) = 14*x**2 - 8*x**2 - 3 + x**3 - 4*x - 12*x**2. Is 4 a factor of l(7)?
False
Let v(p) = -3*p - 15. Does 2 divide v(-6)?
False
Let w(z) be the second derivative of 3*z**4/4 + z**3/6 + z**2 - 4*z. Is w(-3) a multiple of 25?
False
Let s be -4 + (1 - (0 - 0)). Let x(b) = -12*b + 6. Does 12 divide x(s)?
False
Is (-9)/6*56/(-6) a multiple of 14?
True
Suppose 2*w = s - 80, s + 0*w - 110 = -4*w. Does 30 divide s?
True
Let v(b) = b**3 + 3*b**2 - 2*b + 5. Let w be v(-4). Let o be w*(2 - (-20)/(-6)). Suppose 2*a = -5*m + 9 + 4, -o*a = 4*m - 44. Does 5 divide a?
False
Is 13 + -1 + 6 + -2 a multiple of 9?
False
Suppose -4*k + 14 = 6. Is 8 a factor of (k - 0)*(8 + 5)?
False
Let i(r) = r**3 + 8*r**2 + 8*r + 7. Let a be i(-7). Let z(b) = -b. Let t be z(a). Suppose -2*h = -t*h - 98. Is 23 a factor of h?
False
Let o(p) = -p**3 - 3*p**2 + 3. Let r be o(-3). Suppose r = 4*y - 41. Suppose -2*v + 33 + y = 0. Does 11 divide v?
True
Does 4 divide ((-24)/(-9))/((-8)/(-60))?
True
Let g(v) = v**2 - 8*v + 27. Is 4 a factor of g(7)?
True
Does 16 divide 18 + 0 + 10/(-5)?
True
Suppose -2*g + 5 = -3*g, -4*y + 80 = 4*g. Does 25 divide y?
True
Let i(n) = 3*n**2 - 2*n - 12. Is 14 a factor of i(6)?
True
Let d(j) = -j**3 - j**2 + 4*j - 6. Does 26 divide d(-4)?
True
Suppose -y = 2 - 17. Is 12 a factor of y?
False
Suppose -4*y = -3*q + 247, -3*y = 4*q - 4*y - 338. Suppose 0 = -5*a + 5 + q. Does 3 divide a?
True
Let l be 15/(-2) - 4/(-8). Let a = l + 10. Suppose -6*b + 147 = -a*b. Is 27 a factor of b?
False
Let a(t) = -t**3 + 12*t**2 - t - 4. Is a(11) a multiple of 47?
False
Let l = -3 + 8. Let o(y) = y**3 - 5*y**2 - y - 5. Let z be o(l). Let j(q) = q**2 + 6*q - 4. Is 13 a factor of j(z)?
False
Suppose 3*g = 5*g + b - 86, 0 = 5*g + 4*b - 221. Let s = g + -110. Let c = s + 97. Is c a multiple of 14?
True
Let l(c) = 17*c**2 - 3*c - 2. Does 36 divide l(-2)?
True
Is 95/4 - (-24)/(-32) a multiple of 13?
False
Let f = 3 - 5. Let c = 0 - f. Is 2 a factor of c?
True
Let d be 4/(((-8)/4)/(-2)). Suppose -124 + 8 = -d*f. Does 12 divide f?
False
Let b(a) = a**2 - 2*a + 1. Is 16 a factor of b(5)?
True
Let t(p) = -p**3 - 5*p**2 - 4*p + 2. Let s be t(-4). Suppose -s*c - 1 = 5. Let k(y) = -10*y - 2. Is 14 a factor of k(c)?
True
Let j be 10/4*(-6)/5. Let w(p) = 4*p + 7. Let o(x) = -2*x - 4. Let g(b) = j*w(b) - 5*o(b). Is g(-3) a multiple of 5?
True
Suppose 2*u - 4*w = 28, 3*u + u + 9 = -5*w. Suppose 2*q + p = 0, -4*q + 9*q = u*p + 26. Suppose 4*f - 152 = -q*d, -d - 3 = -1. Is f a multiple of 13?
True
Let f(s) = s**2 + 9*s + 30. Is 24 a factor of f(-15)?
True
Suppose -6 = 4*s - 106. Suppose 2*q + 3 = s. Does 11 divide q?
True
Suppose 2*p = -2*p. Let o = -1 + p. Is (o - 3/(-9))*-6 a multiple of 2?
True
Suppose 6*k = k + 3*p + 31, 2*p + 9 = k. Suppose -5*n - k*l + 41 = -n, 2*l - 22 = -3*n. Suppose n*u = 5*a - 93, -u = 2*u - 9. Is a a multiple of 12?
False
Suppose -16*k + 1242 + 1158 = 0. Does 25 divide k?
True
Is 3 a factor of (-1 - 1) + (14 - -2)?
False
Is 13 a factor of 91*(4 - (-66)/(-21))?
True
Let o be 592/8 + -1 + -1. Suppose -l + 3*l = o. Is 18 a factor of l?
True
Suppose -2*y = -104 - 28. Does 22 divide y?
True
Let j(u) = -33*u + 1 - 21*u**2 + 94*u**2 + 31*u. Is j(1) a multiple of 24?
True
Let a be 12/(-10)*(-105)/6. Let z be 2/7 + (-930)/a. Let i = z - -75. Is 11 a factor of i?
False
Suppose 3*l - 5*i = 20, -l - 5*i + 3 = 23. Suppose z - 3*z + 58 = l. Let k = z + -11. Is k a multiple of 8?
False
Let b be (205/(-10))/((-2)/(-4)). Let x = -29 - b. Suppose -2 = -2*q + 2, 2*w = -3*q + x. Does 3 divide w?
True
Let q be 39/(-1)*4/(-3). Suppose -3*u + 7*u = q. Suppose -4*t - w + u = 1, -5*w = 5*t. Is t a multiple of 4?
True
Let k(y) = -y**3 + 7*y**2 - 2. Is k(6) a multiple of 17?
True
Suppose 2*j = -2*h + 10, -2*j + 8 = -h + 2*h. Let u = 25 - j. Does 11 divide u?
True
Suppose 0*t - 68 = -2*t. Suppose 2*l = -5*n + 50, -3*n = -n - 2*l - t. Is 12 a factor of n?
True
Let b(z) = -z**3 + 13*z**2 + z - 11. Let d be b(13). Suppose s = -0*h - d*h + 9, -4*s - 6 = h. Is 6 a factor of h?
True
Let f = 394 + -20. Is f a multiple of 18?
False
Let i(g) = 2 + 0 + g**3 + 6*g**2 + 4 - 7*g. Suppose -4*l + 0*l = 28. Is 3 a factor of i(l)?
True
Suppose -64 + 19 = -5*r. Is 5 a factor of 2/r + 496/36?
False
Is (294/56)/((-3)/(-52)) a multiple of 13?
True
Let z be (1 - 5) + 2 + -32. Let a = z + 60. Suppose -d + a = -4. Does 15 divide d?
True
Suppose 0 = 3*m - 6. Suppose m*f + 2 + 0 = 0. Does 4 divide f - (-1)/(3/27)?
True
Suppose -560 = 23*q - 30*q. Is 20 a factor of q?
True
Suppose 6*s - 7*s = -12. Is 12 a factor of s?
True
Does 3 divide (-4)/(4/(-10) + (-2)/20)?
False
Does 14 divide (-4)/(-22) - 24000/(-132)?
True
Suppose -5*j - 5 = 5. Let r be 0/(2/(j - 0)). Suppose 2*z - 8 - 8 = r. Is 6 a factor of z?
False
Let f = 11 + -7. Let r be -6 + f - -1*2. Suppose -m = -0*m + t - 22, r = -5*m - 2*t + 107. Is m a multiple of 21?
True
Let k(d) = -20*d + 3. Let x be k(-4). Suppose 0 = 4*j + 23 - x. Is j a multiple of 10?
False
Let u(g) = -g**2 + g + 40. Let v be u(0). Suppose 3*q - t - 11 - 35 = 0, 3*t + v = 2*q. Is 7 a factor of q?
True
Let c(h) be the third derivative of h**6/120 + 3*h**5/20 + h**4/4 - h**3 - 9*h**2. Suppose 5*p + 35 = -5*r - 15, -3*p = -2*r - 10. Is 5 a factor of c(r)?
True
Let l(w) = -w. Let g be l(0). Suppose 4*b = f - 4 - 20, -b - 5 = g. Is f a multiple of 4?
True
Let g = 7 + -5. Let f(q) = -5*q - 6*q**2 - 4*q - 5 + 5*q**g. Does 4 divide f(-7)?
False
Let w = 26 - 18. Let y be (-8)/w - (-4)/1. Suppose 3*i - 74 = 2*g, y*i - 72 = -i - 4*g. Is i a multiple of 11?
True
Suppose -2*k + 4*k = 2*j + 96, 5*k + j = 246. Is k a multiple of 15?
False
Suppose 2*y - 134 + 58 = 0. Is y a multiple of 18?
False
Let k = -12 + 16. Let y = 25 - k. Does 16 divide y?
False
Let d = 14 + 22. Is 18 a factor of d?
True
Suppose 172 = 13*r - 10. Does 7 divide r?
True
Let t = 1 + -1. Let b be 1 + t/(0 - -1). Suppose -3*h = -61 + b. Does 11 divide h?
False
Let t = 15 - -17. Suppose -j + t = 3*j. Is j a multiple of 4?
True
Let h = 175 - 70. Is h a multiple of 31?
False
Let k = -67 - -135. Is k a multiple of 14?
False
Let r(h) = -h**3 + 6*h**2 + h - 1. Is 7 a factor of r(4)?
True
Let j be (-8)/((-5)/(10/4)). Suppose -