 w - -1801. Is 7 a factor of d?
True
Let i(p) = -89*p + 10. Let m be i(-3). Suppose -7*l + m = 1733. Let b = l + 303. Is 21 a factor of b?
False
Suppose 0 = -c + 5*f - 3*f + 1338, 0 = -5*c - 5*f + 6735. Suppose 2*k - 20 = -14. Suppose -11*b - k*b = -c. Does 12 divide b?
True
Let l = 351 - 340. Let o(h) = -h**2 + 20*h + 31. Does 5 divide o(l)?
True
Let i(t) = -82*t**2 + t + 20. Let j(k) = -3. Let g(l) = -4*i(l) - 28*j(l). Suppose w - h - 3 = 0, -5*h - 11 = -w - 0. Is 43 a factor of g(w)?
False
Let n(f) = -13*f**3 - 6*f**2 + 9*f - 2. Let s be n(3). Let k = s + 535. Is k a multiple of 6?
False
Suppose 142*c - 61314 = 1040606. Does 16 divide c?
True
Let n(l) = 960*l - 4097. Does 35 divide n(16)?
False
Let t = -34 - -40. Suppose -t*q - 24 = -6. Is 16 a factor of -2 + (-7 - -1)*25/q?
True
Let f(j) = j**3 - 6*j**2 - 7*j - 10. Let r be f(7). Is 110 - ((-5)/(-10) + 5/r) a multiple of 10?
True
Let p be 19/5 + 27/135. Suppose -5*u + 170 + 55 = 5*j, 2*u = p*j + 120. Is 13 a factor of u?
False
Let q = -35984 + 50389. Is 62 a factor of q?
False
Let k(l) = 148*l**2 + 4*l - 1. Suppose 2*p - 21*p = 19. Is k(p) a multiple of 11?
True
Suppose -3*l - 70*p + 72*p + 21517 = 0, -p = l - 7179. Does 15 divide l?
False
Is 10 a factor of (-650152)/(-252) + 50/1575?
True
Suppose -1482 = -7*p + 6190. Suppose -18*y + 2360 = -p. Is y a multiple of 12?
True
Suppose q - 10 = 26. Let z(n) = n**2 - 5*n - 73. Let p be z(11). Let o = q - p. Does 5 divide o?
False
Suppose 40*w + 95389 = -17*w + 394354. Is w a multiple of 101?
False
Is 6 a factor of (-26 + 37)/((6/(-6692))/(-3)) - 0?
False
Let n be (-40 - 4)*((-9)/12)/1. Suppose -n = 2*d - 161. Does 8 divide d?
True
Is 3 a factor of (1 - 4) + -4*(-6)/(-32)*-540?
True
Suppose -3*p = 4*w + 189, -3*p = -5*w - 0*p - 216. Let x = 41 + w. Is 36 a factor of (-7)/(((-20)/(-125))/x)?
False
Let c = -58 - -120. Suppose -2*r = -5*t - 0*t - c, -3*t = -5*r + 136. Let k = r - -34. Is k a multiple of 12?
True
Let q = -687 + 288. Let u = -207 - q. Is u a multiple of 8?
True
Let d be 82/369 + (-1)/((-9)/97). Let x = 7 - d. Let o(l) = -37*l + 10. Is 27 a factor of o(x)?
False
Suppose 5*v - 5*a - 211370 = 0, -2*v + 100443 = 2*a + 15863. Is v a multiple of 6?
True
Is 92 a factor of 26/(-377) - (-81912)/232?
False
Let k = -27 - -32. Suppose -1 = k*n - 16. Suppose -15 = n*h - 96. Is h a multiple of 3?
True
Suppose 3*g - 10792 = 10892. Is 26 a factor of g?
True
Suppose 23*d = 127*d - 193648. Is 38 a factor of d?
True
Suppose 2*g = 5*t - 130723, 4*t - 5*g = 15104 + 89471. Is t a multiple of 83?
True
Let t(s) = -s**3 + 15*s**2 + 12*s + 56. Let k be t(16). Let l(b) be the first derivative of b**4/4 + 3*b**3 + 3*b**2/2 + 5. Is l(k) a multiple of 8?
True
Suppose -5102 = -5*v - 4*r, 0 = v - r - 938 - 86. Is 10 a factor of v?
False
Let u(g) = g - 24. Let i be u(28). Suppose -17*h + i*h = 1560. Is 32 a factor of h/(-75)*20/1?
True
Suppose 152*n - 456594 = 239262. Is 10 a factor of n?
False
Suppose -q - 15 = 2*f - 24, 3*f - 5*q - 46 = 0. Suppose 5*c + 546 = f*c. Is c a multiple of 7?
True
Suppose -2*o = -4, -8*u + 2*o = -6*u - 3216. Is 10 a factor of u?
True
Let s(n) = n**2 + 7*n - 21. Let o be s(-9). Let l be o/(-9)*0*-1. Suppose l = t + 3*t - 76. Is t a multiple of 7?
False
Let v(a) = -a**2 - 6*a + 7. Let s be v(-5). Let d(m) = -m**2 + 20*m - 5. Let z be d(s). Suppose -8*p = -7*p - z. Does 13 divide p?
True
Is (2202/8)/((207/(-24))/(-23)) a multiple of 10?
False
Let a be -9 - (-50*30)/2. Suppose 3*u = c - a, 0 = c + 4*u - 1052 + 311. Does 50 divide c?
False
Suppose 0 = 254*b - 246*b - 5392. Suppose -2*h = -3*y + b, -5*y - h + 1119 = -0*y. Is 11 a factor of y?
False
Let p(r) = -57*r**2 + 2303*r + 16. Does 41 divide p(25)?
False
Suppose 6*s - 2*s = -136. Let q(m) = -7*m - 228. Is 2 a factor of q(s)?
True
Let d(v) = -336*v - 240. Let i be d(-12). Let g = i + -2688. Is g a multiple of 16?
True
Suppose -3*x - 4*s = -6*x + 99, -4*s - 157 = -5*x. Suppose -7*h + x = 1. Is 11 a factor of 8/h - (0 + -4 - 146)?
False
Suppose 35*t - 49*t + 196 = 0. Suppose t*o - 2281 - 8639 = 0. Is 65 a factor of o?
True
Suppose k + 7*s - 11222 = 4*s, -5*k + 56212 = -2*s. Does 50 divide k?
False
Let r be -3 - 1 - (-45 + -21). Suppose -50*o = -r*o + 3456. Does 24 divide o?
True
Is 11 a factor of (-1)/7 + (-970554)/(-322)?
True
Suppose -2*u + 3*k - 14 = 0, 5*u + 0*k - 5*k = -30. Let g be ((3 + 381)*(-2)/u)/1. Let q = -93 + g. Does 33 divide q?
True
Let m = 44 + -42. Let t be 6/(m + 27/(-24) + -1). Let h = t + 128. Is 16 a factor of h?
True
Suppose -70*f + 12*f + 137286 = 0. Is 11 a factor of f?
False
Suppose -5*h = -4*o - 44, -o - 24 = -2*h - 7. Is 50 a factor of (4/(h/(-994)))/(-1) + 3?
True
Let h = -76 + 81. Suppose 5*u + 3*j = 472, 8*u = 3*u + h*j + 480. Is u a multiple of 18?
False
Let i = -623 - -187. Let j = i + 798. Is 39 a factor of j?
False
Suppose -2*y = -181 - 123. Suppose 12*h + 1247 - 323 = 0. Let z = y + h. Is z a multiple of 15?
True
Suppose 0 = -62*x + 64*x - 8. Suppose w - 1580 = -x*w. Is w a multiple of 49?
False
Let y(c) be the first derivative of -53*c**2/2 - 43*c + 176. Does 10 divide y(-11)?
True
Let u(y) be the third derivative of -8*y**6/15 - y**5/15 - y**4/6 + 34*y**2. Is u(-1) a multiple of 16?
True
Suppose 25*i - 2*r = 26*i - 104, 5*i - 520 = -5*r. Let d = 354 - i. Does 8 divide d?
False
Let y be 60/(-330) + 5722/11. Let g = y - 399. Does 4 divide g?
False
Let y = -31 - -38. Let i be y/((-175)/10)*10/(-4). Does 14 divide 698/26 + ((-6)/(-39))/i?
False
Let k = -9502 + 11026. Is k a multiple of 8?
False
Suppose 0*f - 3*j = 2*f + 12, 55 = -5*f + 5*j. Let w be (-4)/(-18) - (-11)/f - -438. Suppose -5*q = -4*n - w, -7 = 4*n + 5. Does 17 divide q?
True
Suppose -2*d + 2 + 180 = c, -d = -4. Suppose 214 = 3*j - 5*t - c, t + 2 = 0. Does 15 divide j?
False
Let v(n) = 141*n - 1966. Does 2 divide v(20)?
True
Suppose 3*x + 16 = 46. Suppose -6*d = -x*d + 52. Suppose d*i - 4*i - 1170 = 0. Is i a multiple of 26?
True
Suppose t - 2*u - 20715 = 0, -20314 = -t + u + 401. Is 6/(-10) - -1*t/25 a multiple of 18?
True
Let x(j) = 3*j**3 + 10*j**2 - 67*j. Suppose 52 = 7*m + 17. Does 29 divide x(m)?
True
Suppose -38*q = -30*q - 32. Suppose i - 4*i - 757 = -2*w, -2*w - q*i = -736. Suppose -110*m = -112*m + w. Is 17 a factor of m?
True
Suppose 3*r - 12 = h - 4*h, -5*h + 18 = 3*r. Let q(y) = 3 - r + 37*y - 8*y - 1. Does 10 divide q(8)?
False
Let f(v) be the second derivative of v**5/20 + 7*v**4/6 + 5*v**3/2 + 13*v**2/2 - 71*v. Is f(-8) a multiple of 31?
False
Let g = 72 + -67. Suppose -4*u + g*h + 4 - 9 = 0, -2*h = -3*u + 5. Suppose 3*v - 894 = -4*i, 2*i - 6*i + u*v + 878 = 0. Is i a multiple of 38?
False
Let z be (-2010)/(-12)*(-96)/(-15). Let w = -401 + z. Does 8 divide w?
False
Let p = 327 - 182. Let x = 321 - 36. Suppose -x = -2*q - y + 2*y, p = q - y. Is q a multiple of 29?
False
Let p = -1005 + 144. Let s = 1241 + p. Does 19 divide s?
True
Is 12 a factor of (-20)/14 - 6911996/(-1274)?
True
Let h(w) = 2554*w - 7265. Does 8 divide h(11)?
False
Let l(y) = 71*y - 2. Let x be l(1). Let i = -63 + x. Suppose -613 = i*f - 1597. Is 22 a factor of f?
False
Let m(w) = 120*w**2 - 36*w - 182. Does 14 divide m(-7)?
True
Suppose -o = -17*z + 12*z - 1225, 20 = 5*z. Is o a multiple of 83?
True
Is 2 + 383 - 98/(-49) a multiple of 9?
True
Let p = -1834 + 2604. Suppose 7*t = 1694 + p. Is 32 a factor of t?
True
Suppose 0 = 3*d - t + 25, -2*d + 4*t - 3*t = 17. Does 15 divide 4*(-9 + -41)*5/d?
False
Let q(g) = 4*g**3 + g**2 - 6*g - 9. Suppose -42 = -16*c + 9*c. Is q(c) a multiple of 15?
True
Let o(n) be the second derivative of -n**3 - 8*n. Let g be o(6). Does 21 divide (77/44)/((-1)/g)?
True
Let j(l) = -l**3 - 3*l**2 - 5*l - 3. Let s be j(-2). Suppose s*b - 3*u = -69, -6*b + u = -2*b + 89. Does 6 divide (-1456)/b + 14/(-77)*1?
True
Let y(g) = 12*g**2 + g + 82. Suppose 4*w - 2*x = 42, 4*w + 20 = 9*w + 4*x. Does 11 divide y(w)?
True
Let j(r) = r + 49. Let w be j(-15). Suppose -3668 - 7042 = -w*k. Is 63 a factor of k?
True
Let c be 23/7 + 62/(-217). Is 12 a factor of (-4392)/(-16) + -12 + c/(-2)?
False
Is 56 a factor of (-33 - -19) + 32 - -94?
True
Let y = -17164 - -30799. Does 17 divide y?
False
Suppose -2*o = -a - 3*a - 4, 4*o - 3*a - 3 = 0. Suppose -s + 4225 - 489 = l, o = -2*l - 8. Does 39 divide s/16 + ((