 4 a factor of x(l)?
False
Let f(j) = -j**2 - 40. Let x be f(0). Let o = x - -89. Is 11 a factor of o?
False
Is (-15 - -13)*(-925)/2 a multiple of 37?
True
Let i(h) = -2*h - 7. Let n be i(0). Let c(s) = -s**2 - 6*s + 9. Let k be c(n). Let l(u) = 11*u + 2. Is 13 a factor of l(k)?
False
Let w = 82 - 39. Let s = -24 + w. Does 17 divide s?
False
Let d = 1526 + -1086. Is d a multiple of 24?
False
Let l = -277 + 517. Is l a multiple of 10?
True
Is (8/(-3))/(((-306)/4671)/17) a multiple of 12?
False
Let p(i) = -14*i - 112. Is p(-20) a multiple of 24?
True
Suppose -5*x = -8 - 22. Let z(o) = 5*o**2 - 13*o + 25. Does 15 divide z(x)?
False
Suppose -4*k + 6*k = 2*w - 10, -4*k = 12. Suppose -w*j + 620 = 8*j. Is 11 a factor of j?
False
Let a(z) = 10*z + 4. Let x(w) = -w**2 + 2*w + 5. Let g be x(0). Is 17 a factor of a(g)?
False
Let s be 9/6 - 3/(-6). Let r(v) = 7*v**2 + 3*v**3 + 0*v + 2*v - 11*v**2. Is r(s) a multiple of 6?
True
Suppose 4*t = 4*x + 2*t - 10, 15 = 4*x + 3*t. Suppose 2*f - 62 = -x*p, 2*f + 71 = 5*f - p. Is 9 a factor of f?
False
Let a(u) = -14*u**3 - 3*u - 5. Let k = 91 + -93. Is a(k) a multiple of 7?
False
Let m = -10 + -46. Let z = -114 - m. Let h = -20 - z. Is 12 a factor of h?
False
Let a be -34 - 0 - (5 + -2). Let t = a - -32. Let u(n) = 2*n**2 + 5*n - 7. Does 18 divide u(t)?
True
Let g = 711 - 703. Let r = 0 - 0. Suppose 88 = 3*a - g*p + 3*p, r = -3*a - 2*p + 116. Is 12 a factor of a?
True
Let y(j) = -56*j - 107. Does 10 divide y(-16)?
False
Is 33 a factor of 12*(0 - (-100)/16)?
False
Suppose -7*o + 9 = -4*o. Suppose -219 = -3*m - o*b, m - 3*b + 79 = 2*m. Does 14 divide m?
True
Does 13 divide -5 + 1006*(-5)/(-10)?
False
Let b = 1 - 5. Let l be 4*(-3 + (-34)/b). Suppose u + l = m - 4*u, u = -3. Is m a multiple of 4?
False
Let f(o) be the third derivative of -o**6/120 - o**5/20 - o**3/3 - 14*o**2. Does 14 divide f(-4)?
True
Let h = -719 + 419. Let m = -1 - h. Does 11 divide (-2)/9 - m/(-9)?
True
Suppose 489 - 125 = 2*m. Does 58 divide m?
False
Let y(h) = h + 2. Let q be y(-2). Suppose q = -14*o + 12*o + 308. Does 22 divide o?
True
Let x = 44 - 46. Let q = -1 + -5. Is (x/q)/((-5)/(-375)) a multiple of 15?
False
Is 6/((-2)/9 + (-336)/(-945)) a multiple of 2?
False
Let a(d) = -208*d**3 + 6*d + 6. Is a(-1) a multiple of 5?
False
Let s(i) = -195*i + 2. Let f be s(-1). Suppose -3*c = y - 2*c - 97, 0 = 2*y + c - f. Suppose g = 3*r - y - 36, r - 5*g - 50 = 0. Is 12 a factor of r?
False
Suppose 0 = 6*l - 8*l + 222. Does 38 divide (1 + 2/(-4))*(-35 + l)?
True
Let h = -400 + 1618. Does 29 divide h?
True
Let w be -459 + 3/2 + (-6)/4. Is (w/(-68))/((-3)/(-40)) a multiple of 30?
True
Let x(i) be the first derivative of -2*i**3 - 2*i**2 - 8*i - 7. Let n(a) be the first derivative of x(a). Is 5 a factor of n(-2)?
True
Let w(b) = -5*b + 4*b + 2*b. Let x(j) = -7*j - 18. Let v(r) = 2*w(r) + x(r). Does 21 divide v(-12)?
True
Suppose -15370 = -12*p + 758. Does 56 divide p?
True
Let k(h) = 171*h - 7. Let s be k(-2). Let j = s + 579. Does 10 divide j?
True
Is 56 a factor of (-63 + 35/5)/(5/(-215))?
True
Let w = 3171 - 1836. Does 27 divide w?
False
Let h(u) = 8*u**2 + 26*u - 134. Does 2 divide h(4)?
True
Let l(f) = 0*f - 22*f + 7*f - f**2. Is l(-10) a multiple of 25?
True
Let s(q) = -q**2 - 8*q - 4. Let j be s(-7). Suppose -p = -6*p + 10. Suppose -8 = -3*h - p, n - j*h - 30 = 0. Is n a multiple of 6?
True
Does 11 divide 1/(5/(-85))*-13?
False
Suppose 4*b - 2*m + 7*m - 788 = 0, 0 = -5*b + m + 956. Does 6 divide b?
True
Suppose -774 - 3090 = -8*l. Is 7 a factor of l?
True
Suppose 5*b - 10 = -5*u, 4*b + 0*u + 2*u - 12 = 0. Suppose 0 = 2*q - 76 + 166. Is 28 a factor of (6/b)/(q/(-840))?
True
Is 14 a factor of 11/33 - 2396/(-3)?
False
Suppose 2*t + 23*t - 19750 = 0. Does 9 divide t?
False
Let b(g) = 38*g + 4. Let a(j) = -113*j - 11. Let z(p) = 3*a(p) + 8*b(p). Does 26 divide z(-3)?
True
Suppose -2*g + 58*g - 141120 = 0. Does 45 divide g?
True
Let s = -64 + 270. Let u(m) = -27*m + 31. Let f be u(-3). Suppose 3*n - f = s. Is 25 a factor of n?
False
Let p be 2 - (188/(-1) + 2). Suppose 29*h = 20*h. Suppose 4*q + h*q - p = 0. Is q a multiple of 8?
False
Suppose -93*s = -79*s - 13734. Is 45 a factor of s?
False
Let p be (-20)/(-110) + 1052/22. Is 12 a factor of (p/(-6) + 7)/((-1)/31)?
False
Let c(k) = 2*k - 30. Let o be c(16). Suppose 4*m = 2*t + o*t - 504, 3*m - 12 = 0. Is 10 a factor of t?
True
Suppose v - 192 = -3*v. Let a = -7 + v. Does 27 divide a?
False
Let s(l) = l**2 - 3*l - 4. Let y(g) = -2*g**2 - g + 1. Let i be y(-2). Is 27 a factor of s(i)?
False
Suppose -k + b - 5 = 0, 6 + 7 = -2*k + 3*b. Let l(x) = -54*x - 3. Does 15 divide l(k)?
True
Let s(f) = -f**2 + 2*f + 1. Let i(c) = c**3 - c**2 + 3*c + 3. Let y(o) = 3*i(o) - 7*s(o). Is 13 a factor of y(2)?
False
Let h(r) = -322*r - 13. Is 83 a factor of h(-7)?
True
Let p = -70 - -101. Suppose -2*d - p = -409. Does 21 divide d?
True
Let x(m) be the third derivative of -m**4/24 + 11*m**3/3 + 11*m**2. Let i be x(10). Is 11 a factor of (-1215)/(-36) - 9/i?
True
Let q = 17 - 9. Let z be 1 + 0 + (q - 9). Suppose -4*x + 224 = -z*x. Is 14 a factor of x?
True
Let g(n) = -n**3 + 27*n**2 + 25*n - 27. Is g(27) a multiple of 54?
True
Suppose 3*q = -20 - 7. Let z(s) = -s**3 - 7*s**2 + 6*s - 1. Does 12 divide z(q)?
False
Let g(d) = -4*d - 14. Let m(f) = -f**3 + 3*f**2 + 4*f - 3. Let k be m(4). Let u(c) = c**3 + c**2 - 2*c + 7. Let w be u(k). Does 6 divide g(w)?
True
Is 3 a factor of (262*33/22)/3?
False
Let u be ((-5)/(-15))/((-1)/(-3)). Let l(w) = 40*w - 1. Let o be l(u). Is 20 a factor of 1 - (4*o)/(-4)?
True
Suppose -5*y - 147 = -27. Let s(a) = -a**3 - 23*a**2 + 15*a - 24. Does 24 divide s(y)?
True
Suppose r + 3*r = 2*h + 1560, -4*h + 770 = 2*r. Is r a multiple of 21?
False
Suppose -4*q - 92 = -2*p, -p + 29 = 4*q - 23. Let y be 1 + p + (-1 - 3). Suppose -3*r + 109 = -5*z - 111, -4*z + y = r. Does 14 divide r?
False
Suppose o - 6*o = -10. Let g(s) = -3*s - 23. Let y be g(-9). Suppose o*f = -c - c + y, -5*f - 6 = c. Is 4 a factor of c?
True
Suppose 2*z = z + 32. Let s(f) = f**3 - f**2 + f - 33. Let k be s(0). Let a = z - k. Does 13 divide a?
True
Let x = 20 + -18. Suppose v + x*v = 78. Does 7 divide v?
False
Suppose 0 = -i + 4, 89*c - 90*c + 1280 = 2*i. Is c a multiple of 53?
True
Let v = -10 + 14. Suppose 2*g + v*q = 3*g - 158, -4*g + 3*q + 697 = 0. Is g a multiple of 19?
False
Let d = 2 + -1. Let w(f) = 40*f**2 + 1. Is w(d) a multiple of 18?
False
Suppose 12*t - 9*t = 4*x - 2633, -5*x - 2*t = -3297. Is x a multiple of 10?
False
Let v(i) = 3*i**2 + 3 + 3*i - 9 - 5*i + 0. Does 17 divide v(-4)?
False
Let z = 139 - -217. Does 40 divide z?
False
Let r(g) = -g**2 + 35*g + 284. Is r(33) even?
True
Let o = 37 + -44. Does 9 divide (o - -4 - (-142)/6)*12?
False
Suppose s = -i + 113, 2*i + 184 = 4*s - 280. Let q = s + -63. Is q a multiple of 13?
True
Let u = 591 - -121. Does 19 divide u?
False
Suppose 3*g = 3*l + 81, -5*l - 129 = 2*g - 15. Does 27 divide (-1 - -22)*(l/9 - -5)?
False
Let m = 364 + -201. Let b = -43 + m. Is b a multiple of 30?
True
Let d = -16 - -14. Let o(i) = 2*i**3 - i**2 + i - 2. Let g be o(d). Let h = 50 - g. Is 14 a factor of h?
False
Suppose 3*n - 4*n = -2*c - 60, 0 = 3*c - 9. Suppose -n - 32 = -m. Does 42 divide m?
False
Suppose 16*i = 7652 + 3020. Does 42 divide i?
False
Let z(t) be the first derivative of -3 + 6*t - 3*t**3 - t**2 - 1/4*t**4. Is z(-9) a multiple of 8?
True
Suppose -w - 64 = 3*w. Let j be (w/40)/(1/(-15)). Is 8 a factor of j/(-3) - (-29 + 0)?
False
Let n(r) = 55*r + 4. Let h be n(2). Does 30 divide ((-1)/2 + (5 - 3))*h?
False
Let h be ((-1)/(2/(-16)))/(-2). Let w(n) = -n - 10. Let z(r) = -5*r - 60. Let c(k) = h*z(k) + 25*w(k). Does 5 divide c(-6)?
True
Let j be (-1 - 0)/(-4 + 5). Let u be j/(6/4)*3. Is ((-3 - u) + 0)*-27 a multiple of 10?
False
Let b be 2/(-4 + (-14)/(-3)). Let p(k) = -k**3 + 4*k**2 - k - 1. Let v be p(b). Does 17 divide (-94)/(-5) + 1/v?
False
Let h(k) = k**3 + 13*k**2 + 20*k - 15. Let m be h(-11). Let g(w) = -2*w**2 + 15*w + 3. Is g(m) a multiple of 5?
True
Let f = -1020 + 1416. Is 6 a factor of f?
True
Suppose -4*i = -3*i - 6. Let r(j) = j - 1. Let n be r(i). Suppose 2*p - 83 = n*v, -1 = v - 0*v. Is p a multiple of 13?
True
Let z(h) = 4*h**2 + 7*h + 6. Let g(o) = -o**3 + 6*o**