 = 11 + -65. Let k be s/4 + (-1)/2. Let u = 34 - k. Is 17 a factor of u?
False
Suppose w - n + 8 + 2 = 0, 0 = -2*n + 6. Let p(t) = -t**2 - 13*t - 2. Let f be p(w). Suppose 3*v - 20 - f = 0. Is 10 a factor of v?
True
Let n(a) = 5*a**2 - 7*a + 4. Let k(z) = -11*z**2 + 13*z - 9. Let u(i) = -4*k(i) - 9*n(i). Let o be u(8). Let t = 47 - o. Is 8 a factor of t?
False
Suppose -x + 3 = -0*x. Let g be -2 - -1*(-9)/(-3). Suppose -g = x*l - 13. Is l a multiple of 3?
False
Suppose -2*h = -68 - 20. Suppose -8 + h = 2*p. Is 9 a factor of p?
True
Let l(p) = -p**3 - 9*p**2 + 4*p - 14. Is l(-10) a multiple of 22?
False
Suppose 0 = 5*j - 4*m - 1688, 1334 = j + 3*j + 5*m. Is 14 a factor of (-3 + 2)*j/(-4)?
True
Suppose 5*v - 18 - 7 = 0. Suppose v*d + 4*w + 52 = 0, -2*d + 3*w = 2*d + 23. Let a(m) = m**3 + 7*m**2 - 10*m - 11. Is a(d) even?
False
Does 56 divide ((-24)/5)/4*(-280)/6?
True
Suppose -3*g - 1 = -4*g. Let i = 9 - g. Is i a multiple of 8?
True
Suppose 0 = 4*q + o - 448, 0*q - q - 4*o = -112. Is 14 a factor of q?
True
Suppose -3*v = -129 - 216. Is v a multiple of 20?
False
Let h = -3 + 6. Suppose -h*p = -0*p - 99. Does 13 divide p?
False
Suppose 0 = -o - 5, 4*g + o + 34 = 141. Is g a multiple of 28?
True
Let j(v) = -8*v + 2. Is 3 a factor of j(-1)?
False
Let c = 2 + -3. Let f be ((-28)/c)/((-2)/(-4)). Suppose 5*a - 3*a = f. Does 14 divide a?
True
Let d(u) = u**2 + u + 12. Does 12 divide d(0)?
True
Let z = -1 + -3. Let f = z - -14. Suppose f = j + 2. Is j a multiple of 5?
False
Let d(j) = -j**3 + 5*j**2 + 5*j + 8. Let y be d(6). Does 5 divide 118/10 - y/(-10)?
False
Let y(d) = d**3 - 12*d**2 + 2*d - 18. Let z be -18*((-2)/(-6) - 1). Is 2 a factor of y(z)?
True
Let f(g) = 18*g + 14. Let j(i) = 6*i + 5. Let o(u) = -5*f(u) + 14*j(u). Is 6 a factor of o(-2)?
True
Let y(p) = -7*p - 4. Let s be y(5). Let z = s + 55. Suppose -70 = -5*b - 2*n, 3*b + 5*n - 7 - z = 0. Does 16 divide b?
True
Let l = -33 - -60. Is l a multiple of 12?
False
Does 7 divide (-3143)/(-35) + (-6)/15*2?
False
Let p(j) = 10*j - 1. Let z be p(1). Let o be z/(-6)*10/(-3). Suppose 3*r + o*x - 131 = 0, -2*r - 3*x + 90 = -x. Does 18 divide r?
False
Let r = 56 + -35. Is r a multiple of 9?
False
Suppose -6 = 3*v - v. Let y = 3 - v. Suppose -y*k + 3*k = -24. Does 8 divide k?
True
Let f = -9 + 21. Let j be ((-14)/(-6))/(1/f). Suppose -8 + j = -5*r, -4*r - 76 = -4*t. Does 10 divide t?
False
Suppose -304 = -4*m - 0*m. Let i = -46 + m. Is i a multiple of 10?
True
Does 24 divide 2/(-5) - 1624/(-10)?
False
Let a(m) = -3*m - 5. Let f(h) = 4*h + 5. Let q(w) = -2*w - 5. Let s be q(-6). Let j(b) = s*a(b) + 6*f(b). Does 7 divide j(4)?
True
Let b(p) = p**3 + p + 1. Let j(w) = 5*w**3 + 2*w**2 + 13*w + 8. Let a(h) = 6*b(h) - j(h). Does 17 divide a(5)?
False
Let t = 62 + -50. Is t a multiple of 11?
False
Is 26 a factor of (-2)/7 + (-5480)/(-70)?
True
Let d(h) = h**3 - h**2 - 3*h - 1. Let s be 2/6*(-45)/(-5). Is 4 a factor of d(s)?
True
Let z = 9 + -16. Let t(g) = -g**2 - 9*g - 4. Let d be t(-7). Let u = z + d. Is u a multiple of 2?
False
Let d = 8 - 11. Suppose x + 0 = 10. Is 12 a factor of 9/(-2)*x/d?
False
Let x be 0 + 3 - 33/11. Suppose x = 5*n + 4 - 89. Is 17 a factor of n?
True
Let w(n) = n**3 + 2*n**2 + n. Let k be w(-1). Suppose -5*h + 25 = k, 2*a + h = 2 + 39. Does 8 divide a?
False
Let t(l) = -4*l + 52. Is t(-14) a multiple of 9?
True
Let f be (2 - (-1 - -9))/(-2). Let q = f - 0. Suppose 4 = q*i - 17. Is 7 a factor of i?
True
Suppose 5*q + 4 + 13 = -3*v, -4*v - 4*q - 12 = 0. Let h(y) = 15*y**2. Does 15 divide h(v)?
True
Let q(z) = 23*z**3 + z**2. Let a be q(1). Suppose -5*x + x - a = 0. Is 22 a factor of (177/x)/((-1)/2)?
False
Suppose 5*z = 5, 3*z = o - z - 12. Suppose -4*f + 2*w + 70 = -o, -w + 3 = 0. Is f a multiple of 23?
True
Let h = 16 + -11. Suppose -l + 2*b = -6, h*l - b = 1 + 74. Is 6 a factor of 8*2/(l/10)?
False
Let y(g) = g - 3. Let f be y(7). Let u(k) = -12*k. Let r be u(-1). Suppose r = 4*w, -5*w + 2 = -f*n + 31. Is n a multiple of 6?
False
Let g be (-2)/(-2)*(5 - 2). Let o be (15/(-9))/(g/135). Let y = -30 - o. Does 15 divide y?
True
Let b = 7 - 2. Suppose 5*r = x + 3 + b, x = -3*r + 8. Suppose d = -x*d + 36. Does 5 divide d?
False
Let y(h) = 17*h**2 - 8*h - 18. Is 21 a factor of y(-2)?
False
Let t be (-3)/(1*(-6)/8). Suppose 3*v = -t*c + 15, c = 3*v - c - 15. Is 5 a factor of v?
True
Suppose -5*c - 775 = -3*i, 5*i + 4*c = 1056 + 248. Does 26 divide i?
True
Let x(n) = 5*n + 3. Let i be x(10). Suppose -3*p - i = 70. Is p/(-1) + 6/(-2) a multiple of 11?
False
Is ((-40)/4)/((-3)/9 - 0) a multiple of 12?
False
Let y be -1 - (3 + -2 - 3). Suppose -y = -2*k + 19. Is 5 a factor of k?
True
Does 45 divide (-207)/(-9)*(2 + 0)?
False
Let n(k) = -4*k**3 - 14*k**2 + 4*k - 2. Let i(p) = p**3 + p**2 - 1. Let a(t) = 5*i(t) + n(t). Is 10 a factor of a(9)?
False
Let j = 5 + 1. Does 4 divide j?
False
Suppose -4*o = -r - 2*r + 25, 5*o + 17 = -r. Suppose -4*v = -3*q - 5 - r, 4*v - 5*q = 8. Is 15 a factor of v/6 + 44/3?
True
Let k be 0 + 9 + 6/(-3). Let d = k + -1. Is 38/3 - d/9 a multiple of 12?
True
Let r be 28/(-13) - (-6)/39. Let v be 19 - (r + 0)/2. Suppose y + 2*b - v = 0, -y - b + 52 = 3*y. Does 12 divide y?
True
Let t be ((-2)/4)/(2/8). Let v(j) = -36*j. Let k be v(t). Suppose -2*a - 2*w = -k, -41 = -2*a + 4*w + 1. Is 13 a factor of a?
False
Suppose v + 3*v = 296. Does 30 divide v?
False
Let k = -8 + 6. Let l = k - -4. Suppose 79 = 2*y + 3*r - 40, -120 = -2*y - l*r. Is 21 a factor of y?
False
Suppose 4*g - 31 = 1. Suppose -2*n - 2*k = -2 - 14, -4*n + 4*k - g = 0. Suppose 4*q - 9*q - 5*t + 65 = 0, 0 = -n*q - 4*t + 41. Is 5 a factor of q?
False
Let b = 9 + -10. Does 4 divide (-3)/b + (-1)/(-1)?
True
Let z be (-20)/6*2*27. Let s = -289 - z. Let n = s + 158. Is n a multiple of 14?
False
Let z(x) = x**3 + 4*x**2. Let d be z(-4). Let f = -1 - d. Is 1*18 + (f - 1) a multiple of 14?
False
Is 18/4*(3 + 3) a multiple of 9?
True
Suppose -2*w = -5*v - 52, -5*w + 61 + 69 = 3*v. Does 4 divide w?
False
Suppose 0 = 5*s - 9 - 16. Suppose u - 1 = 44. Suppose -s*j = -2*j - u. Is 8 a factor of j?
False
Let y(l) = -l**3 + 8*l**2 + 2. Let p be y(6). Suppose -4*w = -70 - p. Is w a multiple of 28?
False
Let s(j) = -26*j - 42. Is 14 a factor of s(-9)?
False
Let d(i) = i**2 - 2*i + 6. Is d(-3) a multiple of 4?
False
Suppose 2*q + 3*h = -9, -2*q + h = -0*h - 3. Let s = q + 29. Does 6 divide s?
False
Let j(l) = 3*l**3 + 3*l**2 - 4*l. Is 12 a factor of j(3)?
True
Suppose 17 = a - 12. Is a a multiple of 13?
False
Suppose 137 - 17 = 5*u. Let o = 11 - 20. Let z = o + u. Is z a multiple of 15?
True
Suppose 103 = 3*t + 2*w - 79, -4*t + 243 = 3*w. Is 12 a factor of t?
True
Is (2/(-6))/(10/(-750)) a multiple of 13?
False
Let j(p) = -p**3 + 5*p**2 + 2*p - 6. Does 4 divide j(5)?
True
Let u = -166 + 244. Is 13 a factor of u?
True
Let y = 8 - -6. Let q = y + -3. Suppose 2*p - 5 = q. Is p a multiple of 8?
True
Suppose -34*i + 31*i = -252. Is 14 a factor of i?
True
Let w(t) = 32*t + 3. Let j be w(3). Does 17 divide 3/12 - j/(-4)?
False
Let m = -7 - -13. Suppose -n + 2*n = -91. Is n/(-3) - (-4)/m a multiple of 12?
False
Suppose 3*x - 64 = -x. Does 8 divide x?
True
Suppose 0*y = -2*y + 10. Let p = -4 + y. Does 9 divide p/((-1)/(-19)) + 3?
False
Suppose -5*p + 11 + 19 = 0. Does 6 divide p?
True
Let m(z) = 4*z. Suppose 4*t + 3 = 5*t. Does 4 divide m(t)?
True
Let q(c) be the second derivative of -1/20*c**5 + 1/12*c**4 - 1/6*c**3 + 27/2*c**2 - c + 0. Is q(0) a multiple of 12?
False
Let s = 3 - -33. Does 9 divide s?
True
Suppose -2*t + 178 = -282. Suppose -4*s = -t + 30. Is s a multiple of 10?
True
Let h = 429 + -301. Is 16 a factor of h?
True
Let y = -12 + 8. Let w(v) = -3*v - 2. Is w(y) a multiple of 3?
False
Let r(s) = 5*s + 2. Let p be r(8). Suppose 4*d - 48 = -m, -3*m = -2*d + m + p. Is 13 a factor of d?
True
Suppose 0 = -d - d + 8. Suppose s + 4*z - 9 = 0, -2*s = 2*s + d*z - 12. Suppose -2*f - s = -17. Does 3 divide f?
False
Let r be 2/11 - 62/(-22). Does 6 divide (-96)/(-6) - (1 - r)?
True
Suppose -2*d + 32 = 2*d. Is d/12*6*1 a multiple of 3?
False
Let r(k) = -15*k - 9. Is r(-4) a multiple of 17?
True
Suppose 7*w + 0*w = 574. Is w a multiple of 12?
False
Suppose 3*c + 0*c + 321 = 3*q, -3*q - c = -301. Is q a multiple of 17?
True
Suppose 7*n = 