*h**2 - 5*h**2 - 4*h + h + 22. Suppose 0 = -4*x - 2*o + 52, -o = x - 2*o - 16. Does 35 divide s(x)?
False
Let j(h) = 21*h - 39. Let c(x) = 11*x - 19. Let r(n) = -7*c(n) + 4*j(n). Is 3 a factor of r(5)?
True
Let l(f) = 10*f**3 + 8*f**2 - 89*f - 14. Does 25 divide l(6)?
True
Is 268 a factor of (1 - 156/84) + -1 + 18786/14?
True
Let b(i) = 14*i - 3. Let l(q) = -q + 5. Let y be l(-6). Let h be b(y). Suppose -39 = 4*m - h. Is m a multiple of 14?
True
Is 47 a factor of (0 - 1)/(63/(-189)*(-6)/(-20116))?
True
Let d = -108 + 113. Suppose d*n = -2*y - y + 22, -5*y + 50 = 5*n. Is 4 a factor of (7/y)/(-1 - 34/(-32))?
True
Let n = 19702 - -699. Does 58 divide n?
False
Suppose 0 = 6*w - 3*w - 4*x - 1932, 0 = 4*w + x - 2557. Suppose w = 2*a + 2*a. Is a a multiple of 8?
True
Suppose 0 = 9*h + 602 - 638. Suppose -h*f = -3*i + 3941, 2*f - 6577 = -4*i - i. Is i a multiple of 57?
False
Let h(t) = -t**2 - 2*t + 3. Suppose 4*f + 4*f = 0. Let p be h(f). Suppose 6*g = p*g + 6. Is 2 a factor of g?
True
Suppose -149*l + 112*l = -62234. Does 46 divide l?
False
Let c = 7 + 2. Let a = -13 + c. Is (-686)/(-6) + a/12 a multiple of 17?
False
Suppose -z + 1779 = 3*n - 4116, 5*z - 29403 = -3*n. Is z a multiple of 18?
False
Let h be -4094 + 2 + (5 + -12 - -4). Let b be ((h/(-10))/7)/(1/2). Let a = b - 56. Is a a multiple of 16?
False
Suppose 2*v - 5*r + 3*r = 92, 178 = 4*v + 2*r. Is 13 a factor of (182/(-3))/((-6)/v)?
True
Suppose 0 = -7*l - 0 + 49. Suppose -3*k - 96 = -2*w - l*k, k + 5 = 0. Is w a multiple of 50?
False
Suppose -368752 = -112*g + 1490345 - 453833. Is g a multiple of 8?
False
Let a(s) = -4*s**2 - 91*s - 87. Is 2 a factor of a(-18)?
False
Let b(t) be the second derivative of t**5/20 - 2*t**4/3 + t**3/6 - 5*t**2/2 - 4*t. Let m be b(8). Suppose 28 = m*g - 2*g. Is g a multiple of 7?
True
Let o(n) = 23*n**2 + 136*n + 16. Does 3 divide o(-10)?
False
Let k(r) = -2*r**3 - 30*r**2 - 7*r + 16. Let a be 4/(-10) - (-2301)/65. Let v = a - 50. Is k(v) a multiple of 10?
False
Suppose z - 4*z = 2*v - 119, -48 = -z + v. Let d(b) = -5*b**2 - 4*b - 3. Let g be d(-3). Let p = g + z. Does 2 divide p?
False
Suppose -34*p = 632 + 286. Does 20 divide (-8442)/p*(-1 + 4)?
False
Is 29 a factor of ((-72038)/(-4))/((-2)/(-4)) + -1?
True
Suppose -287 = -3*x - 2*l + 259, 4*x - 724 = -4*l. Suppose 5*w + 4 = x. Is 6 a factor of w?
True
Suppose u + b + 11 = 4*u, -2*u = 3*b. Does 5 divide u/(-2)*((-1664)/(-12))/(-13)?
False
Let n(u) = 12*u**2 - 92*u - 86. Let z(t) = -2*t**2 - 2*t. Let c(w) = n(w) + 5*z(w). Does 18 divide c(52)?
True
Let u = -40 + 61. Let a = u - 17. Suppose -a*c = -l - 1 + 53, -4*l - c + 225 = 0. Is l a multiple of 8?
True
Let n = 1748 + -1656. Does 23 divide n?
True
Is 54 a factor of (-13 + 7 + 5)/(1 + 6280/(-6276))?
False
Let f(p) = 21*p - 6 + 18 - 7 - 2. Let o be f(-11). Let s = o + 324. Is s a multiple of 13?
False
Let t = 11949 - 5928. Does 9 divide t?
True
Let k be (2 + 635)/(-2 + 2 + 1). Let n(x) = k*x**2 - 627*x**2 - 7*x + x**3 - 10*x - 10. Is n(-11) a multiple of 5?
False
Let r = -3916 - -4819. Is 90 a factor of r?
False
Suppose -1599 - 1889 = -23*o - 1027. Is o a multiple of 6?
False
Let a be (-6)/(-45) + (-184)/30. Let g(o) = 3*o**2 - 4*o + 4. Is g(a) a multiple of 18?
False
Let u(z) = -15*z - 47. Let t be u(-19). Suppose -3146 = -8*o + t. Is o a multiple of 22?
False
Let q(d) = -6*d + 8. Let g be q(1). Let v be (42/(-24) - -6)/(g/32). Suppose w = v + 17. Is w a multiple of 17?
True
Let b(y) = y**3 + 78. Let g be (-20 + 5)/3*78/(-10). Let x = -39 + g. Is 39 a factor of b(x)?
True
Let u(y) = 7*y**2 + 4*y - 10. Let k be u(9). Suppose -k = -3*c + 145. Is c a multiple of 41?
True
Suppose -9*c + 57582 = 33*c. Does 12 divide c?
False
Let k(o) = o**2 - o - 2. Let v(t) = -5*t**2 - 14*t - 15. Let c(h) = 2*k(h) - v(h). Is c(-6) a multiple of 21?
False
Let r(a) = 181*a**2 + 72*a + 382. Is 17 a factor of r(-6)?
False
Suppose -57*k + 52*k - 3*i + 12846 = 0, k + 4*i - 2576 = 0. Suppose -x - 122 = -4*b + 2446, -4*b + k = 4*x. Does 6 divide b?
True
Let w(j) = -j**3 + 29*j**2 + 3*j - 85. Let t be w(29). Suppose 0*c - 179 = -c - t*z, -4*c + 731 = 5*z. Is 27 a factor of c?
True
Let w be -11*7/(-770) + 13569/10. Let n = -774 + w. Is n a multiple of 41?
False
Let m(g) = g**3 + 9*g**2 - 24*g + 16. Let j be m(-11). Let t(h) = 2*h + j - 9*h + 6*h + 32 - h**2. Is 21 a factor of t(0)?
False
Does 22 divide ((-8196)/(-30))/((-38)/(-2090))?
True
Suppose 0 - 10 = 5*j - 4*y, 3*j = -4*y + 26. Suppose 3*n = -j*n. Suppose n = 5*h - 0*h - 365. Is 10 a factor of h?
False
Suppose -91*h + 8326 = -469606. Does 13 divide h?
True
Suppose 3*b + 294 - 309 = 0. Suppose 0 = a - b, 5*f = 7*f + 5*a - 259. Is f a multiple of 46?
False
Suppose -864 = -135*p + 132*p. Let s = p + -190. Is 7 a factor of s?
True
Let p be 31/16 + 26/416. Let h = 444 + 403. Suppose -h = -9*z - p*z. Is z a multiple of 11?
True
Suppose 71*f = 27*f + 176. Suppose 4*l - f = 0, -7*l = 3*r - 8*l - 1589. Is r a multiple of 24?
False
Does 14 divide (-130036)/(-9) - ((-38)/(-45) + 110/(-275))?
True
Suppose -57*j + 59*j - 240 = 0. Is (-8)/(-6)*41670/j a multiple of 35?
False
Suppose -12873 = -14*n + 30975. Does 36 divide n?
True
Suppose 5*l - 1470 = 5*p, -2*l - 5*p + 477 = -97. Does 2 divide l?
True
Suppose -14*w + 28 + 14 = 0. Is 13 a factor of 2/w + (-5590)/(-30) - 4?
False
Suppose 0 = 103*u + 24*u - 472948. Does 19 divide u?
True
Let p(g) = g**3 + 14*g**2 - 21*g - 10. Let y(j) = 3*j**3 + 30*j**2 - 42*j - 19. Let r(h) = -5*p(h) + 2*y(h). Is 12 a factor of r(9)?
True
Suppose -t - 3*g + 4 = 0, -4*t + 40 = 3*g - 3. Suppose 1635 = 3*f - t*o + 14*o, -3*o = 4*f - 2185. Is 68 a factor of f?
True
Let v = 9 + 31. Let h be (v/4)/(1 + 0). Let u = 86 - h. Is u a multiple of 38?
True
Suppose 5*h + 14 = -26. Suppose -35 = -4*a - 51. Is 12 a factor of (-130)/(-4) + 1 - a/h?
False
Let u = -28728 + 51832. Is u a multiple of 152?
True
Let c = 76 - 136. Let t = c - -31. Does 4 divide (-2)/((-4)/(-10)) - t?
True
Let u be (82*11/(-2))/((-7)/77). Suppose -32*l - u = -43*l. Is l a multiple of 11?
True
Suppose -8*m - 190 = -13*m. Let v = -36 + m. Let s(t) = 109*t + 17. Is 16 a factor of s(v)?
False
Let j be 1*14 - -2*(-1)/(-2). Suppose -10*r = 632 - 4752. Suppose -3142 = -j*g - r. Is 13 a factor of g?
True
Suppose -614*g = -625*g - 11. Is 7 a factor of ((-1333)/(-3) + g)*(-276)/(-184)?
True
Let k be 6/(-4*3/(-32)). Let a(g) = -88*g**3 + g**2 - 5*g - 5. Let m be a(-1). Suppose r - k = m. Does 21 divide r?
True
Let b = -25 + 28. Suppose -4*f - 58 = 3*t, b*t + f + 54 = -2*f. Let a(n) = n + 32. Is a(t) a multiple of 10?
False
Let a be (-3)/((-3)/(-2))*-4. Let h(x) = 2*x**2 + 10*x + 179. Let g be h(-20). Suppose -a*i + 61 = -g. Is i a multiple of 35?
True
Let c(h) = -h**3 + 4*h**2 - 4*h + 2. Let q be c(2). Suppose 0 = 264*x - 590 - 202. Suppose -2*j + 24 + 0 = r, q*r - 36 = -x*j. Is 6 a factor of j?
True
Let c(n) = -12*n**3 - 3*n**2 + 34*n + 229. Is c(-12) a multiple of 23?
True
Let l(t) = -88*t - 4531. Is l(-136) a multiple of 37?
True
Suppose 0 = -2*n + 13 - 5. Suppose u - 24 = 3*j, 3*u - n*j + j - 78 = 0. Suppose -49 = u*s - 28*s. Is s a multiple of 5?
False
Let r(i) = 22*i + 213. Let f be r(-10). Is (-16)/40 + ((-24654)/5)/f a multiple of 88?
True
Let g(i) = -2*i - 33 - 29 + 50 + 6*i. Let m be g(10). Is (-72)/6*m/(-3) a multiple of 8?
True
Let k = 28 + -23. Suppose -2*u = k*b - 0*u - 196, 4*b = 4*u + 168. Is b a multiple of 5?
True
Let m = 176 - -199. Suppose 4*s - m = -119. Is s a multiple of 4?
True
Let n(a) = 25*a + 7. Let z be n(-5). Let p = z - -126. Is 53 a factor of 2/p - 132/(-48) - -103?
True
Let k = 179 - 143. Is 30 a factor of 152/k + -4 + 4044/27?
True
Let n = 61 - 44. Let t = 22 - n. Suppose -y - t*y = -426. Does 9 divide y?
False
Suppose l - 657 = 2127. Suppose 3*d = 19*d - l. Suppose 45*m = 47*m - d. Is 5 a factor of m?
False
Let g = -162 - -165. Suppose 575 = 3*b + 5*w, 0 = g*b + 3*w - 700 + 121. Is b a multiple of 16?
False
Let z(o) = -2*o**3 + 229*o**2 - 53*o + 2181. Is z(114) a multiple of 35?
True
Let b(h) = 22*h**2 + 9*h + 912. Is b(0) a multiple of 19?
True
Suppose 5*i - 18670 = 5*y, -777*y + 780*y = -i + 3738. Is i a multiple of 9?
True
Let a(z) = z**3 - 85 + 26*z + 73 - 33*z**2 + z**3 - z**3 + 30*z. Does 36 divide a(32)?
True
Let h be (-4 + -