Let k be d(-8). Is 14 a factor of (26/(-4))/(k/(-36))?
False
Let k(w) = -37*w**2 + 2*w - 1. Let c(s) = 75*s**2 - 5*s + 2. Let m(d) = 2*c(d) + 5*k(d). Let a be m(-1). Let g = a + 50. Is 5 a factor of g?
False
Let f(n) = n + 9*n + 11*n + 1. Is 16 a factor of f(1)?
False
Let r(l) = -20*l - 13. Let d be r(-6). Let j = -66 + d. Is 41 a factor of j?
True
Suppose -5*a = 4*v - 9, -4*a + 3*v = 4*v - 5. Let f be (-1 - a) + (-40)/(-1). Let i = 53 - f. Is 8 a factor of i?
False
Suppose 3*c + 4 = 10. Is 2 a factor of 44/12 + c/6?
True
Let l = 15 + -11. Suppose 0 = -i + 4*i + l*p - 74, -3*i = -2*p - 62. Suppose -i - 18 = -5*t. Does 4 divide t?
True
Let t(w) = -5*w + 0*w + 1 + 2*w + 2*w. Let r be t(8). Let f = 21 + r. Does 4 divide f?
False
Suppose 3*o = 5*h - 15, -o - 5*h + 35 = -6*o. Let q be 6/o*-5*1. Suppose 28 = x + q*x. Does 3 divide x?
False
Suppose -l - 29 = -8. Let v(j) = -4*j**3 + 2*j**2. Let o be v(-2). Let c = o + l. Does 9 divide c?
False
Let c be 10/(-25) + (-44)/(-10). Suppose -9 = c*j + 7. Is (-4 - -25) + j/2 a multiple of 7?
False
Is 26 a factor of (-2)/(248/252 - 1)?
False
Let j = -1 + 0. Let m(p) = -p**3 + 5*p**2 + p - 4. Let l be m(5). Is j/l - (-30)/1 a multiple of 19?
False
Let s(u) = -14*u**3 + u**2 - u - 1. Let b be s(-1). Is 6 a factor of -26*(-3 + b/6)?
False
Let o(d) = -3*d - d - 6 - 1. Does 10 divide o(-8)?
False
Let r(n) = n - 4. Let a be r(7). Suppose 0*l - 2*j - 3 = -a*l, l = j. Suppose -l*w + q + 37 = 0, 5*w + q = w + 40. Is 8 a factor of w?
False
Let c(o) be the first derivative of -2 + 1/2*o**2 + o**3 + 3*o. Is c(3) a multiple of 11?
True
Suppose -5*f = -8 - 32. Is f a multiple of 6?
False
Let c = -5 + 6. Let b = 1 - 0. Let g = c + b. Does 2 divide g?
True
Suppose -5*d + d = -w - 65, 5*w = -4*d + 59. Suppose d = -0*z + 4*z. Let c = 21 + z. Does 10 divide c?
False
Suppose -2*s = -0 - 6. Suppose v - s = 2. Suppose -5*c - v = -3*u - 94, -99 = -5*c - 2*u. Is c a multiple of 10?
False
Let w(j) = j**2 - 2. Let s be w(-2). Suppose 4*n + 4*o - 88 = 0, s*o - 5*o + 88 = 4*n. Is n a multiple of 11?
True
Let o(h) = -h**3 - 5*h**2 - 2*h - 4. Suppose -x + 3*z + 17 = 0, -2*z = -x - 0*z + 13. Let d = -11 + x. Is o(d) a multiple of 17?
False
Let b = -10 + 5. Let a = 5 + b. Is (-33 + -9)/(a + -1) a multiple of 14?
True
Let h be (1 - -2)*4/(-6). Let c be 1*(h + 1)*-35. Let n = 50 - c. Is n a multiple of 12?
False
Let t(c) = 14*c**2 - 2*c. Let j = 1 - -1. Let i be t(j). Suppose i = 3*l + l. Is 13 a factor of l?
True
Suppose -20 = 4*o, 2*h - 4*o = -2*h + 468. Suppose -r - r + h = 0. Suppose -r = 2*d - 6*d. Does 7 divide d?
True
Let j be (3/(3/(-4)))/(-2). Suppose -j*t - 80 = -7*t. Does 14 divide t?
False
Let d(k) = 21*k + 22. Let j(b) = 31*b + 33. Let m(w) = -7*d(w) + 5*j(w). Let g be (-4)/(-6) + (-66)/(-9). Does 19 divide m(g)?
False
Let l = 35 - 11. Is 11 a factor of (27 + 1)*18/l?
False
Suppose 5*f = -0*f + 5. Let u be f/((6/(-3))/(-30)). Is (u/(-4))/((-2)/8) a multiple of 6?
False
Does 10 divide 1 - 19/(-5 + 4)?
True
Let h(a) = 2*a**2 - 8*a - 18. Does 11 divide h(8)?
False
Suppose -4 - 11 = -5*m. Is 8/m*18/4 a multiple of 10?
False
Let c(n) = -2*n - 4. Let k be c(-3). Suppose -k*g + 7*g - 120 = 0. Is 12 a factor of g?
True
Let d be ((-1)/(-2))/((-2)/(-24)). Let j(g) = g**2 + 8*g - 22. Let o be j(-10). Let h = o + d. Is h a multiple of 2?
True
Let p be (-1)/(-3) + 1/(-3). Let h be 8 + (2 - 1) + p. Let n = h + 8. Does 8 divide n?
False
Let b(q) = 7 - 3 - 15*q + 3*q. Let v be b(3). Is (42/4)/((-12)/v) a multiple of 19?
False
Let o be (-1)/(2 + -3) - -2. Let j = 87 - 81. Let i = o + j. Is 5 a factor of i?
False
Is 16 a factor of -1*(7 - 6) - (-218 - 0)?
False
Let q = 121 + -62. Is 11 a factor of q?
False
Let h = 7 + -11. Let r be h/(-12) + (-14)/6. Is 13 a factor of (-4 - r) + 17 + 2?
False
Let k(g) = g**3 - 7*g**2 + g - 3. Let y be k(7). Let u = y + -2. Suppose -2*i + 20 = u*i. Is i a multiple of 2?
False
Suppose -2*z = -4*h + 2*h - 116, -5*h - 20 = 0. Is (z/15)/((-12)/(-90)) a multiple of 8?
False
Suppose 0 = -k + 2*k. Suppose i + k = 2. Suppose i*y - 6 = 24. Is y a multiple of 9?
False
Suppose 0 = -4*h + 8*h + 72. Is (-6)/3 - h - -2 a multiple of 8?
False
Suppose 33 = 5*p + 3. Suppose 3*x - p*x + 33 = 0. Does 11 divide x?
True
Let y(x) = 5*x - 12. Let h(z) = -z**3 - 8*z**2 - 9*z - 6. Let q be h(-7). Is y(q) a multiple of 17?
False
Let s(x) = -21*x + 3. Let i be s(2). Let w be 46/8 - (-2)/8. Is (i + 0)*(-4)/w a multiple of 13?
True
Suppose -2*n + 64 = 26. Is 19 a factor of n?
True
Let f = -7 - -3. Is 8 a factor of 19 - (-2)/f*-2?
False
Let z(c) = c + 14. Let t(j) = -j**2. Let n(s) = t(s) + z(s). Is 13 a factor of n(0)?
False
Let t(o) = -o**3 - 10*o**2 + 9*o - 16. Let x be t(-11). Suppose 2*n = -x, n = p - 2*n - 37. Is 14 a factor of p?
True
Let d(y) = y**3 + 7*y**2 - y - 4. Let b be d(-7). Suppose -r - b*r = -12. Does 2 divide r?
False
Let l(y) = -3*y**3 - y**2 - 2*y + 9. Let v(h) = 2*h**3 + 2*h - 8. Let i(k) = 3*l(k) + 4*v(k). Let p be i(-4). Let t = p + -1. Is t a multiple of 2?
True
Let d(r) = 23*r**3 - 2*r**2 + r + 2. Is d(2) a multiple of 20?
True
Let q = 1 - -3. Suppose 3*i - 1 = -10, 0 = q*l + 4*i + 36. Does 22 divide 3/6 + (-165)/l?
False
Let a(w) = w**2 - 17*w + 15. Does 4 divide a(18)?
False
Let t(z) = -3*z + 5. Let x be t(4). Suppose 0*n + 3*n - 57 = 0. Let m = x + n. Is 6 a factor of m?
True
Suppose g - 4 = 0, -5*k = 4*g + 53 - 254. Is k a multiple of 11?
False
Suppose 4*x - 1324 = -4*n, 0 = 5*x + 3*n - 2135 + 482. Is x a multiple of 54?
False
Let n = 16 - 16. Suppose -2*x + 5*l = -146, n*l + 365 = 5*x - l. Does 13 divide x?
False
Let o be 2/(5/((-1810)/(-4))). Suppose -5*r + 2*w = -189, -5*r = 2*w - 0*w - o. Suppose -124 = -4*x - 4*n, r = -5*x + 5*n + 162. Is 14 a factor of x?
True
Suppose -6*r + 139 - 31 = 0. Does 18 divide r?
True
Let p(l) = -29*l + 2. Let v be p(-1). Let a = -26 + v. Is a a multiple of 4?
False
Let g(r) = r**3 + 3*r**2 - r - 1. Let b be g(-4). Let d(k) = -2*k**2 + 4. Let m be d(4). Let c = b - m. Is c a multiple of 12?
False
Let q(l) = l**3 + 13*l**2 - 17*l - 16. Suppose -2*n = -2*t - 6*n - 40, -t - 3*n = 23. Is 13 a factor of q(t)?
True
Let b = -5 - -3. Let w = b - -4. Suppose 3*d + 2*n - 176 = -w*n, n = 5*d - 301. Is 21 a factor of d?
False
Let t(j) = j. Let s(a) = -a + 9. Let n(b) = -s(b) - 6*t(b). Let p = 5 + -15. Is 14 a factor of n(p)?
False
Let k be (30/24)/((-2)/8). Let n = 9 + k. Suppose 3*r + 19 = n*r. Does 8 divide r?
False
Let j = -100 + 205. Let o = -21 + j. Is 28 a factor of o?
True
Suppose 5*y + 3*l - 2*l + 46 = 0, 2*y + 15 = 3*l. Let h(j) = j**2 + 5*j + 3. Is 13 a factor of h(y)?
True
Let l(j) = -3*j - 4. Let i be (2/(-4))/(1/6). Let r be l(i). Suppose 0 = r*h - 0*h - 80. Is h a multiple of 16?
True
Let p be (-16)/6*(-9)/2. Let v = 18 - p. Does 7 divide (-3)/9 + 98/v?
False
Suppose h - 20 = 3*k, -4*h + 7*k = 2*k - 52. Suppose -5*z + 0*z - 12 = 3*a, -2*a - h = 3*z. Suppose 2*j + 4 = 0, z = d + 3*j - 6 - 6. Does 7 divide d?
False
Let m(o) = o**2 - o - 34. Let c be m(0). Let y = -20 - c. Is y a multiple of 11?
False
Suppose -g = -3*g - 8. Let x be g*(6/4)/3. Is x/3*6*-5 a multiple of 12?
False
Is 11 a factor of (-63)/(-2) - (5 + 18/(-4))?
False
Let u(q) = 4*q - 1. Let p be u(1). Let n(d) = d**3 + d**2 - 2*d - 2. Is n(p) a multiple of 14?
True
Suppose -5*u + u - 667 = -3*v, -3*v + 671 = -2*u. Is v a multiple of 45?
True
Suppose 0 = -5*z + 3*z. Suppose -4*m + k = -68 - z, 5*k - 38 = -m. Is m a multiple of 9?
True
Suppose -3*m = -11 + 47. Let l = m - -21. Is l a multiple of 7?
False
Let h = 6 + -4. Suppose -k + 12 = -0*k - h*m, 0 = -k - 2*m - 8. Suppose 5*w = 4*s + 159, 0*w + k*w = -4*s + 58. Does 13 divide w?
False
Suppose 2*t - 88 = -2*t. Suppose t + 11 = 3*s. Does 11 divide s?
True
Suppose 5*p - 4 = 6*p. Let r(s) = -3*s - 4. Is r(p) a multiple of 3?
False
Let q = -2 - -4. Suppose -q*j - j = 18. Does 9 divide (-4)/6 - 118/j?
False
Let v(i) = i**3 - 9*i**2 + 9*i + 9. Let n be v(8). Let z = 7 + n. Does 16 divide z?
False
Let l(x) = x**3 - 5*x**2 + x + 3. Let w = 9 - 7. Suppose w*r - 7 = 5*k, 3*r - 8*r - 3*k = -33. Is l(r) a multiple of 12?
False
Suppose 13*n = 1868 + 2084. Is n a multiple of 38?
True
Suppose 0 = -4*z - 2*c - 10 - 20, -c = 4*z + 29. Suppose 6*m = m - 60. Let i = z - m. Does 5 divi