t be (-1)/(-3) + g/6. Suppose 2*k = 11 - t. Does 4 divide k?
True
Let w = 8 - 6. Suppose 3*z - 54 = -3*u + z, 6 = w*z. Does 8 divide u?
True
Let u = 167 - 93. Is u a multiple of 3?
False
Let y be (8/5)/(1/5). Let l = -30 + y. Does 14 divide 4/22 + (-876)/l?
False
Let m = 35 + -18. Does 17 divide m?
True
Let w(f) = f**3 - 5*f**2 + 5*f - 4. Let j be w(4). Let u(v) = -v**3 - v**2 + v + 4. Let y be u(j). Suppose y*a - 16 = 24. Is a a multiple of 8?
False
Let p(a) = a**2 - 3*a - 1. Let j be p(-4). Suppose -3*h - 1 = -4*f + 7, -3*f = 3*h - j. Is ((-3)/(-4))/(h/288) a multiple of 18?
True
Is (-4*2/10)/(8/(-420)) a multiple of 11?
False
Does 25 divide (-2)/11 - (-3308)/44?
True
Suppose 5*q + 24 = 2*k, 4*q + 23 + 3 = 5*k. Is 10 a factor of (q/5)/((-18)/675)?
True
Let h(i) = i**2 + 4*i. Let l be h(-8). Let c be (l/(-20))/((-4)/430). Suppose -c - 12 = -4*m. Is 23 a factor of m?
True
Let d be ((-3)/(-6))/(1/6). Suppose -d*k + 108 = k. Is 18 a factor of k/(-12)*(0 - 24)?
True
Suppose -3*t - 43 = t - 3*r, -12 = 4*r. Let l = 41 + t. Does 11 divide l?
False
Let w(g) = -g**3 - 6*g**2 + 6*g + 12. Is w(-8) a multiple of 14?
False
Let a(u) = 6*u - 5. Let o be a(-4). Let k = o - -68. Does 20 divide k?
False
Let o(u) = -2*u**3 - 2*u**2 - 3. Let b be o(-2). Suppose -3*d = -16 - b. Does 3 divide d?
False
Suppose 5*x - 15 = 0, 3*u - 4*x + x + 33 = 0. Does 8 divide u*((5 - 3) + -3)?
True
Suppose -3*q = -1 - 5. Suppose -3*c - 176 = 5*o, 2*o + o - 92 = q*c. Is (12/4)/((-6)/c) a multiple of 9?
False
Let b be (-4 - -5)*4/2. Suppose -4*c = 5*q - 12, b*c - 5*c + 14 = 5*q. Suppose -4*x + 140 = q*h, -x + 5*x - 5*h - 122 = 0. Is x a multiple of 17?
False
Suppose 8 = -2*u - 14. Let f = u + 17. Is 3 a factor of f?
True
Let i(j) = j**3 + 9*j**2 + j - 13. Is 14 a factor of i(-6)?
False
Let h = -21 + 31. Suppose -3*a = -3*w + 21, a + a = h. Does 12 divide w?
True
Suppose 0 = -5*h + 4*h + 45. Is h a multiple of 7?
False
Suppose 0 = -2*b + 5*b - 111. Suppose -2*r = a - 52 - b, a + 91 = 2*r. Is r a multiple of 15?
True
Suppose 0 = 5*f - 0 + 15, 0 = -u - 2*f + 9. Is 3 a factor of u?
True
Suppose -345 = -6*c + 285. Is 30 a factor of c?
False
Let o(q) = -2*q - 2. Is 4 a factor of o(-3)?
True
Suppose 0*m = m - 5. Suppose 0 = m*z - 5, 2*q + z - 33 = -2*z. Is 7 a factor of q?
False
Does 39 divide (51/1)/((-2 + 6)/4)?
False
Let w(a) = -3*a**3 + a**2 + 2*a - 1. Is w(-2) a multiple of 2?
False
Let q = -5 - -11. Is 12 a factor of ((-175)/15)/((-2)/q)?
False
Is (0 - -1) + (-3 - -35*8) a multiple of 8?
False
Let k(n) = -n**3 + 7*n**2 + 10*n - 10. Let z be k(8). Suppose 25 = j + 4*j. Let p = j + z. Is 4 a factor of p?
False
Let y(o) = 20*o**2 - o - 1. Let r be y(-1). Suppose -d = 4*d - r. Suppose -4*u - 2*h = -32, 2*u - 2*h + 0*h - d = 0. Is 3 a factor of u?
True
Let q be -2*(-2 + 1 + 2). Let m be -116*q*(-1)/(-4). Let n = m - 34. Does 12 divide n?
True
Let s(g) be the second derivative of -g**3/6 + 41*g**2/2 + 2*g. Let t be s(0). Suppose -3*n = -19 - t. Is 20 a factor of n?
True
Let l(y) = -12*y - 2. Suppose 5*r + 24 = 5*n - 21, 2*n = -5*r - 10. Let h be l(n). Is 6 a factor of 2/(-10) + h/(-10)?
True
Let d = 10 + 12. Is d a multiple of 12?
False
Suppose 3*f + f = 8. Suppose 0 = n - 3*m - 25, -f*n = -7*m + 3*m - 42. Does 13 divide n?
True
Let g = -11 + 33. Is 11 a factor of g?
True
Suppose 3*z + 108 - 867 = 0. Let x be (3 + -2)*(3 + 1). Suppose x*t - z = -93. Is 20 a factor of t?
True
Let c(s) = s**3 - 5*s**2 - 14*s - 9. Is c(9) a multiple of 21?
True
Suppose 5*g - 7*g + 90 = 0. Is g a multiple of 15?
True
Let g = 3 - -65. Suppose 3*u = 3*n - g - 22, -4*n + u = -111. Is n a multiple of 9?
True
Let t(u) = 4*u + 3. Is 11 a factor of t(28)?
False
Let y be 2*(3 + -2) - 2. Suppose -3*i = 2*i - 3*m - 9, y = -5*i - 2*m + 19. Suppose 0 = 4*b - 3*q - 51, -b - 2*q + 6*q = -i. Is b a multiple of 6?
False
Let k(x) = -x**2 + 11*x - 13. Let l be k(9). Suppose -2*r = 3*u - 29 - 1, 45 = 3*r - l*u. Is r a multiple of 15?
True
Let r be 20/(-2)*12/(-15). Let p = r + 22. Does 15 divide p?
True
Suppose -5*f - 31 = 3*z - 7*z, 5*z = -3*f + 11. Is (-412)/(-16) - (-1)/z a multiple of 14?
False
Let n(m) = m**2 - 3*m + 2. Let v be n(2). Let z be v + 0 - 7*-1. Let u(c) = 4*c - 8. Is u(z) a multiple of 10?
True
Let j(p) = 3*p**2 - 3*p. Is j(-1) a multiple of 2?
True
Let f(l) = -l**2 - 5*l + 6. Let q be f(-6). Suppose q = 3*h + 6 - 15. Suppose 0 = -2*n - 7 - 1, -h*y = 3*n - 36. Is 16 a factor of y?
True
Suppose -2*n = -2*w - 12, 4*n - 6*w - 27 = -w. Suppose -2*u + m = 3*u + 21, 3*m = -5*u - 37. Let z = n - u. Is z a multiple of 3?
False
Is 10 a factor of (-47)/(-5) - 3/(-5)?
True
Let c = -11 + 41. Is 7 a factor of c?
False
Let f = 7 + -11. Is -2 - 2*54/f a multiple of 14?
False
Let k(m) = -m**3 + 4*m**2 + 2*m - 2. Let q be (1 + -2 - 1) + 6. Let j be k(q). Is j - (-3 - -1)/2 a multiple of 4?
False
Let w be 13/4 - (-18)/24. Suppose 5*n + 2*p = 78, -w*n + 3*n + 17 = -p. Is 5 a factor of n?
False
Let k be 10*((-3)/(-2))/3. Suppose -3 - k = -2*t. Suppose -j = -4*c + 5*c - 7, -t*c = -j - 43. Is c a multiple of 10?
True
Let a be (-2)/(-6) - (-244)/6. Suppose -6*b = -b - 20. Suppose -30 - 2 = -3*t + 2*x, b*t - a = x. Does 5 divide t?
True
Let q = -83 - -145. Is q a multiple of 16?
False
Let t(u) = 2*u + 14 + 3*u - 6*u + 0*u. Does 6 divide t(8)?
True
Suppose d - z = -3*d + 190, -2*z - 4 = 0. Suppose l + q = d, 0 = 2*l - 4*q - 0*q - 64. Is 14 a factor of l?
True
Suppose 2*y = -3*y + 2*j + 43, y - 5*j - 4 = 0. Let v = -6 - -3. Does 2 divide ((-6)/y)/(1/v)?
True
Suppose 0 = 4*g - g - 15. Suppose 0 = -5*z - 5*v + 310, -6*z + z = -g*v - 320. Is z a multiple of 21?
True
Suppose 195 = -14*s + 1063. Does 31 divide s?
True
Let u = -56 - -28. Is 19 a factor of -42*(48/u)/2?
False
Let n(r) = 11*r - 4. Let q be (10/4)/(1/2). Does 17 divide n(q)?
True
Let l = -53 + 107. Is l a multiple of 27?
True
Let n = 116 + -77. Let i = n + -23. Is 5 a factor of i?
False
Suppose -2*v - v + j + 35 = 0, -3*j = -2*v + 21. Suppose -4*r + 3*w + 108 = 0, 0 = -4*r + 2*w + 71 + 41. Does 5 divide (8/v)/(4/r)?
True
Let i = 70 + -49. Is i a multiple of 7?
True
Let w(k) = 2*k**2 + 2*k - 4. Is 11 a factor of w(4)?
False
Let x = -54 + 108. Is 22 a factor of x?
False
Let n = -10 + 11. Suppose 3*u - 5*u = -3*a, 3*u = 5*a - n. Is u a multiple of 2?
False
Suppose -4*c - 4*v + 184 = 0, -c = -4*c + 2*v + 158. Let k = -30 + c. Is 10 a factor of k?
True
Suppose z = -3*g + 33, 6*z - 2*z = g + 2. Is g a multiple of 10?
True
Suppose 0 = -s + 5*s - 204. Is 3/2 + s/6 a multiple of 10?
True
Let o(h) = h**2 - 4*h + 13. Is 30 a factor of o(11)?
True
Suppose 4*g = 6*g. Suppose g = a + 5 - 41. Is 12 a factor of a?
True
Suppose -4 = 2*l + 24. Let s be (-1 + 61)*l/21. Is 10 a factor of (s/6)/(1/(-3))?
True
Let l(c) = c + 2. Let s be l(-2). Suppose -3*g = 3*q - 171, -q - 99 = -2*g - s*g. Is g a multiple of 26?
True
Is ((-4)/2)/(7/(-637)) a multiple of 34?
False
Suppose -3*c + 2*j = -11, 3*c - 5*j = 6*c - 25. Suppose 4*s + 72 = c*y, 0 = -y + 5*s + 2 + 4. Does 6 divide y?
False
Suppose 4*f + 388 = -0*f - 2*r, -4*f - 5*r = 376. Let m = -59 - f. Suppose g + 2*a + 3*a - m = 0, 5*g - 2*a = 92. Is 10 a factor of g?
True
Let j be 1*(6 + 6/(-2)). Suppose 5*i - j = 2, -4*i + 4 = -s. Suppose s = z - 0*z - 42. Is 12 a factor of z?
False
Let a = -61 - -97. Does 11 divide a?
False
Let p = 94 + -67. Let k = 59 - p. Is 16 a factor of k?
True
Let x = 212 - 26. Does 31 divide x?
True
Let t be (-4)/14 - 110/7. Let a = t + 26. Is a a multiple of 10?
True
Suppose -2*g + 0*g = 2*q + 10, 0 = 2*q - g + 13. Is 4/(-3)*(-12 - q) a multiple of 7?
False
Let t = 40 + -20. Does 20 divide t?
True
Let x = 50 - 30. Is 10 a factor of x?
True
Let w(k) = -k**2 - 5*k + 8. Let f be w(-6). Suppose 0 = 5*i - f - 18. Suppose 0 = i*g - 59 + 3. Does 10 divide g?
False
Let z(x) = -4*x - 1. Let f be z(-1). Suppose 3 = f*q - 141. Is q a multiple of 16?
True
Let v = -6 + 4. Let j(r) = -2*r**3 + 2*r**2 + 3*r. Does 8 divide j(v)?
False
Suppose -4*q = -3*z - 11, 0*q + 34 = 3*z + 5*q. Suppose -4*y + 96 = v, 5*y + 455 = -2*v + 7*v. Suppose -v + 20 = -z*x. Does 12 divide x?
True
Let w = -4 - -16. Is w a multiple of 3?
True
Let t be (-8)/1*1 + 1. Let m = 4 - t. Is m a multiple of 11?
True
Let i(b) = -12*b - 28. Does 12 divide i(-10)?
False
Let n