?
True
Let m(n) = n**3 - 4*n**2 - 4*n - 5. Let z be (-6)/(-10) - 132/(-30). Let c be m(z). Suppose 3*o + o - 124 = c. Is 14 a factor of o?
False
Suppose 5*v + 408 = 1773. Is 39 a factor of v?
True
Let m(g) = g**2 - 11*g - 10. Is m(14) a multiple of 8?
True
Suppose -6*b - 16 = -2*b. Let s(w) be the first derivative of -2*w**2 - 6*w + 1. Is 10 a factor of s(b)?
True
Suppose 49 = 3*r - 53. Is r a multiple of 9?
False
Does 16 divide (-138)/((-9)/3) - -2?
True
Suppose 0*u - 43 = -u. Let c = u + -23. Is 10 a factor of c?
True
Let x be (-8)/6*6/(-4). Suppose -2*o - 26 = 3*n, 2 = -2*o + x*n - 4. Is 1/(-1 + o/(-6)) a multiple of 4?
False
Let f = 43 + 27. Suppose 6*p - f = p. Is p a multiple of 9?
False
Let x = -36 + 80. Does 10 divide x?
False
Let c(d) = 4*d**2 + 8*d + 11. Does 12 divide c(-7)?
False
Suppose -2*g + 14 = 3*w + 6, 2*w - 1 = 3*g. Let p(v) = 2*v**2 - 3*v**w + 2*v**2. Is 4 a factor of p(-2)?
True
Let c(i) = -22*i - 1. Let p be c(-1). Let x = -19 + 20. Let r = p - x. Is r a multiple of 10?
True
Suppose 10*y = 7*y - 9. Let t(f) = 8*f**2 + 2*f - 2. Does 16 divide t(y)?
True
Suppose 0 = -3*f + 2 + 10. Suppose f*i = -i + 140. Does 7 divide i?
True
Does 6 divide (0 - -15) + -6 + 5?
False
Suppose 490 = 8*p - p. Does 10 divide p?
True
Let s(d) = 2*d - 5. Let l be s(4). Let t be (-2 + 2)/l - 0. Does 11 divide 28/7*(t - -4)?
False
Let l = -70 - -118. Is 19 a factor of l?
False
Let h(u) = u**2 - 3*u + 14. Let j(f) = -f**2 + 2*f - 15. Let s(a) = -6*h(a) - 5*j(a). Is s(4) a multiple of 5?
False
Suppose 36*r - 72 = 32*r. Does 18 divide r?
True
Let l(q) = q**3 + 6*q**2 - 4*q + 3. Let o(k) = k**3 - 8*k**2 - 10*k + 3. Let c be o(9). Does 9 divide l(c)?
True
Suppose 0*k + 5*k - 100 = 0. Let t(z) = z**3 - 6*z**2 + z - 4. Let a be t(6). Suppose 2*n + a*r = -k + 48, 5*r - 28 = -2*n. Is 6 a factor of n?
False
Let a(p) = 6*p + 6. Suppose -5*r + 3*r + 16 = 0. Let o be a(r). Does 12 divide (o/(-15))/((-9)/60)?
True
Let d be -3 + (-1 + 1 - -3). Suppose -2*t = -4*z + 170, -z + d*t + 50 = -3*t. Is z a multiple of 14?
False
Let f(i) = i**3 - 11*i**2 - 4. Let z(m) = -m**2. Let t(p) = -f(p) + 6*z(p). Let b be t(5). Suppose -2*r = -b*h - 60, 2*r + h = -3*h + 52. Is 28 a factor of r?
True
Suppose -2*p = -y - 12, 5*y - 1 = 4*p - 37. Suppose p*b - 28 = 36. Does 9 divide b?
False
Suppose -3*z + 360 = -489. Is 31 a factor of z?
False
Let k = 104 + 340. Is 37 a factor of k?
True
Suppose 10*i - 15 = 5*i. Suppose -3*o - 2*g = -2*o - 15, 2*o + g - 15 = 0. Suppose -2*q + o*j = 2*q - 38, -i*q + 4*j + 28 = 0. Is q a multiple of 12?
True
Is 18 a factor of (6/(-1))/(21/(-238))?
False
Let o be (8 - 6)/((-1)/3). Let r = 14 + o. Is r a multiple of 6?
False
Let u = 8 - 6. Suppose u*d = d + 24. Is d a multiple of 24?
True
Let u be -1 + 2 - (-3 - -2). Suppose 0 = -5*y + 2*c + 109, -3*c - 115 = -5*y + u*c. Is 9 a factor of y?
False
Suppose -146 = r - 4*r - 5*t, 0 = -2*r - 5*t + 94. Is 27 a factor of r?
False
Let z = -6 + -4. Let s be (-895)/z - 1/(-2). Suppose 0*b + s = 5*b. Is 9 a factor of b?
True
Is (2/4)/((-30)/(-1920)) a multiple of 32?
True
Let l(a) = a**3 + 3*a**2 + a + 51. Is 18 a factor of l(0)?
False
Suppose 8*l - 3*l = 10, 5*y + 3*l = -24. Suppose 2*o - 55 = 3*t, 0*t - 5*o - 7 = t. Let n = y - t. Does 5 divide n?
False
Suppose -11*d + 568 = 40. Is d a multiple of 7?
False
Suppose -z + 4 = -5*z. Let t be z/(3/3) - -5. Suppose 126 = -2*u + t*u. Does 16 divide u?
False
Suppose x + 0*x = 0. Suppose 0 = -x*z + 5*z - 100. Does 14 divide z?
False
Let j(i) be the second derivative of -i**2 + 0 + 2*i + 8/3*i**3. Is j(2) a multiple of 15?
True
Suppose h - 21 - 13 = 0. Does 17 divide h?
True
Suppose 6*s - 3*s = -21. Let y = 7 + s. Suppose y*d - 5*d = -55. Is d a multiple of 11?
True
Let l be ((-10)/8)/((-1)/4). Suppose 0 = -v + l*q + 33, 8*q = -5*v + 3*q + 225. Is 8 a factor of 1/4 - v/(-4)?
False
Suppose 0*f + 112 = 4*l + 4*f, f = -4*l + 100. Suppose 0 = q - 16 - l. Does 14 divide q?
False
Let y be -1 - (-1 - -2) - 32. Let z be (-3)/(6/y)*1. Suppose -2*u - v = -24, 10 = 3*u - 3*v - z. Does 9 divide u?
False
Let c(s) = -s**2 + 8*s + 4. Is c(5) a multiple of 4?
False
Does 18 divide (-1056)/80*10/(-3)?
False
Let k = -105 + 61. Let x(u) = -u**2 + 2*u - 3. Let p be x(6). Let y = p - k. Does 17 divide y?
True
Let c(p) = p**2 - 8*p - 7. Let b be c(9). Suppose -b = 2*m - 3*m. Is 20 a factor of (5 - m)*(11 + -2)?
False
Let v = -291 + 415. Does 18 divide v?
False
Let x = -26 - -60. Is x a multiple of 8?
False
Let u = 288 + -167. Is u a multiple of 11?
True
Let z(x) = 1 - 1 + 4*x - 2 + 0*x. Is 15 a factor of z(8)?
True
Suppose 2*q + 0*q - 10 = u, 3*q - 18 = 3*u. Suppose 12 = -x + q*x. Suppose -5*g - x*j + 52 = 0, -3*g + 4*g + 4*j = 4. Is g a multiple of 12?
True
Let k = -7 + 10. Suppose -k*v + 5*w + 155 = 2*v, 0 = 4*v - 3*w - 126. Does 20 divide v?
False
Let b(v) = 21*v**2 - v - 1. Is 5 a factor of b(1)?
False
Is 1/((-18)/(-1179)) - (-3)/(-2) a multiple of 4?
True
Suppose -6*a + 11*a = 0. Suppose a = l - 47 + 10. Is 12 a factor of l?
False
Is 8 a factor of (-3)/(-5) - (-231)/15?
True
Suppose -60 = 8*v - 3*v. Let p = 26 - v. Is (-2)/(-2) + p/2 a multiple of 7?
False
Let l = -75 + 149. Does 19 divide l?
False
Is 21 a factor of (232/6)/(2*(-3)/(-18))?
False
Is 48 a factor of (-39 + 35)*(0 + 247/(-4))?
False
Let p = -3 + 2. Let a be (-756)/(-16) + p/4. Let r = a + -9. Does 19 divide r?
True
Let a(u) = u**3 - u**2 + u + 5. Let h be a(0). Let b(j) = 6 - 3 + h + j. Is b(-6) even?
True
Let k(f) = -f**2 - 14*f - 7. Let y be k(-10). Suppose 2*x - p = 2*p + 3, 0 = 2*x + 3*p - y. Is x a multiple of 6?
False
Suppose -4*q + 18 + 6 = 0. Suppose 0 = 3*v - q, -3*k + 3*v + 43 = -62. Let c = k - 19. Is 6 a factor of c?
True
Suppose -5*z + 680 = -0*z. Suppose -3*k - k + z = 0. Is 17 a factor of k?
True
Is 28 a factor of -6*4/(-48)*72*1?
False
Suppose -153 = -2*w + 15. Let l = -60 + w. Is l a multiple of 24?
True
Suppose 4*w + 2*z + 50 = 348, 365 = 5*w + 4*z. Let u = w - 44. Is 11 a factor of u?
True
Let o = -20 - -14. Let j(t) = -8*t - 8. Let c be j(o). Let p = c + 6. Is p a multiple of 23?
True
Suppose 4*m - w = 18, -3*w = -5*m - 0*w + 26. Suppose u = 2*u + m*x, -3*u + 2*x = 0. Suppose g - 34 = -5*p, -3*g + u*p + 60 = p. Is g a multiple of 19?
True
Suppose c + 8 = 5*c. Suppose 3*w = 5*z - 37, -3*w - c = -2*z + 4*z. Suppose -3*p + 2*j = 3*j - 18, -z*p + 3*j = -44. Is p a multiple of 7?
True
Suppose -3*m = g - 0*m - 53, 0 = -g + 5*m + 69. Is g a multiple of 31?
False
Suppose o + 206 = 2*l, -2 = -5*o + 18. Let j = 162 - l. Is j a multiple of 20?
False
Suppose -71*v + 75*v - 1172 = 0. Is 18 a factor of v?
False
Suppose -4*j + 2*j - 4 = 0, -2*o + 5*j = -46. Let u(r) = r + 1. Let i be u(-3). Let f = o + i. Is 8 a factor of f?
True
Suppose 4*x + 3*r = -2*r + 153, 129 = 3*x - r. Does 14 divide x?
True
Suppose -3*c - 6 + 18 = 0. Let k = c + 16. Is k a multiple of 5?
True
Suppose 0 = 4*j + g, -3*g = 2*j - 6*j + 16. Suppose -2*s - j = -3. Suppose -3*h = -4*c + 14 + s, -c - 3*h = 0. Is c a multiple of 3?
True
Is 7 a factor of ((-16)/2)/(8/(-28))?
True
Let q(g) = -g - 4. Let d be q(-7). Suppose -d*o - 14 = -4*o - 3*u, -4*u + 24 = 4*o. Let b = o - -10. Does 6 divide b?
True
Let o = -8 + 2. Let r = o + 8. Suppose r*x - 45 = -3*x. Is 9 a factor of x?
True
Let w(r) = -2*r**3 - r**2 - r - 4. Let s be w(-4). Suppose 2*l - 56 = -4*a, 4*l + 2*a - s = -0*l. Is l a multiple of 16?
False
Suppose 4*v + 108 = 416. Is v a multiple of 18?
False
Let y = 15 - 11. Suppose -i + y*b + 4 = 0, 15 = 3*i + 3*b - 12. Does 8 divide i?
True
Let j = -4 - -5. Let g = j + 3. Suppose 0 = g*t + 40 - 240. Is 20 a factor of t?
False
Let f = 5 + -7. Is 4/(8/(-33))*f a multiple of 11?
True
Let f(t) be the third derivative of t**4/24 - t**3/6 - 2*t**2. Does 4 divide f(5)?
True
Let h = 55 + -36. Let r = -7 + h. Is 6 a factor of r?
True
Suppose 6*n - 312 = 3*n. Is n a multiple of 26?
True
Suppose -4*u - 10 = -2*x, 0 = -3*x - 2*x - 3*u - 1. Let b be -1 + x - (-2 - 3). Suppose 30 = b*c - 5. Is c a multiple of 7?
True
Let h be (-3)/1 + (-6)/(-1). Let x(y) = 2*y. Is x(h) a multiple of 3?
True
Let y(o) = -o**3 - o. Suppose -3*q + 0*q + x = 8, 4 = -2*q + 2*x. Is 10 a factor of y(q)?
True
Suppose 0 = o - 3*o + s - 3, -o + 6 = 2*s. Suppose o*w + w = 4*h - 231, 3*h - 175 = -w