oes 2 divide (-50 + 4)*(-2)/4?
False
Suppose 73*n - 74*n + 32 = 0. Is n a multiple of 32?
True
Suppose 3*c - 7 - 14 = 0. Suppose -c*w = 4*x - 2*w - 8, -3*w = 0. Is 2 a factor of x?
True
Let w(z) = -z. Let v be w(-4). Suppose -2*s + 3*s = v. Is s a multiple of 4?
True
Is 19 a factor of ((-14)/(-21))/(2/93)?
False
Let b(v) = v**2 + 21*v + 22. Does 12 divide b(-21)?
False
Let d(t) = -t**3 - 4*t**2 - 2*t + 3. Let q be d(-4). Let c(m) = -m**2 - 5*m - 5. Let j be c(-4). Let x = q + j. Does 10 divide x?
True
Let h be 4 + 4/(-2) + 31. Suppose -2*z = 25 + 13. Let r = z + h. Is 5 a factor of r?
False
Let s(d) = d**3 + 5*d**2 - 2*d - 5. Let y be s(-5). Suppose 3*p - y*x + 44 = 0, p + 2*x - 1 = -12. Let u = 0 - p. Does 6 divide u?
False
Let g = 34 + -27. Does 2 divide g?
False
Let p be 4/3 - 5/15. Let f(s) = 6 - 19*s**2 - p + 20*s**2. Is 10 a factor of f(-5)?
True
Let v = -1 + 4. Suppose -y + 3*x = -0*y + 3, -3*x + 3 = 4*y. Suppose v*o - o - 36 = y. Is o a multiple of 9?
True
Suppose 308 = 5*d - 3*p, d = 3*d - 3*p - 116. Is 16 a factor of d?
True
Let g(y) = -y + 3. Let j be g(-3). Let r be ((-1)/3)/((-1)/j). Suppose r*u - 48 = -5*p, -5*u + 89 = p - 31. Is 21 a factor of u?
False
Suppose -4*s - 2*x - 14 = 22, 2*s - 4*x = -28. Let u = -5 - s. Suppose 10 = -u*a + 6*a. Does 4 divide a?
False
Suppose 3*g = -2*y + 116, 0 = 3*g - 0 - 6. Is y a multiple of 11?
True
Let f(o) = o**3 - 2*o**2 - o - 4. Suppose 4*q - 2 = 14, -2*y = -q - 2. Let d be f(y). Is (0 - d/(-1)) + 1 a multiple of 3?
True
Let o = 85 + -63. Does 15 divide o?
False
Suppose m + 11 = -3*f, m - 2*f = -0*m + 14. Suppose 4*d + 2 - 62 = m*z, -3*z - 30 = -2*d. Let r = d - 8. Does 7 divide r?
True
Let b(a) = -a**2 + 8*a - 7. Let g be b(6). Suppose -g*n + 11 = -19. Is n/(-15) - 104/(-10) a multiple of 5?
True
Suppose -13*q = -14*q. Suppose q = -3*j + x - 2*x + 47, x - 75 = -5*j. Is 6 a factor of j?
False
Let m(y) = -4*y - 5. Does 9 divide m(-8)?
True
Let j = 3 + -3. Suppose -u + j = -13. Does 5 divide u?
False
Does 39 divide (-8)/32 - -5*89/4?
False
Does 14 divide 0 + (4 - -96 - 3)?
False
Suppose 3*l = 2*l + 3*z + 154, 4*z + 304 = 2*l. Is 7 a factor of l?
False
Let b = 3 - -2. Suppose 9 = 2*d + 3*p, -4*d - 2*p + b*p - 9 = 0. Is 6 a factor of 9 + (4 - d) + -2?
False
Let y = -53 - -115. Is y a multiple of 4?
False
Suppose -s = 4*n + 226, -5*s = n - 2*n - 46. Let b = -38 - n. Is b a multiple of 5?
False
Suppose 2*l = -14 + 6. Let s = -15 + 28. Does 13 divide 4*-1*s/l?
True
Let n(c) = c**2 + 2*c - 5. Let p be n(-4). Suppose -3*l = -3 - p. Let h(k) = 2*k**3 + 4*k**2 - 3*k. Is h(l) a multiple of 9?
False
Suppose 3*r + 2*x - x = 274, -2*r + 4*x + 206 = 0. Does 25 divide r?
False
Let j(i) = i**3 - 5*i**2 + 4*i - 3. Let l be j(4). Does 16 divide (-7)/((6/l)/18)?
False
Let d be (33/9)/(2/(-6)). Let u = 30 + d. Is 9 a factor of u?
False
Let i = 0 + 2. Does 2 divide i?
True
Let u = -3 + 8. Suppose -11 = -u*j + 9. Suppose 5*d + 4*y = 13 + 53, -j*d + 52 = 4*y. Is 13 a factor of d?
False
Let g be (8/2 - 2)*1. Suppose 2 = g*z - 0*z. Is (z/(-3))/((-4)/60) a multiple of 4?
False
Let y be (4/4)/((-2)/62). Let i be y/(-3) - 2/6. Is 2 a factor of 8/(-2)*(-5)/i?
True
Does 3 divide 188/28 - (-6)/21 - -2?
True
Suppose 0 = 4*m - 193 + 73. Is 5 a factor of m?
True
Suppose -f + 22 = -0*f. Let x = f + -14. Does 3 divide x?
False
Let z be 2 - (1 - 4 - -1). Suppose q - 70 = w - 5*w, 0 = -2*q + z. Suppose 5*n = -w + 42. Is 5 a factor of n?
True
Let u(s) = s**3 - 11*s**2 + s - 10. Let a be u(11). Is 23*a + 2 + 0 a multiple of 13?
False
Suppose 3*m = -3*r + 188 + 361, -3*r + 3*m + 531 = 0. Does 20 divide r?
True
Let q(x) = -5*x**3 - 2*x**2 + 1. Let a be q(-1). Suppose y + 12 = a*y. Does 2 divide y?
True
Let o be (-6)/15 - (-8)/(-5). Let l(g) = -4*g - 1. Does 3 divide l(o)?
False
Suppose -4*i = 5*b - 38, 2*i = 2*b - i - 29. Suppose -4*v + b = -10. Is 3 a factor of v?
False
Let k(r) = 2*r**3 + r - 2. Let z be 60/36 + 1/3. Does 11 divide k(z)?
False
Let t(q) = -16*q - 4. Is t(-2) a multiple of 14?
True
Let w be 443/4 - (-12)/(-16). Suppose -7*r + w = -2*r. Suppose -2*n + r = 2*n + m, 23 = 5*n - m. Is 5 a factor of n?
True
Let s be (-1)/(-2)*2*23. Let h = 40 - s. Does 12 divide h?
False
Suppose 0 = x + 4*x - 80. Does 4 divide x?
True
Suppose q + 15 = 4*u, 0 = -3*q - 9 - 0. Suppose -5*g = 5*a - 87 - u, -4*a = -5*g - 36. Is 5 a factor of a?
False
Does 14 divide ((-10)/6)/(3/(-126))?
True
Suppose 3*s = 3*o - s - 116, 2*o - s = 74. Suppose 4*d - o = -2*y, -y = 5*d - 6 - 15. Is y a multiple of 7?
False
Let r = 32 + -11. Is 8 a factor of r?
False
Suppose 3*i - 128 + 39 = -h, -4*h + 341 = -3*i. Does 26 divide h?
False
Let n(z) be the first derivative of z**3/3 - z**2 - 6*z - 1. Is 14 a factor of n(8)?
True
Suppose 3*q = 7*q - 2*a - 2, 0 = -2*a - 2. Suppose q*i - 5*i = -85. Let c = i + -9. Is 3 a factor of c?
False
Let g = 26 - 53. Does 2 divide (45/g)/(2/(-6))?
False
Let h = 125 - 48. Is 11 a factor of h?
True
Let r = 0 - -7. Suppose 52 = 3*g + 5*n, -n = -2*g + 4*n - r. Is g a multiple of 9?
True
Let n = 34 + -13. Does 7 divide n?
True
Suppose 0 = 3*v - 0 - 27. Is v a multiple of 9?
True
Let c be (21/(-5))/((-8)/80). Suppose -c = -5*d + 258. Is d a multiple of 15?
True
Let v = 79 - 77. Does 2 divide v?
True
Suppose 30 = -j + 6*j. Suppose 0 = 5*v - j - 29. Is v a multiple of 2?
False
Suppose 0 = -4*p + 2 - 6. Let h(m) = -98*m + 1. Is h(p) a multiple of 33?
True
Let h = 146 - 102. Does 22 divide h?
True
Let f be 0 - 3/((-9)/(-3)). Does 11 divide f + (34 - 0/(-3))?
True
Does 10 divide -1 + 24/15 + (-329)/(-35)?
True
Suppose -225 = 6*x - 11*x. Is x a multiple of 15?
True
Let f = -5 + 11. Let h = f - -6. Does 4 divide h?
True
Suppose -o = 5*w - w - 32, 5*o + 40 = 5*w. Does 4 divide w?
True
Let o = -12 - -22. Let n = o - -10. Is 11 a factor of n?
False
Suppose 3*o = -12 - 9. Let b = -9 - o. Does 13 divide 1 - (-25)/(-2)*b?
True
Let x(s) be the first derivative of s**4/4 - 7*s**3/3 + 5*s**2/2 + s - 2. Let r be x(6). Is (1 + 1)*r/(-2) a multiple of 5?
True
Suppose 0 = 5*a + 12 + 33. Let u = -6 - a. Is u a multiple of 3?
True
Suppose -2*l - 224 = -6*l. Let h = l + -39. Does 9 divide h?
False
Suppose -9 = -3*i + 6. Suppose 0 = -4*z + i*z - 36. Is 18 a factor of z?
True
Let a(c) = 103*c**2 + 8*c - 5. Let k(t) = -69*t**2 - 5*t + 3. Let i(l) = -5*a(l) - 8*k(l). Does 25 divide i(1)?
False
Suppose z = 4*z. Let v = z - 2. Does 17 divide (v + 26/(-4))*-2?
True
Suppose -2*i + 94 = -3*q - 6*i, -i = 5*q + 134. Let m = q - -65. Does 18 divide m?
False
Suppose -5*l = -8 - 2. Is l*(8 + (1 - 1)) a multiple of 15?
False
Suppose -2*k + 2*j + 6 - 16 = 0, 21 = -5*k + j. Is (2/(k/22))/(-1) a multiple of 9?
False
Suppose 10*k = 8*k + 8. Is (-5 + 9)*9/k a multiple of 3?
True
Let z(c) be the first derivative of -c**4/4 + 2*c**3 + c**2/2 - 3*c + 2. Is z(6) even?
False
Suppose 2*k - 4*j - 56 = 0, 6*k - 93 = 3*k + 3*j. Does 17 divide k?
True
Let q(u) = -2*u**2 - 22*u + 6. Let y(k) = -k**2 - 7*k + 2. Let w(s) = 3*q(s) - 8*y(s). Is 6 a factor of w(7)?
True
Suppose 3*l - 19 = -2*l - c, 4*l - 18 = 2*c. Is 24 a factor of 414/15 - l/(-10)?
False
Let r(t) = -14*t + 6. Is r(-3) a multiple of 24?
True
Let z = 11 - 8. Suppose -3 = -z*o + 24. Does 9 divide o?
True
Suppose -644 = -7*k - 21. Is k a multiple of 32?
False
Let a be (-3 - -1)*9/(-2). Let f = a + 8. Is 14 a factor of f?
False
Let y(b) be the first derivative of b**3/3 + 2*b**2 + 3*b - 7. Does 7 divide y(4)?
True
Let c(z) be the second derivative of -z**3/2 + z**2/2 - z. Suppose 3*i - 9 = -12. Is c(i) a multiple of 2?
True
Let h(q) = 32*q - 1. Suppose -4*g + g + 15 = 0. Let w be h(g). Suppose -w + 39 = -5*r. Is 12 a factor of r?
True
Let v be ((-2)/(-3))/((-10)/(-45)). Suppose z - 19 = -v*b - b, -b = -2*z + 83. Is z a multiple of 13?
True
Does 55 divide (-9)/18 + 441/2?
True
Let s(i) = i**3 - 7*i**2 + 2*i - 8. Let r be s(7). Let n(u) = u**3 - 5*u**2 - 7*u + 9. Let f be n(r). Suppose -f*y + 50 = 2*y. Does 10 divide y?
True
Does 10 divide 14 + 4/2 - -4?
True
Let z(j) be the second derivative of 0*j**2 + 1/12*j**4 + 2*j + 0 - 1/2*j**3. Is 18 a factor of z(-3)?
True
Suppose 2*q = -3*n - 0 + 19, -3*q - 3*n = -24. Is 2 a factor of q?
False
Suppose -4*k - 7 - 1 = 0. Let b(s) be the second derivative of 5*s**4/12 + s**3/2 + 2*s. Is b(k) 