et u(x) = -37*x + 611. Is u(13) a multiple of 3?
False
Is 186 a factor of ((-33)/(-22))/((9/(-930))/((-318)/5))?
True
Is (-2981)/3*(109 + -127) a multiple of 21?
False
Let q(v) = -v**3 + 7*v**2 - 2*v + 19. Let j be q(7). Suppose k - 377 + 88 = 4*c, 4*k - 1200 = j*c. Does 13 divide k?
False
Let p(f) = 13*f**2 - 7*f - 10. Let j(s) = -s**2. Let t(r) = 3*j(r) + p(r). Let a be t(-5). Let n = a + -174. Does 16 divide n?
False
Suppose 48 - 46 = -w, -2*n = -3*w - 54486. Is n a multiple of 120?
True
Is (-1 - -11872) + (-34)/(-102)*-9 a multiple of 12?
True
Suppose 4*z - 133 = j, 0 = -2*z - j + 2*j + 65. Let h = -29 + z. Suppose -93 = -2*p - 5*c, 0 = 3*p + h*c - 141 - 6. Does 18 divide p?
True
Is 0 - (4 + -11) - 2777/(-1) a multiple of 96?
True
Suppose -72471 - 140145 = -12*b. Does 38 divide b?
False
Does 33 divide -7 + (-11 - (7 + -20249)) + -1 + 0?
False
Let r(v) = 56*v + 190. Let g be r(-3). Let n(o) = -o**2 + 27*o + 82. Does 16 divide n(g)?
True
Let l = 19500 - 13542. Does 66 divide l?
False
Suppose 2*w - 3*w - 4*p + 14 = 0, 4*w = 4*p - 4. Suppose 29*i = 27*i - w. Is i - (-8)/(-4) - -1*42 a multiple of 14?
False
Suppose 0*x - 171396 = 7*x - 76*x. Is 9 a factor of x?
True
Let x = 59 + -55. Suppose -4*a = 3*p - 6, -x*a - 10 = -5*p - 0*a. Is 2 a factor of (p + -3)/(4/(-44))?
False
Suppose 4*x = d + 567, -x - 91*d + 89*d = -135. Is x a multiple of 13?
False
Suppose 0 = -8*t + 833 - 265. Suppose -f - 2*m - 66 = -5*f, 3*m - t = -4*f. Suppose w - f + 7 = 0. Is w a multiple of 10?
True
Does 73 divide 1452/121 - (-2 + (-17054)/2)?
True
Does 85 divide 120/(-3000) + 926501/25?
True
Let v be 1*-2 - (-30 + -214). Suppose 12*h - v = -10*h. Is h even?
False
Suppose 0 = -39*x + 49145 + 13918. Is 3 a factor of x?
True
Is 13 a factor of 2526 + 1/(-10)*(-2750)/55?
False
Let w(y) = 110*y + 9969. Is 93 a factor of w(-12)?
True
Suppose -2336*b = -2348*b + 27744. Does 17 divide b?
True
Let k(n) = -2*n**3 - 12*n**2 - 8*n - 2. Suppose 2*t = m + m - 40, 2*t = 5*m - 103. Let r be 6/9*m/(-2). Does 38 divide k(r)?
True
Let v(p) = -p**2 - 3*p + 57. Let q(h) = h**2 - 4*h - 1. Let j be q(5). Let r be -1*((-8)/j + 2). Does 19 divide v(r)?
True
Let t(y) = 2435*y - 2603. Does 188 divide t(5)?
False
Suppose 26*j = 5*m + 30*j - 52353, -3*j = m - 10475. Is 29 a factor of m?
True
Suppose -4*l + 42061 = 3*y + 16524, -6380 = -l - 5*y. Is 111 a factor of l?
False
Let s be (-70)/(-20)*(-20)/(-14). Let f = -30 - -30. Suppose -s*b - 4*m + 6*m + 613 = f, -2*m + 355 = 3*b. Is 16 a factor of b?
False
Let h(u) = 266*u + 1636. Does 63 divide h(16)?
False
Suppose 8*b + 68559 = 181759. Is 10 a factor of b?
True
Suppose -22*t + 225 = 49. Suppose 2*q - 9*p - 407 = -t*p, -q + 206 = 2*p. Is 51 a factor of q?
True
Suppose 28*q - 32*q = 32. Is 3 a factor of 2*((2 - -106) + q/16)?
False
Let z = 397 + -52. Is (192/5)/(46/z) a multiple of 16?
True
Suppose -m - 8*m = -13321 - 9152. Is m a multiple of 4?
False
Suppose -6*k - 44 = 5*k. Is 6 a factor of k - 2 - (-4 - 1515/5)?
False
Is 3 a factor of 741/1482 - (4/(-2) - 32012/8)?
False
Let h be (1132/(-6))/(1/(-6)). Let p = h - 390. Does 41 divide p?
False
Let m(w) = -w**3 + 68*w**2 - 24*w - 2103. Does 12 divide m(61)?
False
Let u(a) = -1919*a - 706. Does 155 divide u(-6)?
False
Let a(j) be the third derivative of j**6/120 + 11*j**5/60 + 23*j**4/24 + 4*j**3/3 - j**2. Let t be (-4)/9 - 4760/630. Does 8 divide a(t)?
True
Suppose 0*t - 7*t = -392. Suppose t = 2*q + 58. Is 13 a factor of (-1)/q - (-61 + 10)?
True
Suppose 29*t + 19510 - 93480 = 253846. Is 157 a factor of t?
True
Let p(k) = 3*k - 24. Let r be p(9). Suppose -6*o = -11*o - 3*a + 173, -5*a = -r*o + 131. Is o a multiple of 29?
False
Suppose -2009*l = -1980*l - 526292. Does 26 divide l?
True
Suppose 4*b - 102 = 2*d, -5*d + 3*b - 49 = -4*d. Let v = d + 58. Is 12 a factor of (6/v)/(-3 - 111/(-36))?
True
Let a = 43408 - 30251. Is 17 a factor of a?
False
Let s(t) = t**3 + 5*t**2 + 6. Let c be s(-5). Suppose 46 + 14 = -c*v. Is 22 a factor of ((-4)/(-6))/(v/45) + 85?
False
Suppose 0 = -3*y + 2*v + 5223 + 242, 0 = -3*y - v + 5471. Is y a multiple of 43?
False
Let o be 7*((-54)/(-21))/3 - -3. Suppose 6*l - o*l = -9. Suppose -2*i - 2*n - 99 = -3*i, -l*i - 2*n = -257. Is 15 a factor of i?
False
Does 3 divide ((-12)/(-4))/(20/(-8))*7825/(-10)?
True
Let q(l) = -5019*l - 1134. Does 49 divide q(-5)?
True
Does 133 divide 12/54 - 220/(-270)*13134?
False
Is 23 a factor of ((-2)/(2*-1))/((-1121)/(-2139989))?
True
Let m be 0 + 14 + 3 + -5. Suppose 0*l + l = -u - 21, -4*u - 36 = l. Is 54/m*l/(-6) a multiple of 6?
True
Does 15 divide ((-172825)/(-93))/(3/243*3)?
True
Let r = 2915 - 2442. Is 18 a factor of r?
False
Suppose -107*d + 100*d = 1337. Let q = d - -514. Is 22 a factor of q?
False
Let d(c) be the first derivative of 1/3*c**3 + 7/2*c**2 - 10*c - 9. Does 20 divide d(-10)?
True
Suppose -i - 8 = 25. Suppose -5*t = -0*t + 220. Let p = i - t. Does 5 divide p?
False
Suppose 5*w = -5*v + 105250, -v = 1011*w - 1007*w - 84194. Is 6 a factor of w?
True
Let w(u) = 4*u**2 + 11. Let j be w(-6). Suppose 361 = 3*l - j. Is l a multiple of 4?
True
Suppose -f - 705*h + 702*h = -7421, -5*f + 37118 = 2*h. Is f a multiple of 15?
False
Let t(l) = 2*l**2 + 9*l - 9. Let r(p) = -p**3 - 6*p**2. Let n be r(-6). Let m be (-1 + n)*(0 - -4 - -3). Is 13 a factor of t(m)?
True
Suppose 0 = -45*l + 40*l + 10. Is 2 a factor of (-36 + l)*(4 - 0 - 5)?
True
Let p(x) be the second derivative of x**4/2 - 34*x**3/3 - 3*x**2 + 230*x. Is 54 a factor of p(15)?
True
Let m = 28 + 68. Suppose 95*h + 211 = m*h. Is 33 a factor of h?
False
Suppose 36717 + 71563 - 27640 = 45*d. Is 68 a factor of d?
False
Let p = -30575 + 34809. Is 146 a factor of p?
True
Suppose 1275527 + 371368 - 404067 = 114*t. Is t a multiple of 23?
True
Let p(v) = -v**2 + 6*v + 11. Let k be p(7). Suppose k*u = 3*n + 6, 0*n = -n + 2*u - 4. Is 127 + 4 + (-4)/n + -1 a multiple of 17?
False
Let i = -21 - -85. Let u = 70 - i. Let w = u + 138. Is 36 a factor of w?
True
Let w = -15 + -239. Let u = w + 344. Does 45 divide u?
True
Let s(g) = -4 - 4 + 39*g - 156*g**2 + 178*g**2. Does 14 divide s(-4)?
False
Let r(w) be the first derivative of 19*w**5/60 + w**4/24 + 10*w**3 - 18. Let l(f) be the third derivative of r(f). Does 13 divide l(5)?
False
Let x(a) = 20*a**3 - 27*a**2 - 5*a - 14. Does 170 divide x(8)?
False
Let w = -943 + 1425. Does 6 divide w?
False
Is (50/(-625) + 780808/(-525))/(8/(-36)) a multiple of 181?
False
Suppose w + 336 = 2*i, -12*i + 15*i + 3*w - 504 = 0. Is i a multiple of 12?
True
Let p(z) = 53*z - 420. Is 4 a factor of p(56)?
True
Suppose -2889 = 5*j - 8204. Let d = -684 + j. Does 28 divide d?
False
Suppose 7*r = -20*r + 810. Let x(q) = 3*q + 83. Is x(r) a multiple of 5?
False
Suppose 3*y - 8*y + 980 = 0. Let q = 792 + -788. Suppose 0 = q*r + y - 632. Is r a multiple of 19?
False
Let g = 40 + -39. Let p = g + 3. Suppose 128 = 4*n + p*y, n + 2*n = 2*y + 116. Is 6 a factor of n?
True
Let y(h) = -h**3 - 8*h**2 - 6*h - 3. Let j = -1 + -61. Let r = j + 54. Is y(r) a multiple of 6?
False
Let q = -9774 + 15139. Suppose 2*m - 2*w = -10730, -m - 3*w = -2*m - q. Is 18 a factor of (-1)/4 - m/20?
False
Let n = -755 - -4283. Is n a multiple of 42?
True
Let t = 4679 + 590. Is t a multiple of 11?
True
Suppose r + 2*v - 195 = 0, 16*r - 595 = 13*r - 4*v. Is 3 a factor of r?
False
Suppose -24 = -3*n - 5*d, 12 = 2*n + d + d. Let k be (n/2)/((-3)/(-8)*1). Suppose 0 = -15*b + k*b + 319. Does 5 divide b?
False
Is (-9)/((-1512)/4230588) - 2/28 a multiple of 31?
False
Let d be 90/54 - 8/(-6). Suppose 0*r + 4*j + 1457 = d*r, -3*r + j + 1451 = 0. Is r a multiple of 31?
False
Let v be (5/(-2))/(4*3/(-72)). Suppose -4*y + 1824 = v*y. Does 48 divide y?
True
Let c = 1506 + -393. Let w = c + -147. Is 23 a factor of w?
True
Suppose -175*s = -178*s - 72. Is s/((4/(-2))/34) a multiple of 34?
True
Let f(u) = 32*u**2 - 374*u - 46. Let i be f(12). Let v be 1 + -4*(-13 + -2). Let d = i + v. Does 15 divide d?
True
Suppose -3*z + 2*n + 2661 = 0, -2327 = -5*z - 5*n + 2133. Is z even?
False
Suppose -x - 11 = -5*s, 3*x + 16 - 13 = 5*s. Suppose 3*l = -0 + 6. Suppose 3*i = l*k + 218, -i + 0*i = x*k - 68. Is i a multiple of 9?
True
Let o(d) = 2*d**2 - 23*d + 15. Let j be o(10). Let p be (-9)/j - ((-609)/(-15) - -1). Let a = 18 - p