Let d = -39 - -65. Suppose -30*s + d*s + 180 = 0. Does 5 divide s?
True
Let y(x) = 7*x**3 - 279*x + 2528. Does 64 divide y(9)?
True
Suppose 177 = 5*q - 208. Let v = 81 - q. Is 3/12 - (2 - 27/v) a multiple of 3?
False
Let u(p) = p**3 + 30*p**2 + 29*p + 193. Is u(-18) a multiple of 35?
False
Suppose -28 = -2*b + 4*l - 2, 2*l + 6 = 0. Does 72 divide 2/9 - (b + 18388/(-36))?
True
Let g = 8172 + -6844. Is 79 a factor of g?
False
Let w = 72 - 95. Does 51 divide ((-414)/w)/((-1)/(-27))?
False
Let q(m) = 861*m**2 - 19*m + 43. Is 85 a factor of q(3)?
True
Let c(x) = 3*x - 43. Let l be c(9). Let t = l + 64. Is 8 a factor of t?
True
Let p(c) = c**3 + 82*c**2 + 193*c + 14. Is 144 a factor of p(-78)?
False
Suppose -y - 9 = 4*p, 3*y + 4*p + 2 = -1. Suppose y*l + 5*w - 211 = 0, -3*w = 4*l - 2*w - 253. Suppose -l*f - 640 = -67*f. Does 16 divide f?
True
Let j = 7013 - 2950. Is j a multiple of 17?
True
Suppose -86769 - 81927 = -22*v. Is 18 a factor of v?
True
Is 53 a factor of (-58)/319 - ((-892896)/22 + 88/(-22))?
False
Suppose 3*v + 4 = 10. Let p be (-4)/(-3) - v/(-3). Is 5 a factor of -1 + 564/20 + p/(-10)?
False
Suppose 4*g = 5*g - 3. Suppose 4*s = g*s + 4*a + 3, 13 = s - 2*a. Suppose -26*p + s*p = -150. Is 28 a factor of p?
False
Suppose 0 = 31*s + 619 - 2293. Does 53 divide 518 - (s/(-3))/6?
False
Is 7*(-144)/(-315)*720 a multiple of 96?
True
Let k = -43762 - -98134. Is 23 a factor of k?
True
Let r be (-25)/(-125) + (-72)/10. Is (116 + -7 + r)*1 a multiple of 17?
True
Does 36 divide (-4)/(-2) + -6 + (-12 - (-5828 + 16))?
True
Let f be ((-22)/4 + 5)*-42 - -3. Suppose -9 = -2*v - v + 3*y, 4*v = y + 9. Suppose m - 1 = -z - 4*m, v*z - f = m. Does 11 divide z?
True
Let u = -48 - -53. Suppose -u*m + 315 = -265. Let j = m - 64. Is 26 a factor of j?
True
Let d(s) = s**3 + 29*s**2 + 6*s - 15. Is 54 a factor of d(-17)?
False
Let z(h) = 6*h**2 - 25*h - 46. Let a be z(-2). Suppose -3*t = -4*x + x + 39, -5*x - t + 83 = 0. Let q = a - x. Is q a multiple of 3?
True
Suppose -5*r + 9*r + 28 = 4*v, 5*v + 2*r - 21 = 0. Suppose -2*x + v*j = -150, 7*x - 2*x - j = 398. Let w = x + 262. Is w a multiple of 57?
True
Let q(x) = x**2 - 5*x - 34. Let d be q(9). Suppose 3*v - m = v + 593, 0 = d*m + 2. Is v a multiple of 37?
True
Let q = 27475 + -6324. Suppose -q + 6751 = -16*n. Is 30 a factor of n?
True
Let d(b) = b**2 - 8*b - 15. Let f be d(10). Does 3 divide 3/(-24) + (33620/32)/f?
True
Suppose 836894 = 24*r - 411106. Is r a multiple of 20?
True
Suppose -5*d = -c - 9681, -3*d = -8*d - c + 9669. Is d a multiple of 45?
True
Let g(f) = f**2. Let j(b) be the third derivative of 3*b**5/20 + b**4/12 + 10*b**3/3 + 27*b**2. Let q(u) = -6*g(u) + j(u). Is q(6) a multiple of 10?
True
Let g(x) = -3*x**3 - 19*x**2 - 220*x + 96. Is g(-16) a multiple of 10?
True
Let v(j) = -j**3 - 4*j**2 + j - 15. Let t be v(-5). Suppose -5*m = s - 1398, -2275 = -2*s + t*m + 506. Suppose -b = -8*b + s. Is b a multiple of 14?
False
Let t = -27233 - -43428. Is t a multiple of 36?
False
Suppose -2219 = -q - 2*h, 6*h = 3*q + 7*h - 6672. Does 76 divide q?
False
Let y = 1005 - 2401. Let m be 3*(-2 - y/6). Does 7 divide -4*m/(-16) - 2?
False
Let y(x) = 2*x**3 + 6*x**2 - 4*x + 8. Let f be y(-5). Is ((-9)/(f/(-15032)))/(-1) a multiple of 16?
False
Let m be -2 - (-212)/(-10) - (-12)/(-15). Let d be 139/1 + m/8. Suppose -4*b = -4*j - d, -5*j = -2*j + 12. Is b a multiple of 5?
True
Let l(z) be the first derivative of -z**3/3 - 18*z**2 - 7*z + 9. Is 25 a factor of l(-20)?
False
Let x(p) = -p**2 + 3*p. Let g(j) = 5*j**2 - 6*j - 5. Let a(f) = g(f) - 3*x(f). Is 34 a factor of a(4)?
False
Is ((-2)/(4/(-3675)))/((-12)/(-17 + -7)) a multiple of 54?
False
Let n = -447 + 427. Is (n - -20) + 1 + 83 a multiple of 3?
True
Let y(x) = 2*x**2 - 17*x - 5. Let q be y(9). Suppose -1116 = -4*g + q*b, 0 = 5*g - 3*b + 508 - 1899. Is 8 a factor of g?
False
Let o(l) = 2*l**3 + 15*l**2 - 14*l + 6. Let j be o(-7). Suppose -j = -5*u + 2*u. Suppose 5*y = 2*i - u, 0*i - 54 = -3*i + 3*y. Does 11 divide i?
False
Suppose -c - 4 = -3*w - 2*w, 4*w - 20 = 5*c. Let o = c - 8. Is 9 a factor of (-1224)/o*1/3?
False
Let z(l) = -4*l**2 - 160*l + 33. Suppose 24*i - 21*i + 4*d + 132 = 0, 5*i + 194 = 2*d. Does 30 divide z(i)?
False
Let j = -3746 - -5062. Does 14 divide j?
True
Let j = -8 - -67. Let s = j + -25. Suppose -3*g + s = -65. Does 11 divide g?
True
Suppose -14595 = -51*x + 28245. Is 4 a factor of x?
True
Suppose -7*a + 77 + 21 = 0. Does 6 divide 508/a - (-22)/(-847)*11?
True
Suppose 0 = -5*i + 5*u + 6055, 0 = -17*i + 12*i + 2*u + 6055. Does 11 divide i?
False
Let i(r) = r**3 + 36*r**2 - 52*r. Is 75 a factor of i(-17)?
True
Suppose 2 = 2*m, -3*m = -9*i + 11*i - 30209. Is 26 a factor of i?
False
Let u = -6534 - -14884. Is 50 a factor of u?
True
Let z(m) = -28*m**2 + 2*m + 12. Let l(w) = -30*w**2 + 3*w + 12. Let n(c) = -3*l(c) + 2*z(c). Is 22 a factor of n(-2)?
False
Suppose 4*x = 2*a - 12650, 5*x - 31635 = -5*a + 10*x. Is 12 a factor of a?
False
Suppose 0 = 4*w - u - 56001, -25*u + 69970 = 5*w - 20*u. Does 21 divide w?
False
Let h be (2 - (-116)/(-16))/((-24)/64). Suppose -4*x + 5*f + 999 = 0, h*x - 9*x - 5*f = 1245. Does 14 divide x?
False
Suppose -16*y = -10*y + b - 10623, 0 = -5*y + b + 8847. Is y a multiple of 5?
True
Suppose 37*f = -6*f + 24*f + 342684. Is f a multiple of 108?
True
Let f(h) be the third derivative of 11*h**5/60 - h**4/6 + h**3/3 + 19*h**2. Let m be f(4). Does 40 divide m - (5/25 - 18/(-10))?
True
Let g = 1558 + 1094. Does 39 divide g?
True
Suppose -19 + 27 = 2*n. Suppose 0 = -n*f + 5*f - 55. Is 10 a factor of f?
False
Let g = -164 + 142. Let p = 127 - g. Is 21 a factor of p?
False
Let x(t) = -t**2 + 16*t + 28. Suppose 0 = 4*f - 10*f + 102. Does 11 divide x(f)?
True
Is 28 a factor of 102000/24 + 38/(-6) + 3/9?
False
Suppose 3*f + 3*f = 228. Let t = f - -17. Suppose 6*o - t + 7 = 0. Is o a multiple of 2?
True
Let r(a) = -3*a**3 + 171*a**2 + 183*a - 49. Is 11 a factor of r(58)?
True
Let b be (-2*(-20)/6)/((-2)/(-3)). Let d be ((-12)/b)/(3/(-10)). Is 3 + (-1 - 51*d/(-6)) a multiple of 12?
True
Let v(g) = 19*g**3 + 917*g**2 + 57*g + 34. Does 15 divide v(-48)?
False
Let q = -7163 - -7328. Is q a multiple of 11?
True
Let u(b) = -467*b - 1873. Is 31 a factor of u(-44)?
False
Let c(a) = 2*a**3 - 53*a**2 + 9*a - 338. Is c(27) a multiple of 5?
False
Let u(x) = x**3 - 46*x**2 + 97*x + 188. Is u(46) a multiple of 50?
True
Let v(t) = 296*t - 2220. Is 108 a factor of v(11)?
False
Let h(d) = 61*d**2 - 7*d - 21. Let o be h(-2). Suppose -198*m - o = -199*m. Is 11 a factor of m?
False
Suppose z - 36 = -5*j, 3*j - 2*z - 16 = 2*j. Suppose -2*d - 4 = -j. Suppose x + 105 = d*x. Is 21 a factor of x?
True
Let i be 8*1/2*-107. Let v = 1665 - 1655. Is i/(-8) + (-15)/v a multiple of 13?
True
Let d be 9*(-6 - 512/(-72)). Does 66 divide 426/((d/(-18))/((-5)/6))?
False
Let g = -12037 - -14892. Does 18 divide g?
False
Let s = 2410 - 2344. Does 22 divide s?
True
Let d = 30 - 27. Suppose 1294 = 7*z - 918. Suppose 2*l - 2*g - z = 3*g, -d*g - 6 = 0. Is l a multiple of 14?
False
Let f(w) = 5*w**2 + 4*w + 56. Let x = -104 + 99. Is f(x) a multiple of 11?
False
Let l be -2 - (-8 - -7 - 8). Let t(v) = v**3 + 15*v**2 - 5*v - 16. Does 94 divide t(l)?
False
Let a = 4900 - -1194. Is a a multiple of 56?
False
Suppose 4615 = 6*r - 3323. Suppose 17*b - r = -10*b. Is b a multiple of 3?
False
Let z = -12 + 12. Suppose 4*h - 12 = z, -h - 114 = -4*b + 35. Is 9 a factor of b?
False
Let g = -218 + 1007. Is 37 a factor of g?
False
Suppose 3*g = -5*w - 0*g - 1737, -3*w - 1047 = 3*g. Let f = w - -462. Is f even?
False
Let n(p) = p**3 - p**2 + 2*p - 3. Let l be n(2). Suppose -7*a + 9*a = h - 334, 0 = -5*h - l*a + 1595. Is 36 a factor of h?
True
Suppose 3*w + t = -46, -3*w - 42 = t - 4*t. Let b(r) = 15*r - 36. Let n(v) = 3*v - 7. Let y(g) = 4*b(g) - 21*n(g). Is y(w) a multiple of 16?
True
Let l(q) = 2*q**2 - 2*q - 6. Let z be 0/(-1) + 3/(-2)*-8. Suppose -z = -4*g - 40. Is 21 a factor of l(g)?
False
Let v(u) = -14*u**3 + 34*u**2 - 6*u - 52. Let r(p) = 5*p**3 - 12*p**2 + 2*p + 17. Let b(k) = -17*r(k) - 6*v(k). Does 11 divide b(0)?
False
Let o(s) = 22*s**2 + s - 1. Let q be o(-1). Suppose -6*d - q = -38. Suppose d*r - 384 = 2*z, r = -5*z + z + 114. Does 18 divide r?
True
Let z(v) = v**2 + 43*v