 = k + 18, 5*k + 4*j - 55 = 0. Suppose 15*l - 600 = k*l. Does 10 divide l?
False
Let h(b) = -b**2 - 9*b - 140. Let d(p) = p**2 + 5*p + 70. Let u(c) = -5*d(c) - 3*h(c). Is u(0) a multiple of 14?
True
Let a(z) = -2*z**2 + 11*z - 5. Let l be a(5). Is -8 + 7 - (l - 16) even?
False
Suppose -4*r + 5*r = 0. Suppose r = -4*u + 55 + 41. Suppose 2*c - 4*c = 4, -3*c - u = -3*d. Is 2 a factor of d?
True
Let s be (-1)/(2 + -4)*(11 + -15). Let r(n) = 32*n**2 - 2*n - 4. Is 30 a factor of r(s)?
False
Let s = -224 + 239. Let i be (-2*1 - -1) + 37. Does 12 divide 5/(s/i) - 0?
True
Let n be (1/1)/((-8)/136). Let h = 24 + n. Suppose h*w = 2*w + 95. Does 5 divide w?
False
Let r = -31 - -19. Let a = r + 14. Suppose -5*x = k - 5*k - 142, a*x - 56 = 2*k. Is 10 a factor of x?
True
Let r(p) = -56*p + 862. Is r(6) a multiple of 16?
False
Let l(c) be the third derivative of 5*c**4/12 - 10*c**3 - 11*c**2 - c. Does 5 divide l(11)?
True
Let h(u) = 2*u**3 + 4*u**2 + u + 3. Let q be h(-3). Suppose 15 = -2*j - 5. Let t = j - q. Is t a multiple of 3?
False
Is 49 a factor of 0 + 286 + (-29 - -13) + 23?
False
Let u(a) = a**2 - 10*a + 34. Let s be u(18). Let p = s + -106. Is 36 a factor of p?
True
Let q = 28 - -252. Is 10 a factor of q?
True
Suppose -7*x - 344 = x. Let g = x + 72. Is g a multiple of 27?
False
Let c(w) = w + 4. Let t be c(-2). Suppose 5*v - 9 = t*v. Suppose 3*n + 2*y - 60 = 0, -v*n = 2*y + 2*y - 54. Does 12 divide n?
False
Let f(h) = -18*h**2 + 2*h - 2. Let x(z) = -18*z**2 + 3*z - 3. Let d(n) = -5*f(n) + 4*x(n). Suppose 3*u - 4*v - 6 = 5, 1 = 5*u + 2*v. Is d(u) a multiple of 16?
False
Suppose -4*i = -p - 1183, -4*i - 7*p + 1203 = -4*p. Is i a multiple of 6?
False
Let f = -8 - -11. Let h(o) = -o**2 - o + 1. Let i(x) = -7*x**2 - 4*x + 4. Let k(l) = 6*h(l) - i(l). Is 5 a factor of k(f)?
True
Suppose -30 = 6*r - 9*r. Let j = r + 50. Is j a multiple of 15?
True
Suppose 5*z = 2*z + 651. Is 31 a factor of z?
True
Suppose -v = j + 4*v - 34, 3*v + 58 = 5*j. Does 3 divide j?
False
Let a(i) = -i**3 - 29*i**2 - 35*i + 39. Let r = 160 - 188. Does 17 divide a(r)?
False
Suppose -5*c - 11 = -31. Let m = c + 25. Is m a multiple of 16?
False
Suppose -2*a = -29 - 775. Does 6 divide a?
True
Does 4 divide 280/(-175) - (-7226)/10?
False
Let s(n) be the second derivative of 7*n**3/6 - 3*n**2 - n. Does 8 divide s(8)?
False
Let i(w) = -w**2 + 3. Let h(m) = -m**2 - m - 1. Let y(o) = -h(o) - i(o). Suppose 5*j + 0*j - 3*f = -12, -5*f + 4 = -3*j. Is 13 a factor of y(j)?
True
Let p(i) = -i**2 - 4*i + 4. Let z = 5 + 0. Suppose -16 = z*w - 1. Is 4 a factor of p(w)?
False
Let p(v) = -2*v**2 + 69*v + 4. Is 16 a factor of p(32)?
False
Let s be (40/3*42/(-35))/(-2). Let q(x) be the third derivative of 5*x**4/24 - x**3/3 - 4*x**2. Does 10 divide q(s)?
False
Let z(q) = 28*q**2 - 24*q - 15. Does 29 divide z(7)?
True
Suppose -15 + 5 = -5*z. Suppose z*b - 60 = -b. Suppose 0 = 4*a - o - b, 2*a + 2*a - 4*o - 8 = 0. Is 2 a factor of a?
True
Is 1115 + 42 - 5/(-1) a multiple of 22?
False
Suppose -2*z + 66 = 3*d - 6, -38 = -d + 4*z. Suppose -3*c = 2 - d. Does 3 divide c?
False
Let o = 888 - 531. Suppose 4*c - 135 = o. Does 25 divide c?
False
Does 34 divide 6/(-39) - (331520/(-130))/1?
True
Let s be 1/2 + (-60)/8. Let q = s + 9. Suppose 3*m = 2*u + 251, -q*m = m + 3*u - 261. Does 25 divide m?
False
Let c be 5/(-2)*(80/(-25) - -2). Suppose -396 = c*t - 6*t. Does 22 divide t?
True
Let u(d) = -3*d - 16. Let v be u(-6). Suppose 29 = -v*m + 35. Suppose m*a = s - 134 + 519, 5*s - 285 = -2*a. Does 32 divide a?
False
Let b(w) be the second derivative of w**5/20 + 11*w**4/12 + 13*w**3/6 - w**2 + 22*w. Does 8 divide b(-6)?
False
Suppose -1 = 2*l - 13. Let s(o) = 5*o + 11. Let c be s(l). Suppose 92 = 4*u + 4*w, -3*u + 4*u - c = 5*w. Is u a multiple of 6?
False
Let z(f) = -f**3 - 48*f**2 + 55*f - 282. Does 16 divide z(-50)?
True
Let s(w) be the first derivative of -16*w**4 + w**2/2 - 13. Is 21 a factor of s(-1)?
True
Suppose -5*d + 384 = -26. Suppose c - d = 46. Is c a multiple of 33?
False
Let i(x) = -1151*x + 807. Is 13 a factor of i(-3)?
False
Suppose 5*j - 551 = -176. Is j a multiple of 22?
False
Let m(v) = -2*v**2 - 12*v - 3. Let k be m(-6). Let g be k/12 + 18/8. Suppose 0 = -g*d - 3*d + 120. Is d a multiple of 24?
True
Let k(f) = 4*f + 24. Let n be (-1 + 12/8)/((-1)/(-24)). Is k(n) a multiple of 18?
True
Suppose -5*h = 3*y - 314, -h - 5*y = -10*y - 74. Suppose -4 = i - 0. Let p = i + h. Does 15 divide p?
True
Suppose -36 = -20*v + 17*v. Let h be v/30 - 1272/5. Does 9 divide (-7)/21 + h/(-6)?
False
Suppose 8 = 4*x, 4*m + 3*x - 542 = -0*x. Does 25 divide m?
False
Let g(u) = 14*u**3 - u**2 - u - 1. Let j be g(-1). Let f(k) = 47*k**3 + 4*k**2 + 19*k**2 + 14*k - 5 - 46*k**3 - 7*k**2. Does 4 divide f(j)?
False
Suppose 2*s + x - 1982 = 0, s - 3*x - 424 = 560. Does 6 divide s?
True
Suppose 0 = -40*i + 36*i + 504. Suppose 0 = s + x - i, -11 = 5*x + 4. Does 43 divide s?
True
Is 11 + ((-3064)/(-4) - 12) a multiple of 12?
False
Let d be ((-850)/15)/(1/3). Let j = -101 - d. Suppose -81 - j = -5*n. Is 8 a factor of n?
False
Suppose -5*r + 23 = -i, -23*r + 22*r - 2*i = 2. Let u(s) = 3*s**2 + 0*s - 7 + 4*s + 0*s**2. Does 19 divide u(r)?
True
Let j be 16/(-12) + 32/6. Suppose m - 2*v = -j*v + 1, 4*m = 2*v + 14. Suppose -5*k - 5*t + 110 = 0, -4*k + 2*t = -m*k - 22. Is 11 a factor of k?
True
Does 55 divide 381 + -1*(-7 - -3 - -3)?
False
Let w(z) = z**2 - 10*z - 27. Does 4 divide w(-11)?
True
Let v(w) be the second derivative of 2*w**4/3 - 2*w**2 + 12*w. Let p be v(-2). Is ((-1134)/p)/((-2)/4) a multiple of 11?
False
Let g(b) be the first derivative of 13*b**4/4 - 1. Let a be ((-12)/(-24))/((-3)/(-6)*1). Is g(a) a multiple of 8?
False
Suppose -2*y = 3*d - 10493, d - 2*d = -4*y - 3493. Let p = 1389 - d. Does 10 divide 2/12 + p/(-24)?
False
Is (-17 + 4 - -6)*-7*2 a multiple of 74?
False
Let k be 63 - 2 - (-1 + -2). Suppose h = 71 + k. Is 27 a factor of h?
True
Let u be (1002/(-4))/((-42)/56). Suppose 818 = 4*l + u. Does 24 divide l?
False
Let t(r) = -r**2 - 21*r + 12. Let v be t(-19). Suppose -52*n + v*n + 72 = 0. Is n a multiple of 9?
True
Let j(u) = -7*u**2 - 7*u - 1. Let p(c) = -8*c**2 - 8*c - 1. Let h(k) = -4*j(k) + 3*p(k). Does 13 divide h(-6)?
False
Let x be 14/91 + 2/(-13). Let i(f) = f**2 + 2. Let b be i(x). Suppose 96 = b*u - 4*y, 4*u - 4*y - 140 = 64. Does 26 divide u?
False
Suppose 6 = 2*x, k - 5*x + 6*x - 151 = 0. Does 4 divide k?
True
Let c = 12 - 9. Let f be (c/(-2))/(9/(-408)). Let b = 118 - f. Does 14 divide b?
False
Let l(t) = -t**3 + 14*t**2 - 3*t + 31. Does 3 divide l(13)?
False
Let c be 20/6*33/22. Let w be 4/(-14) + 74/14. Suppose -5*x - 3*g + 71 = -x, x + c*g = w. Does 10 divide x?
True
Suppose 0 = 3*t - t - 4*s - 20, -5*t = s - 6. Let z be ((-20)/6*-9)/t. Suppose -z = -2*d + 9. Is 3 a factor of d?
True
Let t(b) = -3*b + 8. Let c be t(5). Let j(l) be the first derivative of -5*l**2/2 - 2*l - 3. Does 11 divide j(c)?
True
Let h = -441 - -1011. Does 48 divide h?
False
Let m = -45 + 49. Suppose 0 = -m*d + 12*d - 1040. Does 13 divide d?
True
Is 38 a factor of 0 - (-7)/((-77)/(-9174))?
False
Let m = -1 + 6. Let k be 314/m + (-3)/(-15). Let v = k - 20. Is 9 a factor of v?
False
Let j(m) = -4*m**3 - m**2 - 4*m - 5. Let y(l) = 11*l**3 + 4*l**2 + 11*l + 14. Let n(k) = 8*j(k) + 3*y(k). Let g be n(-5). Let v = g - -40. Is 3 a factor of v?
True
Let w(t) = 0*t + 14*t + 5*t - 4 - 9*t. Let q(h) = -h**2 - 8*h - 4. Let c be q(-7). Does 7 divide w(c)?
False
Let u = -12 + 12. Suppose 24 = -u*v + 4*v. Is 8/(-6)*(0 - v) a multiple of 6?
False
Let w = -1 - -8. Suppose -i + 30 - w = 0. Is i a multiple of 23?
True
Let h(g) = 3*g**2 - 103*g + 10. Does 19 divide h(36)?
True
Let w(o) be the third derivative of o**4/8 + 7*o**3/6 + 193*o**2. Let d be 4 + (0/1 - -1). Is 18 a factor of w(d)?
False
Suppose 3*z - 1205 = 4*u, -z + u = -2*u - 405. Does 19 divide z?
True
Is (544/(-28))/(160/28 - 6) a multiple of 9?
False
Is 40 a factor of (-80)/(-3)*6*(1 + 7)?
True
Let s(z) = 3*z**2 + 3*z**2 + 9*z - 5*z**2 - 7 + 40. Does 4 divide s(-8)?
False
Let o(r) = 759*r**2 - 53*r + 54. Does 20 divide o(1)?
True
Suppose 3*n - l = 1739, 4*n + 5*l + 751 - 3057 = 0. Is n a multiple of 53?
False
Let f be (3/(-2))/(3/(-3918)). Suppose 6*i + 633 = f. Is 21 a factor o