 i = -1281 - -23457. Does 25 divide i?
False
Let k(j) = 3*j - 134. Let f be k(44). Is (-21792)/(-64) + 1 + 1/f a multiple of 11?
True
Let p be 8/((-6)/(-21)*7). Suppose -2*d + p*l + 726 = 0, -d + 4*d - 3*l - 1095 = 0. Is 26 a factor of d?
False
Suppose -2*p = c - 5, -4*p - 24 = -c - 19. Does 23 divide -7 - 1*(-15)/c - -1200?
True
Let q be 124/(-93)*57/(-4). Suppose 3*g + 14*h - 237 = q*h, 4*h + 395 = 5*g. Is 17 a factor of g?
False
Let r(y) = 20 + 0*y + 24 - 2*y - 4*y. Let w be r(7). Suppose 3*o = b + 24, -o - 12 = -w*o - b. Is 4 a factor of o?
False
Let y = 18217 + -12299. Is y a multiple of 24?
False
Suppose -53 = 10*b + 127. Is ((140/3)/4)/((-2)/b) a multiple of 35?
True
Suppose 0 = 4*i - 6*i - z + 261, -4*i = -3*z - 527. Let b = i + 336. Is b a multiple of 50?
False
Let p(f) be the first derivative of -f**3/3 + f**2/2 + 16*f + 27. Let y be p(4). Is 42 a factor of (-1)/(y/(-1404)*3)?
False
Suppose -5*u = 250 - 850. Let x = 15 + -6. Suppose x*p = u + 78. Does 6 divide p?
False
Suppose i + 3*i = -40. Let q be 844/i + (-12)/(-30). Let u = 133 + q. Is u a multiple of 12?
False
Let n = 62376 - 31843. Is n a multiple of 16?
False
Let p = -66 + 73. Let d(r) = -25 - p - 31*r + 17. Is d(-5) a multiple of 23?
False
Let f(m) = -69*m**3 + 4*m**2 + 8*m + 84. Is 27 a factor of f(-5)?
False
Suppose 3*b - 4*c - 260 = 0, -1 = 4*c - 5. Does 11 divide 4/((-2)/b*-2)?
True
Let n be 5772/3 - (1 + 5 + -2). Suppose -6708 = -14*u - n. Is 19 a factor of u?
True
Let q = 78 - 70. Let v be ((-7)/((-70)/q))/((-2)/(-5)). Suppose -u + c = -18, 0 = 2*u - 4*u - v*c + 36. Is u a multiple of 6?
True
Let r(a) = 2 + 2*a - 2*a + 3 + 2*a**2. Let u(b) = -b**2 + b. Let z(n) = -r(n) - 4*u(n). Does 13 divide z(7)?
True
Suppose -155*q + 197740 = 20*q - 2101760. Is 45 a factor of q?
True
Let l = 410 + -991. Let f = l - -836. Is 15 a factor of f?
True
Let t = 23833 - 22883. Is 10 a factor of t?
True
Suppose 12 = 3*t, 4*r + 2*t - 15472 - 2184 = 0. Is 106 a factor of r?
False
Let m = 21372 - 13692. Is 30 a factor of m?
True
Let v(z) = -z**3 + 4*z**2 + 2*z - 4. Suppose -i - 4*m = 4, -i + 2*m - 3*m = -2. Let a be v(i). Suppose -a*k + 74 = w, -k - 4*k + 77 = w. Does 16 divide w?
False
Let g(u) = -u**2 + 13*u + 14. Let r be g(14). Suppose 4*z = 5*m - 134 - 1880, -4*z + 16 = r. Does 22 divide m?
False
Let k(r) = -r**3 + 4*r**2 + 4*r + 7. Let i be k(5). Suppose -i*j = -78 - 146. Let l = j - 61. Does 17 divide l?
True
Let d(t) = t + 8. Let x be d(-4). Let m be (-2)/8 - (-1 + (-2837)/x). Suppose 41*w - m = 36*w. Is w a multiple of 12?
False
Let q be (5/3)/(7/84*4). Suppose q*d = d + 4. Is 4/(8/358) + d a multiple of 7?
False
Let f(g) be the first derivative of -g**4/4 + 14*g**3/3 - 13*g**2 + 2*g + 102. Is f(11) a multiple of 4?
False
Let b(q) = 21*q**3 + 11*q**2 - 7 + 3*q + 8*q - 19*q**3 + 3. Does 4 divide b(-3)?
True
Suppose -39*z - 34*z = 38*z - 149073. Does 2 divide z?
False
Let r = 10715 + -9513. Is r a multiple of 3?
False
Suppose -11*c + 1433 = -3517. Suppose -3*r + 675 = -5*z, -11*r + 13*r - c = -3*z. Is r a multiple of 4?
False
Let s(g) = 3*g**3 + 40*g**2 + 23 - g**3 - 3*g**3 + 26*g**2 - 50*g**2. Let z be (-2)/9 + 292/18. Is 23 a factor of s(z)?
True
Does 70 divide ((-155862)/63)/(6/(-4) + 1)?
False
Let x be -5*(-4)/(20/3). Suppose x*s + 2*y - 8 = 0, -3*s + 2 = -2*s + y. Suppose -s*j = 4*g - 141 - 327, 0 = j + 2*g - 114. Does 18 divide j?
False
Suppose 242*y = -63*y + 3010045. Is 16 a factor of y?
False
Let y be 3*2/2 - 3/1. Suppose 4*g - 14 + 2 = y. Suppose -4*l - g*b = -2*b - 400, -b = -4. Is l a multiple of 19?
False
Suppose -4*q - 41506 = -2*h, 94970 = 3*h - 4*q + 32725. Is 14 a factor of h?
False
Let s = 301 + -296. Does 4 divide (-13)/(13/(-112)) - s?
False
Suppose -5*n - 5*v = 100, v = 2*n + 5*v + 50. Let w be -2 + n*(3/(-3))/3. Is (-81)/(-6) + w/(-2) + 0 even?
True
Let h = -18348 + 22566. Does 37 divide h?
True
Let f(m) = 174*m + 32. Let n be f(9). Suppose -4*j - 2*r + n = 0, j - 2*r - 407 = -0*j. Does 17 divide j?
False
Let k = 3 + 14. Let g = k - 18. Is (34/4)/((-1)/(g - 1)) a multiple of 17?
True
Suppose 15*h = 2*h - 7969. Let b = -128 - h. Is 9 a factor of b?
False
Let c = -6 + -1. Let o(u) = -2*u - 11. Let l be o(c). Suppose y - 3*x - 60 = 0, -l*y + x = -162 + 22. Is 11 a factor of y?
False
Suppose 16*i - 17*i + 2 = 0. Suppose 12 = i*z - 4*v, -3*v = 3*z + z + 20. Is 14 a factor of (-3 - (37 - z))*(-2)/3?
True
Let k(p) = 115*p + 33. Let h be k(3). Let i = h - 55. Does 9 divide i?
False
Let r = -23 + 67. Let v = r + 22. Suppose -8*f - v = -10*f. Does 7 divide f?
False
Is 52/(-702)*18 + (-2 - (-11770)/3) a multiple of 49?
True
Suppose -4*b + 4*v = -336, -424 = -5*b + 5*v - v. Let q(l) = 2*l - 4. Let y be q(3). Suppose b - 18 = y*u. Is u a multiple of 7?
True
Let q be -3 + 1 - 2880/(-16). Suppose t + 2*t - 5*s = 900, -2*s + 289 = t. Let w = t - q. Is w a multiple of 39?
True
Let z = 22 + -22. Let o be z + (-2238)/33 + 10/(-55). Let f = o + 78. Is 6 a factor of f?
False
Let t(h) = -226*h + 1112. Is 9 a factor of t(-13)?
True
Suppose -4*c = -5*a + 8, c - 8 = -2*a + 3. Suppose -3*s - 838 = -2*u, 5*s + 2368 = a*u + 694. Suppose -4*f + u = 4*h - 476, -4*f = -8. Does 33 divide h?
False
Let x = 22 - 27. Let h be ((-14)/(-4))/((-295)/(-60) + x). Does 6 divide (h/5)/(2/(-10))?
True
Let o = 41337 + -24210. Does 99 divide o?
True
Suppose -5*i - 2*o + 4*o = -16, 0 = 4*i - o - 11. Let m(s) = 14*s**i + s - 8*s**2 - 8*s**2 + 8 + 23*s. Does 10 divide m(11)?
True
Let n be (-4)/10 - 189/15. Is (-12)/2 + (-3978)/n a multiple of 32?
False
Suppose 2*n + 9*i = 2203, 0*n + 3*i = -3*n + 3273. Is n a multiple of 2?
True
Suppose -106*i + 316400 = -71*i. Is i a multiple of 10?
True
Suppose -4*c + 5*y = 659, 4*c - 4*y + 660 = -0*c. Let u = 236 + c. Is 10 a factor of u?
True
Let i(j) = 57*j**2 - 65*j + 684. Does 14 divide i(11)?
False
Suppose -10*i + 109 = 29. Suppose -q + 444 = -g, g + i = 3*g. Is 20 a factor of q?
False
Let m be 12/2*(-266)/(-57). Let i be 6/(-21) + 36/m. Is 24 a factor of (-144)/15*((-99)/6 - i)?
True
Let a(n) = -239*n + 765. Is 8 a factor of a(-5)?
True
Let x(p) = 8*p**2 - 5*p + 4. Let u = 28 - 34. Let h be x(u). Let o = -178 + h. Is 16 a factor of o?
True
Suppose -13*c = -u - 17*c + 486, 24 = 4*c. Is 66 a factor of u?
True
Is 14 a factor of (1870/35)/((-15)/(-735))?
True
Let h(m) = 2*m**2 + 4*m - 14. Suppose -43 = 4*q + b, 5*q = -3*b + 6 - 65. Let r be h(q). Suppose -7*i + r = -295. Does 7 divide i?
True
Suppose 2 = -2*r - 2*h, -12 - 4 = 4*h. Suppose 2*y - r*s - 202 = 0, 5*s = 5*y - 83 - 412. Does 21 divide y?
False
Suppose -3*p - p + 17 = w, 0 = -4*w - 2*p + 12. Let d be -12*(6/(-4) - -2)/w. Is 5 + -2 - (-104 + d + 3) a multiple of 22?
True
Let u = 29 - 17. Suppose 9*z - 12*z = -u. Suppose 3*h = m + 300, m - 400 = -z*h - 2*m. Does 15 divide h?
False
Suppose -30*x = -922 - 218. Suppose -2*n - 2*h + 119 = n, x = n + h. Is 6 a factor of n?
False
Suppose m + 5*c - 9 - 18 = 0, 2*c - 8 = m. Suppose -o + 6*o = 225. Suppose 2*z + z - m*h = 107, z = 3*h + o. Is 10 a factor of z?
False
Suppose -3*h + 2*a + 11014 = 0, -11*a - 8 = -7*a. Is h a multiple of 13?
False
Suppose -57*j - 125621 = -383546. Is 2 a factor of j?
False
Let c be (-2)/3 - (-42)/9. Suppose -f = -0*j - j + 2, -c*j - 4*f = -24. Is 14/8*(8 - j) a multiple of 6?
False
Suppose -24 = 4*o - o, -3*b + 5*o + 11995 = 0. Is 136 a factor of b?
False
Suppose -255*w - 4143047 + 18785657 = 0. Does 287 divide w?
False
Let c = 27 - 22. Suppose -c*w - 2*w = 21. Does 4 divide (-4 - w)*(-21)/1?
False
Let r = -160 + 150. Let b be (r/20)/((-3)/24). Does 10 divide 10 + (7 - (b + -2))?
False
Suppose 0 = -44*h - 68*h + 229152. Is 66 a factor of h?
True
Suppose 3565 = -0*g + 3*g - a, 0 = -g - a + 1191. Let h = g - 199. Does 45 divide h?
True
Let o = -180 + 189. Does 14 divide 3786/o*(21/14)/1?
False
Let x = 22802 - 22337. Is x a multiple of 31?
True
Suppose 0 = 2*z - q - 23, 3*z - 9*q - 38 = -4*q. Does 9 divide (3 - z/((-66)/12)) + 130?
True
Suppose 2*p + 4*r = 20, -5*p + p = -4*r - 40. Let a be 5/10 - p/4. Is 9 a factor of ((a/2)/(-1))/(2/72)?
True
Suppose 82*c = 48820 + 689836. Is 16 a factor of c?
True
Let g(y) = 356*y - 867. Is 227 a factor of g(50)?
False
Let n(b) be the second derivative of 7/6*b**4 - 4/3*b**3 - 9*b - 1/20*b**5 + 5*b**2 + 0. D