**2 + 53*n - 385. Let d be k(10). Is 10 a factor of (-7)/35 + d/(-25)?
True
Suppose -3*z - 6*p + 3*p = -33, -3*z + 15 = -3*p. Let g be ((-12)/16)/(-2*1/z). Suppose l = 4*k - 238, -3*l - 172 = -g*k + l. Is k a multiple of 30?
True
Suppose 7*l + 14 = 14. Suppose 5*z = -5*q + 3055, 4*z + l + 4 = 0. Does 24 divide q?
False
Let i(z) = 192*z - 6560. Does 15 divide i(44)?
False
Let f(t) = -2*t**3 + 5*t**2 + 6*t + 4. Suppose 2*d - 58 = -4*n, 2*n - 22 = n - 2*d. Let r = n + -15. Does 17 divide f(r)?
True
Let r(k) = -k**3 - 7*k**2 - k - 7. Let g(x) = -x - 2. Let s be g(3). Let z be r(s). Let j = z + 104. Does 13 divide j?
True
Let i be (-2)/(-8) - 21203/28. Let r = i + 1156. Is r a multiple of 17?
False
Suppose 6*b + 144 = -6*b. Let d be 2 - 3 - b/2. Suppose d*s = 4*f - 26, -2*f + 2 = f + 5*s. Does 3 divide f?
False
Let r be (60/(-40))/(3/(-8)). Suppose 4*v - 162 = -m, 0 = -r*m + 5*v - 65 + 650. Is m a multiple of 25?
True
Suppose 200466 = 89*d + 40*d. Is 37 a factor of d?
True
Let w(o) = 2*o**3 + 16*o + 15. Is w(11) a multiple of 6?
False
Let s = 1520 + -1026. Suppose 0 = -4*m - 150 + s. Is 3 a factor of m?
False
Let b = -60 + 57. Is 15 a factor of (-1138)/b*(-27)/(-18)?
False
Let o = -1097 + 788. Let b = o - -582. Does 5 divide b?
False
Suppose -21*f = -3*i - 18*f + 51297, 0 = 3*f - 18. Is 11 a factor of i?
True
Suppose -86*p + p + 1717490 = 33*p. Does 169 divide p?
False
Suppose 13*g - 8011 + 1390 = 1595. Is g a multiple of 2?
True
Let h = 37503 + -20013. Is 55 a factor of h?
True
Let o(r) = -r**3 + 40*r**2 - 64*r + 1301. Is o(36) a multiple of 58?
False
Let j = 81968 - 53319. Is 92 a factor of j?
False
Does 91 divide ((-90868)/6)/(60/210*35/(-15))?
False
Is 2/3*(-1 + 1 - (-162822)/44) even?
False
Let w be (-20)/25 - (4/(-5))/(-4). Is 5 a factor of 78 + 1 + w + -3?
True
Suppose -146*o - 2626 = -v - 145*o, -4*v + 2*o = -10496. Does 6 divide v?
True
Suppose 11*s + 0 = 11. Suppose 3*i + s = 10. Does 6 divide (14/i)/((-6)/(-63))?
False
Suppose v + a - 215 - 190 = 0, -1209 = -3*v + 3*a. Does 35 divide v?
False
Let h = 148 - 148. Suppose h = -105*f + 118*f - 663. Is 5 a factor of f?
False
Is ((-116)/(-6))/((-22570)/(-2820) - 8) a multiple of 116?
True
Let w = 87 - 75. Suppose 20 = 3*o + 2*n, -3*o + 2*n = -4*o + w. Suppose 24 + 24 = o*c. Does 3 divide c?
True
Let a be (842/(-6))/(2 + 42/(-18)). Suppose 4*s = -4*x + 1285 - a, 0 = 4*x + 12. Does 20 divide s?
False
Let x(h) = 3*h**2 + 15*h - 36. Let c(z) = -z**2 - 5*z + 12. Let l(q) = -7*c(q) - 2*x(q). Let b be l(-6). Let u(a) = -17*a + 5. Is u(b) a multiple of 11?
False
Let k be (1 + -12)/((-13)/117). Suppose 7*i = -69 - k. Does 7 divide (-2)/8 - 3/i*674?
True
Let w(s) = -697*s + 17754. Is w(22) a multiple of 55?
True
Let c = 735 - -165. Does 90 divide c?
True
Let r = 12710 - 4044. Is r a multiple of 45?
False
Let b(l) be the first derivative of l**4/4 - 2*l**3/3 - 5*l**2/2 - 2*l - 16. Let o be b(4). Is o/(((-4)/20)/(8/(-20))) a multiple of 20?
True
Suppose -4*o - 4*o = 0. Let d(b) = 2*b**2 + 6*b + 5. Let c be d(-4). Suppose o = -c*q - q + 532. Does 23 divide q?
False
Let a(q) = -16*q + 18. Suppose -15 = -20*t + 23*t. Is a(t) a multiple of 14?
True
Suppose -2*o = -2*y - 16, 3*o = 4*o + 2*y + 4. Suppose -8*p - o = 124. Let k(t) = -t + 9. Is k(p) a multiple of 13?
False
Suppose -7*p + 8 = 1. Let g be -4 + 10 + p/1. Let k(n) = -n**3 + 10*n**2 + 4*n + 11. Is k(g) a multiple of 10?
False
Suppose 0 = 482*s - 490*s - 3120. Let h = 1141 + s. Does 30 divide h?
False
Suppose 5*t - 15471 - 6055 = -11*g, -1958 = -g - t. Is 38 a factor of g?
False
Let a be (-5)/((-21)/(-18) + -2). Suppose -v + a = 4*u + 15, -5*v = 25. Is (-3)/(u + (-166)/(-169)) a multiple of 25?
False
Let f be (13 - -379) + (-5)/1. Suppose -f - 914 = -4*v - h, 3*v - 4*h - 971 = 0. Is 11 a factor of v?
False
Let f be (6 + -6 - (-6)/8)*4. Let i be ((-24)/(-14))/(f/105). Suppose -2*x = -i - 166. Is 38 a factor of x?
False
Suppose y = -16 + 22. Let c(g) = g**2 + 9*g - y - 7 + 11. Is 13 a factor of c(-14)?
False
Let i(j) = -j**3 - 18*j**2 - 32*j - 2. Let u be i(-16). Does 3 divide (((-1)/u)/(11/(-1408)))/(-2)?
False
Let u = 34 - -218. Suppose 3*z - u = -6*z. Is 27 a factor of 163 - (18/14 - 8/z)?
True
Let j be (2 - -1)/(-1 + 2). Suppose 5*s + j*s = 1520. Does 2 divide 590/s - 2/19?
False
Let l = 1645 + -3053. Is (8 + -4 - 3) + (1 - l) a multiple of 94?
True
Does 150 divide (1 - 181509/(-27)) + -12*12/(-324)?
False
Suppose -6*o = -1265 - 493. Suppose -o = -5*d + 472. Is d a multiple of 17?
True
Suppose 103*l - 60 = 88*l. Suppose 4*c - 571 = -u, -15*u + 17*u + 574 = l*c. Is 11 a factor of c?
True
Suppose 5*d - 3529 = 3*l, 8*d + 5*l = 6*d + 1393. Suppose -14*i = -18*i + d. Is i a multiple of 11?
True
Suppose 4*i - u - 4*u - 7 = 0, 5*u = -5*i + 65. Suppose 1504 = i*p + 208. Is 32 a factor of p?
False
Let l(s) = 100*s**2 - 16*s + 24. Let d be (-11 - -6)/(15/(-6)). Is l(d) a multiple of 34?
False
Suppose 2*m + 1008 = 4*m - 2*j, -3*m - 4*j + 1512 = 0. Suppose 6*k - m = -0*k. Suppose -4*d + 3*i + i + 288 = 0, -d + k = 3*i. Is d a multiple of 25?
True
Suppose 7*i - 15 = 4*i. Suppose 4*f = -2*v + 550, 5*f - 1 = 6*f. Suppose -i*k + 0*k = -3*l + 412, -2*l = -k - v. Is 8 a factor of l?
False
Let i be 101/(-6) + 39/(-18) + 2. Let h be i/(-34) - 49/(-2). Is h + -26 + 4/(8/210) a multiple of 26?
True
Let m(a) = -25*a**3 - a**2 + 2*a - 3. Let g be m(1). Is (g/63)/((-3)/2247) a multiple of 14?
False
Suppose -2*y = 4*z - 1676, -2106 = -5*z + y + 2*y. Is z a multiple of 14?
True
Suppose 5*j + 88158 = 10*j + 2*y, -3*j - 2*y + 52898 = 0. Is j a multiple of 79?
False
Does 11 divide (-27273)/(-11) - 4 - 24/66?
True
Suppose -20 = 132*j - 122*j. Does 10 divide (-15)/(-5) + 155 + (j - -4)?
True
Suppose -246*x - 1476 = -249*x. Let j = x + -47. Is 23 a factor of j?
False
Let b = 247 + -248. Is 12 a factor of ((-4123)/7)/b - 1*2?
False
Let r(m) be the first derivative of m**4/4 + 23*m**3/3 - 25*m**2/2 - 9*m + 12. Let a be r(-24). Let c(k) = 5*k + 10. Is c(a) a multiple of 16?
False
Suppose 520*c = -28*c + 21153348. Is 126 a factor of c?
False
Let g(p) = 18*p**2 - 190*p - 1983. Does 46 divide g(-11)?
False
Let r = 17301 + -9867. Is 118 a factor of r?
True
Suppose -27208 = -3*y + 4*s, y + 3*s - 2508 = 6570. Suppose y = 6*f + 6*f. Is f a multiple of 31?
False
Suppose -86*o + 85*o + 1029 = 4*y, -o + 4*y = -1037. Is 33 a factor of o?
False
Let q be (1 - (-2 + 0))*(-56)/(-6). Let x(v) = v**2 - 30*v + 60. Is 2 a factor of x(q)?
True
Let v(s) = -s**2 + 9*s + 999. Let l be v(0). Suppose 0 = -o - 285 + l. Is o a multiple of 102?
True
Let v(h) be the first derivative of h**6/120 + h**5/10 - 9*h**3/2 + 15*h**2/2 + 13. Let o(w) be the second derivative of v(w). Is 24 a factor of o(5)?
False
Let z = -147 + 213. Let h(n) = 4*n + 119. Let r be h(-29). Suppose z + 78 = r*y. Does 12 divide y?
True
Let s = 224 + -208. Suppose s*c - 2280 = c. Does 67 divide c?
False
Is 176 a factor of 4764 - (-4 - 64/(-4))?
True
Let h(c) = 6*c**2 - 487*c + 604. Does 47 divide h(100)?
False
Let b(r) = -1 + 4 - 2 + 3*r - 4*r**2 - 2 + 78*r**3 + r**2. Is b(1) a multiple of 23?
False
Suppose 0 = 207*b - 102*b - 2477685. Is 182 a factor of b?
False
Is 3 a factor of ((-85)/102*-3)/((-1)/(-1014))?
True
Let i(j) = 43*j - 46. Let f be i(4). Suppose -f*q + 560 = -119*q. Is q a multiple of 5?
True
Is 56 a factor of (6/6 + -1128)/(-1) + -7?
True
Let m(u) = 8*u + 175. Does 5 divide m(20)?
True
Suppose l - 519 - 29 = -3*a, 2*l - a = 1068. Does 3 divide l?
False
Is 90/4*(10 + (-69822)/(-135)) a multiple of 9?
True
Let g = -114 - -123. Suppose -g*k = k - 80. Suppose -k*q = -11*q + 270. Is 18 a factor of q?
True
Let k be (-3)/(12/8) - -8. Is 80 a factor of 280*((-2)/k)/((-9)/54)?
True
Let l(q) = 185*q - 2296. Is 47 a factor of l(18)?
True
Let d = 18620 - 17240. Does 6 divide d?
True
Is ((-36925)/(-6) + 2 - 2) + (-160)/(-192) even?
False
Let a = 12064 - -7880. Is a a multiple of 72?
True
Suppose 4*z = -3*x - 9 - 1, 4*x + 4*z + 8 = 0. Is 24 + x - 4 - 8/(-2) a multiple of 4?
False
Let t = -44 + 47. Suppose 3*n + i + 3 = 15, -i = t. Let m = n - -91. Is m a multiple of 12?
True
Suppose 0 = 5*v + 25750 + 3630. Suppose 2*b = 3*x - 31, 88*b = 91*b + 4*x + 72. Is 10 a factor of -3*(-3)/45 + v/b?
False
Let w(f) = f**2 - 7*f - 5. Let x(j) = -3*j + 