et a = -738 + -490. Let x = 2577 + a. Is 33 a factor of x?
False
Let m be 4/(-6) + 294/9. Suppose 4*a - 52 = -3*o, a - m = o + 3*o. Suppose 0 = a*h - 12*h - 372. Is 8 a factor of h?
False
Let y = 22324 + 1294. Does 14 divide y?
True
Let g be ((-27)/(-18))/((-3)/(-8)). Let y = 88 - 83. Suppose -y*s = -3*z + 110, 3*z = 8*z + g*s - 171. Does 4 divide z?
False
Suppose -3*i - 2*r + 3*r - 78 = 0, -5*r - 110 = 5*i. Let n(p) = p**3 + 28*p**2 + 7*p - 196. Is n(i) a multiple of 16?
True
Suppose 5*i + 2*k = 144426, 2*k + 115548 = 26*i - 22*i. Is i a multiple of 143?
True
Let g(b) = 2*b**3 - 61*b**2 - 68*b + 3. Is 47 a factor of g(35)?
True
Let a(p) = 5*p**3 - 13*p**2 + 18*p - 2. Does 17 divide a(6)?
False
Suppose -300480 = -25*b + 41*b. Is 41 a factor of b/(-32) + -5 + (-1)/(-8)?
False
Let m(i) = -2*i + 22. Let s be m(11). Let r(w) = w**3 - 3*w**2 + w + 639. Is 71 a factor of r(s)?
True
Let v = 3758 + 117. Is v a multiple of 48?
False
Suppose -86*i - 30254 = -476957 - 540577. Is 175 a factor of i?
False
Suppose 4*h = 6*h - 3*n - 8213, -h - 3*n = -4093. Suppose 12*x - h - 254 = 0. Does 11 divide x?
True
Let o be (6 + (-44)/8)*0. Suppose o = 13*w - 866 - 187. Is 9 a factor of w?
True
Let g(n) = 13*n**2 - 5. Let h be (1*-1)/(5/15). Is g(h) a multiple of 8?
True
Let n(s) = -s**2 + 10*s + 26. Let l(u) = -9*u**2 + 4*u + 2. Let f(d) = -d**2 + 1. Let c(y) = 5*f(y) - l(y). Let g be c(2). Is n(g) a multiple of 3?
True
Let u be 122*-1 + -3 + 3. Let w = 41 + -36. Does 25 divide (0 + u/3)*(-8 + w)?
False
Let h(q) = -4*q**2 - 25*q - 9. Let f be h(-6). Let z be 21/(3 + (-9)/(-21) + f). Suppose -z*c + 300 = -45*c. Is 25 a factor of c?
True
Suppose 5*f + 160 = -38*m + 33*m, 3*f + 4*m + 98 = 0. Let c = -28 - -10. Is 1 + (-1916)/(-10) - c/f a multiple of 24?
True
Let m(h) be the third derivative of h**5/60 - h**4/6 + 18*h**2. Let c be m(7). Suppose c*d = 32*d - 2365. Is d a multiple of 43?
True
Is 6/4*1*1428/9 a multiple of 14?
True
Let k(a) = -26*a**2 - 870*a - 42. Is k(-29) a multiple of 24?
False
Is 14 a factor of (-1 + 5)/((-16)/(-23632))?
True
Let v be 1 - (-9)/(-7) - 60/(-14). Let f be (((-9)/(-3))/(v + -1))/(-1). Does 2 divide (1 + 1)/(f - 5/(-4))?
True
Suppose -3*k + 18 = 4*z, -2*z = 8*k - 3*k - 16. Let u(m) = 4*m**3 - 6*m**2 + 8*m - 6. Does 7 divide u(z)?
False
Let p(x) = -127*x - 26. Let m be p(-7). Let j = m - 402. Is 34 a factor of j?
False
Let n(s) = 118*s - 233. Is 5 a factor of n(11)?
True
Let x = 72 - 107. Let t = -28 - x. Is t + (-12)/4 + 55 a multiple of 9?
False
Suppose -4*f + 47 = 31. Suppose -f*q = -12*q + 520. Suppose a + 2*n = 2*a - 30, -2*a + 3*n = -q. Does 4 divide a?
True
Suppose -73*y + 5*h - 9530 = -78*y, 3*y + 5*h = 5726. Is y a multiple of 14?
False
Suppose 78529 + 11239 = 3*x - 4*z, 2*z = 4*x - 119704. Is x a multiple of 223?
False
Let r = 464 + -932. Let n = r - -683. Is 76 a factor of n?
False
Suppose 4*w - 1820 = -16*w. Is 2 a factor of w?
False
Suppose 573*i - 575*i + 11333 = -l, l = -i + 5668. Does 6 divide i?
False
Does 9 divide (135/(-30))/((-3)/2654)?
False
Suppose 901 = 4*k + 3*o, -4*o = -3*k + 368 + 289. Let u = k - 184. Is u a multiple of 39?
True
Let r = -10 - -48. Let k = r + -27. Is k a multiple of 4?
False
Is 13 a factor of 32/(128/60) - -17015?
True
Suppose 5*k + 1908 = 4*s, 30*k - 35*k = 5*s - 2385. Is 14 a factor of s?
False
Let i be (-4)/14 - (-436)/(-42)*-6. Let c = -58 + i. Suppose 0 = c*z + 3*z - 1274. Is 14 a factor of z?
True
Suppose h + h = -3*l - 425, 0 = -5*l + 4*h - 701. Let q = -45 - l. Is 5 a factor of q?
False
Let p(d) = -214*d - 25 + 30 + 5. Is 12 a factor of p(-1)?
False
Let j be (-1 + (-7 - -2))/((-2)/11). Suppose -5*g = -908 + j. Does 37 divide g?
False
Let y = -10992 - -17149. Is y a multiple of 10?
False
Suppose -37*h + 361*h = 21455928. Is h a multiple of 13?
True
Suppose 5*d = 5*b - 57390, -1697*b + 2*d - 57411 = -1702*b. Is b a multiple of 6?
False
Let h(g) be the second derivative of 3*g**5/10 + g**4/6 - g**3/2 + 3*g**2 + 9*g. Let o be h(2). Let w = 10 + o. Is w a multiple of 22?
True
Let l be 357/6 - ((-30)/4)/5. Let u = l - 99. Let b = u + 108. Is b a multiple of 10?
True
Let t = 521 - 516. Suppose -2*g = -t*g, 1672 = 4*m - 3*g. Is m a multiple of 22?
True
Let v(w) = -1691*w + 230. Let o be v(-7). Suppose -o = -8*b - 3107. Does 20 divide b?
True
Suppose 11*x - 7 = 4*x. Is (-2296)/(-16)*(3 - x) a multiple of 41?
True
Let a be (4 + (64 - 0))*-4. Let z = a + 404. Is 3 a factor of z?
True
Let v = 553 - 560. Let y(w) = -11*w - 2 + 14 + 16. Is y(v) a multiple of 21?
True
Let v = 209 - 219. Does 8 divide 4/v + (-1)/((-10)/164)?
True
Let c be 8 + -6 + -3 + 1 + -3. Let y be 0/(c - -2) + (9 - 2). Does 17 divide (y + -4)/(3/103)?
False
Suppose 15501 = -15*u + 60486. Is 21 a factor of u?
False
Suppose 0*z - 2*n - 70 = 5*z, -14 = z + 5*n. Is 12 a factor of (-1516)/z - 3*(-8)/(-84)?
True
Suppose 59*j + 68*j + 15*j - 382548 = 0. Is 7 a factor of j?
False
Let l(x) = 128*x**2 + 46*x - 25. Does 149 divide l(-13)?
True
Let s(m) = -m**2 + 11*m - 7. Suppose 0 = -4*z - 2*n + 44, 0*n + 24 = 2*z + 2*n. Let y be s(z). Suppose 0 = -u + y*u - 32. Is 8 a factor of u?
True
Suppose 19*t - 95323 - 112196 + 38761 = 0. Is 32 a factor of t?
False
Let x(k) = -25*k - 47. Let n be x(13). Is n/(-28) - (-6)/(-21) a multiple of 6?
False
Let q(r) = -r + 8. Let h be q(5). Let o(d) = 4*d - h*d**3 + 6 - 7 + 14*d**2 - 7*d. Does 6 divide o(4)?
False
Let f be (((-45)/21)/(-5))/((-3)/(-21)). Let s be -2 + 3 + 5 - f. Does 2 divide (7/(-2) + s)*-32?
True
Let g(q) = 88*q**2 - 149*q - 1710. Is 25 a factor of g(-12)?
True
Suppose -3*f + 7*f = -4*i + 73708, 4*i = f - 18442. Does 97 divide f?
True
Let c be (835/20)/(((-3)/4)/(-3)). Suppose 0 = -169*u + c*u + 40. Does 7 divide (-5)/u - (93/(-4) + 1)?
False
Let a(f) = -1005*f + 15. Let h be a(-2). Suppose 3*p = 5*n + h, 0 = -p + 26*n - 22*n + 668. Is p a multiple of 68?
True
Let p(s) = -15*s + 232. Let f(a) = -3*a - 1. Let l(t) = -6*f(t) + p(t). Is 14 a factor of l(-42)?
True
Let x be (-6)/45 + 1056/495. Let d(s) = 30*s**2 + 8*s - 5 - 3*s - 2. Does 41 divide d(x)?
True
Let w = 40 - 24. Suppose q + w = 18. Suppose 128 = q*j - 92. Does 16 divide j?
False
Let o(w) = 62 + 349*w - 345*w + 60. Is o(7) a multiple of 30?
True
Let t(k) = 41*k**2 - 9*k + 22. Let o be t(8). Suppose 9*r = 7434 - o. Is 36 a factor of r?
True
Suppose -15312 = -45*z - 1542. Suppose -102 = -4*i + 3*i - 4*l, -3*i - 5*l = -z. Is 6 a factor of i?
True
Let l(g) = g - 3. Let v be l(4). Let w(b) = -b**2 - 4. Let f(i) = 68*i**2 - 2*i - 10. Let m(z) = f(z) - 3*w(z). Is 9 a factor of m(v)?
False
Let z be 4 + 1 - (1 + 2). Suppose f = q + z, -7*f + 4*f + 15 = 0. Suppose 5*c - 145 = -q*v, -4*v = -4*c - 116 - 120. Is 9 a factor of v?
False
Suppose 0 = -4*z + 53 + 19. Suppose -19*w + z*w = -160. Is 20 a factor of w?
True
Let p(n) = -n**2 - 83*n + 1575. Does 4 divide p(-78)?
False
Suppose -4071 = -5*f + z - 4*z, -2*f - 2*z = -1630. Does 107 divide f?
False
Let t be ((-4)/(-2))/(3*2/39). Let u(m) = -13 + 3*m + 4 - 8. Does 9 divide u(t)?
False
Let d(q) = q. Let b(i) = -2*i + 4. Let r(w) = b(w) + 3*d(w). Let y be r(4). Let g(x) = -x**3 + 10*x**2 + 6*x - 6. Does 17 divide g(y)?
True
Suppose -2*v = 2*k - 2, -k + 5*k = 5*v + 40. Suppose r = 2*n - 3*r - 1112, -2725 = -k*n - r. Is 15 a factor of n?
False
Let d be (-1350396)/(-36) - (1 + 4 - 0). Does 22 divide d/285 + (14/10 - 1)?
True
Suppose -46*p + 18896 = -282835 - 1602439. Is p a multiple of 53?
False
Suppose -4*v - 4*q + 7980 = 0, -4*v + 2001 = 5*q - 5981. Does 4 divide v?
False
Suppose -1 = 2*u + 3. Let c be (-656708)/(-286) + (265/55 - 5). Does 19 divide u/(-10) - (1 - c/20)?
True
Let k(z) = 3*z**3 - 27*z**2 + 52*z - 92. Let b(q) = q**3 - 9*q**2 + 17*q - 31. Let a(y) = 7*b(y) - 2*k(y). Is a(9) a multiple of 21?
False
Let m(k) = -305*k**3 - 15*k**2 - 28*k + 16. Is 36 a factor of m(-5)?
False
Suppose w = -3*l + 286, w + l = 3*w - 537. Suppose -356 = -4*g - 4*a, -w = -4*g + g + a. Is g a multiple of 8?
False
Let l be 144/360 - (-2 - (-126)/15). Suppose 0 = -3*w - 21 + 81. Is w*l/3*-2 a multiple of 20?
True
Let k(q) = q**2 - 5*q + 1428. Let a be k(0). Let h be 64/10 + 6/(-15). Suppose 0 = 18*t - h*t - a. Is t a multiple of 34?
False
Let i(v) = v**2 - 17*v + 55. Let d be i(13). Suppose -j + 5*l + 36 = 0,