 Let n = -97 - x. Does 23 divide n?
True
Let m be 0/(-1) + (-440)/4. Let g = -23 + m. Let f = -82 - g. Is f a multiple of 17?
True
Let w = 2564 - 1988. Is 17 a factor of w?
False
Let u(o) be the first derivative of o**4/4 - 2*o**3/3 + o**2 - 5*o - 1. Is 2 a factor of u(3)?
True
Suppose -8402 = -11*n + 5*w - 9*w, 3*w + 3795 = 5*n. Is n a multiple of 24?
False
Suppose 6*h - 4 - 8 = 0. Suppose -h*t = -5*r - 257, r + 475 = 4*t + 4*r. Is t a multiple of 13?
False
Let t(h) = 3*h**2 + 14*h + 87. Does 16 divide t(-25)?
False
Suppose 6*m = 2*m + 148. Is 18 a factor of m - (1 + -2 + 2)?
True
Suppose 47 = 6*i - 25. Let l be 52/i - (-3)/(-9). Suppose v = -l*k + 3*v + 24, -v - 36 = -5*k. Is 2 a factor of k?
True
Let i = -53 + 79. Suppose 0 = 4*f - 8*f + 8. Is i + (0/(-4))/f a multiple of 7?
False
Let o be ((-5)/15)/(-1) + 1/(-3). Suppose 0 = -p + 4*u + 4 - 18, -5*p = 3*u - 22. Suppose k + 0*i + p*i - 6 = 0, 3*i + 3 = o. Is k a multiple of 4?
True
Let u = 165 + -105. Is u - (-7 + 3 + 1 + 3) a multiple of 10?
True
Let r be 3401/3 - (8/(-6) - -1). Suppose 0 = -12*o - 2*o + r. Is o a multiple of 48?
False
Suppose 3*w + 68 = 7*w + 5*a, -4*w = -4*a - 104. Suppose w*z = 19*z + 51. Does 8 divide z?
False
Suppose -2*t = -5*w + 446, -4*w - 3*t = -8*t - 367. Does 11 divide w?
True
Let q be (58 + (7 - 4))*5. Let c = -175 + q. Is 26 a factor of c?
True
Let i = -847 + 1174. Is 29 a factor of i?
False
Let t = -14 + 11. Let d(l) = -l - 5. Let c(n) = n + 4. Let w(y) = t*c(y) - 2*d(y). Is w(-8) a multiple of 3?
True
Suppose -g + 5 = -2*r, r = -5*g + 2*r + 16. Suppose -4*v - 762 = -5*m, 0*m = -2*m + g*v + 302. Is m a multiple of 7?
True
Let w be (-12 - -16) + 0 + 12. Suppose w*o - 115 = 11*o. Is o a multiple of 8?
False
Suppose -3*j + 31 - 10 = -4*g, 3*j + 5*g - 21 = 0. Let f(t) = -3*t**3 + 0*t**2 + 2*t**3 + 7 + 8*t**2 - j*t - 3. Is f(6) a multiple of 17?
True
Let b(q) = 7*q**2 - 3*q - 3. Let n be b(3). Suppose -2*l = -0*d + d - 30, 0 = -d + 5*l + n. Is d a multiple of 35?
False
Let p(w) = -4*w + 42. Let r be p(0). Suppose -z - 4*n + r = -8*n, -n = 4*z - 83. Does 12 divide z?
False
Let v(m) = -m. Let b be v(-3). Suppose -b*u - 10 = 20. Is 2 a factor of (-135)/(-25) - (-4)/u?
False
Let h(l) be the third derivative of -l**6/120 + l**5/20 + l**4/12 + 25*l**3/3 + 8*l**2. Let w(i) = -i**2 - i. Let y(p) = h(p) + 3*w(p). Does 21 divide y(0)?
False
Is (31*-1)/(-6*8/384) a multiple of 27?
False
Suppose -4*f = c - 33, -4*f + 6*f - 2*c = 14. Suppose 0 = -3*m + f - 32. Let w = m + 54. Is w a multiple of 23?
True
Let t(s) = 17*s**2 - 2*s - 2. Let o be 2 - (-4)/(-8)*6. Let x be t(o). Suppose -16*g + x*g = 11. Is g a multiple of 11?
True
Suppose 2*w = 3*h - 5*h + 1720, w = -5*h + 4320. Does 55 divide h?
False
Let p = 35 - 35. Suppose -216 = s + s. Is (p + s)*3/(-6) a multiple of 18?
True
Let o(l) = 27*l**2 - 8*l - 43. Is 28 a factor of o(-5)?
True
Let h = -23 - -47. Let t = 48 - h. Suppose 0 = 2*b - b - s - t, -b - 5*s = -18. Is b a multiple of 6?
False
Let k(w) be the first derivative of 2*w**3/3 + 5*w**2/2 - 4*w + 2. Let f be k(3). Let o = f - 17. Is o a multiple of 12?
True
Suppose 2 = y - 3*y. Let t(k) = 10*k**2 + 2*k + 1. Let v be t(y). Is 2/v + (-2620)/(-36) a multiple of 23?
False
Let r(n) = 2*n - 22. Let k be r(13). Suppose -214 = -k*l - 3*o, 5*l - 273 = -0*o - o. Does 14 divide l?
False
Suppose -3*f - v + 408 = 0, -3*f + 390 = -5*v - 0*v. Does 15 divide f?
True
Let i(g) = -6*g + 2. Let d(q) = q**3 - 8*q**2 - 8*q - 7. Let z be d(9). Suppose -12 = z*m + 2*m. Is 10 a factor of i(m)?
True
Let a = 11 - 16. Let x(t) = -t**2 - 8*t - 7. Let u be x(a). Let m(n) = -n**2 + 11*n - 7. Does 10 divide m(u)?
False
Is 23 a factor of 2/11 - (-1024)/176 - -270?
True
Let d(a) be the first derivative of a**3/3 + 5*a**2 + 11*a + 13. Does 15 divide d(-13)?
False
Suppose -3*g = -m - 79, -m = 3*g - 36 - 47. Suppose 0 = 6*a + 3 - g. Suppose -127 - 333 = -a*l. Is l a multiple of 32?
False
Let c be 12*2/(-4)*(-6)/9. Suppose c*o = -2*t + 170, -o + 2*t + 166 = 3*o. Is 14 a factor of o?
True
Suppose 0 = s - 54 + 18. Let o = s - -12. Is 12 a factor of o?
True
Suppose 3*z - 23 = 2*g, 4*z - 23 - 21 = -4*g. Let f be 1/3 + 15/z. Let t(m) = 3*m**2 + 2*m - 2. Is 7 a factor of t(f)?
True
Suppose 134 = 3*m + 50. Is (1 - m/(-8))*6 a multiple of 7?
False
Let w = 18 - 10. Is 36 a factor of (-1728)/w*1/(-1)?
True
Let y be 44/(-10) - 10/(-25). Let t(g) = -17*g + 1. Is t(y) a multiple of 20?
False
Suppose 8*b - 25 = 3*b, 212 = 2*t - 4*b. Let r = 227 - t. Is r a multiple of 16?
False
Let q be 2 + -5 - 12*-1. Let g be ((-48)/9)/((-6)/q). Suppose 15 + g = n. Is n a multiple of 11?
False
Suppose -7 = -r - 5. Is 2*r/(-12) - 1578/(-9) a multiple of 28?
False
Is 3 a factor of (-595)/(-17) + (-4)/2?
True
Suppose 1128 = -4*y + 2832. Suppose -5*p + y + 344 = 0. Is 26 a factor of p?
False
Let a be 64/(-40)*70/(-4). Let b = 44 - a. Suppose 6 = -3*v, -5*f = 2*v - b - 30. Is 5 a factor of f?
True
Let m be 3/(-2)*(-32)/6. Suppose 3*y = 5*v - 11 - m, -2*v + 16 = -4*y. Suppose w + v*w - 60 = 0. Is 20 a factor of w?
True
Suppose -12*j = -5*q - 15*j + 14063, q - 4*j - 2831 = 0. Is q a multiple of 29?
False
Let c(l) = -l**3 + 2*l**2 + 5*l + 3. Let z be c(4). Let w(k) = -10 + 5*k + 0*k + k**2 + 0*k**2. Is 13 a factor of w(z)?
True
Suppose -2*q = 2*q - 12. Let n be (-3)/(-5) - q/5. Suppose -3*h + 176 = h + m, -h - 3*m + 44 = n. Does 11 divide h?
True
Suppose 5*g - 7137 + 1707 = -5*i, -2*g = -2*i - 2184. Does 82 divide g?
False
Let h(p) = p**3 - 5*p**2 - 9*p + 2. Let s be h(6). Let l = -16 - s. Does 22 divide l*(-4)/(-16) - -44?
True
Let d(a) = -2*a**2 + 31*a - 54. Is 2 a factor of d(12)?
True
Is 55 a factor of 1/11 + (-15728)/(-22)?
True
Suppose 11*q = 6*q + 40. Does 10 divide 1/q*-26*-8?
False
Suppose 2*b - o = 4*b - 2, -4*b - 4*o = 4. Suppose -32 = b*w - 5*w. Is w a multiple of 16?
True
Does 73 divide 2/6 - (-495920)/120?
False
Suppose -d + 5390 = 3*u, 4*d - 5228 = -4*u + 1964. Does 36 divide u?
False
Let c = -46 - -11. Let h = c + 131. Is 12 a factor of h?
True
Suppose 5*h + 500 = -2*i, -4*h + 5*h = 0. Is (-30)/25*i/4 a multiple of 10?
False
Let v(l) = 7*l**3. Let a be v(1). Let q = 29 - a. Is q a multiple of 11?
True
Let x = -4 - -12. Let j(m) = -m**2 + 10*m - 11. Let g be j(x). Suppose g + 5 = k. Is k a multiple of 5?
True
Suppose 3*p = -m - 3*m + 11, 4 = m + 2*p. Is 7 a factor of (-122)/(-2) + (-3)/(m - 3)?
False
Let t = 82 + -64. Is 18 a factor of t?
True
Let p be ((-8)/(-3))/(6/9). Suppose -p*b = 10 + 18. Is 12 a factor of 12/b*1*-7?
True
Let m = -76 + 46. Let y = -22 - m. Is y a multiple of 8?
True
Is 32 a factor of ((-6912)/(-45))/((-15)/(-50))?
True
Let b be (3/(-6))/(3/(-18)). Suppose -2*n + 1 = -b. Suppose -18 - 44 = -n*a. Is 23 a factor of a?
False
Suppose 20 = 9*c - 4*c. Suppose 5*f - 3*f = m + 194, -4*f + 388 = -c*m. Suppose -4*a = -3*l - f, 43 = 2*a - l - 4. Is 11 a factor of a?
True
Let q = -3445 - -4964. Is 49 a factor of q?
True
Let o(d) be the second derivative of d**5/20 - d**4/6 - 5*d**3/6 + 5*d**2/2 - 10*d. Does 24 divide o(6)?
False
Suppose -9*j = -8*j + 3, 4*i - 5*j - 1415 = 0. Is 25 a factor of i?
True
Let i(b) = 3*b**3 + 9*b**2 - 21*b - 2. Is i(6) a multiple of 50?
False
Suppose 2 = -y + 3*m, 0*m - 15 = 5*m. Let z = -13 - y. Is (-57)/z + 6/4 a multiple of 15?
True
Suppose 6*x + 12 = 10*x. Suppose 5*k - 2*k = -3*o + 9, x = -4*k + o. Suppose 21*n - 22*n + 50 = k. Is n a multiple of 10?
True
Suppose -2*b + 137 = 5*p - 607, 1514 = 4*b - 3*p. Is b a multiple of 18?
False
Suppose 2*y - 3*t = 5*y + 27, -81 = 4*y - 5*t. Let w = y - -17. Suppose 4 + 4 = -4*c, -3*c + 66 = w*l. Is l a multiple of 12?
True
Suppose 6*m = 2*m + 20. Suppose -d - 2*u = -100, 2 + 23 = m*u. Is 18 a factor of d?
True
Let p(t) = 2*t - 9. Suppose 0 = 5*s - 5*c - 35, -c = s - 6*c - 11. Let r be p(s). Suppose -2*b = -k - 47, 2*b - 21 - 16 = r*k. Does 10 divide b?
False
Suppose 54*i - 2851 - 605 = 0. Is 8 a factor of i?
True
Let t = 112 + -108. Does 9 divide ((-228)/(-9))/((-11)/3 + t)?
False
Let b(l) = 3*l + 122. Does 19 divide b(0)?
False
Let n(i) = -5*i**3 - 9*i**2 - 34*i - 12. Is 17 a factor of n(-7)?
False
Suppose -2*g = -4*m - 128, 4*m - 113 = -5*g + 207. Suppose q - 107 = -4*u, -q + g = 2*u + 11. Is 25 a factor of u?
False
Let r(d) be the first der