38886)/(-1666) + (-4)/(-98)?
False
Let i(d) = -5*d - 18. Let h be i(-11). Let t = 15 + h. Suppose -v + 8 = -t. Does 13 divide v?
False
Let g(m) = m**3 - 8*m**2 - m + 10. Let f be g(8). Let v be 69 + 2 - ((1 - f) + 1). Let d = v + -59. Does 6 divide d?
True
Let f be (-1 - -2)*(-4 + -1)*-1. Suppose 2*z = 3*n + 174, 5*n - 150 + 575 = f*z. Does 2 divide z?
False
Let d(s) = -45*s**2 - 4*s + 34. Let a(k) = 23*k**2 + 2*k - 17. Let f(r) = 7*a(r) + 4*d(r). Let o be f(-9). Does 20 divide (1/(-2))/(16/o)?
False
Is 23 a factor of ((-316)/6)/((220/(-1170))/11)?
False
Suppose 3*j - 2 = 2*q - 4, 35 = -5*j - 3*q. Let g be 42/j*(-112)/24. Let o = -20 + g. Is o a multiple of 14?
False
Let v be -54 - ((-3)/(-3) - -1). Let k be (-5)/(-2)*(-200)/(-4). Let p = v + k. Does 6 divide p?
False
Let s(w) = 2*w**2 - 23*w - 27. Let q be s(12). Let d = q + 61. Does 3 divide d?
False
Let r(t) = 21*t**3 + 10*t**2 - 3*t - 14. Is r(9) a multiple of 24?
False
Let x = 5746 + -3172. Does 39 divide x?
True
Suppose 2*l - 1976 - 614 = -4*h, -15 = -3*l. Is h a multiple of 56?
False
Suppose 4*u + 933 = 1681. Let c be 3*1 - (-3)/(-3). Suppose 2*b = -3*z + u, c*z - 150 = 2*b + 3*b. Does 13 divide z?
True
Suppose -111*t + 15*t + 284544 = 0. Is 12 a factor of t?
True
Let i(v) = 9*v**2 - 44*v + 16. Let f(p) = 5*p**2 - 22*p + 8. Let g(z) = -7*f(z) + 4*i(z). Let h be 33*7/(42/4). Is 6 a factor of g(h)?
False
Let g = -41 - -40. Let w be g - (-5 - -4) - -70. Suppose 6*f - w = -f. Is 3 a factor of f?
False
Does 91 divide (17740/44 - 6/33)*(26 + -12)?
True
Suppose 0 = -6*t + 30 - 0. Suppose l - t*g = -5, -4 = -5*g + 1. Suppose l = -6*p + 134 + 106. Does 4 divide p?
True
Let c(r) = r - 4. Let i(w) = -18*w - 107. Let u(l) = c(l) - i(l). Does 4 divide u(5)?
False
Suppose 5*j + 2*g - 28005 = -3*g, 5*j - 27991 = 2*g. Suppose 35*u - j = 4201. Is 28 a factor of u?
True
Let o(g) = 86*g + 12727. Is 4 a factor of o(-84)?
False
Let t(h) = h**2 + 3*h + 36. Let k be 3/(36/42)*-2. Is 8 a factor of t(k)?
True
Suppose 5*a + n = 4026, -1624 = -2*a - 7*n + 10*n. Is 31 a factor of a?
True
Let q(s) = 6*s**3 + 7*s**2 - 5*s. Let z(b) = -6*b**3 - 8*b**2 + 6*b - 1. Let w(y) = 6*q(y) + 5*z(y). Let m be w(8). Does 32 divide m/33 + 35/11 + -3?
False
Suppose 48*q - 49*q + 335 = 0. Suppose -11 - 339 = -5*z + v, -5*z = -4*v - q. Let c = z + -62. Does 2 divide c?
False
Let c(x) be the third derivative of x**5/60 + x**4/12 - 5*x**3/2 + x**2. Suppose 35 = 5*h - 5*m, 3*h - 9*m = -7*m + 21. Does 10 divide c(h)?
False
Let s = 12189 + -6684. Does 6 divide s?
False
Let v(d) = 2*d + 127. Let w be v(-57). Suppose 4*c - 88 + 20 = 0. Suppose -c*x + w*x = -392. Is x a multiple of 14?
True
Let n(u) = u**2 - 29*u + 202. Let j be n(17). Let k = -86 + 132. Is k/(-2)*((-2)/j + -2) a multiple of 23?
True
Suppose -3*n + 4*o = -1807, -n - 34*o + 596 = -29*o. Let b = n - 373. Is b a multiple of 9?
False
Let w(f) be the first derivative of 0*f**2 - 7/3*f**3 + 1/4*f**4 + 9*f + 22. Does 9 divide w(7)?
True
Let q be 324/(-63)*7/(-2). Let l be (-4 - (-96)/q) + 1/(-3). Does 20 divide l/(9/(-12)) + 768/36?
True
Let q(b) = -441*b - 921. Does 38 divide q(-7)?
True
Suppose -8073 = 3*a + 2*z - 35460, a - 2*z - 9129 = 0. Is a a multiple of 17?
True
Let u(h) = h**3 - h**2 - 5*h + 3609. Let x be u(0). Suppose 7*l - x = 6639. Is 26 a factor of l?
False
Suppose 181*y = 431*y - 4066000. Is y a multiple of 107?
True
Suppose 7 = 5*l - 13. Suppose -4*f = -l*n + 444, -3*n + 226 + 127 = f. Suppose -4*y = 3*o - 352, o + y = -y + n. Is 10 a factor of o?
True
Suppose -677*x + 689*x - 1536 = 0. Is 4 a factor of x?
True
Let k = 41 + -86. Let l be (-4)/(-10) - 3*(-6)/k. Let h(x) = -x**3 + x**2 + 96. Is 29 a factor of h(l)?
False
Suppose 3*o = -2*d - 11, -5*o = -4*d - o - 12. Let l be (6/d - -1)/(18/36). Does 4 divide -4 + l + 29 + 0?
True
Let r(s) = 4*s + 2. Let h be 1/3*-1 + 2/6. Let x be r(h). Suppose 0 = -2*w - x, 5*w - 57 = -5*b - 7. Does 4 divide b?
False
Suppose 0 = -46*w - 18*w + 56448. Is w a multiple of 12?
False
Let m(z) = -z**3 + 2*z**2 + 2*z + 40. Let r be m(0). Suppose 0 = 2*l - 88 - r. Does 2 divide l?
True
Suppose -n + 2*n = 6. Let f(a) = a**2 - 7*a + 12. Let t be f(n). Suppose k - 4*i = -t, -i = -k + 2*i - 3. Does 6 divide k?
True
Suppose -2*z - 5 = -29. Is (-3)/6 - (-534)/z even?
True
Let p(v) = 2053*v**2 + 147*v + 294. Is 87 a factor of p(-2)?
False
Does 31 divide 1/(-1)*372*((-465)/(-4))/(-3)?
True
Let k(q) = -q**3 - 4*q**2 + 11*q + 10. Let y be k(-7). Suppose 0 = -j + z + y, -2*z + 89 = 2*j - j. Is j a multiple of 16?
False
Let i = -485 - -411. Let h = i + 791. Does 15 divide h?
False
Let u(n) be the third derivative of -43*n**4/24 - 61*n**3/6 - 4*n**2 + 4*n. Is u(-4) a multiple of 5?
False
Suppose 1 = -2*b + 3. Let y be 1*(-36)/(-4)*b. Suppose 12*h = y*h + 366. Does 9 divide h?
False
Let t be (-321)/(-45) + (-1)/(30/4). Suppose -965 = -t*b + 2*b. Does 31 divide b?
False
Let k be (4/(-3))/((-22)/25971). Suppose -322 + k = 4*u. Is u a multiple of 29?
False
Suppose -5*h = -h - 27*h + 57868. Does 34 divide h?
True
Suppose 3*b - 5022 + 1384 = 4*y, b + 3*y = 1191. Does 8 divide 23/46 - b/(-4)?
False
Suppose -3741 = -3*w - 32*l + 28*l, -5*l = -4*w + 4926. Is 3 a factor of w?
True
Let z(s) be the first derivative of s**4/4 - 11*s**3/3 - 5*s**2/2 - 12*s + 7. Let r be 16 - (2 + -1 + 3). Does 27 divide z(r)?
False
Let x(r) = 157*r - 6. Suppose -5*l = -u - 2*u - 3, l + 1 = u. Does 31 divide x(l)?
True
Suppose -d + 4*o + 6 = -0, 3*d - 18 = -o. Let j be (-35)/(-14) + (-9)/d. Is 2 a factor of (1 + 3 + j)*1?
False
Let z = 63 + 762. Suppose 205*i = 202*i + z. Is i a multiple of 11?
True
Let p = 25289 - 14824. Is 162 a factor of p?
False
Let a be 2432/((-4)/(-6) + 0). Suppose -600*m + 606*m - a = 0. Does 16 divide m?
True
Let w = 6128 + 10525. Is 77 a factor of w?
False
Let f(i) be the third derivative of -i**5/60 + i**4/3 - 11*i**3/6 - 21*i**2. Let l be f(5). Suppose -98 = -5*r + l*r. Is 42 a factor of r?
False
Let h(n) be the second derivative of -n**4/12 + 13*n**3/6 + 23*n**2/2 - 12*n. Let f be h(11). Let o = 90 + f. Is o a multiple of 13?
False
Let n(s) = -7*s + 13. Let c be n(-6). Suppose -3*v + 163 = c. Is v a multiple of 6?
True
Suppose 4*h = 20, 2*h = -k + 5*k - 70. Suppose -3*m - 2*m = w + 41, -2*m - 4*w - k = 0. Is m/2 + -1 + 26 even?
False
Is 25 a factor of (1525 - 1)*(-91 - -92)?
False
Let w(x) = -x**3 - 17*x**2 - 235*x - 1. Is w(-10) even?
False
Is 1065/10*(-22 + 68) a multiple of 71?
True
Let f = -13225 - -18530. Does 83 divide f?
False
Let m = -268 - -375. Let d = m + -35. Does 18 divide d?
True
Suppose 3*p - 11*p - 32160 = -14*p. Is 7 a factor of p?
False
Suppose -14482 = -3*b + 2*a + 21767, 3*b - 36249 = -2*a. Is b a multiple of 17?
False
Suppose -39*h = -895212 - 153225. Is 7 a factor of h?
False
Suppose -21*h - 976 = -23*h. Suppose 5*r = r + h. Does 21 divide r?
False
Let u(m) = -24*m**3 - 2*m**2 + 2*m + 2. Let i be (6/1)/(-2) + -3 + 4. Let a be u(i). Suppose -6*p + 88 = -a. Is 9 a factor of p?
True
Let y(x) = -30*x**3 - 19*x**2 + 16*x - 13. Is 10 a factor of y(-7)?
False
Let g = 73 + -73. Suppose 2*d + g*d = 572. Is 22 a factor of d?
True
Let p be (16 + 5)*8/6. Does 7 divide (p/(8/(-2)))/(5/(-35))?
True
Let g(l) = 14*l + 52. Let o(w) = 16*w + 51. Let y(u) = -5*g(u) + 4*o(u). Let p be y(-7). Is 14 a factor of (-1378)/p - ((-18)/(-7))/6?
True
Let k(n) = n**2 + 12*n + 2. Let b = -57 + 45. Let f be k(b). Suppose 3*s - 122 = -f*c + s, -c - 3*s + 69 = 0. Is c a multiple of 20?
False
Suppose 23*v - 9455 = -8*v. Let h = v - 291. Is h even?
True
Let o(a) = 6 + a**2 + 89*a - 11*a**3 + 21*a**2 + 22. Let y(j) = -4*j**3 + 7*j**2 + 30*j + 9. Let g(z) = 3*o(z) - 8*y(z). Is 8 a factor of g(12)?
True
Suppose -6 = 11*j + 38. Is 29 a factor of (2 + -4)*1*160/j?
False
Let d be 4 + 18/(-12) + (-1)/2. Suppose d*s - 41 = 75. Suppose 5*z + k + 0*k - s = 0, -5*z - 4*k = -52. Does 10 divide z?
False
Suppose 11*p - 93894 = -6774. Does 33 divide p?
True
Suppose -13*x = -4*x - 27. Suppose 2*v + 2*w = 326, -x*v + 4*w - w = -519. Does 42 divide v?
True
Let b = -41 - -22. Let l = -1 - 2. Let q = l - b. Does 4 divide q?
True
Is 9 a factor of (-1 - (-3286)/2) + (83 - 78)?
True
Let j = -1 + -2. Let z be -1*(1 + -4)/j. Does 3 divide (z/2)/(6/(-72))?
True
Let u(o) = -18*o + 279. Let 