 Let f = -83 - u. Is (-876)/(-22) - ((-184)/44 - f) a multiple of 8?
True
Suppose 4*h - 318 = -242. Suppose -h*k + 456 = -16*k. Does 35 divide k?
False
Suppose 323*i - 333*i + 9300 = 0. Does 16 divide i?
False
Let s(x) = 2*x**3 + 51*x**2 + 51*x - 18. Let f be 20/(-5) - (2 - -18). Does 16 divide s(f)?
False
Suppose -384*d + 5956838 - 2627201 = -8645403. Is d a multiple of 105?
True
Let p be (-2)/(-1)*(456/(-2))/4. Let n = 192 + p. Is n - (-4 + (2 - 0)) a multiple of 40?
True
Suppose 0 = 31*b - 16*b + 13515. Let i = -549 - b. Is i a multiple of 35?
False
Suppose 2*s + 41 = -15. Let x = s - -43. Let p = 5 + x. Is p a multiple of 20?
True
Let q(i) be the third derivative of 5*i**7/1008 + i**6/45 + 2*i**5/15 - 19*i**2. Let k(a) be the third derivative of q(a). Does 13 divide k(5)?
False
Suppose -3*u - 2 + 20 = 0, 0 = -4*v - 5*u + 46. Let l be (20/(-15))/((-2)/27). Suppose -v*y + 2*m + 206 = 0, -4*m + 120 = 3*y - l. Is 13 a factor of y?
False
Let c = 3424 + -2837. Is c a multiple of 10?
False
Let o = -12145 + 16219. Does 4 divide o?
False
Suppose 4*d = -12, -25 = 3*v - 2*d + 14. Does 10 divide (10/v)/(-1)*450/1?
True
Suppose -21 = -5*s - 6. Suppose -10192 = 136*m - 152*m. Suppose -3*b - m = -4*j, s*j - 5*j - 2*b = -322. Is j a multiple of 10?
True
Let a(s) = 2*s**2 + 72*s + 46. Does 60 divide a(31)?
True
Let g(v) = -v**2 - 35*v - 28. Let j = 82 + -14. Suppose -66*o + 54 = -j*o. Is 47 a factor of g(o)?
True
Suppose 0 = -a + 5*a - a. Suppose -2*k = x + 115, a*x - 3*k + 300 = -3*x. Let b = -56 - x. Is b a multiple of 10?
False
Suppose 42*k = 37*k + 975. Does 27 divide (-13 + 11)/(-3 - k/(-66))?
False
Suppose 0 = 3*u + 2*k - 54, 3*k = 5*u - 2*u - 54. Let h(m) = -m + 20. Let a be h(u). Is 102 + 0/(a + 1) a multiple of 25?
False
Suppose 0 = -53*i + 184724 + 80974 + 20502. Does 58 divide i?
False
Let s(m) = 146*m + 2207. Is s(19) a multiple of 62?
False
Let d = 126 - -249. Suppose -6*x + d = -3*x. Let b = x - 33. Does 31 divide b?
False
Suppose 112 = 3*p - 2*o + 30, -108 = -4*p + 4*o. Suppose s = -3*w + 485, -5*w + 30*s - p*s = -823. Is w a multiple of 23?
False
Let p(w) = -2*w**2 + 10*w - 7. Let i be p(0). Does 13 divide 39*(805/(-15))/i?
True
Suppose 5*k - 24 = 29*d - 30*d, 3*k = -d + 14. Suppose -k*s - 2*j + 0*j = -414, -2*s + 156 = 4*j. Does 3 divide s?
True
Let k(o) = -2*o**3 - 18*o**2 - 3*o + 11. Let p be k(-9). Suppose 4*q - 306 = -p. Is 10 a factor of q?
False
Suppose 0 = 3*z - 56 + 14. Let g = 1 + z. Is g a multiple of 3?
True
Let h be 29 - -23 - 12/(-2). Suppose -69*m = -h*m - 2662. Is 8 a factor of m?
False
Suppose -6375 = -4*o - 7*o - 4*o. Does 8 divide o?
False
Let s(w) be the second derivative of w**4/6 + w**2 - 2*w. Let o = 105 + -108. Is s(o) a multiple of 5?
True
Let w(b) = 87*b - 25. Let q be 1 + -5 + -2 - -8. Is 28 a factor of w(q)?
False
Suppose -a = 5*x + 13, -x = a - 3*x - 15. Suppose a*c - 534 = 1986. Suppose -g + 4 = 0, -4*g - g = -5*p + c. Does 10 divide p?
False
Let k = -41 - -45. Let z be (49 + -5)*1/k. Let y(o) = 7*o - 15. Is 15 a factor of y(z)?
False
Let t(k) = -1628*k - 1707. Does 59 divide t(-5)?
False
Let w = 24446 - 16000. Does 11 divide w?
False
Let t be (8/10)/(3 + (-468)/(-225) + -5). Let h = 28 + -13. Is 10*(4 - h/t) a multiple of 25?
True
Let f be (-30)/12*96/(-60). Is 13 a factor of (-4)/(-12)*(2543 + f)?
False
Let f(i) = 3*i**2 - 6*i + 18. Let x(j) = -6*j - 96. Let g be x(-17). Is 30 a factor of f(g)?
True
Suppose 4*b - 5*t - 4205 = 0, b - 5*b - 2*t = -4198. Does 12 divide b?
False
Suppose 5*c - 200 = h, -2*c - 66 = -3*c - 5*h. Let s = 314 - c. Does 39 divide s?
True
Let h(f) = 5*f**3 - 3*f**2 - 4*f + 163. Does 6 divide h(0)?
False
Suppose 3*d = -3*a - 0*a + 3, 0 = 2*a. Is 1/(-3 + d)*-906 a multiple of 19?
False
Suppose 7*c - 2*c + 1885 = 0. Let b = 535 + c. Suppose -3*n + 16 = -b. Does 6 divide n?
False
Let f(b) be the first derivative of 3/2*b**2 + 2*b**3 - 2*b + 1/2*b**4 - 28. Is f(4) a multiple of 39?
True
Let h(d) be the first derivative of 7 + d**2 + 8*d + d**2 - 4*d - d**2. Is h(3) a multiple of 3?
False
Suppose -45146 - 41146 = -9*q. Is q a multiple of 34?
True
Let x = -334 + 219. Let k = x - -135. Is k a multiple of 14?
False
Suppose 18890 = 25*g - 15*g. Suppose 13*v - 7861 = g. Is v a multiple of 75?
True
Let y(m) = 12*m**2 - 74*m + 17. Let n be y(6). Let l be 5 + 2 + (-4 - -2). Suppose a - n*a = -q + 91, -l*q + 433 = 2*a. Is 29 a factor of q?
True
Suppose 3*l + 3*d - 37929 = 0, -6*l + 63201 = -l + 3*d. Is l a multiple of 52?
True
Let a be ((-14)/(-8))/(97/388). Is 6 a factor of 4080/34 - (-1 + a)?
True
Let o = -455 + 2175. Does 3 divide o?
False
Let a be (40/(4 + 1))/(1 - -1). Is 0/(-1) - 122*(-5 + a) a multiple of 10?
False
Suppose 1253*b = x + 1255*b - 14791, -x = -4*b - 14761. Is 39 a factor of x?
True
Let t(q) = 5*q**2 + 26*q + 27. Let z be t(-12). Suppose 2*n = -6, -3*n + 10 = -4*y + z. Is 7 a factor of y?
False
Let b(o) = 6427*o**3 - 8*o**2 + 14*o - 7. Is b(1) a multiple of 119?
True
Let v be ((-14)/(-4))/(9/(-36)). Let t(j) = 3*j**2 + 35*j + 11. Let s be t(v). Suppose 0 = -4*w + s + 55. Is w a multiple of 40?
False
Is 271 a factor of (672 - 86)/(4/250)?
False
Suppose 46*v = -42*v - 115*v + 4650527. Is 20 a factor of v?
False
Suppose 5*c = -d - 80, 0 = 3*d - 2*d. Is 2 a factor of (4/2)/((-1)/c)?
True
Suppose -4*h + 5*g + 122 = 0, 0*h = 2*h + 4*g - 48. Let w = h - 31. Let b = 30 + w. Is b a multiple of 5?
False
Suppose -43*w + 44688 = -54384. Does 18 divide w?
True
Suppose 5*h - 6*h = -79. Let g = -71 + h. Suppose 378 = g*a + 74. Does 9 divide a?
False
Let o = 3 + -4. Let i be (o - 111/(-21))*-7. Is (7/3 + -1)/((-1)/i) a multiple of 9?
False
Let n = 34189 + -22247. Is n a multiple of 31?
False
Suppose -2*b - 10*w + 6*w + 12 = 0, 2*b + 5*w = 15. Suppose 4*y = 5*k + 822 + 262, b = -5*y - 4*k + 1355. Is 29 a factor of y?
False
Suppose 0 = -217*o + 3856318 + 6749991. Is 129 a factor of o?
False
Let q(o) = 2*o**3 - 30*o**2 + 3. Let w(i) = i + 26. Let u be w(-11). Let j be q(u). Suppose 0 = -j*z + 3*d + 519, 4*d - 46 = -z + 122. Does 43 divide z?
True
Suppose 133 = -4*v + 457. Let o = -77 + v. Suppose -r = -3*a + o, 8*a - 47 = -2*r + 3*a. Is r a multiple of 6?
False
Let n(j) = 46*j**2 - 8*j + 1. Let v(z) = 137*z**2 - 23*z + 4. Let p(x) = -8*n(x) + 3*v(x). Is p(3) a multiple of 52?
False
Suppose -5*v + 1317 = -y, 2*v - 5*y = 482 + 54. Is 39 a factor of v?
False
Let f = -11 - -12. Let l(x) = -x**2 - x + 2. Let h(q) = 11*q**2 + 11*q - 7. Let z(c) = f*h(c) + 4*l(c). Is z(-4) a multiple of 44?
False
Suppose 0*w + 732 = -w. Let k be 30/(-9)*w/(-10). Is 3 a factor of (-1)/(k/756 + (-2)/(-7))?
True
Let k(m) = 9*m**3 + 14*m**2 + 10*m + 77. Let c(r) = -7*r**3 - 15*r**2 - 10*r - 78. Let d(l) = -4*c(l) - 3*k(l). Does 7 divide d(-17)?
False
Let a(o) = -6*o**3 + 0*o - 2*o + 3*o**3 - 5 + 7*o**2 + 4*o**3. Is a(-6) a multiple of 43?
True
Suppose -4590 = -72*i + 18*i. Suppose 428 = i*z - 83*z. Is z a multiple of 5?
False
Let k(q) = q**2 - 138*q + 2459. Does 13 divide k(120)?
True
Let u(d) = 6*d**2 + 5*d - 4. Let n be u(-6). Let s be 9828/91 + 4*2. Let k = n - s. Is k a multiple of 11?
True
Let x(v) = 637*v - 2831. Is x(19) a multiple of 8?
True
Let o = -40 - -140. Let i = o + -77. Is i a multiple of 15?
False
Let x(l) be the second derivative of -l**5/20 - 19*l**4/6 + 38*l**3/3 + 11*l**2 + 130*l. Does 7 divide x(-40)?
True
Let h = 1518 + -826. Is 16 a factor of ((-31)/62)/((-2)/h)?
False
Suppose 0 = 2*d - 0*d - 12. Let q be (1 - -332)*d/(-9). Let x = q + 342. Is 15 a factor of x?
True
Let u = -9512 - -16761. Is u a multiple of 16?
False
Let s(y) be the third derivative of 13*y**6/40 + y**5/60 - y**4/24 - y**2. Let p = 849 - 848. Is 10 a factor of s(p)?
False
Let w(y) = -y**2 - 8*y - 5. Let f be w(-6). Suppose -15 = -3*l + 3*v, -2*v + 9 = -3*l - f*v. Is ((-9)/l)/((-12)/24) a multiple of 7?
False
Let o(f) = 18*f**2 - 406*f + 64. Is 12 a factor of o(28)?
True
Suppose 0 = 5*a - 10*a + 25. Suppose -5*g - 840 = a*m - 10*m, -2*m + 336 = -3*g. Does 8 divide m?
True
Let z(m) = 2*m**2 - 3*m + 4. Let k be (-210)/(-49) - 2/7. Let s be z(k). Does 4 divide s/84 - (-187)/7?
False
Let m = 39 + -36. Suppose 0 = 2*f + f + 4*q - 368, 0 = -f - m*q + 126. Does 40 divide f?
True
Suppose 0 = -3*y + 161*g - 163*g + 97115, -4*y = 5*g - 129475.