 factor of a?
True
Let p be ((-26)/8 + 2)*-4. Let x be 1/3 - p/(-3). Suppose 4*c = 8*c - x*m - 148, 5*c + m = 192. Is 16 a factor of c?
False
Suppose 0 = 4*s - 5*z - 57, 12 - 3 = s - 3*z. Let p be (-1 + 10)/(s/24). Suppose 3*x - p = 0, -3*q + 5*x = -q - 60. Is q a multiple of 15?
False
Suppose -17 - 46 = -3*m. Is m a multiple of 7?
True
Let v = 14 - 10. Suppose -5*x + v*z = -162, 3*z - 6*z + 6 = 0. Does 34 divide x?
True
Suppose -4*u + 0*u - 8 = 0. Is 12 a factor of 24 + (-3)/(-2)*u?
False
Let m be 11 - (-1 + (-3 - -6)). Suppose -x = -5*q - m - 0, -q = -4*x + 17. Is x even?
True
Suppose -2*s + 2*z + 0 = 2, 5*s - 2*z - 4 = 0. Does 7 divide 1 - s*26/(-4)?
True
Suppose -g - 2*j + 45 = -2*g, -2*g - 2*j = 84. Let x = -8 - g. Is x a multiple of 8?
False
Is 2 a factor of (39/(-5 + 2))/(-1)?
False
Let o(u) be the first derivative of -u**4/4 - u**3/3 + 204*u - 1. Let y be o(0). Does 20 divide y/10 + (-4)/10?
True
Let p be 0*((-1)/(-2) - 0). Let h(w) = 8 + p*w - 3*w**2 + 5*w + 4*w**2 - w. Is 18 a factor of h(-7)?
False
Let j(r) = 7*r**3 + 3*r**2 - 5*r + 5. Is 21 a factor of j(2)?
True
Let i be (1 + -25)*3/6. Let v = i + 17. Let o(w) = w**3 - 6*w**2 + 5*w + 2. Is o(v) a multiple of 2?
True
Suppose -2*h - 6 + 56 = 0. Is h a multiple of 25?
True
Let p be 1362/54 + 2/(-9). Suppose 2*j = 3*j - 17. Let n = p - j. Does 8 divide n?
True
Let l(x) = x**3 - 5*x**2 + 2*x - 5. Is l(5) a multiple of 3?
False
Let k(z) = 3*z + 14*z**2 - 3*z. Let g be k(1). Suppose 5*a + 40 = 2*h + g, 0 = -5*h - 5*a + 100. Does 18 divide h?
True
Suppose 2*b = 5*b. Suppose c - 24 = -b. Let t = -10 + c. Does 10 divide t?
False
Suppose -4*c - 2*g - 2 = -0*c, -2*g = 2*c - 2. Let y(r) = -19*r - 1. Is 15 a factor of y(c)?
False
Suppose 23*u = 17*u + 456. Is u a multiple of 14?
False
Suppose -3*b + v = -69, 3*b = 5*v - 0*v + 57. Does 9 divide b?
False
Let c(m) = -m**3 + 7*m**2 - 4*m - 8. Let l be c(6). Let b be (-54)/(-3)*3/2. Suppose 0 = l*h - b - 45. Is h a multiple of 9?
True
Let g(f) = f**3 + 13*f**2 - 31*f - 7. Is g(-15) a multiple of 4?
True
Is 8 a factor of 6/(-33) - (-890)/55?
True
Let g(z) = z + 5. Let x be g(-3). Suppose 103 = 5*a - 3*d, 5*a - x*d - 95 = -7*d. Suppose 5*s = 3*v - a - 14, -3*v - 4*s = -16. Is 3 a factor of v?
False
Let u = -26 - -40. Let d = u + -10. Suppose -d*y = s - 15, 4*y + 0*y = 3*s - 13. Is s a multiple of 7?
True
Suppose -4*t + 2*t - 54 = 0. Is (-1 - 1)*t/6 a multiple of 3?
True
Let k be 2/8 - 44/(-16). Let q = 7 - k. Suppose -2*b - 4 = -b, -q*b = -4*h + 108. Is 10 a factor of h?
False
Let w = -21 + 1. Let i = 35 + w. Is 4 a factor of i?
False
Let t(m) = -m**3 + 8*m**2 - 6*m - 4. Is 3 a factor of t(7)?
True
Let q = 11 - 6. Let k(h) = 2*h**2 - 2*h + 4. Is 22 a factor of k(q)?
True
Suppose -4*z + 0*z = -q - 171, q = -2*z + 81. Does 7 divide z?
True
Does 9 divide 48 - 1/((-2)/2)?
False
Let k = 34 + -10. Suppose -5*j - 2*b = -3*b - k, 4*j - b = 20. Suppose -3*v + v = -j*s - 54, 3*v = 4*s + 75. Does 13 divide v?
False
Let z(h) = h**3 + 6*h**2 + 4*h. Let j be z(-5). Let p = 3 - j. Is 13 a factor of p/(-9) + (-232)/(-9)?
True
Suppose -2*n - 2*n = -2*o + 84, -3*n + 63 = 2*o. Is 18 a factor of o?
True
Let z(o) = o**3 - 7*o**2 + 4*o - 10. Let g(n) = -n**3 + 7*n**2 + n. Let l be g(7). Does 18 divide z(l)?
True
Suppose 2*v - 316 = 2*d, 466 = v + 2*v - 5*d. Is 14 a factor of v?
False
Let c = 0 + 3. Suppose 0 = w - 2*k - 40, 2*w + 5*k + 40 = c*w. Suppose -2*g = -0*g - w. Does 20 divide g?
True
Suppose 116 = 4*z - 104. Suppose -2*b + 3*b - z = 0. Is b a multiple of 16?
False
Suppose 4*i + 73 = 349. Is 18 a factor of i?
False
Suppose 20 = -3*g + 3*b + 2*b, -2*b + 8 = g. Suppose 0 = -g*i - 4*i + 64. Is 8 a factor of i?
True
Let t(z) = -6*z - 7. Is 5 a factor of t(-3)?
False
Suppose 0 = -2*u + 8 + 2. Suppose u*g = 7 + 3. Is (3 + 1)*g/4 even?
True
Suppose -3*w = 2*w - 165. Does 13 divide w?
False
Let j(r) be the third derivative of -r**4/8 - r**3/6 + 2*r**2. Let b be j(-1). Suppose -4*z - b*f = -34, -4*z + 4*f + 10 = -30. Is 6 a factor of z?
False
Let i = -17 - -10. Let u = i - -24. Is 17 a factor of u?
True
Suppose -2*m + 5*m = 60. Suppose -22 = -m*n + 18*n. Is 11 a factor of n?
True
Let n = -116 - -227. Does 13 divide n?
False
Suppose 0 = n - 2*n - 42. Let a(s) = -s**3 + 6*s**2 - 3*s - 8. Let l be a(6). Let b = l - n. Is b a multiple of 8?
True
Let c(f) = 6*f - 20. Does 11 divide c(7)?
True
Let l(u) = 2*u**2 - 10*u + 10. Let j be l(9). Suppose 4*i + j - 246 = -5*h, 2*i - 3*h - 82 = 0. Let o = i + -5. Does 13 divide o?
False
Suppose m = 0, 0 = c - m - 5 - 4. Let l be 1/3 + 213/c. Let d = l + -1. Is 23 a factor of d?
True
Let h be (-16)/(-2 + 12/5). Let z = -27 - h. Is 13 a factor of z?
True
Let l be 5*((-24)/(-15) + -1). Suppose l*d - o - 3*o = 63, d - 5*o = 21. Suppose -x + 4*x - d = 0. Is 5 a factor of x?
False
Let d(o) = 2*o + 6. Let c be d(-3). Suppose -5*j + 26 + 9 = c. Is 4 a factor of j?
False
Let v(s) = -s**2 - 5*s + 1. Let d(m) = -m. Let g(l) = -6*d(l) + v(l). Let q be g(2). Does 13 divide -3*((-66)/(-9))/q?
False
Let v = -2 + 2. Suppose -1 + v = l. Let o(t) = 30*t**2 + t. Is 13 a factor of o(l)?
False
Suppose -5*h - 3*f + 402 = 0, 0 = h + 3*h + 2*f - 320. Is h a multiple of 2?
True
Let i = 7 + -6. Let g be 1 - (-2*i + 2). Let j(s) = 10*s - 1. Is j(g) a multiple of 9?
True
Let n(w) = -6*w - 7. Let m(r) = 2 + 6*r + 5 - 3*r - 3. Let c(p) = 13*m(p) + 6*n(p). Is 14 a factor of c(9)?
False
Let h(p) = p**2 - 4. Let k be h(-7). Let s = k - 23. Is 22 a factor of s?
True
Let v(c) = c**3 - 7*c**2 + 2*c - 10. Let o be v(7). Let s(m) = 11*m. Is 18 a factor of s(o)?
False
Does 17 divide 53/3 + 10/30?
False
Let u(y) = -y**2 - y. Let p(g) = g**3 + 7*g - 3. Let x(h) = p(h) + 3*u(h). Does 6 divide x(3)?
False
Is (-6)/(-15) + (-986)/(-10) a multiple of 38?
False
Is 2/((6/91)/6) a multiple of 14?
True
Suppose 0 = 3*c - 4*v - 40 - 45, 78 = 3*c + 3*v. Suppose -3*o - c = -4*o. Suppose 3*d + 0*d = o. Is 5 a factor of d?
False
Let j(c) = 2*c**2 + 4*c. Is j(3) a multiple of 5?
True
Suppose 3*a - 86 = -5*m, -3*m + 78 = a + 2*a. Does 6 divide a?
False
Is 17 a factor of (-6 - (-640)/6) + 12/9?
True
Suppose -t + 2 = -3*g, -4 = 5*t - 2*g + g. Let m be 0/1 + t + 17. Let d = m - -2. Is 18 a factor of d?
True
Let a = -25 + 54. Is a a multiple of 8?
False
Let z be (0 - -2) + -31 + -2. Is 13 a factor of (-2)/(-2) + z/(-1)?
False
Is 16 a factor of ((-180)/50)/((-3)/200)?
True
Does 5 divide (2*(1 - -4))/2?
True
Let k(x) = x**3 + 5*x**2 - 8*x - 4. Suppose 3*c + 6 = c. Let t(m) = -2*m**2 - 5*m - 3. Let f be t(c). Does 3 divide k(f)?
False
Let u be 2*-1 - (-4 - (1 + -3)). Suppose a + 0 = -1. Does 14 divide -17*(a + u) + -3?
True
Suppose -2*p + 296 = 8. Does 24 divide p?
True
Let j(s) = -s**2 + 7*s - 6. Let d be j(7). Let p = 0 - d. Is p a multiple of 3?
True
Let g(p) = -p**3 - 2*p**2 + 2*p - 3. Let z be g(-3). Suppose -o = -z*o. Suppose q + o*q - 6 = 0. Is 6 a factor of q?
True
Let d(u) = -u**2 - 8*u. Does 9 divide d(-4)?
False
Let o(m) = -11*m**3 + 2*m**2 - 3*m + 6. Let p(u) = u**3 + u - 1. Let k(c) = o(c) + 5*p(c). Is k(-1) even?
False
Suppose -4*f - 5*l + 30 = 0, -3*l = -8*l + 10. Suppose f*b + 0 = 15. Is b a multiple of 3?
True
Let o = 44 - 24. Does 10 divide o?
True
Let q(b) = b**3 - 8*b**2 - 10*b + 13. Let l be q(9). Is (6/(-9))/(l/(-126)) a multiple of 7?
True
Let y(a) = 11*a + 8. Let i(b) = -1. Let k(f) = 2*i(f) - y(f). Does 13 divide k(-8)?
True
Does 11 divide 2/((-325)/330 - -1)?
True
Suppose -1182 = 4*l - 7*l. Suppose 0*d + l = 5*o + 4*d, -2*d = o - 80. Does 22 divide o?
False
Suppose -4*y = -4*l, 2*l = -6*y + 2*y - 18. Let p = -1 - l. Suppose -p*f = 5*c - 7, -4*f + 3*c + 47 = -2*f. Is f a multiple of 6?
False
Let d(c) = 76*c**2 + 2*c. Let t be d(-1). Let x = 119 - t. Does 9 divide x?
True
Suppose 0 - 108 = -4*c. Is 9 a factor of c?
True
Let n be 124/24 - (-2)/(-12). Suppose n*u = -0*u - 95. Is (u/(-2))/(2/12) a multiple of 28?
False
Is 7/(35/20) + 2*3 a multiple of 5?
True
Suppose 2*k = 3*z + 69, 0 = k - 4*z - 43 + 6. Is k a multiple of 16?
False
Let n be (-18)/5 - (-3)/5. Let a(q) = -2*q**2 - 2*q. Let p be a(n). Is (3/(-6) + -1)*p a multiple of 6?
True
Let s = 29 + 15. Is s a multiple of 10?
False
Let n(g) = 2*g**2 + 3*g + 2. Does 23 divide n(6)?
True
Let i(o) = o**2 - 3*o + 5. Is i(8) a mu