5. Let n = d - q. Is n a multiple of 3?
True
Let q(v) = 9*v**3 - 5*v**2 + 5*v - 4. Suppose 0 = -b - 2*b - 9, -3*h - 3 = 4*b. Let x be q(h). Let k = x + -41. Does 42 divide k?
True
Let n(s) = -56*s + 73. Let b be n(-7). Suppose 5*t - 735 = -11*x + 6*x, 3*t - 5*x - b = 0. Does 15 divide t?
True
Let d(z) = z**3 - 12*z**2 + 11*z + 2. Let l be d(11). Suppose 2*y + 3*y = -n + 313, l*y - 3*n = 132. Suppose 0 = 64*q - y*q - 81. Is 11 a factor of q?
False
Let v(t) = 6*t**2 - 48*t + 10. Let h = -2 - -16. Is v(h) a multiple of 51?
False
Let z(q) = -7*q**3 - 33*q**2 - 8*q - 39. Does 22 divide z(-10)?
False
Suppose -458 = -8*l + 2454. Let a = 799 - l. Is 16 a factor of a?
False
Suppose -599 = -6*z + 85. Suppose 0 = -r + 4*s + z, r = 2*r + 2*s - 84. Is r a multiple of 5?
False
Suppose 25 - 33 = -8*w. Let x(z) = 9*z - 5. Let b be x(w). Suppose b*d = 29 + 23. Is d a multiple of 4?
False
Let q(h) be the third derivative of 97*h**4/24 - 76*h**3/3 + 86*h**2. Is 67 a factor of q(14)?
True
Let f(q) = -229*q - 55. Let d(x) = -77*x - 19. Let c(l) = -17*d(l) + 6*f(l). Is 19 a factor of c(-8)?
True
Suppose 0 = -5*q + 5*j - 9110, 0 = -26*q + 22*q + 2*j - 7298. Let f = q - -2583. Is 14 a factor of f?
True
Suppose 2*k + 2*x - 11973 = 19099, -4*x - 15526 = -k. Does 9 divide k?
True
Let g(h) = 14*h**2 + 9*h - 53. Let x be 1 - (-4 - (-6 - -5)). Is g(x) a multiple of 4?
False
Suppose 5*q - j = 55, -q - 2*j + 8 = -14. Suppose -2*o - o = -q. Let z(h) = 2*h + 9. Is z(o) a multiple of 17?
True
Let i(f) = 8*f**2 + 4*f - 8. Let w be (-3)/12*-2 + 81/(-18). Let p be i(w). Suppose -4*b - 66 = -2*r, 2*r + r - p = 5*b. Is r a multiple of 43?
True
Let g(h) = h**3 + 8*h**2 - 6*h + 5. Let z be g(-5). Let i = -105 + z. Suppose -i*a + 750 = -0*a. Is a a multiple of 14?
False
Let a = -131 - -313. Let j = a + -44. Is 6 a factor of j?
True
Suppose -4*d + 3 = 7, -2*j + 3*d = -7583. Does 7 divide j?
False
Let f = 19 + -16. Suppose x = f*y + 1270, -7092 = -5*x - 2*y - 725. Suppose x + 855 = 8*v. Is 38 a factor of v?
True
Let g = 14171 + 2872. Is 23 a factor of g?
True
Let x = -467 - -469. Suppose 0 = 10*l + 50, -5*l = -x*g + 5*g - 332. Is g a multiple of 17?
True
Suppose 2*k - 10 = -4*b, b + 12 = -2*b. Suppose -3*p = -2*g + 4, 3 = -4*p - 5*g + k. Let y(f) = f**2 - 2*f + 63. Is 17 a factor of y(p)?
False
Suppose 0 = 22*t - 3582 - 60724. Is t a multiple of 79?
True
Let j = 41792 + -18704. Does 111 divide j?
True
Let b be 23/7 + (-4)/14. Suppose -3*c + 318 = -b*x - 0*x, 4*c + 5*x = 460. Let z = c - 38. Is 8 a factor of z?
True
Let r be (99/12)/(((-18)/16)/(-3)). Suppose -4*k + 74 = 2*w, r = 4*k + 3*w - 53. Suppose -k*p = -p - 3978. Does 15 divide p?
False
Let p = 2812 - 623. Suppose 11*x + 0*x - p = 0. Is x a multiple of 90?
False
Is 12 a factor of 430/((-4)/(680/(-17)))?
False
Suppose 6*o + 89 = -1. Let b be (-90)/(-27)*(-27)/o. Is 41 a factor of ((-6)/4)/(b/(6 - 558))?
False
Let n = 846 - -2460. Is n a multiple of 22?
False
Suppose 3*k - 2*y = 364, 0 = 3*k - 6*k + 4*y + 374. Let b = 82 + k. Is b a multiple of 10?
True
Let i = -41 - -43. Suppose 3*r + i*c = 36 - 882, -r - 269 = 5*c. Let o = 481 + r. Is o a multiple of 11?
False
Let t = 2682 + -234. Suppose 0 = -4*z + t + 712. Does 14 divide z?
False
Suppose -7*a - 80*a = -29319. Does 70 divide a?
False
Let x(n) = -3*n + 1. Let z(c) = -c - 1. Let v(a) = -x(a) - z(a). Suppose -2*o - 5*d - 7 = 0, 2*o - 12*d + 8*d - 20 = 0. Does 15 divide v(o)?
False
Suppose -1122*t - 191052 = -1131*t. Does 81 divide t?
False
Let c = 3053 + -3057. Let m(o) = 8 + 3 - 12*o + 4. Does 12 divide m(c)?
False
Suppose 11*u - 48 = 7*u. Let p(i) = 12 - 6 - 5*i - u. Is 4 a factor of p(-2)?
True
Suppose 4*p + 5*d = 78, 5*p + 4*d - 112 = 5*d. Let l = 28 - p. Does 10 divide 77/5 - l/(-10)?
False
Let s(c) = -26*c**2 - 2*c + 4. Let d be s(2). Let p = 11 - d. Is p a multiple of 23?
True
Suppose 37 = -4*m - 8*p + 3*p, 0 = 4*m - 3*p + 29. Let s = -15 - m. Is 168/60*(-24)/s*10 a multiple of 14?
False
Suppose 0 = -c - x - 0*x + 2, 0 = 3*c - 5*x - 46. Is -4 + (8 - 6 - -17*c) a multiple of 13?
True
Let b = 740 + 2039. Let l = b + -309. Is l a multiple of 13?
True
Let z(a) = 4*a**3 + 35*a**2 + 33*a + 187. Let r(k) = 3*k**3 + 23*k**2 + 22*k + 125. Let c(y) = -7*r(y) + 5*z(y). Is c(11) a multiple of 15?
False
Let k = -248 - -382. Suppose -2*y + y + 201 = 3*l, -y = -2*l + k. Is 12 a factor of l?
False
Let g(a) = 143*a**2 - 26*a + 9. Let d be g(-3). Let h = d + -326. Is 72 a factor of h?
False
Let y = -17 - -17. Suppose -5*f - 4*c + 8 = y, 4*c - 2 = 6. Suppose f = -4*b - 4*l + 30 + 142, -3*b - 5*l = -119. Does 12 divide b?
True
Suppose -j = 2, 2*d + 3*j = j - 14. Let p(c) = -10*c + 33. Let u be p(d). Suppose 2*z = 109 + u. Is z a multiple of 12?
True
Suppose 3*q + 8 + 1 = 0, 3*q = -c - 22. Let p(k) = 5*k**2 + 41*k + 11. Is 19 a factor of p(c)?
True
Suppose -6*v + 3*o + 25 = -4*v, -15 = 3*o. Suppose -v*r = -3*r - 4. Suppose 4*l - 347 = -a - 108, 2*l - 122 = r*a. Is 12 a factor of l?
True
Suppose 0 = -4*n + 8. Let h(a) = -a**3 + 23*a**2 + 46*a - 6. Let j be h(-2). Suppose -n*z = -s + 190, 3*s - z = -j*z + 549. Does 35 divide s?
False
Let c = -1170 + 1695. Suppose 0 = -7*y - 10 + 24. Suppose z = -y*z + c. Does 35 divide z?
True
Suppose 2*x = 4*f - 18444, -2*f + 24*x + 9216 = 22*x. Is 6 a factor of f?
True
Suppose -6*c = -5*c - 2. Suppose 3*r + 5*a = 1556, a + 2090 = 25*r - 21*r. Suppose -4*g + 0*d + 518 = 2*d, -4*g + c*d + r = 0. Does 39 divide g?
False
Let t = 2403 - 4818. Is 1/2 + t/(-10) a multiple of 25?
False
Let a(h) = -92*h - 11773. Let n be a(-128). Suppose 2*v + 10 = 7*v. Suppose -6*f = -v*l - f + 156, 5*f + 244 = n*l. Is 8 a factor of l?
True
Let s = 33733 + -6155. Is 89 a factor of s?
False
Suppose -19049 = 16*b - 145289. Is 29 a factor of b?
False
Let b(x) = -293*x + 7609. Does 29 divide b(-6)?
True
Let l = -108 + 145. Suppose 0 = 3*p - l - 116. Is p even?
False
Let m(y) = 905*y + 119. Is m(1) a multiple of 8?
True
Is 22 a factor of ((0 - -3) + 64)/((-51)/(-1326))?
False
Let z(m) = 67*m**3 - 3*m + 2. Suppose -2*b + d + 3 = 0, 3*d - 1 = -6*b + 2*b. Let o be z(b). Let k = 154 - o. Does 44 divide k?
True
Suppose -62*y + 657860 - 144067 + 114701 = 0. Is y a multiple of 109?
True
Let v = 14776 - 8224. Does 63 divide v?
True
Let x be -38 - ((-27)/45 - 13/(-5)). Is (-25470)/x + (-15)/(-12) a multiple of 41?
False
Let b be (-32)/28*-2 + (-2)/7. Suppose 0 = -b*s + 65 + 91. Let x = s - 59. Does 17 divide x?
False
Is ((-9)/(-1))/(141/198857) a multiple of 14?
False
Let r be (0 + -4 + 3)*(1037 - 0). Let b = -51 + r. Does 9 divide (-1)/5 + b/(-40)?
True
Is 41 a factor of ((-37146)/4)/(((-9)/6)/3)?
True
Let a(f) = 2136*f - 4576. Does 27 divide a(5)?
False
Let b(m) = -2*m**2 - 16*m - 4. Suppose 4*p = p - 2*y + 11, -2*p = -4*y - 2. Suppose p*l - 5 + 20 = 0. Is 4 a factor of b(l)?
False
Suppose -3*s + 1490 = 2*r, 8*s - 1498 = 5*s + 2*r. Is s a multiple of 17?
False
Let p(i) = -3*i**2 - 71*i + 266. Let q be p(-27). Let j(a) = -a**3 + a**2 + 2. Let d be j(2). Does 12 divide (-574)/q + -2 + d/(-4)?
False
Suppose -5*d + 40 = -d. Let l(u) = u**2 - 3*u - 19. Let o be l(d). Suppose o + 89 = j. Does 14 divide j?
True
Suppose 5*y + 7*a = 3*a + 2358, 2352 = 5*y + a. Let b be (147/35 + -5)/((-4)/y). Let g = b - 4. Is 7 a factor of g?
False
Let h(c) = c**3 + 2*c**2 - 6*c - 4. Let i be h(-4). Let a(q) = -7*q + 77. Is 3 a factor of a(i)?
False
Let o = -179 + 135. Does 21 divide (-168)/(3 - o/(-12))?
True
Suppose -3*f + 7*f = b + 7, 0 = -3*b - 5*f - 21. Let w(x) = 7*x**2 + 7*x - 30. Is w(b) a multiple of 11?
True
Suppose 26 = -1083*i + 1082*i. Let p be (-3)/9 + 458/6. Let o = p + i. Is 10 a factor of o?
True
Let h(i) = -i**2 - 22*i - 18. Let y be h(-14). Suppose -y*c = -97*c. Suppose c = 2*p - 2*s - 134, s + 354 = 5*p + 31. Does 20 divide p?
False
Suppose 17427 = -9*w + 46*w. Let i = -156 + w. Is 15 a factor of i?
True
Let x(o) = 2*o**2 - 4*o - 29. Is 23 a factor of x(14)?
False
Suppose v = -2*p + 16, p + 0*p = -5*v + 8. Suppose -p*d = -4*d. Suppose d*g = 5*g - 385. Does 21 divide g?
False
Let i(z) = z**3 + 11*z**2 + 10*z + 10. Let s be i(-10). Suppose -5 - 5 = 5*q, 4*q = 3*x + s. Let k(w) = -5*w + 6. Is k(x) a multiple of 18?
True
Let p = 299 + -298. Is (1398/(-30))/(12/(-10) + p) a multiple of 11?
False
Let t be