)/6). Is 84/(b/(-3))*-11 a multiple of 88?
False
Is 2022032/56 - (-166)/581 a multiple of 60?
False
Let d(l) = 3052*l - 7860. Is 237 a factor of d(15)?
True
Let i(y) = -y**3 - 8*y**2 - 16*y - 9. Let q be i(-6). Suppose 1680 = -q*a + 45*a. Is 4 a factor of a?
True
Let s(f) = -f**3 + f**2. Let u(t) = t**2 + 11*t + 23. Let z be u(-7). Let g(y) = 4*y**3 - 7*y**2 - y - 4. Let p(n) = z*s(n) - g(n). Is p(3) a multiple of 13?
True
Let p be (-22)/3*(-13 - 5). Suppose 75*w - 79*w = -p. Is w a multiple of 7?
False
Suppose 0*u = -2*u + 10, 4*x - 4*u - 13324 = 0. Is x a multiple of 139?
True
Is ((-13938)/(-20) - -1) + (-22 + -16)/(-380) a multiple of 38?
False
Let n be (-19)/3 + (-4)/(-12). Let v be 182/n + (-1)/(-3). Let f = v + 41. Is f a multiple of 3?
False
Suppose 125 = 3*r - 5*f, 2*r + 6*f - 54 = 2*f. Let g be (-154)/r - 4 - 3/5. Does 18 divide (-9)/(g/4 - -2)?
True
Suppose 0 = -3*c + 5 + 1, -x - c = -132. Let t = 47 - 44. Suppose 7*f + t*f = x. Does 13 divide f?
True
Suppose 20 = -4*x, 2*s - 11401 = -5*x + 22750. Is s a multiple of 8?
True
Suppose -16*w = -8*w. Suppose w*q + 5*z = -q - 190, 5*q + 2*z = -927. Does 8 divide (-148)/q + 284*(-6)/(-20)?
False
Let y(r) = -r**3 - 12*r**2 - 22*r - 9. Let l be y(-8). Let d = 57 + l. Let i = d - -74. Does 14 divide i?
True
Suppose -43*z + 21300 = -17*z - 476626. Does 18 divide z?
False
Suppose 0 = 39*j - 13*j + 104. Is 0/j - (-329 + -3) a multiple of 17?
False
Let d = 7114 + 5336. Is 75 a factor of d?
True
Let a = -417 - -419. Suppose 17*n + 1056 = 20*n + b, 5*n = a*b + 1760. Is n a multiple of 22?
True
Suppose -5*y = -13 - 17, 5*c + 5*y = 112150. Is c a multiple of 67?
False
Let g = -107 - -236. Suppose -7*d - g = -4*d. Let j = d - -73. Does 7 divide j?
False
Is 5/((-345)/(-22195)*2/162) a multiple of 16?
False
Suppose p + 43 = -4*g, -4*p - p = g + 25. Let x = 12 + g. Suppose -2*y + 4*y - 70 = x*d, -5*y + 2*d + 187 = 0. Is 10 a factor of y?
False
Suppose -4*b - 1 = 12*l - 9*l, 3*b = -2*l. Suppose -4*n + 7*u - b*u = -48, -3*n + 4*u = -37. Does 7 divide n?
True
Suppose -5*y = 4*a - 1711, a - 270 = -2*y + 154. Is a a multiple of 31?
True
Let h = -389 + 149. Is 30 a factor of 2*-8*h/64?
True
Let u = -2938 - -1456. Let n = u + 2448. Is 46 a factor of n?
True
Suppose z - 2 = 0, -3*g + 19 = z - 4. Suppose -2*u = -5*d + 411, -g*u = -4*d - 2*u + 322. Is d a multiple of 11?
False
Let z(c) = 2*c**3 + 30*c**2 + c + 14. Let g be z(-15). Is -16 + 22 + (205 - g) a multiple of 7?
False
Suppose 0 = 20*d - 14 - 46. Suppose -d*h - 2*b = -582, -4*h + 2*b + 793 = -b. Is h a multiple of 7?
True
Let n be 2/(8/12) + 447. Suppose 8*x - 300 = -2*a + 3*x, -n = -3*a - x. Suppose 2*j = 4*j + 2*m - a, 3*j - 4*m = 218. Is 13 a factor of j?
False
Let j be ((-4)/(48/340))/(2/(-6)). Let c = 81 - j. Let l = 38 - c. Does 42 divide l?
True
Let u(t) = -2*t - 38. Let b be u(-16). Let q be (-10)/(-3)*9/b. Let v(d) = 2*d**2 + 11*d + 19. Is v(q) even?
True
Is -4 - 23/(207/(-34128)) a multiple of 17?
False
Let r(o) = -2*o + 0*o - 12*o + 8*o - 37. Is r(-12) a multiple of 3?
False
Suppose -n + 2*d = d - 3, -4*n - 5*d - 6 = 0. Let q be (n/(-2))/(1/148). Let m = -53 - q. Is m even?
False
Suppose 2*n - 14 = -j, 12*n + 10 = 10*n. Let g be (-2)/(-3) + (-435)/(-9). Let p = g - j. Is p a multiple of 2?
False
Suppose 5*y = r - 294 - 2759, 2*r - y = 6079. Does 49 divide r?
True
Suppose 3*x - 63*n + 62*n = 11539, 0 = 2*x - 4*n - 7676. Is 37 a factor of x?
True
Let i = -55 + 69. Let a(r) = -49*r - i + 96*r - r**2 - 30*r. Does 6 divide a(13)?
False
Suppose -13413 = -l + 2*f + 16893, 3*f = -l + 30336. Is l a multiple of 36?
False
Suppose -i - 15 = -4*q, 2*i + 0*i = -4*q + 6. Let g(h) = -7*h**2 + 10549*h + 6*h**3 + 10*h**2 - 2 - 10548*h. Does 10 divide g(q)?
True
Let r be -1*2 + (-280)/(-10). Let d be r/91 - (2 + (-2)/(-7)). Is 7 a factor of 95 + (1 - d)*(7 + -6)?
True
Let t(o) = o**3 - 18*o**2 - 90*o + 35. Let y be t(22). Is y*(5 + 590/(-6)) a multiple of 30?
True
Suppose -21*f = -24*f + 6. Suppose -k - 5*y + 155 + 273 = 0, 5*k - 2048 = -f*y. Is 20 a factor of k?
False
Let k(c) = 4*c + 6*c + c + 39 - 6*c. Let h be k(-6). Suppose 4*l + 39 = s, 4*l + 75 = s + h*l. Is 3 a factor of s?
False
Let n be -254 + 1 + 12 + -12. Let l = -168 - n. Suppose c - l - 51 = 0. Does 23 divide c?
False
Let r(v) = 25 + 118*v - 55*v + 1. Let f be r(7). Let o = -253 + f. Is o a multiple of 37?
False
Does 25 divide 1/(12/(-9)) - 27321/(-28)?
True
Let l(d) = 2*d**3 - 14*d**2 - 4*d - 20. Let j be l(10). Suppose 43*g - 46*g + j = 0. Does 20 divide g?
True
Let m(q) = 10*q + 116. Let g be m(-11). Suppose 7*t - g*t = 7. Is 2 a factor of t?
False
Let r(w) = -w**3 - 5*w**2 - 17*w - 8. Let a be r(-7). Is (a - (-2 + 1)) + -3 a multiple of 9?
True
Suppose -f - 124 = 3*h, -3*h - 3*f = 2*f + 140. Let q = h - -140. Is 10 a factor of q?
True
Let b(q) = -q**3 - 12*q**2 - 11*q + 14. Let o be b(-11). Let n = 16 - o. Is 115 - 3*n/(-6) a multiple of 18?
False
Let s = 17 + -13. Suppose -r = s*r - 85. Let z = 23 - r. Is 2 a factor of z?
True
Let r(k) = 10*k + 14. Let p be r(16). Let d = p - -700. Is 23 a factor of d?
True
Let u(v) = 288*v - 3 + 5 - 271*v. Let a be u(-2). Let j = a + 45. Does 8 divide j?
False
Let c(k) = 40*k + 2*k**2 - 176 + 84 + 70. Is c(-22) a multiple of 11?
True
Suppose 6*a = 2*a, -a + 15 = 3*y. Let z be ((-20)/5 + y)*(-1 + 373). Let f = z + -239. Is f a multiple of 35?
False
Suppose -2*m - 1174 = -m + 4*g, -m - 1166 = -4*g. Let j = 575 - m. Does 48 divide 4/(-14) + (-8)/(-56)*j?
False
Let d(y) = y**3 - 15*y**2 - y - 7. Let k be d(13). Let w = 632 + k. Suppose 3*n - w = -5*j, 5*n + 26 = j - 12. Is j a multiple of 40?
False
Let c = 336 + -334. Suppose 240 = c*m - 4*s, -7*s + 468 = 4*m - 11*s. Does 38 divide m?
True
Let v(t) = t**3 - 32*t**2 + 51*t + 106. Does 23 divide v(41)?
False
Let z(q) = 15*q + 18. Let y be z(-11). Let j = y + 254. Is 5/(25/10) + j a multiple of 14?
False
Suppose 5*r + 5*i = r + 32, r = 3*i - 9. Suppose 1044 = 4*y + 5*q + 31, 0 = -3*y - r*q + 759. Does 9 divide y?
True
Suppose -4*v = 3*j + 55, 3*v + 0*v + 3 = 0. Let x = -12 - j. Suppose x*q + 4*g + 87 = 6*q, 5*q = g + 454. Is q a multiple of 13?
True
Let v(t) = 4*t**2 + 78*t - 13. Let u be v(-16). Let d = u + 281. Is d a multiple of 11?
True
Is (29/9 + 8/(-36))/((-1209)/(-3273166)) a multiple of 31?
True
Let u be (-1340)/(-25)*5/2. Let o = -202 - -231. Suppose o - u = -a. Is a a multiple of 9?
False
Let k = -21076 + 26236. Does 10 divide k?
True
Let y = 131 + -226. Let a = 48 - y. Is a a multiple of 13?
True
Let k = -827 - -964. Suppose k*h = 129*h + 448. Is 7 a factor of h?
True
Suppose -111 = 3*y - 27. Let i be 20/(-6)*42/y. Suppose -i*f + 229 = 44. Does 18 divide f?
False
Let q be (0 - 0) + (-28 - -23). Is 445 + (2 - 10) + q a multiple of 12?
True
Does 57 divide ((-14)/(-10))/(167/1787735)?
False
Suppose 0 = 29*k - 32*k - 2*j + 12213, 5*k + 2*j = 20363. Is 14 a factor of k?
False
Suppose 21782 = 22*o - 12972 - 16638. Is 146 a factor of o?
True
Let b(s) = s**3 - 54*s**2 + 4*s - 214. Let z be b(54). Suppose -6*j + 7*j - 2 = 0, l - z*j - 844 = 0. Is l a multiple of 53?
True
Suppose 473*b - 1599600 = 77*b - 34*b. Is 10 a factor of b?
True
Let i(j) = -28*j + 8. Suppose 0 = -2*k + 4*s, 0 = -k + 3*s - 0*s + 3. Let u be (4/k)/(1*(-14)/(-63)). Is i(u) a multiple of 47?
False
Suppose -11*i + 12*i = 13. Suppose d + i = -4*m, m - 3*d - 2*d + 19 = 0. Let n(k) = 3*k + 28. Is n(m) even?
True
Let g(v) = -v**2 + 21*v - 33. Let y be g(20). Let b(f) be the third derivative of -f**6/120 - f**5/5 + f**4/6 + 2*f**2. Is b(y) a multiple of 23?
False
Suppose 0 = -2*y + 11 - 1. Suppose y*h - 2 = -102. Does 3 divide 8*2 + h + 16?
True
Let l = -17650 - -25837. Is l a multiple of 14?
False
Suppose -2*h = -2, -14*h + 13*h + 7 = 3*r. Suppose 5*o - r*j - 58 - 1152 = 0, -j + 968 = 4*o. Does 9 divide o?
False
Suppose -10 = -28*o + 30*o. Is (68 - -2)*o*(-12)/150 a multiple of 14?
True
Let n(p) = 6*p**2 + 3*p + 4. Let u = -83 + 75. Is 26 a factor of n(u)?
True
Suppose 22*m - 100489 + 968 - 67129 = 0. Is m a multiple of 8?
False
Suppose 5*i - 18555 = c, 273*i = 275*i + 5*c - 7422. Is i a multiple of 22?
False
Let a = -2922 + 4911. Is a a multiple of 13?
True
Let n(s) = -s**2 - 20*s - 57. Let w be n(-16). Suppose -w*k = -2809 + 709. Does 12 divide k