f ((-2)/q - 2)/((-2)/216)?
True
Let q = -1129 - -2663. Suppose 15*v - q = 1556. Does 12 divide v?
False
Let o be (-6)/1*1 - -21. Suppose 6*s = o*s - 225. Does 5 divide s?
True
Suppose 18*s + 24 = 14*s. Is s + (5 - -118) + -3 a multiple of 38?
True
Let p(q) = -368*q - 1157. Is 17 a factor of p(-49)?
False
Let p(x) = -3*x**2 - 6*x**2 - 79*x**3 - 13*x - 8 + 6 + 78*x**3. Let j be p(-4). Let u = 146 - j. Is 8 a factor of u?
True
Suppose -4*u + 103 = -97. Suppose -2*i = 2*y, 4*i + 6*y = 3*y. Suppose -10*q + u - 20 = i. Does 3 divide q?
True
Suppose 2*h - 3*f = 10122, -4*f = 111 - 135. Is h a multiple of 10?
True
Suppose -i = -40 + 17. Suppose 0 = -19*b + i*b - 232. Does 6 divide b?
False
Let t be (-3 - (2 + -3))*1474/22. Let a = t + 434. Does 15 divide a?
True
Is (-229883)/(-19) + (-42)/399 a multiple of 18?
False
Is 35 a factor of (1/(-2)*2336)/(2/(-6))?
False
Suppose 2*o + 334*d - 7593 = 329*d, 0 = -5*o + d + 19023. Is 17 a factor of o?
False
Let b = -9 + 12. Let g = -101 + 125. Suppose -b*u - g = -4*u. Is u a multiple of 4?
True
Let g = 61 - 232. Let x = g + 240. Let q = x + -21. Is 6 a factor of q?
True
Suppose 0 = 5*h - 3*q - 21, 3*h - 3 = q - 4*q. Suppose -2*j = -n + h*n + 150, 0 = -5*j + 5. Let i = 6 - n. Does 12 divide i?
False
Let h be 751 - (-1 + 0)*(33 + -34). Suppose 2*a - 30 - h = 0. Is 65 a factor of a?
True
Let m(g) = -2*g**2 - 5*g + 15. Let y(l) = -l**2 - 3*l + 8. Let t(v) = -3*m(v) + 5*y(v). Suppose 14*w = 2*w - 84. Is 17 a factor of t(w)?
False
Suppose -3*a + 4*y - 16 = a, 3*a = 4*y - 9. Is 48 a factor of 80 - (a - -5)/((-2)/(-3))?
False
Let s be (-5568)/(-240)*(-54 - 1). Let u = s - -1827. Does 19 divide u?
True
Let k(l) = -4*l - 8. Let n be k(-4). Let j(g) = 86*g - 23. Let r be j(n). Suppose -5*h = 14*q - 9*q - r, h = 2*q - 281. Is q a multiple of 32?
False
Let s(m) be the second derivative of m**5/20 - m**4/3 + m**2 - 6*m. Let q be s(4). Suppose -q*d = -5*d + 195. Is d a multiple of 11?
False
Let g be (5 - -3)*8/16. Suppose 1264 - 102 = 4*v + 5*x, -g*x + 578 = 2*v. Does 13 divide v?
False
Suppose -77*o - 483 = -84*o. Let a = o + 60. Is a a multiple of 11?
False
Let n = -54 - -53. Let l(x) = -3*x**3 + 3*x**2 - 1. Let y be l(n). Suppose 0 = -9*h + y*h + 100. Is h a multiple of 5?
True
Let z = 9434 + -6744. Is 92 a factor of z?
False
Let m(z) = -52*z**2 + 8*z**3 - 2*z**3 - 58*z - 2*z**3 + 103 - 2*z**2 - 5*z**3. Is m(-53) a multiple of 24?
False
Let s(n) be the third derivative of 5/24*n**4 - 13/60*n**5 + 0*n + 1/120*n**6 - 4/3*n**3 + 0 + 10*n**2. Is s(13) a multiple of 22?
False
Let f(w) = -w**2 - 14*w - 14. Let u(p) = 2*p**2 + 28*p + 29. Let i(n) = 9*f(n) + 4*u(n). Let j = 258 - 268. Does 5 divide i(j)?
True
Let f be (0 + (-20)/12)*-3. Suppose -9*c + 4*j = -7*c + 4, f*c = 4*j - 22. Is ((-117)/c)/(-13)*(-146)/1 a multiple of 20?
False
Let f(i) = 2*i + 1. Let d = 433 - 415. Is f(d) a multiple of 24?
False
Is 44 a factor of -8 - -1 - (-24 + 10) - -17945?
True
Suppose -5*b + 39*w = 41*w - 50993, -2*w + 40792 = 4*b. Is 80 a factor of b?
False
Let l(a) = -4*a**3 - 15*a**2 + 10*a - 4. Let i(k) = k**3 - k + 1. Let r(t) = 3*i(t) + l(t). Let x be r(-16). Is x/3 - (-4 - 14/(-3)) a multiple of 47?
True
Suppose 2*t + 2*a + 8 = 0, -5*t - 44 - 16 = -5*a. Does 18 divide (-4)/(-42) + t/(-168)*18142?
True
Suppose -5*a + y = -12, 5*a = 4*a + 3*y + 8. Suppose -a*w = 8*w - 30. Suppose -h = w, p - 2*p = -5*h - 33. Is 3 a factor of p?
True
Suppose 3*o + 336 = -3*g, -8*g + 5*o - 360 = -5*g. Let s be (-1)/(2 - g/(-57)). Suppose s = 2*q + 29. Is 11 a factor of q?
False
Let b = 25 - 4. Suppose -3*y + 1270 = -w, -22*y + b*y = w - 430. Is y a multiple of 6?
False
Let p(l) = 14*l**2 + 5*l + 16. Let i(r) = -29*r**2 - 10*r - 31. Let o(m) = -3*i(m) - 5*p(m). Let s be o(6). Suppose -3*t - 2*t + s = 0. Is t a multiple of 14?
False
Suppose 9*c - 24 = 57. Suppose c*o + 129 = 1605. Is 4 a factor of o?
True
Suppose -27*x + 3422352 = 72*x - 25*x. Does 282 divide x?
True
Let l(z) = 10*z**2 + 24*z + 162. Does 63 divide l(-9)?
True
Does 11 divide 2/((-6)/(-8) - 1) + 174249/19?
True
Let d(y) = 637*y - 1069. Does 19 divide d(10)?
True
Suppose 0 = -3*y + 3 + 6. Suppose y*f = f + k + 598, -5*f = -5*k - 1490. Does 15 divide f?
True
Let m(w) = 30*w**2 + 242*w + 44. Does 96 divide m(13)?
False
Let x(y) be the first derivative of 13*y**3/3 - 8*y**2 + 42*y - 43. Does 9 divide x(3)?
False
Let o(v) = -3*v + 105. Let c be o(33). Suppose c*h = -18*h + 2304. Is h a multiple of 12?
True
Suppose 0 = -56*k + 28*k + 229040. Is k a multiple of 4?
True
Suppose -3*l = 449 + 1456. Let b = -299 - l. Does 21 divide b?
True
Suppose -3*q - 28 = -5*q. Suppose 5*v - 4*f = 1 + 11, 5*f - q = -v. Suppose -4*j + 230 = 5*t, -t - 5*j + 225 = v*t. Is t a multiple of 26?
False
Let d = 12446 + -11561. Is 59 a factor of d?
True
Let m(d) = -2*d**3 + 51*d**2 + 36*d - 260. Let r be m(26). Let p = 114 + -190. Is ((-297)/66)/(r + 3/p) a multiple of 14?
False
Let l = -52 + 167. Let r = -17 - -32. Let c = l - r. Does 25 divide c?
True
Suppose 2*u - 192*o + 196*o - 42192 = 0, -4*u = -5*o - 84384. Does 9 divide u?
True
Is 9 a factor of 15877 + 1/(-5) + 410/50?
True
Let i(t) = -350*t - 290. Let h(g) = -87*g - 73. Let k(l) = -9*h(l) + 2*i(l). Does 12 divide k(5)?
True
Let r = 8500 + -5118. Is 19 a factor of r?
True
Suppose -498 = 2*m + 3108. Let o = -1211 - m. Is o a multiple of 16?
True
Suppose -19*q - 2*l + 33490 = -14*q, 30*l + 13242 = 2*q. Does 72 divide q?
True
Let h(j) = 335*j - 1836. Is h(12) a multiple of 182?
True
Suppose -n - 15 = -6*n. Suppose -t = -5*z + n*t + 100, 4 = z - 4*t. Suppose -17*w + z = -14*w. Is w a multiple of 4?
True
Suppose -98*q + 93*q - 85 = 0. Let c(a) = -23*a - 87. Is 11 a factor of c(q)?
False
Let u = -69 + 71. Suppose 0 = -u*c + 52 + 442. Is 19 a factor of c?
True
Does 27 divide (-8602)/(-69)*((-378)/12)/(-1)?
False
Let v = 33444 + -17545. Is 21 a factor of v?
False
Let q = -241 - -415. Suppose -38 + q = 2*d. Is d a multiple of 17?
True
Let z be ((-48)/(-80))/((-1)/(-5)). Let g = 15 - 15. Suppose g = z*i - 8 - 43. Is i a multiple of 2?
False
Suppose 12*r = 6*r - 12. Is 606/15 - r - 24/60 a multiple of 21?
True
Suppose 0 = -16*c - 482 - 766. Let q = c + 119. Is q a multiple of 2?
False
Let x(n) = 77*n + 19. Let h(g) = 539*g + 132. Let a(y) = -3*h(y) + 22*x(y). Is a(4) a multiple of 15?
True
Let h be ((-11)/33)/((-4)/6)*-36. Let g be ((30/18)/1)/((-1)/h). Suppose -y = -2*c - 9, -g - 23 = -5*y + 2*c. Is y a multiple of 2?
False
Let l(r) = -6 + 1 - 6*r + 3*r + 4*r. Let c be l(4). Is (-2*(-14)/7)/(c/(-6)) a multiple of 4?
True
Let p(v) = 2*v**2 - v - 2. Let r(q) = 9*q**2 + 10*q - 16. Let y(n) = 5*p(n) - r(n). Is y(-6) a multiple of 12?
True
Suppose a = 1652 + 244. Does 12 divide a?
True
Suppose 10*t - 830 = 57 + 5853. Is t a multiple of 4?
False
Suppose -9 = 3*s - g, 2 = -5*s - g - 5. Let f be (15/(-20))/(s + (-191)/(-96)). Let p = -28 + f. Is 4 a factor of p?
True
Suppose 0 = -35*a + 308 - 63. Suppose -a*i + 1968 - 302 = 0. Is 17 a factor of i?
True
Let w = -617 + 682. Is 13 a factor of (-1)/1*42*w/(-26)?
False
Let w = 62 + -58. Let k be 1217/4 + w/(-16). Suppose k = 11*s - 136. Is 3 a factor of s?
False
Suppose 54*f - 142348 = -34078. Is 67 a factor of f?
False
Let y(b) = -2*b**2 + 52*b + 35. Let u be y(-14). Let r = u + 1612. Is 17 a factor of r?
True
Suppose 3*g - 16 = -4. Suppose -5 = -5*v + g*v. Suppose 3*h - v - 4 = 0, -5*n = -2*h - 434. Is 17 a factor of n?
False
Let q(u) = -u**3 - 28*u**2 + 80*u. Does 11 divide q(-35)?
True
Let x(l) = 18*l - 185. Let g be x(10). Is g - -17 - 7 - -1*907 a multiple of 45?
False
Is 6/201 - (-18411172)/871 a multiple of 13?
True
Is 76 a factor of (-1088850)/(-90) + (-26)/6?
False
Let b(h) = 139*h**3 + h**2 + 11*h + 77. Does 180 divide b(7)?
True
Suppose -65*p - 6*p = -173879. Is 42 a factor of p?
False
Let a = 5739 + -4198. Is a a multiple of 28?
False
Let x(t) = -1069*t**2 - 5*t + 10. Let a be x(2). Is 5 a factor of a/(-9) - (-45)/(-405)?
True
Let l(p) = 2*p**2 - 209*p + 93 - 97 + 204*p. Suppose -2*q - 5*t - 10 = q, 2*q - t = 15. Does 7 divide l(q)?
True
Let f = -191 - 888. Let c = -449 - f. Is c a multiple of 18?
True
Let v = -2235 + 1416. Is 13 a factor of v/105*20/(-2)?
True
Let d(p) = 65*p - 14. Let v(i) = 1. Let b(u) = 63*u - 9. Let x(k) = b(k)