6/(-360))?
True
Suppose 7*l = -l + 456. Let s = 61 - l. Suppose s*v + 0*v = 740. Does 32 divide v?
False
Let h be (-1054)/(-10) + (-2)/5. Suppose -21*g = -18*g - h. Is 15/((15/g)/3) a multiple of 15?
True
Suppose -5*z - 20 = 0, 2*q - 39348 = -39*z + 41*z. Is q a multiple of 6?
False
Let z(u) = -139*u**2 - 11*u. Let r(v) = -69*v**2 - 5*v. Let d(i) = -13*r(i) + 6*z(i). Let s be d(1). Let h = 98 - s. Is 18 a factor of h?
True
Is 8 a factor of (1 - 429/9)*(-27)/324*27?
False
Let y = 14503 + -8177. Is y a multiple of 4?
False
Let a = -22 - -22. Suppose 31*j - 27*j - 44 = a. Is 2 a factor of j*-4*(-5)/20?
False
Suppose 4*r - 4*w = -19 + 59, -3*r + 5*w = -32. Suppose -r*a - 376 = -3256. Is 16 a factor of a?
True
Suppose 5*b - 14796 = -4*l, -5*b + 1293 = 3*l - 9814. Is l a multiple of 11?
False
Let x(l) be the first derivative of -4*l - l**3 + 2*l**2 + 3/4*l**4 - 12. Is x(2) a multiple of 8?
True
Let o(m) be the second derivative of -m**3 + 21*m**2/2 + 339*m - 2. Let i = 7 + -17. Is 7 a factor of o(i)?
False
Let a be (-2 + -1)*(-599)/(-6)*-8. Is -4*a/(-48) - 4/6 a multiple of 12?
False
Let l(s) = 4*s - 109. Let m be l(28). Suppose m*x - 2*a = 8*x - 1264, -5*a = 5*x - 1255. Is 15 a factor of x?
False
Let p(v) = -v**3 + 59*v**2 + 63*v - 149. Is 8 a factor of p(59)?
True
Let h(y) = -2*y - 706*y**3 + 4 + 3*y - 2 - 290*y**2 + 287*y**2. Is h(-1) a multiple of 19?
False
Let n(g) = -2*g + 29. Let v(i) = -5*i + 87. Let k(d) = -17*n(d) + 6*v(d). Suppose -6*m + 16 = -74. Is 9 a factor of k(m)?
False
Let l = 7383 + -2259. Let h be 3/4 + l/(-48). Is 23 a factor of -1 - (10/5 + h)?
False
Suppose -233*x = -231*x + 4. Let k(n) = -25*n**3 - 5*n**2 - 7*n - 3. Is 28 a factor of k(x)?
False
Suppose 17879*q = 17890*q - 65538. Is q a multiple of 3?
True
Let o = 83 - 83. Let z(n) be the second derivative of n**3/2 + 90*n**2 - n. Does 20 divide z(o)?
True
Let d = -246 - -249. Suppose 5*i = d*i + 14. Does 2 divide i?
False
Suppose -3*n + 44 = -46. Suppose 4*v + v - n = 0. Let f(y) = -y**3 + 7*y**2 + 6*y - 18. Is 9 a factor of f(v)?
True
Suppose 8 = -0*h - 4*h. Let n be (-6)/h*(-114)/(-9). Suppose -3*r + r = -n. Does 19 divide r?
True
Suppose -48806 = -25*f + 79944. Is f a multiple of 12?
False
Let x be (3 - 6/(-6)) + -2 + 3. Suppose 0 = -2*f + 4*z + 724, -5*f - x*z + 1828 = -6*z. Is f a multiple of 14?
False
Let k(p) = -14*p - 4. Let h be k(-3). Suppose -9*m + 12 + 15 = 0. Suppose -h + 116 = m*o. Is 13 a factor of o?
True
Suppose 8939 + 173417 = 8*a - 5*u, 0 = 2*a - 2*u - 45586. Is 14 a factor of a?
False
Let c be (-690)/(-78) - (-2)/13. Suppose -c*o = -711 - 531. Does 6 divide o?
True
Let t be (15/(-40)*-6)/((-1)/(-4)). Suppose -t*h + 628 = 115. Is h a multiple of 19?
True
Let g = -23 - -32. Is 30 a factor of (70/63)/5 + 2941/g?
False
Suppose 15 = -5*v, -4*v - 20 = -4*p - 0*v. Let g(z) = -z**3 - 7*z**3 + 13*z**3 - 6*z**p - 14*z - 4*z**3. Is g(8) a multiple of 15?
False
Let n be 0/((-12)/(6/2)). Suppose 5*y + 3*p - 59 - 153 = n, p = -2*y + 85. Let s = y - 29. Is 7 a factor of s?
True
Let v = -204 - -192. Is (v/9)/((-1)/300) a multiple of 80?
True
Let w = -22 - -25. Suppose -2*s + 112 = w*o - o, -2*s = 5*o - 112. Does 8 divide s?
True
Suppose -s - 5*i = -689 - 291, 2*s = -i + 1969. Suppose 9*g = 7*g + 10. Suppose 0*q = -5*y - 5*q + 965, g*y - 5*q = s. Is y a multiple of 13?
True
Let v = 43 + -43. Suppose v*k + 7*k = 203. Suppose 2*j - 175 = k. Does 39 divide j?
False
Let o(d) = 4*d**3 - 7*d**2 + 3*d + 2. Let q = 37 + -34. Let j be o(q). Let r = j - -16. Does 12 divide r?
True
Let d(q) = q**2 + q - 8. Let r = -52 - -56. Let m be d(r). Is (m/(-4))/((-12)/52) a multiple of 13?
True
Suppose 928 = -3*v - 4*a, 0 = 4*v + 5*a - a + 1244. Let n = v + 225. Let x = -40 - n. Is 34 a factor of x?
False
Let y(f) = 12*f - 67. Let m be y(6). Suppose 0 = -2*w - z + 580, 3*z - 224 = m*w - 1674. Does 12 divide w?
False
Does 7 divide (-91077)/(-91) - (-4)/26?
True
Let d = -110 - -102. Is (-3 + 20)/((-8)/d) a multiple of 10?
False
Let t(x) be the second derivative of -155*x**3/6 - 5*x**2/2 + 5*x - 11. Does 22 divide t(-5)?
True
Let g(i) = -i**3 - 11*i**2 - 31*i + 9. Let o be g(-8). Suppose -o = -4*j + 239. Does 2 divide j?
True
Let z(q) be the second derivative of -13*q**3/3 - 19*q**2 + q. Let o = -718 + 714. Is 6 a factor of z(o)?
True
Let t(y) = -y - 9. Let v be t(-18). Suppose 5*s - k + 19 = 0, 5*k - 29 + v = 0. Is 16 a factor of ((-168)/35 - 0)/(s/10)?
True
Let l = -2777 - -4517. Does 20 divide l?
True
Suppose 14*y = 14247 + 24813. Is y a multiple of 68?
False
Let t = 578 - 586. Let c(q) = q**3 + 17*q**2 + 7*q + 53. Does 22 divide c(t)?
False
Suppose 5*w + 64 = 3*b, 0 = 5*b + 2*w - 4*w - 94. Suppose -b*c + 1003 + 1517 = 0. Does 20 divide c?
True
Let q = -325 - -454. Does 11 divide (-11 - (2 - 7)) + q?
False
Let u(v) = 5*v**3 + 12*v**2 - v + 21. Let p be -7 + (-1 - (4 - 8)). Let q(y) = 4*y**3 + 11*y**2 - 2*y + 21. Let i(c) = p*q(c) + 3*u(c). Is 15 a factor of i(-9)?
True
Let r(h) = 7*h**2 + 16*h - 3. Let j be r(-4). Let c = 75 - j. Does 5 divide ((-280)/c)/((-2)/6)?
False
Suppose -721*r + 238*r = -1192527. Does 146 divide r?
False
Suppose -188*c + 189*c + 4*a - 929 = 0, -5*c + 4709 = 4*a. Does 15 divide c?
True
Suppose 103034 = 8*n - 2*p, 0 = 4*n - p + 4*p - 51497. Is 79 a factor of n?
False
Let r(q) = q**3 + q**2 + 2*q + 1. Let o be r(2). Suppose -3*j - 2 + o = 0. Suppose -3*w = -j*w + 592. Is w a multiple of 62?
False
Let z = -12050 - -21158. Is 28 a factor of z?
False
Let r(i) = -2*i + 31. Let v be r(13). Suppose -v*s + 3095 = -3*n, 2*s + 3*n - 353 = 864. Is s a multiple of 77?
True
Let b be (9 - 2 - 3)*114/8. Suppose 5*s - c - 28 = -409, -3*c + 65 = -s. Let j = b - s. Does 8 divide j?
False
Let w(f) = 43*f - 27. Let g be (0/2 - (-42)/(-18))*-3. Let z be w(g). Suppose z = 3*h - 188. Is h a multiple of 22?
True
Let d(x) = -2*x**3 + 18*x**2 + 5*x - 43. Let h be d(9). Suppose 5*c + 620 = 4*w + w, -5*w = h*c - 627. Is 5 a factor of w?
True
Suppose -2*j = -3*p + 103, 3*j + p = -3*p - 129. Let x = j + 50. Does 14 divide 51 + x + -10 + 3?
False
Suppose 2*z + r = -472, r + 0*r + 1174 = -5*z. Let w = z + 445. Is 16 a factor of w?
False
Let v = 279 + -240. Does 15 divide v/13 - (-1 - (-1323)/(-3))?
False
Let p = 12694 - 7891. Is p a multiple of 151?
False
Suppose 4*k - 3*n - 15 = 215, -3*k + 2*n = -173. Suppose 4*s + k = 787. Does 30 divide s?
False
Suppose 2*r - 18 = -6. Suppose -r*z = 327 - 2091. Let o = -210 + z. Does 10 divide o?
False
Let j = -11817 + 12088. Is 49 a factor of j?
False
Let o be -4 + 20 + (1 - -3). Let h be 5/o*(2 - -6). Suppose 5*a + 233 = h*l, 4*l = 2*a + 387 + 39. Is l a multiple of 15?
False
Suppose 10*o = 21*o - 77. Suppose -37386 = o*c - 38*c. Is 9 a factor of c?
True
Suppose 0 = 5*y - 534 - 216. Let q be (-690)/(-8) - (-6 - y/(-24)). Let l = q - 31. Does 12 divide l?
False
Let n(b) = -b**3 + 9*b**2 + 15*b - 38. Let x be n(10). Suppose j = -x + 36. Does 8 divide j?
True
Is 36 a factor of 570/((-5)/330 + 32/176)?
True
Let v(a) = 22*a**3 - a. Let k be v(1). Is ((-2632)/k*-1)/(4/6) a multiple of 35?
False
Suppose -2*o + 923 = -14235. Suppose -285*c - o = -296*c. Is c a multiple of 13?
True
Let x(l) = 73*l**2 + 548*l - 18. Is 53 a factor of x(-10)?
True
Suppose 239*c - 229*c = 140. Suppose 0 = -c*z + 924 + 336. Is 9 a factor of z?
True
Let x = -50 + 43. Let m(b) = -2*b**3 - 5*b**2 + 13*b - 4. Let l be m(x). Suppose -3*s - 121 = -l. Does 16 divide s?
False
Let i(w) = w**3 + 6*w**2 + 6*w + 7. Suppose 5*h = -16 - 9. Let y be i(h). Does 26 divide 1 - (y/6 - (-76)/(-3))?
True
Let z = 35 + -32. Suppose -z*g = -28 - 242. Let k = 120 - g. Does 6 divide k?
True
Let m(f) be the third derivative of -f**6/120 + 7*f**5/20 - f**4/6 + 29*f**3/3 + 9*f**2 + 2. Does 7 divide m(17)?
False
Let a be 3 + 0 + (-5 - -665) + -1. Suppose w - 4*s - a = 0, 7*w - 2*w = -3*s + 3310. Is w a multiple of 14?
False
Let t = 4500 - -559. Does 45 divide t?
False
Let s be (-32)/12*(14 + (-4)/2). Let n = -1 - s. Suppose 0 = -25*g + n*g - 1008. Is 28 a factor of g?
True
Let w(o) = o**3 - 17*o**2 - 18*o - 1. Let y be w(18). Let g be -4*((-1)/((-2)/18) + y). Let x = g + 46. Does 2 divide x?
True
Suppose -5*i + 2 = -13. Is 3 a factor of (4/(-20))/(i + (-2912)/970)?
False
Suppose 5*i - 23 = -3*c - c, -3*i + 7 = -c. Su