**2 - 6*d + 1646. Is 7 a factor of i(0)?
False
Suppose 0 = -2*s - 2, 2*d - 4*s = 6*d - 2724. Suppose d = 4*k - 1166. Does 17 divide k?
False
Let p be ((-32)/(-88))/((-2)/11). Let v(u) = -166*u**3 + 2*u**2 + 3*u + 3. Is 43 a factor of v(p)?
True
Does 2 divide (0/9 + 1 + 2)*88?
True
Let y = 27559 + -15629. Does 83 divide y?
False
Let r be (-14)/(-4)*(8 - 32516/(-77)). Suppose r - 48 = 6*d. Is 28 a factor of d?
False
Let n(x) = -6*x**3 - 6*x**2 + 2*x. Let q be n(-3). Suppose -7*u - q = -718. Does 33 divide (1 + (-1)/4)*u?
True
Let t = 23 - 26. Let m(d) = -199*d - 13. Let r be m(t). Suppose 6*u - 14*u = -r. Is u a multiple of 35?
False
Let p(o) = o**2 - 10. Let h be 2/(-7) + 26/91. Let s be p(h). Does 56 divide ((-375)/s)/(4/24)?
False
Let z(r) = -10*r**2 + 1134*r - 23. Is z(19) a multiple of 65?
False
Suppose -81 = -4*i + 7*i. Is (-11379)/i - (-56)/(-126) a multiple of 15?
False
Let j be (-2)/(-6) - 3057/(-9). Suppose 20*m - 40 = 12*m. Suppose 3*u - m*i - j = 0, 5*i + 91 = -2*u + 351. Is 30 a factor of u?
True
Let j = -3819 + 8196. Is 58 a factor of j?
False
Let b(w) = -6*w - 3. Let j be -33 + 3 + 1 + 4. Is b(j) a multiple of 6?
False
Suppose -2*a - 2*i = 0, -3*a - 3*i = 2*a - 4. Suppose a*q = 217 - 89. Is 16 a factor of q?
True
Suppose -196*s = -132171 - 53049. Is s a multiple of 35?
True
Suppose 2*v - 2*l - 11410 = 0, -3*v - 5*l + 7*l = -17110. Does 38 divide v?
True
Let p(x) = -3*x - 16. Let o be p(-6). Let t(r) = 88*r + 1. Let c be t(o). Suppose 4*i + 49 = 4*y - 91, 3*i + c = 5*y. Does 6 divide y?
True
Let q = -69 + 72. Let f(a) be the third derivative of a**6/40 + a**5/12 - a**4/24 + a**3/6 - 14*a**2. Is f(q) a multiple of 31?
True
Suppose 32*z - 7*z = -325. Let s(h) = -57*h - 99. Is 55 a factor of s(z)?
False
Let d be 578/7 + (-69)/(-161). Suppose d*j + 2520 = 93*j. Does 12 divide j?
True
Let d be (16/10 - 4/(-10))*-43. Let i = 90 + d. Suppose -i*k = -461 + 161. Is 16 a factor of k?
False
Let f be -4 - ((-1)/(-1) - 371). Suppose 3*m + 378 = h, 6*h - 7*h - 3*m + f = 0. Is h a multiple of 27?
False
Let i(b) = -95*b + 2161. Is 14 a factor of i(17)?
True
Let h(l) = -52*l**3 - 6*l**2 + 26*l + 150. Is 38 a factor of h(-8)?
True
Is 42/12*-334*((-532)/(-49) + -11) a multiple of 42?
False
Let f be (-60)/8*20/(-50). Suppose -2*m + 757 = f*a + 98, 4*m = -20. Is a a multiple of 42?
False
Let y = 56 - 53. Suppose 5*h = -3*a + 296 - 93, -y*h + 115 = -5*a. Does 10 divide h?
True
Let d(q) = 51*q - 2301. Is 10 a factor of d(75)?
False
Suppose 3*x = 0, -2*x + 125 = t - 7*x. Suppose -3*g = -3*d + 159, -2*g - 2*g - 2*d = 212. Let a = t + g. Is a a multiple of 9?
True
Let o = -2 + -4. Let w(p) = -p**2 - 6*p - 43. Let s be w(-8). Does 2 divide (-11)/(-66) + -1 + s/o?
False
Suppose 147 = 3*n - 0*n. Let t = n - 49. Suppose t = -4*u + 4*b + 72 + 124, 4*u + b - 211 = 0. Is u a multiple of 13?
True
Let c = 20069 + 3862. Is 9 a factor of c?
True
Let p(k) = -316*k - 10. Let h be (-2 + -2 + 2 + 3)/(-1). Is 18 a factor of p(h)?
True
Let l = 53613 + -19087. Is 80 a factor of l?
False
Suppose 3*u - 342 = 2*g, u + 2*g = 6*u - 566. Let w be 2 + u + (1 - -4). Let z = w + -97. Is 2 a factor of z?
True
Let b(r) = -3*r + 22. Let j be b(1). Suppose 35*a = j*a + 1664. Is a a multiple of 26?
True
Let h = -39 + 83. Suppose 0 = 4*q - 0*q - 32. Suppose 0 = -4*x + 4*d + h, 3*d - q = 5*d. Is x a multiple of 3?
False
Suppose 2568456 = 729*m - 630*m. Is 188 a factor of m?
True
Let r(j) = -135*j + 381. Does 26 divide r(-7)?
True
Let i = -948 - -974. Let j = -7 - -37. Suppose -i = -8*h + j. Is h a multiple of 7?
True
Let x(l) = -l**3 + 82*l**2 + 137*l - 670. Is 3 a factor of x(83)?
False
Is (-770)/28*(-2652)/65 a multiple of 11?
True
Suppose -21 = 6*y + y. Does 53 divide (-245)/y + (-4)/6 - -2?
False
Let i = -16176 - -37471. Is 138 a factor of i?
False
Let q = 41 - 9. Suppose -5*n - 7 = -q. Suppose 130 - n = 4*t - 5*i, -121 = -4*t + i. Is 10 a factor of t?
True
Does 19 divide 8/(-196)*14*-6062?
False
Suppose 0 = 14*o - 19*o + 15645. Suppose 9*s - 3819 = o. Is 17 a factor of s?
False
Suppose 6*b + 21*b = -108. Does 29 divide (-2411)/b + 192/(-256)?
False
Let h(y) = y**2 + 25*y - 202. Is h(14) a multiple of 43?
True
Suppose -5*p - 812 = h - 7469, 2667 = 2*p - h. Let b = -898 + p. Is b a multiple of 14?
True
Suppose -4*h = -2525 - 907. Is h a multiple of 46?
False
Let t(l) = -l + 15. Let r be t(-4). Suppose -w + 370 = r. Does 19 divide w?
False
Let p = 34 + -34. Suppose p = 5*h - 3*h - 20. Is 11 a factor of h*((-69)/(-15) - 1)?
False
Let o = -257 + 242. Let k(l) = -l**2 - 29*l + 104. Does 15 divide k(o)?
False
Let j be (-2 - -1)*(-40 - -40). Suppose j = u - 43 - 49. Does 46 divide u?
True
Suppose -4*h - 5 = -13, -16 = 2*l - 2*h. Does 30 divide l/(24/(-1370)) - (-3)/(-2)?
False
Let m = 9816 + -8083. Is 67 a factor of m?
False
Let a(v) = -14*v + 4. Let y be a(1). Is 3 a factor of (13*3)/(y + (-86)/(-8))?
False
Let q be (-2)/(-4) - (-1617)/2. Let a = q + -539. Does 18 divide a?
True
Let c be ((-3)/(-1))/(-3 - (-10)/3). Suppose -c*o - 1247 = -3029. Is o a multiple of 9?
True
Suppose -22*c + 40*c + 18180 = 23*c. Does 4 divide c?
True
Suppose f + 55 = -3*s, 0 = 2*f + 3*f - s + 323. Let l = f + 638. Is 60 a factor of l?
False
Let f(q) = -24*q + 125. Let u be f(4). Suppose -59 = 2*j - 479. Suppose 24*a - u*a = -j. Does 10 divide a?
False
Let d(k) = 556*k + 2187. Is 13 a factor of d(1)?
True
Let f(u) = u**2 + u + 143. Let t be f(0). Let c = -313 + t. Is ((-6)/(-2))/((-51)/c) a multiple of 5?
True
Let i(d) = -2*d**3 + 73*d**2 + 536*d + 20. Does 22 divide i(-10)?
True
Suppose 35809 = 4*x + 5*w, -26*w - 8959 = -x - 25*w. Is x a multiple of 8?
False
Let c(w) = -w**2 - 41*w + 732. Is c(-47) a multiple of 3?
True
Suppose -x = -2*g - 1224, x - 4*g - 231 = 987. Does 123 divide x?
True
Let h = 7263 + -4362. Does 25 divide h?
False
Suppose 0 = -g + 4*g - 567. Let k = -177 + g. Is k a multiple of 12?
True
Let f = 180 - -220. Let a = -158 + f. Suppose 1316 = 6*z + a. Is z a multiple of 17?
False
Suppose 0 = -3*z - 3*w - 24, 5*z - 6*w + 8 = -3*w. Let l be -5*(z - (-110)/25). Does 11 divide 5*(-452)/(-10)*l/(-4)?
False
Let z(o) be the third derivative of o**5/60 + 5*o**4/8 - 13*o**3/3 + 31*o**2 + 16. Let r = 8 - 25. Is 3 a factor of z(r)?
False
Suppose -235*k + 238*k = v - 659, v + k = 655. Is 2 a factor of v?
True
Suppose -4*y = 24, -28*y - 117110 = -4*o - 27*y. Is 26 a factor of o?
True
Let r(g) = -298*g + 118. Let x be r(-3). Let j = x - 300. Does 55 divide j?
False
Let j = -6063 + 13531. Is 9 a factor of j?
False
Let f(a) = 6*a**3 + 14*a**2 - 3*a + 6. Let b(u) = 5*u**3 + 13*u**2 - 4*u + 6. Let p(j) = 5*b(j) - 4*f(j). Does 9 divide p(-7)?
False
Let i(f) = 36*f + 165. Let y(q) = 17*q + 83. Let m(a) = -4*i(a) + 7*y(a). Is m(-13) a multiple of 16?
False
Let i(d) = 2*d**2 + 103*d - 4239. Does 103 divide i(76)?
True
Let r = 3293 - -8394. Is r a multiple of 31?
True
Suppose -63*b + 18870 = -61*b - p, -5*p = -5*b + 47180. Is 53 a factor of b?
True
Let j = 1071 + 558. Does 67 divide j?
False
Suppose -3*l = 15 - 18. Let t be (1 - 8/(-4))/l. Suppose -345 = -5*m - 3*c, -m + 4*m = t*c + 207. Does 6 divide m?
False
Suppose 93284 = 4*z + b, -25*z + 5*b + 116580 = -20*z. Is 40 a factor of z?
True
Suppose 3*h + 30*h = -12*h + 117045. Does 52 divide h?
False
Let m(g) = g**3 + 12*g**2 - 19*g - 30. Let r be m(-10). Suppose -180 = -27*n + r. Does 15 divide n?
False
Let c be -4 - (-50)/14 - (-6)/14. Suppose c = -21*g + 12*g + 3978. Is 13 a factor of g?
True
Let g(m) = -m**3 - 6*m**2 - 17*m - 4. Is g(-20) a multiple of 28?
True
Let x(g) = 9 - 17 + 14*g + g**3 - 16*g**2 + 23. Let p be x(15). Does 15 divide (-3 + 145 + p)*1?
False
Let h = -29 - -32. Does 19 divide (-377 - h)/((-3)/(-6)*-4)?
True
Let j = 596 - 239. Suppose -d + j = -823. Suppose d = 6*t + 238. Does 40 divide t?
False
Let u(w) be the first derivative of -w**3/3 + 15*w**2/2 + 39. Let b be u(6). Suppose b = 2*p - 0*p. Is p a multiple of 9?
True
Let p(k) = -63*k**3 + 5*k**2 - 15*k + 30. Let h(z) = 31*z**3 - 3*z**2 + 7*z - 14. Let d(v) = 13*h(v) + 6*p(v). Does 12 divide d(3)?
False
Let n(v) = -164*v - 1076. Is n(-7) a multiple of 12?
True
Let a(i) = -3*i**2 + 24*i - 63. Let w be a(6). Let c(v) = v**3 + 26*v**2 - 34*v - 25. Is c(w) a multiple of 5?
False
Let o = 3980 - 32