Suppose -4*c + 2*c - 2*z + 6 = 0, -15 = -3*c - 5*z. Suppose 2*n + 20 = -2*h, 5*n + 23 = -c*n + 4*h. Does 14 divide ((-10)/n)/5 + 782/7?
True
Let p(m) = 4*m**3 - 24*m**2 + 2*m + 8. Let j be p(6). Does 23 divide (0 - -733) + 60/j?
True
Let b be 0 - (-3542)/10 - 4/20. Let y = b + -323. Is y a multiple of 25?
False
Suppose -143*q + 2782 = -4654. Suppose -u - 3 = 0, -3*u - 20 = -4*w + 9. Suppose -w*g - q = -6*g. Is 13 a factor of g?
True
Let z(f) be the first derivative of -f**7/840 - f**6/45 - f**5/20 + 11*f**4/12 + f**3 + 3. Let i(t) be the third derivative of z(t). Is i(-7) a multiple of 15?
True
Suppose -3807354 - 783897 + 884457 = -93*d. Is d a multiple of 21?
True
Let u(w) = -w**2 + 17*w - 80. Let y be u(7). Does 9 divide 14986/10 - (6 - (-64)/y)?
False
Let s = -3119 - -4635. Suppose -2*a = 3*a + 2*j - 3788, 2*a = -j + s. Is 42 a factor of a?
True
Let w be (-270)/36*(4/(-5))/1. Let i be -1 + 5 - w*(-16)/12. Suppose i*n + 62 = 830. Is 4 a factor of n?
True
Suppose 53*c - 103584 = -34*c + 9*c. Does 16 divide c?
True
Let s be (-1)/(-2) - (-59)/2. Suppose 5*y - 5*w = s, -4*w - 10 = y + 2*y. Suppose -3*j - 2*r = -209, -4*j + 94 + 184 = y*r. Is j a multiple of 12?
False
Let o be ((-4)/3)/1 + (-165)/(-9). Suppose -4620 = -o*v - 1900. Does 16 divide v?
True
Suppose -388 = 5*g + 527. Let c = -75 - g. Is c a multiple of 3?
True
Let z be 16/6 + 1/3. Let u = -83 - -88. Suppose -z*g - 2*f = -288, -u*f + 170 + 214 = 4*g. Is 10 a factor of g?
False
Let c be (-8)/(-10)*((-90)/(-12) - 5). Suppose -c*y = 5*y - 6104. Suppose -4*m = -8*m + y. Does 25 divide m?
False
Let z(r) be the third derivative of 1/6*r**5 - 1/120*r**6 + 2*r**2 + 7/24*r**4 + 4/3*r**3 + 0*r + 0. Is 17 a factor of z(7)?
True
Let p be (-2)/7 + 41090/98. Let o = -265 + p. Is 7 a factor of o?
True
Suppose 3*k - 3*n + 1290 = 0, 2*k + 8*n = 6*n - 868. Is -4*18/96*k a multiple of 16?
False
Let h be 18*(-6)/(-45) + (-2)/5. Suppose h - 8 = -3*a. Is 16 a factor of 257/a + 2/(-4)?
True
Let z = -490 + 492. Suppose 4*r - t = 4*t + 5260, -2*r = z*t - 2648. Does 44 divide r?
True
Let w(y) = y**3 - 7*y**2 - 75*y + 1236. Is w(18) a multiple of 21?
False
Suppose -1047 = 28*t - 2699. Suppose 15*p + t*p = 23976. Is p a multiple of 27?
True
Let k(u) = -u**3 + 2*u**2 + u + 307. Let c be k(0). Let n = 496 - c. Is n a multiple of 9?
True
Let n = -4771 - -7047. Is n a multiple of 4?
True
Let z(j) = j + 14. Let t be z(12). Suppose 46 + t = 3*p. Suppose p = w + 3*l - 6, 2*l + 65 = 5*w. Does 3 divide w?
True
Suppose 6*h + 150 = 396. Let l = h + -45. Is 10 a factor of (-27)/(-36) - (-3)/l - -60?
True
Let p = 13 - 14. Let j be p + (0 - (-3 + -66)). Suppose -5*m + 4*m = -j. Is 13 a factor of m?
False
Suppose 69*c - 56*c - 13 = 0. Is -15*c*325/(-39) a multiple of 50?
False
Let w = -37838 - -40902. Does 8 divide w?
True
Let x(m) = 424*m - 3614. Does 137 divide x(15)?
False
Suppose -n - 36*w + 14877 = -32*w, 3*n - 4*w - 44519 = 0. Is 8 a factor of n?
False
Let u(r) = 6*r**3 + 6*r**2 + 5*r + 31. Let n(d) = 17*d**3 + 17*d**2 + 15*d + 92. Let g(k) = -4*n(k) + 11*u(k). Is g(-5) a multiple of 11?
True
Let i = -3517 + 3613. Let l = 0 + 2. Suppose -a + 16 = -5*w - 33, 0 = 3*a + l*w - i. Is a a multiple of 3?
False
Let a = 17223 - 11910. Is 21 a factor of a?
True
Let h(v) = -21*v**3 + 2*v + 1. Let j be -3*(-10)/12*4/(-10). Let s be 11/11*j/1. Is h(s) a multiple of 4?
True
Let n = 132813 - 91866. Does 46 divide n?
False
Let m = 373 - 368. Suppose m*u = -4*j + 326 + 2145, 1235 = 2*j + 3*u. Does 10 divide j?
False
Let d(y) = -y**3 + y**2 + y + 76. Let n(z) = -11*z - 1. Let o be n(4). Let k = o + 45. Does 13 divide d(k)?
False
Suppose b + 3*i = 5385, -3*b - 94*i + 95*i + 16125 = 0. Is 96 a factor of b?
True
Let k = -251 - -255. Suppose -k*l + 0*l + 622 = 2*s, 4*s + 142 = l. Is 40 a factor of l?
False
Let b(v) be the first derivative of 2*v**3/3 + 15*v**2/2 - 13*v - 11. Suppose 15*a - 57 = 18. Is 29 a factor of b(a)?
False
Let u(v) be the second derivative of 34*v**3/3 - 305*v**2/2 - 6*v - 19. Is 21 a factor of u(9)?
False
Let w(m) be the first derivative of -m**4/4 + 23*m**3/3 - 11*m**2/2 - 36*m + 21. Let z be w(22). Let q = -49 + z. Is 20 a factor of q?
False
Suppose 436012 = 122*l + 9134. Does 5 divide l?
False
Let z(q) = -4*q + 35. Suppose -44 = -6*x + 4*x. Let a = x + -42. Does 23 divide z(a)?
True
Is (-5606)/(-4)*-1*-2*(60 + -59) a multiple of 17?
False
Suppose -3*g - d + 649 = 0, -5*g + 1078 = 3*d - 5*d. Let b = g - 122. Is b a multiple of 2?
True
Suppose 4*g = 14243 + 6501 + 1296. Does 159 divide g?
False
Let h(u) = -24*u + 147. Let r be h(6). Suppose -s - 4*q = -824, -232 - 3905 = -5*s - r*q. Is s a multiple of 69?
True
Let m = 9501 - -23678. Is 218 a factor of m?
False
Does 34 divide 12/(-5)*(-1 + -149)*17?
True
Suppose 87*f - 36 = 81*f. Suppose f*x = 447 - 117. Is 32 a factor of x?
False
Suppose 3*s - 9 = -3*l, 4*l + 0*l = -5*s + 16. Suppose -524 - 377 = -a - 4*k, 0 = s*a + 2*k - 3548. Is 8 a factor of a?
False
Let t be (-28)/6*36/(-8). Let o be 2/7 + 262*12/t. Let k = 300 - o. Is 25 a factor of k?
True
Suppose -36*g + 8 = -32*g. Suppose -g = -o - o, 5*o = 3*j + 8. Let t(v) = 179*v**2 + v + 2. Is t(j) a multiple of 36?
True
Suppose -12*k + 256 - 4 = 0. Suppose 0 = -k*q - 11*q + 2688. Does 14 divide q?
True
Let f = -497 + 500. Let b(s) = 8*s**3 + 15*s**2 - 39*s + 4. Is b(f) a multiple of 24?
False
Let i = -16 - -13. Let b be i/6 - 58/4. Does 7 divide ((-156)/9)/(10/b)?
False
Suppose 1441*i + 35560 = 1451*i. Is 63 a factor of i?
False
Suppose 0 = r - 10*r. Suppose r = 2*l + 2*z - 18, -5*l - 2*z = -z - 65. Is l even?
True
Let p = 45 + -42. Suppose -p*c - 183 = -5*j, 3*j - 3*c + 2*c = 109. Is 17 a factor of ((-8)/(-2))/(j/189)?
False
Let y = -750 + 745. Let r(c) = 17*c - 17. Let b(d) = 16*d - 17. Let x(f) = 3*b(f) - 4*r(f). Does 13 divide x(y)?
True
Suppose 2*o = k + 1168 + 54, -3*o + 1824 = 3*k. Suppose -116*w + 8037 = -135*w. Let s = o + w. Is 11 a factor of s?
True
Suppose -4*x = -5*n + 16, 5*n = -4*x - 10 - 6. Suppose -o = -n - 2. Let k = 12 + o. Is k a multiple of 3?
False
Let h = -2847 - -2916. Does 21 divide h?
False
Suppose -24 = -2*k - 5*g, -k - 26 = -4*k - 5*g. Let w be (-5*k/(-20))/((-2)/(-4)). Let s(h) = 65*h**3 - 2*h + 2. Is s(w) a multiple of 5?
True
Let k be 2*1 + (-15)/(105/(-49)). Suppose 0 = 3*j - k*u + 4*u - 330, -4*j + 469 = 3*u. Does 18 divide j?
False
Let j(f) = 423*f**2 + 59*f - 144. Is 67 a factor of j(10)?
True
Suppose 8*p - p - 805 = 0. Let w be ((0 - 0) + -940)*(-46)/p. Suppose -14*x + 352 + w = 0. Does 13 divide x?
True
Let t = 182 + -190. Is 1/(-3) + t + (-1582)/(-21) a multiple of 4?
False
Let g = 10613 + 15063. Does 28 divide g?
True
Let l(v) = 10951*v**3 + 22*v**2 - 33*v - 15. Does 55 divide l(2)?
True
Suppose -217815 = -229*u + 190*u. Is 86 a factor of u?
False
Let o(k) = -41*k + 299. Let l be o(7). Let g(h) = 3*h**3 - 28*h**2 - 12*h + 6. Is g(l) a multiple of 13?
True
Let z = 480 - 477. Does 46 divide 34671/21 + (-3)/(z/(-5))?
True
Is 157 a factor of (-61)/(732/(-72)) - -4445?
False
Let o = 3006 - 1634. Suppose 40*w - 33*w = o. Is 28 a factor of w?
True
Let s(f) = f**3 - 2*f**2 + f - 4. Let k be s(2). Let o be (k - 3)*4/(-5). Does 3 divide 1/((-94)/24 + o)?
True
Let f(y) = 4*y**2 + 19*y + 86. Suppose -3*n + 46 = -4*j - n, 3 = -2*j - 3*n. Does 5 divide f(j)?
False
Suppose 2960 = 2*h + 8*h. Suppose 1329 = 4*x - q, 3*q - 1274 = -3*x - h. Does 57 divide x?
False
Let y(u) be the second derivative of -u**5/20 + u**4/12 + u**3/6 + 480*u**2 + 25*u. Let j be y(0). Suppose j = 17*v - 9*v. Is 20 a factor of v?
True
Suppose -5*b + 2*b = -k + 1071, -731 = 2*b + 5*k. Let n = b + 513. Is 31 a factor of n?
True
Let d = -145 - 27. Let p = d + 220. Is p a multiple of 6?
True
Suppose 70797 + 144033 = 69*x + 24*x. Does 33 divide x?
True
Suppose j - 2*h = -j - 198, -j = -4*h + 90. Let i = 149 + j. Is i a multiple of 47?
True
Let b(x) = x**3 - 11*x**2 - 12*x + 18. Let m be b(13). Suppose 0 = -k - 4*h + m, 9*h - 4*h = -k + 203. Suppose -53 = 3*y - k. Is y a multiple of 45?
True
Let k = 13582 - -8297. Is 9 a factor of k?
True
Let h(r) be the second derivative of 2*r**3 - r**2/2 + 5*r. Let i = -91 + 95. Is h(i) a multiple of 26?
False
Let q(o) = -6*o + 10. Let k be q(0). Let h(z) = 40*z - 36. Is 14 a factor of h(k)?
T