 + 0*c - 39 = 3*c, -3*c + 51 = -2*t. Is j(t) a multiple of 9?
True
Let j(m) = 20*m - 196 - 165 + 11 - 12. Is 6 a factor of j(25)?
True
Is 19 a factor of (-466047)/(-11) - 283/(-3113)?
False
Suppose -4*r + 68 = 4*f, 23 = f - 2*r + r. Suppose 0 = 18*y - f*y + 72. Suppose 99 = 9*z - y. Does 11 divide z?
False
Let l(t) = -5047*t - 8098. Is 208 a factor of l(-8)?
False
Suppose 0 = -4*g - g + 2845. Let p = g + 709. Is p a multiple of 18?
True
Let x(i) = -i**3 - 17*i**2 + 14*i + 8. Let t = -30 + 32. Suppose t*j + 2*y + 40 = 0, 5*y - 33 = 5*j + 47. Is 27 a factor of x(j)?
False
Let x(n) = -717*n - 310. Is x(-15) a multiple of 69?
False
Let w = 28 + -23. Suppose 0*o - 4*o = -i - 1219, -3*o = w*i - 943. Is o a multiple of 51?
True
Let n(f) = f**3 - 22*f**2 - 21*f - 24. Let p be n(23). Let m be 32/(-12) - -2 - 78/(-9). Suppose -6*h = -m*h + p. Is h a multiple of 2?
False
Let j = 10114 + -4038. Does 26 divide j?
False
Is 30*6*(132/(-297) + 328/90) a multiple of 16?
True
Let h(i) be the second derivative of -11*i**3/6 - 17*i**2/2 - 820*i. Let r be ((-6)/2)/((-6)/(-8)). Does 3 divide h(r)?
True
Let g = -73 - -117. Suppose 39*r - g*r + 190 = 0. Is r a multiple of 19?
True
Let b(w) = w**2 - 3*w + 8. Let z(p) = p**2 - 3*p + 8. Let k(o) = -3*b(o) + 4*z(o). Does 6 divide k(-4)?
True
Let f = 3621 - -4837. Does 50 divide f?
False
Let z = 2341 - 974. Let b = z + -919. Does 16 divide b?
True
Let v be -6*(-5)/15 - 2. Let c(t) = -t**2 + t + 900. Let x be c(v). Is -7*(x/21)/(-6) a multiple of 25?
True
Let n(r) = -17451*r - 153. Let a be n(-2). Suppose 11*f = -16*f + a. Is f a multiple of 39?
True
Let v be (54/12)/(6/(-16)). Let j = v + 167. Is j a multiple of 2?
False
Is (509 - 21)/(6/15 - 0) a multiple of 20?
True
Let m(c) = c**3 + 4*c**2 - 5*c - 4. Let i be m(-2). Suppose i*w + 98 = 16*w. Suppose -5*t = b - 25 - w, 78 = 2*b - 4*t. Is b a multiple of 2?
False
Let z(o) = -39 + 14*o + 12*o + 48. Let x(d) = -13*d - 4. Let q(g) = -5*x(g) - 2*z(g). Is 20 a factor of q(6)?
True
Suppose -214 = -4*o + 3*z, -4*o - 5*z + 71 = -159. Suppose -3*b - o + 3 = -2*t, -b = -3*t + 78. Suppose 5*l + t = 3*d, 0*l + 4*l + 65 = 5*d. Is 8 a factor of d?
False
Let g = -12394 - -16815. Is 29 a factor of g?
False
Let p(r) = 3*r**2 + 10*r + 1. Suppose 32*t + 185 = -327. Is p(t) a multiple of 21?
True
Let x(f) = f**3 + 16*f**2 + 9*f - 48. Let k be x(-12). Let t = 474 - k. Does 45 divide t?
False
Let l(u) = -4*u**2 + 6*u - 5. Let s be l(4). Let f be (-68)/6*s/(-6). Does 7 divide (-870)/(-4) - f/34?
False
Let f(j) = j**3 + 99*j**2 + 33*j + 875. Is 8 a factor of f(-98)?
False
Suppose -m = 15 + 17. Suppose 6*g + g = -2*p + 94, 4*g - 46 = -p. Let a = p - m. Does 9 divide a?
False
Let w(y) be the second derivative of -y**5/20 + 5*y**4/3 - 5*y**2/2 + 38*y. Let k be w(20). Does 4 divide 2*(3 - 0 - k)?
True
Let r = 4988 - -1272. Does 18 divide r?
False
Let m = 15 + -13. Suppose 0 = -m*v + f + 1, -4*f = -7*v + 2*v - 2. Suppose -2*u - 42 = -2*s, 0 = 2*s + v*u - 18 - 32. Is 4 a factor of s?
False
Suppose -19 = -2*f - 5*w, 4*f - 17 = -0*f - 3*w. Suppose s - 6 = -f*s. Suppose -s*u = -3*t + u + 42, 0 = -4*u + 16. Is t a multiple of 6?
True
Suppose -5*r - 4*r = -r - 213096. Does 13 divide r?
True
Let s(y) = y**3 - 27*y**2 + 138*y + 26. Let k(c) = c - 2. Let o(j) = 3*k(j) + s(j). Is 40 a factor of o(20)?
True
Let t(i) = 114*i**3 + 11*i**2 - 23*i + 106. Is t(5) a multiple of 191?
True
Let y be 1/((-8)/180) - (-6)/(-4). Let x = -36 - y. Is 2/x - (-3172)/24 a multiple of 11?
True
Suppose -5*m + 20 = -3*y, 2*m - 3*y - 4 = 4. Does 30 divide (-852)/(-4) + m + 2?
False
Let c(p) = 1025*p**2 + 30*p - 30. Let o be c(1). Suppose o = 4*t + 305. Is t a multiple of 4?
True
Is (-4)/3 + (-238)/(-102) + -3 + 7282 a multiple of 27?
False
Suppose f - 18*a = -16*a + 4369, 4*f - 17528 = -5*a. Is f a multiple of 3?
True
Suppose -10353394 = -207*h + 2315006. Does 72 divide h?
True
Let o = -2339 - -2334. Let v(y) = -2*y**2 - y + 7. Let l(c) = -5*c**2 - 4*c + 21. Let r(p) = 2*l(p) - 7*v(p). Is r(o) a multiple of 24?
False
Suppose -5*g - 12470 = -5*i, 3*i - 7503 = -28*g + 24*g. Is 12 a factor of i?
False
Is 90 a factor of -4805*((-80)/25 - -2) - 6?
True
Let y = -29 + -114. Let h = y - -465. Is h a multiple of 40?
False
Let m(q) = q**2 + q - 3. Let p be m(2). Suppose 5*a = -3*w + 4*a + 34, -p*w + 26 = 5*a. Suppose -69 = w*y - 13*y. Does 7 divide y?
False
Let l(d) = -d + 27. Let h be l(17). Is (-1303)/(-5) + 4/h a multiple of 21?
False
Let d(j) = -57*j - 76. Let k be 148/(-14) - (-3)/(-7). Is d(k) a multiple of 29?
True
Suppose -6*j - 8 = 22. Let f be (-1115)/(-20) + j/(-20). Suppose -6*m + 1778 = f. Does 41 divide m?
True
Does 102 divide (((-646)/(-18))/((-11)/(-33)))/((-1)/(-36))?
True
Suppose 275*k = -103*k + 7256466. Is 18 a factor of k?
False
Suppose -3*c = -6, c = -5*j + 4*j + 51. Let k(a) = a**2 - 6. Let z be k(5). Let g = j - z. Does 6 divide g?
True
Let d be -1 + 4/((-8)/90). Let r be (11 + -8 + -60)*((-8)/(-12))/(-2). Let o = r - d. Is 7 a factor of o?
False
Let b = -8290 - -10869. Is 57 a factor of b?
False
Let l(w) = 41*w**2 + 33*w - 90. Let p(i) = i**3 - 9*i + 13. Let f be p(2). Is 21 a factor of l(f)?
True
Let w = 25 + -22. Suppose 5*b = w*v + 339, -v + 0*b - 123 = -5*b. Let q = -102 - v. Is 3 a factor of q?
True
Suppose m + 6 = 4. Let i be (-9 - m) + 6/2 + 0. Is (-386)/(-14) - i/(-7) a multiple of 5?
False
Suppose 46 = v + 4*r, 0 = r - 4*r + 15. Suppose -3*h + 57 = 27. Suppose v = t + h. Does 16 divide t?
True
Let r = 0 + 40. Let j = 172 - 149. Let i = j + r. Is 21 a factor of i?
True
Let f be 2/(-4 - (-1005)/250). Let c = -67 + f. Suppose 4 = p, 5*p - 249 + c = -2*h. Is h a multiple of 14?
True
Let j(v) = 3674*v**2 + 27*v + 55. Is j(-2) a multiple of 213?
True
Suppose -4*x = -4*z - 25032, 0 = 3*x + 2*z - 4834 - 13970. Does 58 divide x?
True
Let w(l) = 19 + 5*l - 16 + 9*l**2 - 4. Is w(-3) a multiple of 10?
False
Suppose -10*m - 148 = -12*m. Suppose -2*p = 2*f - 132, 0 = f - 2*f + 3*p + m. Does 4 divide f?
True
Let h = 271 + -269. Suppose -3*k = -3*w - 0*w + 603, h*w = -2*k + 382. Is w a multiple of 33?
False
Suppose -97*r = 165*r - 1139962. Is r a multiple of 23?
False
Let d(v) = v + 5*v**2 - 8*v + 36 - v**3 + 2*v**3 - 40. Let j be d(-6). Is 25 a factor of 1 - j - (-2 - (227 - -2))?
False
Let d(w) = -252 - 38*w - 20*w**2 - w**3 + 119 + 124. Is 16 a factor of d(-19)?
True
Let f(w) = -w**3 - 2*w**2 + 4*w + 3. Let a be f(-2). Let g be (2 + (-28)/20)/((-1)/a). Suppose -g*h = -4*h + 109. Does 16 divide h?
False
Let w(j) = j**3 - 31*j**2 - 52*j - 1718. Is w(38) a multiple of 131?
False
Let q(w) = -w**2 + 5*w + 3. Let t(c) = 2*c**2 - 5*c - 3. Let n(v) = 6*q(v) + 5*t(v). Suppose 3*h - 24 = 2*i, -3*i - 26 = -0*i - 2*h. Is 22 a factor of n(i)?
False
Suppose -2*x + 411 = 21. Let a = x - -167. Let q = -75 + a. Does 41 divide q?
True
Suppose -4*t + 1447 - 1495 = 0. Is 17 a factor of (t/15 - 0)/(6/(-12240))?
True
Let z = 208 - 245. Is 37 a factor of 7/((-14)/26)*z?
True
Let o = -200 + 198. Does 23 divide 2331/15*(-1)/o*10?
False
Suppose 32*k - 64852 = 100428. Is k a multiple of 116?
False
Let q be -43 + -1 + (5 - 9). Let g = 126 + q. Let c = g - 32. Is c a multiple of 11?
False
Let s = -19 - -19. Let c be (s - (5 - 6))*(-1 - -18). Let f(v) = 9*v - 34. Is 17 a factor of f(c)?
True
Let t = 359 - 79. Suppose -22*a + 29*a = t. Is a a multiple of 9?
False
Suppose -10*f = 3*q - 6*f + 98, -f + 1 = 0. Let o = -23 - q. Does 9 divide (6/(-2) + o)*(25 + -5)?
False
Let d(v) = v**3 - 2*v**2 + 3*v - 2. Let m be d(2). Suppose -p + u + 9 = -15, -p + m = 4*u. Is 28 a factor of -1*p/(-15)*21?
True
Suppose -2*l + 564408 = 86*l + 46*l. Does 9 divide l?
True
Let q(m) = -9*m**3 - 88*m**2 - 39*m + 220. Is q(-20) a multiple of 135?
True
Let y(p) = -7*p - 14. Let o(c) = -7*c - 15. Let x(s) = -3*o(s) + 4*y(s). Suppose -7*f = 2*f + 54. Is x(f) a multiple of 7?
False
Let c(a) = 102*a**2 - 8*a + 6. Does 115 divide c(-7)?
True
Let p = -219 + 230. Is 14 a factor of 1/(-4) - p/(352/(-18792))?
False
Let s(i) = -i**3 - 20*i**2 + 20*i + 30. Suppose 25 = -5*p, -5*h = -5*p + 43 + 37. Is s(h) a multiple of 3?
True
Suppose -3839 = -19*s + 13*s + 445. Does 10 divide s?
False
Let p(f) = 24*f**3 - 3*f**2 + 3*f + 1. Let o be p(1). Suppose 5*b + n = 351, -2*b + n = o - 171. Is 