83. Is g(5) a multiple of 19?
True
Let p(s) be the third derivative of 0 - 1/6*s**4 + 1/60*s**6 + 1/2*s**3 + 0*s + 1/20*s**5 + 24*s**2. Does 23 divide p(2)?
True
Suppose 40 = 2*a + 5*m, -2*m - 26 = -3*a - m. Let x be ((-4)/a)/(15/(-150)). Suppose 4*w + 4*h - 72 = 0, -9*w + h = -x*w - 78. Does 16 divide w?
True
Let r(c) = 13*c**2 - 3*c - 5. Let p = -17 - -22. Let a be r(p). Let z = a - 103. Does 41 divide z?
False
Suppose -15*t + 26728 + 7772 = 0. Is t a multiple of 100?
True
Let t(v) = -v**3 + 29*v**2 - v + 40. Let d be t(29). Let i(r) = 2*r + 98. Does 30 divide i(d)?
True
Let x be (0 - 1)/((-22)/110). Suppose -1464 = -2*k + x*n, -1476 = 27*k - 29*k - n. Does 11 divide k?
True
Let v(r) = -6*r - 24. Let y be (-11 + 2)/(9/6). Let b be v(y). Suppose 11*u = b*u - 51. Is u a multiple of 12?
False
Let r = -267 - -1509. Suppose 0 = 18*o - 12*o - r. Does 28 divide o?
False
Let f(c) = -c**3 + 6*c**2 - 7*c - 4. Let n be f(4). Suppose -51*g + 48*g + 2565 = n. Is g a multiple of 23?
False
Let j(d) = d**2 + 9*d - 17. Suppose 3*z + 30 = 4*t - 39, 5*z - 30 = -3*t. Suppose 0 = -5*i - 5*s + 30, -1 = 4*i - s - t. Is 14 a factor of j(i)?
False
Suppose -2*o + b - 11 + 42 = 0, -5*o + 2*b + 76 = 0. Suppose -h + 3*w = 7, -4*h + 3*w - o - 14 = 0. Let a(s) = s**2 - 11*s - 6. Is a(h) a multiple of 53?
False
Let a be 5*11/((-220)/(-2928)). Suppose a = 11*k - 390. Is 17 a factor of k - (-1 + 1 + 0)?
True
Let h(u) = 1263*u**2 + 438*u + 1733. Is h(-4) a multiple of 95?
False
Let b(s) = 18*s**3 - s. Let o be b(1). Let p be 0/o + 1*2. Is (-19)/76 + p + 105/4 a multiple of 15?
False
Let c be (-78)/(-20) + 9/90. Suppose -p - 4*y = -62, 0 = -c*p - 9*y + 4*y + 292. Is p a multiple of 39?
True
Suppose -13*k + 16*k + 23220 = 0. Does 43 divide 1/((-2)/5 - 3141/k)?
True
Let m = 6 + -8. Let w(o) = 206*o**2 + 95*o**2 - 2*o - 294*o**2 - 1. Does 23 divide w(m)?
False
Let i = 85 - -454. Let w = -304 + i. Suppose -11*q + w = -6*q. Is 3 a factor of q?
False
Let j(k) = k + 38. Let q be j(-26). Is 45/q*(26 - 2) a multiple of 5?
True
Suppose -46 - 4 = -10*d. Suppose -2625 = -d*h - 3*v, 0 = 5*h - 6*v + 8*v - 2625. Is h a multiple of 75?
True
Let i be ((-2)/(-1))/(4697/781 + -6). Suppose 137*f + 165 = i*f. Does 2 divide f?
False
Suppose -14*n + 34*n = 10880. Let w = n - 350. Is 10 a factor of w?
False
Suppose 4*k - v - 1101 = 0, 515 = 3*k - 4*v - 314. Let o = k + 133. Is 17 a factor of o?
True
Suppose -1164 = -3*k - 4*r + 1922, -1032 = -k - 3*r. Let h(p) = -34*p + 852. Let z be h(25). Suppose -2*f + 609 = f + n, 5*f - z*n = k. Is f a multiple of 34?
True
Suppose 0 = -233*l + 1194255 - 1043538 + 1717011. Does 16 divide l?
True
Suppose 4*x + 19 = 6*x + 5*q, 2*x + q - 23 = 0. Is 548 + (x + -9)*2/6 a multiple of 61?
True
Let i = -15 - -17. Let k(n) = 49*n - 8. Let x be k(i). Suppose -5*j = 5*h - x, -j = -5*h + 2*h - 30. Does 7 divide j?
True
Suppose -19*w - 100467 = -36*w + 163475. Is 94 a factor of w?
False
Suppose 2*x = -3*x - d + 14, 3*x + 4*d = 22. Suppose -2*v - 3*i + 30 = v, x*v = i + 23. Does 16 divide v/11 + 1*47?
True
Let p = 21 - 19. Suppose 19 = p*u + 13. Suppose 0 = o - f - 22 - 36, 0 = u*o + 5*f - 166. Does 9 divide o?
False
Let a be 8/(-10) - ((-72)/40 + -1). Suppose -a*d + 15*d - 65 = 0. Suppose 0 = -9*t + d*t + 512. Is 22 a factor of t?
False
Let q(v) = -9*v**3 - 27*v**2 + 41*v + 358. Is q(-16) a multiple of 158?
False
Let m = -1205 + 2837. Is 32 a factor of m?
True
Suppose -3*o = 3*k - 1245, 0*k = 3*k + 15. Let i = 553 - o. Does 60 divide i?
False
Let y = 12562 + -7435. Let j = y + -2745. Suppose -5*u - j = -11*u. Does 60 divide u?
False
Let l(x) = -x**2 - 133*x - 1919. Does 7 divide l(-109)?
False
Let n(g) = -g**3 - 4*g**2 + 6*g + 1. Let q be n(-5). Let r(u) = u**3 - 12*u**2 + 16*u - 6. Let t be r(11). Let z = t - q. Does 6 divide z?
False
Does 22 divide (-145 + 148)/((-6)/16252*-2)?
False
Let m = 152 + -148. Suppose 0*b + m*g + 28 = 4*b, -4*g + 32 = b. Does 10 divide (6 - 80/b) + 92/3?
True
Suppose -2609 = -3*b - t, -89*t + 93*t = -4. Is b a multiple of 3?
True
Let y = 66 - 63. Let n = y + 5. Is 4 a factor of n?
True
Suppose 9 = -3*d, -3*d + 1354 = 5*b - d. Suppose 284 = -0*v - 2*v. Let r = b + v. Is r a multiple of 13?
True
Let t(w) = w**2 + 40*w + 404. Let p be t(-21). Let l = -5 + 7. Suppose 4*s = 12, p*r = -3*s - l*s + 75. Is 12 a factor of r?
True
Is 11 a factor of 4 - 1 - (-4800 - 56)?
False
Suppose -n = 5*i - 26, 20 = n - i + 4*i. Let j = n + -27. Let c = j - -28. Is c a multiple of 3?
True
Let s(o) = 5458*o - 1449. Does 33 divide s(8)?
False
Suppose 73*u - 69*u + 3*q - 76794 = 0, 2*q = -3*u + 57594. Is u a multiple of 42?
True
Let s = 25 - 20. Let d be (7 - s) + 2*-1. Suppose 4*l + 0*l - 100 = d. Is 15 a factor of l?
False
Let s(w) = 4*w**2 - 13*w - 101. Is s(28) a multiple of 29?
False
Let v = -39 + 79. Let w = 70 - v. Suppose 8*r - w = 2*r. Is r a multiple of 5?
True
Suppose 205*c - 9238603 = -3157483. Is 72 a factor of c?
True
Let k(r) = -157*r - 299. Let c be k(-7). Suppose -d + c = -3*j - 193, -4*j = -d + 988. Does 42 divide d?
True
Let r = 154 - 99. Let l = r - 61. Is 201/12 - l/24 even?
False
Suppose -3*r = -4*v - 172, 0 = -r + 3*v + 109 - 45. Suppose -110 = -9*x + r. Is 8 a factor of x?
False
Let o(c) = 47*c + 9. Let n = 531 - 530. Is o(n) a multiple of 4?
True
Let h(c) = -2*c**2 - 7*c - 82. Let t be h(-10). Let k = t - -296. Is 10 a factor of k?
False
Suppose 1267*n + 220000 = 1283*n. Is 50 a factor of n?
True
Let j = -1230 + 580. Let i = j - -1150. Is 25 a factor of i?
True
Let u(y) = -y**3 + 7*y**2 + 4*y + 6. Suppose 11*j + 3*w = 12*j - 1, -3*w = -3*j + 9. Does 35 divide u(j)?
True
Let c(v) = v**3 - 56*v**2 + 344*v + 101. Does 12 divide c(49)?
False
Let a = 61 - 56. Suppose -34 - 116 = a*b. Is (-3)/(b/(-4)) - (-894)/10 a multiple of 13?
False
Is 52 a factor of (1*(-3)/(-12))/(46/(-920)) + 5343?
False
Let d = -342 + 368. Suppose d*l - 13*l - 17264 = 0. Is 55 a factor of l?
False
Let p = -33 - -47. Suppose p*k - 42 - 308 = 0. Is k a multiple of 4?
False
Let y(q) = 2*q**2 + 2*q + 5. Let x be y(5). Let l = x + -65. Suppose w - 104 = -l. Does 26 divide w?
True
Let h = -2240 - -1089. Let s = -592 - h. Does 13 divide s?
True
Suppose 0 = -3*z - 2*m - 2*m + 2, z - 4 = -3*m. Does 63 divide 2*z + (-512)/(-2)?
True
Suppose -2541 = 17*f + 1947. Let r = 544 + f. Is r a multiple of 20?
True
Let b(r) = -4*r - 1. Let a(d) = -9*d - 116. Let u(n) = -a(n) + 5*b(n). Is 12 a factor of u(-15)?
True
Suppose -29*k = -40*k + 11. Let u(o) = 398*o + 2. Is u(k) a multiple of 14?
False
Let d = -28 + 35. Suppose 0 = d*m + 401 - 4895. Suppose -4*b + 501 = -2*c + 3*c, 4*c + m = 5*b. Is 29 a factor of b?
False
Let f(d) = 2*d + 44. Let j be f(-19). Suppose 3*z - 5*z = -j. Suppose -o - 3*p = z*o - 660, -o + 164 = p. Is o a multiple of 14?
True
Suppose 2*y + 0*u = 2*u - 10, y + 4*u - 20 = 0. Suppose 0*j + 4*i = -5*j - 41, 3*j + i + 26 = y. Is 25 a factor of 2*(-192)/j*(-6)/(-4)?
False
Let p be (30 + 5)/7 + 0/(-1). Suppose -5*x - p = 25. Let y(u) = -26*u + 19. Is y(x) a multiple of 25?
True
Let n(h) = -19*h + 20. Let v be n(1). Is 12 a factor of v - 1/2*-296?
False
Let j(k) = -k**3 - 4*k**2 - 6*k + 16. Let f(q) = 4*q**3 + 11*q**2 + 17*q - 49. Let w(a) = -2*f(a) - 7*j(a). Let i be w(6). Let b = i + 17. Does 5 divide b?
False
Let j(o) = 5 - 21 - 7*o - 29 - 22. Does 7 divide j(-16)?
False
Let x = 21 + -22. Let q(z) = -z**2 - 25*z - 21. Let n be q(-24). Is ((-2415)/45)/(x/n) a multiple of 33?
False
Suppose -283*n + 223*n + 2723760 = 0. Is 156 a factor of n?
True
Suppose -4*v = 4*d, -5*d - 3 - 1 = v. Let x(r) = -692*r**3 - 5*r**2 - 3*r + 1. Is x(d) a multiple of 24?
False
Suppose 126 = -8*c - 13*c + 63. Let k(o) = -12*o + 19. Let z(x) = -25*x + 39. Let l(u) = 7*k(u) - 3*z(u). Is 42 a factor of l(c)?
False
Is 12 a factor of (-3025874)/(-142) + 356/12638?
False
Suppose 518992 + 368522 = 28*w + 205602. Is w a multiple of 22?
True
Let t(f) = -2*f**2 + 23*f - 4. Let i be 4 + (-1 - (4 - 3))*-2. Does 9 divide t(i)?
False
Let g = 4683 - 2686. Is 31 a factor of g?
False
Suppose 2*l - 160 - 144 = 0. Let m be (-1)/3 - (-14)/(-63)*-1851. Let v = m - l. Does 16 divide v?
False
Let s(k) = -3*k + 52. Let d be s(17). Let z be 18/72 - ((-94)/8)/d. Suppose 0*n = -z*n + 672. Is n a multiple of 23?
False
Let f = -1474