
Let v(b) = 2*b + 8. Let r be v(-2). Let o be (-16)/20*150/r. Is 6 a factor of (12/(-15))/(1/o)?
True
Let b be (-2)/(-8) + (-45)/(-12). Let s(g) = -26*g - 333. Let i be s(-13). Suppose 0 = -b*h + i*q + 261, 4*h - 264 = q + 3*q. Is h a multiple of 5?
False
Suppose -42 - 212 = -j. Let c = -176 + j. Is 65 a factor of c?
False
Let n = -7105 + 11519. Is n a multiple of 36?
False
Suppose -3*t = -5*w + 757, 7*w + 588 = 11*w + 2*t. Is w a multiple of 9?
False
Let n(q) = -23*q**3 - 2*q**2 + 2*q + 3. Suppose 0 = 3*c + v + 14, 2*c - 2*v = v - 13. Let r = 4 + c. Is n(r) a multiple of 6?
False
Let n be 0*(4 - (-85)/(-20)) - 6. Does 75 divide 80640/540 + 0 + (-4)/n?
True
Let k(c) = -1357*c - 1421. Is k(-25) a multiple of 16?
False
Let w(y) = -25*y + 320. Is w(-2) even?
True
Let f(p) = -6*p + 38. Let t be f(7). Let z be -2*((-6)/8 + 17/t). Is (6/z)/((-40)/(-50))*32 a multiple of 12?
True
Let q(n) = -3*n. Let z(k) = -192*k + 96. Let m(y) = -60*q(y) + z(y). Does 50 divide m(-17)?
True
Suppose 0 = -3*r - 2*m + 7, 0 = r + 20*m - 19*m - 1. Suppose 3*j = -4*x + 218 + 166, -r*j = 4*x - 648. Is j a multiple of 18?
False
Suppose 0 = -71*v + 287792 + 247406. Does 28 divide v?
False
Let d(u) be the third derivative of u**5/60 - u**4/8 + 2*u**3/3 + 22*u**2. Let l be d(2). Is 3 a factor of l*(-3)/12 - (-216)/16?
False
Is (-1)/(3/12) + (0 + -15660)/(-5) a multiple of 46?
True
Let m = -2017 + 3317. Suppose m = 2*k + 460. Suppose -20*x - k = -22*x. Is 42 a factor of x?
True
Let b(p) = -6*p + 2*p - 2*p + 5 + 3*p. Let h be b(1). Suppose -6*a = -h*a - 324. Does 30 divide a?
False
Let w(g) = -2*g**2 - 230*g - 14. Does 12 divide w(-13)?
False
Let g(t) = 311 - 379 + 103*t - 243. Does 6 divide g(9)?
False
Let o be (-6)/(-4) + 460/8. Let t = o + -30. Let u = -3 + t. Does 11 divide u?
False
Let a be 181/4 - 6/(-8). Let k = 73 - a. Suppose k*m = 28*m - 159. Does 24 divide m?
False
Suppose -2*x + 5*p = -7137, 2*x - 3*p - 4971 = 2160. Does 31 divide x?
False
Suppose 4*a - 614 = 414. Let d be (-3157)/(-14) - 3/(-2). Suppose -a = -3*o - c, 0 = -0*o - 3*o + 5*c + d. Is o a multiple of 7?
True
Suppose 5*b = 5*r - 18315, -7*r + 4*r - 4*b + 11010 = 0. Is r a multiple of 78?
True
Suppose 0 = 1076*d - 1075*d - 1152. Does 24 divide d?
True
Let t be 937 - 8/(40/(-15)). Let h = t - 335. Does 51 divide h?
False
Does 23 divide ((-69069)/13)/(27/12 - 3)?
True
Let s = 4524 + 7275. Is 23 a factor of s?
True
Let q = 17 - 92. Does 14 divide 1354/6 + q/45?
True
Let v = 447 - 399. Is 14 a factor of (3136/v)/(3/18)?
True
Let t(q) = 13*q**2 + 18*q - 178. Let u be t(-15). Suppose 0 = -2*d - 2*c + 1240, -4*d + 12*c + u = 13*c. Is d a multiple of 14?
False
Let l be (-40)/12*6/(-4). Suppose l*v - 879 = v - 3*m, v - 5*m = 191. Does 28 divide v?
False
Let s = -46 - -46. Suppose -6*b - 459 + 1989 = s. Let w = b + -151. Is w a multiple of 5?
False
Suppose -244*r - 122145 + 578800 + 367577 = 0. Is r even?
True
Suppose -64*x = -8*x - 728. Is 4 a factor of (5 + (9 - x))*239?
False
Let l(p) = -52*p + 68. Let k(g) = 104*g - 135. Let h(j) = -3*k(j) - 5*l(j). Is h(-9) a multiple of 41?
True
Suppose 5*l + 50 = 11*h - 8*h, 18 = l + 5*h. Let g(b) = 20*b**2 + 6*b - 23. Is 15 a factor of g(l)?
True
Let f be (-2)/(-13) + 30480/624. Is -1 + -3 + (-7)/(f/(-3668)) a multiple of 13?
True
Is 390760/(-6)*(-99)/132 a multiple of 12?
False
Let n(h) = h**3 - 10*h**2 - 11*h + 9. Suppose 2*s + 2*s + 2 = 2*g, 2*g + 4*s = 42. Let x be n(g). Suppose -14*b + x*b + 1130 = 0. Is 47 a factor of b?
False
Let f(q) = 18*q + 5. Let p be f(-6). Let x be 49878/234 + 2/(-13). Let n = p + x. Does 22 divide n?
True
Is (-47)/(329/3) + (-330826)/(-14) a multiple of 17?
True
Let q be 1*((-2)/10)/((-6)/570). Is 18 a factor of 2/q - 2373/(-19)?
False
Does 41 divide (-975 + 973)*(-3009 - 1/(-1))?
False
Let r(t) = t**3 + 16*t**2 + 39*t + 2. Let i be r(-13). Suppose -i*v + 2144 = 2*w, -11*v + 16*v - 5366 = w. Is v a multiple of 37?
True
Suppose 0 = -5*h + 2*g + 15, 2*h = h - g - 4. Let l be (64/h)/(-4)*-6. Let w = 30 + l. Is 14 a factor of w?
True
Let f(a) = -3*a**3 - 5*a**2 + 14. Let v(t) = t**3 + 2*t**2 + 10*t + 13. Let z be v(-2). Is 38 a factor of f(z)?
True
Does 3 divide 1434 + (-3*4)/((-4)/(80/30))?
False
Does 51 divide (5/2 - 3)*-6546*1?
False
Suppose 23287 = 5*i + 6*y, -382*i - 9300 = -384*i + 5*y. Is i a multiple of 9?
False
Let k be (-14 + -2)/4*(-2)/4. Let d be (k - 14/5)/(6/(-15)). Suppose d*o - 42 = -5*o. Is 2 a factor of o?
True
Let d(a) = -4 + 2 - 6 + 55*a + 2. Suppose -23*m - 4 = -50. Does 26 divide d(m)?
True
Let z(o) = 5*o + 8. Let l be z(-1). Suppose -4*w = 0, 2*h - l*w = w + 4. Is -1*(h - 134) - (3 + -1) a multiple of 30?
False
Let h(l) = 2*l**3 + 3*l**2 - 59*l - 180. Is h(20) a multiple of 22?
True
Let d(b) = b**2 + 4*b - 56. Let s be d(6). Suppose p - 167 = 3*r, -r = s*p + 135 - 829. Is 4 a factor of p?
False
Let j be 8/6 - 4/(-6). Suppose -n + j + 2 = 0. Suppose -p + r - 506 = -5*p, -p + n*r + 118 = 0. Is p a multiple of 18?
True
Suppose -3*m - 6 = 0, -m - 3 = 4*a - 9. Is 3 a factor of 220/88 - (-43)/a?
True
Suppose -3*p - 100 + 7648 = 2*f, 5*p = -20. Suppose -41*j = -50*j + f. Does 6 divide j?
True
Suppose 2489 = n - 9*g + 11*g, 0 = 2*n - 4*g - 5018. Does 3 divide n?
True
Let y be -4 + 39 + -3 - -6. Suppose 35*d + 246 = y*d. Is d a multiple of 8?
False
Let j = 4040 + -1247. Is j a multiple of 49?
True
Let r = -68 - -69. Is 18 + 363 - ((-24)/4)/r a multiple of 81?
False
Let m = -143 + 105. Does 18 divide 5/((-5)/48)*(-44 - m)?
True
Let g be 33/(2/(-2)) + (-2)/1. Does 63 divide 42*((-5)/g + (-512)/(-42))?
False
Let i = 4301 - -507. Is 7 a factor of i?
False
Suppose 41*m + 10617 = -658. Let d = m + 477. Does 3 divide d?
False
Let d(o) = 3*o**3 - 4*o**3 - 9*o**2 + 1 + 0*o**3 + 2*o + 2*o. Suppose 3*z + 32 = -4*b - 2, 5*b = 2*z + 15. Does 17 divide d(z)?
False
Suppose -6481 = -10*o - 2101. Suppose o = -b + 4*b. Does 16 divide b?
False
Suppose -w + 5*g + 50 = 0, 3*w + 4*g - 150 = 3*g. Suppose 5*l - 6*l + w = 0. Is 36 a factor of l?
False
Let z(j) = -3*j**2 + 14*j + 5. Suppose n - 13 = -4*n + 4*a, 5*a = 3*n. Let r be z(n). Suppose -6*g + 341 + 1099 = r. Is g a multiple of 24?
True
Let m = 3272 + 1018. Does 39 divide m?
True
Let o(h) = -62*h + 76. Let y be o(21). Let g = 2026 + y. Is g a multiple of 32?
True
Let m = -1216 + 1741. Suppose -11*s - m = -11998. Does 12 divide s?
False
Let w(k) = k**2 - 16*k + 1. Let r be w(16). Suppose -12*o + r = -59. Suppose -x = 4*y - 1018, 8*y = 11*y + o*x - 755. Does 15 divide y?
True
Is -3 + 10 - (-13)/((-156)/(-21888)) a multiple of 23?
False
Suppose -4*v = -2*g + 10016, g + v = -2947 + 7958. Does 86 divide g?
False
Suppose 82*i - 246*i + 541036 = 0. Is 99 a factor of i?
False
Let g = 8441 + -6368. Does 9 divide g?
False
Suppose -57*y = -44*y + 13. Is 7 a factor of (6 - y)*(-61 - -65)?
True
Let z(k) = 7*k - 158. Let s(h) = h - 1. Let n(v) = -4*s(v) - z(v). Is 9 a factor of n(0)?
True
Suppose 658 = -15*h + 22*h. Is 9 a factor of h/517 + 59*5/11?
True
Let y(i) = -149*i - 2. Let u(z) = 448*z + 5. Let c(o) = -4*u(o) - 11*y(o). Is 50 a factor of c(-3)?
False
Let t = 347 - 279. Suppose 528 = -t*l + 70*l. Does 11 divide l?
True
Let k be (-2)/3*(-33)/11. Suppose -50 = -5*p - o + 10, k*p = -4*o + 24. Does 3 divide 3/p + (-5 - 129/(-12))?
True
Suppose 7*v - 250 = -236. Suppose i = -2*i - 12, 3*r - v*i - 218 = 0. Does 5 divide r?
True
Let t(n) = -203*n - 185. Let a be t(-27). Suppose 0 = 44*v - a + 1380. Does 9 divide v?
False
Suppose 73 = -4*v + 13. Let a = 30 - v. Let b = 77 - a. Is 16 a factor of b?
True
Let y = 6093 - 248. Is y a multiple of 16?
False
Suppose 5*j - 26 = -f, -8 - 22 = -3*j + 3*f. Let l be 3 - -1 - (1 + 0). Suppose -5*q = 2*p - 323, -j*p + 3*p = -l*q - 474. Is 28 a factor of p?
False
Is 627340/45 - 272/306 a multiple of 11?
False
Let h(f) = 4*f**2 + 3*f + 1. Let s be h(-1). Suppose 3 = 4*n + s*k - 1, -n + 1 = 4*k. Is 16 a factor of 8/(-20) + n/(5/497)?
False
Suppose 0 = 17*x + 73 - 22. Is 14 a factor of (5 + x - 1) + (-121)/(-1)?
False
Suppose 4*z - 12 = 0, 0 = 6*n - 5*n - 5*z - 273. Let c = n - 38. Is c a multiple of 9?
False
Suppose -1 = -2*y + 5. Suppose 0 = -5*n - 3*l + 760, 0*n - 5*l = y*n - 472. Does 8 divide n?
False
Let n = -33142 - -38696. Is 27 a factor of n?
False
Let j = 7 + 35. Let p(r