1840 = -49*k. Is 87 a factor of k?
False
Let p be (-3)/(-18) + 1087/(-6). Let x = -109 - p. Is 24 a factor of x?
True
Suppose 0 = 5*i - 4*m - 13870, -8354 = -3*i + 3*m - 7*m. Is i a multiple of 16?
False
Suppose 4*y + 0*y = -8. Let l be (-1)/y*0/(-12). Let q(a) = a**3 - a + 14. Is q(l) a multiple of 14?
True
Suppose -w = -j + 14 - 38, 3*w = -j + 56. Let o = 25 - w. Suppose -5*y + 19 + 91 = -o*f, -2*f + 138 = 5*y. Does 18 divide y?
False
Let a = 177 + -25. Suppose 7*r = a + 688. Does 18 divide r?
False
Let a(b) = 173*b + 210. Is 30 a factor of a(4)?
False
Let z(d) = d**2 + 5*d - 7. Let u be z(-5). Let o = u + 10. Is 2 + -3 + o + 4 a multiple of 2?
True
Suppose 25*g - 5123 = -5*k + 22*g, 4*k + 2*g - 4098 = 0. Does 16 divide k?
True
Let j(z) = -z**2 - 16*z + 38. Let d be j(-18). Suppose 31 = d*t + 1. Does 3 divide t?
True
Is 7 a factor of ((-360)/150)/((-6)/1695)?
False
Let v be (-2 - 0)/(4/266). Let z be 2 - 1 - (2 + v). Suppose -3*f = 5*c - 8*f - 250, 3*c + 3*f - z = 0. Is 12 a factor of c?
False
Is (-22 + 0)/(-1 - (-540)/552) a multiple of 46?
True
Suppose 5*c - 8*c + 906 = 0. Suppose -5*k = -c - 328. Is 32 a factor of k?
False
Let y(t) = 9*t + 105. Does 2 divide y(-7)?
True
Let y = 25 - 25. Suppose 4*k + y*v - 328 = -3*v, k + 3*v - 73 = 0. Is k a multiple of 17?
True
Suppose 0 = -9*m + 70 + 56. Is m a multiple of 7?
True
Let q(g) = -44*g - 7. Let r(k) = -43*k - 8. Let v(h) = -5*q(h) + 4*r(h). Is 14 a factor of v(2)?
False
Suppose 3*t + 1024 = 5*x - 5880, 4*t = 8. Is 52 a factor of x?
False
Suppose 0*v = v + 5*x + 10, -4*v = 3*x + 57. Let s = v - -15. Is 14 a factor of 1*28 - s/(-11)?
True
Suppose 4*o + o = 55. Does 4 divide o?
False
Let x be 4/8 + (-9)/6. Does 2 divide -3 - (-2 - x) - (-12 - -5)?
False
Suppose -5*n + 3*x = -849, -102 = -5*n - 3*x + 729. Is 8 a factor of n?
True
Suppose -2 = 4*y - 5*y. Suppose 3*p - 140 = -4*s + y*s, 4*p - 189 = -5*s. Is p a multiple of 11?
False
Let p(i) = 2*i - 3*i**2 + 0 - 1 - 5*i**3 + 4 - 3*i**3. Let x be p(5). Is (2/(-4))/(9/x) a multiple of 12?
False
Let u(f) = -f**3 - 13*f**2 - 13*f - 7. Let k be u(-12). Suppose g - 69 = -4*c, -g + k*g - 4*c = 176. Is g a multiple of 7?
True
Let j(v) = -2*v**3 - 29*v**2 - 25*v. Let r(d) = -d**3 - 15*d**2 - 12*d. Let c(n) = 3*j(n) - 5*r(n). Does 36 divide c(-12)?
True
Suppose -4*t + 96 = -0*t. Suppose 51 = i - t. Suppose -5*y + 15 = 0, 2*y - 7*y + i = 3*r. Does 20 divide r?
True
Suppose x = -3*z + 8*z - 35, 5*z + 5*x = 35. Is 7 a factor of 4/z + (-576)/(-21)?
True
Let z = -854 + 878. Does 6 divide z?
True
Suppose 60*u - 57*u - 15087 = 0. Is 47 a factor of u?
True
Let p be (60/(-25) + 0)*5. Does 25 divide (776/p + -2)*-3?
True
Suppose -13*w - 1752 = -6835. Is w a multiple of 11?
False
Let u = -31 + 354. Is 19 a factor of u?
True
Let s(v) = -v + 10. Let j = -1 + 6. Is s(j) a multiple of 4?
False
Let v = -6 + 10. Suppose -3*m - 182 = -v*m - 3*x, -2*m - 2*x = -364. Is 7 a factor of (-93)/(-13) - 28/m?
True
Let v be 90/(-10)*(3 + -2). Let u = 7 - v. Suppose -2*i - 3 - 8 = -x, -2*x = -2*i - u. Does 2 divide x?
False
Suppose -7*v + 10 = 24. Let i(z) = -6*z + 3. Is 6 a factor of i(v)?
False
Let o(c) be the third derivative of c**5/30 + c**4/3 + 4*c**3/3 - 11*c**2. Is 28 a factor of o(-6)?
False
Let a(r) = -2*r**3 - 21*r**2 - 24*r - 85. Is 18 a factor of a(-11)?
False
Suppose -f + 27 = 5*a, -61 = -0*f - 3*f - 5*a. Suppose 0 = -f*t + 13*t + 92. Is 11 a factor of t?
False
Suppose 0 = -u - 4*f - 19, -5*u + f + 0*f + 10 = 0. Let n be u + 1 - (3 - 201). Suppose -5*z = -2*w - 312, -5*z - 2*w = -108 - n. Does 10 divide z?
False
Let f(i) = -i**3 + 17*i**2 - i + 21. Let p be f(17). Suppose 2*w - 66 = 5*r - 460, -p*r + 3*w = -311. Does 40 divide r?
True
Suppose 10 = -0*t + 5*t. Let x be 146/4 - t/(-4). Suppose o = 107 - x. Is o a multiple of 11?
False
Let w be 17/4 + 11/(-44). Is w/6*(-7 - -58) a multiple of 6?
False
Suppose 0 = -8*j + 23 + 9. Suppose 3*g - 228 = -4*w + g, -j*w + 232 = 3*g. Is w a multiple of 11?
True
Suppose 4*u = 6*z - 3*z - 8, -u - 2 = 4*z. Suppose 0*r - 3*r + 48 = z. Does 5 divide r?
False
Suppose 5*i - 4*w = 4*i - 1, 0 = 3*w - 3. Let p be 4/1 - (-2 + 5). Suppose -2*n + 4*a + 176 = 0, p = 4*a - i. Is n a multiple of 30?
True
Is (-1 - (-2)/1)*(11 - -239) a multiple of 25?
True
Is (-92)/(-46) + (-1 - 0)*-2004 a multiple of 17?
True
Let p(z) = -z**3 - 12*z**2 - 4*z + 5. Let t be 5*(-5)/((-25)/2). Suppose -36 = q + t*q. Is 20 a factor of p(q)?
False
Is 50496/88 - (-4 - 84/(-22)) a multiple of 41?
True
Let v(r) be the third derivative of -r**4/24 - r**3/2 + 4*r**2. Let o(m) = -m - 3. Let w(y) = -2*o(y) + 3*v(y). Does 3 divide w(-6)?
True
Suppose -3*a - q + 122 = 0, 0 = 2*a + 4*q - 49 - 49. Does 13 divide (-64)/(-12)*a/4?
True
Suppose 0 = -5*p + t + 7, 4*p + 5*t - 14 = 3*t. Let w be (-18)/(-2) - (1 - -1). Is 15 a factor of 7/(w/p) + 40?
False
Let s = -77 + 81. Suppose -s*l = 2*l - 174. Does 29 divide l?
True
Suppose -510 = 2*l - 1094. Is 2 a factor of l?
True
Suppose -l + 3*l = 10, l = -2*r + 37. Let x be (r/3)/(1/3). Let v = x - 13. Is 2 a factor of v?
False
Let f = 37 + -32. Suppose -4*y + g + 239 = 0, f*g + 162 = 4*y - 73. Does 20 divide y?
True
Let a be 103/2 + (10/4 - 1). Let h = a + -42. Is 10 a factor of h?
False
Let b(f) = f**3 + 2*f - 3. Let k be b(0). Suppose 0 = -3*u + 3*r - 0*r + 21, 0 = u + r + 1. Is ((-2)/u)/(k/81) a multiple of 9?
True
Suppose 3*n - n - 160 = 0. Suppose -k + 6*u + n = u, -4 = u. Does 27 divide k?
False
Let a = 11 + -19. Suppose -v + 25 = -3*x, 2*v + 2*x - 142 = -3*v. Does 9 divide 2*4/a + v?
True
Let i(z) = z**2 + 2*z - 7. Let k be i(7). Let a = 61 - k. Does 4 divide a?
False
Is (-21)/9 + 3*27878/18 a multiple of 108?
True
Let p = -35 + 37. Suppose -3*i = -4*f - 114, -4*i - 26 = p*f - 200. Is 12 a factor of i?
False
Suppose 0 = -4*t - 4*d + 2580, 3*t - d - 2075 = -144. Is t a multiple of 23?
True
Let s be (7 - 3)*3/6. Does 29 divide (s*29)/(10/35)?
True
Suppose 1263*z = 1265*z - 1656. Is z a multiple of 46?
True
Let p = -233 + 483. Is 9 a factor of p?
False
Let w = 28 + -20. Let c = -8 + w. Let p(t) = t**3 - t**2 - t + 16. Is 3 a factor of p(c)?
False
Let d(n) = -n**2 + 8*n + 4. Does 2 divide d(4)?
True
Suppose 3*z = 6*z. Suppose 4*i - 14 + 6 = z. Suppose 0 = -2*h - 2*j + 69 + 23, 0 = -5*h - i*j + 236. Is h a multiple of 24?
True
Let m = -1048 + 1091. Is m a multiple of 2?
False
Suppose -3*l - 2*l + 5670 = 0. Is 21 a factor of l?
True
Let a(n) = -2*n - 3. Let f be a(3). Let k = f - -11. Suppose -5*u + 87 = -k*u. Does 9 divide u?
False
Let z(d) = 2*d - 1. Let t = 25 - 15. Let o be z(t). Let i = 2 + o. Is 21 a factor of i?
True
Let g(d) = -4*d - 1. Let b be g(3). Let k(n) = n**3 + 12*n**2 - 15*n - 19. Let l be k(b). Suppose l*h - 3*h - 96 = 0. Does 12 divide h?
True
Let n(s) = s**2 - s + 1. Suppose -10*r + 6 = -7*r. Let f be n(r). Suppose 48 = 5*j + 2*q - 60, -f*q - 48 = -3*j. Is j a multiple of 11?
False
Let k = 808 + -514. Does 7 divide k?
True
Suppose -6*r = 5*r - 374. Let i = 10 + r. Is 4 a factor of i?
True
Let b be 1 - 2/(-5)*-5. Does 18 divide (24 + 1)*(14 - 9) - b?
True
Suppose 160 = r - 5*u, -5*r + 90 = 3*u - 710. Suppose 3*s - r = s. Is 10 a factor of s?
True
Let b be 5/((25/(-10))/(-1)). Suppose 72 = b*d + 4*d. Is 2 a factor of d?
True
Suppose -2*q + 15 = 3*k + 2*k, -3*q + 17 = 2*k. Suppose 0 = -q*m + 51 + 164. Is m a multiple of 11?
False
Let r(y) = -13*y**3 - 19*y**2 + 2*y + 17. Let x(u) = 7*u**3 + 10*u**2 - u - 9. Let g(d) = -6*r(d) - 11*x(d). Is g(-3) a multiple of 9?
True
Let j be (-15)/35 - 72/(-21). Suppose -4*f - 2*w + 34 = -0*f, 0 = -f + 5*w + j. Is f a multiple of 4?
True
Let l(i) = 67*i + 3. Let q(d) = 67*d + 3. Let u(t) = -3*l(t) + 2*q(t). Is u(-1) a multiple of 13?
False
Let d(q) = -15*q + 17. Let i = 11 + 5. Let z(y) = y - 21. Let a be z(i). Does 23 divide d(a)?
True
Suppose -1230 = -14*d + 18930. Is 36 a factor of d?
True
Suppose 2*v + x = -72, 0 = 3*v - 6*v + 5*x - 121. Let s = v - -44. Is s even?
False
Suppose 0 = -5*t - 187 + 792. Suppose -5*s = -29 - t. Does 15 divide s?
True
Let l = -699 + 1071. Is l a multiple of 31?
True
Let o(r) = -r**3 - 7*r**2 + 3*r + 9. Let z be o(-7). Let u = 64 + z. Does 13 divide u?
True
Does 17 divide 137 + 2/6*(-12)/4?
True
Let d be 9 + -9 + 4*1. Suppose 2*l + 16 = 4*h - 16, -3*l = 