/u)/1*-2?
False
Let a(w) = -368 + 161 + 179 + 14*w. Let k = -14 - -21. Is 14 a factor of a(k)?
True
Suppose 26*f - 19 = 215. Suppose -3*o - 6 = 0, 0 = f*g - 6*g + 5*o - 1160. Does 39 divide g?
True
Suppose 0 = 33*k + 19848 - 82251. Let u = k + -1341. Is 50 a factor of u?
True
Let d = 2 + 3. Suppose -4*t + 4*h + 24 = 0, h - d*h - 18 = -t. Suppose 69 - 1 = t*s. Is 4 a factor of s?
False
Does 6 divide (-130)/(-13) - 18 - -14 - -2028?
True
Let r(i) = 64*i**3 + 1 - i - 2*i**2 + 0*i**2 + 0 + 1. Let y = 573 + -572. Is 34 a factor of r(y)?
False
Suppose 0 = 3*a - 78 - 69. Suppose 0*q = -7*q + a. Suppose 5*z - 5*g = -q + 72, 5*z + 3*g - 105 = 0. Is z even?
True
Suppose -68*t + 74*t + 5404 - 15046 = 0. Is t a multiple of 10?
False
Let j(x) be the second derivative of 0 - 2*x**2 - 37*x - 77/6*x**3. Does 6 divide j(-2)?
True
Suppose 55*x - 60 = 24*x + 33. Suppose d + 0 = 5. Suppose 0 = x*t - 5*t - 2*v + 132, 4*v - 333 = -d*t. Is t a multiple of 9?
False
Suppose 63638 = 3*g + 4*j, -3*g + 23222 + 40400 = -4*j. Is g a multiple of 78?
False
Let f(a) = a**3 + 25*a**2 - 381*a - 48. Is 9 a factor of f(-30)?
False
Let l(s) = 66*s**2 + 350*s + 1431. Does 6 divide l(-4)?
False
Let b = -62 + 65. Suppose p + 18 - b = 3*s, 3*s = 3*p + 21. Is (-93 - -1)/(p - -1) a multiple of 10?
False
Let d(v) = 1796*v - 1329. Is 65 a factor of d(10)?
False
Let o = 382 - 368. Suppose 0 = o*r - 714 - 3066. Is r a multiple of 18?
True
Suppose -13*h + 172 = -2909. Suppose -9*g + 12*g + 3*v - h = 0, -391 = -5*g - 4*v. Is g a multiple of 15?
True
Let i = 37 - -407. Suppose 148*w - i = 145*w. Is 22 a factor of w?
False
Is 22 a factor of -8*-5*(-693)/140*95/(-3)?
True
Let u(j) = j - 21. Let s be u(21). Suppose s = -d - 2*f + 4, 0*d - 2*d + 4*f + 8 = 0. Suppose 26 - 2 = d*y. Does 4 divide y?
False
Let c be -3*3 + 41 + -34. Does 2 divide ((-2)/10)/((14/1505)/c)?
False
Let y(i) = 281*i**2 + 9*i - 4. Does 13 divide y(1)?
True
Let f be (3 - 7 - -342) + 0. Suppose 0 = -25*h + 2588 - f. Is 6 a factor of h?
True
Suppose w = 193 + 1657. Let r = w - 1113. Is r a multiple of 14?
False
Let s(g) = 28*g**3 - 763*g**2 + 36*g - 8. Is s(29) a multiple of 71?
True
Suppose 2*h + 2060 = 6*b, 100*h - 95*h + 5 = 0. Does 14 divide b?
False
Let n(y) = 4*y + 2. Let p be n(0). Let b(x) = x**2 + 2. Let r be b(p). Is 134/2 + -6 + r + -1 a multiple of 11?
True
Suppose 4*f = 3*z + 2*f + 363, -2*f - 129 = z. Let c = z + 264. Let v = c + -15. Is 16 a factor of v?
False
Let j(f) = 2*f**2 + 7*f - 12. Let u be j(4). Let n = u + -38. Does 10 divide n?
True
Does 11 divide (-11 + 0)/((48/(-144))/((-6932)/(-12)))?
True
Suppose 15 = k + k + s, -5*k + 4*s + 31 = 0. Suppose g - 71 = -k. Suppose -413 = -9*n + g. Is 7 a factor of n?
False
Let w(h) = 8177*h**2 - 563*h + 1117. Does 169 divide w(2)?
False
Let t be 139 + -1 - (1 + -2). Let w be (5 + -13 + 12)*137/2. Let i = w - t. Is 45 a factor of i?
True
Let i(v) = v**3 + 7*v**2 + 6*v + 5. Let a be -3 + 1 + 0 + -1 + 3. Let w be -2 + (-2)/1 - a. Is 29 a factor of i(w)?
True
Does 9 divide 1*-3368*(-736 + 730)?
False
Let w(y) = -y**3 - 23*y**2 + 23*y - 56. Let u be w(-24). Does 10 divide 4282/8 - 2 - (-8)/u?
False
Let p(m) = 1226*m**3 - 6*m**2 - m + 18. Is 200 a factor of p(2)?
True
Let l be -3 + (7 + -1)*4/8. Suppose 3*s - 7*k + 4*k - 615 = l, -5*s - 3*k + 1057 = 0. Does 11 divide s?
True
Let l be (-2)/((-50970)/12745 + 4). Does 14 divide (-124)/(-14) + -9 + l/(-7)?
True
Let t = -13 - -45. Suppose -622*p + 617*p - i + 98 = 0, -p + 31 = 4*i. Suppose 0 = p*x - 17*x - t. Does 13 divide x?
False
Let t(o) = -83*o - 57. Let b be t(-3). Suppose 0 = -2*a + 14 + b. Does 22 divide a?
False
Let i = -419 - -25225. Is i a multiple of 40?
False
Let x(k) be the second derivative of 0 - 1/2*k**3 - 4*k - 2*k**2 + 1/3*k**4. Is 12 a factor of x(-2)?
False
Let w be ((-48)/10)/(6/(-20)). Let l = 269 - 249. Suppose -l*a = -w*a - 68. Is 6 a factor of a?
False
Let a = -953 - -2843. Is 64 a factor of a?
False
Let d = 57199 - 37298. Is 7 a factor of d?
True
Let j(b) be the second derivative of -b**3/2 + 69*b**2/2 - 2*b. Let r be j(16). Is 24 a factor of ((-1695)/r)/(-1) - (-12)/42?
False
Suppose -4*v = 3*g - 44914, v = -68*g + 66*g + 11226. Is v a multiple of 9?
False
Suppose -263250 = -385*k + 376*k. Is k a multiple of 45?
True
Suppose 33*l - 27*l = 104664. Suppose -l = 59*o - 73*o. Is o a multiple of 14?
True
Let i(d) = d**3 + 6*d**2 - 15*d + 11. Suppose 3*q = 5*q - 5*o + 31, -q + 5*o - 23 = 0. Let a be i(q). Is 11 a factor of (a + (-78)/9)/((-9)/189)?
False
Suppose -788*x + 3 = -789*x, 0 = -h - 5*x + 5592. Does 63 divide h?
True
Let d be ((-2)/(-9))/((-2)/(-18)). Suppose -b - d = -18. Does 8 divide b?
True
Let g be 75/(-6)*(-1)/((-5)/(-4)). Let d be (1 - g)/3*16/(-6). Let q = d + 37. Does 9 divide q?
True
Let c(k) = k**3 + 21*k**2 - 97*k - 32. Let z be c(-24). Suppose 0*d + d - z = -4*s, 2*s = -d + 572. Does 8 divide d?
True
Let z be (2/(-4))/((-35)/(-560)). Does 30 divide 263 - 14*z/16?
True
Suppose 6*l - l = 0. Let g = -304 + 308. Suppose -3*z = -s + z + 12, l = -5*s - g*z + 180. Does 4 divide s?
True
Let g be 5 + ((-11403)/(-14))/((-3)/(-4)). Let i = -530 + g. Does 51 divide i?
True
Let a = 156 - 151. Suppose a*b = 5*p - 1130, -4*p + 1122 = p - b. Is 9 a factor of p?
False
Suppose b - k = 79, -k + 235 = 4*b - 91. Does 7 divide b?
False
Suppose 15*j = 9*j + 15540. Suppose 2882 = 16*y - j. Does 45 divide y?
False
Let y(x) = 12*x**2 + x - 1. Let w be y(-1). Let t(o) = -o + 6 - o**3 + w + 2*o. Is 4 a factor of t(0)?
True
Let i be -1 - 0 - (-101 + (0 - -3)). Suppose 100*g - 444 = i*g. Is g a multiple of 7?
False
Let u(z) = 98*z**2 + z + 1. Let l be u(-1). Let i = -82 + l. Is i a multiple of 3?
False
Suppose -12*i + 934440 = 18*i + 48*i. Is 5 a factor of i?
True
Let z = 82747 + -40867. Is 12 a factor of z?
True
Suppose 87*c + 10 = 92*c. Suppose 2*b = -c*b + 360. Is b a multiple of 6?
True
Let u be (-10)/(-15)*(-10 + 4 + 9). Let p(j) = 93*j - 25. Is p(u) even?
False
Suppose -5*s - 5*o = -12 - 23, s = -4*o + 10. Suppose 784 = 8*w + s*w. Does 12 divide w?
False
Let f = -59 + 83. Suppose 5*q + 2*o + 650 = 0, 0 = 20*q - 19*q - o + 137. Is (-4*7)/(f/q) a multiple of 44?
False
Let i be (-1)/((-8 + 6)*(-2)/(-20)). Suppose 3*n - i*y = 1041, -6*n + 10*n - 3*y = 1377. Is 27 a factor of n?
False
Let n(l) = 156*l - 1428. Does 17 divide n(34)?
True
Let t(c) = -c + 22. Let u be t(27). Is 5 a factor of (-282)/(-15) - 1/u?
False
Does 109 divide (14 + 512/(-24) - -7)*(1 - 71614)?
True
Let o = -112 + 110. Is 16 a factor of ((-128)/(-20))/(o/(-370))?
True
Let u = 7892 + 10512. Is u a multiple of 13?
False
Suppose -5*u - 5*f = -3*u - 334, 3*u - 5*f = 501. Let p = u + -144. Suppose -191 + p = -2*i. Is i a multiple of 12?
True
Suppose 0 = -5*m + 25, 0 = b + m - 1 - 26. Let v = -248 - -350. Suppose -h = -v + b. Is h a multiple of 20?
True
Is 99 a factor of (-9 - (-100373)/63) + (-10)/45?
True
Let h(r) = r - 15. Let s be h(9). Let g be 4*s/(-3) - (-2 + 1). Suppose p - g = -0*p + w, -2*w - 8 = 0. Is 3 a factor of p?
False
Let p(x) = -16*x - 142. Let j be p(-9). Does 6 divide (-13)/(91/j)*-147?
True
Let q(m) be the first derivative of -2*m**3/3 + 31*m**2/2 + 18*m + 64. Suppose 0 = -18*l + 11*l + 98. Is q(l) a multiple of 6?
True
Suppose -6*r = 17*r - 6*r - 413763. Does 61 divide r?
True
Let x(a) = -a**3 - 72*a**2 - 138*a + 324. Does 228 divide x(-72)?
True
Suppose 0 = -6*s + s - 20. Let n(w) = -w**2 - 5*w. Let c be n(s). Suppose -15 - 37 = -2*t + c*k, 0 = -t + 4*k + 16. Does 12 divide t?
True
Suppose 55460 = 3*i + 4*m, -899*m + 55435 = 3*i - 900*m. Is 44 a factor of i?
True
Let f = 10169 + -9639. Is 36 a factor of f?
False
Suppose -12*r + 8 = -4*r. Let g be -578*r/(-10) + 3/15. Suppose 2*j + 5*d - 58 = 0, 2*j - 24 = d + g. Does 7 divide j?
False
Let v(t) = 2*t**2 - 6*t - 57. Let l be v(-5). Suppose 76 = -22*n + l*n. Is 13 a factor of n?
False
Let q be 10/14 + (-38)/(-133). Let h be q*6/(-2) + 4. Is 1/1 - h - -103 a multiple of 24?
False
Let g(r) = -8*r - 242. Let k be g(-18). Let l = k + 1313. Is l a multiple of 61?
False
Let v(t) = -5*t**3 + 16*t**2 + 19*t + 35. Let f(p) = 7*p**3 - 16*p**2 - 19*p - 34. Let a(b) = -3*f(b) - 4*v(b). Is 19 a factor of a(-16)?
True
Let r = 457 - -544. Let l = r - 629. Is l a multiple of 3?
True
Let p be (