 Let x be w(1). Is 11 a factor of a(x)?
False
Let k(f) = -f**2 - 1. Let s be k(-1). Let c be (s + 3 - 3)/((-2)/8). Suppose 1588 = c*z - 380. Does 41 divide z?
True
Suppose -6 + 21 = -3*q, 0 = 3*n + 3*q - 9. Suppose 3*w - 3*t + 24 = 0, w - t + n = 2*t. Does 18 divide ((-20)/15)/(w/540)?
True
Let u(n) = -8*n**3 + n + 53. Let y be u(-5). Let w = y - -74. Is w a multiple of 17?
True
Let u(f) = 24*f - 18*f + 6*f - 4. Is u(5) a multiple of 4?
True
Let v(b) = 5*b**2 - b + 2. Suppose 2*p - 10 = -h, 0*p = 3*p - 3*h - 15. Suppose -4*o - 4*w - 24 = 0, -2*o - p*w = 2*o + 28. Does 12 divide v(o)?
True
Let u = -10824 - -46524. Is 60 a factor of u?
True
Suppose 3*y - 526 - 749 = 0. Does 30 divide 6*4*y/34?
True
Let b(i) = 16*i**2 - 49*i - 1698. Is b(-22) a multiple of 137?
True
Let g be (1 - (0 - -5)) + (-23 - -4). Let l = g + 27. Suppose 2*h = -3*s + h + 176, 0 = -l*s + h + 223. Is s a multiple of 4?
False
Let g = 2325 + 1991. Is 5 a factor of g/48 - (-2)/24?
True
Let g = -340 - -740. Suppose 399*b + 98 = g*b. Is b a multiple of 3?
False
Suppose 0 = -50*z + 45*z + 340. Suppose 0 = -64*r + z*r - 3064. Is 15 a factor of r?
False
Let u(n) = 59*n**2 + 36*n + 50. Is u(-7) a multiple of 6?
False
Suppose 0 = -112*y + 118*y - 28248. Suppose -5*c + 49*c = y. Is c a multiple of 5?
False
Let p(z) = -4*z**3 + 23*z**2 - 7*z + 107. Is p(-12) a multiple of 26?
False
Does 28 divide (72/(-16) - -5)/(2 - (-474828)/(-237416))?
False
Let h(v) = 11*v**2 + 15*v + 10. Let g be 2/3 + 286/66. Is h(g) a multiple of 8?
True
Suppose 45*c - 8 = 41*c. Suppose c*t - 5*t = 0. Suppose -280 = -2*q + 5*r, 8 = -t*r - 4*r. Is q a multiple of 30?
False
Suppose 11*g = 31*g + 6140. Let a = g - -778. Is 43 a factor of a?
False
Suppose -32*h + 11*h + 106428 = 0. Does 181 divide h?
True
Let k be 6 + -7 + (-4)/2. Let r(g) = -g**3 - 4*g**2 - 2*g + 5. Let n be r(k). Suppose -n*l = -194 + 74. Is 15 a factor of l?
True
Suppose -3*n - 10283 = 3*z - 55163, n = -3*n. Does 80 divide z?
True
Suppose 0 = 80*s - 76*s + a - 5402, 10 = 5*a. Is 10 a factor of s?
True
Does 18 divide (-329390)/(-25) - (-74)/185?
True
Let t be (-4 - -1)*1 - (-8652)/4. Suppose d = 3*d - t. Is d a multiple of 54?
True
Let j = -181 - 90. Let d = 4 - j. Is d a multiple of 15?
False
Let b = 529 - 279. Suppose 3*q + 953 = 2*d - 0*q, -3*d + 1401 = 5*q. Suppose -d = -4*i - u, 3*u - b = -2*i - u. Does 39 divide i?
True
Let c(f) = 201*f**2 - 313*f + 13. Does 10 divide c(6)?
False
Let v = -72 + 77. Suppose w - 183 = -4*o, -o + 6*o = -v*w + 240. Is o a multiple of 9?
True
Suppose -145674 = -21*z + 61162 - 51100. Is z a multiple of 142?
False
Suppose -9*i + k + 46 = -10*i, -5*k + 240 = -5*i. Let c(n) = n**3 - 3*n - 3. Let p be c(-3). Let v = p - i. Does 26 divide v?
True
Suppose 5*t - p + 0*p = 2446, 0 = -2*t + 4*p + 982. Suppose -3*w + t = -177. Does 37 divide w?
True
Suppose 5*c = -2*g + 6*c + 33, 5*c + 15 = 0. Let d(p) be the third derivative of -p**5/60 + 3*p**4/4 - 8*p**3/3 - 12*p**2. Does 4 divide d(g)?
False
Suppose -2*t - 822 + 3058 = 11*t. Does 86 divide t?
True
Let r be (5 - 6)*(-80 - 1). Let t be (r + 0)/(9/6). Suppose 0 = 5*k - t - 86. Is 14 a factor of k?
True
Let r be (129/(-86))/(2/2896*6). Let w = -182 - r. Is w a multiple of 56?
False
Suppose -12 = -6*x - 0*x. Suppose -x*b - 2*b = -52. Suppose 2*n - 14 = 4*d - 0, 3*d + b = 2*n. Is n a multiple of 2?
False
Let o(m) = 68*m**2 - 7*m + 9. Let d(l) = -2*l**3 + 7*l**2 + 3*l - 16. Let v be d(3). Does 13 divide o(v)?
False
Suppose -p + 2 = -0*p. Suppose p*a - r + 56 = 0, a = 2*r - 0 - 22. Let x = 32 + a. Is x even?
True
Let c = 57 + -44. Let o = c + -3. Suppose -o + 0 = -5*f, t + 4*f = 73. Is 18 a factor of t?
False
Let q = -698 + 1146. Suppose 36*s - 40*s + q = 0. Let v = s + -9. Is v a multiple of 18?
False
Let h(m) = -918*m**3 - 7*m**2 - 12*m - 6. Let j be h(-2). Suppose 10936 = 14*v - j. Is 45 a factor of v?
True
Let n = -2 + 10. Suppose -n*j + 10*j = -192. Let b = -67 - j. Is b a multiple of 27?
False
Let k(m) = -4*m**3 - 12*m**2 + 17*m + 11. Let w(q) = 3*q**3 + 13*q**2 - 21*q - 12. Let r(s) = -4*k(s) - 3*w(s). Does 30 divide r(4)?
False
Let r be ((-70)/(-42))/(10/24). Suppose -d + 525 = r*d. Suppose -6*n + d = -5*n. Is 10 a factor of n?
False
Suppose 0 = -7*h + 7999 + 1990. Suppose 11*i - h = -338. Does 33 divide i?
True
Suppose -7847 = -2*d + 2*u + 1995, 0 = d + 3*u - 4941. Is d a multiple of 28?
False
Is ((-13587)/(-2))/((-128)/1536*3/(-1)) a multiple of 57?
False
Let x(q) = -q**2 + 11*q - 12. Let z be x(8). Let s(l) = 1. Let b(u) = u**3 - 14*u**2 + 14*u + 4. Let m(t) = -b(t) + 4*s(t). Is 12 a factor of m(z)?
True
Let m = -170 - -210. Does 5 divide m + (4 - (0 + 4))?
True
Suppose 4*p + 3*j - 7577 - 169 = 0, 5*j + 7762 = 4*p. Does 6 divide p?
True
Let i be 14*(-51)/48 + 2/(-16). Let x = i + 23. Suppose -4*w = d - x - 8, -2*w - 4 = -d. Is d a multiple of 4?
True
Suppose -5*h = -4*h - 16. Suppose 6*z = 4*z - h. Does 9 divide (z/(-3))/(6/243)?
True
Suppose 8*k = 7*k + 3*r + 6865, -27544 = -4*k - 2*r. Is k a multiple of 5?
False
Suppose -1107 = -3*h - 792. Let q be 3/12 - 1750/(-8). Let v = q - h. Is v a multiple of 19?
True
Suppose 0 = -3*u - s + 33, -3*u + 3*s = -s - 18. Let k(b) = 3*b**2 + 7*b + 50. Is k(u) a multiple of 15?
True
Let h(u) = u**3 + 11*u**2 - 13*u - 1. Let q be h(-8). Let g be (-1)/(28/(-12) + 2). Suppose -g*m + q = 2*m. Is m a multiple of 13?
False
Let h = -617 - -639. Suppose 0 = -h*b - 35 + 1091. Is 23 a factor of b?
False
Suppose 4*a + 1316 = 4*g, -a - 4*g = -6*g + 327. Is 5 a factor of ((-14)/(-63) - 0) + a/(-9)?
False
Suppose -6*j = -5*j - 104. Let r be (-4)/(-14) + j/28. Suppose -11*c = -r*c - 924. Does 12 divide c?
True
Let h = -8323 + 10623. Is h a multiple of 10?
True
Suppose -c + 4*m = -11 + 7, -2*c - 4*m = -8. Suppose c*j - 3864 = -8*j. Does 23 divide j?
True
Let f(v) = 23*v + 32. Let k be f(-25). Let r = -345 - k. Suppose p = 4*m + r, 3*m - m = p - 208. Is 38 a factor of p?
False
Suppose 20 = -5*w, -5*t + 2*w + 0*w - 537 = 0. Let f = 176 + t. Is 7 a factor of f?
False
Let d(u) = 205*u**2 - 2*u + 2. Let m be d(-2). Let v = m + -517. Is v a multiple of 21?
False
Let u(i) = 113 - 7*i + 10*i - 3*i + i. Is u(7) a multiple of 3?
True
Let h = 134 - -612. Let r = h + -109. Is r a multiple of 40?
False
Let m(r) = 2*r**2 + 19. Let j(c) = -5*c**2 - c - 39. Let g(u) = -3*j(u) - 7*m(u). Let t be g(-5). Does 9 divide ((-45)/(-3)*t)/(-2)?
True
Let u(k) be the second derivative of -3*k**5/10 - 5*k**4/12 - k**3/2 + 2*k**2 - 81*k. Suppose -4 - 2 = 2*a. Does 15 divide u(a)?
False
Let r be (1 - 4/20)/(2/15). Let g be (r - (0 - -2))/(12/222). Suppose d = -5*t + 6*d + 60, -5*t - 2*d = -g. Does 3 divide t?
False
Let s = -4138 + 6147. Is 49 a factor of s?
True
Suppose -2*d - 3 = 3*r + 12, 5*d + 48 = 3*r. Does 32 divide (-311 + d)/(1 - 2)?
True
Let b be (-2 + 74/4)/((-3)/(-4)). Let g = 17 - b. Is (-96)/(-40)*g/(-1) a multiple of 2?
True
Suppose -27 - 63 = -2*b. Suppose -2*k = 3*k - b. Let o = 57 - k. Is 19 a factor of o?
False
Let j(x) = -1363*x**3 - 4*x**2 - 4*x + 4. Is j(-1) a multiple of 17?
False
Let s be ((-30)/20)/(2/(-4)). Does 11 divide 5 + (208 - (-3 - s))?
False
Let d(f) be the second derivative of f**4/3 - f**3/6 - f**2 + 7*f. Let t be d(-1). Suppose t*y = 254 - 92. Does 18 divide y?
True
Let c(f) = -201*f - 2586. Is c(-46) a multiple of 37?
True
Let j = 5057 - 1737. Is j a multiple of 8?
True
Let o = 8249 - 4949. Is o a multiple of 33?
True
Suppose n = l + 522 + 1646, -8707 = -4*n - 3*l. Does 41 divide n?
True
Let u(s) = -112*s - 268. Is u(-4) a multiple of 9?
True
Suppose 2*k = 4*k. Suppose k = 7*s - 0. Suppose -3*v + 4*v + b - 19 = s, 0 = -v + b + 25. Is 15 a factor of v?
False
Let f be (5/(-2))/((-1)/4*2). Suppose -f*a = -14 + 4. Suppose -25 = a*x - 201. Does 28 divide x?
False
Let a = 203 - 143. Suppose a = 2*c - c. Suppose -3*q - 35 - 45 = -4*n, -2*q = -3*n + c. Is 20 a factor of n?
True
Let w = 7807 + -4511. Is w a multiple of 16?
True
Let b(d) be the second derivative of d**4/12 - 4*d**3/3 - 13*d**2/2 - d + 90. Does 4 divide b(-7)?
True
Let y be ((-2)/(-2))/(-1 - -2). Suppose -294 = 3*k - 4*a - 302, 2*k + 5*a = -10. Is (-2 - (k + y - 2))*-25 a multiple of 13?
False
Let r(l) = 0*l - l + 338 - 372. Let f be r(-30). Is (-6)/f*(3 - -165) a multiple of 27?
Fal