= 13*p - l. Does 8 divide p?
True
Let q(w) = 6*w - 9. Let t be q(2). Suppose 689 = 5*k - 4*u - 399, -t*k + 675 = 5*u. Does 20 divide k?
True
Let v(i) = i**2 - 4*i - 81. Let u be v(14). Suppose u*a - 57*a = 936. Is a a multiple of 15?
False
Let o(b) = -b**2 - 4*b. Let x be o(-2). Suppose x*z - 5*z = 0. Is z + 2 + (-196)/(-2) a multiple of 10?
True
Is 247 a factor of (0 - 3) + 7*(-26 - -6272)?
True
Let p(i) = 8*i - 25. Let h be p(5). Is ((-5)/h - 0)*-714 a multiple of 14?
True
Suppose -4*u + 55 = 195. Let s = u - -45. Suppose 0 = s*z - 4*z - 258. Is 43 a factor of z?
True
Let i be 609/56 + 1/8. Suppose -i - 19 = -5*u. Suppose u*l = l + 700. Does 28 divide l?
True
Let k(x) = -1253*x - 103. Is k(-5) a multiple of 79?
True
Let d(k) = -3*k**2 - 2*k - 5. Let u be d(4). Let q = u + 63. Suppose -5*s + 355 = i, s = q*s - i - 71. Is 45 a factor of s?
False
Let r(h) = h**2 - 8*h + 7. Let x be r(8). Let g(d) = 27 + 4*d + 10 - x*d. Does 2 divide g(6)?
False
Suppose 0 = -3*d + 4*i + 2237, 5*d - 3892 + 185 = -4*i. Let o = d + 13. Does 63 divide o?
True
Is 20 a factor of (-13121742)/(-4512) + 9/(-48)?
False
Let n(o) = o**2 + 7*o + 11. Let g be n(-6). Suppose 4*u + 308 = 3*w, 0*w - g*u + 452 = 4*w. Is 12 a factor of w?
True
Let o(u) be the second derivative of 5*u**4/12 + 7*u**3/6 - 9*u**2/2 - 4*u. Let t be o(-4). Suppose -6 - 16 = -p + 3*q, -4*p - 3*q = -t. Does 4 divide p?
False
Suppose -8 = -4*w - 0*w. Suppose -w*j + 3*q - 2 = 0, 0*j - q - 1 = -j. Suppose -17*u + j*u = -264. Does 17 divide u?
False
Let d(k) = k**3 + 9*k**2 + 10*k - 4. Let r be d(-8). Let p(c) = c**3 + 21*c**2 + 19*c - 15. Let h be p(r). Is (h*(-3)/(-6))/((-1)/(-8)) a multiple of 14?
False
Suppose 5 = 2*w - v, -8*v = -3*w - 10*v - 10. Suppose w = -p - 5, 3*n - 1605 - 214 = -p. Is n a multiple of 8?
True
Let g(r) = r**3 + 35*r**2 - 856*r + 123. Does 9 divide g(-48)?
True
Suppose -4*b = -4*o + 8, -6 = 4*o + 5*b - 23. Suppose 2*m = -w + 25, 26 = 2*w + m - o*m. Is w a multiple of 9?
False
Let b = 1057 - -63. Let s = -642 + b. Is 41 a factor of s?
False
Let l(r) = r**3 + 36*r**2 + 14*r + 139. Is 82 a factor of l(-31)?
True
Suppose -3*y + 28 = 5*j, -2*j - 5*y = -2*y - 13. Suppose o + j = 4*v + 6*o, 4*o = -4*v + 8. Suppose 0 = -t - 3*i - 1, 0 = i + v - 1. Does 5 divide t?
False
Let h(z) = -z - 1. Let l(i) = -20*i - 18. Let u(c) = -12*h(c) + l(c). Is u(-10) a multiple of 2?
True
Let t(m) = -4*m**3 + 2*m**2 + 3*m - 2. Let q be t(2). Let r = q + 41. Let x = r - -64. Is x a multiple of 20?
False
Suppose 5*g + 5*z = -15, 3*z = -5*g + 8*z + 15. Suppose 57 = 2*o - o + 3*j, g = o + 4*j - 52. Does 14 divide o?
False
Let s(q) = -2*q**2 + 29*q + 6. Let v be s(12). Is 7 a factor of ((4 + -5)*9)/((-18)/v)?
False
Suppose 5*s + 6 = -9, -5*u + 2*s = -64966. Does 58 divide u?
True
Is 3 a factor of 3202632/1440 - 3/60?
False
Suppose 19*u + 16719 = 6*u + 97215. Does 7 divide u?
False
Suppose p = -a + 37, 9*p - 145 = -4*a + 4*p. Suppose -9*n + 148 = a. Is 8 a factor of n?
False
Let c(g) = -197*g + 372. Is 45 a factor of c(-39)?
True
Is 134 a factor of (-3786)/(-2) - -14*(-1)/(-7)*2?
False
Is -8004*6/12*-6 a multiple of 23?
True
Suppose 6*j - 3*j = -5*z + 39603, -3*j + 3*z = -39627. Does 142 divide j?
True
Is 117 a factor of (19025/2)/(140/112)?
False
Let r(v) be the second derivative of 0 + 5/2*v**2 - 2/3*v**3 + v + v**4. Is r(3) a multiple of 14?
False
Suppose 5*r - 2*x - 3697 - 7313 = 0, 0 = -3*r - 4*x + 6580. Is r a multiple of 88?
True
Suppose -525267 = -60*r - 24327. Is 31 a factor of r?
False
Suppose 2 + 19 = 7*w. Suppose 0*y = w*y - 333. Suppose 11 = -5*z + y. Does 2 divide z?
True
Suppose -1103*f + 1105*f - 3504 = 4*g, -2*g + 1744 = f. Is 38 a factor of f?
True
Suppose 13742 = 9*g - 13591. Is 45 a factor of g?
False
Suppose 0 = -1675*x + 1753*x - 1020942. Is 44 a factor of x?
False
Let w(p) = -1. Let l(h) = 30*h - 13. Let d(i) = -3*i - 20. Let j be d(-7). Let n(k) = j*l(k) + 5*w(k). Does 12 divide n(5)?
True
Is (-342)/(26 + 321/(-12)) a multiple of 38?
True
Let x = -23 + 45. Suppose -10 = 17*m - x*m. Suppose 2*l - 172 = -m*r, 0 = -0*l + 5*l - 5*r - 480. Is l a multiple of 13?
True
Let n(t) = t**3 - 38*t**2 + 18*t - 33. Suppose -349 - 1095 = -38*b. Does 31 divide n(b)?
True
Suppose 13*q = 14*q - 383. Let f = q - 155. Let k = f - 151. Is 11 a factor of k?
True
Let y be (5 - (-12)/(-3)) + -3. Let v be (-51)/(-34)*(-20)/y. Suppose 5*i = p + 12 + 8, 2*i - v = -p. Does 3 divide i?
False
Let n = -231 - -120. Suppose -2*r + 80 + 180 = 4*p, 4*r - 525 = -3*p. Let q = n + r. Is 15 a factor of q?
False
Suppose w + 0*w - 2986 = 4*v, 1486 = -2*v + 4*w. Let u = v - -1087. Is u a multiple of 17?
True
Let v(a) = -a**3 - 45*a**2 - 83*a. Let d be v(-43). Let u = 177 - d. Is u a multiple of 17?
True
Suppose -12*p = -2060 - 220. Suppose -2*r = -2*h + p, -6*h = -3*h - 5*r - 277. Is h a multiple of 4?
False
Let i be 6/(-7) + 96/112. Suppose -11*d - 16*d + 2430 = i. Does 10 divide d?
True
Let p = -960 + 1625. Suppose -34*c + 355 = -p. Is 3 a factor of c?
True
Is (-20)/(-85) - (-12359688)/1122 a multiple of 102?
True
Let a(i) = 2*i**2 + 15*i + 4 + 3*i**2 - 13*i + 10*i + 20. Suppose 14 = -5*t - 6. Is 28 a factor of a(t)?
True
Let l = 13639 - -2091. Does 10 divide l?
True
Suppose 0 = -x + 5 + 19. Suppose -g = 53 - x. Is (21/(-4) - -5)*g*4 a multiple of 7?
False
Suppose 2*l + 0*m - 27 = -3*m, -2*l + m + 39 = 0. Suppose -3*r - x + 14 = 0, 4*r - 39 = -5*x - 35. Is 21 a factor of (-2)/r + 384/l?
True
Suppose 0 = 41*z + 95169 - 517305. Is 66 a factor of z?
True
Let n = 71 - 69. Suppose -n*t = -7*t + 760. Does 20 divide t?
False
Suppose 10 = -9*d + 55. Suppose 5*w = 7*w + 4*g - 212, d*g + 515 = 5*w. Does 26 divide w?
True
Let o = -214 + 128. Suppose 2*i - 208 = 3*v - 45, -3*i = 4*v + 189. Let j = v - o. Is j a multiple of 11?
False
Suppose 521208 + 2471253 = 145*d - 881649. Does 122 divide d?
True
Suppose -4*d = -3*r - 12951, -56*d - 5*r + 12911 = -52*d. Is 154 a factor of d?
True
Let d = 153 + -742. Let h = -189 - d. Is h a multiple of 12?
False
Suppose 2772 = 7*d + 6*d - 5626. Does 2 divide d?
True
Is 38 a factor of (-7)/(3/(-15732)*3) + 0?
True
Let q(g) = -g + 37. Let t(z) = -5*z**2 + 4*z - 3. Let u(m) = -14*m**2 + 11*m - 8. Let s(i) = 8*t(i) - 3*u(i). Let j be s(0). Is q(j) a multiple of 7?
False
Suppose -4*c = 922 - 1214. Let j = c + 250. Does 19 divide j?
True
Suppose 25*t - 3*t = -99*t + 578622. Does 3 divide t?
True
Is 15 a factor of (-116)/(-2726) + 12686/94?
True
Let a = 673 - -1907. Is a a multiple of 9?
False
Let r(v) be the first derivative of -23*v**2/2 + 9*v - 25. Let l(x) = 2*x**2 + 28*x - 9. Let n be l(-14). Is r(n) a multiple of 18?
True
Let q = 15 - 8. Let d = 99 + q. Does 20 divide d?
False
Let w = 7468 - 2078. Is 14 a factor of w?
True
Suppose 8*x = 14 + 74. Suppose -x*d = -12*d + 71. Is d a multiple of 13?
False
Suppose -35*n + 414 = -12*n. Suppose -8*w + n*w = 1320. Is w a multiple of 12?
True
Let h be -7*(8/14)/((-28)/5306). Suppose 3*k = 4*w + h, 25*w = 21*w + 16. Is 6 a factor of k?
True
Let l(x) = 12*x**2 + 26*x + 1582. Does 52 divide l(-29)?
True
Let o = -170 - -175. Suppose -o*l + 8*w = 4*w - 1690, 2*l - 4*w - 664 = 0. Does 18 divide l?
True
Let n(v) = -16*v**3 + 5*v**2 - 3*v - 4. Let t(x) = 17*x**3 - 5*x**2 + 3*x + 4. Let u(w) = -5*n(w) - 4*t(w). Is u(2) a multiple of 9?
False
Let s = -967 - -1006. Is 10 a factor of s?
False
Let x(d) = d**3 + 4*d**2 - d + 1. Let y be x(-4). Let i(s) = s**3 - 2*s**2 - 10*s + 23. Is i(y) a multiple of 8?
True
Suppose -6 = 3*l - 3*h, 0 = 3*l - 4*h + 10 - 5. Is 2 a factor of (-7)/(-21) - 29/l?
True
Suppose -55*f = -57*f + 324. Suppose -88 = -2*q - 3*n, -13*q + 10*q + 3*n = -f. Is q a multiple of 25?
True
Let u be (-4*33)/(-6)*1. Does 4 divide 5 - (-11)/(u/78)?
True
Suppose 1106*f - 1110*f - 9921 = -s, -4*f = -8. Is s a multiple of 67?
False
Let w(h) = 14 - 7*h**2 + 3*h + 0*h - 7*h + 6*h**2. Let q be w(-6). Suppose 2*n = -q*u + 120, 3*u + 0*u = -6. Is 30 a factor of n?
False
Does 16 divide ((-41873)/(-13) + 15)/((-2)/(-8))?
True
Let u(f) = -79*f + 408. Is 48 a factor of u(-24)?
True
Suppose -80*q + 96*q + 40 - 59384 = 0. Is 11 a factor of q?
False
Let x(u) = 9*u - 2*u + u**2 - 7*u - 45 - 2*u. Let i be x(-20). Suppose 11 - i = -3*g. Does 21 divide g?
False
Let j(l) = 50*l**2 - 15*l