Does 13 divide h?
False
Suppose -3*b + 2*m = m - 13096, -b + 4366 = -m. Suppose 1509 - b = -12*l. Is l a multiple of 14?
True
Suppose -6 = z - 4, m - 31 = -5*z. Suppose 0 = m*y - 40*y + c - 176, -3*c = 5*y - 874. Is y a multiple of 8?
False
Suppose -4*p = -24 + 8. Suppose -10*m - p = 46. Does 4 divide ((-14)/28)/((m/(-12))/(-5))?
False
Let s(c) = 91*c + 1301. Is s(76) a multiple of 83?
True
Let s(u) = -7*u - 83. Let p be s(-13). Does 11 divide ((-494)/p)/((-15)/60)?
False
Let j(l) = 7*l**3 - 19*l**2 - 40*l + 40. Let u(b) = -3*b**3 + 9*b**2 + 20*b - 20. Let k(g) = 2*j(g) + 5*u(g). Let i be k(9). Does 4 divide (3/i + 3 + 4)*10?
False
Let z(k) = 15*k**3 + k**2 + 6*k - 3. Let d be z(4). Let a = d - 576. Let x = 731 - a. Is 62 a factor of x?
True
Let r(y) = y - 7. Let x = -42 + 39. Let j be r(x). Is 28 a factor of (-1)/(j/(-4))*-350?
True
Suppose 5*k = 3*u - 83, 26*k - 21*k - u = -81. Is 56 a factor of 8/k + 2*2659/4?
False
Is 43 a factor of (-11 + 375/30)*(-78522)/(-9)?
False
Suppose 24*m = 26*m - f - 22081, -9 = -3*f. Does 15 divide m?
False
Let z = 625 - -29251. Does 22 divide z?
True
Let w(l) = -15*l + 20. Let o(p) = p + 14. Let c be (-1 - (-2)/3)/(2/114). Let u be o(c). Does 20 divide w(u)?
False
Suppose -19*p + 14*p + 490 = 0. Let q = p + -11. Suppose 180 = 4*r + 4*x, 2*r + 0*r - q = x. Does 4 divide r?
True
Is 282624/230*580/16 a multiple of 192?
True
Let n(a) = -2*a**3 + 32*a**2 - 40*a + 218. Is 17 a factor of n(15)?
True
Let z(h) = 16*h - 155. Let c be z(10). Suppose -c*d + 1914 = -651. Is d a multiple of 18?
False
Let t(z) = -304*z - 5940. Is t(-27) a multiple of 27?
True
Let u(v) = 2487*v - 3969. Does 12 divide u(4)?
False
Let y(i) = 2*i**3 - 11*i**2 + 15*i + 9. Does 19 divide y(7)?
False
Let j = -22444 + 29677. Does 7 divide j?
False
Let z(s) = 156*s - 17*s + 169 + 167 - 338. Does 12 divide z(2)?
True
Let w(h) be the second derivative of -h**4/12 - 3*h**3/2 - 4*h**2 + 26*h. Let p be w(-7). Is 4 a factor of (p - 6 - (-1 - -20))*-1?
False
Let k = 24 - 21. Suppose -g + 3*a = -10, 0 = -k*a + 2*a + 5. Suppose -5*h + 266 = 3*w - 116, g = 5*h. Does 12 divide w?
False
Let b(c) = 15*c**2 + 555*c + 243. Is 121 a factor of b(-58)?
True
Suppose -41*v = 726 + 750. Let j(l) = 2*l**3 + 71*l**2 - 36*l + 96. Is j(v) a multiple of 4?
True
Let s = 1548 - 699. Suppose -289 - 803 = -5*t - 4*q, -5*q = -4*t + s. Is t a multiple of 12?
True
Let d = -4739 + 2193. Does 63 divide (1 + -11 - -1)/(57/d)?
False
Let k = -79 + 34. Let b be ((-6)/30)/(3/k). Let h = 80 - b. Is 6 a factor of h?
False
Suppose -4*a - b + 6 = -165, 2*b = -2*a + 78. Let o = -51 + a. Let x = o + 18. Is x a multiple of 10?
False
Suppose 0*i = 9*i - 1053. Suppose b - 5*c - 175 = -4*b, c = -3*b + i. Let t = b + -24. Is t even?
True
Let t(k) = k + 15. Let v be t(0). Does 12 divide (-6)/15 - ((-2721)/v + -1)?
False
Suppose 0 = -12*y + 14*y + 8, -1296 = -4*b + 3*y. Let j = 0 + -139. Let h = b + j. Is 13 a factor of h?
True
Suppose 43*l = 9*l - 238. Does 5 divide -7 + (-47)/l + (-1017)/(-7)?
True
Let b = -38 + 33. Let i(h) = 26*h**3 - h**2 + 6*h - 6. Let v be i(b). Does 15 divide (-1)/4 - v/44?
True
Let u(k) = 12*k**2 - k + 1. Let m be u(1). Suppose 3*a = m*a + 9. Does 14 divide a + -150*(-4)/8 + -4?
True
Let f be ((-17)/(-3))/(7/(-21)). Let c(v) = -v - 18. Let x be c(f). Is (-8)/20 + 666/15 + x a multiple of 34?
False
Suppose 0 = -3*u - 26*y + 22*y + 6780, 2*u + 3*y = 4518. Does 6 divide u?
True
Let k(l) = -196*l + 2432. Is k(0) a multiple of 5?
False
Let u be 198/(-15) + (-5)/(-25). Let k(h) = -h**3 - 11*h**2 + 14*h + 34. Does 38 divide k(u)?
True
Suppose 205*b - 177*b = 111944. Does 15 divide b?
False
Suppose -w - 3*j + 40 = -236, 0 = -5*w - j + 1436. Is w/36 - (1 + -975) a multiple of 22?
False
Let g(c) = -11*c + 3. Let y(l) be the third derivative of 11*l**4/24 - l**3/3 - 2*l**2. Let i(v) = -3*g(v) - 4*y(v). Is i(-5) a multiple of 27?
True
Let s = -57 + 39. Let d = 0 + s. Is (-96)/(((-1)/(-2))/(d/24)) a multiple of 36?
True
Let s = -46 - 108. Let r = 110 + s. Is (r/6)/(-8 + (-88)/(-12)) a multiple of 2?
False
Suppose -139 = -2*k + k. Let f = -233 + k. Let r = -84 - f. Does 10 divide r?
True
Let m(t) = 3*t**2 + 2*t + 3. Let r be m(-2). Let w(x) = -x**3 + 3*x**2 + 10*x - 15. Let u be w(4). Suppose u*o + 98 = r*o. Does 7 divide o?
True
Suppose -4*c - 2688 = -4*j, 12 = -2*c + 6*c. Let d = j - 395. Does 41 divide d?
False
Let d = 542 + 3029. Suppose -17*r + 4317 = -d. Does 58 divide r?
True
Suppose -4*u - 95 = 3*c, u + 4*u = 5*c + 135. Suppose -3*n + 95 = -2*p, 3*p + 2*p + 244 = n. Let s = c - p. Is s a multiple of 5?
True
Let h = 139 - 137. Suppose w = -2*j + 186, 0 = -3*w - h*j - 3*j + 555. Is 12 a factor of w?
True
Suppose 5*z - 8478 + 1556 = 3*c, 0 = -4*z - 2*c + 5520. Is 18 a factor of z?
False
Let l = 5 - -235. Suppose 2*h = -2*h - 2*t + l, 4*t + 158 = 3*h. Is 6 a factor of h?
False
Let t = 48471 - -3961. Is 15 a factor of t?
False
Let u = 23722 + -5902. Is 132 a factor of u?
True
Let p = -258 - -262. Suppose 4*t - 4*u = -2*u + 3760, 5*t = p*u + 4700. Is t a multiple of 34?
False
Let b(z) be the second derivative of -19*z**3/3 - 8*z**2 - 6*z. Let u(t) = -2*t - 29. Let k be u(-12). Is b(k) a multiple of 23?
False
Let i(b) = -411*b**3 + 9*b**2 + 3*b - 7. Is 36 a factor of i(-3)?
False
Let d = -3917 + 11784. Does 22 divide d?
False
Let u be (2/6)/(4/(-12)). Is 46 a factor of ((-670)/8)/u - (-7)/28?
False
Suppose 0 = 16*g - 11*g - 4*f - 18328, -3*f = -2*g + 7341. Is g a multiple of 30?
True
Let b = -7867 - -8551. Is b a multiple of 18?
True
Suppose -4*t = -4*k - 21086 - 14114, 44024 = 5*t + k. Is 62 a factor of t?
True
Suppose 2082 = 16*b - 13*b. Let w = 1447 - b. Is w a multiple of 13?
False
Let m = 183 - 187. Is (-32)/m - (-1078 - -3) a multiple of 57?
True
Suppose 85 + 95 = -5*p. Let q = p - -59. Suppose 18*s + 1200 = q*s. Does 20 divide s?
True
Let a(g) = 2*g**3 - 20*g**2 - 2*g + 24. Let w be a(10). Does 6 divide w*6/8*1 - -135?
True
Let s(j) = -56*j - 319. Let p be s(-5). Does 11 divide 627/(-6)*(p + 31)?
True
Let m(w) = w**3 - 69*w**2 - 253*w + 150. Is m(73) a multiple of 32?
False
Is 4 a factor of 20*((-63)/(-24))/(1/8)?
True
Suppose -6255 - 5240 = -19*k. Does 11 divide k?
True
Let d be (-3153)/(-30)*4 + 6/(-15). Suppose d = -g + 5*g. Suppose -2*q + g - 41 = 0. Is 4 a factor of q?
True
Suppose -2*j - 4*v + 916 = 0, j + 4*j = 2*v + 2278. Is j a multiple of 11?
False
Let q = 4914 + -1889. Is 138 a factor of q?
False
Let x(k) = -k**3 - 11*k**2 - 39*k - 386. Is x(-19) a multiple of 23?
True
Suppose 2*c - 4944 = 5*w, 6*w - 9888 = -4*c + w. Does 24 divide c?
True
Suppose -4*t + 5*f - 680 = t, -3*t = 3*f + 408. Let y = 75 + t. Let u = -48 - y. Is u a multiple of 2?
False
Does 52 divide ((-16997)/(-6))/((-11)/(-66)) + 14/2?
True
Let p(l) = -1036*l - 1146. Is p(-7) a multiple of 142?
True
Let h = 30625 + -23829. Is h a multiple of 3?
False
Let r(o) be the second derivative of 0 - o**2 + 5/6*o**3 - 23*o + 5/12*o**4. Is 7 a factor of r(-5)?
True
Let n(i) = -621*i - 39. Is 15 a factor of n(-4)?
True
Suppose 26*v + 46176 = 17859 + 161697. Is v a multiple of 95?
True
Let z(l) = -7*l**2 - 161*l + 4. Let p be z(-23). Suppose 0 = -b + p*h + 139 + 429, 2*h = -b + 556. Is 40 a factor of b?
True
Let n(a) be the second derivative of a**3/6 + 17*a**2/2 + 15*a. Let p be n(-14). Suppose -5*m = -5, 2*u + 5*m - 530 = -p*u. Does 35 divide u?
True
Let h = -2512 + 7152. Is h a multiple of 32?
True
Suppose 5394 = 4*n - 3*w, -3*n + 3921 = 2*w - 150. Is n a multiple of 42?
False
Let a = 3311 - 2646. Is a a multiple of 35?
True
Let g(f) = f - 1. Let p be g(-2). Let x be p + (-9)/(1 - 4). Suppose x*k + 5*q = -4*k + 293, 2*q = -4*k + 290. Is k a multiple of 24?
True
Let x = 103 - 98. Suppose -x*z = 5*g - 1995, -3*z + 3*g + 2003 = 2*z. Is 24 a factor of z?
False
Is 5/65*-1 + 1040340/195 a multiple of 11?
True
Let w(z) = 13*z**3 + 18*z**2 - 123*z + 9. Does 32 divide w(11)?
False
Suppose 3*k + 0*w - 56 = -2*w, -4*w = -3*k + 68. Let x = 109 + k. Is x a multiple of 25?
False
Does 6 divide (209568/9)/16*9?
True
Let h(q) = 23*q**2 - 83*q - 484. Is 276 a factor of h(-28)?
True
Let t(x) = x**3 + 12*x**2 + 20*x + 2. Let a(w) = w**2 - 38*w + 30. Let u be a(37). Is t(u) a multiple of 9?
False
Suppose -5*r + 4*r = -6. Let i(t) = -26