Let n(u) = -4 + u**3 + 7*u**2 - 2*u**3 - 6*u + 2*u. Is 7 a factor of n(6)?
False
Suppose 2*v - 6 = -0*v. Suppose -7*l + v*l + 60 = 0. Is l a multiple of 5?
True
Suppose 4*g - 132 = -4*s, 5*g - 4*s = -2*s + 186. Does 9 divide g?
True
Let z(o) = 32*o - 30. Is z(7) a multiple of 13?
False
Let f(g) = -33*g + 5. Let j be f(-5). Does 4 divide j/25 - (-1)/5?
False
Let t be 1 + -2 + -2 - -66. Suppose -5*p + t = -4*v, -27 = -p - p + v. Is 15 a factor of p?
True
Let n(x) = -x + 3. Suppose -s - 4 = 2. Let i(b) = -b + 2. Let u(a) = s*i(a) + 5*n(a). Does 10 divide u(7)?
True
Suppose 104 = 3*t - 103. Is 10 a factor of t?
False
Let t = -146 + 288. Is t a multiple of 28?
False
Is 15 a factor of -1 - (-9)/(-3) - -32?
False
Suppose -2*l = -p - 73, -l + 5*p + 4 = -10. Suppose -4*h = l - 99. Is h a multiple of 6?
False
Let v = -28 - -32. Is 4 a factor of v?
True
Let c(t) be the third derivative of -t**6/120 - 3*t**5/20 + 3*t**4/8 + 4*t**3 + 2*t**2. Is c(-10) a multiple of 12?
False
Suppose 3*s + 37 + 20 = -5*l, -3*s - 33 = 3*l. Let a(g) = -g**2 + 9*g - 8. Let q be a(10). Let f = l - q. Is 3 a factor of f?
True
Let b(s) = -10*s + 14. Is 9 a factor of b(-7)?
False
Let q be -8*((-3)/3 + 3). Is 10 a factor of q/3*(-9)/2?
False
Let s(t) = -t + 3. Is s(-2) a multiple of 3?
False
Let s(w) = 6*w**2 - 2*w - 5. Is s(4) a multiple of 17?
False
Suppose 0 = -2*a + 101 + 219. Is 20 a factor of a?
True
Let x be 8/(-8) - 5*-1. Suppose x*v = a + 36, -3*v + 27 = -2*a - a. Does 9 divide v?
True
Let r(p) = p**3 - 3*p**2 + 7*p - 4. Let q(g) = g**2 - 5*g - 2. Let w be q(6). Let s be r(w). Let f = -24 + s. Does 16 divide f?
True
Suppose -3*u = -2*x - 2 - 5, 5*x - 25 = -u. Let o(q) = 3*q**2 - 5*q + 7. Let g be o(6). Suppose i = -x*i + g. Is i a multiple of 6?
False
Suppose -u = 3*f + 3 - 8, -4*u - 6 = -f. Is f even?
True
Let z be 4/(-10) + 60/25. Suppose -z*y = 61 + 187. Is 10 a factor of (-24)/16*y/6?
False
Let l = -12 + -1. Let d = l - -23. Let n = d + -1. Is n a multiple of 3?
True
Is 31 a factor of (-10 - -1)*992/(-48)?
True
Let g = 61 + -133. Let q be 2*1 - (-97 + -3). Let u = q + g. Is u a multiple of 15?
True
Suppose -2*i = -3*l + 116, 3*i + 12 + 0 = 0. Is 12 a factor of l?
True
Let t(n) = n**3 + 7*n**2 - 11*n - 10. Suppose 15 = 3*c, -4*f + c - 12 = -3*f. Is 23 a factor of t(f)?
False
Suppose 0 = 4*s - 51 - 105. Let v = s + 3. Does 7 divide v?
True
Suppose -2*i + 3 = -5*c, 0 = -2*i + 2*c + 2*c + 2. Let q = 11 + i. Is 5 a factor of q?
True
Let p be (5 - 4) + (-2 - -4). Let c = -6 + 49. Suppose -2*a - p*o + c = 0, 4*a - 3*o + 23 = 5*a. Does 10 divide a?
True
Let d = 33 - 18. Does 21 divide (-106)/(-5) - 3/d?
True
Let k(c) = -7*c. Let p be k(-5). Suppose 3*d = -2*u + 1, 5*d - 3*u = 2*u + p. Is 2 a factor of d?
False
Let g = -4 - -6. Suppose -g*w = 4*f + 26, 4*f - 2*w + 9 = 3. Let t(u) = 3*u**2 + 3*u + 3. Is 18 a factor of t(f)?
False
Let g = -5 - -8. Suppose -g*y + 205 - 31 = 0. Is 19 a factor of y?
False
Suppose 0 = 4*z - 98 - 466. Is 16 a factor of z?
False
Suppose 3*i - 2*w + 2 = 0, -4*i - 21 = -0*i + w. Let d(n) = -45*n**2 + 0 + 47*n**2 - 1 - n. Is d(i) a multiple of 12?
False
Let i be ((-8)/(-10))/((-14)/(-175)). Suppose 4*a = i*a - 114. Is a a multiple of 11?
False
Is (-104)/(-10)*35/14 a multiple of 13?
True
Suppose -5*i + 110 = -270. Let z = 285 + -166. Let m = z - i. Is m a multiple of 18?
False
Does 8 divide 27 - -16 - 4/2?
False
Let z(u) = u**3 - 9*u**2 + 8*u - 5. Is z(9) a multiple of 16?
False
Let w be (2 - 1)/(1/113). Suppose 4*h + 5*f - 545 = -h, -h + f + w = 0. Is h a multiple of 30?
False
Suppose -n + 0*v + 2*v = 8, 4*v = -n + 16. Let k be 4/2*33/6. Does 8 divide k - (n + (2 - 1))?
False
Let q = 1 - 4. Let z be (5 + q)/(2/(-2)). Let i = 7 + z. Is 5 a factor of i?
True
Suppose -2*x + 3*x + 2 = 0. Let u be 2/((-3)/(-6)*x). Is 3 a factor of 9 - ((-1 - u) + 1)?
False
Let g = 64 + -9. Is 11 a factor of g?
True
Let j = 271 - 187. Is j a multiple of 6?
True
Let z(c) = -c**2 - c + 3. Let q be z(0). Let w be 0/4 - -7*q. Suppose -64 = -5*x + 3*n, 0*x + 3*x = -4*n + w. Is x a multiple of 6?
False
Suppose -810 = -5*o - 0*o. Suppose -4*w + o = 14. Let c = w - 5. Is 16 a factor of c?
True
Suppose 5 = -2*k + 15. Suppose 3*m = 4*n - 48, -5*m - k*n - 2 - 43 = 0. Is 12 a factor of (-184)/m*6/4?
False
Let t(c) = 2*c - 1. Let l be t(-2). Is 2 a factor of ((-4)/l)/(3/15)?
True
Let o(v) = -v + 10. Let y be o(7). Suppose 33 = 4*w - 5*p, 2*w + y*p + 0 = -11. Suppose w = 2*q - 46. Does 12 divide q?
True
Let d be 30*((-5)/2 + 1). Is d/2*48/(-36) a multiple of 17?
False
Let k be 56/10 + 4/10. Let z = -3 + k. Is 3 a factor of z?
True
Let q = 52 + -38. Is q a multiple of 6?
False
Suppose -53 = -2*u - a, -2*a - 2*a + 87 = 3*u. Suppose -71 = -2*c + u. Does 16 divide c?
True
Let s(d) = 2*d**2 + d - 4. Let j = -5 + 2. Is s(j) a multiple of 11?
True
Let g(j) be the first derivative of 5*j + 1 - 1/4*j**4 + 0*j**2 - 2*j**3. Is 5 a factor of g(-6)?
True
Suppose n + 1 = 2, -7 = -2*h + 3*n. Let v(y) = y**2 - y + 2. Is 9 a factor of v(h)?
False
Let x(p) = -p**3 - 8*p**2 + 3*p + 4. Let a be x(-8). Let z = a + 35. Is z a multiple of 5?
True
Suppose -14 + 140 = 3*s. Is 4 a factor of s?
False
Suppose 53*h + 243 = 56*h. Does 14 divide h?
False
Let m(k) = k**2 + 27. Let o be (3 - 3)*(-3)/3. Does 9 divide m(o)?
True
Let r(g) = 2*g + 7. Let u be ((-1)/(-3))/1*18. Is r(u) a multiple of 17?
False
Let x(t) = 21*t**2 + 2*t. Let y be x(-2). Suppose y = -0*i + 4*i. Is i a multiple of 18?
False
Suppose n - 13 = 5. Is n a multiple of 12?
False
Let o(m) = m**3 - 6*m**2 - 5*m + 4. Let r = -26 - -39. Let g = 20 - r. Is 9 a factor of o(g)?
True
Suppose -4 = 2*g, -8 = 4*u + g + g. Let c be u/1*(-1 - 1). Suppose -24 = -c*o + o. Is o a multiple of 12?
True
Let t be (-84)/15 - 2/5. Let d = t - -24. Does 6 divide d?
True
Suppose -j + 3*t = t - 89, -2*t + 154 = 2*j. Let p = j - 166. Let y = -55 - p. Is 8 a factor of y?
False
Let a(k) = 4*k**2 + 3*k - 1. Let s(d) = -d**3 + 5*d**2 + 6*d + 2. Let z be -2 + 3 - (-2 + -3). Let m be s(z). Is a(m) a multiple of 14?
False
Suppose -b + 3*b = 0. Suppose -5*a + 2*l + 72 = 0, b = a - l - 8 - 7. Does 14 divide a?
True
Let u(p) = 67*p - 8. Does 14 divide u(2)?
True
Let l(o) = -o**2 + 17*o + 10. Does 20 divide l(7)?
True
Let y = -87 + 129. Does 3 divide y?
True
Let z(o) = o**2 - 2*o + 3. Let d be z(9). Is 4 a factor of (-3 - d/(-14))*7?
True
Let u(m) = -2 + 3*m + 3*m**3 + 0 + m - 4*m**2. Suppose -p = 2*q - 9, 4*q = q + 3*p - 9. Is u(q) a multiple of 14?
True
Suppose 3*z - 52 - 32 = 0. Does 28 divide z?
True
Let y(f) = -4*f + 4. Is 10 a factor of y(-4)?
True
Let i = -81 - -118. Suppose 0 = 4*f - 0*f - 3*k - 11, -5*f - 4*k + i = 0. Is f a multiple of 5?
True
Let h = 17 + -15. Suppose -h*c + 2 + 23 = k, -k + 3*c + 10 = 0. Is k a multiple of 19?
True
Let o(y) be the first derivative of -y**3/3 - 15*y**2/2 - 16*y - 2. Does 10 divide o(-13)?
True
Let w(k) = 2*k**2 + 1. Let f be w(-1). Is 10 a factor of 224/7 + 0 + f?
False
Let x be -3*(-3)/(-9)*-4. Let r be (x/7)/(4/14). Suppose 2*p - 116 = -r*p. Is p a multiple of 15?
False
Let n(s) = 2*s**2 + 5*s - 1. Let v(m) = -7*m**2 - 15*m + 4. Let z(h) = -8*n(h) - 3*v(h). Does 13 divide z(-3)?
True
Suppose 0 = -4*q + 3*q - 10. Suppose o - 171 = -5*y, -3*o + 160 = 4*y - 8*o. Let s = q + y. Is 9 a factor of s?
False
Suppose 0 = -2*c + 3*w + 3, 3*w - 6*w - 24 = 5*c. Suppose -2*a + 8 = -6*a. Is (a - (-63)/3) + c a multiple of 8?
True
Is 27/1*22/33 a multiple of 5?
False
Suppose 7*s - 59 = 732. Is 24 a factor of s?
False
Suppose z - 138 = -23. Let x = z + -82. Is x a multiple of 10?
False
Suppose 0*q - 4*q = -16. Let k be (-4)/16 + 65/q. Suppose -40 = -2*d + 3*y, -3*y + k = 2*d - 12. Is d a multiple of 14?
False
Let h(r) = 2 + 9*r**2 - 2*r - r**3 + 0*r**3 - 21*r**2. Is h(-12) a multiple of 8?
False
Is -96*1/(4 + -7) a multiple of 5?
False
Does 31 divide ((-52)/39)/(2/(-48))?
False
Let x be (-66)/(-14) - (-8)/28. Let r(w) = w**2 - 9*w + 3. Let c be r(x). Let h = -8 - c. Does 9 divide h?
True
Suppose 2*p = 7*p. Let q be (p + -1)*-1 - 1. Suppose 8*m - 6*m = 4*d + 28, -4*d - 16 = q. Is 6 a factor of m?
True
Let n = 165 + -123. Is 7 a factor of n?
True
Let p = -6 - -4. Let d = p - -14. Is d a multiple of 6?
True
Let p(q) = 3*q**2 - 5*q + 3. Let k be p(-6). Suppose -