pose -z*m - k + 2*k = 300, -2*m - 200 = 4*k. Does 13 divide (-16)/(-10)*m/(-8)?
False
Let u = -9 + 21. Let j be 9/6 + 7/(-2). Does 17 divide (6/u)/(j/(-204))?
True
Let j(o) = -o**2 + 7*o + 3. Let b be (7/4)/(5/20). Let q be j(b). Suppose -q*h - 51 = -6*h. Is 17 a factor of h?
True
Suppose 0 = -5*a + 29 + 21. Suppose -g + a = -5*p, 0*g = 4*g + 4*p - 40. Does 2 divide g?
True
Let t = 4 - 2. Let h be (-196)/(-6) + t/(-3). Suppose 0 = -5*b + h + 63. Does 19 divide b?
True
Let p be (1 + -4)/((-6)/4). Suppose 3*v = -0*v + 3. Is 2*v/p*5 a multiple of 4?
False
Does 9 divide (-27)/(-4)*80/30?
True
Let w = -27 + 9. Let s = 36 - w. Is 18 a factor of s?
True
Let i(o) = -2 + o + 0 + 5 + 4. Let r be i(0). Suppose r = -2*q + 75. Is 17 a factor of q?
True
Suppose -3*h + 7*h = 0, -2*h = 4*u - 116. Is u a multiple of 7?
False
Suppose -4*y = -3*l - 465, 2*y - 84 = 2*l + 148. Is y a multiple of 38?
False
Let w(l) = l**2 + l + 7. Let a be w(0). Let i = 2 + a. Is i a multiple of 5?
False
Let v = -80 - -115. Does 35 divide v?
True
Suppose 0 = a - 0 - 3. Suppose 3*b - 81 = -5*s, 2*s - s + 99 = a*b. Suppose -5*w = -n - 32, 5*w = w + 4*n + b. Is 4 a factor of w?
False
Let l(r) = 2*r - 3 - 4*r + r. Let z be l(-6). Is 11 a factor of (-5)/(-2*z/18)?
False
Let j = 13 + -24. Let t(f) = -4*f. Is t(j) a multiple of 22?
True
Let r be 5/(-20) - (-114)/8. Let q = 8 - r. Is 4/q - 60/(-9) a multiple of 6?
True
Let w(f) = f**2 - 8*f + 1. Let q be w(8). Let n be (36/8)/(q/6). Let x = n - 19. Does 8 divide x?
True
Let w(l) = l**3 + 4*l**2 - 1. Let m = -2 - -15. Suppose -z - 5*p - m = 0, z + 0*z - 3 = 3*p. Does 8 divide w(z)?
True
Let z = -35 - -96. Let u = -36 + z. Is 16 a factor of u?
False
Let t = -10 - -21. Does 11 divide t?
True
Let f = 50 - 29. Suppose 3*j + 9 = f. Is j even?
True
Let g(i) = -18*i + 9. Does 9 divide g(-3)?
True
Let z = -5 + 4. Let f = 8 - z. Is 3 a factor of f?
True
Suppose -5*z + 4*b + 11 = 0, 10 = 2*z + 2*z - 2*b. Suppose z*j - 21 = 3. Is j a multiple of 4?
True
Let b = 159 + -82. Is 11 a factor of b?
True
Suppose 0 = -0*v + 3*v + 27. Let r(j) = j**3 + 9*j**2 - j - 5. Let m be r(v). Let l(p) = 5*p - 6. Is 5 a factor of l(m)?
False
Is 145 + (-5 - -3) - 3 a multiple of 10?
True
Let r(u) = -u**2. Let n be r(-1). Suppose 0 = 2*q + 4*y - 2, -6*q + q - 9 = 3*y. Is 3 a factor of 104/12 + n/q?
True
Let v(f) = 2*f**2 + 5*f + 14. Is 14 a factor of v(-6)?
True
Suppose n + 0*m = -m + 6, 2*n - m = -3. Is 3 a factor of -2 - -5 - (n - 1)?
True
Let t = 1 + -1. Suppose -2*y = -3*h + 3, y + 2*h = 4*h - 3. Suppose b + y*z - 2 = 18, t = 5*b + 5*z - 70. Is 8 a factor of b?
False
Suppose 5*p + 69 = 4*n, -n + 0 + 9 = -4*p. Does 7 divide n?
True
Let o(i) = -i**2 + 12*i + 1. Does 10 divide o(11)?
False
Suppose -4*a - 330 = -7*a. Is a a multiple of 14?
False
Suppose 0*i = 4*i - 12. Suppose v = 4*v + i, -5*h - v = 531. Is 8 a factor of h/(-8) - (-1)/(-4)?
False
Let f(t) = 2*t**2 + 12*t + 3. Does 3 divide f(-6)?
True
Let j = -20 + 33. Let k = -1 - -2. Let i = j - k. Does 12 divide i?
True
Let s(t) = t + 8. Let k be s(-5). Suppose 43 = k*j - 92. Is 13 a factor of j?
False
Let y(u) = -u**3 - 6*u**2 + 6*u - 7. Let d be y(-6). Let j = 62 + d. Does 10 divide j?
False
Let l(c) = -c**2 + 2. Let i be l(0). Is 0/i + 1 + 11 a multiple of 4?
True
Let i(w) = w**3 + 2*w**2 - w + 1. Let r be i(-2). Let o = 177 - 47. Suppose o = r*a + 2*a. Is a a multiple of 13?
True
Let o = -2 + 11. Suppose 2*z = -z + o. Suppose 4*i - 8 = 4*j - z*j, 3*i + 2*j - 17 = 0. Is i even?
False
Suppose -3*k - 170 = -2*c, 0 = 4*k - 7*k + 6. Suppose -2*h = 2*h - c. Does 7 divide h?
False
Is 0 + 4/6 - (-2506)/21 a multiple of 15?
True
Suppose 0 = -7*o + 487 + 521. Is o a multiple of 12?
True
Let m be 4/(-16) + 19/(-4). Let n = 8 + m. Suppose -n*o - 6 = -54. Is o a multiple of 16?
True
Suppose -2 = -3*z + 28. Let h be (-98)/(-5) + z/25. Let a = 4 + h. Is 12 a factor of a?
True
Let f = -1739 + 947. Let m be (1/2)/((-3)/f). Suppose 4*c = -0*c + m. Is c a multiple of 14?
False
Is 3 a factor of ((-54)/(-8))/(18/48 + 0)?
True
Suppose -2*c = -5*s + 40, 4*s = -c + 4*c + 25. Suppose -2 - s = 2*p. Does 3 divide (p/(-4))/(1/2)?
True
Let i be (0 + 1)*0/1. Suppose i = -5*z - 5 + 30. Is z a multiple of 3?
False
Let j = -3 + 4. Suppose -2*b + j = -11. Is b a multiple of 6?
True
Let z = 132 - 56. Does 19 divide z?
True
Suppose 2*r - 12 = -0*r. Suppose x + 2*c = r + 3, 5*c = -5*x + 65. Is x a multiple of 7?
False
Does 7 divide (-1 + 15)/(-1*1/(-1))?
True
Suppose 0 = 3*h + 5*m - 15, h + 2*m = 5. Suppose 2*x + h = d + 5*x, 3*d + x - 23 = 0. Suppose 2*g = 4*s + 6 + 18, 0 = -4*s - d. Is g a multiple of 8?
True
Let h = -72 + 133. Let i = 102 - h. Is i a multiple of 17?
False
Let l(o) = 0*o + 2*o - 3*o - 3*o**3 - 1 - o**2. Let d be l(-1). Suppose 5*w + 0*w = -4*y + 23, y - 11 = -d*w. Does 4 divide w?
False
Let r = 3 - -32. Suppose 3*d - r = -2*d. Is d a multiple of 7?
True
Suppose -p = 10 - 3. Let o(h) = h**2 + 6*h + 6. Does 13 divide o(p)?
True
Suppose 456 = -j + 9*j. Is 2 a factor of j?
False
Let z(q) = -q + 204. Let j be z(0). Does 11 divide 2/(-3) - j/(-9)?
True
Suppose 3*b = -3*p + 9, 3*p + 47 = 6*b - 2*b. Let k be 12/(-2)*110/(-30). Let y = k - b. Is y a multiple of 11?
False
Let w = -4 - 2. Suppose 2*k - 5*i = 3*k - 24, 2*i = 3*k - 38. Let j = w + k. Is 5 a factor of j?
False
Let b = 74 - 42. Does 16 divide b?
True
Let m(t) = -t**2 - 19*t - 14. Is 7 a factor of m(-14)?
True
Suppose -3*t + 2*t - 35 = 0. Let w = t - -50. Is w a multiple of 6?
False
Suppose -2*g = -g - 1, -5*g = r - 35. Suppose 5*t + r + 40 = 0. Let m = t - -26. Does 4 divide m?
True
Let m = -41 - -77. Let y = 88 - m. Does 13 divide y?
True
Let s(v) = v**3 - 3*v**2 + 3*v. Let a be s(2). Let f = a + 15. Is 14 a factor of f?
False
Let b = -13 - -25. Is b a multiple of 3?
True
Let l(g) = -g**2 + 4*g + 5. Let c be l(5). Suppose 0*f + f - 21 = 0. Suppose a = c, 2*y + a = y + f. Does 21 divide y?
True
Suppose 0 = -y - y + 8. Suppose y = a, -14 = -v - v - a. Is v a multiple of 2?
False
Let d = 3 + 5. Let c(m) = -m**3 + 9*m**2 - 8*m. Let k be c(d). Suppose 10 = g - k. Is 10 a factor of g?
True
Let n(j) = 0*j**2 - j + j**2 - 2 - 5*j - 2*j**2. Let u be n(-5). Suppose -5*v = -2*p - 0*p + 84, 3*p = -u*v + 126. Is p a multiple of 16?
False
Suppose -f + 3 = -4*f. Let s be (f - 1 - -1)/1. Let n = s + 3. Is n even?
True
Let s be -2 - (0 - (-2 + 3)). Let g = 6 + s. Does 5 divide g?
True
Let r = -231 + 367. Is 17 a factor of r?
True
Let f(y) = -20*y**3 - y**2 + y + 2. Is f(-1) a multiple of 12?
False
Suppose 6 - 2 = 2*k. Let n(p) = -5*p + 3*p + 0*p + 3*p**k - 4. Is 18 a factor of n(4)?
True
Let u be 0*(6/(-4) + 2). Suppose m = c - 2, 2*c + 0*c = m. Does 7 divide (4 + c)*(7 - u)?
True
Suppose -3*o - 10 = -16. Suppose 72 = 4*i - 5*q - 64, 50 = 2*i + o*q. Does 10 divide i?
False
Let b(c) = -6*c - c + 8*c + 8*c. Is b(2) a multiple of 9?
True
Suppose g - 2 - 2 = 0. Let s = 58 + 16. Suppose -4*m + s + 54 = -g*r, r - 36 = -m. Is 17 a factor of m?
True
Suppose 0 = -3*f + 3*z + 423, 3*f - 684 = -2*f - 2*z. Does 28 divide f?
False
Suppose -4 = -2*f, 3*f - 16 = -2*c - 0*f. Let h(u) = -u + 7. Let q be h(c). Suppose 0 = -i - q*i + 90. Is 12 a factor of i?
False
Let y(n) be the second derivative of -2/3*n**3 + 0 - 2*n + 3/2*n**2. Does 9 divide y(-6)?
True
Let m(h) = -h - 1. Let y be m(-3). Suppose -l + 4 = -y*l. Let k = l - -9. Does 5 divide k?
True
Is (24/4 - 2) + 2 even?
True
Suppose 2*n - 5*t = -4, -n = -t - t + 1. Suppose -62 = -2*y + 4*b, -2*b = -n*y + 3*b + 95. Suppose a + 2*i - 2 = 0, -3*a + 4*i + y = -21. Does 12 divide a?
True
Suppose 5*w + 3*l = 608, w = 3*w + 2*l - 240. Is w a multiple of 5?
False
Suppose 2*j + 66 = 2*c, -63 = -4*c - j + 89. Suppose -c = -4*o + 155. Does 17 divide o?
False
Let n = 2 - 4. Let d be n/4 + (-23)/2. Let f = d + 34. Is f a multiple of 9?
False
Suppose -2 - 6 = -4*y. Suppose -10 = -x + y*r + 13, 0 = -2*x - 2*r + 52. Is x a multiple of 9?
False
Suppose -7*i = -3*i - 312. Is 26 a factor of i?
True
Let a = -2 - -7. Suppose a*x - 15 = 80. Is 13 a factor of x?
False
Let r be (15/10)/((-1)/(-2)). Suppose 4*s = -16, 0 = -r*g + 2*s - 26 + 115. Does 9 divide g?
True
Is 23 a factor of (-4)/6 + 1784/12?
False
Let g(b) = b**3 - 2*b**2 + b + 2. Is 3 a factor of g(3)?
False
Let j(a) =