1*g. Let l be b(2). Does 28 divide o(l)?
True
Let v(s) = 6964*s + 3782. Does 15 divide v(7)?
True
Let n(y) = y**2 + 1. Let p(m) = 3*m**2 - 10*m + 26. Let q(z) = 4*n(z) - p(z). Let c be q(-12). Suppose u + g = 8, -g + c*g = 0. Is u a multiple of 8?
True
Suppose -252*f = -6583678 - 5167586. Is f a multiple of 29?
True
Let z(t) = -5*t + 132. Let b be z(26). Let c(o) = 40*o**2 + 8*o - 15. Does 23 divide c(b)?
True
Let j(q) = -q**2 - 15*q + 33. Let d be j(-15). Suppose -2*o - 10 = f + 2*o, -3*o = 5*f + d. Let p = 54 + f. Does 12 divide p?
True
Let n = 1019 + -782. Suppose 3*i + 3*l - n = 0, -4*i + 0*i - 5*l + 312 = 0. Is 4 a factor of i?
False
Is 17 a factor of (-11)/(-88)*0 - (-46785 + 5)?
False
Let s = -150 - -156. Suppose -800 = -s*y - 4*y. Is y a multiple of 12?
False
Let z = 9385 - 833. Does 27 divide z?
False
Suppose -4*h + 377 = 57. Suppose 5*s = -s + 162. Suppose -s*v + 31*v - h = 0. Is 20 a factor of v?
True
Let m = -1163 + 1164. Let l(d) be the third derivative of 41*d**6/120 - d**5/60 + d**4/24 - d**3/6 + d**2. Is 10 a factor of l(m)?
True
Let x(d) = 27*d**3 + 7*d**2 + 6*d - 18. Let t = 121 + -118. Does 6 divide x(t)?
True
Suppose -2*n - 10 = 0, 4*w - 53*n + 48*n = 54625. Does 91 divide w?
True
Let n be (0 + -1)/((-532)/(-105) + -5). Is 6 a factor of (20/n)/((-14)/1071)?
True
Let h = -268 + 254. Let i(p) = -32*p + 72. Is 13 a factor of i(h)?
True
Let w(v) = 14*v - 599. Does 5 divide w(70)?
False
Let c(p) be the third derivative of -17*p**7/420 + p**5/120 - 31*p**3/6 - 37*p**2. Let y(u) be the first derivative of c(u). Does 4 divide y(-1)?
False
Let g be 5/10*(17 + 1). Let a = -46 + g. Let k = a + 67. Is k a multiple of 3?
True
Let h(w) = 10 + 0 + 2 - w + 0. Let d be h(8). Does 37 divide (-111*(-8)/48)/(2/d)?
True
Let s be 82/2 + (-3 - -2). Let x be s/(2/(-50)*-2). Let j = x + -273. Is 25 a factor of j?
False
Let b(x) = -x**3 - x**2 + 7*x + 3. Let c(l) = l**3 - 3*l**2 - 5*l - 7. Let a be c(5). Suppose -a = 2*o + o. Is b(o) a multiple of 31?
False
Suppose -f - 4*f + 3400 = 3*n, -3*n + 3365 = -2*f. Suppose 2*z = 4*w + 20, 3*w + z + 11 = -9. Is 18 a factor of (21/9 - 3)*n/w?
False
Does 176 divide (-17)/(255/4600)*804/(-16)?
False
Suppose 3*h - 4*z = 14 + 47, 5*z + 65 = 3*h. Does 27 divide 25*(74/16 - h/(-40))?
False
Suppose 56*w - 18 = 53*w, -38846 = -4*u + w. Is u a multiple of 84?
False
Let h(n) be the first derivative of -n**4/4 + n**3/3 - 3*n**2/2 + 13*n - 5. Suppose w + 4 = 4. Is 13 a factor of h(w)?
True
Let b(w) = -w**3 + 9*w**2 - 11*w - 17. Let g be b(7). Suppose g*i + 341 = u, 0 = 2*u + 5*i + 195 - 851. Is 41 a factor of u?
False
Suppose -35 = -18*n + 11*n. Suppose 2*l - 4*r + 832 = n*l, 2*l = 3*r + 532. Is 16 a factor of l?
True
Suppose -3*w = -5*w - 4, -14 = -5*j - 3*w. Let n(i) = i**3 - 15*i**2 + 17*i - 16. Let h be n(14). Suppose 4*a = u - 62, j - h = -u - 4*a. Is 14 a factor of u?
True
Suppose 4*q + 49 - 37 = 0. Is 29 a factor of q/21 + (-43857)/(-63)?
True
Let p(a) = 720*a**3 + 3*a**2 + 12*a - 14. Suppose -4*u - 8 = -4*j, 4*j - 2*u + 17 = 23. Does 17 divide p(j)?
False
Suppose c = p - 9, 2*p - 3*c - 38 = -2*p. Let v(y) = 6*y + 31. Let z be v(p). Suppose -z + 16 = -3*k. Does 8 divide k?
False
Let g = -151 - -154. Let o(p) = 53*p**2 + 5*p - 4. Is 61 a factor of o(g)?
True
Let a(j) = 60*j**2 + 23*j - 810. Is a(15) a multiple of 237?
True
Let o = -100 + 294. Let l(v) = 23*v**2 + 4*v + 2. Let p be l(-2). Suppose -10*g = -o - p. Is g a multiple of 14?
True
Is 80 a factor of (-16 + (-109053)/(-9))*3?
False
Let u(v) = -v**3 + 10*v**2 + 33*v + 8. Let f be u(10). Let o = 721 - f. Is 17 a factor of o?
False
Let c(o) = 7*o**3 + 23*o**2 - 8*o**3 - 14*o + o - 6*o + 20. Is 86 a factor of c(22)?
True
Let b(u) = -10*u**2 - 754*u + 44. Is b(-74) a multiple of 40?
True
Suppose 5*h + o - 18942 = 5748, 9854 = 2*h - 4*o. Is 73 a factor of h?
False
Suppose 3*t = 9*t + 984. Let v = t - -299. Does 4 divide v?
False
Suppose -4*l = -5*d + 893, 2*l = -2*d + 6*l + 362. Let t = d - 175. Is 2 a factor of t?
True
Does 5 divide (627/1 + -2)*(71 - 69)?
True
Let b(x) = -3*x**2 + 127*x + 912. Does 31 divide b(39)?
True
Let v(r) = r**2 - 4*r - 5. Let s be v(5). Suppose s = -p + 9 + 28. Let z = p + 20. Is z a multiple of 17?
False
Let w(x) = x**3 + 15*x**2 - 2*x - 5. Let v(g) = 2*g**3 + 5*g**2 + 2*g. Let l be (-3 - -2) + (3 - 5). Let u be v(l). Is w(u) a multiple of 10?
False
Let w = 6881 + -376. Is 10 a factor of w?
False
Does 16 divide 4 - 50724/(-30) - (-12)/10?
True
Let q(c) = -c**3 + 21*c**2 - 26*c + 32. Suppose 7*f + 71 = 176. Is q(f) a multiple of 34?
False
Let p(b) = 2*b + 11. Let c(y) = y**3 + 6*y**2 + 7*y - 1. Let z be c(-3). Let k be p(z). Let m = 84 + k. Does 15 divide m?
True
Suppose 4*q + b - 4*b = -1, b = 2*q - 1. Let t be (2 + -4)*-151 + q + 1. Suppose 0 = -4*j - k + 389, -3*j - 3*k - 20 = -t. Does 14 divide j?
True
Let t(w) = 4*w**2 - 8*w + 7. Let c(y) = -y**2 - 9*y - 13. Let z be c(-6). Let r be t(z). Let d = -52 + r. Does 5 divide d?
True
Let d be (8/28)/(1/7). Suppose -92 = d*p - 402. Suppose -2*i = -7*i + p. Is 4 a factor of i?
False
Suppose 347 = a + 85. Suppose -6*u - o = -9*u + 730, -u + 5*o + a = 0. Is u a multiple of 31?
False
Is 4 a factor of -1*((-1)/(8/274) - 45/(-36))?
False
Let i(x) = x**2 + 178*x + 1145. Is i(129) a multiple of 167?
True
Suppose -259*p + 255*p = -3*k + 29372, -k = 4*p - 9828. Does 49 divide k?
True
Suppose -u - 10392 = -13*u + 47136. Is 94 a factor of u?
True
Let v be 7/(-28) + (-295)/4. Let z = v + 349. Is z a multiple of 11?
True
Suppose -649 = 11*y + s - 4071, -5*y - 3*s = -1558. Does 2 divide y?
False
Is 5*(-13 + 47532/30) a multiple of 66?
False
Suppose -n + 3*d + 70 = 0, 5*n - 5*d - 380 = -0*d. Suppose 6*i - 415 = -n. Let j = -21 + i. Is 10 a factor of j?
False
Let u(b) = b**3 + 4*b**2 + 2. Let f be u(-4). Suppose -f*l - 67 = -3*g, -3*l = g - 2 - 13. Let a = 32 + g. Is a a multiple of 22?
False
Let x be 4 + -2 + 660/(0 - 5). Let o = 260 + x. Is o a multiple of 10?
True
Let p(q) = q**2 - 9*q + 13. Let z be -1 - 1 - 1 - (-180)/20. Let m be p(z). Let x = m - -31. Does 13 divide x?
True
Does 2 divide 1/(19/(-4769))*-13?
False
Suppose -2*n = -7*n + 20. Suppose q - n = 0, 2*q - 6*q = 5*t - 231. Is t a multiple of 20?
False
Suppose 18*t + 3*o = 20*t - 21, -4*t - o = -77. Is (72/10)/(t/2580) a multiple of 43?
True
Let z be (208/65)/((-6)/15). Let q(s) = -38*s + 46. Is 35 a factor of q(z)?
True
Suppose 20*h - 28 = 13*h. Suppose -h*u + 245 = 3*u. Suppose -u*m = -34*m - 36. Is m a multiple of 6?
True
Let b = 279 + -39. Let m = b + -109. Is 81 a factor of m?
False
Suppose 0 = -13*q + 3*q + 210. Let f = 41 - q. Suppose 4*d - f = 0, -5*l + 93 = 5*d - 957. Is l a multiple of 40?
False
Let f(m) = -61*m**2 + m + 1. Let k be f(-1). Let l = k + 69. Suppose 4*g + l = 248. Is 10 a factor of g?
True
Suppose -2*t = -m + 4 - 45, -46 = -2*t - 4*m. Let o = -95 + t. Does 5 divide (-7)/(14/(-8))*o/(-8)?
False
Let b(h) = -12*h + 1. Let l be b(-1). Let k = l + -8. Suppose -d + 275 = k*z, z + 3*d = -3*z + 220. Is 11 a factor of z?
True
Does 11 divide (10/65)/(111/7851363)?
False
Let y = -467 + 837. Suppose 93*b - 95*b + y = 0. Is b a multiple of 6?
False
Let w be (-3 + -3 - -7)*6. Suppose -1735 = -5*z - 275. Suppose 20 = w*n - z. Is n a multiple of 15?
False
Let g(z) = z**3 - 8*z**2 - 2*z + 8. Let b be g(8). Let j = b - -10. Suppose -j*v - 32 = -168. Is v a multiple of 10?
False
Suppose -2*z + 41 = k + 16, -59 = -3*k - 2*z. Let r(o) = -13*o**2 + 327*o - 2. Let i be r(25). Let u = k + i. Does 13 divide u?
True
Let g(w) = w**2 + 7*w + 9. Let f be g(-6). Suppose 0*p - 3*x = 4*p + 9, f*p + 3*x = -9. Suppose -b - 395 = -5*d - 146, p = 2*d - 3*b - 97. Is 9 a factor of d?
False
Does 7 divide 15584/2 + (28 - 25)/((-6)/16)?
True
Suppose 35*z - 41*z = -144. Suppose -5*n = -2*m - 2769, n + z*m = 19*m + 570. Is n a multiple of 37?
True
Suppose -37*g - 6 = -40*g. Let b = 2 - g. Suppose b*t - 539 = -7*t. Does 11 divide t?
True
Let s = -492 + 464. Let t(v) = -v**3 - 29*v**2 - 31*v - 2. Is t(s) even?
True
Suppose -3*l = -7*l + 1064. Is l/5 + 60/75 a multiple of 27?
True
Is (-9 + 252/54)/((-2)/12) a multiple of 4?
False
Let j(t) = -t**2 + 13*t + 19. Let n be j(13). Let k = n - -55. Suppose -7*o + 4*l + 99 = -2*o, 4*o = -2*l + k. Is o a multiple of 6?
F