 be 1 + n*(-1 - -2). Suppose 2*m - 7 - 39 = u. Is m a multiple of 12?
False
Let h = -11 + 15. Suppose v - 10 = -h*v. Is 2 a factor of v?
True
Does 11 divide 2*11/2*8?
True
Suppose -4*s + 5*q + 25 = s, 2*q + 10 = 0. Let i = s + 6. Is (i/8)/((-5)/(-160)) a multiple of 14?
False
Let m(p) = -p**3 - 6*p**2 + 11*p - 17. Is m(-9) a multiple of 23?
False
Let y = -33 + 15. Let q = -10 - y. Suppose 0 = -2*z - q + 32. Is z a multiple of 6?
True
Let o = 60 - 84. Suppose 2*z - 4*z = 2. Does 10 divide 0 + z - o*1?
False
Does 6 divide ((-180)/24)/(((-10)/28)/5)?
False
Suppose -z - 2*c + 3 = -4, c + 19 = 2*z. Is 16 a factor of z/6*32/3?
True
Let i(l) = -l + 5. Let q be i(4). Let v be q + 4/6*6. Suppose -v*j + 5 = 0, -3*f + 4*j = -51 - 41. Does 15 divide f?
False
Suppose -89 + 809 = 10*p. Is 3 a factor of p?
True
Suppose 1 + 7 = 2*x. Suppose x*v + 0*v = 140. Is 19 a factor of v?
False
Let h be (-8)/(-12) - (-76)/3. Suppose -v = f - 8, 5*f - v = v + h. Let q = 3 + f. Is 7 a factor of q?
False
Let z(p) = p**3 - 4*p**2 + 2*p + 7. Let r be z(5). Suppose -j + r = -b + 5*b, 8 = -4*j. Is 11 a factor of b?
True
Suppose 0 = -2*i - 10 + 74. Is 8 a factor of i?
True
Let z(x) be the first derivative of x**5/120 - x**4/12 + x**3/3 - 2. Let t(c) be the third derivative of z(c). Is t(8) a multiple of 6?
True
Suppose -2*v = -0*v - 5*r - 115, 4*v - r = 239. Let d = -18 + v. Is d a multiple of 20?
False
Let x = 82 + -48. Is 34 a factor of x?
True
Let l(k) = 5*k - 1. Let h be l(-1). Let g be 0/(h/(3/(-1))). Suppose 0 = -2*p - z + 5, -3*z = -2*p - g*z + 1. Is p a multiple of 2?
True
Let o(t) = 86*t**2 - 2*t. Does 14 divide o(1)?
True
Let s(j) = j**2 + j - 1. Let c(p) = -2*p**3 - 8*p**2 - 12*p + 12. Let u(h) = -c(h) - 10*s(h). Let g be u(3). Suppose 0 = -n + 6*n - g. Does 3 divide n?
False
Let x(o) = -o**3 + 5*o**2 + 5*o - 5. Let w be x(5). Suppose -7*u + w = -3*u. Is 4 a factor of u?
False
Let t(z) = -2*z**2 + 3*z - 1. Let m be t(2). Let n(q) = 3*q**2 - q. Is n(m) a multiple of 10?
True
Suppose 4*x = -0*x - 4. Let p be x/(-3)*3 - -4. Suppose p*w = w + 16. Is w a multiple of 4?
True
Let t(s) = -s + 7. Let b be t(3). Suppose 0 = 4*l + b*y - 180, 4*l - 9*l - 3*y = -219. Is l a multiple of 14?
True
Suppose -r + 3*r - f = 599, 0 = 3*r - 4*f - 896. Is 60 a factor of r?
True
Is 5 a factor of (-2*(-4)/(-16))/(3/(-234))?
False
Suppose -2*r - r + f = -314, 3*r = -2*f + 317. Let n = r - 71. Does 17 divide n?
True
Let v = 13 + 101. Suppose -v + 24 = -5*n. Does 18 divide n?
True
Suppose -264 = -6*n + 3*n. Suppose -4*i = -4*t + n, 0*i = 4*t - 2*i - 92. Does 11 divide t?
False
Suppose 2 = -2*f, 0*r = -r - 2*f + 4. Let o = -3 + r. Suppose o*i - b + 2 = 39, 0 = 3*b + 12. Is 9 a factor of i?
False
Let h = -68 + 143. Is h a multiple of 7?
False
Let s be (23/(-4))/((-2)/40). Let b = 166 - s. Is 11 a factor of b?
False
Let s(n) = 6 - 2*n**2 + 2 - 2 + 2*n - n**3. Suppose -20 = -c + 6*c. Does 10 divide s(c)?
True
Let v(m) = 8*m**3 - m**2 + 5. Does 5 divide v(2)?
True
Let y be 18/24*(2 - 6). Does 6 divide 3/(-9) + (-103)/y?
False
Suppose 2*v - 132 = o, 2*v - v = 5*o + 66. Is v a multiple of 11?
True
Let q(x) = -x**3 - 4*x**2 + 4*x + 4. Let l be q(-7). Let i = l + -81. Is i a multiple of 21?
True
Suppose -4*u + 180 = -5*p, 5*u - 135 = 4*p - 0*u. Let f = p + 29. Let v = 23 + f. Is v a multiple of 6?
True
Let d = -112 + 148. Does 9 divide d?
True
Suppose -5 = -4*y + 7. Suppose k - 12 = -y*s, 8 = s - 2*k + k. Is 5 a factor of s?
True
Suppose -2*h = j - 3, 12 = 6*j - 2*j + 5*h. Suppose n - 120 = -j*n. Does 15 divide n?
True
Suppose -86 - 108 = -2*b. Does 31 divide b?
False
Let j(c) = -c + 7. Suppose 18 = -5*v - 4*n + 4, 0 = 2*v + 3*n. Is j(v) a multiple of 4?
False
Suppose -f = 5 - 2. Suppose 5*q - 3 = -13, 10 = -k - 5*q. Let a = k - f. Is a a multiple of 3?
True
Let d(g) be the third derivative of g**6/120 + 11*g**5/60 - g**4/3 - 13*g**3/6 - g**2. Does 25 divide d(-11)?
True
Suppose 4*r - 13 = 3. Suppose k + 3*w - 57 = 0, -r*w + 133 = -5*k + 418. Let f = 85 - k. Is 13 a factor of f?
False
Suppose -32 - 1 = -3*h. Suppose w - 3*f - 11 = 0, -w + f + 4*f + h = 0. Is 11 a factor of w?
True
Let b(n) = -n**2 + 8*n + 5. Let l be b(8). Suppose 0 = -2*q - l + 1. Let k = q - -5. Is k a multiple of 3?
True
Suppose 3*d - 5*a + 24 = -2*a, -2*d = 3*a + 11. Let t(q) = -q**2 - 11*q - 10. Is 13 a factor of t(d)?
False
Suppose 3*n - 217 - 2 = 0. Does 21 divide n?
False
Suppose -10*a = -15*a + 215. Is 19 a factor of a?
False
Suppose 2*z = -0*c + 2*c - 4, 3*z - 26 = -5*c. Is ((-81)/(-12) + -1)*c a multiple of 9?
False
Let d(v) = v**2 + 3*v - 6. Is 22 a factor of d(-7)?
True
Is 14 a factor of 97 + 2 + (-2 - -1)?
True
Let s(i) be the first derivative of 4 - i**2 + 22/3*i**3 + i. Does 7 divide s(1)?
True
Suppose 5*v - 4*h - 91 = 39, -4*v + h = -115. Suppose 36 = -2*j - 4*c, -2*j = 3*j - 5*c + v. Does 5 divide 4/10 - 116/j?
False
Let j(s) = s**3 + 10*s**2 + 8*s - 6. Let y be j(-9). Suppose 3*p - y = 69. Does 12 divide p?
True
Is 17 a factor of 0 + (3 + -283)/(-4)?
False
Let r(y) = -8*y + 9. Let j be r(-5). Let v = 94 - j. Is 9 a factor of v?
True
Let f be (-2)/8 + 26/8. Suppose -2*q = f*q - 85. Does 17 divide q?
True
Let a(s) = 12*s**2 - 1. Let l = 3 + -6. Let o = -2 - l. Is a(o) a multiple of 11?
True
Suppose o + l - 2*l = 79, -3*l + 330 = 4*o. Is 27 a factor of o?
True
Let q(u) = u**3 + 5*u**2 - 11*u - 5. Let d be q(-7). Let w = -16 - d. Let c = w - 2. Does 7 divide c?
False
Does 20 divide (-1792)/(-12)*(-3)/(-2)?
False
Suppose v - 5*v + 68 = 0. Does 3 divide v?
False
Let o(p) = 3*p - 5. Suppose 0 = -4*r + 3*r + 5. Suppose 0*n - 35 = -r*n. Does 6 divide o(n)?
False
Let q = 21 + 36. Is 14 a factor of q?
False
Is 7 a factor of (-42)/4*(-52)/39?
True
Suppose 6*w = 121 - 13. Is w a multiple of 6?
True
Let a = -1 - -4. Let d(v) = -5*v - a + 5 + 4*v**2 - 2*v**2 - 1. Does 9 divide d(5)?
False
Suppose 5*x + 28 = 183. Suppose 2*r - r - x = 0. Is 31 a factor of r?
True
Let l = 4 - -28. Does 5 divide l?
False
Suppose 5*y + 25 = 5*x, -y + 0*x - 17 = 5*x. Let d = -1 - y. Is 13 a factor of (-52)/(-3) + (-2)/d?
False
Let q(s) = s**3 + 17*s**2 + 17*s - 2. Is 46 a factor of q(-15)?
False
Is (-958)/(-4) + (-13)/(-26) a multiple of 46?
False
Let t(l) = 9*l + 6. Let m be t(6). Suppose m = z + 3*z. Suppose -j - 2 = -z. Is 13 a factor of j?
True
Let a(f) = f**3 + 5*f**2 + 3*f - 3. Let b be a(-3). Suppose -2*q = 0, g = -0*q - 4*q + b. Does 3 divide g?
True
Let y = 19 + -7. Let t = y - -16. Does 14 divide t?
True
Suppose -5 = -u + 1. Let q(d) = -d**2 - 3*d + 3. Let h be q(-5). Is (-4)/u*(h + -2) a multiple of 6?
True
Let x = 14 - 21. Let n(c) be the first derivative of -c**4/4 - 8*c**3/3 - 5*c**2 + 2*c - 6. Is n(x) a multiple of 10?
False
Let c be (4 - 2 - -1)*-1. Let w = 4 - 11. Does 7 divide w/(-1)*(-1 - c)?
True
Let l(p) = -8*p + 1. Let x(v) be the third derivative of v**4/8 + v**2. Let m(g) = -4*l(g) - 14*x(g). Is m(-3) a multiple of 13?
True
Let o(k) = -18*k**3 - k**2 - 2*k - 1. Is 6 a factor of o(-1)?
True
Let j be 2 - 9 - 2/(-2). Let n be -2 - ((-1 - -3) + j). Let v(u) = 17*u - 1. Does 12 divide v(n)?
False
Suppose -1092 = -9*q + 2*q. Is 33 a factor of q?
False
Let m(o) = -4 + 2 - 6*o + 8*o**2 - o**3 + 3. Suppose 0 = -k + 5*l, -k = -4*l - 0 - 1. Is 16 a factor of m(k)?
False
Suppose i + i = 4. Suppose 5*n = 0, -i*b + b + 3 = 3*n. Suppose -o = -j + 4, -2*o = -b*o + 5. Is 8 a factor of j?
False
Let z be (1 + (-3)/6)*48. Suppose z = x + 4. Does 20 divide x?
True
Suppose -4*b = 3*m - 2*m + 11, 3*m + b = 22. Is m a multiple of 9?
True
Suppose 296 - 1287 = -4*c + i, -5*i = c - 253. Is 36 a factor of c?
False
Let r(x) = -2*x - 5. Let y = 10 - 15. Let o be r(y). Suppose d = o*t - 27, 5*d + 8 = 2*t - 12. Is 5 a factor of t?
True
Let o(b) = b - 2. Let j be o(4). Suppose -j*x + 8 = 2. Suppose 44 = x*p + p. Does 11 divide p?
True
Let m be -12 + (0 - 6/3). Let r = m + 21. Does 7 divide r?
True
Let m be 33*(-2 - 24/(-9)). Suppose 2*v - m = -2*f - 4, 4*v + 28 = 4*f. Does 8 divide f?
True
Suppose 10 = 2*r + 4*i, 5*i + 4 = 2*r + 3. Suppose -149 - 1 = -r*z. Suppose 0 = s - 6*s + z. Is s a multiple of 4?
False
Suppose y = 2*g + 2 - 3, -5*g + 1 = -y. Suppose 2*r - 3*r - 2 = g. Does 8 divide (r + 6/(-10))*-5?
False
Suppose -5*s + 13 = -4*a, 2*s - 5*a = -2 - 3. S