-4757 - -11119. Does 60 divide f?
False
Suppose 3*j - 1042*x = -1041*x + 47744, -5*j = 4*x - 79528. Is j a multiple of 78?
True
Let m(k) be the second derivative of 43*k**7/2520 + k**6/360 + k**5/120 - 7*k**4/6 - 11*k. Let o(t) be the third derivative of m(t). Is o(-1) a multiple of 42?
True
Let y be 12/108 - 8278/(-18). Let o = y + -304. Is o a multiple of 13?
True
Suppose 0*j - 6*j = -5*o + 89565, 2*o - 35843 = -j. Does 369 divide o?
False
Suppose -3*k + 11*k - 136 = 0. Let c be 2/3*(-29 + k). Is (-401)/(-5) - c/(-40) a multiple of 16?
True
Suppose -d + 9 = -i, -7 = i - 3*d + 12. Let g(j) = j + 2*j + j**2 - 5*j - 8. Is 16 a factor of g(i)?
True
Suppose 4707 + 24207 = 4*h - 3*r, -3*h = 2*r - 21694. Is 15 a factor of h?
True
Let b(q) = 17*q**2 + 39*q + 308. Does 20 divide b(12)?
False
Suppose -2*h + 6*h = -8. Suppose 4*d = -4*c + 11 - 7, 29 = 4*c - d. Is (-3 - (-1864)/(-24))/(h/c) a multiple of 13?
False
Suppose -3*p = p - f - 40, -4*p - 3*f = -24. Let c be (-21)/(-63)*(5 - 2). Does 15 divide (p - -206) + c + (0 - 2)?
False
Let j be (29/(-3) - -2) + 1/(-3). Let z be (-1 - -4)*(21 + j). Let g = -22 + z. Is 4 a factor of g?
False
Let k(t) = -t**3 - 5*t**2 - 8*t + 6. Let s(w) = 50*w**2 - 5*w**3 - 100*w**2 + 30 + 26*w**2 - 39*w. Let p(y) = 11*k(y) - 2*s(y). Does 6 divide p(-6)?
True
Let h be ((-1)/(-2) - 1)/((-11)/2354). Suppose h = 5*x - 1083. Suppose 4*v = -2*r + x, -4*r + 2*r + 55 = v. Is v a multiple of 17?
False
Suppose -13*s = 16*s. Suppose -14*t + 1144 + 5296 = s. Does 20 divide t?
True
Suppose 5*r + 4*b = 14, 5*r + 2*b = 6*b + 46. Let q(t) = 3*t + 54. Is q(r) a multiple of 12?
True
Suppose 0 = -527*j + 528*j + 5*k - 2819, 2803 = j + 3*k. Does 26 divide j?
False
Let o(w) = 3*w + 14. Let a be o(-4). Let b be ((-5)/(-15))/(a/18). Does 12 divide (15/3)/(b + (-213)/72)?
True
Suppose -2*k = 5*y + 10, -4*y + 0*y - k = 5. Suppose -4*w + 80 - 8 = -o, 3*w - 3 = y. Let b = -24 - o. Is b a multiple of 4?
True
Suppose 3*s + 12 = 0, 119 = -y + 2*s + 344. Suppose 0 = 10*z - 503 - y. Does 3 divide z?
True
Let z(b) = 25*b + 52. Let r be z(-2). Suppose -15 = -5*x, x = -r*o + o + 178. Is 11 a factor of o?
False
Let f be 3*(1400/(-15))/7. Let z be (-2968)/f + (-1)/5. Let g = 161 - z. Is g a multiple of 18?
False
Suppose -10*j + 32*j + 28392 - 88870 = 0. Does 161 divide j?
False
Let p = -6830 - -11690. Is 15 a factor of p?
True
Let l = 35188 - 30694. Is 71 a factor of l?
False
Let g(i) = -1233*i - 30. Let r be g(-2). Suppose -12*w = 2*w - r. Is 6 a factor of w?
True
Suppose 0 = 2*v + 5*d - 9042, 4110 + 420 = v - 2*d. Does 88 divide v?
False
Let w be (-26 + 12)/(-7) + 10. Let p(b) = -b**3 + 4*b**2 + 8*b + 3. Let o be p(-6). Suppose -o = w*x - 17*x. Is x a multiple of 9?
True
Let q = 509 - 283. Is 6 a factor of q?
False
Suppose -2*d - 2 = 0, -3*d + 0 - 9 = -2*u. Suppose -4*r = 5*w - 2*r - 10237, -2*w + 4110 = -u*r. Is 50 a factor of (-1)/(-3 - w/(-684))?
False
Let l = 5207 - 3522. Is 5 a factor of l?
True
Suppose 0 = 4*q + 9*q - 1820. Let m = -117 + q. Is m a multiple of 2?
False
Suppose 170*c - 403170 = 19*c. Is c a multiple of 15?
True
Suppose 0 = 3*d + 5*p - 28252, -20*d = -17*d - 2*p - 28301. Is d a multiple of 4?
False
Suppose -3*u = -5*b + 108862, -12*u - 30 = -17*u. Does 16 divide b?
True
Does 23 divide 13/((-65)/(-66))*880?
False
Let z = 1106 - -655. Does 10 divide z?
False
Let u be (7048/6 - 1) + (-496)/(-372). Suppose -2*k + r + 796 = -2*r, 3*k = -5*r + u. Is 47 a factor of k?
False
Let g(d) = 6*d + 26. Let k = 36 + -18. Let q be g(k). Let y = 98 + q. Does 48 divide y?
False
Suppose -128 = -s + 5*g, -367 = -3*s - 0*s - 2*g. Let r(h) = 4*h**2 - 6*h + 3. Let v be r(4). Let q = s - v. Is 16 a factor of q?
True
Let d(v) = -v**3 - 17*v**2 - v - 19. Let l be d(-17). Let s be 6 + -21 - (-2 - l). Is 15 a factor of (-6)/15 + 3/s*-92?
False
Suppose 4*u - 248 = 812. Let v = u + -228. Does 11 divide v?
False
Suppose -162*w + 2153478 + 2122512 = 0. Is w a multiple of 39?
False
Let a(z) = -z + 1. Suppose 2*u + 161 = -7*l + 4*l, -5*l + 25 = 0. Let j(c) = -10*c + 22. Let p(i) = u*a(i) + 4*j(i). Does 48 divide p(2)?
True
Suppose 7*f - 230 = 9*f. Is 714/10 + (f/(-25) - 4) a multiple of 12?
True
Suppose 16 = 4*y - 12. Let o(g) = 8*g - y*g - 25*g - 42 - 13*g. Is 45 a factor of o(-6)?
True
Let c = -3438 + 6410. Does 19 divide c?
False
Let x(h) = 0*h - 6*h + 2 - 2*h**2 + 3*h**2 + 3*h. Let o be x(0). Suppose o*g + 3 = 3*g. Is 3 a factor of g?
True
Let d = 2665 + -1947. Is d a multiple of 29?
False
Suppose 4*t + p + 4*p = 21, -39 = -5*t - 2*p. Let k(v) = -6*v**2 + t*v + 0*v**3 + 22 + 3*v**3 - 3*v**3 - v**3. Does 2 divide k(-7)?
True
Let p(o) = o**3 + 12*o**2 + 2*o + 29. Let d be p(-12). Let c be (-2)/(-12) - (-2712)/144. Suppose -2*m = -d - c. Is 6 a factor of m?
True
Suppose -1398 = -2*d - 2*z, 0 = -213*d + 214*d + 4*z - 690. Does 54 divide d?
True
Let b(q) = 4*q**2 - 218*q - 324. Is 62 a factor of b(64)?
True
Is 2/1*(-158985)/(-90) a multiple of 44?
False
Suppose -2*j = -16*j + 56. Suppose -16*s + j*s = -960. Does 8 divide s?
True
Does 16 divide 3749 + 5/((-50)/160)?
False
Suppose -480 = -64*f + 72*f. Does 39 divide 10/f + 703*2/12?
True
Suppose 5 = -5*g - 4*f, f + 22 = 4*g - f. Is -6*(-26 - (-5 + g)) a multiple of 6?
True
Let r be -480 + -5 + 10 + 4. Let j = 883 + r. Is 36 a factor of j?
False
Suppose 2*q = 2*s - 12, 3*q + 6*s = 2*s - 32. Is 54 a factor of (q - -7)*-5 - -717?
False
Suppose 5*u = -23 + 48. Let n be 0/(0 - (0 - -1)). Suppose 21 - 6 = 3*h + u*d, n = -5*h - d + 47. Is 8 a factor of h?
False
Let s(y) = 285*y + 5528. Does 37 divide s(-5)?
False
Suppose 0 = 4*k - 14 - 6. Let r(n) = -9*n + 10 + k*n - 2*n + 4*n. Is r(-5) a multiple of 4?
True
Suppose -5*b + 2*k = -b, -k + 7 = 5*b. Does 10 divide b + (-56)/420 + 137/15?
True
Let f(i) = 2*i**2 - 27*i + 99. Is 8 a factor of f(9)?
False
Let l = -42 + 45. Suppose 243 = 5*g - l*g + 3*t, t = -4*g + 481. Is g a multiple of 6?
True
Is 16 a factor of (0 + 10 - (37 - -194))*(0 - 100)?
False
Let s(m) = 15*m**2 - 151*m - 312. Does 41 divide s(62)?
False
Let s be 3 + -5 - (-11 - 2). Let z be 4/30 + 2527/285. Suppose z*v = s*v - 196. Does 7 divide v?
True
Suppose 0 = -28*m + 2 - 2. Does 53 divide 0 - (-218 + -3) - m/(-13)?
False
Does 40 divide 12122/87*33*2?
False
Let l = -551 - -1660. Let x = l + -522. Let j = -382 + x. Does 32 divide j?
False
Let p = 2273 + -1553. Suppose 4*x + 51*q - 50*q - 744 = 0, -4*x = -5*q - p. Does 32 divide x?
False
Suppose 4*j = 4*c + 6968, -3*j + 6*c = -3835 - 1388. Is j a multiple of 21?
True
Let j(b) = -b**3 - 16*b**2 + 12*b - 14. Let a be j(-17). Let d = 89 + a. Does 7 divide d?
False
Suppose -37 = -2*u + 21. Does 28 divide (u + -32)*(302/(-6) - 1)?
False
Let u = 105 - 156. Let a = u - -51. Is 9 - a*(-1)/2 even?
False
Suppose 0 = 8*l + 2*l + 870. Let j = 314 + l. Is j a multiple of 12?
False
Suppose p - 7*p - 3825 = -27855. Is p a multiple of 45?
True
Let w(c) = c**2 + 15*c + 14. Let r be w(-14). Suppose r*f = -g + 2*f + 203, 0 = -2*g + 3*f + 403. Is g a multiple of 17?
False
Let n(o) = 6*o**2 - 4*o - 22. Let i(m) = m**3 - 13*m**2 + 22*m - 114. Let s be i(12). Does 2 divide n(s)?
True
Let c(d) = -123*d - 8475. Is c(-112) a multiple of 57?
True
Let s(a) = 2*a**2 + 12*a + 13. Let t be (16/(-12))/((-6)/99). Suppose 2*u - 39 = 3*m + 5*u, 4*m = 2*u - t. Is s(m) a multiple of 17?
False
Suppose -22*t = -13*t - 18. Does 37 divide (-17784)/(-60) - t/5?
True
Let j(v) = -20*v - 695 + 89*v + 652. Let n be j(-19). Is 19 a factor of 1/((-6)/n) - (-4)/(-6)?
False
Suppose -7 = b + 7*s - 3*s, 0 = -2*b - 4*s - 2. Suppose b*l - 6*l + 4 = 0. Suppose -59 = -2*v - g, -v + 3*g + 15 = -l. Is 7 a factor of v?
True
Suppose -2*l + 0*l = -2*u, 0 = 3*u + 3*l - 18. Let y = 7 - u. Is 48/64 - ((-409)/y - 0) a multiple of 9?
False
Let u(c) = -c**2 - c + 2. Let m be u(-2). Suppose b - 4*h = 12, -4*b + 2*b - 5*h - 2 = 0. Suppose -4*o - o - b*a + 555 = m, -5*a = -25. Is o a multiple of 21?
False
Let o(k) = -21*k + 3. Let h be o(10). Let d = 351 + h. Is d a multiple of 19?
False
Let p(x) = -3*x**2 + x + 28. Let l be p(-12). Let f = 682 + l. Is f a multiple of 19?
True
Suppose -3*u + 104542 - 3041 = 5*x, -142065 = -7*x + u. Is 59 a factor of x?
True
Let g be (2/(-5))/(5/(-25)). Suppose -302 = -4*q - g*x, -4*x - 185 - 47 = -3*q. Is