+ 11*y(t). Is 5 a factor of m(-17)?
True
Suppose j - 18 = 4*z + 3*j, -21 = 5*z + 4*j. Let h be 0/(1/(-3) - z/(-3)). Suppose 7*v - 510 - 414 = h. Is v a multiple of 18?
False
Suppose 3*b + 4696 = 4*u, -5*b + 20*u - 21*u = 7819. Let p = 2682 + b. Is 43 a factor of p?
True
Let u(f) = -f + 0*f**3 + f**3 + 5 + 0 - f**2 + 21. Does 14 divide u(0)?
False
Let k(v) be the third derivative of v**5/30 + 35*v**4/12 + 52*v**3/3 + 343*v**2. Does 18 divide k(-37)?
True
Suppose 3 = 5*a - 37. Suppose -24 = 3*f + 3*z, 4*f + 3*z = 7*z + a. Is 2 a factor of (-54)/f*6/9?
True
Let n = 152 - 106. Let g = -44 + n. Suppose 0 = -g*a + 188 + 138. Does 48 divide a?
False
Let b(p) = 5*p - 18. Let o be b(8). Let z = 48 - o. Suppose z*m - 616 = 19*m. Is 14 a factor of m?
False
Let j be (-1)/2*2*5. Let l be (-2 + -63)/j - 4. Is (-21510)/(-162) + 2/l a multiple of 24?
False
Suppose -173*z + 2786916 = -1919030. Is z a multiple of 58?
True
Suppose 4*n = 3*v + 8487, 0 = 2*n - 0*n - 2*v - 4244. Let r = -1101 + n. Does 68 divide r?
True
Let w be -6 - (-2072)/(-22) - (-6)/33. Does 7 divide w/(-250)*1685/2?
False
Let k(q) be the third derivative of q**4/8 + 91*q**3/6 - 15*q**2 - 3. Is 12 a factor of k(40)?
False
Let n be (-4 - -5)/((-1)/(-2)). Suppose 2*i = -4*i + n*i. Suppose 0*q = -3*d + 3*q + 258, i = 3*d + q - 278. Is 12 a factor of d?
False
Let o(b) = b**3 + 13 + 41*b**2 + 19*b - 3*b**2 + 4 - 19*b**2. Is o(-7) a multiple of 4?
True
Let f(d) = 207*d - 63. Let k(a) = a - 2. Let v be k(9). Is f(v) a multiple of 66?
True
Let u(q) = -90*q - 771. Is 52 a factor of u(-57)?
False
Let i(f) = 11*f**2 - 14*f + 63. Does 4 divide i(-7)?
True
Let c(y) = 122*y**2 - 33*y - 206. Is 23 a factor of c(-7)?
True
Let m be (-464)/46 - (-10)/115. Does 25 divide 142/4 + m/20?
False
Suppose -2 = -5*c + 4*h - 48, -c - 10 = -h. Let g(j) = -7*j - 7. Let d be g(c). Does 16 divide d/14*(-2 - -42)?
False
Let s be (-305)/(-2) + (-5)/(-10). Does 17 divide (s/5)/((-1)/(-15))?
True
Let b = -4819 - -6322. Is b a multiple of 9?
True
Let b(n) = -9*n + 141. Let d be b(28). Does 12 divide ((-240)/28)/(-4 + d/(-28))?
True
Suppose -35*x + 36*x - 4563 = 0. Suppose -8*w = -11*w + x. Suppose 10*h = h + w. Does 13 divide h?
True
Let n be (-6)/(-27) - 55/45. Is 7 + (-7 - n) + 404 a multiple of 27?
True
Let h(v) = 239*v**2 - 34*v + 49. Let f be h(6). Suppose -6338 = -3*x + 2*l, 0 = 15*x - 11*x - l - f. Is x a multiple of 20?
False
Let c = 253 + -176. Suppose 2*q - 6*q = -5*t - 22, 0 = -2*q + 2*t + 10. Suppose q*f = -7 - 8, f + c = b. Does 8 divide b?
True
Suppose -13 = -12*k + 59. Let b = k - -1. Let d(l) = 26*l + 46. Is d(b) a multiple of 12?
True
Does 3 divide (20 - (-902)/(-44)) + (-2458)/(-4)?
False
Let c = 461 - 293. Let f = c + -147. Is f a multiple of 21?
True
Let x be 4480/56*(-45)/(-2). Suppose 11*h + x = 21*h. Does 20 divide h?
True
Let d = -932 + 11024. Is d a multiple of 155?
False
Let j = -10018 - -21588. Is 19 a factor of j?
False
Let i(t) be the second derivative of -3*t**5/20 + t**4/6 + 2*t**3/3 + 3*t**2 + 636*t. Suppose 3*u - 5 = -2, 9 = -4*q - 3*u. Does 27 divide i(q)?
False
Suppose -5*k = -4*o + 2*o - 4298, 0 = 4*o + 16. Is 26 a factor of k?
True
Suppose 15*n - 100 - 35 = 0. Suppose 5*h = -2*c + 671, -2*c = -n*h + 6*h - 663. Does 7 divide c?
False
Let m(o) = -o**3. Let x(a) = 7*a**3 + 21*a**2 - 21*a - 11. Let b(h) = 6*m(h) + x(h). Is 38 a factor of b(-21)?
False
Suppose -d = r + 72, -3*d = -5*r + 249 - 65. Let w = d + 92. Is 18 + (w/2)/3 a multiple of 6?
False
Let f(l) = -240*l**3 - 2*l - 1. Let u be f(-1). Let v = u + -61. Suppose 10*g - 7*g - v = 0. Is 17 a factor of g?
False
Let n(d) = 16*d - 26. Let a be n(-3). Suppose 2*u = 163 + 105. Let t = u + a. Is t a multiple of 21?
False
Does 15 divide (13 - -15) + -14 + 2494?
False
Suppose -2*v - 451 = a - 1112, 4*a + 1620 = 5*v. Is v a multiple of 2?
True
Suppose -11*s + 37786 = -21515. Is 5 a factor of s?
False
Suppose 0 = -15*m + 701 - 4001. Let c = m - -345. Does 29 divide c?
False
Suppose -5*m - 685 = 5*l - 8*l, 0 = 5*l - 2*m - 1129. Suppose 0 = 5*y - y - 12. Suppose l = -0*o + y*o. Is 25 a factor of o?
True
Let s = 13 - 22. Suppose -2*o + 2*u = -14, -6 = -2*o + 4*o + 2*u. Is 32 a factor of 135 + (s - -5) + o?
False
Let o(n) = -62*n**3 - 32*n**2 - 302*n + 24. Does 52 divide o(-8)?
True
Suppose -9*q - 68 = -3776. Is (-8 + 5 + 12)*q/3 a multiple of 52?
False
Let z(o) = -10*o**3 - 25*o - 75. Let d be z(-3). Is d/(-4)*(0 - 72/20) a multiple of 7?
False
Suppose -z + 389 + 10 = -2*y, -y - 3*z = 210. Let w = -77 - y. Is 31 a factor of w?
True
Suppose 0 = 2*v + 4*m, -v + 26 = 4*v - 3*m. Suppose v*l - 325 = -l. Let q = l + -11. Is 18 a factor of q?
True
Let x(y) = -9*y**3 + 4*y**2 - 10*y - 11. Let h(i) = -8*i**3 + 3*i**2 - 9*i - 10. Let m(r) = 6*h(r) - 5*x(r). Is m(-5) a multiple of 34?
True
Let d = -150 - -162. Suppose d*j - 8919 + 2715 = 0. Is j a multiple of 31?
False
Let n be (45/10)/((-15)/800). Does 31 divide 1243/5 + (9 - n/(-25))?
True
Let c(x) = 4*x + 369. Let i be 1 + 3 + 2 + -6. Let g be c(i). Is 3 a factor of g/54 + (-1)/(-6)?
False
Let h = -455 + 749. Does 2 divide h?
True
Suppose 0 = 16*o + 3*o - 84360. Does 37 divide o?
True
Let q = 7677 - 3506. Is 12 a factor of q?
False
Let l(c) = -13*c - 3. Let x be l(-2). Suppose x*z = 27*z - 792. Let y = -124 + z. Is 9 a factor of y?
False
Suppose 3*k + 4*f - 9705 = 0, -5*k + 12582 = -2*f - 3567. Is k a multiple of 9?
True
Let y = 146 + -142. Is 2*710/y*18/45 a multiple of 17?
False
Let n = -462 - -470. Is (-8)/(960/45) + 739/n a multiple of 2?
True
Let k(v) = -v**3 - 13*v**2 + 16*v - 314. Does 45 divide k(-22)?
True
Suppose -353*u + 187*u - 459998 = -195*u. Is u a multiple of 14?
True
Let k = 7299 - 3494. Is 44 a factor of k?
False
Let n = -3252 - -7943. Is n a multiple of 6?
False
Let n(q) = -431*q + 9. Is n(-25) a multiple of 32?
True
Suppose 0 = -5*v + 3*m - 5*m + 155, -m + 5 = 0. Suppose v*l - 215 = 3265. Is 15 a factor of l?
True
Suppose 3*a = 5*o - 5, 3*o - 4*a + 2 = -6. Suppose 2*d - 5*d = -o*j + 442, -4 = -2*d. Is 7 a factor of j?
True
Let c be (5944/(-10))/((-6)/30). Suppose -4*m + 2*w + c = 0, 0 = 5*m - 2*w - 3759 + 46. Does 19 divide m?
True
Suppose m - 6*m = -4*c - 4052, m - 3*c = 806. Is 28 a factor of m?
True
Suppose 2*i - s = 5*i - 7, -4*i + 2*s = -16. Suppose c = -i*c + 224. Is 2 a factor of c?
True
Suppose -126484 = -11*h + 120147 - 92576. Does 101 divide h?
False
Let v(u) be the first derivative of 69*u**2/2 + 39*u - 21. Is v(9) a multiple of 15?
True
Suppose 5*r - 20 = 20. Let z be 84/r + (-2)/4. Suppose 13*u = z*u + 360. Does 20 divide u?
True
Let g be 15/(-25) + 480/50. Suppose 2879 - 422 = g*d. Is 7 a factor of d?
True
Suppose -5*y + 5*z = -20, -4*y + 5 = 2*z + 7. Suppose -h + 196 = 5*g - y, 68 = 2*g - 5*h. Is g a multiple of 13?
True
Let i be (64 - 57)*4/14. Is (1*(-179 - i))/((-12)/12) a multiple of 7?
False
Suppose 4*d + 1980 = l - 1310, -2473 = 3*d + 2*l. Let x = -471 - d. Is 22 a factor of x?
True
Suppose 0 = 17*y - 838 + 481. Let x be ((-5)/((-15)/42))/2. Suppose x*n = 6*n + y. Is 6 a factor of n?
False
Let z = -505 - -504. Is z/3 - ((-3530)/6 + 4) a multiple of 15?
False
Suppose 2*a = -5*a - 2*a. Suppose -4*y + 1046 = 2*n - 4*n, a = 4*y + n - 1061. Does 24 divide y?
True
Let d = -1025 - -1155. Is 6 a factor of d?
False
Suppose -118917 = 6*r - 11*r - v, -5*r + 3*v + 118889 = 0. Does 22 divide r?
True
Suppose -l + 91 = 12*l. Let s(i) = i - 4. Let n be s(7). Suppose 0 = 2*o - n*m - 81, 2 - l = m. Is 11 a factor of o?
True
Suppose 6574 + 2426 = 24*h. Let a = h - 268. Is 5 a factor of a?
False
Let v(a) = 31*a**2 + 12*a - 40. Let p be v(-8). Is 7 a factor of (p/22)/((-2)/(-4))?
True
Let u be (20/7)/((-68)/(-238)). Does 9 divide 15*(0 + -3 + u)?
False
Let a = -7439 - -8629. Is 45 a factor of a?
False
Is ((-3 - (1 - -28)) + -2)*(-204 + 191) a multiple of 6?
False
Let w(s) = 4*s**2 - 305*s - 681. Is w(79) even?
True
Let m be 979/89*(-3)/(-11). Suppose m*i + 231 = p, -2*i + 246 = p - 0*p. Is p a multiple of 16?
True
Suppose v + 12 = 7*v. Suppose -5*q = w - 1715, -3*w + w - 686 = -v*q. Let x = q - 235. Is x a multiple of 7?
False
Let b(x) = -108*x + 7970. Does 10 divide b(67)?
False
Suppose -25 = -4*s - n, 4*s - 3*n - 3 = 2. Suppose s*w - 2*i - i - 1068 = 0, 5*w - 1100 = -5*i. Is 9 a facto