es 9 divide s?
False
Let x be (1 + -2)/(3/(-15)). Suppose 0 = -4*v + x*u - u + 92, v + 5*u - 29 = 0. Suppose 0 = 20*j - 22*j + v. Is j a multiple of 6?
True
Let g(x) = -x**3 - x**2 - x - 1. Let n(s) = s**3 - 2*s**2 + 3*s. Let k(j) = 3*g(j) - n(j). Is 12 a factor of k(-2)?
False
Let w(c) = 113*c - 84. Is w(6) a multiple of 22?
True
Let t = -55 - -36. Let n(a) = -3*a - 22. Does 7 divide n(t)?
True
Let s be 6 + 0 + -1 + 0. Let g be (s + -5)*(-2)/6. Does 11 divide 30 + g*1/3?
False
Let y be 62/15 + (-4)/30. Let s(p) = 10*p - 8. Is s(y) a multiple of 7?
False
Suppose -2*a + 482 = -114. Let u be a/5 - 8/(-20). Suppose 3*t - q - 2*q - u = 0, -4*t - 2*q = -56. Is 8 a factor of t?
True
Let q be (-2 - 14/(-6))/((-2)/(-12)). Suppose -k - 33 = -2*k. Suppose c = -5*s + k, q*c + 3 = c + 4*s. Does 4 divide c?
False
Let z(g) = g**2 + g - 17. Let i = 84 - 92. Does 9 divide z(i)?
False
Suppose -21 - 15 = -3*h. Let r = h - 10. Suppose 0 = -a + i + 58, -r*a = -i - 5 - 106. Is 15 a factor of a?
False
Let p be -3 - (4/(-22) + 833/(-77)). Suppose -p*l = -l - 119. Does 17 divide l?
True
Let q = 18 - 13. Let w(p) = p**2 + p - 1. Let m be w(2). Suppose -2*g = 4*f - 56, -m*g + q = 25. Is f a multiple of 8?
True
Let o(l) = -3 + 24*l - 10 - 3*l**3 - 11*l**2 + 4*l**3 - 2*l**3. Is o(-13) a multiple of 2?
False
Suppose -47*v = -45*v - 8. Suppose v*h - 3*x - 41 - 92 = 0, 0 = -5*h + 3*x + 164. Is h a multiple of 31?
True
Let h be 0/((-2 - 4)/(-3)). Suppose h = -4*u + 4, -485 = -3*l + u + 36. Let n = -92 + l. Is n a multiple of 26?
False
Let f(i) = -4*i + 11. Let k be f(2). Let b(g) = 11*g**3 - 4*g**2 + 7*g - 9. Is b(k) a multiple of 39?
True
Let k be (-9)/6 - (-65)/10. Suppose -560 = -5*g + l, 10*l - k*l = 4*g - 448. Is 28 a factor of g?
True
Suppose 0 = 11*y - 2256 - 3277. Is y a multiple of 19?
False
Let h(b) = 3*b**2 + b + 2. Let q be h(-1). Let o(s) = -s + 4. Let p be o(q). Suppose 7*j - 3*j - 152 = p. Is j a multiple of 18?
False
Let r(t) = 3*t**2 - t + 2. Let p be r(1). Does 16 divide p/(-30) - (-7212)/90?
True
Suppose y + 2*c = -5, 0*y + y + c = 0. Let x be 21/14*2/(-3)*-2. Suppose -3*s - p = x*p - 267, -y*s = -2*p - 466. Is 17 a factor of s?
False
Let g(y) = -5*y + 29 + 0*y - 16. Is g(-4) a multiple of 3?
True
Let n(k) = 4*k + 8*k**2 - 6*k - 5*k + k. Is n(2) a multiple of 5?
True
Suppose -4*p = i - 135, 0 = 2*i - p - 1 - 269. Let l(r) = -42*r - 1. Let o be l(2). Let d = o + i. Is 27 a factor of d?
False
Let w be (100/(-15))/1*-30. Suppose 12*s = 17*s - w. Is s a multiple of 7?
False
Suppose -3*h = z + 216 - 671, 895 = 2*z + h. Let g = z + -245. Is g a multiple of 16?
False
Let q(g) = -g**2 - 2*g + 3. Let k be q(-4). Let z be (-298)/(-5) + (-2)/k. Suppose z = -3*o + 8*o. Does 11 divide o?
False
Suppose -z = 5*k - 8596, -3*z - 5261 = -4*k + 1631. Is 20 a factor of k?
True
Suppose -4*k = -5*k - 48. Let a = -34 - k. Is a a multiple of 7?
True
Let r(z) be the first derivative of 17*z**2/2 - 11. Is 17 a factor of r(6)?
True
Let z(g) = -28*g + 276. Does 10 divide z(-18)?
True
Suppose 0 = -6*l - l. Suppose -38*b + 42*b - 544 = l. Is b a multiple of 11?
False
Let f(a) = -a + 3. Let i be f(-2). Suppose i*w = 199 + 221. Does 12 divide w?
True
Let a = -92 + 456. Does 14 divide a?
True
Suppose 5*o = 3*n - 39, 5*n - 26 = 3*n + 3*o. Does 4 divide n?
False
Suppose -w - 3*w + 4*j = -5272, -5*j + 6610 = 5*w. Is 55 a factor of w?
True
Suppose -5*y = r - 940, 5*y - 334 = -2*r + 601. Does 21 divide y?
True
Suppose -h - 8 = -q, 4*h + 15*q = 11*q - 24. Is 9 a factor of 1750/(-75)*54/h?
True
Let p be (-4)/6*(-2 + -1). Suppose -p*z - 2*b + b + 163 = 0, 2*z - 2*b = 154. Suppose -4*q = -268 - z. Does 15 divide q?
False
Suppose -225826 - 58934 = -113*p. Is 6 a factor of p?
True
Suppose 1 = 2*o - x + 3, -o + 2*x + 5 = 0. Let l(r) = r**2 + 20*r + 15. Let t be l(-19). Does 25 divide 75/(o*t/12)?
True
Let p = 2350 - 2340. Does 10 divide p?
True
Let t = 320 + -78. Is 3 a factor of t?
False
Let h be 3/2*(-10)/(-3). Let r(s) = -h*s - 5 + 4 + 5. Is 14 a factor of r(-2)?
True
Suppose -a + 2*l = -0*l + 11, -a = 5*l + 4. Is 11 a factor of (-699)/(-12) + a/36?
False
Suppose -10*h + 22246 = 1296. Does 12 divide h?
False
Let x be -2 + (-2 - (3 + 4)). Let t = 2 + x. Let f = t + 13. Is 4 a factor of f?
True
Suppose -180 = -22*w + 28*w. Suppose c = -0*c + 5. Is 22 a factor of ((-66)/c)/(6/w)?
True
Suppose 4*o - 9 = -5*y + 7, -3*o = 5*y - 12. Suppose y = 3*f - 0*f - 198. Is f a multiple of 22?
True
Let y(w) = w. Let p(x) = -44*x - 24. Let o(f) = p(f) + 24*y(f). Does 16 divide o(-9)?
False
Let y(n) be the third derivative of 2*n**6/15 + n**3/6 + 10*n**2. Let c be y(-1). Is 6 a factor of (-87)/c - (-3)/15?
True
Let h = -4 + 3. Let y(c) = 10*c**2 - 2. Is 8 a factor of y(h)?
True
Let r be 7*(-1 - (-51)/21). Suppose -3*c = -i + 8, -3*i + r = -0*i + 5*c. Let v(f) = f**2 - 3*f + 5. Does 10 divide v(i)?
False
Let s = 36 + -29. Let v = s + 5. Is 2 a factor of v?
True
Suppose 674*x - 653*x - 37485 = 0. Is x a multiple of 21?
True
Suppose 2*g + 3*l = -90, 0 = 3*g - l - 2*l + 135. Let t = 10 - g. Does 8 divide t?
False
Suppose -4*x + 20 = 0, -3*o - 555 = -6*o - 3*x. Is 4 a factor of ((-65)/(-15) - 4)/(3/o)?
True
Let f be (-4)/(-1)*(-10)/8. Let a = -15 - f. Is (-1 - -44) + (a - -12) a multiple of 9?
True
Let k = -64 - -69. Suppose -5*b = -2*q - 6*b + 407, 0 = -4*q + k*b + 849. Is q a multiple of 28?
False
Suppose -h - 11 = 11. Suppose 35 = 14*v - 21. Does 15 divide (h/v)/((-1)/6)?
False
Let c(p) = 175*p - 56. Is 69 a factor of c(4)?
False
Let t(l) = l + 63. Let p be t(0). Let v = -37 + p. Suppose -d - 10 = -v. Is 4 a factor of d?
True
Suppose 30 = 6*h - 0. Suppose 0 = -3*g - 9, -h*o = -4*o - g - 134. Does 20 divide o?
False
Let z(y) be the second derivative of 13*y**3/3 - 7*y**2 - 10*y. Is 19 a factor of z(4)?
False
Let a = -18 + 49. Let v = -19 + a. Is v/(((-24)/21)/(-4)) a multiple of 21?
True
Let i be 9*3/9*87. Suppose 4*g = i - 13. Suppose -2*x - 4*j = -g, 5*j = -2 - 18. Is 13 a factor of x?
True
Suppose -8 = 8*j - 9*j. Suppose -j*p = -7*p - 59. Does 14 divide p?
False
Let m = -345 + 924. Is 17 a factor of m?
False
Let y be (-4)/6 - (-18944)/12. Suppose -13*m = -y - 931. Is m a multiple of 36?
False
Does 19 divide 19*(4/12 - (-730)/6)?
True
Let d(k) = -k**3 - 22*k**2 - 10*k + 20. Let i = -97 - -75. Does 30 divide d(i)?
True
Let j = -436 + 837. Is 25 a factor of j?
False
Let r(k) = k**2 - 6*k - 4. Let z be r(6). Let p be (960/72)/(2/3 - 1). Does 6 divide (p/(-12) + z)*-36?
True
Let h = -23 + 16. Let k = -2 - h. Suppose 2*g + 65 = k*u - g, -45 = -4*u + g. Is u a multiple of 10?
True
Suppose b + 6 - 4 = 0. Let x be 8 + -7 + (1 - b). Suppose w + 69 = x*w. Is 23 a factor of w?
True
Suppose -r = 0, -2*h - 4*r + r = 44. Let d = h + 65. Let b = 68 - d. Is b a multiple of 9?
False
Let z(n) = n**3 - 5*n**2 + 7*n - 4. Let r(c) = c - 1. Let g be r(10). Let l be z(g). Suppose -98 + l = 5*s. Is s a multiple of 19?
True
Is 25 a factor of -5 + 3 + (-892)/(-2)?
False
Suppose -4*x + 145 = -5*c, -4*x + x = 4*c - 70. Does 10 divide x?
True
Does 61 divide (1617/15 + -1)/(4/30)?
False
Suppose 2*b + 5*t - 200 = 0, 3*b + 4*t - 300 = -0*t. Is 5 a factor of b?
True
Let o(p) be the second derivative of 2/3*p**4 + p**2 + 0 + 4*p - 1/2*p**3 - 1/20*p**5. Does 8 divide o(7)?
False
Let p(x) = 3*x - 29. Let v be p(13). Suppose -v*i - 28 = -278. Does 4 divide i?
False
Suppose 0 = 5*k - 3*o - 301, -4*o + 74 = 5*k - 4*k. Let t = k - -4. Does 11 divide t?
True
Let b = 1080 + -464. Is b a multiple of 77?
True
Suppose -37*c + 30292 = -29463. Is 26 a factor of c?
False
Suppose 25 = 2*p - 5*p + 4*n, -3*p + 11 = 5*n. Let v = -1 - p. Suppose -3*z + 13 = v*j - 6, j = z + 22. Is j a multiple of 6?
False
Let c = 2307 - -533. Does 20 divide c?
True
Let c(f) = -f**2 - 4*f + 9. Let s be c(-7). Does 23 divide s/(-24) + 229/2?
True
Let d(a) = 4*a**2 + 13*a - 432. Is 122 a factor of d(18)?
True
Suppose 4*y - 336 = -3*h, y = 10*h - 8*h + 84. Is y a multiple of 3?
True
Suppose -2*r + 8 = -2*t, -2*t - 4*r + 2 + 8 = 0. Does 7 divide 81/(-108) + (t - 67/(-4))?
False
Let p(i) = -2*i**3 + i + 2. Let b be p(-3). Suppose -l = 3*h - b, 52 = -l + 2*l + 2*h. Let z = 71 - l. Is 7 a factor of z?
True
Suppose -5*w + 8 = -w, 4*w + 32 = 2*x. Suppose -5*b + 14 + 11 = 0, s + 4*b = x. Sup