5*x. Let q(n) = 6*n**3 + 8*n**2 - 18*n - 12. Let l(u) = 5*p(u) + 4*q(u). Does 11 divide l(-9)?
False
Let c = -87 + 97. Let v be 13/65 - 12/c. Does 3 divide 46/5 + 4/20*v?
True
Let d(g) = -102*g - 2. Let b be d(-4). Let h = b + -46. Is h a multiple of 30?
True
Let u = -143 + 362. Let k = u + 190. Suppose 2*s - k = -5*p, 3*p + p + 2*s = 328. Does 11 divide p?
False
Let r(c) be the second derivative of -1/2*c**3 - 1/6*c**4 - 18*c - 3/2*c**2 + 0 + 1/20*c**5. Is r(5) a multiple of 6?
False
Let i = -16792 - -26020. Does 40 divide i?
False
Suppose 97*g = 114*g + 8500. Is 82 a factor of g*(-7)/2*(-13)/(-91)?
False
Suppose 77 - 13 = -2*l. Let p = l - -253. Does 17 divide p?
True
Let d(y) = 23*y**2 + 1136*y + 13. Is 31 a factor of d(-56)?
True
Let g(m) = -151*m + 2*m**2 + 70 + 137*m + 0*m**2. Is g(15) a multiple of 29?
False
Let m = -463 + 1233. Let i = 1094 - m. Is i a multiple of 81?
True
Does 66 divide 3168/(4 + -2) - 114/(-19)?
False
Suppose 11757*g - 451869 = 11724*g. Is 23 a factor of g?
False
Let p(a) = 20*a**3 + 2*a**2 - 1. Let u be p(1). Let f(x) = x**2 - 24*x + 69. Is f(u) a multiple of 2?
True
Let i(w) = -208*w + 60 + 58*w - 22 + 10. Does 13 divide i(-4)?
False
Let x = 14594 - 13482. Does 8 divide x?
True
Suppose 4*f - 9*f - 20 = 0, 4*f + 38 = w. Let i(a) = 41*a - 24. Let p be i(w). Suppose -426 = -8*k + p. Is k a multiple of 10?
False
Let j(y) = -y**3 - y + 5. Let u be j(0). Suppose 0 = 3*n - u*q - 6, 3*n - 2*q + 2 = -1. Does 34 divide n*(-2)/(-3)*-68?
True
Let m be (3 + 45/(-10))*20/(-3). Suppose -m*k = -13*k + 780. Suppose 2*s = -3*s + k. Is s a multiple of 26?
True
Does 17 divide 86508/16 - (-3 + 7 + (-52)/16)?
True
Let n(m) = -411*m**2 - 20 + 9*m + 3*m + 822*m**2 - 412*m**2. Suppose 2*s - 2 - 14 = 0. Is n(s) a multiple of 3?
True
Let a(v) = 4*v**2 + 23*v + 141. Is a(-47) a multiple of 94?
True
Let c = 43638 + -24494. Does 8 divide c?
True
Suppose 1508 = -6*y + 8*y. Let l be (5 - 22/4)/((-3)/(-2676)). Let u = l + y. Is u a multiple of 40?
False
Let w = 194 - 192. Suppose -4*i = 16, w*h = -2*h + 2*i + 68. Does 15 divide h?
True
Is 12 - ((2 - 493) + -2) a multiple of 3?
False
Suppose 5*w = -5*a + 5, 2*a + 1 - 2 = -w. Is (1405 + 55)*(2/8 - a) a multiple of 9?
False
Let u(f) = 96*f + 21. Suppose 0 = -w - 5*k - 2 + 1, 0 = -5*k - 5. Does 27 divide u(w)?
True
Suppose 2*g - 1438 = -8*w + 5*w, -w - 2*g = -486. Suppose 0 = 19*v - 5*v - w. Is 3 a factor of v?
False
Suppose 0 = 5*c - 8*c + 852. Suppose -221*n + c = -219*n. Does 16 divide n?
False
Let m be ((-6)/(-15))/(45/(-25))*-9. Suppose v = -5*x + 1399, 4*x = x - m*v + 838. Is 56 a factor of x?
True
Let h = 311 + -166. Let a = h + -29. Does 29 divide a?
True
Suppose j - 3 = -5*f + 3*j, -4*j = f - 5. Is 26 a factor of (-63 + 58)*2*(-26)/f?
True
Is 6 a factor of 1936/2 + 224/28?
False
Suppose -3756 = 27*k - 31*k. Is k a multiple of 46?
False
Let x(s) = -s**3 + s**2 + 24*s + 170. Let k be x(-7). Let o be (2/2)/((-1)/263). Let a = k + o. Is 15 a factor of a?
False
Let b = 911 - 326. Suppose -j = -y + 111, 4*j + b = 5*y + 9*j. Is 38 a factor of y?
True
Let b(f) = -2*f**2 - 329*f - 137. Does 12 divide b(-42)?
False
Suppose 4*q - 4*t = 96, -3*q + 68 = -t - 4*t. Suppose 8*a + q = 10*a. Is a a multiple of 2?
False
Suppose -252*p + 12043 = -802925. Is 49 a factor of p?
True
Let v be 4*-1 + 85*-3. Let o = -122 - v. Let w = 252 - o. Is w a multiple of 23?
True
Suppose 0 = 5*d - 2*c - 17365, 3*d = -3*c + 8734 + 1664. Does 47 divide d?
False
Let n = 13126 + -9031. Is n a multiple of 35?
True
Let q = -158 + 28. Let m(j) = -19*j + 138. Let i be m(11). Let r = i - q. Is 17 a factor of r?
False
Let k = 21819 + 1981. Is k a multiple of 17?
True
Let b(y) = y**2 + 11*y + 127. Let n be b(-38). Let t = -81 + n. Is 8 a factor of t?
True
Is 11 a factor of (-50)/(-150) - (-4)/12*3035?
True
Suppose 188*t + 545*t = 26453970. Is 45 a factor of t?
True
Let j = 2441 + 5789. Is j a multiple of 10?
True
Let w(b) = -9*b + 5. Let f be w(2). Let z(t) = -t**3 - 15*t**2 - 25*t + 18. Let i be z(f). Suppose -i*u + 825 = -3*k, k + 5 = -0. Is 18 a factor of u?
True
Let b(x) = 10*x**2 + x - 6. Let v be b(2). Let q be 48/v*27/2. Suppose -76 = -5*a + l + 14, q = a - 4*l. Is 7 a factor of a?
False
Suppose 29*g - 26*g = 87. Suppose 27*t = g*t - 8. Suppose 536 = t*v + 4*v. Is 19 a factor of v?
False
Suppose -6*z = -20*z + 7658. Let r = -263 + z. Is r a multiple of 14?
False
Suppose 52*q - 47*q = -85. Let t(z) = -z**3 - 20*z**2 - 55*z - 28. Is 4 a factor of t(q)?
True
Let r(b) = -7*b**2 + 10*b - 20. Let x(j) = j**2 + j - 1. Let l(v) = -r(v) - 6*x(v). Let n be l(14). Is 14 a factor of ((-140)/n)/(4 + (-7 - -4))?
True
Let a = -3280 - -3639. Is 10 a factor of a?
False
Suppose -3*d - 737 = 2*v - 2467, v - 5*d - 891 = 0. Is v a multiple of 48?
False
Let x be (-12)/30 + (-106)/10. Let o be (12/16)/((-1)/(-24)). Let r = o + x. Is r a multiple of 3?
False
Let t be -5 + 8/8 + -10. Let i be (-8)/10 - (-3)/(-15). Is (-4 - t)*i*-4 a multiple of 9?
False
Let v(g) = -g**3 - 2*g**2 + 35. Let j be 1/((-15)/(-18) + (-3)/3). Does 6 divide v(j)?
False
Suppose 2*q + 378 = -2*t - 112, -3*q + 3*t - 705 = 0. Let l = 344 + q. Is l even?
True
Let l = 63 - 56. Let t be (l - 3)/(-1) + 1082. Suppose -6*r = 5*r - t. Does 16 divide r?
False
Suppose 0 = 3*u - 49969 + 8845. Is u a multiple of 298?
True
Is 19 a factor of (46 - (-268)/(-6))*(-23313)/(-4)?
True
Suppose 4*r - 3*b - 2 = 2*r, 0 = 5*r + 3*b - 26. Let j be (-12)/(-5)*10*r/16. Is (j/10)/(4/20) a multiple of 2?
False
Let n be 3/(-36)*-76*30. Does 8 divide n - 3*(-2)/(-6)?
False
Suppose 4*g = t + 3, g - 12 + 3 = 3*t. Suppose -h + a + a = -15, g = -3*h - a + 10. Suppose -4*q + 4*r = -56, r - h = 3*q - 55. Does 6 divide q?
True
Is 7 a factor of 2022 + (3 + -17 - -15)?
True
Let i(n) = 4*n**2 - 2*n - 20. Let y = 5 - -38. Suppose -7*l = y + 6. Is 19 a factor of i(l)?
True
Let a be (-2)/(1/(-372 - -4)). Suppose 0 = 7*j - 3858 + a. Is j a multiple of 24?
False
Suppose 4*r - 3*c = 24, 5*r - 5*c = -7 + 42. Suppose -2*s = 4*i + 3*s - 131, 4*i - 125 = -r*s. Does 18 divide 18/8*(-1 + i)?
False
Is 34 a factor of (16/6)/(292/172353)?
False
Suppose 21*i - 4682 = 3046. Suppose -i + 139 = -v. Is 10 a factor of v?
False
Let b = 62 - -11. Suppose a - 59 = -0*a + 3*n, -4*n + b = a. Suppose i + 0*z - 5 = -2*z, a = 5*i + 2*z. Is 2 a factor of i?
False
Suppose -5*z - 702000 = -37*z - 46*z. Is z a multiple of 40?
True
Suppose -2*t - 4*g = -133372, 0*g + 4 = -2*g. Is 57 a factor of t?
True
Let i be (-2)/(-3) - 7/(105/(-50)). Suppose 3*g = 0, -i*g = 3*u - 292 - 959. Is 13 a factor of u?
False
Let d = -9330 - -31179. Is 181 a factor of d?
False
Suppose -17*r = 24*r - 30*r - 22638. Is r a multiple of 4?
False
Let d be (-3)/(9/(-2))*(-1272)/8. Let g = -25 - d. Let j = g + -62. Is j a multiple of 2?
False
Let q(c) = -c**2 - 115*c + 114. Is q(-39) a multiple of 6?
True
Suppose -2*u + 8112 = 4*a, 3*u + 9120 = 4*a + 1018. Is 46 a factor of a?
False
Let b be 2*(1806/4)/(-7). Let r = -63 - b. Let i = r - 3. Does 9 divide i?
True
Let f be ((-9)/(-5))/(72/960). Let c be ((-180)/f)/((-3)/(-8)*-2). Does 46 divide c/(-25) + 1577/5?
False
Let o(p) = -83*p**3 + 3*p**2 - 4*p - 2. Let v be o(2). Is 8 a factor of (4/7 + 66/(-42))*v?
False
Let w = 128 - 129. Is 23 - w - (-22 - -14) a multiple of 13?
False
Let d = -221 - -336. Let q = d - -569. Is 9 a factor of q?
True
Let y be (-1537)/5 - 90/150. Is 3 a factor of ((-9)/(-4))/((-11)/y)?
True
Suppose 26*p = -6*p - 128. Does 10 divide (-76)/(-133) + p/42*-3459?
True
Let s be (-8)/16 - (2 - (-82)/(-4)). Suppose 0 = -s*a + 566 + 2458. Does 11 divide a?
False
Let l(p) = 287*p**2 + 2. Let a be l(1). Let m = a - 168. Is 10 a factor of m?
False
Let l(n) = -2*n**2 + 2*n + 4. Let p be l(2). Suppose -4*g + 17 = -5*v + 49, 2*v + 2*g - 2 = p. Suppose v*t - 8 = 0, -4*x + 306 = 2*t + 82. Does 20 divide x?
False
Suppose -3*c - 1 = -10. Let n be (c/(-3) - (-1)/1) + 0. Is 37 a factor of 148 - n/(12/(-3))?
True
Is ((-80)/(-35) + -2)/(24/3258192) a multiple of 69?
False
Suppose 3*s + 2*j = 3*j, j = -5*s. Suppose -l - 4*d = 4*l - 176, 4*d - 16 = s. Suppose l = 5*b - 73. Does 4 divide b?
False
Suppose 5*j + 4*v - 16092 = 11590, 31*v = -j + 5476. Is 19 a factor of j?
False
Suppose v - 11 = 2*v - 3*z, v + z - 9 = 0. Suppose -g + 173 -