- 3*b = -26. Let a(k) = k**2 + 18*k + 78. Let m be a(y). Is 26 a factor of (410/m)/((-4)/(-2) - 0)?
False
Let c(o) = -20*o - 52. Let i be c(-8). Suppose -110*w + 78 = -i*w. Is 10 a factor of w?
False
Let t = 6895 + -3478. Is t a multiple of 20?
False
Let t(i) = -366*i**3 - 3*i - 3. Let j be t(-1). Suppose 4*r - j = r. Suppose 2*n + 2*n = -2*c + 248, r = c + n. Is c a multiple of 12?
True
Let g(r) = r**3 - 32*r**2 - 47*r - 2. Let h be g(33). Does 3 divide (h/(-14) - 0) + 15/(-105)?
True
Let u be ((-14)/2)/((-14)/(-14)). Let g be (-2)/u - 228/(-84). Suppose -2*m - 110 = -g*f, 63 = 2*f - 4*m - 5. Is 12 a factor of f?
False
Is 10 a factor of (-119898)/(-36) - (-1)/(-2) - -1 - 5?
False
Let z = 1875 + -1862. Is 6 a factor of z?
False
Let q be 1 - 1/(-6 + 5). Suppose -q*y = 54 - 258. Is y a multiple of 15?
False
Let t = 10332 - 2405. Does 9 divide t?
False
Let s(m) = -m**2 - 43*m - 32. Let q(y) = y + 1. Let w(v) = 4*q(v) + s(v). Is w(-13) a multiple of 62?
True
Suppose -15 = -t - 0*t. Suppose -3*c = -3*b - t, -2*c = -0*c - 5*b - 19. Suppose -3*d = -2*s - 3*s + 174, -39 = -s + c*d. Is 33 a factor of s?
True
Is (38 - (14 - -1))*123 a multiple of 22?
False
Suppose -5*u - 12*u - u + 81270 = 0. Is 21 a factor of u?
True
Is 24 a factor of 1/((-1)/(-6528))*9/18?
True
Let r(t) = -t**2 + 17*t - 48. Let l be r(12). Let f be 3/l - (-57)/12. Suppose 2*p = 5*o - 64, -p + 31 = -f*o + 7*o. Is o a multiple of 7?
True
Let i = 4944 + 28522. Is i a multiple of 29?
True
Suppose 2*c = -2*c, v - 4 = 4*c. Suppose -3*p + v*p = 2*b + 82, -3*b = 3*p - 246. Is 7 a factor of p?
False
Let i = 40 - -52. Suppose -4*r = -172 - i. Let a = r - 3. Is 17 a factor of a?
False
Suppose -3*j - 2 + 7 = -2*h, 5*h - 4 = 2*j. Let a(n) = 215*n**3 - 5*n**2 + 2*n + 3. Is a(h) a multiple of 22?
False
Let s(a) = -a**2 - 7*a - 4. Let q be s(-6). Suppose -q*i + 12 + 6 = 0. Is 100 - 0 - -1 - (i - 6) a multiple of 14?
True
Suppose -2*k + 130 = 2*b, 40 = -2*k + 3*b + 185. Suppose 2*n = -4*m + k, 3*m + 122 = 5*n + 4. Suppose 7 = 3*p - n. Is p a multiple of 2?
False
Suppose -p + m + 524 = -385, 4*m = -p + 934. Let z = p - 581. Is z a multiple of 9?
True
Let t = -5850 - -7685. Does 5 divide t?
True
Suppose -4 = h - 5*g + 30, 2*g = -4*h - 158. Suppose -2*l = 3*l - 580. Let d = l + h. Is 16 a factor of d?
False
Let a(d) = -1517*d + 2735. Is a(-5) a multiple of 30?
True
Let l be (-29)/(-9) + -2 - 2/9. Let i be 7 + 186 - 4/l. Let x = -68 + i. Is x a multiple of 9?
False
Let m(f) = 7*f**2 + 261*f - 1869. Is m(7) a multiple of 2?
False
Suppose -6 = -20*s + 14. Let m(o) = 129*o**2 + 8*o - 1. Is m(s) a multiple of 34?
True
Let y(f) = -2*f - 3. Let r be y(-7). Suppose -r + 1 = -i. Does 41 divide -102*((-225)/i)/9?
False
Suppose 68*m - 66*m + r = 12749, -12740 = -2*m + 2*r. Does 31 divide m?
False
Let h(x) = x**2 - 6*x - 6. Let v be h(6). Let f(i) = -3*i + 12. Let m be f(v). Let q = 44 - m. Does 14 divide q?
True
Let a(u) be the second derivative of -u**5/20 + 17*u**4/12 - 5*u**3/3 - 13*u**2 + 5*u - 1. Does 14 divide a(16)?
True
Let t(k) = -k**3 - 36*k**2 + 38*k + 42. Let o be t(-37). Suppose -u = -3*v - 165, -5*u + v + 0*v = -895. Suppose -o*a = -a - u. Is 15 a factor of a?
True
Let w(g) = -5*g**2 - 6*g - 3. Let i be w(-2). Let s = i + 66. Does 11 divide s?
True
Does 139 divide (-798132)/(-99) + (-38)/(-627)?
True
Let r = 184 - 185. Is r*(5 - 53) + 0 a multiple of 2?
True
Let d(n) = n**2 + 13*n - 12. Suppose -4*w = -9*w - 70. Let b be d(w). Suppose 0 = 4*a + 5*i - 162, 0 = 2*a - b*i - 3*i - 66. Does 11 divide a?
False
Does 109 divide (251/(-9)*(441 - -213))/((-2)/3)?
True
Let k = -274 - -535. Suppose -k = -p + r, 1333 = 5*p + 14*r - 12*r. Is 53 a factor of p?
True
Suppose 11*a = 1105 - 27. Let v = a + -94. Is v/24 + 1*(-3346)/(-12) a multiple of 32?
False
Suppose 6*u = 7*u - 4. Suppose 0 = -l - 3*s - u, -l + s = -0 - 8. Suppose l*g = 4*g + 2*b + 284, 4*g = b + 1122. Is 56 a factor of g?
True
Let g = -18117 + 29865. Is g a multiple of 57?
False
Let p(k) = -k**3 - 9*k**2 + 9*k + 103. Let c be p(-9). Suppose -c*d + 1459 - 227 = 0. Is 28 a factor of d?
True
Suppose 4*w - 241 = -5*u, 0*w = -5*u + 4*w + 209. Let i = u - 45. Does 14 divide (-393)/(-7) - (i + -4)/(-28)?
True
Suppose 122*q - 145*q + 69 = 0. Let s(k) = 1 + k + 4*k + 3. Does 4 divide s(q)?
False
Let w = -880 - 367. Let d = -859 - w. Does 25 divide d?
False
Let g(h) = -h**2 + 23*h - 33. Does 2 divide g(18)?
False
Suppose -41*k + 8874 = 17*k. Suppose 0 = -p - 49 - 54. Let f = k + p. Is 28 a factor of f?
False
Let i be (21/(-3) + 9)/((-4)/166). Let y = i + 252. Does 32 divide y?
False
Is (-1 - (-22)/5 - 3) + (-25726)/(-10) a multiple of 56?
False
Suppose 4*r - 26706 = 2*l, 455*r - l = 459*r - 26697. Is 5 a factor of r?
True
Let g(s) = -4*s - 7. Let o be g(-5). Let r(k) = k**2 - 19*k - 20. Let n be r(20). Suppose n = 16*w - o*w - 663. Does 15 divide w?
False
Suppose 1324 = -58*z + 62*z. Let b = z + -155. Is b a multiple of 6?
False
Let u(a) = -2*a**2 - 22*a + 9. Let x be u(-8). Let y = x - 55. Suppose -f = -5*q - 30, -5*f + 0*q = -y*q - 58. Is f a multiple of 10?
True
Let d(p) = 2*p**3 - 39*p**2 - 7*p - 24. Let r(k) = 3*k**3 - 57*k**2 - 10*k - 36. Let q(h) = 7*d(h) - 5*r(h). Is q(11) a multiple of 12?
True
Let x be 2262/27 - (-4)/18. Let a(o) = -19*o + 60. Let t be a(3). Suppose -4*z + x = -t*z. Is z a multiple of 13?
False
Let s(w) = 3*w + 576 + 5*w + 21*w - 16*w. Does 9 divide s(0)?
True
Let m(b) = 317*b**2 + 3. Let i be m(1). Let w be -11*(-2 + 3 - 4). Suppose w*k = 29*k + i. Is 38 a factor of k?
False
Suppose 4*i - 4 = -q - 0*q, -5*q = 5*i + 10. Let d(a) = -a**3 - 13*a**2 - 23*a - 9. Let v be d(-11). Does 22 divide (v/q)/(16/(-2816))?
True
Let w(m) = 8*m**3 + m**2 - m + 1. Let p be w(1). Let y be ((-520)/(-50) - 8)/((-6)/(-135)). Suppose -10*u + y = -p*u. Does 18 divide u?
True
Let c = 35 + -33. Suppose -3*i - 2*i + p = -444, -c*i = -2*p - 184. Does 14 divide i?
False
Let w = -107 - -110. Suppose -3*l + w*x = -336, l - 3*x - 8 - 96 = 0. Is l a multiple of 8?
False
Suppose 24*u + 171 + 117 = 0. Is 5 a factor of (0 - 4) + 6/u*-238?
True
Suppose -551*b + 552*b = 4*a - 24067, 24061 = 4*a + b. Is 16 a factor of a?
True
Let s(q) = 7*q**3 + 8*q**2 + 17*q + 12. Let y(n) = -15*n**3 - 16*n**2 - 35*n - 25. Let h(r) = -13*s(r) - 6*y(r). Is 29 a factor of h(-9)?
True
Is 19 a factor of (5 - -20)*(-3)/15 - -3544?
False
Does 8 divide 317792/96 - (-16)/6?
False
Suppose 25*t + 1941766 = 388*t - 2204057. Is 243 a factor of t?
True
Let t(n) = -2*n - 12. Let s = -17 + 9. Let p be t(s). Suppose 4*q = -p*g + 424, -5*g + 0*q + 527 = 2*q. Does 35 divide g?
True
Suppose 2*q + 5*k - 360 = 0, 0 = 5*q - 79*k + 81*k - 837. Does 15 divide q?
True
Let y(s) = -9*s + 60. Let n be y(8). Let x(d) = -10*d - 24. Is 2 a factor of x(n)?
True
Suppose 10*p - 662 = 148. Is 17 a factor of ((-111)/(-2))/((p/(-48))/(-9))?
False
Let o = 41 + -66. Let h = -21 - o. Suppose -h*r + 120 = -4*v, 0 = -5*v + 2 - 17. Is r a multiple of 7?
False
Let o(i) = i**2 - 7*i + 6. Let g be 1/2*(-66)/(-11). Let l be o(g). Is 2/((-3)/(279/l)) a multiple of 13?
False
Suppose 319*g - 323*g = -12. Suppose 4*v - g*o = 2568, -20*o + 15*o = 20. Does 71 divide v?
True
Let s(n) be the first derivative of n**4/4 + 7*n**3/3 - 4*n**2 + 6*n + 57. Suppose 4*a + 0*a = -24. Is 18 a factor of s(a)?
True
Suppose -3*i = 4*y - 34459, 4*y = -2210*i + 2211*i - 11449. Is i a multiple of 20?
False
Suppose t + 0*t = -10. Let p be 7 - (-8 - -20) - (-18)/2. Let o = p - t. Is 14 a factor of o?
True
Suppose -389*w - 300072 = -35*w - 4189824. Does 83 divide w?
False
Suppose 4*h - 1 = 5*n, -10 = 2*n + 4*h - 32. Suppose -729 + 189 = -n*y. Is y a multiple of 12?
True
Suppose -z + 5*z - a + 3246 = 0, 810 = -z + a. Let s be 4/(-6) + (z/(-12) - 3). Suppose 5*r - s = r. Is 4 a factor of r?
True
Suppose 4645 + 1880 = 15*y. Suppose -y = -5*q - 130. Is q a multiple of 7?
False
Let r(n) = n**2 + 24*n - 9. Let o be r(-26). Let f = o + -32. Suppose -19 - 69 = -f*c. Is 4 a factor of c?
True
Suppose -108 = 4*w - 2*p + 852, -w + 3*p = 250. Let u = w + 568. Does 33 divide u?
True
Let b(o) = -o + 7. Let g be b(5). Suppose -5*s = -5*l, -5*l = -s + g*s - 30. Does 3 divide 0 - (-2 + l + -6)?
True
Suppose -4*k + 296 = -4*d, 2*k - 2*d = 6*k - 290. Let b = -118 - k. Let p 