14)?
True
Let o(l) = l**2 - l. Let c(y) = -67*y**2 - 4*y + 2. Let w(t) = -c(t) + 2*o(t). Let b be w(1). Let m = b + -27. Is 7 a factor of m?
True
Let y(b) be the third derivative of -3*b**6/10 - b**5/15 + 7*b**4/12 + 37*b**3/6 + 17*b**2 - b. Is 12 a factor of y(-3)?
False
Suppose 13*m - 14*m - 10945 = -5*z, -2*z + m = -4378. Is z a multiple of 5?
False
Let r = -15827 + 28420. Is 16 a factor of r?
False
Suppose -105*x + 100*x - 5175 = 0. Let c = -720 - x. Does 21 divide c?
True
Does 36 divide (-2411 - -1)*(28 - 30)?
False
Let r = -40 - -20. Let x be ((r/3)/(-2))/((-56)/(-84)). Suppose x*k = 25, h + 2*k - 77 = -24. Is h a multiple of 43?
True
Let h(s) = -s - 1. Let z(u) = -20*u - 29. Let i(r) = 3*h(r) - z(r). Is 45 a factor of i(17)?
True
Suppose -123 - 350 = 11*r. Let z = r + 173. Is z a multiple of 10?
True
Suppose 0 = -8*v - 744 - 864. Let n = 309 + v. Let m = n + -56. Is m a multiple of 13?
True
Suppose 0 = -2*s, -m - 2*m + 21 = 4*s. Suppose v + 0*v - c = m, 3*v + 4 = -2*c. Is 13 a factor of 182/v + -14 + 14?
True
Suppose -5*t + 169718 = 3*v, 25*v + 113150 = 27*v + t. Is v a multiple of 29?
False
Let w(r) = r**3 + 5*r**2 - 3*r + 3. Let a = 6 + -6. Suppose 4 = -b - a. Is w(b) a multiple of 5?
False
Let c = -52 + 100. Suppose -c = -b - 5*b. Suppose b*k + 111 = 11*k. Does 30 divide k?
False
Let x(w) = w**3 - 2*w**2 - w + 4. Let b be x(0). Suppose 2*q = -3*i + q, -17 = -5*i + b*q. Is 5/(-4) + i + (-726)/(-24) a multiple of 3?
True
Let y be 66/((-1)/6*(-81)/45). Suppose 0 = h - 5*j - 902, h - 646 - y = -4*j. Is h a multiple of 12?
False
Let s(x) be the second derivative of 17/2*x**2 + x**3 - 24*x + 1/12*x**4 + 0. Is 6 a factor of s(-5)?
True
Suppose -14*h + 11*h + 12 = -4*p, 0 = 4*h + 2*p - 16. Let g(c) = c**3 + 2*c**2 - 8*c - 7. Is g(h) a multiple of 14?
False
Let p(w) = 37*w**2 + w - 2. Suppose -l + 10 = 5*t - 3, 0 = 3*l - 4*t + 18. Let f be p(l). Suppose -4*v = -5*m - 190, 4 = -3*v + 5*m + f. Is 10 a factor of v?
True
Suppose 9 = 4*d - p, 3*d - 5*p = -0*d + 11. Suppose 9*s - 7*s = d. Is (-40 - 3)*-1 - s a multiple of 21?
True
Let s be ((-4)/14)/((-9)/378*6). Is 0/s + -2 + 30750/75 a multiple of 6?
True
Suppose 62*z = -t + 65*z + 19080, 5*z + 57220 = 3*t. Does 123 divide t?
True
Suppose 3*b - 5272 = -4*a, 3*a + 1740 = 263*b - 262*b. Is b a multiple of 8?
True
Let r be ((-4)/(-2))/(1/99). Suppose -20*j + 17*j = -r. Is 22 a factor of j?
True
Suppose 0 = 4*h - 102905 - 29759. Does 11 divide h?
False
Let p = -448 + 3810. Suppose 672 = -10*s + p. Does 10 divide s?
False
Suppose 0 = -2*l - 9*l + 1012. Suppose 2*g + 5*t - l = 0, 0 = g - 4*t - 48 - 24. Is 6 a factor of g?
False
Let o be 2/(1/(-5*10/(-25))). Suppose 0 = o*c, 3*x - 18*c + 23*c - 90 = 0. Does 15 divide x?
True
Does 52 divide (1 - 5) + -420*(-320)/60?
True
Let o(u) = 2*u**2 - 10*u + 23. Let t be o(4). Suppose t = -6*y + 1119. Does 8 divide y?
True
Let n(q) = -q**3 - 60*q**2 + 54*q - 224. Is 14 a factor of n(-62)?
True
Let r(c) = 4 + 37*c - 31*c + 2. Let y be r(4). Does 27 divide ((-34)/3)/((4/y)/(-1))?
False
Let c(r) = -r**3 + 23*r**2 - 96*r + 16. Is c(8) a multiple of 57?
False
Let c = -2967 + 3420. Suppose 0 = y, 6*b + y = b - 1360. Let g = b + c. Does 21 divide g?
False
Let k(g) = g**3 - 14*g**2 + 32*g + 19. Let n be k(11). Is ((-1)/n)/(24/(-49344)) a multiple of 33?
False
Let n = -841 - -796. Does 11 divide (3 + -642)/(n/30)?
False
Is (-4)/((-382)/(-12415)*10/(-1104)) a multiple of 8?
True
Let o = -331 + 5638. Suppose 1791 - o = -12*b. Is 9 a factor of b?
False
Let z(d) = -d**2 + 6*d + 3. Let v(f) = 2*f**2 - 5*f - 3. Let r(g) = 2*v(g) + 3*z(g). Let s be r(-9). Let u(p) = p**3 - 12*p**2 + 3*p + 10. Does 8 divide u(s)?
False
Suppose 0 = -41*y + 45*y + 5*v - 70, -2*y + 2*v = -8. Let b = 0 + -2. Does 26 divide b*2*(-325)/y?
True
Let j = 4173 - -3495. Is 27 a factor of j?
True
Let x(t) = -2*t**3 + t**2 - t + 2. Let y be x(-2). Suppose 5*p = -2*u + 56, 3*p - u - y = 14. Suppose 5*h - p - 83 = 0. Is h a multiple of 7?
False
Let q = 48 - -497. Suppose -q = -2*t + 1959. Does 36 divide t?
False
Let f(p) = 343*p + 401. Is 25 a factor of f(18)?
True
Let r be 29/(-261) + (-161)/9. Let t(m) = m**3 + 20*m**2 + 22*m + 53. Does 15 divide t(r)?
False
Suppose -19*m + 54*m = -1890. Suppose -6*q + 5 = -q - 5*u, -2*u - 12 = 3*q. Does 7 divide 0 + q/(4/m)?
False
Let z(i) = -3*i**2 + 129*i - 51. Is 17 a factor of z(6)?
False
Suppose 1254*q - 1259*q + 26960 = 0. Does 13 divide q?
False
Let n be 8 - 82/10 - (-199)/(-5). Does 8 divide ((-216)/10)/(12/n)?
True
Suppose -862*m + 24498855 = -55*m - 54*m. Is 150 a factor of m?
False
Suppose 0 = 2*h - 3 - 7. Suppose -2*a = -5*u + 21, -h*u - 3*a + 18 = -4*a. Suppose 0 = -3*q - u, -5*z + 128 = -4*z - 2*q. Does 7 divide z?
True
Suppose -i + 254 = j + j, -132 = -j + 2*i. Let c(f) = 9*f**2 + 10*f - 35. Let y be c(3). Let g = j - y. Does 10 divide g?
False
Let j = 28405 + -16695. Does 10 divide j?
True
Let o(b) = 14*b - 1 + 2 + 24*b + 13*b**2 - 40*b. Does 31 divide o(-3)?
True
Suppose 896*i - 883*i - 19383 = 0. Is 33 a factor of i?
False
Let b(t) = -t - 3. Let i be b(-10). Let x be (-3)/6*2*2. Is 21 a factor of 3978/27 - (x - i/(-3))?
True
Let n(a) = 5103*a + 382. Is 17 a factor of n(3)?
True
Suppose -2*a + 2*b = -12, 3 = -2*b - b. Suppose -a*w + 15 - 98 = -3*h, 39 = h + 4*w. Suppose -3*i = -h - 464. Is i a multiple of 11?
True
Suppose 2*s = -v - 5, 2*v - 3*s + 8*s = -11. Let i = v - -52. Let u = -8 + i. Is 7 a factor of u?
False
Let l(z) = -4*z**2 + 10*z - 10. Let n(u) = -7*u**2 + 21*u - 21. Let w(c) = -7*l(c) + 3*n(c). Let g(p) = -p**2. Let i(k) = 5*g(k) + w(k). Does 10 divide i(-7)?
False
Suppose 2*j + 3*b = 33045, 2*j - 5*j + 49575 = -3*b. Suppose -9*r + j = 3231. Is r/21*3 - (-5 - -1) a multiple of 40?
False
Let r(m) = m - 224. Let n(w) = -w + 449. Let j(b) = 3*n(b) + 5*r(b). Is j(-44) even?
False
Let u(v) = -v**2 + 10*v - 12. Suppose 3 = r - 2. Suppose -r*p = -9 - 21. Is u(p) a multiple of 8?
False
Suppose 724*c + 452709 = 751*c. Is c a multiple of 69?
True
Suppose 5 = 2*v - 3. Suppose -295 = -v*w - 11. Let q = w - 24. Does 4 divide q?
False
Let i(x) = 13*x**2 + 287*x - 34. Does 73 divide i(19)?
False
Suppose -83*h + 80*h - 3097 = -5*y, 3*h = -y + 605. Is 2 a factor of y?
False
Let i = -12173 + 14503. Is 6 a factor of i?
False
Let o = -64 - -71. Let d be (o - 2)*6 - 2. Let u = d - -14. Does 42 divide u?
True
Let l = 10 - 6. Suppose -3*w + 9*j - 15 = 4*j, -5*w + 4*j = -1. Suppose l*p + 18 = -2, -95 = -w*s - p. Does 3 divide s?
False
Does 342 divide 77842/4*3/12 - (-63)/(-504)?
False
Let j(v) = v**2 + 6*v + 4. Let h be j(0). Does 6 divide 94 + 6 - 8/h?
False
Suppose 0 = 3*c + 12. Suppose -16 = -3*a - 4, 3*a + 3118 = -5*q. Is c/12 + q*(-4)/24 a multiple of 13?
True
Does 22 divide 3 + (-36570)/(-11) - (-48)/(-88)?
False
Suppose 6*l - 157760 = -28*l. Does 20 divide l?
True
Suppose 9*a - 10 = -3*r + 14*a, -3*a - 15 = 0. Let d(z) = z**2 - 8*z + 0*z**2 - 14 + 0*z**2. Is d(r) a multiple of 9?
False
Let c(z) be the third derivative of z**5/20 - 17*z**4/24 - z**3 - 29*z**2. Is 10 a factor of c(7)?
False
Suppose 0 = 5*u - 4*o - 261, 0 = -8*u + 4*u - 5*o + 176. Suppose -164 + u = -5*k. Let t = k - -225. Is 31 a factor of t?
True
Let w(q) = 2*q**2 - 22*q + 18. Let s(v) = 3*v**2 - 43*v + 38. Let l(a) = -2*s(a) + 5*w(a). Does 22 divide l(8)?
False
Suppose 169*s = 2412548 + 392514. Is s a multiple of 43?
True
Let j(x) = x + 2. Let l be j(-11). Is 14 a factor of 130 + (-3 - l)/(3/(-2))?
True
Let m = -944 + 439. Let o = -199 - m. Is 26 a factor of o?
False
Let y(z) = z**3 - 2*z**3 - 5*z - 13*z**2 - 16*z - 3*z. Let o be y(-11). Is o/(88/20 - 4) a multiple of 11?
True
Does 44 divide (32/(-15)*(-132)/(-1))/((-5)/50)?
True
Suppose 3*x - 2*g + 4*g - 111 = 0, 15 = 5*g. Let v = x + 56. Suppose -2*z = -3*t - v, -3*z + 131 = -2*t - 3. Is z a multiple of 8?
False
Let c be (-5 - (1 - 2)) + -3. Let y = 49 + c. Suppose f + f - y = 0. Is 7 a factor of f?
True
Let x(q) = 10*q + 6. Let y = -1 - 0. Let z be (-3)/y - (-1 + -1 + 1). Is 7 a factor of x(z)?
False
Let r be 3226/(-7) - (-15)/(-105). Let p = 1206 + r. Is p a multiple of 23?
False
Let t = 108 - 105. Let y be (-1 + t)/(12/54). Suppose y*n = 13*n - 236. Is n a multiple of 7?
False
Let g = 13847 + -8114. Is 49 a factor of g?
True
Let l(h) = 4