3 + -8)/(1 + -2). Suppose -4*o = 2*d + p + 25, -5*o - 45 = -5*d. Is (1 + -3 + 10)*(-60)/o a multiple of 10?
True
Let j be 1*(-9)/3*-365. Suppose 20*m - 23*m = -j. Does 30 divide m?
False
Let j(w) = -8 - 3 - 45*w**2 + 42*w**2 + w**3. Let p be j(7). Suppose -q + 6*q - p = 0. Does 37 divide q?
True
Is 17 a factor of 832/6 - 9*26/351?
False
Suppose -4*s + 32 = -0. Let u be (102/s)/(3*(-5)/(-40)). Is 6 a factor of 0 - 4/u - (-49644)/612?
False
Suppose 13*k = -997 + 3714. Let o = -188 + k. Is 7 a factor of o?
True
Let o(j) = 3*j**2 - 432*j - 7184. Does 6 divide o(-16)?
False
Suppose -2*n + 0*u + 137 = -3*u, -n + 2*u = -67. Let l be (1/3)/(2/6) - n. Let w = -33 - l. Is 5 a factor of w?
False
Let u = -547 - -1031. Suppose 0 = 6*i - 7*i - 266. Let f = u + i. Does 22 divide f?
False
Let l = 590 - 586. Suppose f + 4*n - 142 = 0, -l*f - 4*n + 249 = -259. Is f a multiple of 61?
True
Let x(c) = 593*c - 2260. Is 36 a factor of x(8)?
True
Let d(q) = 114*q**2 + 7*q - 87. Does 38 divide d(-10)?
False
Suppose 2*f = 3*r - 19, r - 3*f + 7*f + 3 = 0. Suppose -5*v + 3*j + 101 = 0, 4*v - r*j - 39 - 34 = 0. Suppose -1170 = -v*n + 7*n. Is 43 a factor of n?
False
Suppose -5*f - 29 + 49 = 0. Let v(i) = i**3 + 3*i**2 + 6*i - 9. Let l be v(f). Let x = 278 - l. Does 14 divide x?
False
Let i(w) = -w**3 - 11*w**2 + 26*w + 3. Let d be i(-13). Suppose 4*f - d*b = 2123, 4*b + 8 + 12 = 0. Is 41 a factor of f?
False
Let s(v) be the third derivative of v**5/5 + v**4/24 + 5*v**3/2 + 27*v**2. Does 27 divide s(5)?
False
Suppose 0 = -4*z - 1 - 7. Let t be (-3 - z - -6) + 121. Suppose 2*m = 18 + t. Is 18 a factor of m?
True
Suppose -25*d - 402 = -19*d. Let z = 7 - d. Let l = z + 4. Does 12 divide l?
False
Let j(a) = a**3 - 16*a**2 + 16*a - 12. Let g be j(15). Let k(t) = 3*t - 5. Let w be k(g). Is 41 a factor of 39 - (-8*1)/w?
True
Suppose -5*s = 5*n - 30, 2*n + 2*n - 26 = -5*s. Suppose -2*u - s*y + 14 = 0, 0 = -u - 5*y - 4 + 11. Let r(h) = -h**3 + 7*h**2 + 8*h + 9. Is 11 a factor of r(u)?
False
Let g(q) = -3749*q + 1597. Is 27 a factor of g(-2)?
False
Let m = 95 + -42. Suppose 5 = -3*n + m. Is 4 a factor of n/((-3)/(-9) - 0/3)?
True
Let z(f) = 1220*f**2 + 0*f**3 - 1219*f**2 - 10*f - 10 + 7*f**3. Is 18 a factor of z(4)?
True
Let i(z) = -3*z - 16. Let d be i(-6). Suppose -d*k = -70 - 68. Suppose -w - k = -0*m - m, -m = -5*w - 69. Is m a multiple of 25?
False
Suppose 9*g - 285 = 6*g. Is 11 a factor of (-143)/5*g/(-19)?
True
Let p(u) = -165*u**3 + 2*u**2 + 3*u + 2. Let r = -95 + 94. Let n be p(r). Suppose -3*l - 2*m + n = -100, 0 = 4*l - m - 373. Is l a multiple of 41?
False
Suppose 0 = 47*l - 67086 - 18002 - 72550. Is l a multiple of 26?
True
Let i(f) = -2*f**2 - 26*f + 9. Let h be i(-11). Let y = h - -454. Is y a multiple of 13?
True
Let y(i) = 15*i + 5. Let g(x) = -4*x - 1. Let d(p) = -18*g(p) - 4*y(p). Let k = 278 + -274. Is 3 a factor of d(k)?
False
Let q be 36/(-4) + 5 - -21. Let z(a) be the first derivative of a**4/4 - 17*a**3/3 + 2*a**2 + 10*a - 6. Does 26 divide z(q)?
True
Suppose -t - 6 = u + 3*u, 0 = -3*u - 3. Let z = 40 + t. Let n = z - 7. Does 16 divide n?
False
Suppose 4*f + 0*r - 2*r = -286, -5*r + 295 = -4*f. Let d = -69 - f. Let j(y) = 248*y + 4. Is 28 a factor of j(d)?
True
Let r(j) = -1044*j + 1131. Is 87 a factor of r(-9)?
True
Let k = 193 + -189. Suppose 7*i = 10*i - k*g - 756, 3*i + 4*g = 756. Is 13 a factor of i?
False
Let n(c) = -60*c + 36. Let f be n(-31). Suppose 0 = 4*m - 60 - f. Is 16 a factor of m?
False
Let n = 31442 - -5524. Does 122 divide n?
True
Suppose -3*p - 3*c - 18 = 0, 4*p - c = 4*c - 24. Does 2 divide -9*16/(p - -2)?
True
Suppose -11*l + 17*l - 114 = 0. Suppose l*r + 3162 = 36*r. Is 12 a factor of r?
False
Let j = -256 - -350. Suppose 0 = -2*n + 50 + j. Does 5 divide n?
False
Let n(j) = 5*j**2 - 3*j + 6. Let m(s) = 0*s - 2*s + 42 - 9*s - 47. Let h be m(-1). Does 43 divide n(h)?
False
Let y(d) = d**3 - 3*d**2 + 2*d + 2. Let l be y(6). Let c be (3/((-27)/42))/(10/(-15)). Let n = l - c. Does 23 divide n?
True
Is 48/(-1416) + (-3349914)/(-354) a multiple of 49?
False
Does 21 divide 44/(-11) + (-695061)/27*(-2)/6?
False
Suppose 19*x = 6728 - 952. Suppose 6*r = 2*r + 3*b + 630, 0 = 2*r + 4*b - x. Does 26 divide r?
True
Suppose 8*i = 11*i - 318. Let v = 58 - i. Let u = v - -63. Does 2 divide u?
False
Suppose 2*s - 4*a + 11904 = 10*s, 4*a - 1474 = -s. Is s a multiple of 13?
False
Suppose -385*l + 3*g = -386*l + 1946, 0 = 3*g + 12. Does 3 divide l?
False
Let p(a) = -a**2 + 5*a - 6. Let y(v) = 3*v**2 - 13*v + 19. Let c(i) = 8*p(i) + 3*y(i). Does 2 divide c(-4)?
False
Let k(b) = -98*b + 250. Let l be k(-32). Suppose 6*q + 650 = l. Does 97 divide q?
False
Let x be 3/(24/40) + 4193. Suppose k = -5*l - k + x, 3*l - k = 2521. Is l a multiple of 30?
True
Let j(q) = 30*q - 58. Suppose 0*m + 51 = 5*m + c, -4*m + 39 = -c. Is 14 a factor of j(m)?
False
Let l(m) = -60*m**2 - 10 + 11*m + 4 + 59*m**2. Let f be 26/3 + (-4)/6. Is l(f) a multiple of 4?
False
Let j(z) = 174*z + 2104. Is j(12) a multiple of 17?
False
Let f = 6462 + -4982. Does 2 divide f?
True
Let y(m) be the second derivative of 5*m**4/12 - 7*m**2/2 + 18*m. Let u be y(6). Suppose -4*d = 3*x - u, 0*d = 5*x - d - 319. Does 9 divide x?
True
Let k(z) = -z**3 + 19*z**2 - 32*z - 30. Let x be k(17). Is 77181/78 - (-14)/x a multiple of 57?
False
Is 191 a factor of (28/(-6))/(-12 + 273020/22752) - -5?
True
Suppose 2*s + 10 = 0, 0 = -16*l + 20*l + 3*s - 16177. Is 92 a factor of l?
True
Suppose -3*q = -3*f - 195, 4*q + 4*f = 5*q - 74. Let l = q - 55. Suppose l*j + 92 = 281. Is j a multiple of 4?
False
Let k = 299 - 73. Let u = k - 190. Does 18 divide u?
True
Let d(j) = -j**3 + 7*j**2 + 10*j - 24. Does 23 divide d(7)?
True
Is 4 - (-46658 + (-10 - -6) + 2) a multiple of 38?
True
Suppose 0 = 2*t + 2*i + 76, -t - 17 = -2*i + 33. Suppose -263 + 2 = 3*s. Let m = t - s. Is m a multiple of 5?
True
Is 41 a factor of 138/(-210) - 1/5 - (-2824882)/266?
True
Let h = 581 - 551. Does 10 divide (-3)/(1/(h/(-5)))?
False
Suppose -13*r - 38 = 40. Let q = -7 + 3. Does 15 divide (-993)/r + 2/q?
True
Let l(i) = -15*i**3 + i**2 + 48*i + 32. Is l(-5) a multiple of 36?
True
Suppose 0 = -7*q + q - 12. Let z be (-15717)/2 + 6/(-8)*q. Is 16 a factor of z/(-54) + (-1 - (-2)/(-4))?
True
Suppose 0 = -27*j + 42*j - 26*j + 40524. Is 39 a factor of j?
False
Let p be (-32)/80 + (-8)/60*-543. Let f be 80/3*90/25. Suppose 70 = 3*w - 2*b - p, 2*w = b + f. Is 5 a factor of w?
True
Let c = 38 - 34. Suppose -3*q + 16 = q, 3*q = c*i. Suppose -i*j = -188 + 56. Does 18 divide j?
False
Suppose -2*j + 8977 = 5*l - 892, 5*j + l = 24730. Is j a multiple of 17?
True
Let w(p) = p**2 - 5*p. Let c be w(6). Let a be (128/(-12))/2*(-9)/c. Suppose 159 = a*n - 7*n. Does 10 divide n?
False
Suppose -12*w - 2*m = -8*w - 105672, -12*w - 4*m + 317016 = 0. Does 21 divide w?
True
Let q(n) = -111*n + 498. Is q(-4) a multiple of 6?
True
Suppose 3*f - 2 = -2*f - p, -2*p = 4*f - 4. Suppose f = n - 2*i - 115, -3*i + 321 = 2*n + 56. Does 3 divide n?
False
Suppose 6*o - 20 = 2*o. Suppose 2*v - 4*u - 2148 = -2*v, o*v - u = 2681. Suppose 2*t - 4*f - 250 = 0, -f + 0*f + v = 4*t. Is 8 a factor of t?
False
Let h = 23 + -12. Let o(i) = i**2 - 9*i - 20. Let f be o(h). Is 3 a factor of 388/16 - f/8?
True
Let d(n) = -68*n**3 + 2*n**2 + 3*n + 2. Let h be d(-1). Suppose 240 - h = j. Suppose -10*g = -j + 31. Is 13 a factor of g?
False
Is 8 a factor of 33/22*-6 - (-2617 - 0)?
True
Suppose b + 0*u - 171 = -3*u, -4*u = 5*b - 833. Suppose 0 = -4*y + q + 169, 2*y - 6*y - 3*q = -b. Let t = -8 + y. Is 17 a factor of t?
True
Let n be 796 - 1/(8/(-40)). Let g = n - 208. Is 16 a factor of g?
False
Suppose 90 = -444*s + 447*s. Let k(b) = -b**3 + 32*b**2 - 56*b + 15. Is k(s) a multiple of 5?
True
Suppose 45*d - 52 = 32*d. Suppose -3*y + u + 493 = -u, -u - 649 = -d*y. Does 7 divide y?
True
Let v(p) = 46*p**2 + 99*p - 40. Is v(-10) a multiple of 15?
True
Suppose 3 = -0*n - n, 4*q = 2*n + 18838. Is 107 a factor of q?
True
Let k(p) = -3158*p - 671. Is k(-2) a multiple of 16?
False
Does 12 divide (-12)/(-168) + (-1499383)/(-238)?
True
Suppose 1806 + 3078 = -11*w. Suppose -10*n + 8*n - 1396 = -4*m, 0 = -5*m - 10. Let f = w - n. Is f a multiple of 33?
False
Suppose 0 = -3*z - 7 + 13. Suppose -h = -t + z*t - 10, -4*