vide k + (-3 - -3) + 38?
True
Suppose 38 = 5*h - 112. Does 15 divide h?
True
Let n(a) = -7*a + a**3 + 4*a**2 + 11 + 3*a**2 + 2*a**2. Does 16 divide n(-9)?
False
Let c(k) = 2*k - 1 + 0 + 5 + k**2. Suppose 3*y - 2 = 1, 4*q = -3*y - 13. Is 12 a factor of c(q)?
True
Let o(x) = x**2 - 5*x + 8. Let i(q) = -q**2 + 9*q + 6. Let r be i(9). Does 10 divide o(r)?
False
Let p(u) be the first derivative of -u**4/12 + 5*u**3/3 - 2*u**2 + 2*u + 2. Let j(q) be the first derivative of p(q). Does 5 divide j(9)?
True
Let f(l) = 100*l**2 - l - 1. Is f(-1) a multiple of 10?
True
Let h(k) = 2*k**3 + 22*k**2 + 41*k - 15. Let d(b) = b**3 + 11*b**2 + 20*b - 7. Let a(l) = -13*d(l) + 6*h(l). Does 10 divide a(-10)?
False
Let o(s) = -63*s + 1. Let b(n) = -n - 3. Let r be b(-2). Does 29 divide o(r)?
False
Let t = -34 - -116. Is 5 a factor of t?
False
Let h = -2 - -22. Is 5 a factor of h?
True
Suppose -2*h = -23 - 25. Does 12 divide h?
True
Suppose -h = 2*a - 24 - 123, -4*h = -3*a + 193. Is 16 a factor of a?
False
Suppose w = 2*o + 2*o - 14, 2*o - w = 8. Suppose -4*b - 19 - 29 = 2*a, -102 = 5*a + b. Is 2 a factor of o/2*a/(-15)?
True
Let m(x) = x**3 - 6*x**2 - 5*x - 10. Suppose k - 2 = 5. Let u be m(k). Suppose -u*p = -4*j - 12, 2*p + 4*j = -0*j + 18. Does 2 divide p?
False
Let p(k) = -k**3 - 6*k**2 + 3*k - 6. Let a be p(-7). Suppose 3*d - 4*d = 0, 3*d = 2*w - a. Is w a multiple of 6?
False
Suppose 0 = -3*y + 3*j + 12, 0 = -2*y + j + 2 + 6. Suppose -35 + 183 = y*h. Suppose -4*t - 2*m + 118 = 0, 2*t - 2*m - 7 = h. Is 11 a factor of t?
False
Let j be (35/(-21))/((-1)/3). Let l = j - -10. Is 5 a factor of l?
True
Suppose 8*d = 484 + 460. Does 27 divide d?
False
Suppose 4*p + 334 = 2*g - 0*g, 4*g - 2*p = 680. Is g a multiple of 45?
False
Let f = 121 - 38. Suppose 2*k - f = 1. Is 11 a factor of k?
False
Let d be ((-5)/((-10)/12))/2. Suppose d*m + 1 - 16 = 0. Is 2 a factor of m?
False
Suppose 8 = -3*m + 2*j - 4*j, 0 = -3*m - 3*j - 9. Let z = m + 3. Is (-3)/z - 1*-7 even?
True
Suppose 3*c = 22 + 92. Let m = 131 + -37. Suppose 4*i = 5*w - m, -3*w = -5*w + 2*i + c. Does 12 divide w?
False
Is (-6)/8 - 2261/(-28) a multiple of 20?
True
Let v be 1267/5 + 20/(-50). Suppose 0 = -5*k + v - 63. Is 9 a factor of k?
False
Let b = 15 - -4. Is 5 a factor of b?
False
Suppose 0 = -t + 6*t - 90. Is t a multiple of 16?
False
Let f = -37 - -21. Let g be (-32)/(-14) + f/56. Let t(x) = 18*x - 1. Is 12 a factor of t(g)?
False
Is 4 a factor of 4/(-12)*-1*57?
False
Suppose -u + 5*y = u - 127, 4*u - 4*y = 284. Is u a multiple of 12?
False
Is (-1426)/(-8) + 12*1/16 a multiple of 41?
False
Let o = -7 - -32. Does 5 divide o?
True
Let z = 209 + 63. Suppose 5*o - z = -u, -3*o = -u - 20 - 140. Is o a multiple of 14?
False
Does 11 divide ((-1)/((-1)/34))/(2/11)?
True
Let z(q) = -q + 4. Let n be z(0). Suppose 5*o + 141 + 10 = 3*a, n*a + 2*o = 210. Is 26 a factor of a?
True
Suppose 10 = 2*f + 2. Let l = 6 - f. Suppose -4*s - l = -14. Is s a multiple of 2?
False
Suppose -760 = 2*n - 4*n. Suppose 0 = -a - 4*a + n. Let h = a + -52. Is h a multiple of 12?
True
Let q be -2*(-3)/((-18)/(-3)). Let n = 0 + -2. Is 17/2 - q/n a multiple of 4?
False
Suppose -4*g + 0*g + 8 = 0, u - 2*g + 1 = 0. Does 2 divide 22/u - 1/3?
False
Suppose 2*t = -5*f - 2*t + 119, f + 5*t = 7. Let m = -7 + f. Is m a multiple of 4?
True
Let c(p) = 21*p**3 + 1. Let k be c(1). Let m be (-204)/(-119)*(1 + -8). Let h = m + k. Is 6 a factor of h?
False
Let a(w) = -w + 135. Let s be a(0). Let h = s - 50. Does 17 divide (4/(-10))/((-1)/h)?
True
Let s(q) = -q - 2. Let c be s(-4). Let k = 0 + c. Suppose -4*x + b = -k*b - 13, -x + 32 = 5*b. Is 7 a factor of x?
True
Let i(s) = s**2 + 6*s - 5. Let a be i(-7). Suppose a*p = -4*o + 4, -4*p + 21 = 4*o - 7. Is 10 a factor of p?
False
Suppose -3*y - q + 702 = 2*q, 4*y - 2*q - 954 = 0. Is 16 a factor of y?
False
Suppose -a = -3 - 1. Let u be a/(-3)*(-333)/6. Suppose 0 = k - 3*k - 4*i + u, -5*i + 78 = 2*k. Does 14 divide k?
False
Let q(a) = 2*a + 5*a**2 + 6*a**2 + 3 - 2. Let u be q(-1). Let x = u + 4. Is x a multiple of 7?
True
Let x = -19 - -35. Suppose u = -2*d + 2, -4*u - x = -10*d + 6*d. Suppose 2*w = -2*f - 0*f + 10, 40 = d*f - 4*w. Is f a multiple of 10?
True
Suppose -3*n + 117 + 125 = -d, d - 311 = -4*n. Let q = n - 51. Suppose -q = -5*g + 4*g. Does 14 divide g?
True
Suppose -2*p + 3*n - 2 = 2, 0 = -2*p - 2*n - 14. Is (-28)/p + (-10)/(-25) a multiple of 6?
True
Suppose -l + 65 = -0*l. Is l a multiple of 12?
False
Suppose -28 = -2*z + c, -5*c + c = -3*z + 37. Let b = -3 - -5. Does 17 divide b - 5/(z/(-96))?
True
Let x(a) = 6*a**3 + a**2 - 1. Let h be x(-1). Let d be ((-68)/(-6))/((-2)/h). Suppose 2*q = d - 10. Is q a multiple of 9?
False
Let a(u) = 2*u**2 - 6*u + 16. Does 9 divide a(7)?
True
Let t(l) = -l**3 + 6*l**2 - 5*l + 3. Let d be t(5). Suppose -d*m + 41 = g, m = -g - m + 37. Is 8 a factor of g?
False
Is 2/7 - (-1317)/21 a multiple of 10?
False
Let t(w) = w**3 + 7*w**2 + 6*w + 5. Let k be t(-6). Suppose -k*i - 38 = -3*p, p + 3*p - 12 = -3*i. Is 3 a factor of 38/6 - 2/p?
True
Let z = -5 + -4. Does 6 divide (z/(-6))/((-2)/(-8))?
True
Suppose -2*f - 2 = -8. Suppose -8 = -0*m - 4*m, -11 = -f*t + 5*m. Does 2 divide t?
False
Let h = 21 - 14. Is h a multiple of 7?
True
Let o(k) = k**3 + 9*k**2 + 5*k - 9. Is 3 a factor of o(-8)?
True
Suppose x = 3*d + 62, 2*x + 2*x + 4*d = 312. Let r = x - 49. Does 5 divide r?
True
Suppose 5*k - 280 = -5*w, k + 260 = 6*k - 5*w. Is k a multiple of 18?
True
Let u(t) = t**2 - 2. Let c be u(-2). Suppose c*n = 7 + 19. Is n a multiple of 13?
True
Let p be (-8)/(-20)*(-1 - -11). Suppose 0 = -3*j - p*m - 3, -m = 3*j - 3*m - 15. Suppose u - h = -3*u + 123, 5*h + 88 = j*u. Does 16 divide u?
False
Let r = 12 + -8. Suppose -p - 4*b + 12 = 0, 0*p - r*b - 36 = -p. Is 8 a factor of p?
True
Suppose -4*u - 4*c = -11 - 1, -2*u = -3*c - 1. Suppose 3*a - 580 = -u*a. Suppose 3*i - j - 3*j - 90 = 0, a = 4*i - 4*j. Is 11 a factor of i?
False
Let a(s) = s**3 - 5*s**2 + 3*s + 9. Is a(4) a multiple of 2?
False
Let z = -216 - -308. Is z a multiple of 23?
True
Let m(r) = r**3 + 2*r**2 + 2*r + 80. Is m(0) a multiple of 20?
True
Suppose v + v - 156 = 0. Suppose -4*w + v = o - 3*o, 96 = 5*w - 4*o. Does 10 divide w?
True
Let h(c) = -3 + 0*c + 3*c + 6*c - c + c**2. Let q be h(-9). Let s = 13 - q. Does 3 divide s?
False
Let y = 60 - 12. Is 12 a factor of y?
True
Suppose 4*u = -4*v + 240, -5*v + 4*u + 232 = -v. Suppose -v = -3*n - 2*p, -2*n + 5*p = -7*n + 90. Does 9 divide n?
False
Let m(k) be the second derivative of k**5/20 - 5*k**4/12 - k**3/2 + 3*k**2 - 5*k. Is 8 a factor of m(6)?
True
Let r(j) = 2*j - 6. Let p be r(5). Suppose 2*t + 0*t - 3*s - 7 = 0, 0 = p*t - 2*s - 10. Suppose -14 = -t*a - 4, 0 = y + 3*a - 21. Is y a multiple of 6?
True
Suppose 4 + 6 = 4*w + o, -3*o - 21 = -5*w. Suppose 223 = 5*q - 0*q - 2*p, w*q - 132 = 3*p. Let n = -27 + q. Is 6 a factor of n?
True
Is 10 a factor of 6/4*2 - -76?
False
Suppose -4*r = r. Let m(y) = -2*y**3 + r - 4*y**2 + y**2 + 1. Is 10 a factor of m(-3)?
False
Suppose q - 12 = -0*q. Is q a multiple of 6?
True
Suppose -2*m = m. Let r be (-1 - -2) + 2 + m. Does 10 divide r*((-50)/3)/(-5)?
True
Let p = 81 - 40. Does 3 divide p?
False
Let a = -697 + 1027. Does 12 divide a?
False
Does 2 divide 88/9 - (-2)/9?
True
Let s(h) = 135*h**2 - 2*h - 1. Let a be s(-1). Let k be (2/(-4))/(4/a). Does 17 divide (k/3)/((-2)/12)?
True
Suppose 5*y = -4*f + 36, 0*y = -y - 5*f + 3. Suppose 44 = h + y. Does 15 divide h?
False
Let z(k) = 9*k + 1. Is 12 a factor of z(2)?
False
Let w = -16 - -9. Let f(m) be the second derivative of m**4/12 - 2*m**2 - m. Is f(w) a multiple of 20?
False
Suppose 70 = 2*d - 0*d. Let m = 84 - d. Suppose 3 = 4*b - m. Does 7 divide b?
False
Let m(v) = 2*v. Let l be m(2). Suppose 0*u = -2*u + l. Suppose 68 = -0*n + u*n. Is 19 a factor of n?
False
Suppose 3*g + 72 = 5*g. Does 9 divide g?
True
Suppose 0 = 2*h - 4*h - y + 31, -4*h = y - 67. Is 9 a factor of h?
True
Suppose -73 = 5*r - 2*c - 12, -2*r - 20 = -3*c. Let a = -5 - r. Does 12 divide (-9)/(2/a*-3)?
True
Suppose -6 = -4*z + 2. Suppose 5*h = -w, 5*w + 2*h + z*h - 21 = 0. Does 17 divide ((-17)/4)/(w/(-40))?
True
Let r = 96 - 37. Suppose -r = -3*x + 79. Does 23 divide x?
True
Suppose -5*m - p + 1165 = 0, 5*m + 2*p + 3*