se -2520 = 5*k - l*k. Does 45 divide k?
True
Let i(h) = 5*h + 1. Let y be i(2). Let z(c) = -c**2 + 10*c + 8. Let g be z(y). Is 14 a factor of (-4)/(-5) - (376/(-5) + g)?
False
Let f = -184 + 240. Suppose 61*k = f*k + 120. Is k a multiple of 22?
False
Let w = -1680 + 979. Let r = -476 - w. Does 15 divide r?
True
Let j = 518 + 25642. Does 20 divide j?
True
Suppose 2*r = -0*w + 4*w + 1570, 0 = -4*r - 4. Let i = 486 + w. Does 7 divide i?
False
Let n(x) = -x**2 - 5*x - 7. Let h be n(4). Let y = h + 44. Suppose 0 = i + y, -5*z - i = 2*i - 77. Is z a multiple of 2?
True
Let k = -14 + 22. Suppose -39*v = -37*v - 14. Suppose -x = -k - v. Is 15 a factor of x?
True
Let d be (-278)/((-32)/30 + 4/10). Suppose -2*j + d - 113 = 0. Is 6 a factor of j?
False
Let g = 136 - 124. Does 24 divide g/(-12)*(-254)/2?
False
Does 4 divide (-2 + 2122)*((-14)/(-8) + (-42)/56)?
True
Let w(c) = c**2 - c - 9. Let k be w(4). Let f(b) = 39*b**3 - 2*b**2 + b + 9. Is f(k) a multiple of 16?
False
Suppose -16*g + 556112 = 2*a, 5*a = -26 + 66. Is g a multiple of 54?
False
Suppose 18*m - 18966 = 3948. Does 19 divide m?
True
Let w(l) = 4*l**2 + 12*l + 9. Let j(h) = 3*h - 44. Let u be j(13). Let d be w(u). Let b = -39 + d. Does 9 divide b?
False
Let b = -14 + 20. Let u be -24 - ((-44)/16 - b/(-8)). Let f = 43 + u. Does 3 divide f?
True
Suppose 3*f - 5*f + 4*b = 128, 5*b + 256 = -4*f. Does 7 divide f*2/(-6) + 2/(-6)?
True
Let n be 2 + -1 + (-2)/2. Let i(b) = 115*b + b**3 + 27 - 113*b - 11. Is 3 a factor of i(n)?
False
Let a(c) be the second derivative of c**7/420 + c**6/180 + c**5/60 - 3*c**4/2 + 2*c. Let y(d) be the third derivative of a(d). Does 18 divide y(-2)?
True
Suppose 2*l - 3*w - 44309 = 50418, -4*w = -4*l + 189468. Is 225 a factor of l?
False
Let w be 62/(-217) + 37/7*1. Suppose 750 = 4*o + w*n, -4*n - 91 - 867 = -5*o. Is o a multiple of 38?
True
Is 8 a factor of ((-8)/(-8))/((-6)/4 + (-13128)/(-8751))?
False
Let z(r) = -r**2 + 18*r - 20. Let k be z(17). Let m be 1/k*(-1 - 29). Let d(w) = w**3 - 10*w**2 + 5*w + 14. Is 13 a factor of d(m)?
False
Suppose -54*q + 5073 = -50*q - 13895. Is q a multiple of 41?
False
Is 243 a factor of (-7858648)/(-308) + 8/(-88)?
True
Suppose 6*f - 2532 = 684. Is 134 a factor of f?
True
Let d(x) = x**3 + 24*x**2 - 7*x + 2. Let i(o) = 15*o - 2 + 0*o**2 - 24*o**2 - 7*o. Let p(y) = -4*d(y) - 5*i(y). Is 6 a factor of p(5)?
True
Let c(d) = -10*d + 21. Let g(r) = -5*r + 11. Let v(z) = -4*c(z) + 7*g(z). Let k be ((-3)/(-5))/((-5)/(-50)). Is 2 a factor of v(k)?
False
Does 64 divide 2 + 3 - (-31 - (-5 - -21442))?
False
Does 57 divide 90/(-6) - -6411 - -7?
False
Let x(f) = 11*f + 12. Let n be x(-3). Let z be (-853)/(-7) - (-1 + (-18)/n). Is 19 a factor of (1 - z/8)*(-56)/21?
True
Suppose 2074 + 2246 = 83*m - 29*m. Let g(h) = -h**3 + 3*h**2 - 2*h. Let q be g(2). Suppose m = 4*o - 4*i, -3*i - 10 = -o - q. Does 3 divide o?
False
Suppose 0*a + 170 = -5*a. Suppose 152*g + 128 = 154*g. Let w = g + a. Is w a multiple of 30?
True
Suppose 35000 = -260*t + 280*t. Is t a multiple of 50?
True
Does 20 divide 5933 + -3 - (-297)/27?
False
Suppose 305*g - 5794 = 303*g. Is 5 a factor of g?
False
Does 6 divide 1*-15 - (-9757 + 190)?
True
Let y(i) = 2*i**2 - 47*i - 22. Let r be y(24). Suppose -4*h = h - 20, r*h = -5*n + 3548. Is 63 a factor of n?
False
Let r(s) = s**3 - 8*s**2 + 5*s + 17. Let y be r(7). Is (804 - (-2 - -5)) + y a multiple of 44?
False
Is 7 a factor of (-27)/(-3) + 3 + -9 + 1535?
False
Suppose 94*y - 43775 = 17701. Is y a multiple of 3?
True
Suppose 2*i - 1966 = -182*w + 187*w, -w - 6 = 0. Does 40 divide i?
False
Suppose -11*o + 6*o - 5*c + 9015 = 0, o = 4*c + 1788. Does 18 divide o?
True
Let a(s) = 8*s**2 - 5*s - 7. Let b(h) = -3*h**2 + 2*h + 2. Let g(c) = -4*a(c) - 11*b(c). Let p be g(7). Let v = -35 + p. Does 6 divide v?
True
Let o be 72/(-15)*(-30)/12. Suppose -o = -6*w + 72. Suppose u = -0*u + w. Does 11 divide u?
False
Let c = 9170 + -5748. Does 7 divide c?
False
Suppose -2*l + 250 = -1230. Let g = l + -356. Is 32 a factor of g?
True
Suppose -4*b - 1890 = -3*l, 3*b - 954 = 5*b + 3*l. Let u be b/(-21) - 8/14. Suppose -4*s = -2*v - 44, -s = s + 4*v - u. Does 11 divide s?
True
Is (-11 - -449 - 2)/((-2)/(-17)) a multiple of 17?
True
Suppose -h + 14*n = 19*n - 52764, 6*n + 263572 = 5*h. Does 98 divide h?
True
Suppose -4*z + 2*n = -55464, -5*n + 110910 = -10*z + 18*z. Does 59 divide z?
True
Suppose i = -i - r + 4, -i + 13 = -5*r. Suppose o + 2*o + 2 = 4*g, 2*o - i*g + 2 = 0. Suppose -3*c - 4*w + 209 = 0, 204 - 42 = o*c - 3*w. Is 12 a factor of c?
False
Suppose 175*z + 20517 = 196*z. Is z a multiple of 20?
False
Suppose -14*s + 608 = -5566. Does 2 divide s?
False
Is 24633/4 + ((-35)/28)/1 a multiple of 47?
True
Suppose -5*n + 879 = 3*w, -11*n + 6*n = 0. Suppose 32*s = 2501 - w. Does 7 divide s?
False
Let t(x) = -327*x + 43. Let q be t(-7). Suppose -q = -20*p + 88. Does 11 divide p?
True
Let s(v) = -v**2 - 3*v + 40. Let f be s(-8). Suppose -5*w + 7 + 63 = f. Does 8 divide w?
False
Let a = 1374 + -1171. Is 4 a factor of a?
False
Suppose 123*k - 434117 - 95717 - 237686 = 0. Does 48 divide k?
True
Suppose -133*q - 342635 = -943795. Does 10 divide q?
True
Let c(r) = -3*r**2 + 2*r - 2. Let a be c(1). Let y(t) = t + 12. Does 7 divide y(a)?
False
Let p(n) = 2*n - 1. Let g(y) = y + 56. Let l(h) = -g(h) - 3*p(h). Is 16 a factor of l(-19)?
True
Suppose 13*b - 180330 = 65682. Does 166 divide b?
True
Let a(z) = -101*z + 197*z - 99*z - 36. Let t be a(-14). Suppose -3*h = -3 - t. Is h a multiple of 3?
True
Let y = 3540 - 2100. Is 36 a factor of y?
True
Let h = -10741 - -17319. Is 26 a factor of h?
True
Suppose -4*v - 16866 = -3*i, -i + 6819 = 3*v + 1197. Is i a multiple of 10?
False
Suppose -k = -396 - 718. Let c = k - 638. Is c a multiple of 17?
True
Suppose -13*t = -7*t - 30. Suppose t*u = -3*r + 2*u + 45, -2*r + 2*u + 34 = 0. Is r a multiple of 3?
False
Let l(j) = 38*j. Let q be l(-1). Let r = q - -40. Suppose 2*n = r*z + 48, -26 = -n - 3*z + 18. Is n a multiple of 3?
False
Suppose 252*y = 207*y + 210870. Does 6 divide y?
True
Let w(q) = -3*q - q + 130 - 4*q**2 - 114 + q**3. Let s be w(7). Suppose -x = 2*x - s. Is x a multiple of 15?
True
Let h = -73 - -576. Let b = 4197 - 3626. Suppose b = 6*v - h. Is 17 a factor of v?
False
Let p(f) = -1480*f - 1775. Is 75 a factor of p(-5)?
True
Suppose 15*r - 21 = 8*r. Is 49 a factor of (5/((-60)/(-441)))/(r/8)?
True
Suppose 0*r - 19 = -5*r + k, -3*r + 11 = -k. Let n be 153 + 27/(-18)*(2 - 0). Suppose r*i + n = 9*i. Is 5 a factor of i?
True
Let f(c) = 14*c + 5 + c + 0*c. Suppose 0*d - 5*s = -d - 16, -5*d = -s - 40. Is f(d) a multiple of 28?
True
Let u(z) = -z**3 - 6*z**2 + 16*z + 4. Let c be u(-8). Suppose -5*s + c*n - 3*n = -514, -1 = -n. Is 39 a factor of s?
False
Suppose 2*n = 2*i + 1365 - 7565, 4*n = 3*i - 9295. Does 27 divide i?
True
Suppose -3*a + 2*s = -36202, 0 = -3*s + 13 - 1. Does 9 divide a?
False
Suppose 2*y + 5 = -5. Let u(p) be the first derivative of -41*p**2/2 - 6*p - 418. Is u(y) a multiple of 10?
False
Let z(p) = 256*p**3 - 2*p**2 - 9*p + 14. Does 28 divide z(2)?
False
Suppose -4*p - 4*r + 112370 = -5*r, 3*p + 3*r = 84255. Is p a multiple of 7?
True
Let x = 84 + -56. Let w = 14 + x. Is 18 a factor of w?
False
Let v(r) = r + 9. Let u be v(-6). Let y(a) = -u*a - 2*a + 1 + 6*a + 2*a**3 - 2*a**2 - 2*a**2. Is y(3) a multiple of 11?
True
Let i be 3 - (1 + -22 + -4 + -2). Is ((-3)/5 - -1) + 6228/i a multiple of 37?
False
Let v be ((-52)/16 - -2)/(1/(-4)). Suppose -3*g = -5*g - 5*s + 287, v*s = 5*g - 665. Does 8 divide g?
True
Let d be (0 + -1)/(5 - (-2992)/(-598)). Let z = -154 + -55. Let g = z + d. Does 23 divide g?
False
Let h(c) = -5*c - 30. Let t be h(-6). Suppose t*b = 3*b. Suppose -o = -4*l - 146, -3*o + l + 482 = -b*o. Does 9 divide o?
True
Let b(z) = 122*z**2 - 647*z - 3833. Is 111 a factor of b(-6)?
False
Let n be (5 - 0)*((-8)/4 - -3). Suppose 4*r = n*z + 6*r - 109, z = -2*r + 17. Is (z/2)/(10/160) a multiple of 23?
True
Suppose -26*x + 118745 + 28207 = 0. Does 120 divide x?
False
Suppose 10*z = -6*z + 15008. Let a = z - 382. Does 59 divide a?
False
Suppose -8*h + 3 = -4*h - 5*k, -2*h = 4*k - 8. Suppose 188 = h*n - 3*s, -9 = -2*s - 1. Does 26 divide (-6 - n/(-15)) + 932/6?
True
Suppose i + 37824 = 13*i - 0*i. D