Is s a multiple of 8?
False
Let y = 170 + -96. Let g = y + -53. Is 7 a factor of g?
True
Let l be (-37 + 36)/(1/6*-2). Suppose 0 = 3*z - 5*r - 255, -5*z + 406 = r - l*r. Is 5 a factor of z?
True
Let s be (-5)/(-15) + ((-166)/(-6) - 2). Suppose 2*q + 3*q = -3*n - 62, 0 = -4*q - 4. Let m = s + n. Is m even?
False
Suppose 0 = 4*y + 4*n - 3*n - 25, 5*n + 1 = y. Let d = -6 + 38. Suppose d = u + y. Is u a multiple of 26?
True
Suppose 2*y = 3*h + 49, -9 - 6 = -3*h. Let x = y - -28. Is 9 a factor of 15/(-2)*(-72)/x?
True
Let v(s) = 2*s**2 - 26*s - 56. Is v(-7) a multiple of 5?
False
Suppose 2*n - 29 = -5*d + 3, -d = -3*n + 14. Let x(s) be the first derivative of s**3/3 - 5*s**2/2 - s - 1. Does 5 divide x(n)?
True
Let m be 1/4 + (-315)/(-36). Is 7 a factor of (-99)/(-7) + m/(-63)?
True
Let f(g) = -g**2 - 7*g. Let v be f(-6). Let z be (2/v)/((-15)/(-90)). Suppose 0 = z*n + n - 66. Does 8 divide n?
False
Let m(z) = -52*z + z**2 - 2*z**2 - 2 - 2 + 65*z. Is m(5) a multiple of 21?
False
Let v(l) be the third derivative of l**5/12 + l**4/8 + l**3/3 - l**2. Let b(d) be the first derivative of v(d). Is 16 a factor of b(8)?
False
Suppose 27*i - 930 = 22*i. Does 31 divide i?
True
Suppose 3*f - 18 = 48. Is 5 a factor of (-4)/(-22) - (-326)/f?
True
Let y(a) = a**3 - 36*a**2 - 51*a - 19. Does 89 divide y(38)?
False
Suppose -4*m + 11323 = 52*b - 57*b, m + b = 2842. Is m a multiple of 18?
False
Let o(z) = -2*z - 1. Let r be o(3). Let m(q) = q**3 + 6*q**2 - 8*q - 2. Let w be m(r). Let y = w - -2. Does 7 divide y?
True
Let a(d) = -11*d - 1 - 10*d + 2*d. Let p be a(-4). Is (-36)/(-27)*p/2 a multiple of 20?
False
Does 7 divide ((-540)/(-126))/((-4)/(-392))?
True
Suppose 0 = 16*h - 13*h - 3. Is 38 a factor of 42 - (h - (3 - 0))?
False
Let p(o) be the first derivative of -o**4/4 + o**3 + 3*o**2 - 4*o - 4. Let c be p(4). Suppose -5*v = -c*v - 22. Is 22 a factor of v?
True
Does 18 divide ((-10710)/(-175))/(3/30)?
True
Let b(p) = 10 - 6 - 10 - p. Let u be b(-9). Suppose -u*j = -j - 40. Does 10 divide j?
True
Suppose -5*s = -3*y - 0 - 24, 16 = 3*s - y. Suppose -699 = -s*g - 93. Is 19 a factor of g?
False
Let k be ((-13)/4)/(1/(-8)). Suppose s - 5*p - k = 0, -2*p + 5 - 1 = 0. Does 6 divide s?
True
Let w be (66/(-9))/((-2)/3). Suppose -5*d + 0*d + 3*f + 19 = 0, -3*d = -2*f - w. Let q = 55 - d. Is q a multiple of 10?
True
Is (139/(-5) - -1)/((-4)/10) a multiple of 3?
False
Let q(a) = -a**3 + 4*a**2 + 4*a - 3. Let c(r) = -r**3 - 2*r**2 - 7 + 2*r + 6 + 2. Let p be c(-3). Is 12 a factor of q(p)?
False
Suppose 0 = 6*p + 10 + 2. Does 2 divide 2 + 4*(-1)/p?
True
Let s(y) = -5*y + 29. Let h be -3 + (-4)/16 + (-99)/(-12). Is s(h) a multiple of 4?
True
Let f be -29*4/(-7 - -3)*1. Suppose 3*h - 7 - f = 0. Does 2 divide h?
True
Let y = -81 + 121. Suppose -3*x - y = -820. Is x a multiple of 31?
False
Let x(m) be the third derivative of -m**4/24 - m**3/6 - 8*m**2. Let b be x(-4). Suppose 4*g - b*g - 24 = 0. Is g a multiple of 10?
False
Suppose 0 = -4*j + 6 + 6. Is 8 a factor of j/2 + 154/4?
True
Let i = 3 + -3. Let a(d) = -d**2 - d + 29. Let k be a(i). Suppose -119 = -5*r - k. Is 18 a factor of r?
True
Suppose -5*d - 4*m + 8303 = 0, -5*d - 3*m + 937 = -7369. Is d a multiple of 14?
False
Let o(k) = -k**3 - 3*k**2 - 2*k - 2. Let a be o(-3). Let w be -2*(78/a - 2). Let y = 52 + w. Does 17 divide y?
True
Suppose -2338 = -10*l + 122. Does 6 divide l?
True
Let z be (-3798)/(-24) - (-2)/(-8). Let u = 309 - z. Is 14 a factor of u?
False
Let q = 100 + -96. Does 2 divide q?
True
Let b(y) = y**2 + y - 4. Let m be b(0). Let n be (4/3)/(m/12). Does 3 divide (-194)/(-18) + n/(-18)?
False
Suppose 4*l - 5*a - 273 = 77, -3*a - 261 = -3*l. Is l a multiple of 85?
True
Let x(l) = l**3 - l**2 - 2*l + 4. Suppose 0 = 2*o - 5*o. Suppose o*j - 2*j = -6. Does 4 divide x(j)?
True
Let r = -17 - -22. Suppose -l + r*l + 115 = -5*n, 3*n - 15 = 0. Let s = l - -70. Is 11 a factor of s?
False
Suppose 6 = -21*j + 216. Does 2 divide j?
True
Let n(j) = -j**3 - 8*j**2 - j + 5. Let c be n(-8). Is 8 a factor of 0 + (-4 - c)*-1?
False
Let z = -3 - -20. Suppose 3*g + z = 4*k + 2, 0 = 5*k + 5*g - 10. Suppose 4*c = k*d + 353, 3*d + 439 = c + 4*c. Does 20 divide c?
False
Suppose 5*h + x - 561 = 0, -3*h - 5*x + 0*x = -341. Is h a multiple of 8?
True
Let h(g) = 4*g**2 + 5*g - 57. Is h(-11) a multiple of 20?
False
Let r(z) = -39*z**2 + 2*z - 1. Let c be r(1). Let b = 87 + c. Is b a multiple of 23?
False
Suppose -4*x = 4 + 4. Does 10 divide 43*(5 + -2 + x)?
False
Suppose 3*w - 542 = s - 200, -5*s = 2*w - 245. Let f(d) = 8*d**3 - 3*d**2 - 4*d - 3. Let m be f(-2). Let x = w + m. Does 11 divide x?
True
Let j be 4/5*20/8. Suppose 0 = -j*z + 97 - 1. Let u = z + 18. Is 17 a factor of u?
False
Suppose 13*d - 15*d = -6. Does 5 divide (d + (-4 - 14))*-1?
True
Suppose 26 - 122 = s + 2*r, -5*s - 2*r - 480 = 0. Is -4 + (-5)/(5/s) a multiple of 13?
False
Suppose 2 = -2*s, 6*v - 2*s = v + 42. Is (-532)/(-8) - 4/v a multiple of 14?
False
Let l(u) = -4*u - 4. Let b be l(-3). Let m(j) = 3*j**2 - 6*j + 2. Is m(b) a multiple of 37?
False
Let u(j) = 14*j**2 + 4*j - 7. Let g(w) = -5*w**2 - w + 2. Let n(t) = 11*g(t) + 4*u(t). Is n(2) a multiple of 8?
True
Let y(f) = 216*f**2 + 27*f + 55. Is y(-2) a multiple of 22?
False
Suppose 2*m + 4*k - 128 = 0, 2*k + 55 = -3*m + 267. Does 71 divide m?
False
Let i(a) = -a**3 + 28*a**2 + 7*a + 8. Is i(28) a multiple of 51?
True
Let r(k) = 5*k**3 - k**2 - 17*k + 101. Does 44 divide r(5)?
True
Let r(f) = 2*f**2 - 4*f - 7. Let t be r(7). Suppose 4*z = 4*i - 17 - t, -z = 5*i - 76. Is i a multiple of 9?
False
Suppose -3*y + 3*h = -1026, 0 = 2*y + 5*h + 96 - 752. Suppose 6*u - 202 = y. Does 9 divide u?
True
Let s be 2 - 0*(0/3 - -1). Suppose 2*a = -s*a + 224. Is a a multiple of 14?
True
Suppose 9*t = 5*t. Suppose 5*v - 48 - 42 = t. Does 11 divide v?
False
Let r = -71 + 155. Does 28 divide r?
True
Suppose -4 - 1 = -o. Suppose v - 230 = -o*i - 3*v, -4*i - v = -195. Does 5 divide i?
True
Suppose -5*q + 44 = 4*g - 1, 48 = 3*g - q. Suppose z + 4*m = -24, -g = 5*z - m - 0. Let v(i) = -i**3 + 4*i + 6. Is 18 a factor of v(z)?
True
Let m = 75 - -565. Does 20 divide m?
True
Let m = 130 - 63. Suppose 5 + m = 2*b. Is 9 a factor of b?
True
Let k(t) = t - 19. Let z be k(21). Suppose 5*i + 0*r - 251 = -z*r, -196 = -4*i - 4*r. Is i a multiple of 9?
False
Suppose -386 - 1358 = -8*n. Is 19 a factor of n?
False
Let w(z) = -10*z - 26. Is w(-3) a multiple of 2?
True
Let h be 26240/144 + 32/18 + -2. Let v = -62 + h. Does 12 divide v?
True
Let w(m) be the first derivative of m**4/4 + 4*m**3/3 - m**2/2 + 145*m + 15. Is w(0) a multiple of 28?
False
Suppose -i - 4*g = 171 - 1371, 0 = -5*g. Is 25 a factor of i?
True
Suppose 2*m - 5*o + o = -4, 3*m - 5*o + 10 = 0. Let a = m + 13. Suppose j + 38 = a*j. Is j a multiple of 8?
False
Suppose -33*a + 3000 = -8*a. Is 3 a factor of a?
True
Suppose -4*q + 574 = -1062. Does 5 divide q?
False
Suppose -8*n - 18 = 46. Does 14 divide ((-42)/(-12))/((-2)/n)?
True
Let r = 333 + -94. Does 69 divide r?
False
Let s = -15 - 0. Let r = -9 - s. Let d(f) = -f + 18. Is d(r) a multiple of 12?
True
Let c(v) = -2*v**3 + 46*v**2 - 27*v + 32. Is 7 a factor of c(22)?
True
Let y(r) = -1 + 1 - 1 + 7*r + 7. Let i be y(3). Suppose -3*x + i + 3 = 0. Is 10 a factor of x?
True
Let y be 1*((-153)/(-68))/((-6)/(-8)). Suppose 309 = 3*z - 5*x, z - 112 = -x - 1. Suppose -y*l + 0*l + z = 0. Is 8 a factor of l?
False
Suppose -40 = -3*r + 2*i, 0*i + 71 = 5*r + i. Let f(s) = -s + 25. Is f(r) a multiple of 2?
False
Suppose -2*l = 2*l - 416. Let s be (24/36)/((-3)/(-765)). Suppose -5*p + s = o, 3*o + l = 3*p + 4*o. Does 11 divide p?
True
Suppose -5*c = -20, -4*f - 3*c + 32 = 2*c. Suppose 4*i = -0*i + 3*q + 16, 25 = f*i + q. Let p = i - -2. Is 9 a factor of p?
True
Let y = -265 + 323. Is y a multiple of 2?
True
Suppose 2*w = -u + 211, 5*u + 0*u - 2*w - 1007 = 0. Let i = u - 143. Does 12 divide i?
True
Let l = -7847 + 11742. Is 41 a factor of l?
True
Suppose -z - r = -4*r + 33, -5*r - 5 = 0. Let b = 28 + z. Is (6/b)/(17/(-272)) a multiple of 12?
True
Let v be (-3)/21 - (-15)/7. Suppose -173 = -2*a - v*a - o, -5*a = -4*o - 211. Is a a multiple of 13?
False
Let n(f) = f**3 - 7*f**2 + 6*f + 6. Let y be (-10 - (1 + 1))*(-15)/30. Is n(y) a multiple of 3?
True