7*l. Does 18 divide l?
True
Suppose 2*q + 35 = 3*w, 0*w + 15 = 3*w + 3*q. Suppose -2*z = -10, 14*s = w*s - 5*z + 450. Is 4 a factor of s?
False
Let w(c) = -122*c - 115. Let n be w(5). Let z = -59 - n. Is z a multiple of 37?
True
Suppose k + 202*y - 199*y = 10944, -k + 4*y + 10944 = 0. Is 57 a factor of k?
True
Let v = 3571 - 2987. Does 8 divide v?
True
Let b be (-25)/3 - (-2)/6. Let g(y) = 7*y**2 - 222*y - 65. Let r be g(32). Is r + 1 + 3 - (-1 + b) a multiple of 4?
True
Suppose 4*j + 12 = 4*h, -h = -j + 2*j - 11. Let o be 4/h - (-3288)/28. Let y = o + -70. Does 8 divide y?
True
Let l = 147 + -99. Let p = -21 + l. Does 6 divide p?
False
Let w = -571 - -567. Suppose -5*u + 5 = -5*b, -4 - 1 = -3*b - u. Is w/(-14) + (187/7)/b a multiple of 27?
True
Suppose 2*p - 836 = y, -2*y + 5*p - 1959 + 285 = 0. Let w = y - -2079. Does 29 divide w?
True
Suppose 8*y - 2*y = 780. Suppose -3*c + y = -5*d, 2*d = -0*c + c - 43. Is 2 a factor of c?
False
Suppose -2*f - 7*f = 13*f - 104654. Is 7 a factor of f?
False
Suppose 26*y - 74 - 56 = 0. Suppose -y*n = 5*h - 8*n - 486, -2*n - 292 = -3*h. Is 4 a factor of h?
True
Let h be ((-5)/(-15))/((-4)/2532). Let c = h + 429. Is 23 a factor of (-53 - -52)/(1*(-2)/c)?
False
Suppose 7*s + 4*w = 2*s + 21, -3*s - 9 = -3*w. Let p = 5 - 1. Is 11 a factor of 1*(-966)/(-8) + s/p?
True
Suppose -17*g + 11100 = 13*g - 25*g. Does 30 divide g?
True
Let z(v) = 170*v - 220. Let a be z(12). Is 4 + (0 - 4) - a/(-2) a multiple of 65?
True
Suppose -5*n + 2*p + 7650 = p, -5*n = -2*p - 7650. Is n a multiple of 7?
False
Let g = -4052 + 4679. Is 7 a factor of g?
False
Suppose -9 = -h - 8. Suppose -p + h = 3, 4*k = -4*p - 548. Is -14*k/25 + (-2)/(-5) a multiple of 17?
False
Suppose 0 = v + v - 4*x - 18, 3*v + 3*x = 0. Suppose 222 = 4*g + v*a, -4*a - 12 + 175 = 3*g. Let p = g + 15. Does 9 divide p?
True
Let r(y) = -y + 4. Let d be r(2). Suppose 0 = -d*o - 3*o - g - 3, -g - 3 = -o. Suppose o = 4*q + b - 114, 5*q + 3*b - 13 = 133. Does 7 divide q?
True
Let g = -66 - -80. Let n(l) = -l**2 + 15*l - 15. Let s be n(g). Is 34 a factor of (-2)/(1 + s + 3)*-204?
True
Let p be (-2 - 8/(-2))/1. Let o be p/((-1)/19 - 0). Let c = 55 + o. Is c a multiple of 2?
False
Let b = 3854 + -2203. Is 13 a factor of b?
True
Is ((-747)/2)/((-767)/(-130) + -6) a multiple of 83?
True
Suppose -110*s = -115*s. Suppose s = 2*o + 61 - 193. Is o a multiple of 33?
True
Is (35 + 0)*(-16)/(-40)*(-2 - -675) a multiple of 5?
False
Let h(o) = 7*o - 17. Let a be h(3). Is (5*(-352)/(-55))/(2/a) a multiple of 4?
True
Let a = -18990 - -32058. Does 242 divide a?
True
Suppose 86*l - 44*l - 1596 = 0. Let i = 1 - -9. Let b = l - i. Does 28 divide b?
True
Suppose -55*a = -86*a + 114080. Is 18 a factor of a?
False
Let r = -43230 + 47784. Does 6 divide r?
True
Let q(s) = 4537*s**2 + 32*s + 33. Is 5 a factor of q(-1)?
False
Let c(q) = 236*q**2 - 5*q - 5. Let b be c(-2). Suppose 956*o = b*o + 1127. Does 7 divide o?
True
Let i(h) = 45*h**3 - 4*h**2 + 12*h - 57. Does 5 divide i(4)?
False
Suppose 0 = -14*m + 49836 + 32064. Is m a multiple of 56?
False
Suppose -b + 2*i = -26, 3*i + 4 = -3*b + 64. Suppose -b*d + 32*d = 5950. Does 23 divide d?
False
Let k(x) = -86*x**2 + x. Let z be k(-1). Let q = z - -44. Let f = 150 + q. Does 16 divide f?
False
Let t(x) = -x**3 - x**2 + 1. Let a(d) = -101*d**3 - 2*d**2 + 7*d - 16. Let q(f) = -a(f) + 6*t(f). Does 16 divide q(2)?
True
Suppose -136*u + 140*u - 136 = 0. Suppose k - 802 = 2*y, -2*y = -u + 38. Is 28 a factor of k?
False
Suppose 1275 - 4329 = -t - 4*m, 3*t - 9162 = 3*m. Does 6 divide t?
True
Let c = -811 - -458. Let n = c - -1313. Is 58 a factor of n?
False
Let j be 1/4 - (-70)/8. Does 2 divide ((-2)/9 - 25/j) + 9?
True
Let j = -203 - -145. Let n = j - -62. Suppose 0 = -f - 3*v + 18 + 40, -n*f + 296 = -4*v. Is 7 a factor of f?
True
Let n be (4/(-2))/((-44)/66). Does 20 divide (52/n)/(16/720)?
True
Let k = -1057 - -4459. Is k a multiple of 42?
True
Let a = -37 - -39. Suppose 51 = 4*g + a*t - 79, 3*t + 3 = 0. Suppose 11*s - 8*s = g. Does 2 divide s?
False
Suppose 0 = 5*r, -3*z + 0*r = 5*r + 9. Let j(c) = 5*c**2 + 3*c + 2. Let h be j(z). Suppose -3*i = -i - h. Is 13 a factor of i?
False
Let f(n) = -n**2 - 3*n + 522. Let w = -357 - -357. Does 21 divide f(w)?
False
Let f(t) = 12*t**2 - 1069*t - 119. Is f(91) a multiple of 14?
True
Let d = -372 - -372. Let s(u) = -u**3 - u + u**2 + 10 - 9 + 12. Is 4 a factor of s(d)?
False
Let t be 3080/22 + -1 + 4. Let i = 302 + t. Is i a multiple of 9?
False
Let i be ((-2)/2)/(12/(-48)). Let s(w) = 6*w + 2*w**2 + 5*w + 0*w - i*w + 25. Is 7 a factor of s(-6)?
False
Let w(a) = -a + 4. Let r be w(1). Let f be (12/(-10))/(3/(-15)) - r. Suppose 3*o + 2*o - 335 = -5*h, f*h = -2*o + 129. Is 18 a factor of o?
True
Let j(n) = -104*n - 871. Let b be j(-9). Let h = 173 + -92. Suppose 80*m - h*m + b = 0. Is m a multiple of 8?
False
Let t be -3*(-10)/(-90)*(1 + 5). Does 61 divide 516*(t + 30/9)?
False
Suppose 3*m = -18, -3117 - 22017 = -f - 3*m. Does 6 divide f?
True
Let f(x) = x**2 - 11*x - 9. Let l = -389 - -411. Is f(l) a multiple of 4?
False
Let u(t) = 3*t + 21. Let o be u(-6). Is 4/(12/843) - o a multiple of 8?
False
Let m(w) = 3*w**2 + 3*w**2 + 3 + 3 + 1 + 158*w**3 - 5*w**2 - 9*w. Is 35 a factor of m(1)?
False
Let m = -360 - -360. Suppose 2*p - 3*i - 315 = 0, -p + i + 61 + 96 = m. Is p a multiple of 13?
True
Let o be (-18)/(-2) + (-6)/(-2). Suppose -o*q = -4198 - 3962. Is q a multiple of 8?
True
Let s be 4*(20/(-8))/(-5). Let w(v) = 3 + 6*v**2 + 5 - 26 - 2*v**s - 6*v. Is w(6) a multiple of 5?
True
Suppose 201*f + 13230 = 222*f. Let c = 44 + f. Does 13 divide c?
False
Suppose -2*p = 2*u - u - 1934, -4*p - 3*u = -3872. Let z = 309 + p. Is 49 a factor of z?
True
Let r(f) = 207*f - 5. Suppose j - 2 = 5*d + 28, -2*j + 35 = -5*d. Let m be -2*55/(-22)*1/j. Does 12 divide r(m)?
False
Let t be (40/4)/(-5) - -2. Suppose 9*r + 86 + 2560 = t. Let n = -175 - r. Is 29 a factor of n?
False
Let o be -9*((-80)/6 + 2). Let i = -42 + o. Suppose 0 = m + 3*m - 4*q - 116, -q - i = -2*m. Does 16 divide m?
False
Suppose 10*g = -31*g + 245508. Is 12 a factor of g?
True
Let l(w) = -w**3 + 2*w**2 + 5*w + 3. Let o be l(3). Does 28 divide o/(-66)*-2458 + 8/(-44)?
False
Let u = -1194 + 2584. Is u a multiple of 10?
True
Let a(k) = 271*k**3 - 275*k**3 - k**2 - 6*k - 4*k**2 - 19 - 3*k. Is 12 a factor of a(-3)?
False
Let z(a) = -9*a**2 + 35*a + 30. Let v(t) = 5*t**2 - 18*t - 14. Let n(y) = 5*v(y) + 3*z(y). Is 6 a factor of n(8)?
True
Let w = 205 + -200. Suppose -268 = -w*a - x - 56, -3*x = a - 48. Is 2 a factor of a?
True
Let b be 2/((-4)/3) + 738/4. Suppose -2*l = a - b, -3*a - 2*l = 3*l - 549. Suppose 3*m - a = -0*m. Is m a multiple of 11?
False
Suppose 62457 = 47*k + 46*k - 682008. Is 94 a factor of k?
False
Let a = 14393 + -6743. Is 45 a factor of a?
True
Suppose b - 2 = 3. Let a(t) = t**3 + 6*t**2 - 7*t + 4. Let w be a(-7). Suppose 28 = s + b*i, w*i = 4*s + i - 204. Is 22 a factor of s?
False
Is 2/21 - (0 - 2501720/105) a multiple of 19?
True
Suppose w = 5*j + 13, w + 4*j = -4*w - 51. Let k(o) = -o**2 - 6*o + 9. Let v be k(w). Suppose -i + 65 = -5*z, -i - v*z - 3*z + 75 = 0. Is i a multiple of 10?
True
Let x be 2 + (-929)/(-7) - 16/(-56). Suppose -13*t + x = -10*t. Is 4 a factor of (17/3)/(3/t)?
False
Let v(q) be the first derivative of q**5/20 - q**3 + 10. Let c(w) be the third derivative of v(w). Is c(8) a multiple of 12?
True
Suppose 76*j - 1867968 = -134*j + 66*j. Is 141 a factor of j?
True
Let f(h) = 75*h - 126. Let x be f(4). Let w(z) = 3*z**2 - 5*z + 3. Let p be w(-8). Is (x/(-30) + 5)/((-1)/p) a multiple of 10?
False
Let g(z) = z**3 + 20*z**2 - 30*z - 76. Is g(-19) a multiple of 9?
True
Suppose 4*u - 8*u + 8 = 0. Suppose -n - u = 1. Is 7 a factor of 49*1 - (n + 6)?
False
Let j(f) = f + 5. Let d be j(-5). Suppose 0 = 4*n + 541 - 557. Suppose b = -0*b - n*p - 6, d = -3*b - 3*p. Is b a multiple of 2?
True
Let x = 1126 - -5601. Suppose -8*k + x = -2513. Is 11 a factor of k?
True
Let j(l) = l**2 - 15*l + 22. Let g = -29 - -34. Suppose -6 = m + g*x, -4*x + 5 = 3*m - 21. Does 2 divide j(m)?
True
Let b be (-8)/(-12) - 86/(-6). Let w be (4/(-10))/((-28)/490). Suppose b = 12*s - w*s. Is s a multiple of 3?
True
Let l(k) = -k**3 + 8*k**2 - 6*k - 1. Let t(x) = -3*x