(-4)/h. Let d = f + 7. Is d even?
True
Let z be 27/(-6)*(-3 + 21). Is (-54)/z - (-172)/3 a multiple of 24?
False
Suppose 2*i - 1 = 3*s, 0*i + 3*i - 27 = -4*s. Suppose -5*p + 8*p = -12, k - s*p = 380. Is k a multiple of 56?
False
Suppose -6*z = -2*z - 8, 4*z = 5*n - 12. Suppose p = 2*i - 868, 5*i + 0*i - 2144 = -n*p. Does 10 divide i?
False
Let d(r) = -2*r**3 - r**2 + 5*r + 2. Let t = -3 + 23. Let g be 1 + (-88)/t + (-4)/(-10). Is 16 a factor of d(g)?
True
Suppose 116*v - 402550 = 291594. Does 22 divide v?
True
Let o(n) = 93*n + 15. Let m be o(5). Let k = m - 441. Is 5 a factor of k?
False
Suppose 30*x = 16*x + 70. Let k(w) = 37*w - 40. Is 5 a factor of k(x)?
True
Suppose -4*u + 5*x = 0, 2*u + 4*x = -0*x. Suppose 4*m - f - 367 = 0, 5*m + u*f + 5*f = 490. Is m a multiple of 13?
False
Suppose 8 + 52 = 12*y. Suppose y*p - r - 290 = r, -r - 115 = -2*p. Suppose p*q = 64*q - 624. Is q a multiple of 35?
False
Is 205 a factor of 183 + 6492 - 6/(-1)?
False
Is 7 a factor of 4/(-10) - 47/(5170/(-445104))?
True
Let j(r) = 9*r - 12. Let b be j(3). Let s be 664/10 + (-2)/5. Suppose 2*z + 5*y = s, 2*z + 2*y + b = 3*z. Is 5 a factor of z?
False
Let h(q) = 317*q + 29 - 155*q - 163*q. Let u be h(24). Suppose -2*z + 208 = 2*z + u*t, 2*t = 8. Is z a multiple of 47?
True
Let z(s) = s**3 - 9*s**2 - 20*s - 25. Let r be z(11). Is (294/(-245))/(((-6)/(-50))/r) a multiple of 10?
True
Suppose 58*n = -224059 + 541319. Is n a multiple of 40?
False
Let b(y) = -3*y**3 - 6*y**2 + 14*y. Let c be b(-6). Suppose 4*p - s - 16 - 678 = 0, -s = -2*p + c. Does 13 divide p?
False
Let v be (-10 - -1851) + (-2)/2. Let g = v - 683. Is g a multiple of 13?
True
Let w(x) = -4*x**3 + 335*x**2 - 122*x - 17. Is w(83) a multiple of 3?
True
Is 332/5*(-34615)/(-644) a multiple of 83?
True
Let s(m) = -16*m**3 - 3*m**2 + 3*m + 9. Let o be s(-2). Suppose 0 = -x - 16*x + o. Is 7 a factor of x?
True
Is 4658776/687*12/8 a multiple of 61?
False
Let t(d) be the first derivative of 104*d + 12 + 1/2*d**2. Is t(0) a multiple of 13?
True
Let y = -7725 - -9286. Is y a multiple of 45?
False
Suppose 0*q - 3*f - 140 = -2*q, 16 = -4*f. Suppose q*s + 1104 = 66*s. Does 6 divide s?
True
Let o(r) = r**2 - 5*r + 5. Let i(z) = -2*z**2 + 4*z - 2. Let y be i(6). Let k = -41 - y. Does 18 divide o(k)?
False
Let q(c) = 9*c + 27. Let p be q(-4). Does 36 divide 12/((-6)/p - (-30)/(-48))?
True
Let f = 9486 + -4071. Does 19 divide f?
True
Does 23 divide 5*(-8 - 441/(-45))*345?
True
Let j(o) = -o**3 - 26*o**2 + 26*o + 148. Does 6 divide j(-29)?
False
Let q be 3 - (-6 + -10*8). Let m = q + -72. Does 2 divide m?
False
Let y(g) = -7*g**2 + 159*g - 16. Let b be y(20). Suppose -980 - b = -3*x. Does 22 divide x?
False
Suppose 233929 = 25*i + 23929. Is i a multiple of 24?
True
Let c(g) = g**3 - g + 3. Let w be c(0). Suppose t - 2*l = 659, -2*l = w*t + t - 2596. Does 68 divide t?
False
Suppose -13*o + 13301 = -12616 + 9069. Does 4 divide o?
True
Let a = 281 - 554. Let o = -86 - a. Does 9 divide o?
False
Let a(d) = -12*d - 63. Let i be a(-8). Does 23 divide ((i/2)/11)/(2/140)?
False
Let p(a) = -a**3 - 6*a**2 - 3*a - 7. Let n be p(-6). Let y = n + 8. Suppose -17*l + y*l = 290. Does 15 divide l?
False
Let v(h) = 6*h - 1 + 9*h + 76*h**2 - 56*h**2. Is 82 a factor of v(5)?
True
Let p be (-186)/124*116/(-3). Is 4 a factor of -2 + 4/4 + p?
False
Is 100 a factor of (16947/(-6))/((-270)/(-36) + -9)?
False
Suppose -21331 - 146914 = -5*r - 14*r. Is 75 a factor of r?
False
Let m(b) = 2*b**2 - 11*b + 8. Let a(i) be the first derivative of i**3/3 - 6*i**2 - 35*i - 19. Let n be a(15). Is 14 a factor of m(n)?
True
Let a(l) = -197*l**3 + 135*l**2 + 686*l + 6. Is 73 a factor of a(-5)?
False
Let x = 450 + -471. Let a(k) = -k**2 - 21*k + 116. Is a(x) a multiple of 5?
False
Suppose 0 = -5809*h + 5795*h + 59360. Does 17 divide h?
False
Is 6/(-8)*-24*7005/10 a multiple of 27?
True
Let u = 7039 + -4231. Is 39 a factor of u?
True
Let j(k) = -k**2 - 7*k + 37. Let m be j(-11). Let d(l) = -46*l + 13. Let n(i) = 93*i - 27. Let t(h) = m*d(h) - 3*n(h). Is t(8) a multiple of 43?
False
Suppose 5*t + 5*d + 10 = -115, 4*t + 5*d = -101. Let r(v) = -46*v - 78. Is r(t) a multiple of 18?
True
Suppose -n + 4*t + 18 = 0, -2*n - 5*t = 2*n - 9. Is (1 - 0 - n - 0) + 677 a multiple of 24?
True
Let l(g) = -g**3 - g**2 + g + 614. Let s be l(0). Let r = -533 + s. Is 9 a factor of r?
True
Let c = -44 + -71. Let o = c - -127. Does 6 divide o?
True
Let m be (1700/60)/((-10)/12 - -1). Let f be -2*m*(-18)/15. Suppose u = -u + f. Is 10 a factor of u?
False
Let i be (((-65)/(-10))/(-13))/(1/(-226)). Let p = 149 - i. Is 17 a factor of p?
False
Is 27 a factor of (-23)/(69/(-7284)) - 3?
False
Let f(o) = 18*o**3 + 4*o**2 - o - 30. Is f(3) a multiple of 34?
False
Let n(o) = 4310*o**3 + 4*o**2 - 12*o + 10. Is 11 a factor of n(1)?
True
Let l = -110 - -110. Suppose 12*i - 4*i - 624 = l. Is 3 a factor of i?
True
Let i(g) = 180*g - 1337. Is 11 a factor of i(18)?
True
Suppose 12*s - 16*s = 3*c - 8571, -3*c + s + 8571 = 0. Is c a multiple of 4?
False
Suppose -4*l - 3*l + 196 = 0. Suppose -l*z + 3010 = -12446. Does 24 divide z?
True
Let l = 4159 + -3487. Does 6 divide l?
True
Is ((-1090)/(-2))/((-275)/(-2310)) a multiple of 52?
False
Suppose -56*h = 40 + 16. Let i(q) = 756*q**2 + 6*q + 7. Is 47 a factor of i(h)?
False
Let z(u) = 3*u**2 - 29*u + 380. Is 16 a factor of z(-36)?
True
Suppose 0*o + 298 = 2*o - 2*m, 2*o = -3*m + 288. Suppose -o = -3*t + 2*t. Does 3 divide t?
True
Suppose 118*h - 2466 = 112*h. Suppose 3*w = -h + 1434. Is 7 a factor of w?
False
Let k = 125 - 172. Let b = 49 + k. Is 1 - 1 - (3 - 110/b) a multiple of 19?
False
Let h = 149 - 145. Suppose -4*i + 56 = -4*m, 4*i + h*m - 21 = 19. Does 12 divide i?
True
Suppose 2*a + 2 = 3*y - 1, 0 = -5*y - 2*a + 21. Suppose 0 = 10*v - 8*v + 5*t - 373, -y*t + 885 = 5*v. Is v a multiple of 6?
True
Does 17 divide 7429 - 0*(-1)/10*1?
True
Let z = -294 - -162. Let j = z - -289. Let a = j - 123. Is 34 a factor of a?
True
Let y = -953 - -529. Let o = -255 - y. Is 23 a factor of o?
False
Let o(j) be the first derivative of 2*j**3/3 + 11*j**2/2 - 31*j - 154. Is o(7) a multiple of 18?
True
Is (-17)/(85/(-20)) + 9144/2 a multiple of 8?
True
Does 13 divide ((-458)/(-10))/(-21 + (-2732)/(-130))?
True
Let w = -1 + -21. Let a = w + 52. Is (1*216/a)/(6/80) a multiple of 16?
True
Let b = 1689 + -2412. Let t = b + 1033. Is 36 a factor of t?
False
Suppose 20638 = -55*g + 103413. Does 48 divide g?
False
Suppose 4*c - 4 = -24. Let x be -2 - 8/(-20)*c*-19. Let n = x - 2. Does 11 divide n?
False
Let h(m) = -m**3 + m. Let k(r) = 3*r**3 - 10*r**2 + 10*r. Let y(c) = 4*h(c) + k(c). Does 10 divide y(-12)?
True
Is (-18)/5*(-120 + -2265) a multiple of 106?
True
Let m(g) = 157*g - 4. Let t be m(3). Let b be -3*(7/(-3))/(-7)*(-52 - 7). Suppose -b + t = 3*y. Does 17 divide y?
True
Let y = -106 + 468. Is 8 a factor of y?
False
Suppose -3*a + 59769 = -3*m, 28539 = 2*a - m - 11304. Suppose -28*x + a = -12*x. Does 77 divide x?
False
Suppose 3*a = 3*r - 56265, -3*r - a = -0*r - 56289. Is 176 a factor of r?
False
Suppose 0 = 3*r - 4*d - 10511, 2*r - 6970 = 8*d - 10*d. Does 41 divide r?
False
Suppose -2*u + 2*r = -160, 29*u - 33*u = -15*r - 276. Let d = -32 + 71. Let b = u + d. Is 27 a factor of b?
False
Let x be 16*1*7/14. Suppose -x*k = 3*k - 6105. Suppose -1368 = 3*r - 8*r + 4*j, 2*r - k = -j. Does 33 divide r?
False
Suppose 0 = 10*b - 6*b - 16. Suppose -b*h + 21 = -19. Suppose -8*f - 194 = -h*f. Is 42 a factor of f?
False
Let n(x) = -x**3 + 37*x**2 - 8*x + 209. Does 56 divide n(30)?
False
Suppose -5*v + 61 = 2*k, -4*k + 67 = 6*v - v. Suppose 2*d - d = -3*w - 15, -w - 5 = 0. Suppose -v*g + 16*g - 190 = d. Is g a multiple of 19?
True
Let z = 8430 + -5613. Is 3 a factor of z?
True
Let x(n) = 51*n**2 - 35*n - 50. Is 5 a factor of x(5)?
True
Is 23 a factor of (-32410)/(-55) - (-24)/176*-2?
False
Suppose 14*p = 17*p + 52140. Let d be -2 + (4/10)/((-11)/p). Suppose 0 = -4*v - 5*n + n + 512, 5*v - d = -3*n. Is 31 a factor of v?
False
Let d = 30 + -30. Suppose 3*g - 2*j = 19, d*g + g + 3*j = 10. Suppose g*x - 655 = -116. Is 9 a factor of x?
False
Let g be 544/(-5)*(-5 + -5 - -5). Suppose -g*u + 543*u + 53 = 0. Is u a multiple of 52?
False
Let c be 0 - -2 - (-9 - (2 + -8)). Suppose -12 = -3*j