d derivative of -i**4/3 + 5*i**3/6 - 2*i**2 + 244. Does 4 divide k(q)?
False
Let a = 1 - -3. Suppose 7 = m - 2*v, -16*m - 3*v + 2 = -15*m. Suppose a*t + 0*q = 4*q + 440, -510 = -5*t - m*q. Does 27 divide t?
False
Let w(t) = -t**2 + 13*t - 28. Let s be w(10). Does 74 divide 74*(-6 + 9 - s)?
True
Let p be 1552/(-12) + (-1)/(-3). Let o = 263 + p. Suppose 3*r + 5*k = -19 + 137, 4*r = 5*k + o. Is r a multiple of 6?
True
Suppose 0 = 21*d - 244 + 874. Is 25 a factor of (d/(-24)*20)/(0 + 1)?
True
Let j(f) = f**2 + 11*f - 11. Let l be j(-12). Let d(o) be the third derivative of 107*o**6/120 + o**5/30 - o**4/24 + o**2. Does 36 divide d(l)?
True
Is 41 a factor of -13 + 29/(58/692)?
False
Let z(c) = -c**2 - 32*c + 116. Let f be z(-35). Suppose -f*p + 2883 = -8*p. Does 31 divide p?
True
Suppose -4*p - 976 = -3680. Suppose 4*i = -22*i + p. Is i a multiple of 14?
False
Suppose -2*r = -6*t + 3*t + 212, -64 = -t + 4*r. Suppose 4*q + t = 2*i, 3*i + 2*q = 67 + 17. Is 5 a factor of i?
True
Suppose -5*r - 5*s + 800 = 0, -s + 582 + 222 = 5*r. Suppose -3*l + r = -2416. Suppose -5*q + 266 = -l. Does 49 divide q?
False
Suppose 0 = 3*i + 3*z - 2546 - 757, 4*z = -5*i + 5507. Does 4 divide i?
False
Let s(l) = l**3 - 17*l**2 - 13*l - 15. Let r be s(18). Suppose 5*m - 3*f - 42 = 9, 5*m = -5*f + r. Does 3 divide m?
True
Suppose a - 5*a - 404 = 0. Let m(z) = -z**3 + 4*z**2 + 3. Let j be m(6). Let i = j - a. Is 16 a factor of i?
True
Let w(g) = -130 + 43 + 36 + 27*g + 27. Is 70 a factor of w(7)?
False
Let o = 80 + 306. Suppose 15 = 5*a, -s = -2*a + 408 + o. Is s/(-28) - (-3)/(-21) a multiple of 7?
True
Suppose d + d = 10. Suppose -d*j + 3*r + 21 = -129, -5*j + 150 = -5*r. Is 10 a factor of j?
True
Let c = 325 + -227. Let a = 7 - 1. Suppose -c = -a*n + 4*n. Is n a multiple of 38?
False
Let b = -12747 - -19097. Is b a multiple of 113?
False
Does 14 divide 9 + -2 - ((-27995)/10 + 9)*2?
False
Let k = -2 + 1. Let v(g) = -129*g**3 - 4*g**2 + 2*g - 2. Let p(r) = r**3 + r**2 - r + 1. Let d(c) = 2*p(c) + v(c). Is 21 a factor of d(k)?
False
Suppose 4*d - 3*h - 34 = 2*d, 2*h = -d + 10. Let i(m) = m**2 - 14*m + 6. Let c be i(d). Suppose -2*a + 3*b = -112, -b + c*b + 20 = 0. Is 25 a factor of a?
True
Does 23 divide 5/(10/20064) + (-35 - -31)?
True
Let k(d) = 11*d**2 + 93*d - 39. Is 18 a factor of k(18)?
False
Let i = 11564 - 17981. Is (4/3)/((-31)/i) a multiple of 23?
True
Is 33 a factor of ((-141)/2)/(20/240)*-1?
False
Let f(v) = v**3 - 23*v**2 + 21*v + 30. Let b be f(22). Suppose 1240 = b*a - 2848. Is a a multiple of 73?
True
Let m = -10295 + 14554. Is m a multiple of 10?
False
Let d = -8351 - -16844. Is d a multiple of 93?
False
Let u = 12900 + -7667. Is u a multiple of 10?
False
Let d(j) = -j**3 + 12*j**2 + 15*j - 8. Let z be d(12). Suppose z - 270 = -y. Is y a multiple of 49?
True
Let q = -19 + 12. Let n(s) be the third derivative of -s**5/30 - 17*s**4/24 - 11*s**3/6 - 63*s**2. Is 5 a factor of n(q)?
True
Suppose 4*k + 5 = m, -m - 4*k + k + 33 = 0. Suppose -m - 12 = 3*z. Let c(y) = y**2 + y - 8. Is 6 a factor of c(z)?
True
Let w(c) = 9*c - 10. Let n(x) = -10*x + 9. Let t(l) = 2*n(l) + 3*w(l). Does 23 divide t(17)?
False
Suppose -15*x + 6556 = -6284. Is 16 a factor of x?
False
Let y be 0/(1 + -1 - 1). Let s be -3 - -11 - (7 - (4 + -1)). Suppose -s*m + 386 = -v, 3*m = -y*m + v + 290. Is m a multiple of 24?
True
Let a(n) be the second derivative of -2*n**5/15 - 5*n**4/6 + 5*n**3/6 - 17*n. Let y(g) be the second derivative of a(g). Is y(-5) a multiple of 15?
True
Does 7 divide (2574/(-22))/(((-12)/(-3))/(-84))?
True
Is 61 a factor of (1/7 - -1) + (-112231639)/(-2681)?
False
Suppose 92*i - 7*i = -29*i + 350664. Is i a multiple of 4?
True
Let c(p) = -324*p - 8090. Does 12 divide c(-118)?
False
Suppose 0*h - 3*h + 2341 = 5*d, -2349 = -3*h + 3*d. Suppose 0*z = -2*z + 2*q + h, 386 = z - 2*q. Is z a multiple of 9?
True
Let r(p) = -9*p**3 + 25*p**2 + 2*p + 11. Let g(s) = 5*s**3 - 13*s**2 - s - 6. Let m(b) = 7*g(b) + 4*r(b). Let y be m(6). Let n = y + -17. Is 11 a factor of n?
True
Let n(s) = -s**3 + 44*s**2 + 147*s - 35. Does 6 divide n(47)?
False
Let z = -44 - -90. Suppose z*x = 41*x + 1350. Is x a multiple of 70?
False
Let w be (-44)/(-48)*9*188. Suppose -w = 6*k - 7803. Does 30 divide k?
False
Let k(v) = -9 - 34 + 10 - 2*v. Let f(h) = 25*h + 430. Let z(n) = 3*f(n) + 40*k(n). Is z(-16) a multiple of 10?
True
Let r be (-6)/(3/(-8) - (-78)/80). Let i be -7 - (-2 + (-1)/(-1)). Is (-776)/i*(-15)/r a multiple of 11?
False
Suppose -4*z + 3*i + 43855 = 0, 4*z + i - 56939 + 13104 = 0. Is z a multiple of 10?
True
Let f(q) = -297*q + 11129. Does 22 divide f(33)?
False
Let a = -825 + 827. Suppose 4*v + a*w - 7487 = -2817, 3*w - 5836 = -5*v. Does 9 divide v?
False
Suppose -3*v - 24 = -9*v. Suppose 8 = v*b, -2*g + 5*b = -56 - 42. Let m = -31 + g. Does 5 divide m?
False
Let d = -303 - -307. Let o(l) = 4*l**2 + l - 24. Is o(d) even?
True
Let q = 16571 - 9937. Does 7 divide q?
False
Suppose 1944 = 6*w + 3*w. Suppose -5*h = -3*z + w, 2*h + 31 = -4*z - 71. Is 15/h*2/(4/(-186)) a multiple of 8?
False
Let n be 2104/(-20) - 3/(-15). Does 18 divide -8*(-1 + n/6)?
False
Suppose -4*v = 4*u - 344, -2*v - 2*v - u = -344. Suppose 70*i = 71*i - v. Is 6 a factor of i?
False
Let f be (44/3)/(44/(-66)). Let r = 110 + f. Is 2 a factor of r?
True
Suppose -28*r + 187567 - 108813 = -162578. Is r a multiple of 8?
False
Let b = 7248 - 6022. Does 5 divide b?
False
Suppose -10*c = 5*c - 82680. Does 26 divide c?
True
Suppose 0 = 13*c - 1522 - 1416. Suppose 96*i - c = 94*i. Is i a multiple of 6?
False
Suppose 17*f - 15*f - 5*i = 2975, 0 = 5*f + 5*i - 7385. Does 10 divide f?
True
Let v(m) = 94*m**3 + 6*m**2 + 57*m - 272. Does 148 divide v(4)?
True
Suppose 18 = -8*h + 2. Let q(k) = 34*k**2 + k - 2. Is q(h) a multiple of 22?
True
Suppose -1028*f + 1084*f - 940647 = -142143. Is 97 a factor of f?
True
Let u(m) = 2*m**3 - 10*m**2 - 12*m + 12. Let d be (108/(-30))/((-8)/20). Is 69 a factor of u(d)?
True
Suppose b = -8*l + 3*l + 1193, 0 = -2*l - 3*b + 485. Let c = 332 - l. Is c a multiple of 9?
False
Let v(y) = y**2 + 7*y - 2. Let i be v(-8). Suppose -12*z - 54 = -i*z. Does 6 divide ((-30)/z)/(40/144)?
True
Let n(m) = 4*m**2 + 3*m - 20*m**3 - 4 + 40*m**3 - 18*m**3. Let d be n(2). Is 3 a factor of (9/(-6) + 0)*d/(-3)?
False
Suppose 2*l - 32 = -4*n + 2*n, 54 = 4*n + 2*l. Suppose -9 = -m - 2*m, o + 5*m - 6 = 0. Let r = n - o. Does 19 divide r?
False
Let f(n) = -15*n + 1. Let c(q) be the second derivative of q**4/12 - 4*q**3/3 + 5*q**2/2 - 6*q. Let o be c(6). Does 26 divide f(o)?
False
Suppose h = -4*q + 27, 7*q - 9*q = 4*h - 10. Let r = q - -39. Is 3 a factor of r?
False
Suppose -3*u - 4*h = -2562, -3*u + 7*u = h + 3435. Suppose 0 = -n + 3*d + 279, 0 = -4*n + n + 2*d + u. Is 46 a factor of n?
False
Let t(d) = -1856*d - 4987. Does 139 divide t(-11)?
True
Let w = -9853 + 15802. Does 9 divide w?
True
Suppose 20653 = 5*b + 6703. Does 18 divide b?
True
Suppose 3*j = -4*v - 108, 4*v - 8*j + 4*j + 136 = 0. Let u be (3*59)/(v/(-20)). Suppose u = 3*h - 104. Is h a multiple of 7?
False
Let c = 15347 + -14102. Is c even?
False
Suppose -17*v + 46600 = -7*v. Is 20 a factor of v?
True
Suppose -2*l = -0*l + 3*z - 9, 11 = 3*l + 2*z. Suppose -l*s + 0 + 12 = 0. Is s even?
True
Let z(s) = -543*s + 11594. Is 20 a factor of z(10)?
False
Suppose 3*d + 2 - 11 = 0. Let z(o) = 8 - 3 - 27*o + 1 + 39*o. Is z(d) a multiple of 35?
False
Let u = -3256 - -9098. Is u a multiple of 46?
True
Let c(g) = -g - 7. Let z be c(-10). Does 10 divide z + -4 + -3 + 881?
False
Let b = -43 + 119. Let n = b - 15. Suppose 96 = -57*s + n*s. Is 6 a factor of s?
True
Suppose 0 = o - 4*i - 4059, 0 = 2*o + 7*i - 7810 - 353. Is o a multiple of 69?
True
Suppose 17*l = 15*l + 14. Suppose -3*k - 5*c + 210 = 0, 5*c + 144 = 2*k + l*c. Is 3 a factor of k?
True
Does 39 divide (-11)/(55/36660)*(2 - 3)?
True
Let b = 3467 - -4147. Is 54 a factor of b?
True
Let q = -45 - 180. Is 2/(-9) - 188150/q a multiple of 22?
True
Suppose -m = 523*o - 520*o - 17977, -2*o - m = -11983. Is 18 a factor of o?
True
Let w = -26944 - -53932. Does 52 divide w?
True
Let l = -38 - -41. Let j(h) = h**3 + 20*h**2 + 2*h + 14. Let y be j(-19). Suppose w - z - 123 = 0, -l*z = 3*w - y - 8. Is 12 a factor of w?
False
Suppose 59 = 