w + 120600 = 4111*w. Is 20 a factor of w?
True
Let j(z) = 4*z. Let b be j(-1). Suppose 4*m + 23 - 3 = 0. Is 4 a factor of ((m - b) + 2)*16?
True
Let v(h) be the second derivative of h**8/6720 - h**7/140 - h**6/18 + 23*h**5/120 - 3*h**4/2 - 17*h. Let p(b) be the third derivative of v(b). Is p(20) even?
False
Suppose 39346 = a - 2*c, -10 = -2*c - 16. Is (-3)/(-2)*a/105 a multiple of 56?
False
Suppose 2 = -6*r + 14. Suppose 0 = -v - r*s + 1020, 3327 = 5*v + 2*s - 1797. Does 18 divide v?
True
Let q(x) be the second derivative of -11*x**3/2 - x**2 - 42*x. Let r be (1 + -2)*(1 + 0). Is 3 a factor of q(r)?
False
Let f(t) = -41594*t**3 + t**2 + 14*t + 14. Does 177 divide f(-1)?
True
Let n(p) = -p**3 + 8*p**2 + 45*p - 74. Does 7 divide n(10)?
False
Let t(g) be the first derivative of g**2 + 11*g + 24. Let c be t(0). Suppose -c - 126 = -m. Is m a multiple of 19?
False
Let x(s) = -1336*s - 1326. Does 18 divide x(-6)?
False
Let l(p) = -5*p**2 + 2*p - 1. Let y = -2 + -1. Let j be l(y). Let h = j + 117. Is 19 a factor of h?
False
Let s(l) = 3109*l + 5144. Does 20 divide s(4)?
True
Let d(l) = -4*l**3 - 16*l**2 - 53*l - 31. Is d(-12) a multiple of 16?
False
Let f be (-1 - -4) + -3 - (1 + -13). Let b be (-4)/(-18)*-3 + 44/f. Suppose 240 = b*n + 9*n. Is 9 a factor of n?
False
Let x = 8870 + -626. Is x a multiple of 5?
False
Let a(s) = -s**2 - 14*s + 21. Let d be a(-10). Let i = d + -215. Let r = i + 225. Does 11 divide r?
False
Suppose q - 3745 - 62288 = -5*l, -5*l - 5*q = -66025. Does 12 divide l?
False
Let s = -1185 + 11. Let v = s + 1781. Is v a multiple of 30?
False
Suppose -5*z - 36190 = -2*t - 110966, 2*z - 2*t - 29902 = 0. Is z a multiple of 9?
True
Let b be 8/84 + (-236020)/(-210). Let o = 1961 - b. Is o a multiple of 60?
False
Suppose 60*b - 15196 = -56*b. Suppose 19 = 3*p - 2*p. Suppose -5*m = -p - b. Is 6 a factor of m?
True
Let d = 3388 - -1485. Is 79 a factor of d?
False
Suppose c - 15 = 4*c. Let k be c/(-1 - -2)*2/5. Is 8 a factor of (-3 - (k - 0)) + 65?
True
Let g be (-41)/164 + (-5103)/4. Let h = -655 - g. Does 43 divide h?
False
Suppose -252*i - 50 = -253*i. Is 25 a factor of i?
True
Suppose 234 = 97*r - 84*r. Is r a multiple of 2?
True
Let h(t) = 13*t**3 + 6*t - 10. Suppose -35 = -5*o - 4*u, 2*u + 3*u - 25 = 0. Does 31 divide h(o)?
False
Suppose 4*y - 14 = a, 2*a - 5*y - 9 = -25. Suppose 60 + 460 = 2*z - 4*m, -4*z = -a*m - 1016. Suppose 3*g - g = z. Is 14 a factor of g?
True
Let m = 0 - 0. Suppose 35*c = 15*c + 100. Suppose -c*l = b - 258, 2*b - 204 = -4*l - m*b. Is l a multiple of 13?
True
Let d(w) be the first derivative of 67*w**2 + 18*w + 31. Does 14 divide d(3)?
True
Let v = 16297 + -14317. Does 15 divide v?
True
Suppose 22*q - 4035 - 981 = 0. Is q even?
True
Suppose 0 = 5*k + 5*r, -51*r + 56*r - 28 = 2*k. Let g(j) = 5 - 2*j**3 - 3*j - j**3 - 2*j**2 - j**2 - 16. Is g(k) a multiple of 18?
False
Suppose 2*b = 182 + 1302. Suppose -2*q = 5*q - b. Let h = q - -61. Is h a multiple of 10?
False
Suppose -4*b + 1968 = -2*c, -c + 1395 + 1086 = 5*b. Is 5 a factor of b?
True
Suppose t = 4*s - s - 4, 27 = 4*s + 3*t. Suppose -b - a = -164, -2*a + 340 = 2*b + s*a. Is b a multiple of 24?
False
Let x(r) = -r**2 + 17*r + 5. Let b be x(17). Let y be (-5)/((-10)/(-6)) + b. Suppose 53 + 129 = y*h. Is h a multiple of 7?
True
Let g = -189 + 183. Is g/(-18)*370*18/15 a multiple of 16?
False
Let c = -1279 + 2101. Does 9 divide c?
False
Let f = -302 + 461. Let h = -87 + f. Is h a multiple of 9?
True
Let d(a) = 778*a - 780. Is d(4) a multiple of 11?
True
Let y(t) = 3*t**3 - 27*t**2 - 13*t + 72. Let j(a) = 2*a**3 - 26*a**2 - 14*a + 71. Let q(i) = 4*j(i) - 3*y(i). Is q(-23) a multiple of 17?
True
Let o be (-174)/(-54) - (-2)/(-9). Let s be (17 - 9)/(o - 1). Suppose 5*q - s = 2*f - 11, 0 = 5*q - 5. Is 6 a factor of f?
True
Does 45 divide (-15 + 12)*(-9 + 10 + 7052/(-6))?
False
Let k(x) = -x**3 - 5*x**2 - 103*x - 100. Does 6 divide k(-12)?
False
Let z be (-18)/(-9) - 4*-760. Let r = z + -2087. Does 11 divide r?
False
Suppose 38*j = 11*j + 81. Let t(v) be the second derivative of 3*v**5/20 + v**4/12 + v**3/2 - 3*v**2/2 - 3*v. Is t(j) a multiple of 16?
True
Suppose -1 = -3*x - 3*s + 26, -4*x - 3*s = -41. Let r(a) = a**3 - 6*a**2 - 7*a + 1. Let h be r(7). Does 6 divide (-21)/x*(-2)/h + 79?
False
Suppose 204 = -4*c - 0*c. Let y = c + 121. Suppose 2*x = x + y. Does 5 divide x?
True
Let u be -3*1/9*-3*1. Let i be (-2)/((-4)/((-88)/26) - u). Is (1 + i)/5*-14 a multiple of 5?
False
Let h = 16490 + -7833. Is h a multiple of 13?
False
Let u = -7179 - -12330. Does 51 divide u?
True
Suppose -169*c + 175770 = -77*c - 50*c. Is 45 a factor of c?
True
Let x(t) = t**3 - 9*t**2 + 12*t + 18. Let h be x(8). Is 2 a factor of (224/(-10))/(h/(-125))?
True
Let a(b) = 6*b**2 + 0*b**2 + 22*b - 9*b + 44*b + 26 + 27*b. Does 8 divide a(-14)?
False
Let c(z) = 2*z**3 - 12*z**2 + 3*z + 39. Let d be c(5). Let f be -2*(-1)/6*45. Suppose d*b - 12 = n + 2*n, 2*n = -5*b + f. Is b a multiple of 3?
True
Does 40 divide -1206*22/(-8) + 560/224?
False
Does 44 divide (-9475466)/(-1638) + -2 + (-60)/(-27)?
False
Suppose 5*w = -4*h + 502 + 654, 5*h - 3*w - 1408 = 0. Let i = h - 233. Is 10 a factor of i?
False
Let f be (-32)/80*1*-15. Suppose 12 = -87*t + 88*t. Let r = t + f. Is r a multiple of 2?
True
Suppose 6*i = 3*i + 4*q + 125, -5*i + 4*q + 219 = 0. Suppose 13*o - 5 = i. Is 10/4*45 + (-6)/o a multiple of 13?
False
Suppose -f = -3*m + 8, 10 = -m + 3*m + 4*f. Suppose 0 = -0*b + m*b - 318. Does 19 divide b?
False
Let l be -3*6/(-9)*26 + -4. Let d = l - -2. Suppose 3*a = 2*a + d. Is a a multiple of 16?
False
Suppose -2*p - 6318 = -6828. Is p a multiple of 3?
True
Let j = 194 - 191. Let n(c) = 4*c**3 + 10*c**2 - 10*c + 4. Is n(j) a multiple of 5?
False
Let g = -3098 - -7545. Is g a multiple of 18?
False
Let l(i) = -34*i**2 + 8*i - 9. Let s be l(4). Let t be (3 - -1) + 0/4 - s. Is 9 a factor of t/(-10)*(-18)/15?
True
Let r(s) = 30*s + 338. Let b be r(-11). Suppose -4118 - 506 = -b*o. Does 17 divide o?
True
Is 1 + -7 - (-13)/(-26)*-7842 a multiple of 27?
True
Suppose 4 = -3*o + u, 3*o = 5*o + 2*u + 16. Let t be -41 - (0 - 9/o). Let v = 16 - t. Does 7 divide v?
False
Let s(j) = -6*j - 138. Let x(n) = 1. Let d(v) = -s(v) - 4*x(v). Does 10 divide d(-19)?
True
Let j be 12/2 - 9/((-36)/(-16)). Let x = 273 + j. Is 11 a factor of x?
True
Let m = -971 + 3133. Does 11 divide m?
False
Let h = -4767 + 6807. Is 60 a factor of h?
True
Let m = 152 + -106. Let y = m + -44. Is (y - (2 + -1)) + (-5 - -30) a multiple of 26?
True
Suppose 49*x - 91*x = -49*x + 113176. Does 47 divide x?
True
Let k = -5306 + 28166. Is 90 a factor of k?
True
Let i(d) = d**3 - 13*d**2 + 26*d - 4. Let v(f) = -f**2 + 14*f - 29. Let n be v(4). Does 4 divide i(n)?
True
Let h be 40/6*(-51)/34. Let w(g) = 34*g - 4. Let m be w(-6). Does 8 divide m/h + (-2)/(-10)?
False
Let t(u) be the second derivative of 11*u + 10*u**2 + 0 + 1/6*u**3. Does 22 divide t(4)?
False
Let m = -30 + 32. Let k(c) = 5*c - 56. Let w be k(12). Suppose 0 = -n - 3, -5*d - w*n = -m*n - 234. Is 8 a factor of d?
True
Let s(b) = -b + 28. Let d(z) = z**3 + 11*z**2 + 8. Let v be d(-11). Let m be ((-34)/8)/((-2)/v). Does 5 divide s(m)?
False
Let x = -36812 - -41264. Does 6 divide x?
True
Let l(t) = -3*t**2 - 13*t + 173. Let d be l(10). Let b = d + 473. Is b a multiple of 18?
True
Suppose 2*d - 533 = -81. Suppose -1675*z + 1669*z + 12 = 0. Suppose 4*p - 313 = y + 4*y, 3*p - z*y - d = 0. Does 12 divide p?
True
Let y = 35 - 36. Let s(j) = 509*j**2 + 5*j + 6. Is 30 a factor of s(y)?
True
Let q = 100 - 101. Is 14 a factor of (-4728)/(-40) - (18/(-10) - q)?
False
Let t be -4 + 1 + (55/5 - 13). Let p(u) = u**3 + 9*u**2 - 6*u - 39. Does 20 divide p(t)?
False
Let v(n) = -11*n**3 - n**2 + 3*n + 3. Let q be (0 + 1)*-2 + 0/(-2). Is 3 a factor of v(q)?
True
Suppose 61*p - 56797 + 21539 = 0. Is p a multiple of 22?
False
Let x = 18425 - 17580. Is 11 a factor of x?
False
Let j be 8/6*(5 - 2). Let m(q) = -6 - 2*q**3 - j*q**2 + 9*q**2 - 3*q + 3*q**3 - q**2. Is 12 a factor of m(-3)?
True
Let t(k) = -2*k**3 + 40*k**2 - 12*k + 87. Does 38 divide t(19)?
False
Suppose -4*g - 4 = 0, 2*b + b - 3*g = 12. Suppose b*i = -4*i. Suppose i = -3*f - 4*p + 2 - 1, 2*f + 4*p = -6. Is f a multiple of 3?
False
Suppose 5*c = 4*c + 7