t be j/7 + (-2)/(-7). Is 8 a factor of (26/t)/((-1)/48)?
True
Does 13 divide (-366 + -14)*(12/10 - 4)?
False
Let i = 6 - 8. Let q be 4/(-10)*(i - 18). Let c(n) = n**3 - 7*n**2 - 7*n + 9. Is 17 a factor of c(q)?
True
Suppose -16*p + 3176 = -2504. Does 24 divide p?
False
Is -3*((-1686)/18 + -2) a multiple of 41?
True
Suppose 2*g = -3*b + g - 8, 16 = -4*b - 4*g. Let h(v) = v - 2. Let x be h(b). Is 10 a factor of 34/1 + (0 - x)?
False
Let n = -55 + 37. Let p be n/((-30)/(-7) + -4). Is 19 a factor of 5/(-5) - p/3?
False
Let o(p) = 2*p + 16. Let q be o(-6). Let j(a) = a + 2. Let t be j(q). Suppose -132 = 3*l - t*l. Does 22 divide l?
True
Let c(u) = u**2 - 31*u. Is 60 a factor of c(36)?
True
Suppose -y - 4 = -0*y. Let f be (-279)/y - 4/(-16). Suppose 3*m = -2*m + f. Does 7 divide m?
True
Let v(j) = -j**3 + 7*j**2 - 7*j + 6. Let l be v(6). Suppose l = -5*n + 159 + 11. Is 12 a factor of n?
False
Let s = 372 + -282. Does 5 divide s?
True
Suppose 0 = g + 1, 2*r = g - 82 + 257. Let b = r - 139. Is (-39)/b - 378/(-8) a multiple of 12?
True
Let v be (60/36)/(10/6). Let h(g) = 56*g**2 + 3*g - 2. Does 3 divide h(v)?
True
Let w(i) = 6*i**2. Let p be 32/(-12)*(2 - -1). Let b = p - -5. Does 23 divide w(b)?
False
Suppose 4*y - 176 = -540. Is (-28)/140 + y/(-5) a multiple of 17?
False
Let c = -24 + 35. Let p(u) = -u**3 + 11*u**2 + 5*u + 8. Does 18 divide p(c)?
False
Suppose 14 = 4*o - 6, 2*n + 4*o = 36. Suppose -4*q + 20 + n = 0. Is q a multiple of 7?
True
Let v be 4/16*-1*-12. Suppose v*g = 5*g - 140. Is 22 a factor of g?
False
Let p be ((-285)/(-6))/(3/6). Let g = -93 + p. Is g even?
True
Let k = 9 + -12. Let y(v) = -v**2 - 2*v - 3. Let d be y(k). Is 440/15 - d/9 a multiple of 10?
True
Let p = -61 + 66. Suppose -p*f + 83 + 57 = 0. Is f a multiple of 28?
True
Let m be (2/(-4))/((-10)/20). Let d be 10/(-8)*(-4)/m. Let b = 2 + d. Does 7 divide b?
True
Let t = -177 - -282. Suppose x + 6*x = t. Is x a multiple of 3?
True
Suppose -h + 4*h + 18 = 0. Let q be (-26)/h + (-20)/(-30). Suppose 0*a + q*a = 185. Is a a multiple of 17?
False
Suppose 2*n - 4*i + 252 = -3*n, -n - i = 54. Let k(q) = -q**3 - 7*q**2 - 5*q - 2. Let j be k(-4). Let m = j - n. Is 22 a factor of m?
True
Let f(v) be the third derivative of -v**6/120 - 7*v**5/60 - 11*v**4/24 + v**3/2 - 2*v**2. Let k be (-20)/2*(-6)/(-10). Does 33 divide f(k)?
True
Let q(c) = 2*c + 10 - c**3 + c**2 - 4 + 2*c. Let y be (3 - 4)*2 + -1. Is q(y) a multiple of 10?
True
Let s(c) = -3*c + 18. Suppose -3*l - 15 = -2*l. Does 13 divide s(l)?
False
Let f(a) = -4*a + 3. Let n(t) = -2*t**3 + 11*t**2 + 6*t - 5. Let w be n(6). Does 7 divide f(w)?
False
Suppose 85*m = 84*m + 2349. Is 87 a factor of m?
True
Suppose 6*b = -b + 28. Suppose -b*z - 148 = -4*y, -4*z = 3*y - 2*y - 57. Is 5 a factor of y?
False
Suppose -6*m - 5*n = -10*m + 688, 2*m - 322 = -3*n. Does 4 divide m?
False
Suppose k = 0, 0 = -0*z + 3*z + 3*k - 7320. Does 40 divide z?
True
Let h be -3*(-2)/(12/10). Suppose -h*u - 1 = 84. Is 3 a factor of (u/2)/(4/(-8))?
False
Suppose 1 = -4*l + 149. Is l a multiple of 10?
False
Suppose -5*h + 3 - 274 = 3*o, 0 = 4*o + 5*h + 363. Let x = o + 213. Is x a multiple of 31?
False
Suppose 6*y + 2*v - 2586 = 5*y, 2*y - 5170 = -5*v. Is 74 a factor of y?
True
Suppose -359 = -v - 4*d, -5*d + 189 - 855 = -2*v. Suppose 5*n = v - 78. Let t = 147 - n. Is t a multiple of 14?
False
Let h = 24 + -19. Suppose h*v - z - 4*z + 100 = 0, -2*v = -z + 37. Is v*1*8/(-4) a multiple of 10?
False
Let m(y) = 4*y + 33. Let h be m(-7). Suppose -h*v = 2*v - 119. Is 17 a factor of v?
True
Let i be ((-30)/(-25))/((-2)/(-30)). Let n = i + -32. Let o = n - -42. Does 16 divide o?
False
Does 15 divide -14673*15/9*(-26)/130?
False
Suppose 3*h + 2*h + 15 = -4*d, 3*d + 6 = -3*h. Let k(g) be the second derivative of g**5/20 + 7*g**4/12 - g**3/3 - g**2 - 11*g - 4. Is k(h) a multiple of 6?
True
Let b = -99 - -63. Let p = -28 - b. Is 13 a factor of (1 + (-36)/(-16))*p?
True
Let c = 217 - 101. Suppose 4*n = 3*n - 3*p + 12, -4*n + 5*p = -c. Is n a multiple of 4?
True
Let q(k) = -k**3 - 5*k**2 + 2*k - 13. Let f be q(-6). Let j(v) = 10*v + 14. Is 31 a factor of j(f)?
True
Let j(d) = 38*d + 8. Let o be j(-13). Is (o/12)/(1*(-1)/6) a multiple of 32?
False
Suppose 3*j = -10 + 43. Suppose -4*m = -5*q + j + 11, -4*m - 4 = 4*q. Suppose q*s + 2*x - 92 = 0, -3*s + 7*s - 4*x = 184. Is 13 a factor of s?
False
Does 58 divide -2 - (-20934)/26 - 16/104?
False
Suppose -2*r = -54 - 42. Does 5 divide r?
False
Let g be (9 + -8)/((0 - 1)/(-7)). Suppose -2*c + 15 = m, 2*c + 3 = -g. Is m a multiple of 25?
True
Let y be ((-1)/3)/(-4 - (-12115)/3030). Suppose -5*d + 208 = a - 0*a, a = 5*d - y. Is 17 a factor of d?
False
Suppose -5*q = -d - 154 - 163, 5*q - 4*d - 308 = 0. Is q a multiple of 7?
False
Let x = -32 + 35. Suppose 3*h + 5*b = 70, -x*h + 104 - 28 = -b. Is 4 a factor of h?
False
Is 91 a factor of (-24708)/(-27) - (-16)/(-144)?
False
Let v be 0*(6 + -2)/(-4). Suppose v = 9*o - 5*o - 20. Does 2 divide o?
False
Let w(o) = -78*o**3 - o**2 + o + 2. Let m be w(2). Let s = 296 + m. Does 9 divide 14/(-63) - s/18?
True
Let y(r) = -r**3 + 8*r**2 + 6*r + 9. Let d be y(9). Let l = 18 + d. Suppose 0*s - s + 8 = l. Is s a multiple of 2?
True
Let w = 4 + -3. Let x = w + 1. Suppose -x*c + 6 + 40 = 0. Does 14 divide c?
False
Suppose a = -8*q + 13*q + 445, q = -5. Is a a multiple of 30?
True
Let b = -92 - -96. Suppose 1892 = 7*q + b*q. Is 43 a factor of q?
True
Let s = 55 + -37. Let o = s - 26. Let y = o + 31. Does 8 divide y?
False
Let q be (108/8)/9*10. Suppose -4*c - 80 = -5*b, 5*c + 82 - q = -2*b. Is 10/c - (-1208)/12 a multiple of 25?
True
Suppose -5*t = 4*x - 6, 14 = 2*x + 4*t - 7*t. Suppose -3*b - 30 = -x*b. Is b a multiple of 10?
True
Let n = 494 - 131. Is 33 a factor of n?
True
Let j(d) = d - 3. Let t be j(4). Let c be 0 + (-2)/8 + (-110)/40. Is 1/(t/c) - -60 a multiple of 19?
True
Let m(q) = q**3 + 18*q**2 + 29*q + 14. Let v be m(-16). Let r = 86 - v. Is r a multiple of 4?
True
Suppose -11 + 2 = 9*i. Is 5 a factor of i + 22 - (-1 - -1)?
False
Suppose -5*d = -u - 13, -u + 16 = u + 4*d. Suppose 2 = u*j, -3*i - j + 2 = -17. Is 6 a factor of i?
True
Let h = -60 + 236. Does 8 divide h?
True
Let m = -11 + 13. Let y be ((-15)/4)/((-3)/8). Suppose 2*z - 95 = -i - y, z - m*i = 55. Is z a multiple of 17?
False
Suppose 0 = -362*w + 367*w - 285. Is 3 a factor of w?
True
Let d = -3 + 3. Suppose d = -u - 0*u + 2. Is 15 a factor of 403/26 - 1/u?
True
Let q = 103 - 67. Let v = 61 - q. Is v a multiple of 5?
True
Let p(x) be the first derivative of 2*x**3/3 + 5*x**2/2 - 2*x - 14. Is p(-6) a multiple of 12?
False
Suppose 3*u = -2*l + 21, 4*u - u - 3 = l. Does 22 divide (5 - 8)/(l/(-244))?
False
Is (3 - -8)*144*1/2 a multiple of 12?
True
Suppose -4*p + 5 = -3. Suppose 1079 = 5*i - 2*c + 32, 0 = -4*i + p*c + 836. Is i a multiple of 27?
False
Let n = 69 + -65. Suppose o - 92 = -n. Does 22 divide o?
True
Suppose -2*b - 3*t = -57 + 8, -4*b = -3*t - 71. Does 17 divide (-1)/(-2) - 14*(-155)/b?
False
Let b = -214 + 369. Let y = -108 + b. Suppose 5*s - 177 = -y. Is s a multiple of 8?
False
Suppose -3*l + 35 = 2*l + 5*v, 0 = 5*v - 25. Let t(q) = -6*q - 1 - q + 3*q**2 - 4*q**l. Is 3 a factor of t(-5)?
True
Suppose -5*l - 5*z = -195, -2*l + 6*z = 2*z - 84. Is l a multiple of 10?
True
Let i(t) be the first derivative of t**3/3 + 5*t**2/2 + 8*t - 2. Let p be (-4)/(-2) + -3 - 5. Is i(p) a multiple of 10?
False
Let u(d) = -28*d - 18. Let q be u(-4). Suppose q = 4*n - 186. Does 14 divide n?
True
Suppose -2*a + 5*u + 93 = 0, 0 = -u - 3 - 0. Is 3 a factor of a?
True
Suppose 4*l - 19 = -15. Let y(c) = 90*c**3 - c**2 + c. Is y(l) a multiple of 15?
True
Suppose 10 = -2*m + 7*m. Suppose -m*k + 5*k = 81. Let u = k - -9. Does 8 divide u?
False
Let p(m) = 10*m**3 - 3*m**2 + 4*m - 25. Let r(a) = 18*a**3 - 7*a**2 + 7*a - 49. Let x(l) = -5*p(l) + 3*r(l). Does 50 divide x(5)?
False
Let c be (0 - 3) + (-5)/((-15)/(-183)). Let t = 24 - c. Is 8 a factor of t?
True
Let f(a) = a**3 - 3*a**2 - 6*a + 144. Is 9 a factor of f(6)?
True
Let f(j) = -10*j - 1. Let w be f(7). Let c = -54 - w. Is 17 a factor of c?
True
Is 46 a factor of ((-1760)/4)/(-5) + 4?
True
Let v be 1 + 1 - (-179 + -1 + 5). Suppose -14*w + v = -579. Is w a multiple of 5?
False
Let x be -84 +