2310. Does 12 divide u(-22)?
True
Suppose -9*l + 414 = 162. Let c be (48/l)/((-4)/(-154)). Let r = c - 61. Is 3 a factor of r?
False
Suppose q = -5*l + 27689, 4*l - 15*q - 22154 = -13*q. Is 26 a factor of l?
True
Let v be ((-2)/4 + (-1)/2)*24. Let s be (v/(-18))/((-1)/3 + 1). Suppose 0 = s*q - 40 - 24. Is 16 a factor of q?
True
Let k = 406 + -398. Let v(a) = 2*a**2 - 17*a + 33. Does 8 divide v(k)?
False
Suppose -939 = -8*o + 2957. Let p = -175 + o. Does 12 divide p?
True
Let n(a) = a**3 - 14*a**2 + 18*a - 14. Let l = 20 + -2. Suppose k - l + 5 = 0. Is 13 a factor of n(k)?
False
Let z = 872 + 2428. Suppose r = 12*r - z. Does 50 divide r?
True
Let r = -6313 - -16432. Is r a multiple of 33?
False
Suppose -3*z - 2*w + 84813 = -5*w, -5*w = 4*z - 113111. Is z a multiple of 67?
True
Is 3 a factor of (-249)/(-1) + (-20)/(25/(-5))?
False
Let m be (-7)/(-84)*4*12. Suppose -7*t = -788 + m. Is 13 a factor of t?
False
Let l(n) = n**2 - 41*n + 6 + 0*n**2 + 39*n. Let i be l(0). Let c(t) = 3*t**2 - t + 6. Is 27 a factor of c(i)?
True
Suppose 5*c - 9606 = -11*v + 9*v, -7680 = -4*c - 4*v. Is 6 a factor of c?
False
Let o(j) = 6*j**2 - 12*j - 3*j**2 + 28 + j**2 + 1. Let s be o(-13). Suppose s - 3006 = -11*v. Does 39 divide v?
True
Let j = 19499 - -5926. Does 113 divide j?
True
Suppose 2*r + h = 247, -3*r - 5*h = -423 + 42. Suppose -b - r = -322. Does 13 divide b?
False
Let t be (114 + -3)/((-8)/40). Let g = -230 - t. Is 10 a factor of g?
False
Let n(g) be the first derivative of g**3 - g**2 + 5*g + 5. Let t be n(2). Let k(r) = -r**3 + 12*r**2 + 18*r - 31. Does 11 divide k(t)?
False
Suppose -2*w = 6*w + 48. Let m be (-16)/w + 11/33. Suppose -3*z + 148 = 4*t, 2*t = 6*z - m*z + 56. Is t a multiple of 17?
True
Suppose 597550 = 47*x - 1009568. Is x a multiple of 123?
True
Suppose 3*w = 5*z + 9, -6*w + 15 = 5*z - w. Suppose -8*j + 4*j + 112 = z. Is 3 a factor of -1 + 3 + (j - 6)?
True
Suppose -3*k + o + 45 = 6, -5*k - o + 73 = 0. Suppose 4*s = 2*m - 276, -12*s + 570 = 4*m - k*s. Is 18 a factor of m?
True
Let p = 513 - 175. Is 10 a factor of p - (1*(3 + -5))/1?
True
Suppose 2*x - 15588 = 3*w, 0 = 2*x - 42*w + 46*w - 15546. Is x a multiple of 9?
True
Let y(v) = 43*v + 3. Let r(l) = 21*l + 1. Let a(d) = -13*r(d) + 6*y(d). Does 8 divide a(-20)?
False
Does 185 divide ((-4)/(-1) - 1)/(6/19980)?
True
Suppose 249 = -13*k + 1328. Suppose -k*n + 102 = -80*n. Is n a multiple of 2?
True
Let s(d) = -2761*d + 22. Is 7 a factor of s(-1)?
False
Let o = 10675 - 7279. Is 12 a factor of o?
True
Suppose 0 = -g - 2, -5*x - 27 = -4*g + 5. Let h(q) = q**2 + 7*q - 2. Let c be h(x). Is (32/c)/(4/6) a multiple of 8?
True
Let v = -14081 - -17486. Does 227 divide v?
True
Is 267 a factor of 6/(-45)*1 - 735931/345*-16?
False
Let z(y) = -y**3 - 14*y**2 - 23*y + 31. Let v be z(-13). Let f = v + -98. Is 2 a factor of f?
False
Suppose 149*k = 71*k + 106*k - 212884. Is k a multiple of 7?
False
Let y(c) = 9*c**2 - 37*c + 427. Does 22 divide y(11)?
False
Is 46 a factor of ((-524)/(-10))/((-8624)/720 + 12)?
False
Let r = 408 + 81. Is r + (13 - 3)*(-1)/2 a multiple of 11?
True
Let d(c) = -218*c**3 + 15*c**2 + 50*c - 6. Does 5 divide d(-3)?
True
Let y = 311 - 209. Suppose -4*v = -c + 6 - 189, -2*v + y = -4*c. Does 9 divide v?
True
Let l = -186 + 68. Let q = l + 97. Is 38 a factor of 307/4 - q/(-28)?
True
Let o(i) be the first derivative of -i**4/4 - 5*i**3/3 - 5*i**2/2 - 26*i - 11. Let f be o(-6). Let b = f - 13. Is b a multiple of 3?
True
Suppose -1792750 = -239*r - 11*r. Does 5 divide r?
False
Let l(d) = 11*d**3 + 3*d**2 + 119*d - 1932. Is 11 a factor of l(15)?
True
Suppose 2*t - 12 - 2 = 0. Suppose -t*d = -d + 12. Let o(w) = 39*w**2 + 4*w + 4. Is 38 a factor of o(d)?
True
Let l = 21277 + -12182. Is 22 a factor of l?
False
Suppose -2*v - 3*o + 997 = 0, 0 = v + o + 8 - 508. Suppose m - 3*p + 4*p - v = 0, -3*p = -m + 523. Does 15 divide m?
False
Suppose -17*j + 679 + 868 = 0. Let p = j - 49. Is 12 a factor of p?
False
Let c(s) = -1 - s**3 - 2 - 2 - 4*s**2 + 10. Is c(-4) a multiple of 3?
False
Suppose 0 = -3*o - 5*n - 4, 8 = 2*o - n - n. Suppose 0 = 5*g - o*f - 1046 - 2822, -2*g - f = -1549. Is 18 a factor of g?
True
Let g = -920 - -4557. Is g a multiple of 11?
False
Let o(n) = -2*n**2 - 43*n**2 - 3 + 4*n + 706*n**3 + 48*n**2. Is o(1) a multiple of 10?
True
Suppose 0 = 32*p - 37*p + 30. Suppose 0 = 2*s + 4*b - 12, 10 + p = 3*s + 4*b. Suppose s*r - q = 265, -r = -2*r + q + 67. Does 8 divide r?
False
Suppose 5*d = -4*j, 4*j + 3*d + 10 = 2. Let f(t) = 5*t**2 + 19*t + 8. Let o be f(j). Suppose q + 35 = 4*x + 6, -3*x + o = -4*q. Is x a multiple of 4?
False
Suppose -4*u + 96*m - 91*m = -49748, 0 = 3*m. Does 26 divide u?
False
Let x(r) = 6 + 43*r + r + 3 + 1. Let s be x(-4). Is 23 a factor of ((-9)/18)/(1/s)?
False
Let s(a) = -36644*a - 3229. Is s(-1) a multiple of 99?
False
Suppose 193 = -3*k + 3*y - 1709, y = -k - 630. Let q = 250 - k. Is 21 a factor of q?
True
Suppose 3 = 2*l - 3. Let p(t) = -12*t - 5 + l + 9 + 10*t**2 + 2 - t**3. Is p(8) a multiple of 7?
False
Suppose -3*d - 5*c + 4*c - 74 = 0, 5*d + 2*c + 124 = 0. Let k be (9/(-12))/((-2)/d)*-1. Is 30 a factor of 4/(-18) + (1379/k - -5)?
False
Suppose 285*s - 16025 = -5*q + 289*s, -3*s - 12819 = -4*q. Is q a multiple of 97?
True
Let z(d) = 168*d - 136. Let c be z(10). Suppose -y = 2*w - 2*y - 778, 4*w = 5*y + c. Does 25 divide w?
False
Suppose -77 = -2*t - 21. Let q be (3/(-18) + (-2)/(-12))/(-1). Let k = q + t. Is k a multiple of 12?
False
Suppose -i - 1006 = -3*k + 9161, 3*i - 13569 = -4*k. Is 30 a factor of k?
True
Let z(q) = -5*q**3 + 105*q**2 + 12*q + 19. Let n be z(21). Let a = -120 - 64. Let x = a + n. Is 29 a factor of x?
True
Suppose -69 = -2*q + 3759. Suppose 0 = 2*f + 3*w - 2357, 2*w = -4*f + 2780 + q. Does 85 divide f?
False
Suppose -119 = -k - 41. Let u = k + -74. Does 10 divide (195/u - -2) + (-27)/36?
True
Let q(c) = -3*c**2 - 7*c + 42. Let n be q(-9). Let o be (2 + 0)/((n/(-240))/(-23)). Let u = 104 + o. Is u a multiple of 8?
True
Suppose 103*z = -91*z + 509444. Is z a multiple of 13?
True
Let a = -388 + 396. Is (-160)/a*(-57)/8*2 a multiple of 19?
True
Let q(n) be the second derivative of -7*n**3 - 3*n**2 - 17*n. Let z be q(-3). Suppose -2*t = -5*k - z, 4*t + 2*k - k - 196 = 0. Is 12 a factor of t?
False
Suppose -198 = 5*j - 2*j. Let g(v) = -v**3 + 8*v**2 + 5*v + 3. Let f be g(4). Let d = f + j. Does 5 divide d?
False
Let x(w) = 2*w**2 - 157*w + 7103. Is 222 a factor of x(0)?
False
Suppose 5777 = 23*x + 1338. Let d = 350 - x. Does 42 divide d?
False
Let t(i) = 8*i - 25. Suppose 5*j + 11 = -g, -3*j + 10 = -5*j + g. Let y(p) = -9*p - 19. Let d be y(j). Is 13 a factor of t(d)?
True
Let a(p) be the second derivative of -p**6/72 - 13*p**5/60 - 7*p**4/6 - 10*p. Let h(m) be the third derivative of a(m). Is h(-6) a multiple of 17?
True
Suppose 0 = -6*x + 31 - 43. Let q be (-5 - -2)/(2 - (x + 5)). Suppose -6 = 2*r, 5*r - q*r + 976 = 5*u. Is 42 a factor of u?
False
Let y = -387 - -1321. Suppose -1466 - y = -8*o. Does 30 divide o?
True
Let i(h) = 199*h**2 + 3*h + 1. Let p be i(-1). Let a = p + -74. Is 10 a factor of a?
False
Let f(m) = 4*m**2 - 88*m + 55. Is f(-40) a multiple of 95?
True
Let m be 1/(36/(-8)) - 22792/63. Let y = -174 - m. Is 18 a factor of y?
False
Let k(b) = 3*b**2 - 20*b + 18. Let d be ((-3)/(-1))/((-115)/(-345)). Does 6 divide k(d)?
False
Let y = -3966 + 3927. Let a = 5 + -3. Let u = a - y. Is u a multiple of 33?
False
Let m(g) = -2*g**3 + 34*g**2 + g + 11. Let h be m(4). Let z = h - -157. Does 49 divide z?
True
Let d(p) = 2*p**2 + p + 39. Let f be d(0). Suppose 49*q = f*q + 11000. Does 30 divide q?
False
Let f = -21538 - -28361. Is f a multiple of 170?
False
Suppose -3*n + 17 = -d, -2*d - 11 = -2*n + 35. Let o = -18 - d. Suppose -o*y + 126 = -2*y. Does 7 divide y?
True
Let v(c) = 69 - 77 + 2*c**3 + 19*c**2 - 3*c**3 - 7*c**2. Is 13 a factor of v(-4)?
False
Suppose 0 = -3*j + q + 235, -3*j - 4*q + 234 = -11. Suppose 221 = 10*k - j. Is k a multiple of 11?
False
Suppose 5*b - 16 = 20*u - 19*u, 3*b = 3*u. Does 39 divide (-117)/12*(b + (6 - 82))?
True
Suppose 23*q = 196717 + 32386. Is q a multiple of 89?
False
Let c(s) = -5*s**2 - 439*s + 159. Is c(-59) a multiple of 14?
False
Let r be (-154)/(-1 + -6) + 7. Suppose 2*s + 4*q = 127 - r, 