84/(-10))/((-3)/15). Let k = u + -656. Is 14 a factor of 5/(75/k) + 4/(-10)?
False
Suppose 3*s - 2035 - 830 = 0. Suppose 2*w - 380 = 2*f, -f - s = -5*w + 3*f. Suppose 0 = -j - j - 5*y + w, 5*j + y = 545. Does 10 divide j?
True
Let t(w) = -1707*w**3 - 8*w**2 - 53*w - 123. Is t(-3) a multiple of 40?
False
Let i = 9392 + -8416. Is i a multiple of 2?
True
Let p be (-1 + 7/(-3))/(42/(-63)). Suppose p*x - 9*x + 16 = 0. Suppose 0 = -4*s + m + 835, -4*m + 650 = x*s - s. Does 21 divide s?
True
Let u(j) = 956*j + 4. Let y(d) = 320*d + 1. Let p(m) = 3*u(m) - 8*y(m). Does 58 divide p(3)?
True
Let d(o) = 38*o - 15. Let l be d(-20). Let w = -335 - l. Is 55 a factor of w?
True
Suppose 390*l = 129*l + 1020510. Is 34 a factor of l?
True
Suppose 4*i + 2*d - 64762 = 0, 34*i = 37*i + 2*d - 48572. Does 142 divide i?
False
Let j = 933 + 1474. Is j a multiple of 97?
False
Let t(n) = -n**3 - 13*n**2 - 21*n + 13. Let y be t(-11). Let q(h) = -2 + 4*h**y + 5*h - 16 - 2*h**2 + h**2. Is 12 a factor of q(8)?
False
Let m = -42 - -78. Let b = m + -35. Let w(z) = 48*z + 4. Is w(b) a multiple of 26?
True
Suppose 5*c + 229 = 2*v + 49, 4*c = -2*v + 180. Let z be (-15 + 5)*1/(-2). Suppose -2*j - 4*i + v = 0, -4*i + 20 - 175 = -z*j. Is 14 a factor of j?
False
Suppose 152*w - 77*w + 209*w - 4396320 = 0. Is w a multiple of 129?
True
Let n(w) = w**3 + 13*w**2 + 13*w + 14. Let q be n(-12). Suppose 268 = 2*l + 3*l + 4*p, 5*l - q*p = 286. Suppose -l = -4*g - 8. Is g a multiple of 6?
True
Suppose 0 = -4*a + 5*a + 3*n + 592, 2*a = -2*n - 1180. Let f = a + 898. Is f a multiple of 14?
False
Suppose 38*k - 36*k = -182. Let v be 5464/26 + 14/k. Suppose 3*c - v = -3*n, 318 = 5*n - c - 2*c. Is n a multiple of 25?
False
Let y be (-14567)/(-21) + 2*(-1)/(-6). Suppose 3*k - 3*m + 2*m - y = 0, -m = -k + 234. Suppose 3*a - k = -3*t - t, 48 = t - 4*a. Is t a multiple of 12?
False
Let x = -468 - -474. Suppose b + 5840 = x*b. Is b a multiple of 73?
True
Suppose w + r + 1691 = -4*r, 4*w - 4*r = -6884. Let t = -920 - w. Is 25 a factor of t?
False
Suppose 85*c = -3*a + 82*c + 51984, -17328 = -a + 4*c. Is 304 a factor of a?
True
Let l be ((-8)/(-3))/((-119)/(-282744)). Suppose l = 23*z + z. Is z a multiple of 8?
True
Let u be (9 - (-6)/2) + -2. Suppose -18 = -7*w + u*w. Is (-540)/w - 0/(-1) a multiple of 18?
True
Let q = -4566 - -7785. Does 3 divide q?
True
Suppose 0 = -2*p - 24*t + 19*t - 109, -2*p - t = 89. Does 9 divide p/42 - (-272 - -1)?
True
Suppose -5*v + 688 + 960 = -2*g, 4*v - 3*g - 1317 = 0. Does 6 divide v?
True
Let n(u) be the third derivative of u**3 + 0*u + 7*u**2 + 0 - 17/8*u**4. Is n(-2) a multiple of 10?
False
Suppose -q + 74 = 24. Let y be (3 - 3) + q + (-4 - -3). Suppose -112 - y = -z. Is 18 a factor of z?
False
Let z = 41 + -38. Suppose 2*t + 338 = z*c, -4*c - 4*t = -c - 332. Let q = c - 64. Is 16 a factor of q?
True
Let y be (-15 + 23)*(14/(-1))/(-2). Let g = -52 + y. Suppose -4*r - g*k = -276, r + 3*k - 137 = -r. Is r a multiple of 26?
False
Let q be (692 + -5 - (4 - 1)) + 0. Let m = q + -515. Is 19 a factor of m?
False
Let g(q) = -3*q**3 - 12*q**2 - 6*q + 26. Let j(c) = -2*c**3 - 12*c**2 - 7*c + 27. Let l(m) = 3*g(m) - 4*j(m). Does 10 divide l(10)?
True
Let o be -1224*(33/(-6))/11. Suppose -2*s + o = 5*f, -2*f = -0*s + s - 244. Does 6 divide f?
False
Let x be (-32)/(-2)*(-1 - (-35)/20). Let t be 48/10*(-4 - x/(-18)). Is 6 a factor of 4/t + (-639)/(-12)?
False
Suppose 12*p = 8*p + 16, 5*w + 123 = 2*p. Suppose 0 = -2*t - t - 2*x + 153, -2*x = 5*t - 251. Let c = w + t. Is c a multiple of 2?
True
Let v = 11674 + -1314. Is v a multiple of 262?
False
Suppose 10500 = -1046*r + 1056*r. Is r a multiple of 5?
True
Suppose -96 = 11*y + y. Let c(s) = s**3 + 11*s**2 + 18*s + 26. Is c(y) a multiple of 2?
True
Let q = 1644 + -416. Is 85 a factor of q?
False
Suppose -330*n - 352 = -334*n. Suppose 0 = 94*m - n*m - 528. Does 4 divide m?
True
Suppose 4*h = 5*d + 183256, -6*d - 146613 = -2*d + 5*h. Is 7 a factor of 3/(4/22 - (-6202)/d)?
True
Let b be ((-1)/(12/4755))/((-12)/(-48)). Let x = b + 2648. Is 20 a factor of x?
False
Let h(d) = 3*d**2 - 2*d. Let k be h(-1). Suppose 0*c + k*c - 3*n = 4978, c = 2*n + 997. Is c a multiple of 13?
False
Suppose 0 = -11*v + 22*v + 616. Is (3 + v/1)/((-7)/63) a multiple of 40?
False
Let v = -1519 + 3232. Is 4 a factor of v?
False
Suppose u = -3*m + 25424, 5*u + 16921 = -539*m + 541*m. Is 37 a factor of m?
True
Suppose 0 = -4*u + 4*o + 44612, -3*u + 13*o = 11*o - 33468. Does 106 divide u?
False
Let j(a) = 5*a**3 + 2*a**2 - 2*a - 2. Let s be j(-2). Let q = s - -34. Suppose -4*n + 320 = -q*u, -5*n + 0*u - u + 400 = 0. Does 16 divide n?
True
Let q(f) = f**3 - 2*f**2 + 65*f - 21. Let b be q(9). Suppose 11*p - b = 9539. Is 97 a factor of p?
True
Let i be 7 - (-6)/8*-4. Suppose -r + 4*s = i - 76, -5*r + 284 = -s. Does 7 divide r?
True
Suppose 95*f = 90*f - 3615. Let h = f - -1192. Suppose -h = -19*n + 2647. Does 25 divide n?
False
Suppose -4*l - 4787 = -2*y - 36309 - 109554, y = 0. Is 101 a factor of l?
False
Let l = 778 - 495. Let y be l*((-11)/(-5) + (-10)/50). Suppose -4*s + 4*h = -560, -2*s = 2*s - 2*h - y. Is s a multiple of 11?
True
Suppose -j = 7*j - 17944. Suppose 0 = -5*q - 5*u + 2785, 0*q - j = -4*q - u. Does 16 divide (-14)/35 - q/(-5)?
True
Suppose -3802 = -5*o + 4*r, 17*r + 760 = o + 16*r. Is o a multiple of 2?
True
Is 35/(41230/76) - (-1 - (-388335)/(-31)) a multiple of 261?
True
Suppose 0 = -0*u + u + 4*s - 46, s + 110 = 2*u. Is 7 a factor of (-2)/(-12) + (-3)/(u/(-681))?
False
Let n = -788 - -2882. Is n a multiple of 8?
False
Let j(n) = -n**3 - 4*n**2 + n - 12. Let i(g) = g**3 + 8*g**2 - 6*g + 20. Let w be i(-9). Let p be j(w). Suppose -4*d + p = -2*d. Does 7 divide d?
False
Let d(i) = 3*i**2 + 12*i + 10. Let s be d(-4). Suppose s*z - 252 = -2. Is 2 a factor of z?
False
Is 27 a factor of (5 + -6)/((-3)/((-35316)/(-4)))?
True
Let t(s) = 14*s**2 - 8*s + 7. Let q(z) = 29*z**2 - 16*z + 14. Let m(f) = -2*q(f) + 5*t(f). Let g be m(3). Let x = g + -38. Is 9 a factor of x?
False
Let m = -1680 - -8673. Does 38 divide m?
False
Suppose -2*x + 51*p + 697 = 46*p, 2*x - 662 = -2*p. Is 84 a factor of x?
True
Let y(r) = -83*r - 55. Let g be y(23). Let c = -688 - g. Suppose -121*h + c = -117*h. Is 29 a factor of h?
True
Suppose 126*i + 3*i = -409*i + 3599220. Is 9 a factor of i?
False
Suppose 0 = -88*o + 693282 + 1139582. Is o a multiple of 7?
False
Let c(f) = -59*f - 18. Let t(y) = 118*y + 37. Let d(p) = 5*c(p) + 2*t(p). Let a be d(-5). Let o = a + -118. Is 44 a factor of o?
False
Let x(g) = 8*g**2 - 51*g - 39. Is x(8) a multiple of 16?
False
Let r(a) = 62*a**2 + 127*a - 10. Is r(7) a multiple of 6?
False
Let x(q) = q**2 - 40*q + 17. Let t be x(41). Let u = t - -76. Is u even?
True
Let j = -193 + 311. Suppose -4*h - j = -738. Suppose -3*p = -4*a - h, 0 = p + a - 32 - 8. Is p a multiple of 8?
False
Let d be (-34)/(-10) - 12/30. Suppose -d*h - 3*v + 336 = 0, -10*h - 2*v + 332 = -7*h. Is h a multiple of 12?
True
Suppose -2*s + 5*s = -o + 8, -o = -s. Let w(j) = 4 - 2*j**3 - 6*j**3 - 4*j**s - 2*j**2 + 2*j + 3*j**2. Is 17 a factor of w(-3)?
True
Let v = 448 + -281. Suppose -v + 629 = 3*j. Does 14 divide j?
True
Suppose 3*c + 6 = 0, -r - 2*c - 434 = -0. Let w = r - -1246. Is w a multiple of 48?
True
Let a be 2 - (-3 + 2)/((-4)/(-24)). Suppose -5*u = -o + 8, -8 = -4*o + 4*u + a. Is 19 a factor of (o - (3 - -1)) + 24?
False
Is 65/((-650)/(-248580)) - -24 a multiple of 87?
True
Let p(a) = -a + 4. Let j(m) = -211*m + 13. Let t(b) = -j(b) + 5*p(b). Is t(3) a multiple of 19?
False
Suppose 27*x + 6*x - 9971822 = -446*x. Is x a multiple of 14?
True
Let v = -110450 + 158120. Is 30 a factor of v?
True
Let z = -254 + 259. Suppose 2*y + 456 = 4*a, -a + z*y = -112 - 20. Is 8 a factor of a?
True
Suppose 62*y - 50*y = 10164. Suppose -5*l - 2*j = -y, -l + 343 = l + 5*j. Does 13 divide l?
True
Let o(j) = -2*j. Let w(c) = -34*c + 79. Let i(y) = 6*o(y) - w(y). Is i(17) a multiple of 39?
False
Does 29 divide (-2)/(2/(-105))*30566/2635?
True
Suppose q + 74 = 14. Let d = q + 77. Is d a multiple of 4?
False
Suppose 31*h = 37*h - 12. Suppose 3*f + h*t - 3072 = 5*t, 1032 = f - 5*t. Does 64 divide f?
False
Let s = 29810 - 29775. Suppose 62 = 4*a - 82. Suppose s*y + 262 = a*y. Does 42 divide y?
False
Le