be (0 + 1)/((-2)/(-24)). Let g be (-346)/(-8) + f/16. Suppose -4*w + 0*i + 4*i + g = 0, 56 = 4*w - i. Is 5 a factor of w?
True
Let s = 560 - 247. Is s a multiple of 8?
False
Let q(h) = 43*h**3 - h. Let n be ((-18)/30)/((-1)/5). Suppose 0 = n*b - b - 2. Is 13 a factor of q(b)?
False
Let o be 8*1 + 20/(-4) + 2. Suppose -4*i + 14 + 97 = -o*w, 0 = 2*i + w - 59. Does 3 divide i?
False
Suppose -30 = 7*k - 2. Is 13 a factor of 7/14 + (-414)/k?
True
Suppose -14 = 4*b + 22. Let r be (b/(-6))/((-6)/(-20)). Suppose -l = r*j - 29, 2*l - 4*j = j + 43. Is l a multiple of 6?
True
Let u(w) = -w**3 - 23*w**2 - 43*w + 6. Let g be u(-21). Suppose -46 = -5*i + 2*r, -5*i + 5*r + g + 13 = 0. Is 2 a factor of i?
True
Let f be 1/(-5) + 5/25. Suppose -417 = -f*g - 3*g. Is 22 a factor of g?
False
Suppose -5*g + 128 = 448. Let h = 83 + g. Is h a multiple of 5?
False
Let q = 37 + -37. Suppose q*l + 5*l = 500. Does 14 divide l?
False
Let o be (-3)/18 + -1831*(-1)/6. Suppose -5*z = g - 696, 4*z - o = -5*g + 235. Does 40 divide z?
False
Let d = -7 - 11. Let i = -13 - d. Suppose i*m + 0 = 10, -5*f = -2*m - 71. Is 14 a factor of f?
False
Suppose -19*t + 41539 + 14131 = 0. Is t a multiple of 25?
False
Suppose -23*v = -18*v. Suppose 0*s + 5*s - 340 = v. Is 17 a factor of s?
True
Let w(s) = -s**3 + 19*s**2 - 22*s + 85. Does 18 divide w(17)?
False
Suppose -5*q - 4*s = -3*s + 17, s + 9 = -3*q. Let p be 3/(2/q*-2). Suppose 0 = v + 1 + 4, 169 = p*c + v. Is c a multiple of 19?
False
Suppose -3*b = 5*t - 2815, -13 = t - 15. Does 17 divide b?
True
Let g(m) = -5*m - 10. Let f be g(-9). Suppose 0 = 4*n - 4*x, 3*x + 11 = -5*n + f. Suppose -4*o + 15 = 5*s, s + n = 2. Is 3 a factor of o?
False
Let m(w) = w**2 - 2*w - 210. Let s be m(0). Let z = -106 - s. Is z a multiple of 25?
False
Let u = -2143 + 6560. Is u a multiple of 14?
False
Let a = 12 + -12. Let p(g) = -g**2 + g + 34. Let z be p(a). Suppose 2*u = -4*q + z, -3*q = 4*u + u - 29. Is q a multiple of 8?
True
Suppose 2*r + 9 = 21. Is ((-48)/(-10))/r*(-590)/(-4) a multiple of 36?
False
Suppose -12 = 4*v - 5*f, 4*v = f - 0 + 4. Suppose -4*j + 91 = -5*x, 50 = -3*j + 5*j + v*x. Is 3 a factor of j?
True
Let k be -3 + 5 + (1 - -2). Suppose 5*p - 2*d = 10, -4*p + k*d + 0 - 9 = 0. Suppose p*t = 5*j + 37, -2*t + 2 = j - 13. Does 8 divide t?
True
Let w = -274 + 316. Is 21 a factor of w?
True
Let k(b) = -b**2 - 4*b + 2. Let i be k(-4). Let c = i + 32. Suppose -c - 38 = -3*d. Is d a multiple of 6?
True
Let o(v) = -v**2 + 11*v + 25. Let d be o(11). Suppose y - d - 25 = 0. Is y a multiple of 15?
False
Suppose 44*p - 38*p + 12 = 0. Let d(o) = o**2 - 5*o - 2. Is d(p) a multiple of 4?
True
Suppose -69*h + 66*h = -3750. Is h a multiple of 10?
True
Is 10 a factor of 10/(-30)*12*894/(-8)?
False
Let x(j) = -j**3 + 6*j**2 + j + 2. Let z be x(6). Suppose 7*t = -z + 29. Is 3 a factor of t?
True
Suppose 22 - 346 = -2*a. Suppose -5*o = a - 397. Is o a multiple of 7?
False
Let m be 65/(-52)*-2*28. Suppose 76*v - 378 = m*v. Is 24 a factor of v?
False
Suppose -a + 165 = -5*m + 17, 3*a + 4*m = 520. Does 4 divide a?
True
Let n(g) = -g**3 + 6*g**2 + 9*g - 6. Let i be n(7). Suppose 0*b - 2*j - i = -b, 4*b - 4*j - 28 = 0. Let w(s) = -s**3 + 5*s**2 + 8*s - 2. Does 3 divide w(b)?
False
Let u = -16 + 20. Suppose u*q + 138 + 14 = 4*w, -70 = -2*w - q. Does 4 divide w?
True
Suppose b = -2*g - 0*g - 34, 5*b + 145 = -5*g. Let d = b - -32. Is 2 a factor of d?
True
Let t(f) = f - 3. Let v be t(5). Suppose 5 = 2*i + 3*i - u, v*i - 5*u = 2. Is i/4 - 426/(-24) a multiple of 5?
False
Is 2 a factor of 8/(-6) + 268/12 + -6?
False
Let a be (4/(-10))/(4/(-60)). Let j = 6 - a. Is 8 a factor of j + 2 - (-16 + 2)?
True
Let k(n) = -n**3 - 8*n**2 + 6. Let r be k(-8). Let d be 1 + r/(-3) + 11. Let h(w) = w - 6. Is 2 a factor of h(d)?
True
Suppose 41*i - 27*i = 16226. Is i a multiple of 53?
False
Let r(i) = -i**2 + 19*i + 18. Let t be (84/(-9) - 2)/((-6)/9). Is 10 a factor of r(t)?
False
Let f(a) = 304*a**2 + 7*a - 6. Is f(1) a multiple of 23?
False
Let l(q) = 35*q + 1. Let v be l(1). Suppose 5*x + 2*d = 112, -4*x - v = -3*d - 144. Does 4 divide x?
True
Suppose -4*y + 55 = -25. Suppose 0 = 3*k - 2*k - 4, 0 = 4*v - 5*k + y. Suppose v = 4*z - 2*m - 66, -4*m + 21 = 5*z - 29. Is z a multiple of 10?
False
Let d(g) = 2*g**3 - 4*g**2 - 4*g - 4. Let y be d(3). Let b be -3*(6/(-3) - -5). Does 3 divide b*8/(-6) + y?
False
Let w = -10 + 6. Let d(b) = -b**3 - 4*b**2 - 2*b - 5. Let h be d(w). Suppose -h*i = -39 - 6. Does 15 divide i?
True
Let b be ((-12)/(-8))/((-3)/24). Let z(v) = -v**3 - 11*v**2 + 10*v - 12. Let a be z(b). Suppose -2*i + a = -0*i. Is i even?
True
Let r(y) = 19*y**2 - 275*y + 2. Does 9 divide r(16)?
False
Let u = 343 - 203. Let g = 84 + u. Is 14 a factor of g?
True
Let u(q) = q**3 + 4*q**2 + 3*q + 1. Let o be u(-2). Suppose -8 = -w + z - 3, -w + 2*z + 10 = 0. Suppose -o*m + w*m + 63 = 0. Is 12 a factor of m?
False
Is (-2)/4*(14 - (-12 - -3128)) a multiple of 33?
True
Let h(q) be the first derivative of q**3 + 4*q + 9. Does 8 divide h(-2)?
True
Let u = -742 + 1296. Does 12 divide u?
False
Let a be 1078/91 + 6/39. Let s be ((-20)/7)/(a/(-42)). Let m = 12 + s. Does 11 divide m?
True
Let p be ((-74)/12)/(6/(-24))*-3. Let a = 131 + p. Is a a multiple of 3?
True
Suppose -b = 5*x, 0 = -2*x - 6*b + 5*b. Let l = -10 - -55. Suppose 3*t - l - 204 = x. Is t a multiple of 15?
False
Let l(c) be the second derivative of c**7/420 + c**6/180 + c**5/60 + c**4/3 + 5*c. Let g(b) be the third derivative of l(b). Is 5 a factor of g(-2)?
False
Let l = -10 + 19. Suppose -8*r - 92 = -l*r. Let d = -32 + r. Is d a multiple of 12?
True
Suppose 0*m - 2*m + 282 = 2*w, 0 = -w + m + 147. Is 7 a factor of w?
False
Let g(h) = -h**3 - 7*h**2 + 2*h + 4. Let x be g(-5). Let b be (x/(-16))/(1/2). Suppose b*z = 5*z + 74. Is 15 a factor of z?
False
Suppose -3*v = -4*z + 20, -v + 20 = 2*z - 5*v. Suppose 0 = -5*j + 3*a + 217, -j + 5*a + 5 + 34 = 0. Suppose 4*t = -z*b + 40, 4*t = b - 0*t - j. Does 7 divide b?
True
Let c(s) = 75*s**2 + 9*s + 28. Does 14 divide c(7)?
True
Does 18 divide 202 - (13 - (-10 - -19))?
True
Suppose -7*g + 2*g - 10 = 0. Let p be (42 - -1) + g + -1. Let u = 88 - p. Does 16 divide u?
True
Suppose 3*t - 3*o + 5 - 92 = 0, 2*o = -4*t + 122. Is 15 a factor of t?
True
Let h(d) = -d**2 + 5*d + 4. Let u be h(5). Is ((-24)/(-10))/u*45 a multiple of 9?
True
Suppose 9*k = 8*k + 782. Does 61 divide k?
False
Suppose -3*n = -n - 2106. Is 131 a factor of n?
False
Let v be (-15)/(-1*(8 - 7)). Let p(y) be the third derivative of 5*y**4/24 - 7*y**3/2 - y**2. Is 18 a factor of p(v)?
True
Let r = -12 + 14. Let o be -4*(-118)/4 + r. Is (-2 + 32/12)*o a multiple of 20?
True
Let z(b) = -27*b - 36. Does 35 divide z(-13)?
True
Let w = 287 - 184. Let g = 233 - w. Is g a multiple of 13?
True
Let l(h) = -6*h - 1. Let f be l(2). Let r(x) = -x - 9. Let t be r(f). Suppose -t*q = -395 + 51. Does 16 divide q?
False
Let u be (4 + -1 - 108)*-1. Let a = u - 95. Is 5 a factor of a?
True
Suppose -v - 4*f = -2*f - 41, 0 = -3*v - 2*f + 115. Suppose 0 = -4*q - 13 + v. Does 4 divide q?
False
Suppose w - 1 = 5. Suppose -4*g = i - 472, -2*i = w*g - 2*g - 940. Is i/(-48)*(-20)/3 a multiple of 29?
False
Does 32 divide ((-75)/2)/(14/(-140))?
False
Let u(r) = 8*r**2 + 6*r + 5. Let w be u(-5). Let z = w + -99. Does 38 divide z?
True
Suppose 16 = 4*o + 5*m, -2*o - 4*m = -o - 4. Let t = 10 - o. Let q = t - -45. Does 17 divide q?
True
Let p(b) = 48*b**2 - 2*b + 12. Is p(6) a multiple of 30?
False
Is 8 a factor of 31/(93/4032)*1?
True
Suppose -2*y = -0 - 4. Let w(v) = 15*v**2 + 3*v - 1. Let p be w(y). Suppose -5*z = -4*g - 87 - 142, 0 = -z - 4*g + p. Is z a multiple of 16?
False
Let v(m) = m**3 - 7*m**2 - 9*m + 10. Let t be v(8). Suppose -3*u + 70 = 2*o - 6*o, t*o = -8. Is 3 a factor of u?
True
Does 7 divide ((-13)/2)/(13/(-3276)*7)?
False
Let v = 4465 + -2593. Is v a multiple of 26?
True
Let u = 25 - 20. Is (2 - u) + 54/2 a multiple of 8?
True
Let v = 15 + -13. Suppose 0 = -3*y - 4*b - 14, v*b + 13 = 3. Does 15 divide (y/5)/((-12)/(-2040))?
False
Suppose 7 = -2*t + 1143. Is t a multiple of 21?
False
Is 32 a factor of 122 + -2*(-6 + (-51)/(-6))?
False
Suppose 5*r - 389 = -2*w - 0*r, -556 = -3*w - 2*r. Is w a multiple of 14?
True
Let m be 19/7 - (-4)/14. Sup