 -s + 2 = -w. Suppose -d = 2*y + 3*y - 120, 3*y - s*d - 72 = 0. Does 9 divide y?
False
Suppose i = -3*i + 4. Suppose -z - i = 1. Does 13 divide z/(-7) + 456/21?
False
Let b be (-2)/(-4 + 1 + 1). Let v be b - ((-3)/3)/1. Is (18 - -1*v)/1 a multiple of 9?
False
Is (-102)/(-9)*10/4*3 a multiple of 11?
False
Let g = -3 + 6. Suppose 3*w + 50 - 143 = 3*a, -g*a - 3 = 0. Suppose w = -f + 3*f. Is 12 a factor of f?
False
Let s = -26 - -46. Suppose -g + s = -0*g. Is 10 a factor of g?
True
Let x = 6 - -3. Is x a multiple of 9?
True
Is (264/4)/(15/10*1) a multiple of 43?
False
Does 14 divide (-1)/2*(-27 + -1)?
True
Let a = 0 - -75. Is a a multiple of 17?
False
Let p = -143 + 235. Is p a multiple of 6?
False
Let q = -90 + 148. Let g be (-8)/36 - q/(-18). Suppose -10 - 8 = -g*k. Does 6 divide k?
True
Let o = 139 + -76. Is 21 a factor of o?
True
Suppose k + 3*g = 6, -5*g = 5*k - 0*g - 70. Is 18 a factor of k?
True
Let j = 111 - 60. Suppose -2*k = -3*k + j. Does 17 divide k?
True
Let l(f) = -f**2 + 10*f + 2. Let o be l(10). Suppose -2*k - 2*k - 24 = 0. Is 13 a factor of 13/o*(12 + k)?
True
Let y = 27 - -7. Does 8 divide y?
False
Suppose 0 = -4*m + 7 + 33. Does 5 divide m?
True
Let i(j) = -11*j + 1. Let y(z) = 2*z - 2*z + 1 - 6*z + 0*z. Let r(q) = -2*i(q) + 5*y(q). Is r(-3) a multiple of 9?
True
Let k(j) = 9*j - 13. Let r(z) = 22*z - 32. Let w(q) = 12*k(q) - 5*r(q). Let y be w(-10). Suppose 5*d - 46 = y. Is d a multiple of 7?
True
Let l = -81 + 51. Is 14 a factor of (-4)/10 + (-1992)/l?
False
Suppose -m + 3 = 5*j + 1, 2*m = 2*j + 28. Is 6 a factor of m?
True
Let w(j) be the first derivative of j**4/6 - 5*j**3/6 + j**2/2 + 1. Let o(b) be the second derivative of w(b). Is 11 a factor of o(4)?
True
Suppose 0 = 2*p - 3*a, -2*a = -0*p + 3*p - 13. Let v(u) = -2 - 4 + 2*u + p + 2. Does 5 divide v(6)?
False
Let g(b) = -9*b - 2. Let r be g(-1). Let d(j) = 5*j - 23. Is d(r) a multiple of 6?
True
Let w(g) = g**2 + 4*g + 7. Let l be w(-6). Suppose -3*b = -l - 17. Does 10 divide -3*6/(-9)*b?
False
Is ((-5)/(-3))/((-2)/(-66)) a multiple of 11?
True
Is 8 a factor of (-1)/((-475)/(-120) + -4)?
True
Let k(q) = 2*q**3 + q**2 + 5*q - 1. Is k(3) a multiple of 25?
False
Let f(k) = -15*k - 24. Is 38 a factor of f(-8)?
False
Let i(o) = o**2 + 3*o - 2. Let c be i(-4). Let k be 2 - 0 - c - -57. Suppose -k = 3*f - 6*f. Does 12 divide f?
False
Let o(n) = 34*n - 4. Let t be o(-4). Let y = -79 - t. Suppose -3*h + 7*d + y = 6*d, 3*h - 2*d - 56 = 0. Is h a multiple of 7?
False
Suppose 4*v = -v + 20. Suppose 26 = v*n - g + 2*g, -26 = -5*n + 2*g. Is 13 a factor of (-2 + (-15)/n)*-6?
False
Let k = -5 - -14. Suppose m + k = 24. Let d = m - -1. Does 8 divide d?
True
Let g = 59 + -54. Is g a multiple of 2?
False
Suppose 0 = 3*o - 3*x - 2*x - 86, 2*x = -2*o + 36. Is o a multiple of 22?
True
Let x = -69 + 104. Suppose 4*g + x = 103. Does 17 divide g?
True
Let k = 11 + -5. Let l(s) be the third derivative of 5*s**4/24 + s**3/3 + 3*s**2. Is l(k) a multiple of 16?
True
Suppose n - 129 = 201. Suppose -2*j = 2*v - n, -2*v = 4*j - 3*v - 685. Suppose 4*w = 2*w + q + 72, -5*w + j = -5*q. Is 19 a factor of w?
True
Suppose 2*l - 41 - 39 = 0. Is l a multiple of 10?
True
Suppose 17*u - 12*u - 45 = 0. Is u even?
False
Let y(g) = -21*g**2 + g - 1. Let z be y(2). Let q = z + 150. Is q a multiple of 14?
False
Suppose 0 = -u - 3*u + 20. Suppose -5*d = 5*x - 70, 4*d - u*d + 18 = 2*x. Is d a multiple of 3?
False
Let j(v) = -8*v + 15. Does 12 divide j(-5)?
False
Suppose j = 5*y + 16, -2*y + 3*y = j - 8. Suppose -16 = -2*s - j. Suppose -134 = -s*x - 29. Does 13 divide x?
False
Let k = -26 - -49. Let w = -14 + k. Is 4 a factor of w?
False
Let y = -105 - -191. Does 11 divide y?
False
Suppose 0*g = 4*g - 4*z - 68, -4*g - 4*z + 44 = 0. Is g a multiple of 3?
False
Let z(v) = -v**2 - 6*v + 8. Let w be z(-9). Let j = w - -79. Is j a multiple of 20?
True
Let g = -48 - -95. Is g a multiple of 15?
False
Let k(v) = -v**3 - 4*v + 0*v + 5*v**2 + 2*v**2 - 7 + v**2. Is 4 a factor of k(7)?
False
Is (-2)/7 - (-2421)/21 a multiple of 23?
True
Let r(z) = 2*z - z**2 - 3*z**2 - 2 + 6*z**2. Is r(-4) a multiple of 21?
False
Let t(n) = n**3 - 13*n**2 - 8*n - 8. Does 22 divide t(14)?
False
Suppose -2*i - 17 = 5*m, 4*m = -3*i + 2*m + 2. Suppose -i*f - 3*p = -260 - 69, -5*p = 2*f - 175. Is 27 a factor of f?
False
Suppose -258 = -2*a + 298. Suppose -2*s + a = -4*d, 0 = 5*s - d - 2*d - 660. Suppose -4*o - 2*h + 147 = -h, 0 = 4*o - 5*h - s. Is 13 a factor of o?
False
Suppose -2 = -2*u + 2. Suppose u*g - 7*g - 10 = 0. Does 9 divide 1/((-38)/(-18) + g)?
True
Let r(q) = 4*q**2 - 1. Let x be r(1). Let b(l) = l**2 + 15*l + 2. Let w(z) = 2*z**2 + 16*z + 3. Let a(h) = x*b(h) - 2*w(h). Is a(6) a multiple of 16?
False
Suppose -8 = 2*p, -4*k + 9*k + 285 = -5*p. Let y = k + 32. Does 7 divide 1/((-1)/1)*y?
True
Suppose -o = -4*n + 8*n + 13, 3*o + 3*n = -3. Let y = o + -3. Suppose y = q + 4*q - 110. Does 16 divide q?
False
Let o = -3 + -1. Let v be (-1)/o + (-28)/(-16). Suppose -20 = -2*q - 2*x, q + v*x = 5*q - 52. Is 6 a factor of q?
True
Suppose 2*k = 2, -2*h - k = -7*h + 9. Suppose h*r - t - 8 = 0, 5*r - 2*t - 9 = -5*t. Suppose -y = -w - 4, -r*w + 3 = -3. Does 6 divide y?
True
Let q(o) = o**2 - o - 7. Let d be q(0). Let z(m) = -m - 5. Let u be z(d). Does 8 divide (-145)/(-10) - u/4?
False
Let b = 19 + -4. Suppose 2*x + b - 99 = 0. Does 14 divide x?
True
Suppose b - 2*c - 3 = -c, 3*b - 19 = 5*c. Does 22 divide -92*1/(-2) + b?
True
Suppose -y + 4 = -5. Is 2 a factor of y?
False
Suppose 2*o = x - 13, -4 - 5 = -x + o. Suppose -x*v + 28 + 17 = 0. Is 5 a factor of v?
False
Let q(v) = -41*v - 44*v + 25*v. Is 19 a factor of q(-1)?
False
Suppose 16 = l - 2*n, -2*l = -3*n + 4*n - 37. Is 6 a factor of l?
True
Does 23 divide -3*69*2/(-9)?
True
Does 14 divide 72/(-2)*12/(-9)?
False
Let l = 138 + -88. Does 23 divide l?
False
Suppose 64 = 3*j + 16. Suppose d = -3*d - j, -2*z - 5*d = 16. Suppose 3*h = 3*l - 2*h - 9, z*l = -4*h + 6. Is l a multiple of 2?
False
Suppose -2*i = -3*i + 2. Suppose 20 - 92 = -i*n. Is n a multiple of 12?
True
Suppose 0 = -2*j - 0*j + 88. Is 9 a factor of j?
False
Let j be 1/(-2) + 27/6. Suppose -j*b = -165 - 219. Let g = b + -64. Is g a multiple of 16?
True
Let r(q) = q**3 + 7*q**2 + 6*q + 7. Let t be r(-6). Does 2 divide t + -6 - -3*1?
True
Suppose -395 = -5*a - 5. Is a a multiple of 15?
False
Let s = 15 + -22. Let h = s - -10. Suppose -h*y + 7 = -71. Is y a multiple of 13?
True
Let s(a) = a + 2. Let q be s(-3). Let f be q*3 + (-28)/(-4). Suppose -2*x - 200 = -f*v, -3*x - 20 = -8*x. Does 14 divide v?
False
Let r(a) be the first derivative of a**2 - 2*a + 5. Is r(7) a multiple of 4?
True
Let c(n) be the second derivative of n**4/2 + n**2/2 + n. Suppose 0*a = 4*a + 4. Is 7 a factor of c(a)?
True
Let r be (-1 + -1 + 1)*5. Let i(h) = -7 + 17 - 8 - 7*h - 8. Does 15 divide i(r)?
False
Let r(a) = 0 + 0*a - 4 + a. Let u be r(7). Suppose 2*v = -u*v + 40. Does 4 divide v?
True
Let c be 1/(-3) + (-44)/(-6). Let a be c - (2 + -2 - 2). Let n = a + 0. Is n a multiple of 9?
True
Is (-16)/(2/(-1)*(-9)/(-63)) a multiple of 5?
False
Let m(y) = y + 30. Let c be m(0). Suppose 30 = -3*n + 12. Is 20 a factor of c/4*(-16)/n?
True
Let f be 18/12*4/(-3). Is (-1 - f)*1 + 6 even?
False
Suppose -11*b = -2111 + 560. Is b a multiple of 19?
False
Let f = 56 - 28. Is f a multiple of 14?
True
Let f(y) = -10*y + 2. Is 14 a factor of f(-4)?
True
Let g be (16/4 - -1)*-14. Does 6 divide g/(-6) - 2/(-6)?
True
Let s = 163 - 77. Is 13 a factor of s?
False
Suppose -5*i - 20 = -2*d - d, 0 = 5*d. Is (-41)/i - (-3)/(-12) a multiple of 10?
True
Suppose 3*x + 7*x - 130 = 0. Is x a multiple of 2?
False
Suppose -x + 5 = -0. Is x a multiple of 5?
True
Let x(c) = c**3 - 3*c**2 - c + 5. Suppose 1 = 2*p - 2*h - 5, 5*h = p + 5. Does 25 divide x(p)?
True
Let i = 0 - -1. Does 6 divide 21/3*i/1?
False
Suppose -5*b = 3*k - 774, 2*b + b + 2*k = 464. Is b a multiple of 12?
True
Suppose -2*c = -5*m - 64, -m = c + 24 - 70. Is 14 a factor of c?
True
Suppose 0 = 4*z - 3*s - 21, 0*z + s = -2*z + 3. Suppose 321 = 2*m - z*v, 2*m - v + 309 = 4*m. Suppose -m = 4*r - 8*r - 5*q, -16 = -4*q. Is r a multiple of 10?
False
Suppose -14 = 5*r - 39. Suppose r*n - 2 = -4*a - 14, a - 6 = n. Suppose 3*i = -2*y + 118, 7*i 