(-1 - -3). Is 38 a factor of o/(-2)*(214 - -14)?
True
Let w(p) = -2*p**2 - 27*p + 13. Let k be w(11). Let t = k - -1441. Is t a multiple of 15?
True
Let u(y) = 193*y**2 + 2*y - 3. Let l be u(1). Let f be ((-12)/(-9))/(4/l). Suppose -n + f = s, 2*s = -s - 6. Is 23 a factor of n?
False
Suppose 3*q - 5966 = 2920. Suppose -26*k = -2888 - q. Does 9 divide k?
True
Let v = 473 - 441. Does 13 divide ((-5327)/(-28))/(4/v)?
False
Suppose 4 = -x, -406 = 5*f - x - 1295. Suppose -f = 3*u - 2592. Is 29 a factor of u?
False
Suppose 49*a - 33534 = 3*a. Does 24 divide a?
False
Let s(w) = 6601*w - 717. Is s(6) a multiple of 9?
True
Suppose 348*s + 21290 = l + 343*s, -3*l = -4*s - 63793. Is l a multiple of 126?
False
Suppose -4*s = 5*z - 316682, 184*z - 5*s + 253342 = 188*z. Is z a multiple of 12?
False
Let n(q) = -10*q - 59. Let u be n(6). Let t be (14 - 1)*3/(-1). Does 9 divide u/(-13) + ((-48)/t)/(-8)?
True
Suppose -c = -207*o + 211*o - 5923, 0 = 5*o - 3*c - 7425. Does 13 divide o?
True
Let q(r) = -r**2 + r + 1. Let g(t) = -2*t**2 + t + 2. Let z(k) = -5*g(k) + 5*q(k). Is z(9) a multiple of 52?
False
Let k(i) = -3*i - 15. Let x be k(-8). Let n be ((-42)/x)/(3/9*2). Is (-7)/(3 - (-22)/n) a multiple of 12?
False
Let y = 397 - 206. Let c = y + -135. Is c a multiple of 2?
True
Let m(t) = 2*t**2 - 7*t - 4. Let x be m(-1). Let z(j) = 33*j**2 + 11*j - 24. Is z(x) a multiple of 20?
False
Let d be (52/7)/(-1) + (-12)/21. Let c(r) = r**2 + 6*r - 6. Let h be c(d). Suppose -15*n + h*n + 25 = 0. Is n a multiple of 3?
False
Let p(h) = 69*h**3 - h**2 - 18*h + 41. Does 3 divide p(3)?
False
Suppose -36*r + 9*r + 81 = 0. Suppose -954 - 1261 = -r*l - i, 3693 = 5*l + 2*i. Is l a multiple of 11?
True
Suppose p = -4*i - 14, -4*p - 5*i - 4 = 19. Is (-1 + 2)/(p + 210/104) a multiple of 26?
True
Let t(k) be the second derivative of k**3 - 27*k**2/2 - 5*k. Let y be t(10). Suppose -2*r = -143 + y. Does 10 divide r?
False
Let u = -43 + 43. Suppose -3*p + 4*g - 1212 + 236 = u, -5*p - g = 1665. Is (p/8)/((3/2)/(-3)) a multiple of 14?
False
Suppose -28430 = 63*g - 65*g + 2*v, 3*g - 4*v = 42648. Is g a multiple of 11?
True
Let n(p) = -15*p**3 - p**2 + p - 1. Let b(k) = -30*k**3 - k**2 + k - 1. Let g(o) = -3*b(o) + 5*n(o). Let w = 24 - 22. Is g(w) a multiple of 19?
True
Let q = 112 - 109. Suppose -q*u + u + 377 = -5*s, 187 = u - s. Is u a multiple of 21?
False
Let a be 11/((-55)/3870)*(-4 - 1). Suppose a = 5*q + 10*q. Suppose -3*u - x = -3*x - 411, -2*u - 4*x = -q. Is u a multiple of 27?
True
Let h be ((-72)/(-4) - 5)*41. Suppose -23*n - h + 3247 = 0. Is n a multiple of 13?
False
Is 17 a factor of 14 - 3 - 4 - 86*-27?
True
Suppose 2*k - 1106 = -13*t + 16*t, 2784 = 5*k + 2*t. Let l = k + 308. Is l a multiple of 32?
True
Does 11 divide (-20 + -1952)*55/(-22)?
False
Let a be (6 - 4) + 2 + (-4 - -1). Let u be (1*(-1 + 0 + a))/(-1). Suppose 0 = 5*q - 15, -2*d + 2*q + 15 + 9 = u. Is 15 a factor of d?
True
Let v(x) = 5*x**3 + x + 2. Let g be v(-2). Let i = g - -16. Let c = i + 41. Is c a multiple of 4?
False
Let t = 37077 + -31381. Is 16 a factor of t?
True
Does 50 divide 2016306/66 - (-1 + 11)/110?
True
Suppose -5 = 4*o - z - 9, 0 = 4*o - 3*z + 4. Suppose 5*a = h + 602, -18*h = -o*a - 19*h + 238. Is 60 a factor of a?
True
Does 3 divide 4*(13 - 10) + 246?
True
Let y = 6066 - 3360. Is y a multiple of 38?
False
Let d(l) = l**3 + 7*l**2 + 2*l + 16. Let b be d(-7). Let s be (-221 + -9)/(b*1/(-5)). Suppose -54*p + 49*p = -s. Does 23 divide p?
True
Suppose 544*y - 9927744 = 352*y. Does 53 divide y?
False
Let d be -1*(5 - (-1 + -3)/(-1)). Does 23 divide ((-1341)/3 + (0 - 2))*d?
False
Let h(n) = -19*n**2 + 50*n - 57. Let d(j) = 9*j**2 - 25*j + 28. Let l(a) = 13*d(a) + 6*h(a). Let s = 8910 - 8897. Is l(s) a multiple of 10?
False
Suppose 0 = -20*j + 21*j + 231. Is 31 a factor of ((-66)/j)/((-1)/(-2821))?
True
Let v(b) = -b**3 - 15*b**2 + 8*b - 38. Let y(c) = -5*c**2 + c + 2. Let d be 4*(-30)/(-24)*(-2)/(-5). Let p be y(d). Is v(p) a multiple of 13?
False
Is (4 - 1*(-5 + 1530))*(-9 + 6) a multiple of 27?
True
Let y = 4858 + 7910. Is 6 a factor of y?
True
Let q(i) = -89*i + 374. Does 81 divide q(-23)?
False
Let p(r) = -481*r + 33. Let y be p(-4). Suppose y - 7213 = -18*k. Does 21 divide k?
False
Suppose -4 = 2*h - 5*q, 5*h = 2*q - 3*q + 44. Let d be 4 - ((-3)/2 + 35/14). Suppose 4*u = d*u + h. Is 6 a factor of u?
False
Let r = 49 - 40. Suppose r*v = 7*v + 6. Suppose -v*n + 213 = -3*i, -3*n - i + 0*i = -197. Does 8 divide n?
False
Suppose -29*k - 75*k + 869310 = -65*k. Is k a multiple of 15?
True
Let y(r) = 9*r + 1 - 13 - 17. Let n = -487 + 496. Does 13 divide y(n)?
True
Suppose 5*g - 516 - 3608 = -a, 5 = -5*a. Does 11 divide g?
True
Let h = -18 + 19. Let k be -8 - h - (8 - 12). Let p(d) = -14*d + 8. Is 26 a factor of p(k)?
True
Let z be 509/(-2) - 7/14. Let i = z + 385. Suppose 3*s = s + i. Is 22 a factor of s?
False
Let c = 93 - 67. Suppose 2*p - 4*k = 654, -22*p - 3*k = -c*p + 1318. Is p a multiple of 37?
False
Let o(g) = -5*g**2 + 4*g - 106. Let l(p) = -3*p**2 + p - 54. Let j(k) = -7*l(k) + 4*o(k). Is 44 a factor of j(18)?
True
Let t(s) = -30*s**3 - 9*s**2 - 5*s + 1. Let b be t(-7). Suppose -2039 = -44*o + b. Is 17 a factor of o?
False
Let j(b) = 2*b + 10*b - 8*b + 4*b**3 + 15 - 13*b**2. Let c(v) = -v**3 + v**2 + v - 1. Let d(m) = 5*c(m) + j(m). Is d(-9) a multiple of 10?
True
Let q = 60 + -63. Let v = 14 + q. Suppose v*l = 361 + 35. Does 36 divide l?
True
Let x = 5804 - -1438. Is 17 a factor of x?
True
Let w = 27 - 22. Suppose -5*n = -3*b - 50 + 16, 5*b = w*n - 40. Is 12/(b + 255/80) a multiple of 11?
False
Is 18 a factor of (-29 - -18) + (29908 - (0 - 2))?
False
Let p be ((-32)/(-3) + (0 - 4))*3. Let w(r) = 1 + 11*r - 22*r + 10*r + p*r. Is 3 a factor of w(1)?
False
Let u(q) = -q**3 - 10*q**2 + 34*q + 23. Suppose -2*c + c - 13 = 0. Does 8 divide u(c)?
True
Let o(k) = 5*k**2 - 2*k + 1. Suppose 3*h + 5*q + 4 = h, -5*h + 4*q - 10 = 0. Let l be o(h). Let s = 76 - l. Is 17 a factor of s?
True
Let s be (-140)/(-1260) + 52/18. Let h(v) = -v**2 + v. Let a be h(0). Suppose 5*i - 135 = -s*p, 3*i - 4*i - 3*p + 27 = a. Is 5 a factor of i?
False
Suppose 3*w + 5*b = 73670, 33*b - 31*b + 98218 = 4*w. Is 15 a factor of w?
True
Suppose -2*o - 5 = -3*o. Let u = -1077 + 1079. Suppose -o*j + 412 = u*w - 0*j, -2*j = -w + 188. Is w a multiple of 28?
True
Let j be (-4)/(-20)*6*(-30)/(-9). Suppose -u + j*c + 56 = 0, 0 = -2*u - 3*c + 201 - 56. Is u a multiple of 7?
False
Suppose -3*m + 5*m = -5*x - 10, -3*m + x = -2. Suppose m = -5*d + 5*p + 505, d = -0*p - p + 109. Is 7 a factor of d?
True
Let l = -432 + -18. Is l/(-150) - (-99 - (-2)/2) a multiple of 13?
False
Is ((-1979)/(-6)*-2)/((-983)/2949) a multiple of 97?
False
Suppose 15*i - 49436 = -9746. Does 14 divide i?
True
Is ((-2 - -6) + (-50)/15)*198645/19 a multiple of 34?
True
Suppose -5*h = -3*p - 4, -3*h - 5*p + 20 = 2*h. Let k(q) = -18 - 12*q**2 - h*q + 11 + 64*q**2. Is k(-2) a multiple of 24?
False
Let g be 52236/102 - (-16)/(-136). Suppose 0 = 3*y - 2144 + g. Is 17 a factor of y?
True
Let m = 257 + -240. Suppose 0 = m*s - 13*s - 704. Is s a multiple of 11?
True
Let c(u) = 5*u - 36. Let a be c(8). Suppose -6*q = -a*q - 794. Is 40 a factor of q?
False
Suppose -3*g + 12 + 3 = 0. Suppose g*b + 5*v = -295, -202 = 4*b - b - 2*v. Let o = 238 + b. Does 13 divide o?
False
Let y(c) be the third derivative of -c**5/60 + 5*c**4/12 + 16*c**3/3 + 5*c**2. Let m be y(16). Is 15 a factor of 6/(-12)*3/(6/m)?
False
Suppose 1965 - 2104 = -p. Does 10 divide p?
False
Let c(f) = 738*f - 229. Is 91 a factor of c(7)?
False
Let k be (-11)/(66/24)*(-1)/(-2). Is 7 a factor of k/28*4 - (-888)/21?
True
Is (5 + (-9)/(-1))*(-207432)/(-84) a multiple of 5?
False
Let j = 19325 + -8670. Does 164 divide j?
False
Suppose 5*h - 4*i - 105 = -3*i, -4*i = 4*h - 84. Does 9 divide 272 + h*(-5)/(-15)?
True
Suppose -60*h = -39211 + 13466 - 24355. Is 3 a factor of h?
False
Let y be (-10 - (-2 - 4))*6/(-12). Suppose -y*d = -18*d + 8816. Is 22 a factor of d?
False
Suppose -4*u + 8 + 40 = 4*g, -3*g + 30 = -3*u. Let v(i) = 21*i + 17. Is v(g) a multiple of 34?
False
Let z(m) = m**3 - m**2 - m - 1. Let x(h) = -6*h**3 + h**2 + 6*h + 7. Let w(b) = -x(b) - 5*z(b). Let y be w(-4). Suppose y*a - 15 = 67. Is a a multiple of 9