x - k. Is c a multiple of 6?
True
Suppose 3*m - 40 = -2*m. Is 7 a factor of (-6)/m*(3 + -23)?
False
Let l be (-16)/(-40) - (-4)/(-10). Suppose 3*i - 9 = l, -i + 99 = 3*s + 2*i. Does 15 divide s?
True
Let q be (-1 - -2)/((-5)/415). Let b = -40 - q. Is b a multiple of 9?
False
Suppose 4*w = -5*v - w + 20, -v = 5*w - 24. Is (-3 + 4)*v*-7 a multiple of 5?
False
Let y(h) = -h**2 + 4*h. Let k be y(3). Suppose -4*r = 4*d - d - 28, k*r = -5*d + 65. Does 16 divide d?
True
Is (-9)/(-6)*(-32)/(-6) a multiple of 6?
False
Suppose k = -k. Suppose k*q = 4*q - 416. Suppose 0*w = 4*w - q. Is 13 a factor of w?
True
Let b(n) = 2*n**3 - 2*n**2 - 5*n + 2. Is b(3) a multiple of 9?
False
Let m = 22 - 16. Let b(t) = 4 - 5*t + 2*t + 4*t - 3*t**3 - m - 2*t**2. Is b(-2) a multiple of 7?
False
Let g = 64 + -45. Let a = 42 + -17. Suppose a = 4*i - g. Does 11 divide i?
True
Let j be (-1)/(-1)*(5 - -2). Suppose -q - 3*q + 17 = -d, j = 4*q + d. Is q even?
False
Let h(k) = 2*k**2 + 2*k + 4. Let n be h(4). Suppose 3*p + 3 = 0, n = m + p - 3*p. Is m a multiple of 19?
False
Suppose 0*k - 6*k + 144 = 0. Is 12 a factor of k?
True
Is 19 - 23 - (-145 + -1) a multiple of 37?
False
Does 4 divide ((-2)/5)/(4/(-40))?
True
Suppose 3*z - z = 264. Suppose 3*a + 4*h - z = -a, 5*h - 69 = -2*a. Does 16 divide a?
True
Suppose 0 = 3*v - 3*b + 6, -3*v = 3*b + 1 + 29. Let q be 1/(9/v)*-6. Suppose -m - q*m = -90. Is 9 a factor of m?
True
Let h = 321 - 89. Does 18 divide h?
False
Let v(g) = -g**3 - g**2 - 2*g + 58. Let u(m) = -m + 14. Let s be u(14). Is 29 a factor of v(s)?
True
Suppose 0 + 1 = -t. Let k be (2 - -13)/3 + t. Suppose 0 = 2*h + 10, -k*l - 3*h + 3 = -18. Is l a multiple of 9?
True
Let q = 367 - 220. Is 43 a factor of q?
False
Let v(w) = w**2 - 2*w + 3. Is 18 a factor of v(-8)?
False
Let i(n) = n**2 + 2*n + 2. Suppose 0 = 4*x - 2*x - 8. Let v be x/(8/3)*-4. Is i(v) a multiple of 7?
False
Let f(r) be the second derivative of -r**4/12 - r**3/6 + 9*r**2 + 6*r. Does 6 divide f(0)?
True
Let c(h) = 18*h + 7. Does 20 divide c(5)?
False
Let y(c) = -2*c - 2. Let i be y(-2). Suppose -3*s + 2*h + 7 = 0, -2*s - i*s - 2*h + 14 = 0. Suppose 2*a - 55 = -s. Is 12 a factor of a?
False
Is 97 + (-7)/((-28)/12) a multiple of 25?
True
Let g(m) be the third derivative of -m**6/360 + 7*m**5/120 + m**4/12 + 2*m**2. Let l(j) be the second derivative of g(j). Does 8 divide l(-5)?
False
Let r(l) = l**2 + 3*l - 4. Is r(-6) a multiple of 7?
True
Let s = -147 - -247. Suppose -2*u = -6*u + s. Is u a multiple of 16?
False
Let o be 5 + (6 + -3)/(-3). Suppose 0 = o*w + 7 - 111. Is w a multiple of 18?
False
Let w be 0/(1 - (-3 + 1)). Suppose 0 = -4*b - g + 145, 2*g - 7*g + 5 = w. Does 12 divide b?
True
Let c(l) = 4*l**3. Let r be c(2). Suppose 0 = -4*i - i - 95. Let q = r + i. Is q a multiple of 12?
False
Suppose -1106 + 62 = -4*z. Suppose -3*h = -6*h + z. Is 29 a factor of h?
True
Let m = 36 - 12. Is 7 a factor of m?
False
Let z(q) = q**3 - 6*q**2 + 2*q - 5. Let h be z(6). Suppose 7*y + 5*d = 4*y - h, 4*d = 3*y - 11. Does 9 divide 1 - y - (-27)/3?
True
Suppose 5*f - d = 27, -3*f + 17 = 2*f + 4*d. Suppose 0 = 4*u, 0 = m - f*u + 2 - 11. Is m a multiple of 9?
True
Let f = -28 - -94. Does 22 divide f?
True
Is 21 a factor of 4 - ((-476)/10 + (-6)/15)?
False
Let y = -121 - -226. Is 15 a factor of y?
True
Suppose -10*v + 77 = -43. Is v a multiple of 3?
True
Suppose -5*v - 5 = 0, -x + 3*x = -4*v + 626. Suppose -b = 4*b - x. Does 19 divide b?
False
Suppose t - 34 = -t. Suppose -28 - t = -5*u. Is u/6*(-68)/(-6) a multiple of 10?
False
Suppose 0*b - f + 27 = b, -5*b = -3*f - 103. Is b a multiple of 2?
False
Suppose -v - 168 = -4*u - 5*v, -5*u + 202 = -3*v. Is 8 a factor of u?
False
Suppose 0*y = 2*y + 52. Let m = -16 + y. Let f = m + 64. Is 12 a factor of f?
False
Suppose 3*b + 1 = 7. Suppose 3*v + z - 52 = 0, -b*z + 6*z = 4*v - 80. Is v a multiple of 18?
True
Let i(p) = p + 9. Let a be i(-7). Does 12 divide (-19)/(a*(-2)/4)?
False
Suppose -2*h - 112 = -2*a + 2, -4 = 4*h. Suppose 0 = 3*j - 4*t - a, 95 = 5*j + 5*t - 45. Is j a multiple of 8?
True
Suppose -4*q - q = -25. Let b(j) = j**2 - 4*j + 6. Does 7 divide b(q)?
False
Is 0/(1 + 3) + -8 + 156 a multiple of 20?
False
Suppose 5*o + 121 = 1476. Is 13 a factor of o?
False
Let j(u) = 14*u**2 + 4*u + 1. Let f(l) = 13*l**2 + 3*l + 1. Let d(m) = 4*f(m) - 3*j(m). Is 11 a factor of d(-1)?
True
Does 11 divide ((-156)/(-65))/(3/110)?
True
Does 14 divide -3 - (-4 + -1) - 2 - -14?
True
Suppose -2*q + 6*q = 2*h - 18, -2*q - 3 = h. Suppose -2*n + n = p - 9, h*n - 24 = -2*p. Suppose -2*r + n*r = -3*k + 49, 2*k = -2. Is r a multiple of 13?
True
Let s(m) = -5*m + 1. Let r(g) = -g. Let v(o) = 2*r(o) - s(o). Let w be v(-2). Let q = 14 + w. Is 7 a factor of q?
True
Let j(b) = 3*b + 2. Let c be j(-2). Is (c/(-8))/((-2)/(-52)) a multiple of 8?
False
Is 13 a factor of (-4)/14 - (7389/(-21))/3?
True
Let z(r) = r**3 + 9*r**2 + r + 13. Let g be z(-9). Suppose -2*v + 43 + 32 = 5*y, -y = -g*v - 15. Is 5 a factor of (6/y)/(2/50)?
True
Suppose 4 = -4*a + 3*a + 3*u, 0 = -2*a + 5*u - 6. Suppose 0*x = -a*x + 38. Suppose -2*l + 4 = m, 1 = 2*l - 3*m - x. Is l even?
True
Let f = -30 - -17. Let w = 45 + -18. Let p = w + f. Is p a multiple of 14?
True
Suppose 1 = 2*l - 5. Suppose -7*r + 158 = -l*r + 3*f, 6 = 3*f. Is 10 a factor of r?
False
Let o(w) = -w + 7. Let q be -2 + -1 + (-9 - -1). Does 6 divide o(q)?
True
Suppose 2*a - a = -3, 3*u - a = -45. Let i be (-54)/(-4)*u/(-12). Does 12 divide (-3)/(-18)*8*i?
True
Let q(t) = -t + 4. Let v be q(4). Suppose 3*b + v*b - 6 = 0. Suppose -4*g + 12 = -b*g. Is 3 a factor of g?
True
Let v(w) = 2*w**3 + w**2. Suppose -2*k = 3*k + 10. Let d be v(k). Is (-3 + 0)*d/9 a multiple of 2?
True
Suppose 1 = -h, -4*w + 2*w + 73 = 5*h. Let d = -28 + 30. Suppose -45 = -d*n + w. Does 13 divide n?
False
Let x = 218 - 29. Does 21 divide x?
True
Let l = 132 - 68. Suppose 4*r = -0 + l. Does 9 divide r?
False
Suppose 0 = -8*f + 3*f + 195. Is f a multiple of 4?
False
Suppose -3*q - 3*y = -165, -5 - 56 = -q + 2*y. Does 19 divide q?
True
Let j = -7 - -7. Suppose 2*t + 4*v - 40 = j, 0*t + 15 = 3*t - 3*v. Suppose 0 = -2*x + t - 4. Is x even?
False
Let f = 86 + -59. Is 9 a factor of f?
True
Suppose -5*r = -9*r - 12, 5*t + r = 372. Does 10 divide t?
False
Does 8 divide 1*8*(1 + 3)?
True
Let v = -1 + 3. Suppose 4*n - 6 = -v*i, -5*n - 1 + 11 = 2*i. Does 4 divide n?
True
Suppose -w - 3*w = 0. Suppose -r + 7*r - 348 = w. Is 18 a factor of r?
False
Suppose 5*t = -18 - 12. Let y = t + 6. Suppose 2*x - 34 = -2*a, 5*x = 2*a - y*a + 120. Is 14 a factor of x?
False
Let h = 34 + 20. Is h a multiple of 8?
False
Let y(w) = -w**3 + 15*w**2 + 18*w - 14. Let k be y(16). Does 3 divide 119/9 + (-4)/k?
False
Suppose 0 = b - 3*b + 12. Let j(k) = -k**3 + 7*k**2 - 2*k - 4. Is 10 a factor of j(b)?
True
Suppose 4*g - 28 = 2*m, -5*m - 4 = 6*g - 5*g. Is -1*g/3 + 17 a multiple of 15?
True
Suppose -19 = 3*m + 62. Let i = m - -51. Is 8 a factor of i?
True
Let i be ((-1)/2)/(1/(-24)). Let w = i - 7. Suppose -w*r - 39 + 119 = 0. Does 6 divide r?
False
Let w = -4 - -6. Suppose 0 = w*i + 2*i - 60. Is i a multiple of 5?
True
Let n(u) be the first derivative of -u**3/3 - 9*u**2/2 + 10*u + 1. Let q(w) = 6*w - 1. Let l be q(-1). Is n(l) a multiple of 10?
False
Let n be (-10)/(-4) + (-2)/(-4). Is (n/9)/((-2)/(-48)) a multiple of 4?
True
Let v(w) = -w**2 + 9*w - 4. Let n be v(8). Suppose 20 = 4*c, -n*s + 132 = -5*c + c. Suppose 4*k = -r + s + 22, -16 = -4*r. Is 14 a factor of k?
True
Let d(z) = -z**2 - 12*z - 19. Does 8 divide d(-8)?
False
Let k be ((-3)/(-2))/(1/2). Suppose 5*p - 78 = 4*g, k*g + 2*g + 10 = 0. Let u = 10 + p. Does 12 divide u?
True
Let f = 14 + 10. Suppose -h + 3*h = 2*p - f, 2*p - 5*h - 12 = 0. Is 8 a factor of p?
True
Let c(b) = -b - 2 + 8*b + b - b. Is 19 a factor of c(3)?
True
Suppose 8*v = 6*v + 214. Suppose 4*d + y = -v + 287, -4*d + 180 = 4*y. Is 9 a factor of d?
True
Let l(q) = -19*q + 6. Is 20 a factor of l(-3)?
False
Suppose 0*p - 72 = -4*p. Does 4 divide (p/12)/(3/8)?
True
Suppose 0 = 4*x - 0*x - 180. Does 17 divide x?
False
Suppose -13*l = -9*l - 944. Does 11 divide ((-4)/(-8))/(2/l)?
False
Let w(d) = 3*d**2 + 3*d - 3. Let i be (-12)/10*(-5)/(-2). Does 4 divide w(i)?
False
Let o be 8 + -2 + 5 + -2. Suppose 0*s