7*s + 438. Is 12 a factor of l(2)?
True
Suppose -5*q - 37 = -3*k, -4*q + 5*k = 56 - 16. Let p(l) = 5*l + 221. Is p(q) a multiple of 7?
True
Let h = 148 - -1031. Does 59 divide h?
False
Does 8 divide (6/(-9) - 2)*(-90 - 12)?
True
Is 16 a factor of 154/49 + -2 - 235928/(-49)?
True
Let h be -3 + 8/1 + 0. Suppose -h*w - 255 = -2*d, 0 = -2*d + 2*w - 3*w + 273. Suppose 3*l = 2*j - d, -190 = -j - 2*j + 2*l. Is j a multiple of 30?
True
Let c be 119/(-3) - 24/(-36). Let p be (-54)/72 - (c/(-4))/(-1). Is 52 a factor of 3/4 + (18666/8)/p?
True
Suppose 6*j - 14991 - 14163 = 0. Does 171 divide j?
False
Suppose 2*w = 429 + 7. Let y = 558 - w. Is y a multiple of 81?
False
Let q = -3114 - -16122. Is q a multiple of 6?
True
Suppose -13*k = -12*k - 107. Let r = k - 107. Suppose -6*m - 8*m + 1694 = r. Does 11 divide m?
True
Let w(c) = 19*c - 172. Let t be (-50)/100*(-1 + -55). Is 24 a factor of w(t)?
True
Let c(f) = 23*f**2 - 21*f + 1. Let z be c(-7). Let d = z - 820. Is 55 a factor of d?
False
Let f be (4/(-10))/(1/15*-6). Is 9 a factor of 9/(f/1) + -4 + 659?
False
Let a(m) = m**3 + 25*m**2 + 9*m - 5. Is a(-17) a multiple of 4?
False
Let q = -181 + 293. Suppose 5453 = -q*y + 119*y. Is 48 a factor of y?
False
Let x = 16 + -12. Suppose -u + 2*m = -632, -u + 628 = -0*u + 2*m. Suppose w = -x*w + u. Is w a multiple of 6?
True
Let g(w) = -3*w**3 + 13*w**2. Let v(a) = a**3 + a**2 - 1. Let f(l) = -g(l) - 4*v(l). Let z be f(-17). Is (-41 + -10)*(z/(-2))/2 a multiple of 17?
True
Let q be 246 - ((-8)/(-4) + -1). Suppose -4*b + q = -3*w, -5*b - 4*w + 312 = -2*w. Suppose 3*v = 2*u + 6*v - 128, 2*v - b = -u. Does 5 divide u?
True
Suppose -5*u + i - 2201 = -6*u, 5 = -5*i. Suppose -4*t - 13002 = -u. Does 42 divide t/(-16) + (-2)/(-8) + -1?
True
Let v be (-8)/36 + ((-2188)/9)/4. Let m = v - -83. Let s = m - 15. Does 6 divide s?
False
Let x be (-18)/27 + (-4)/((-24)/34). Suppose 0 = -u + c - 6*c + 121, -490 = -x*u - 2*c. Is u a multiple of 24?
True
Let s(p) = 3*p**2 - 29*p + 56. Let u be s(14). Suppose -7*n - u + 3990 = 0. Is 17 a factor of n?
False
Let k(y) = 43*y + 64. Let h = 33 + -20. Is k(h) a multiple of 81?
False
Suppose -8204 = -6*t + 12916. Is 11 a factor of t?
True
Suppose -23*j + 116983 = 22775. Is j a multiple of 19?
False
Let g(t) = 68*t - 29*t + 6*t**2 - 8 - 75*t. Is 3 a factor of g(8)?
False
Suppose -4*z + 11712 = -4*s, -13*s = -17*s + 20. Does 15 divide z?
False
Let l(o) = -o**2 - 4*o - 4. Let z = 43 - 45. Let q be l(z). Let a = 42 + q. Is 7 a factor of a?
True
Is 16 a factor of (4 - 2176/(-40))/((-7)/(-980))?
True
Suppose -60*u = -59*u - 70. Suppose -h = -333 + u. Does 26 divide h?
False
Is (1 + (-3)/6)/((-748029)/93504 - -8) a multiple of 8?
True
Let c = -17294 - -23090. Does 23 divide c?
True
Suppose 11*g + 36 = 14*g. Let a be 4 + g/8*26. Suppose w - a = 44. Does 37 divide w?
False
Suppose -27*r = -33*r + 228. Does 14 divide (-3)/((-9)/699) + r/(-19)?
False
Let i be ((-10)/(-75)*-3)/(1/(-295)). Let z = i + -112. Suppose 0 = 5*h + z*h - 1749. Is 18 a factor of h?
False
Let q = 1559 - 3121. Is 8 a factor of (1 + -2)/((-14047)/q - 9)?
False
Suppose -10*p - p = -737. Suppose -2*n + n = 4*z - p, -5*n - 2*z + 317 = 0. Let l = 82 - n. Does 8 divide l?
False
Let m be (-165)/(-198) + 20965/6 + -4. Is (m - 71)*(-1)/(-2) a multiple of 15?
True
Is 40 a factor of 122*120 + (-23 - -43) + -20?
True
Let n = 27 - -14. Let r = n - -130. Suppose -r = -9*m + 6*m. Is 4 a factor of m?
False
Suppose 5*y = -10, -4*j + 53324 = y - 90910. Is 22 a factor of j?
False
Let x(o) = o**2 - 4*o - 5. Let z be x(-3). Let q = z - 12. Suppose 2*s = 2*a + 3*s - 202, -q*a + 404 = s. Is a a multiple of 22?
False
Suppose 4*x - j = -3*j + 2, -31 = -2*x + 5*j. Suppose 5*k - 428 = -3*o, 0 = -o - 0*o - x*k + 148. Is (1 + o/12)*3 a multiple of 13?
False
Let u be ((-20)/8)/((-2)/4). Suppose -17 = -b - 2*v, -u*v - 16 - 39 = -5*b. Suppose 0 = -b*d + 1020 + 618. Is d a multiple of 18?
True
Suppose -3*a = 4*v + 9 + 2, -4*v + 2*a = -14. Does 12 divide (-51)/102 + 622/4 + v?
True
Let s(k) = -4*k**3 + 3. Let w(f) = 137*f**2 - 138*f**2 + f - f**3 + 0 + 0. Let i(b) = s(b) - w(b). Does 16 divide i(-3)?
True
Let x(d) = 2*d**2 + 3*d - 6. Let t(c) be the first derivative of c**3/3 + c**2/2 - 2*c - 5. Let r(b) = 7*t(b) - 2*x(b). Is 19 a factor of r(-4)?
False
Let o = -23450 - -27402. Does 208 divide o?
True
Suppose 51*g = 1472 + 568. Is g a multiple of 10?
True
Suppose -6*m = 50 - 176. Let s(d) = d**3 - 20*d**2 - 23*d + 26. Let f be s(m). Is 2 a factor of (0 - 1)*-3*f/(-6)?
True
Let s(m) = 854*m + 2092. Is s(4) a multiple of 102?
True
Suppose -15*p - 3486 = -p. Let j = -3 - p. Does 14 divide j?
False
Suppose 2*y + 2*c = 2064, 5*c - 173 = 4*y - 4301. Does 8 divide y?
True
Suppose -2*c - 4 = -4*h, -c - 2*c + 8 = h. Let v = h - -198. Suppose -11*q + v = -6*q. Is q a multiple of 5?
True
Let j(m) = 2*m**3 - 47*m**2 - 25*m + 31. Let q be j(24). Suppose 3*g - 2*a - 288 = 0, -8*g + q*g + 101 = a. Is 14 a factor of g?
True
Is (-7504)/(-168)*((-257)/(-1) + -2) a multiple of 85?
True
Suppose 4*x - u + 676 = -5*u, 0 = -5*u + 20. Let k = x + 308. Does 48 divide k?
False
Suppose -21895 = -5*g + 3*n, -5*g - 33*n = -29*n - 21895. Does 19 divide g?
False
Suppose -3*c = 3*d - 7128, -11907 = -5*d + 70*c - 66*c. Does 27 divide d?
False
Suppose -2*z + 4*z = 1350. Suppose 3*q + z = 12*q. Suppose -5*r - q = -1365. Is 39 a factor of r?
False
Let d(x) = 4*x**2 - 3*x + 1. Let b = 10 + -3. Suppose -b*z + 5 = -6*z. Is d(z) a multiple of 14?
False
Let f(r) be the third derivative of -r**6/120 + 7*r**5/20 - 41*r**4/24 - 35*r**3/6 - 14*r**2 - 2. Does 28 divide f(15)?
True
Let j(s) = -s**3 + 23*s**2 - 84*s - 25. Does 5 divide j(16)?
False
Suppose -958*u + 29520 = -953*u. Does 11 divide u?
False
Suppose 3 = 7*s - 11. Suppose -4*c - 220 = -2*x + 220, s*x + 5*c = 422. Is 18 a factor of x?
True
Let m = 68353 - 28547. Does 13 divide m?
True
Let s = 84 + -79. Is (-1841)/(-21) - s/3 even?
True
Suppose -3*w + 30 = 2*w. Suppose 9765 = 9*r + w*r. Does 19 divide r?
False
Suppose -2*s - 2*s + 20 = 0. Suppose 8*k - s*z - 5 = 3*k, -k = 3*z + 3. Suppose 4*r - r - a = 131, k = r - 3*a - 57. Is r even?
True
Suppose 3*s = -4*s - 49. Let r = s + 142. Does 27 divide r?
True
Is 12 a factor of 3/((21/5028)/7)?
True
Suppose 2*w = 2*n + 202, -5*n + 406 = 4*w - 10*n. Let a = 21 + w. Is 10 a factor of a?
True
Let q = -80 + 89. Suppose 3*j = -0*j + q. Suppose -j*g + 5*z + 225 = -g, -2*g - 3*z + 217 = 0. Is g a multiple of 17?
False
Let g = 3 + 5. Let n be (-2 - -12)*(-9)/(-2). Suppose g*x = 13*x - n. Does 3 divide x?
True
Let q(j) = -j**2 + 25*j + 6. Let r be ((-116)/(-145))/(2/45). Let a be q(r). Suppose 0 = g + g + 6, -2*c - 2*g = -a. Is 34 a factor of c?
False
Let m(k) = 27*k**2 + 6*k - 1875. Let s(v) = -5*v**2 - v + 375. Let n(l) = -2*m(l) - 11*s(l). Is n(-23) a multiple of 7?
False
Let j = -2987 + 12663. Is j a multiple of 41?
True
Let r(d) = -d**3 - 26*d**2 + 27*d + 5. Let p be r(-27). Suppose p*c = -3*m + 253, -53 = 5*c - 4*m - 334. Is 2 a factor of c?
False
Let m(r) = 4*r**2 - 10*r + 42. Let n(a) = a**2 + 9*a - 11. Let i be n(-4). Let v = -25 - i. Is 14 a factor of m(v)?
True
Let j(s) = s**2 - s - 19. Let h be j(0). Let z = 39 + h. Suppose q - 5*t + 54 = 175, -4*t + z = 0. Is 25 a factor of q?
False
Suppose -39*h + 3172 + 98891 = 0. Is 61 a factor of h?
False
Suppose 3*y - 1617 = -3*h, -y - 15*h = -17*h - 530. Let m = -77 + y. Does 17 divide m?
True
Let p(r) = -227*r + 9 + r**2 + 233*r - r**3 + 0. Suppose 0 = 2*i - 2*o + 4, -o - 9 = 2*o. Is p(i) a multiple of 10?
False
Let y be 8 - -3*(-6)/9. Let x(o) = 1 - 7 - 12*o - y - 4*o. Is 21 a factor of x(-7)?
False
Suppose 0 = -10*n - 520 + 100. Let u = -40 - n. Suppose 3*p + u*r - 4*r = 79, r + 5 = 0. Does 2 divide p?
False
Suppose 6*d - 18402 = -684. Does 13 divide d?
False
Let o be ((-250)/(-40) - 6) + 12146/(-8). Is 46 a factor of ((-14)/6)/(1*11/o)?
True
Let t = -982 + 1150. Does 8 divide t?
True
Let u be (-190)/(-20) + (-2)/4. Suppose -u*v = 30 + 51. Let k(m) = -2*m**2 - 19*m + 8. Is k(v) a multiple of 7?
False
Let p be (-1 + 20/(-4))*-1. Let c(v) = -2*v + 1 + 3 + p + 0*v. Is 14 a factor of c(-9)?
True
Suppose z = 4 - 2. Let c(n) = 4*n**3 - 2*n**2 + 2*n - 3. Let b be c(z). Let j = b + 52. Does 5 divide j?
False
Let n(