 o?
False
Let z(w) = w**3 + 9*w**2 - 11*w - 7. Let h be z(-10). Let m be h - (3 + (-3)/1). Suppose 4*k - 8 = 0, 9 = -m*c - k + 44. Does 2 divide c?
False
Let w(t) = 30*t**2 + 8*t - 13. Let h(y) = -61*y**2 - 17*y + 27. Let j(x) = 3*h(x) + 7*w(x). Does 23 divide j(2)?
False
Suppose p = k - 2*p - 9, 6 = k - 2*p. Suppose 0 = -5*r + 5, -3*r = 2*g - k*g - 243. Is g a multiple of 24?
True
Suppose -4*j + 43 = -217. Is 7 a factor of j?
False
Let q = -1 + -23. Let f be (q/(-10))/(1/15). Let n = f - 8. Does 13 divide n?
False
Suppose 4*m - 212 - 20 = 0. Let d = -36 + m. Does 6 divide d?
False
Suppose -8 = 6*o + 10. Is 25 a factor of (-570)/(-8) + o + (-1)/4?
False
Suppose -5*z - 328 = 77. Suppose h - 5*h + 532 = 0. Let k = h + z. Is k a multiple of 26?
True
Let a(v) = 60*v**2 + 1. Let h be ((-2)/(-4))/((-5)/290). Let j = h - -30. Is 18 a factor of a(j)?
False
Let u be 47/(1/3*3). Let z be u*(3/(-3) - -2). Suppose -3*c + z = -5*f, -f + 2*f = 3*c - 55. Does 5 divide c?
False
Let v = -232 - -152. Let b = v + 139. Let l = -6 + b. Does 14 divide l?
False
Suppose 3*l - 1050 = -4*a + 632, -4*l - 3*a + 2238 = 0. Does 14 divide 12/36*1/(2/l)?
False
Let n = 1576 - 923. Is n a multiple of 10?
False
Suppose 2*p - 31 = -25. Suppose 2*r - 141 = -3*y, 0*r - p*r + 54 = y. Does 15 divide y?
True
Let d = 4 + 9. Let g be (-392)/224*(1 - -11) + -3. Let c = d - g. Does 9 divide c?
False
Let s = -657 + 947. Does 6 divide s?
False
Let c(h) = -h**3 + 15*h**2 + 18*h + 13. Let i be (18/(-4))/((-13)/(-26)). Let p = 7 - i. Does 9 divide c(p)?
True
Suppose -8*t = 45 - 13. Is 49 a factor of ((-4)/3)/(t/6) - -271?
False
Let x(r) = 227*r - 1 - 1 - 226*r. Is 5 a factor of x(15)?
False
Let b = 21 + 12. Is 3 a factor of b?
True
Let k(v) = -11*v + 6. Let i be k(-6). Let p = i + -31. Suppose -2*n + 3*n = 4*l + p, 4 = -2*l. Is 11 a factor of n?
True
Let a = 43 + -34. Suppose -88 = a*k - 11*k. Is k a multiple of 10?
False
Let r = 1 - -1. Let i be (20 + -68)/(1*-1). Suppose r*t - i = -t. Does 3 divide t?
False
Let z be (-5)/(-6)*-4*(-6)/(-5). Is 1245/10*z/(-6) a multiple of 24?
False
Let d = 329 - 181. Let b = d + -56. Does 18 divide b?
False
Suppose 4*x - 3 = 3*y, -11 - 1 = -y - 3*x. Suppose 2*n - 5*n + 180 = 0. Suppose y*h = h + n. Is h a multiple of 4?
False
Let l(i) = 5*i**2 + 12*i - 7. Let n(w) = 14*w**2 + 35*w - 20. Let b(x) = 17*l(x) - 6*n(x). Let v(o) be the first derivative of b(o). Is v(5) a multiple of 3?
False
Suppose 58 = -m - 3*y + y, 4*y = -12. Let u = -81 + 46. Let o = u - m. Does 8 divide o?
False
Let j = -23 + 25. Let b = 15 + j. Does 17 divide b?
True
Is (-108)/(-8)*500/10 a multiple of 5?
True
Suppose 29 = 4*j + 45, -j = -2*r + 1372. Is 13 a factor of r?
False
Let o(d) = -3*d - 6. Let j be o(-3). Is ((-28)/j)/7*-33 a multiple of 11?
True
Let d be (9*14/(-15))/((-10)/25). Is 26 a factor of ((-166)/(-3))/(14/d)?
False
Let v = -3 + 8. Let g(x) = x**2 + x**2 + 5 - 2439*x + 2444*x. Is g(v) a multiple of 35?
False
Suppose 0 = 4*b - 3*f + 477, 4*b = 4*f - 727 + 247. Let v = 378 - 205. Let z = v + b. Is 15 a factor of z?
False
Let i(d) be the third derivative of 7*d**4/24 + 7*d**3/6 + d**2. Let s(f) = f**2 + 53*f + 158. Let u be s(-50). Is 21 a factor of i(u)?
True
Let s be 98/(-35)*(-15)/6. Suppose w - 78 = -2*k, -3*k = -s*k + 12. Suppose -w = -5*q + 68. Does 7 divide q?
True
Let l be 12/(-10)*(0 + 20). Let c be -8*(3/(-4) + 0/(-4)). Does 14 divide 4/(l/(-14))*c?
True
Suppose -2*u + 50 = 5*g + 2*u, -2*g - 4*u + 20 = 0. Let l = g - 12. Does 5 divide (-5)/(((-6)/(-9))/l)?
True
Let i(q) = 2*q + 197. Is 89 a factor of i(12)?
False
Let i(k) = 46*k**3 + k**2 + k + 1. Let y be i(-1). Let v = -41 - y. Is v a multiple of 2?
True
Suppose 0 = 3*r + 3*b - 606, -5*r - b + 868 + 146 = 0. Is r a multiple of 6?
False
Let h = 151 + -46. Does 15 divide h?
True
Let b = -146 + 105. Let a = b + 73. Is 21 a factor of a?
False
Let v(w) be the first derivative of w**2/2 + 28*w + 16. Is 3 a factor of v(12)?
False
Let c = 106 + -49. Suppose -2*i = 3*i + 2*h - 246, i - c = -3*h. Is 24 a factor of i?
True
Is (3*2/4)/(3/78) a multiple of 4?
False
Let m be (-120)/50*(-50)/(-4). Does 10 divide (m/(-4))/((-30)/(-40))?
True
Let o(u) = -4*u - 7. Let n be o(-3). Suppose 0 = k - 2*d + 7*d - 51, 4*k + 2*d - 150 = 0. Suppose -a - k = -n*a. Is 3 a factor of a?
True
Let t = -34 + 49. Suppose -7 = 4*f - t. Suppose -4*u + 3 + 1 = -5*c, u + f*c = 14. Is 5 a factor of u?
False
Let q = -870 - -1220. Is q a multiple of 25?
True
Let v(z) = -17*z**3 - 2*z - 1. Let r(h) = 2 + 23*h**3 + 6*h + 12*h**3 - h. Let t(k) = 2*r(k) + 5*v(k). Is t(-1) a multiple of 7?
True
Let t(u) = -2*u**2 + 6*u. Let y(n) = -n**2 + n. Let f(d) = t(d) - 3*y(d). Let s be f(-3). Suppose -180 = -5*p - s*p. Is p a multiple of 12?
True
Let x(y) be the second derivative of 2*y**4/3 - y**3/3 - y. Let r(z) = -z**3 + 7*z**2 - 8*z - 12. Let i be r(5). Does 18 divide x(i)?
True
Suppose 3*d = -j - 82, j + 4*j = -3*d - 362. Let z(o) = 6*o**3 - o + 1. Let i be z(1). Is i/(-14) - 1220/j a multiple of 15?
False
Suppose -3*j + 5 - 8 = 0. Does 10 divide 2 - (0 - (-2 - j*81))?
False
Suppose 6*f - 3 = 9. Suppose 3*u = 4*u - 2. Suppose -f*n - 44 = -3*r + u*n, -4*r = -3*n - 68. Does 4 divide r?
True
Let r = -1 - -49. Does 18 divide r?
False
Let g be ((-6)/(-6))/((-2)/(-4)). Suppose w + 4*i = 13, 1 - 3 = -g*i. Let r = 7 + w. Is 15 a factor of r?
False
Is -6*5/15*-82 a multiple of 16?
False
Let z = 925 - 139. Is z a multiple of 6?
True
Suppose -160 = -h - 4*x, 3*x + x = 4*h - 580. Is h a multiple of 4?
True
Suppose -5*p + 7*p + 2*w - 92 = 0, 210 = 5*p - 5*w. Is p a multiple of 11?
True
Let g = 90 - 26. Let b be 10/(-25) - 24/(-10). Suppose -b*o = -52 - g. Is o a multiple of 25?
False
Let x be 3*(-1)/(3/(-17)). Suppose -50 = 51*o - 56*o. Let n = x - o. Is n a multiple of 3?
False
Suppose -3*l + 972 = 3*n, l + 0 = 1. Is n a multiple of 30?
False
Let k be (-4)/18 + (-58)/(-18). Does 12 divide k*4/(-6)*19/(-1)?
False
Let j be 84/(-8) + (-3)/(-6). Is 5 a factor of 19 - -1 - j/2?
True
Suppose 3*d - 4*f = 35, 3*f + 15 = -0. Suppose -2*m + d*m = 0. Suppose m = -3*b + 18. Is b a multiple of 6?
True
Suppose -d + 9*v = 6*v - 1171, 3*d - v = 3537. Is 10 a factor of d?
True
Let d be (-15)/(-6 - -1)*3. Let o(r) = r**2 + 11*r - 25. Is o(d) a multiple of 31?
True
Let x(a) = a**3 - 5*a**2 - 5*a - 4. Let v be x(6). Let b(c) = 105 + 102 + 2*c - 205. Is 6 a factor of b(v)?
True
Suppose -3*p - 4*k = -22, 2*p + k - 2 - 6 = 0. Suppose -2*d - p*c = -138, -5*d + 222 = -2*d - 2*c. Is 9 a factor of d?
True
Suppose 9 = -3*k, 0*d - 3*k - 1151 = -2*d. Is d a multiple of 19?
False
Does 39 divide 3252/7 + 402/938?
False
Suppose 3*m = -2*n + 5372, m = 4*n + 72 + 1728. Is 112 a factor of m?
True
Let j be (4/2 + 1)*2. Let g(x) = x**3 - 5*x**2 + 11*x + 20. Is 32 a factor of g(j)?
False
Is 22 a factor of (-50)/(5 - -5)*(-282)/10?
False
Suppose 0*t = 3*t + 2*s + 32863, s + 2 = 0. Is (-2)/5 + t/(-45) a multiple of 33?
False
Suppose 0 = 5*j - 0*j - 15. Suppose 4*s - 5*u = 257, -4 = 3*u + u. Suppose -j*v = -s - 135. Is v a multiple of 22?
True
Suppose -3*s + 19 = 1. Let p be (-9*(-2)/s)/1. Let t(c) = -c**3 + 5*c**2 - 2*c - 1. Is t(p) a multiple of 8?
False
Suppose -4*w - 965 = -3*g, -2*g + 321 = -4*w - 329. Is 5 a factor of g?
True
Let c(g) = g**3 + 10*g**2 + 11*g + 24. Let l be c(-10). Let v = l + 185. Is 11 a factor of v?
True
Let r = 3 - 5. Let w be r/((-3)/(-6) + -1). Suppose -3*j - w*i + 36 = -i, j = 3*i + 20. Is 7 a factor of j?
True
Let s(j) be the third derivative of 15*j**4/8 - j**3 - 8*j**2. Is 22 a factor of s(2)?
False
Let j = 1096 - 421. Does 45 divide j?
True
Let c be -3*((-2 - 0) + 1). Suppose c*h = -10 - 5. Let v(f) = -13*f - 3. Does 14 divide v(h)?
False
Let y be (1 - 2)*9*(-130)/(-10). Let r = y + 253. Is 14 a factor of r?
False
Is 1068*(-1)/4*-2 a multiple of 14?
False
Let w(j) = -3*j**3 - 9*j**2 + 4*j + 20. Let q be w(-7). Suppose -4*t + 3*t = 4*l - q, -4*l + 572 = -t. Is 12 a factor of l?
True
Let r = -550 + 3960. Is r a multiple of 30?
False
Let n(j) = 15*j**2 + 4*j - 37. Let v(p) = -7*p**2 - 2*p + 18. Let q(l) = -6*n(l) - 13*v(l). Does 36 divide q(6)?
True
Let d(n) = n**3 + 14*n**2 - 21*n + 71. Does 47 divide d(-12)?
True
Let s(m) = -m. Let c = 15 - 21. Let x be s(c). Suppose -x = -2*u + 2. 