 2*c, 5*c = 4*y - 502. Let i = c + 278. Is i a multiple of 15?
True
Let j = -16 - -41. Suppose -4*d + j = -5*x, -5*x = -3*d + 32 - 7. Suppose 2*o - 285 - 15 = d. Is 19 a factor of o?
False
Suppose -10*p = 3*n - 5*p + 810, -5*n - 1316 = -3*p. Let s = n + 574. Is 5 a factor of s?
False
Let r(n) be the first derivative of n**5/20 - n**4/4 + n**3/6 + 7*n**2/2 - 4. Let l(o) be the second derivative of r(o). Does 16 divide l(4)?
False
Let s(j) = 65*j + 13. Suppose 3*f + 5 = h - 6, -5*h = -5*f - 25. Is s(h) a multiple of 11?
True
Suppose -351*i = -353*i + 12, 0 = 3*l - 2*i - 2580. Is 3 a factor of l?
True
Suppose -3*q + 127*j = 129*j - 15, 3*j - 21 = -3*q. Let b(l) be the first derivative of 28*l**3/3 - l**2/2 + l + 1. Is b(q) a multiple of 4?
True
Let a(d) = d**3 - 8*d**2 - 18*d + 11. Let n be a(10). Let l = 38 - n. Suppose x - 134 = -4*f, 1 + l = -4*x. Is 3 a factor of f?
False
Let l(u) = u + 8. Let x be l(-5). Let n = 84 - 81. Suppose -n*a + a + 5*d = -100, -4*a = x*d - 148. Is 20 a factor of a?
True
Let o = 3 + 2. Let h(r) be the first derivative of r**3/3 + 5*r**2/2 + 10*r + 10. Is 30 a factor of h(o)?
True
Suppose n - 4 + 1 = 0. Suppose -77 - 13 = -n*u. Is u a multiple of 3?
True
Let t be (-31)/(-62) + (-22)/4 + -4. Suppose 0 = 5*m + 21 - 6. Does 8 divide t/(-1 + (-2)/m)?
False
Suppose -5*c = -0*h + 5*h - 55, 4*h + c - 29 = 0. Suppose 0 = 5*r + z - 1167, -z = -2*r - h*z + 453. Suppose -r = -17*s + 8*s. Is 13 a factor of s?
True
Suppose -2000 = w - 2*j - 460, -4*j = 12. Let m = -661 - w. Is m a multiple of 15?
True
Suppose -2*j - 695 = 3*i - 45085, 0 = -3*j - 3*i + 66594. Does 13 divide j?
True
Suppose 0 = c + 4*c + 330. Let q = 76 + c. Suppose 6*s - q*s + 240 = 0. Is 5 a factor of s?
True
Let q(b) = b**2 + 4*b - 73. Let w be q(7). Suppose -9*p - 945 = -10*p - 5*a, -p - w*a = -942. Is 10 a factor of p?
True
Let c = -30 - -32. Suppose -2*q - c*q = 20, s + 3*q = 321. Does 24 divide s?
True
Let j = 73 - 73. Suppose j*y + y = -0*y. Suppose 8*f - 333 - 371 = y. Is 22 a factor of f?
True
Suppose 0 = -r + i + 31, -115 = -4*r - 7*i + 2*i. Suppose 7*a = a + r. Suppose 5*m = 2*o - 89 - 65, -a*o + 2*m = -406. Does 14 divide o?
False
Let r(f) = -1. Let t(k) = 26*k - 39. Let s(w) = -39*r(w) + t(w). Let q be s(1). Is 3*(-4 + q/3) a multiple of 7?
True
Let w be (-18)/27 - 8/(-3). Suppose -4*t + m + 286 = 0, -6*t - 2*m + 292 = -w*t. Does 58 divide t?
False
Suppose 4*l - 32604 = -4*r, -l = 3*r - 5737 - 2416. Is l a multiple of 5?
True
Let q be (-357)/28 - 1/4. Let i(t) = -15*t - 24. Does 19 divide i(q)?
True
Suppose 3*r - 39 = -10*r. Suppose 5*k = -6*l + l - 5, r*k - l + 15 = 0. Does 14 divide 9889/44 - k/((-32)/6)?
True
Suppose -4542 = 11*c - 12176. Is (5/(-35) - c/14)*-7 a multiple of 87?
True
Let t = -356 - -361. Suppose t*a + 2*k - 2626 = 1992, 0 = 5*k + 5. Does 84 divide a?
True
Let g(l) = -6*l + 20. Suppose -3*p + 5*p = 8. Let z be g(p). Does 20 divide 2/(-3 + 1)*564/z?
False
Suppose 0 = -2*r + 4 + 2, -3*n - 3*r + 37746 = 0. Is 11 a factor of n?
False
Let u = 738 - 576. Let o = u + -36. Is o even?
True
Is 90 a factor of (29480/(-938))/((-4)/630)?
True
Let t be 19436/(-12) + 6/(-18). Does 20 divide (t/63)/(3/(-21))?
True
Let o(f) = 108*f**2 + 4*f. Let p be o(1). Suppose -p*l = -117*l + 1140. Is l a multiple of 30?
False
Suppose -85646 - 73882 = -51*g. Is g a multiple of 14?
False
Let p(g) = 3*g**3 - 13*g**2 + 24*g - 36. Let y(c) = -12*c**2 + 3*c**3 - 37 - 6*c**3 + 7*c**3 + 25*c. Let t(h) = 3*p(h) - 2*y(h). Is t(14) a multiple of 10?
False
Suppose -3*j - 6 = 0, -19*d + 14*d + 5*j = -30. Suppose -k - 5*f = -307, -d*k + 2*f = 5*f - 1194. Does 9 divide k?
True
Does 60 divide (8/9)/((-72)/(-207684))?
False
Let d(x) = 23*x**2 + 7*x + 4. Let z be d(6). Suppose z = 5*y - 121. Suppose -4*w + 619 = 4*m + y, m = 4*w + 110. Is 37 a factor of m?
False
Suppose -59 = 13*l + 19. Let i(n) = n**2 + 7*n + 9. Let q be i(l). Suppose 0 = 3*r + q*u - 246, -16*r - 4*u = -11*r - 413. Is r a multiple of 17?
True
Suppose -18*i + 19*i = 0. Suppose i = 8*q + 6*q - 28. Suppose -3*h = q*n - 79, 2*n + 4*h + 44 = 4*n. Is 14 a factor of n?
False
Let x(v) = 2*v**3 + 3*v**2 - 7*v + 8. Let m be x(-4). Does 66 divide (m/(-5))/(61/2745)?
True
Let v = 58 + -55. Let b be (-1)/(v/(-6) + 0/2). Suppose 5*x - 676 = -s, 0 = -b*x + 5*s + 130 + 162. Does 24 divide x?
False
Let h be (-11)/(-2) + (-9)/2 + 3. Let n be -35*((-6)/h - (-5)/2). Is 22 a factor of (-6244)/n + 4/(-10)?
False
Suppose -1634054 - 445803 = -139*a. Is a a multiple of 8?
False
Let f(r) = 292*r - 120. Let m be f(-2). Let k = m - -1377. Does 86 divide k?
False
Let t(k) = 19*k + 5. Let z(m) = 14 + 5*m + 7*m - 9*m. Let l be z(-3). Is 10 a factor of t(l)?
True
Suppose 14 = 3*w + 4*t, w - t - 6 = -3*t. Suppose 0*j + j = 28. Suppose 3*o = -3*g + 60, -5*o + o - j = -w*g. Is g a multiple of 6?
True
Suppose -5*f = -3*f - 5*s - 37, -2*f + 55 = s. Let x be ((-2)/16*f)/((-1)/52). Suppose 604 = 5*d + x. Is 17 a factor of d?
False
Suppose -3647 = 52*i - 59*i. Suppose 5*j = 2*n + n + 2631, -j + i = 2*n. Does 48 divide j?
False
Suppose -15*x - 22*x + 4*x = 0. Suppose x = -6*s + 43*s - 17316. Is s a multiple of 12?
True
Let a(w) = -9*w**2 - 13*w + 13. Let o(z) = 5*z**2 + 7*z - 7. Let h(m) = 4*a(m) + 7*o(m). Let q be h(-3). Suppose 4*b - 32 = q*b. Does 8 divide b?
True
Suppose -5*u + 55 = -5*l, l - 3*u + 21 = -l. Let s = l + 17. Suppose -4*g + 154 = s*a, -6*g + g - 20 = 0. Is a a multiple of 21?
False
Let w(k) = 13*k + 56. Let o be w(-4). Let x be ((-174)/o)/((-6)/44). Suppose 0 = -7*b - x + 1999. Does 18 divide b?
False
Suppose -4*v + 44 = 5*x, -4*v + 4*x + 24 = 16. Suppose 300 - 3312 = -v*o. Is o a multiple of 25?
False
Does 166 divide (-40)/380*19 + (-1 - -33867)?
True
Let k(i) = -20*i**3 - 26*i**2 - 22*i - 30. Is 45 a factor of k(-12)?
True
Let p = -5163 + 9914. Suppose -5*v + p = 3*n + 559, -v + 852 = 4*n. Is v a multiple of 22?
True
Let k(r) = -52*r**3 + 46*r**2 + r - 2. Does 42 divide k(-6)?
False
Let s(c) = -486*c + 507. Let k(w) = 97*w - 102. Let u(g) = -11*k(g) - 2*s(g). Is u(-6) a multiple of 9?
False
Let b be (-1)/((6/24)/(-1)). Suppose 16 = 5*k - 9. Suppose k*w - 56 = b*w. Does 12 divide w?
False
Let j(d) = 3*d**3 - 230*d**2 + 197*d + 73. Is 34 a factor of j(76)?
False
Let n(w) = -583*w + 9065. Is n(0) a multiple of 35?
True
Let s = -7894 + 14096. Is 7 a factor of s?
True
Suppose 2*g - 8828 = 4*i + 3922, i = 5*g - 31848. Is 33 a factor of g?
True
Let o(j) = 305*j**2 - 102*j - 45. Is 14 a factor of o(5)?
True
Let r be (7/3)/((-4)/108). Let i be (69 + -30)/((-12)/28). Let b = r - i. Does 2 divide b?
True
Suppose 6*i + p = 3*i + 1545, 0 = -5*p. Let f = i + -255. Suppose 10 = 5*m, 0 = 5*n - m - f - 98. Is 12 a factor of n?
True
Let b = -2607 + 3787. Does 4 divide b?
True
Let x = -4563 - -6468. Is 6 a factor of x?
False
Suppose 15*q + 2 = 16*q. Let g(m) = 4*m**2 + 16*m**q + 1 - 3*m**2 + 2*m. Is g(-1) a multiple of 4?
True
Let f(x) be the first derivative of -3*x**2/2 - 9*x - 20. Does 4 divide f(-5)?
False
Let f be 374 + 2 + (-9 - -9). Suppose -8*m + f = -960. Is m a multiple of 47?
False
Let g(j) = 193*j + 6878. Does 47 divide g(-24)?
False
Let c be 4/(-8) + (10396/8 - 3). Is 58 a factor of (-5 - c/(-8))*(0 + 1)?
False
Does 7 divide (-93 - -91)/((-1)/483)?
True
Let p be (-6 - -3 - 438) + (-1 - -6). Let c = 737 + p. Is c a multiple of 23?
False
Suppose -g + 17130 = w + 4*w, 51468 = 3*g + 2*w. Is g a multiple of 26?
True
Suppose 2*v - 69 = 3*j, 0 = v - 4*j - 33 - 14. Let k = 121 + v. Suppose -k*y = -151*y + 72. Is 8 a factor of y?
True
Let s(d) = -d**3 - 8*d**2 - 11*d + 14. Let l be s(-6). Suppose 2*z - l*z + 3*z = 0. Suppose z = 3*j - 5*q - 223, 8*q + 15 = 5*q. Is 22 a factor of j?
True
Let m(r) be the third derivative of -19*r**6/720 - 3*r**5/20 - 2*r**4/3 + 18*r**2. Let z(d) be the second derivative of m(d). Is 8 a factor of z(-6)?
True
Suppose 0 = -h - 5*x + x + 80, 3*x + 469 = 5*h. Let l = h + -71. Does 3 divide l?
True
Does 15 divide 1 + 2 + 312609/18 - 423/2538?
True
Let l(u) be the third derivative of 47*u**6/240 - u**5/120 - u**4/3 + 9*u**2. Let o(t) be the second derivative of l(t). Is o(1) a multiple of 25?
False
Suppose -7290 = -5*v + 5*c, 0 = 4*c - 366 + 346. Is v a multiple of 36?
False
Suppose 14*x + 52060 = 186880. Is 107 a fact