oes 8 divide s?
False
Suppose 2*w = -2*p + 22008, 0 = -47*p + 48*p + 5*w - 11028. Does 141 divide p?
True
Suppose 644685 = 97*c - 650847. Is 126 a factor of c?
True
Let m(p) = -51*p + 20. Let c(x) = -50*x + 20. Let a(r) = 4*c(r) - 5*m(r). Does 14 divide a(4)?
False
Suppose 11*u - 1841 = 5320. Suppose -5*z + 805 = 3*h, 4*z + 4*h - 3*h = u. Suppose 4*c = -4*a + 188, 4*a - 4*c - z = -0*a. Does 22 divide a?
True
Let p be (2 - 3) + 312 + -27. Suppose -p = -2*i - 0*g - 4*g, 3*g + 117 = i. Does 11 divide i?
True
Is 8 a factor of -12 + (0/(-6) - -105)?
False
Let d be -24 - 0 - (4 + 0). Let u = -65 - d. Does 20 divide (-39)/12*u + 2/(-8)?
True
Let d be -3*(-3*(0 - -1) + 2). Suppose -2*m + 8 = 2*s, -d*s + 5*m + 2 - 22 = 0. Let t(h) = h**3 + h**2 - 2*h + 86. Is 8 a factor of t(s)?
False
Suppose u + 5*y = -3*u + 166, -5*u - 4*y + 203 = 0. Let v = u - -186. Is 15 a factor of v?
True
Suppose -1 - 27 = -7*q. Suppose 4 = 2*j - 2*v, 0*j + q*v + 6 = 3*j. Suppose j*t = t + 108. Is 27 a factor of t?
True
Let n(z) = -20 + 6*z + 3*z + 53 + 8*z**2 + 12. Is n(-7) a multiple of 12?
False
Let y be 1/4 - (-10)/(-40)*-23. Does 11 divide (3 - y) + 2*48?
False
Let y(m) = 657*m**2 + 4*m + 11*m + 4 - 92*m**2 - 8*m. Is 15 a factor of y(-1)?
False
Suppose -5*m = 515 - 540, -3*r + 5*m = -67814. Does 50 divide r?
False
Let z be ((-24)/6 - 1)/(-1). Suppose -1395 - 380 = -z*j. Let f = j + -66. Is 17 a factor of f?
True
Suppose -5664 = r - 13*r. Let n = r - 434. Is 16 a factor of n?
False
Let x = 44210 + -28896. Is x a multiple of 247?
True
Let x(s) = s**2 - 21*s + 36. Let u be x(19). Let b be u/6*3*-2. Suppose -b*f - 105 = -257. Is f a multiple of 19?
True
Let d(z) = 6*z - 10. Let x(m) = -80*m**3 + 2*m**2 + m - 2. Let w be x(1). Let v = -70 - w. Does 11 divide d(v)?
True
Let w be (178/(-267))/((4/54)/(-1)). Suppose 3*q - 8*j = -w*j + 1615, j + 2705 = 5*q. Is 30 a factor of q?
True
Suppose 0 = -9*r + 17*r - 24. Suppose 4*t + 4*l = 208, 4*l - r = 5*l. Is 5 a factor of t?
True
Let n = 51649 - 25309. Does 60 divide n?
True
Let r be 1875/20 + 1 + (-4)/(-16). Let u = 355 - r. Does 6 divide u?
False
Is (7 - 77/(-35))/((-2)/(-1735)) a multiple of 52?
False
Does 28 divide (48 - -11562) + 29 + -5?
False
Suppose -6*i + 5*i = 3*s - 66158, 0 = 2*s + 8. Is i a multiple of 130?
True
Suppose -16 + 8 = -8*g. Let a be -2*(-7 - 4/g). Is (-4 + 2 + 6)*a a multiple of 36?
False
Is 17 + (-603)/36 + 19715/4 a multiple of 27?
False
Suppose -4*j + 39808 = 4*n, j - 3767 = -2*n + 6178. Is j a multiple of 23?
True
Let i = -182 + 185. Suppose 3*u - 5*x = 780, 4*u - i*u = x + 260. Is 8 a factor of u?
False
Suppose 2*k - 18 = -120. Suppose -5*l = -4*r + 253, -3*r = 4*l - 7*l - 186. Let x = r + k. Does 3 divide x?
True
Let j = 696 + -678. Suppose -z = -4*m - 98, 15*z + 279 = j*z + 3*m. Does 94 divide z?
True
Is (-19)/((-7714)/(-1485612))*28/(-6) a multiple of 9?
False
Let f = -45048 + 91470. Is f a multiple of 26?
False
Let j(n) = n**2 + 8*n - 2. Let f(h) = h**3 + 8*h**2 - 7*h + 9. Let b be f(-9). Let p be j(b). Suppose 18*l - p*l = 847. Is l a multiple of 10?
False
Suppose 0 = 7*f + 24*f + 3441. Is (f/6)/((-3)/42) a multiple of 37?
True
Let d(t) = -22*t + 81643 - 81620 - 7*t. Suppose 15 + 10 = 5*g, -g + 17 = -3*c. Does 8 divide d(c)?
False
Suppose 3*q + 4*a - 6622 = 0, 14*a = 2*q + 17*a - 4413. Is q a multiple of 15?
False
Suppose 0 = -8*q - 10*q + 3132. Let x = -54 + q. Let p = x - 101. Is p a multiple of 4?
False
Let r = -13501 - -21901. Suppose 14*v + r = 24*v. Is v a multiple of 21?
True
Suppose 146*m - 623843 - 108201 = 0. Is 6 a factor of m?
False
Let h = -97 - -146. Suppose h*c = 46*c + 1503. Suppose c = 2*s + 7. Does 15 divide s?
False
Suppose 5*j + 2*z - 4*z - 10 = 0, -z = 0. Suppose -2*l = -4*p - 2662, -l - 5*p + 3982 = j*l. Does 10 divide l?
False
Suppose -2814*u + 2823*u - 9 = 0. Let h(a) = 57*a + 6. Let j(r) = 29*r + 3. Let z(o) = -4*h(o) + 9*j(o). Is 36 a factor of z(u)?
True
Let q be 7*(-6)/(-12)*2. Suppose -257 - 2046 = -q*g. Does 47 divide g?
True
Let y(x) = 2*x**3 - 16*x**2 - 15*x - 19. Suppose 2*d = 5*j + 19, -22 = -10*d + 8*d + 2*j. Does 16 divide y(d)?
False
Let b be (0/(-2))/(5*1/(-5)). Suppose -4*z - 4*r + 288 + 308 = b, 0 = -z - 5*r + 157. Is 8 a factor of z?
False
Suppose 12*y = 6*y + 6. Does 15 divide (-165)/((8/(-12) + y)*-1)?
True
Suppose 0 = 4*t - g - 1785, -5*t - 4*g + 913 = -1313. Let y = -158 + t. Suppose 4*o - y = 96. Is 19 a factor of o?
False
Suppose -6*p = -9*p - 6*w + 4236, 4266 = 3*p + w. Does 6 divide p?
False
Let u(q) = -43*q - 1448. Is 2 a factor of u(-73)?
False
Suppose -c + 3*y + 7 = 3, -5*c + 4*y - 35 = 0. Let p(a) = -a**2 - 11*a. Let q be p(c). Suppose q = 2*z - 63 + 9. Is z a multiple of 6?
False
Suppose 23*n - 324280 = -26*n + 5*n. Is 116 a factor of n?
False
Suppose n - 673334 = -9*o, -5*o - 17*n + 14*n + 374094 = 0. Is o a multiple of 37?
True
Suppose -5*o = -4*b - 156, 0 = -2*b - o + 5*o - 72. Let r = 47 + b. Suppose -f = -5*p - 181, 3*p = r*f + 2*p - 529. Is 44 a factor of f?
True
Let a = 19944 + -3912. Is a a multiple of 200?
False
Let a(q) = q**2 + 20*q - 16. Let o be a(-21). Suppose o*j + 2*w - 918 = 0, -j + 3*w + 182 + 5 = 0. Does 11 divide j?
False
Suppose 13*s - 866 = 135. Suppose -127 = -b - s. Does 13 divide b?
False
Let z(v) = -15*v + 6. Let x be z(5). Let a = -65 - x. Suppose -5*p - n = -103, n = a*p + 2*n - 83. Is 2 a factor of p?
True
Suppose 2*v = -6, 22*r + 4*v = 25*r - 39126. Is 9 a factor of r?
False
Let u be ((-38)/8)/(4/(-896)). Suppose -7*w + 532 + u = 0. Let f = -151 + w. Is f a multiple of 39?
False
Let o(t) = t**3 + 27*t**2 - 16*t + 57. Is 7 a factor of o(-9)?
True
Let p = 10712 - 9084. Does 4 divide p?
True
Let o = -483 + 485. Suppose -4*r + 4*n = -o*r - 228, -4*n = -3*r + 350. Is r a multiple of 4?
False
Let l(j) = 6*j - 34. Let b be l(11). Does 16 divide (b/(-3))/(9/(-81)*6)?
True
Let z(x) = -x + 2. Suppose 0*m - 2*m - 5 = 3*b, -3*b = -5*m + 19. Let k be z(b). Suppose -3*w - 3 = k*q - 131, 0 = w - 3*q - 38. Does 7 divide w?
False
Let q be (-22)/(-3) + 224/(-96). Let m(g) = 83*g + 89. Is m(q) a multiple of 42?
True
Let d(p) = 191*p - 171*p + 3*p**3 - 4*p**3 - 1 + 4*p**2 + 5*p**2. Is d(9) a multiple of 39?
False
Suppose -79*f + 40812 = -8563. Let h(a) = 7*a**3 - 2*a**2 + a. Let y be h(1). Suppose -y*k + f = -k. Is k a multiple of 13?
False
Let v = -24 + 153. Is v a multiple of 43?
True
Let x(p) = 87*p**2 + 5*p - 3. Let g be x(-3). Suppose -3*u = -8*u + g. Suppose -2*b + 0*r + 102 = -r, 0 = 3*b - 3*r - u. Is b a multiple of 17?
True
Suppose -54*s - 5726 = -56*s + 4*q, 0 = 5*q - 15. Is s a multiple of 19?
True
Let w be (-3)/3*-6*5. Let t = 90 + -100. Does 3 divide t/(-3)*144/w - 1?
True
Let x(m) = m**3 - 4*m**2 + m - 51. Let i be x(5). Suppose 5*o - 15 = 20. Is 8 a factor of 572/o - 6/i?
False
Let q be (4/(-5))/(2/(-5)). Let f be (q - 7 - -3)*(-1)/(-2). Is 2 a factor of f - ((-3)/6*-6 - 15)?
False
Let a(u) = -49*u - 79. Let c(s) = 24*s + 40. Let g(m) = -3*a(m) - 5*c(m). Is 13 a factor of g(2)?
True
Let p(x) = 3*x**2 - 7*x - 19. Let r(a) = -a - 1. Let m(i) = p(i) + 3*r(i). Is m(-7) a multiple of 39?
True
Suppose 17*r - 15*r - 908 = 0. Let k = r + -139. Does 9 divide k?
True
Suppose 8*a - 6*a = -14. Is (-16)/16*14*a a multiple of 7?
True
Let o(a) = a**2 + 15*a - 27. Let f be o(-16). Is 51 a factor of (-10)/2 + -6 + (-5104)/f?
False
Let l(w) be the second derivative of w**4/2 - w**3/6 + 7*w**2/2 + 12*w. Let y be l(5). Suppose 3*z - k - y = -0*z, 5*z - 2*k = 254. Does 12 divide z?
False
Let v be 4/(-6)*-825*-1. Let n be (0 + 0 + -1)/(110/v). Let o(b) = -b**3 + 5*b**2 + 15*b - 14. Does 24 divide o(n)?
False
Suppose -8*s - 31 = -55. Suppose 619 = 2*v - s*u, 4*u = 5*v + 46 - 1597. Is v a multiple of 9?
False
Suppose 14 = -10*i + 404. Let a(x) = -x**3 + 40*x**2 - 29*x - 117. Does 21 divide a(i)?
True
Let y(j) = 6*j**2 + 41*j + 24. Let i be y(-12). Let h = 0 + i. Is h a multiple of 9?
True
Let n(q) = q**2 + 4*q - 21. Suppose 6*k + 37 + 5 = 0. Let o be n(k). Suppose o = 2*p - 253 + 1. Is 42 a factor of p?
True
Suppose -s = s + 5*d - 125, s = d + 52. Suppose -5*b + s = 295. Is 6/b - 217/(-8) a multiple of 9?
True
Let i = -658 + 256. Let c be -3 - (1135/15 - (-1)/3). Let x = c - i. Is x a multiple of 25?
False
Let f = 0 - 0. Suppose -6*l + 288 = 24