be o(2). Suppose 4*v = -2*y + 346, 0*y = v - 5*y - z. Suppose v + 297 = 11*t. Is 12 a factor of t?
False
Let l(d) = d**3 + 40*d**2 + 67*d + 512. Does 4 divide l(-29)?
True
Let y(z) = z**3 - 2*z**2 - 7*z - 5. Let w be y(-2). Let l be w/((-21)/(-171)) + 3. Let g = -47 - l. Is g a multiple of 2?
False
Let y(n) = n**3 + 4*n**2 + 74*n + 37. Does 26 divide y(11)?
False
Suppose 21*c - 19*c = 1148. Is 6 a factor of c?
False
Let q be ((-324)/(-10))/(-7 - (-493)/70). Suppose -89*k = -96*k + q. Does 18 divide k?
True
Suppose 1867 + 10853 = 6*t. Does 10 divide t?
True
Let o = 22241 + 24465. Is 121 a factor of o?
True
Let q = -594 + 597. Is 945/q + (-4 - (-48)/8) a multiple of 8?
False
Let a(c) = -c**3 + 12*c**2 + 23*c - 34. Let m be a(12). Suppose y - m = l - 4*y, y = 5*l + 1114. Let j = -132 - l. Does 5 divide j?
True
Let u(z) be the first derivative of z**6/120 - 4*z**5/15 + 5*z**4/6 - 3*z**3 - 6*z**2 - 26. Let h(i) be the second derivative of u(i). Does 5 divide h(15)?
False
Let s(m) = -3*m + 351. Let a be s(35). Suppose 5*o - 1023 = -4*z, 3*z - a = -5*o + 525. Is 6 a factor of z?
True
Let b = 7331 - 6667. Is 166 a factor of b?
True
Suppose 2*o = 12534 + 9900. Is o a multiple of 36?
False
Suppose -4906 = -x - 3*i + 1378, -5*x + i + 31468 = 0. Is 29 a factor of x?
True
Let v be ((-4)/3)/(2/(-3)). Suppose 4*h = v*u + 8, -3*u = -4*h + 4 + 2. Is 3/4*12/h a multiple of 2?
False
Suppose -5*m - 9771 = -2*w - 55847, w = -5*m + 46082. Does 144 divide m?
True
Suppose 0 = 12*p - 83280 + 5040. Is p a multiple of 20?
True
Suppose -11*b = -38*b + 81. Is 1*(b/(-9) - (-4202)/33) a multiple of 22?
False
Let l be 5/(-2)*(-24)/30. Suppose 5*i + 5*b - 2170 = 0, -2*i = -5*i + l*b + 1292. Does 18 divide i?
True
Let t(f) = f - 10. Let u be t(11). Let d be (-7)/(-1) + -3 + u. Suppose 3*s = -g - 0*g + 228, d*s - 3*g - 366 = 0. Is 11 a factor of s?
False
Let i(b) = 30*b - 39. Let g be i(13). Let m = g + -109. Is m a multiple of 49?
False
Let f = 111 + -107. Suppose 0 = u + f*u - 375. Is u a multiple of 9?
False
Let b = -402 - -409. Is 153 + -8 + b + 1 a multiple of 5?
False
Let c = -146 + 182. Is -4 - (c/(-6) - 282) a multiple of 71?
True
Let k be 6/(-2) - 3044/(-4). Suppose -2*s + b + k = s, -4*s + 4*b + 1008 = 0. Suppose -2*q + 171 = -s. Is q a multiple of 53?
True
Let k(l) be the second derivative of 17*l**3/6 + 65*l**2 - 44*l. Does 7 divide k(-6)?
True
Let p be (-75)/7 + (-8)/28. Let i = 3 - p. Is 7 a factor of i*((-21)/6 - -4)?
True
Let y be 195*(-9)/((-225)/10). Suppose 3*f + 576 - y = 3*b, 5*b = -4*f + 803. Suppose 0*k + b = k. Does 22 divide k?
False
Suppose 6*j + 4*j = -4*j + 111314. Is j a multiple of 60?
False
Let y(l) = -145*l - 123. Let t be y(-4). Let m = -170 + t. Is m a multiple of 63?
False
Let v = -314 - -330. Is 35 a factor of (-14728)/(-21) - v/12?
True
Let n(f) = -25*f + 1134. Is n(0) a multiple of 42?
True
Let j(r) = -16*r + 940. Does 10 divide j(-35)?
True
Let a be 98*14*3/12. Suppose -i = -3*u - 174, -2*u - a = -2*i - 15. Does 10 divide i?
False
Let r(o) = o**3 + 7*o**2 + 6*o - 44. Let b be r(-13). Let f = -532 - b. Is f a multiple of 17?
False
Let p = 10867 - 5232. Is 49 a factor of p?
True
Suppose -a = -2*v - 3*v + 31734, -2*v + 2*a + 12684 = 0. Does 92 divide v?
True
Suppose 7 + 878 = 3*o. Let d = o + -34. Is (-58)/d + (-1930)/(-18) a multiple of 8?
False
Suppose 33*p - 1518 = 56*p. Let u = 274 + p. Is u a multiple of 12?
False
Let v be 40 - 13/(78/12). Suppose -12672 = 26*a - v*a. Is a a multiple of 44?
True
Let o(c) = -224*c**3 - 9*c**2 - 17*c - 9. Is 74 a factor of o(-2)?
False
Let j = -4046 + 6150. Suppose -5*y = 64 - j. Is y a multiple of 12?
True
Let g(a) = a**3 + 1 + 5*a**2 - 5*a**2 + a + 0*a**2 - 3*a**2. Let c be g(0). Is (1 - 2)/((-4 + c)/51) a multiple of 12?
False
Does 8 divide (581/249)/((-1)/(-72))?
True
Let z(w) = 27*w**3 + 2*w - 1. Let g(h) = -h**3 - 19*h**2 - 2*h - 34. Let x be g(-19). Suppose 0 = 33*d - 37*d + x. Is 3 a factor of z(d)?
False
Let y(t) = -t + 3. Let a be y(-6). Suppose -a - 419 = -3*v - 2*k, -3*k - 294 = -2*v. Suppose 0 = -3*z + 5*g + 82, 0*g - 2*g + v = 4*z. Does 10 divide z?
False
Suppose -4*h = -2*p - 16134, -3*h = p - 12918 + 825. Is 7 a factor of h?
True
Let b(s) = -s**3 - 50*s**2 - 37*s - 392. Is b(-50) a multiple of 27?
True
Let l be (-70)/(-21)*(-7206)/(-5). Suppose 5*s + l = 4*x + 9*s, 1205 = x - 3*s. Is 14 a factor of x?
False
Suppose -34952 = -42*v + 14*v - 40*v. Is 80 a factor of v?
False
Let u(v) be the first derivative of -v**4/4 + 7*v**3 - 11*v**2 + 17*v + 13. Let h be u(20). Let m = h - -34. Is 11 a factor of m?
True
Suppose 26390 = 3*z + 2*z + 8*z. Is z a multiple of 14?
True
Suppose -4*c = s - 7175, -2170*s + 2168*s - 7154 = -4*c. Is 6 a factor of c?
False
Suppose 5*b = -t + 5432, -5*t + 2058 = -3*b - 25102. Is t a multiple of 44?
False
Let d = -3450 - -5823. Does 101 divide d?
False
Let i = 216 - 213. Suppose i*y = -2*g + 373 - 36, -4*g + 683 = -3*y. Does 21 divide g?
False
Let g be ((-10)/6)/((-2)/(-366)). Suppose -23*v - 63*v + 17*v = 12075. Let r = v - g. Is r a multiple of 26?
True
Let v = -59817 + 35017. Is ((-18)/(-21))/(-3) + v/(-70) a multiple of 6?
True
Let v(i) = 1897*i**2 + 72*i + 115. Is 2 a factor of v(-2)?
False
Suppose 339006 + 593713 + 202647 = 53*a. Does 37 divide a?
False
Let p = 96 + -94. Suppose p*j = -8, 5*i + 5*j = 765 + 340. Does 5 divide i?
True
Let s(j) = -4*j**2 + 32*j - 42. Let z be s(15). Let o = 832 + z. Does 74 divide o?
True
Suppose 3*i - 66*o - 1493 = -68*o, i + o - 499 = 0. Suppose 3*l - 180 = -3*m, -2*m - 335 = -5*l - 0*l. Suppose 0 = 8*n - i - l. Is 10 a factor of n?
True
Let j be (-45)/(-6)*8/10. Is 5 a factor of (1 - j) + 734 + 3/(-1)?
False
Let k = 870 - 888. Let p = k + 307. Does 17 divide p?
True
Suppose 4*b + 2*q - 3574 = 4*q, 3*q = b - 881. Does 69 divide b?
False
Suppose 10 = 2*o - 48. Let n(t) = -t**2 + 11*t + 111. Let i be n(17). Let q = i + o. Does 38 divide q?
True
Suppose 20*w = 34 + 126. Suppose -3*p + 209 = u, w*u = 6*u + p + 383. Is u a multiple of 17?
False
Suppose -69*b + 11*b - 133190 = -629090. Does 19 divide b?
True
Let c = -9094 + 17590. Is 36 a factor of c?
True
Let d be (0 - 14/3)*-6. Let w be (-172)/6*42/d. Let y = 77 + w. Does 21 divide y?
False
Let u(m) = 35*m**2 + m - 1. Let d = -20 - -22. Suppose -4*o + d = -2*o. Is 5 a factor of u(o)?
True
Let z(s) = -2*s**3 + 23*s**2 + 7*s + 35. Is 3 a factor of z(-17)?
True
Let p be ((-18)/12)/(3/(-18)). Suppose -6*l + p*l - 12 = 0. Suppose -2*h - 18 = -l*h. Is 7 a factor of h?
False
Let t(j) = -j**2 - 6*j + 23. Suppose -3*s - 125 = -h, -4*h + 2*s + 3*s = -465. Let n = -117 + h. Is 3 a factor of t(n)?
False
Suppose -128 = 5*c - 158. Suppose -37*b + 12642 = c*b. Is b a multiple of 6?
True
Let f be (-196)/16 - ((-5)/20 + 0). Is 4/16 - 3393/f a multiple of 38?
False
Suppose 3*b + 6 = k, -2*k + b + 4 = 2. Let j = 54 + k. Does 18 divide j?
True
Suppose 238 = 5*o + 48. Suppose 3*t - 47 = -o. Suppose t*h + 0*h - 345 = -2*l, 0 = 3*h + 15. Does 30 divide l?
True
Let t(b) be the second derivative of 3*b**5/20 - 4*b**4/3 - 5*b**3/6 - b**2 - 163*b. Is t(6) even?
True
Let v(f) = -f**2 - 16*f - 23. Let w be v(-8). Suppose 4*y = 3*j - 212, -y + w = -2*j + 179. Is j a multiple of 15?
False
Suppose 5*m = -14*m + 76. Suppose -4*h = -4*i + 3020, -m*i + 5*h + 2504 + 515 = 0. Is i a multiple of 42?
True
Suppose 0 = -4*q + 3858 + 818. Suppose 5*g + 694 = 3*w, -5*w + 0*g - 4*g = -q. Is w a multiple of 25?
False
Is 6 a factor of -16*(36/(-48) - 1230/8)?
True
Let g be 56 + ((2 + 22)/(-4) - -4). Let n = -14 + 85. Let y = n - g. Does 6 divide y?
False
Let w be 15/(-10) - 15/(-2). Suppose 2*d + 3 = -o, o + 1 = w. Does 11 divide d/(-6)*(-348)/(-8)?
False
Let w(v) = v**3 - 14*v**2 - 6*v - 16. Let k be w(-8). Let p = k + 953. Let x = 663 + p. Is x a multiple of 30?
True
Suppose -5*s - 31240 = -5*y, -2*y + 5406 = 5*s - 7076. Does 6 divide y?
True
Let o = -244 - -32599. Is o a multiple of 15?
True
Suppose 2*p + 372 = 27*j - 31*j, 10 = -2*j. Let t = p - -631. Is 6 a factor of t?
False
Let l(u) = 1409*u + 1245. Does 57 divide l(29)?
False
Let w be (-13)/((1 - 2)*1). Suppose -w*k + 4286 = -4177. Suppose -5*g - k = -12*g. Does 31 divide g?
True
Suppose 0 = 108*f + 7462 - 84504 - 341026. Does 79 divide f?
True
Suppose 0 = -4*q - 3*q +