 236. Is 10 a factor of u?
True
Let r(t) = t**2 - 9*t. Let h = -41 - -50. Let x be r(h). Suppose -24*f + 27*f - 192 = x. Does 11 divide f?
False
Suppose 0 = -3*l + z - 6*z + 996, -2*l + z = -664. Suppose 379 = 3*v - l. Let h = -169 + v. Is 34 a factor of h?
True
Suppose 1567 = -5*s + 14332. Let i = s - 1812. Is i a multiple of 39?
True
Let i(q) = -q**3 + 17*q**2 + 42*q - 16. Let u be i(18). Let n = u - 212. Does 6 divide n?
True
Let y = 15525 - 435. Is y a multiple of 10?
True
Does 34 divide (-1787*1)/(-2 + (-3)/(-2))?
False
Let p = 1432 + 513. Is 56 a factor of p?
False
Let x(f) = f**2 - 11*f + 7. Let z(o) = -o**3 + 6*o**2 - 3*o - 9. Let t(i) = -i + 4. Let y be t(0). Let l be z(y). Does 2 divide x(l)?
False
Let d be (4 - -1) + -3 + 6. Suppose 0 = -d*o + o + 28. Suppose -m = o*u - 4*m - 323, -3*u + 4*m + 251 = 0. Is 7 a factor of u?
True
Suppose 19*w = 86*w - 2032858 - 128093. Is 13 a factor of w?
True
Suppose 4*w - 2115 = -5*c + 129, 0 = 5*c - 5*w - 2235. Does 14 divide c?
True
Suppose -29*h + 24 = -32*h. Let d be (12/h)/(4/(-8)). Suppose -2*w + 5*t = -3*w - 2, -d*t + 30 = 3*w. Is 12 a factor of w?
False
Let f be 2 - (15 - (1 + 3)). Let c(n) = 3*n**2 - 10*n + 7. Is 68 a factor of c(f)?
True
Let f = -4677 - -5117. Does 32 divide f?
False
Let b be ((-42984)/(-48))/((-6)/(-8)). Suppose -3*y - b = -4*w, 0 = -w + 4*y - 5*y + 302. Is 20 a factor of w?
True
Let c be (72/32 - 2)/((-1)/(-20)). Let p(u) be the first derivative of u**2/2 + 3*u - 2. Is p(c) a multiple of 2?
True
Suppose -29*b + 22*b = 5467. Let o = 797 + b. Does 16 divide o?
True
Let i(c) = 7*c - 261. Let p be i(39). Does 13 divide 18/(-30) - -391*p/20?
True
Let y(x) = 6*x**2 - 2*x - 9. Let z(d) = -15*d**2 + 7*d + 26. Let l(q) = 8*y(q) + 3*z(q). Is l(-9) a multiple of 17?
True
Let v(j) = 2*j**2 - 48*j + 569. Is 93 a factor of v(-27)?
False
Let a = -4926 - -8531. Does 35 divide a?
True
Let t(q) = -7 + 3 + 17*q + 7*q - 31. Is t(6) a multiple of 12?
False
Is ((-1398)/90*-10)/(-2*(-4)/480) a multiple of 8?
True
Suppose -3*t = -524 - 283. Let p(a) = 3 - t*a + 0 + 36*a**2 + 272*a. Does 13 divide p(-2)?
False
Let a(r) = -r**3 - 119*r**2 - 139*r - 346. Is 18 a factor of a(-118)?
False
Suppose 34 = -2*l + 278. Is l a multiple of 20?
False
Suppose 87*f - 232559 + 40463 = -51*f. Is f a multiple of 49?
False
Suppose 3*v + 2*n - 233 - 112 = 0, -5*v + 575 = 4*n. Let g be v + (-15)/5 + -4. Suppose 24*f + g = 27*f. Does 3 divide f?
True
Let l(a) = -313*a - 29. Let t be l(-3). Suppose 4*m - 14*m + t = 0. Does 23 divide m?
False
Suppose -4*j = 3*l, 2*l + 3*j - 6*j - 17 = 0. Suppose -l*o - 705 = -2025. Suppose 90 - o = -2*g. Is g a multiple of 33?
False
Let g(j) = -1 + 19436*j + 4*j**2 + 16*j**2 - 19435*j. Suppose -5*k = 3*c + 23, -k - 2*c - c = 7. Is 53 a factor of g(k)?
False
Suppose 2*w = h - 103 + 102, -3*h = -5*w - 4. Let y be (-2)/7 + 74/14. Suppose 0 = y*o - 4*n - 100, n - w = 4. Is 9 a factor of o?
False
Let t(j) = -8*j + 16. Let x be t(-2). Suppose -x = -2*k - 32. Does 28 divide (k - 0 - (-48)/(-60))*-45?
False
Let h be 4/(-10) - (-591)/15. Let z = 131 + -80. Suppose -3*p + h = -z. Is 6 a factor of p?
True
Let v be (1 + 402/12)*-2. Let t = 150 - 56. Let b = t + v. Is 24 a factor of b?
False
Let w(s) = s**2 + 7*s - 5. Let n be w(-7). Let v(z) = 40*z + 106. Let u(k) = 9*k + 22. Let t(o) = -14*u(o) + 3*v(o). Is t(n) a multiple of 4?
True
Let a = 530 - 526. Suppose 5*i = d - 450, 0 = -4*i - 4*d + 80 - 440. Is 3 a factor of 3/a - i/8?
True
Suppose -7 - 13 = -5*z. Suppose w + z = 9. Suppose -w*h = 2*c - 80, 5*h - 4*h = -2*c + 96. Does 24 divide c?
False
Let u = 3240 + 2950. Is u a multiple of 5?
True
Let k = -274 + 394. Suppose -2*v + k + 104 = 0. Does 20 divide v?
False
Let g = 6 - 4. Suppose 0 = 2*i + g*i - 3*q - 194, -5*q = -2*i + 90. Does 11 divide (i + -6)/(-1 + 1 - -1)?
True
Let c(o) = 97*o - 45*o + 30 - 50*o. Let h be c(-13). Suppose -3*p + h*m = -154, 4*p = 4*m - 3*m + 214. Does 4 divide p?
False
Suppose g + 25 = -4*g, -3*g = v - 27259. Is 141 a factor of v?
False
Suppose 71 = -21*c + 911. Is 24 a factor of (-10)/c + 586/8?
False
Let t be 0/((3*(-1)/(-3))/1). Suppose t*s + 978 = 2*v + 2*s, -5*v - 2*s + 2460 = 0. Is 19 a factor of v?
True
Let q(y) = 40*y**2. Let j be q(1). Let k be ((-20)/1)/(-2*1/3). Suppose -k = -n + j. Is n a multiple of 18?
False
Let p(k) = 42*k - 175. Let j = -381 - -396. Does 13 divide p(j)?
True
Let o = -22 - -19. Is 54/(-7)*14/o*4 a multiple of 36?
True
Suppose 10886 = -14*g + 24543 + 19187. Is 34 a factor of g?
True
Let o be (8 - (1 + 0))*(-24)/14. Let f(t) = -t**3 - 12*t**2 + t + 16. Let h be f(o). Suppose 5*j + 331 = h*a - 0*a, -5*j - 79 = -a. Is 8 a factor of a?
False
Suppose 0 = -12*o + 8234 + 4606. Let r = 2119 - o. Does 20 divide r?
False
Let d(v) = v**2 - v - 12. Let w be (3 + -6)*3/(-3 - 0). Let o be 2/w - 300/(-36). Does 12 divide d(o)?
True
Let g(a) = 2*a**2 - 2*a + 440. Suppose 3*s = -2*c - 8 - 4, -4*c + 4*s = -16. Is g(c) a multiple of 17?
False
Let u be ((-18)/8)/(9/(-60)). Let d = u + -15. Suppose d = w, -115 = -r + w - 3*w. Does 18 divide r?
False
Let d(t) be the third derivative of 17*t**5/30 - t**4/12 + 22*t**2. Let r be d(1). Suppose -4*c - 2*u + 340 = 0, -2*u + 53 + r = c. Is 17 a factor of c?
True
Let d be -35 + 37 - 2/1. Suppose -5*b + d*r = r - 58, -r = -3*b + 38. Is b a multiple of 5?
False
Suppose -3*z - 3*j = -16770, 5*j - 11198 = 4*z - 6*z. Is 8 a factor of z?
True
Let c be 51/15 + 8/(-20). Suppose 721 = 2*u - 4*y - 503, -c*y = -6. Is u a multiple of 77?
True
Let w = -6 + 8. Let x be 2/3*(70 - 64). Suppose 0 = -w*l + a + 140, -3*a = 4*l - x*a - 278. Does 6 divide l?
False
Let n(s) = -s**3 + s**2 - 3*s + 11. Let y be n(0). Suppose -5*v + 160 = 5*c, -2*v - 2*v = -c + 42. Let k = c - y. Is k a multiple of 3?
False
Let i(c) = -61*c**3 - 82*c**2 - 3*c + 2. Is 30 a factor of i(-8)?
True
Let n = -525 - -1839. Suppose 2*r + 16*r - n = 0. Does 2 divide r?
False
Suppose 0 = -3*h + 3*l - 6, -5*h - 2*l = -0*h - 18. Suppose 0 = -3*r - 3*d + 858, -h*r + 0*d = -d - 572. Does 13 divide r?
True
Let f(p) be the third derivative of -3*p**4/4 + 21*p**3/2 + 21*p**2 - 3. Does 18 divide f(-15)?
False
Let g(i) = -2*i**2 - 214*i - 41. Does 19 divide g(-39)?
True
Is 10 a factor of (8 - -556)/((-12)/(-30))?
True
Let v be (-1)/3 - (-221)/51. Let a(n) = 3 + 34*n + v - 5. Does 29 divide a(3)?
False
Let b(k) = k + 8. Let w(q) be the first derivative of -q**2/2 - 9*q - 25. Let g(n) = -2*b(n) - 3*w(n). Is g(0) a multiple of 11?
True
Suppose 2*w - 14 = -5*m, -w - 23 = -5*m - 0*m. Let j = -9 - w. Is 3 a factor of 3*-3*j/9?
True
Let r = -28 - -32. Suppose -2*p + 4 = -2*h, -3*p - h + r + 6 = 0. Suppose -i - 100 = -p*i. Is 5 a factor of i?
True
Let w(b) = 2*b**2 - 11*b - 2. Let m be w(6). Suppose 0 = 2*o + 16 - 6, -3*h = -m*o - 545. Is h a multiple of 6?
False
Suppose 136 - 133 = d, 2*d + 63094 = 2*y. Is 25 a factor of y?
True
Suppose 7*d - 35509 = 168807 - 4333. Does 98 divide d?
False
Suppose -2001 - 1143 = -4*q. Let f be -3 - (-6 + 5) - (1 - q). Suppose -19*t + 1060 = -f. Is t a multiple of 10?
False
Suppose -4*r + 1 = 5*g - 1, 5*r - 23 = 4*g. Suppose -o + 364 = 3*x, -r*x + 156 = -o - 200. Is 24 a factor of x?
True
Let s be -9 + 5 - (-12)/1. Suppose -2*x - 7 = -3*c + 2, 0 = -4*x - 5*c + 37. Suppose 390 = -x*y + s*y. Is 39 a factor of y?
True
Suppose -14*a - 198 = -25*a. Suppose a*c - 16*c + 26 = 0. Is (c - 20)*(-4)/2 a multiple of 11?
True
Let q = -100 - -335. Let s = 267 + q. Does 26 divide s?
False
Is (5 + -5 - -2035) + 0 + -7 a multiple of 12?
True
Let o(u) = 204*u**2 + u + 1. Suppose 7 = 5*j + 4*k - k, k - 4 = 0. Let r be o(j). Is 18 a factor of ((-18)/24)/(-1 + r/208)?
False
Let a(j) = -5*j - 76. Let v be a(-17). Suppose -l = 3*h - 250, -250 = -l + v*h - 7*h. Does 27 divide l?
False
Let z(d) = -2*d**2 - 11*d + 281. Does 53 divide z(7)?
True
Let l(b) = 3*b**2 - b - 40. Does 5 divide l(37)?
True
Let j be ((-27)/(-18))/((-3)/(-12)). Suppose -j*k + 6 = -4*k. Suppose -b = -k*r + 18 - 51, 2*b + 2*r - 98 = 0. Is 15 a factor of b?
True
Is 28 a factor of 11184/233*218/8?
False
Let z(t) = 511*t - 135. Is 22 a factor of z(5)?
True
Let b(i) = 35 - 4 + 14 + 3*i - 7. Let s be b(-11). Suppose -s*u + 30 = -240. Does 9 divide u?
True
Suppose 2564511 = 65*w + 818221. Is w a multiple of 1