ppose 3*o - 349 = 5*h + 57, -4*h = 3*o - c. Is 44 a factor of o?
False
Suppose -12*g = -29*g + 3723. Is 16 a factor of -5*(-6)/10 + g?
False
Let w be (-9)/(((-93)/155)/((-2)/(-5))). Is (-1533)/(3 - w) + -3 a multiple of 21?
False
Let f(i) = -199*i - 2261. Does 4 divide f(-16)?
False
Let g(w) be the third derivative of -1/6*w**4 + 8/3*w**3 + 0 - 33*w**2 + 0*w. Is g(-3) a multiple of 14?
True
Suppose 4*f + 89724 = 3*f + w, -5*w = -3*f - 269168. Is 45 a factor of (-2)/(-20) + f/(-340)?
False
Suppose -2*g - 1470 + 10693 = 3*q, 2*g = 4*q - 12288. Is 13 a factor of q?
False
Let j = 19 - 38. Let o = j - -104. Suppose 71 = -2*a + o. Is 2 a factor of a?
False
Let d(a) = -56*a + 91. Let y(l) = 2*l - 1. Let x(k) = -d(k) + 6*y(k). Is 17 a factor of x(5)?
False
Let r(v) = v**2 + 6*v + 3. Let y = -2 - 7. Let a be r(y). Suppose -6*z - a = -2*s - 4*z, -3*s = -5*z - 51. Is s a multiple of 3?
True
Let s = 2581 + -457. Is 50 a factor of s?
False
Suppose 0 = -2*s + f + 9939, -4*s + 0*s = 4*f - 19860. Suppose s = 590*x - 584*x. Is x a multiple of 10?
False
Let c = -18 + 177. Suppose 4*o - 818 + c = 5*n, -3*o - 3*n = -474. Is 22 a factor of o?
False
Suppose -4*x + y = -26, 3*x + 4*y = 4*x - 14. Suppose 192 = x*d - 3*d. Suppose 0 = j - 4*a - d, 193 = 5*j - j + 5*a. Is 13 a factor of j?
True
Suppose -4*i - 1288 + 3726 = -5*x, 0 = 4*i + 3*x - 2454. Is 12 a factor of i?
True
Suppose 4*r = x + 3825, 3*x = 2*r - 6*r + 3805. Suppose r - 10 = 3*y. Does 45 divide y?
True
Let g be 579*1 + (9 - 5). Suppose 0 = -3*t + g + 557. Is 20 a factor of t?
True
Let u(z) = 19687*z**3 - 31*z**2 + 28*z + 2. Does 17 divide u(1)?
True
Let n be 3 - (18 + -2 + -9). Suppose -b + 6*c - c - 118 = 0, -5*b = 3*c + 646. Is 6 a factor of ((-5)/n)/((-16)/b)?
False
Let n(t) = -5*t - 57. Let p be n(-5). Does 13 divide (-898)/(-6) + p/48?
False
Suppose 317*n = 396*n - 1513045 + 526888. Is n a multiple of 8?
False
Let o = -1894 - -3114. Let l = 9177 - 9168. Suppose l*b - o = -320. Does 5 divide b?
True
Let o be (102/4)/((-15)/(-3960)). Suppose 2278 - o = -17*y. Is y a multiple of 4?
False
Let h = 2486 + -2536. Let o(g) = -g + 8. Let q be o(0). Does 2 divide 375/h*(0 + q/(-10))?
True
Let w(z) = -277*z + 182. Does 51 divide w(-1)?
True
Suppose -h = 2*u - 1581, -10*h + 12 = -14*h. Is u a multiple of 4?
True
Does 25 divide 10693 - 17 - (-3)/(-3)?
True
Let s(y) = 54*y**3 + y**2 + 3*y + 1. Let x be s(-1). Let h = x - -1036. Does 37 divide h?
False
Does 50 divide (298768/(-710))/(2/(-10))?
False
Let i(p) = -38*p + 3. Let u be i(15). Let y = u - -606. Is 13 a factor of y?
True
Let i(q) = -q**3 + 15*q**2 + 3*q - 37. Let w be i(15). Suppose w*k - 252 = 412. Suppose 7*o = -k + 566. Is 23 a factor of o?
True
Suppose -235795 = -36*a - 20805 + 96050. Does 72 divide a?
True
Let h(o) = 5*o + 61. Let r be h(6). Is (5 + r/(-21))/((-2)/(-753)) a multiple of 24?
False
Let r(l) = 217*l + 1656. Does 33 divide r(34)?
False
Let k(c) be the third derivative of 0 - 1/24*c**4 + 0*c - 7*c**2 + 19/6*c**3. Is 2 a factor of k(8)?
False
Let s(d) be the first derivative of -3*d**4 - d**3/3 - d**2/2 + d - 39. Does 11 divide s(-1)?
False
Let q(k) = -21*k**3 + 22*k**2 + 37*k + 105. Is q(-13) a multiple of 12?
False
Suppose -2*x + 6 = x, -i = 2*x - 115. Let r = i + -101. Is r a multiple of 3?
False
Suppose -2*h - 11*p + 18303 = 3931, 5*h - 2*p = 36048. Does 68 divide h?
True
Let x(k) = k**3 - 3*k**2 + k. Let s be x(2). Does 8 divide 57 - -46 - (-1)/s*-2?
True
Suppose -8*u + 3108 - 548 = 0. Is 15 a factor of (u/(-24))/(0 + (-2)/21)?
False
Let d = -3531 - -3418. Suppose -y = 2*y + 567. Let h = d - y. Does 10 divide h?
False
Suppose -5*f - 1352 = -322. Let l = f + 314. Does 9 divide l?
True
Let u(q) = 128*q + 4. Let i be u(-5). Let x(s) = 4*s**3 + 177*s**2 + 46*s + 90. Let a be x(-44). Is 15 a factor of (i/(-1*a))/(39/26)?
False
Let k be 1 - (861 - -7)/(-7). Suppose -1321 + k = -4*b. Is b a multiple of 12?
False
Suppose -7*w = -14140 - 25823. Suppose 1599 = 9*c - w. Does 58 divide c?
True
Let m = -118 - -42. Let w = m - -69. Let l(h) = 3*h**2 - 11*h - 44. Is 30 a factor of l(w)?
True
Suppose -63*t = -5133 - 2364. Is 7 a factor of t?
True
Let w = 492 - 477. Suppose w*f + 296 = 2276. Is f a multiple of 4?
True
Let c be 13*3/33 - (-8)/(-44). Let b be (0 - c)*2/(-1). Is 1 + (b - 130)/(1 - 2) a multiple of 43?
True
Let k(u) = 4*u**2 - 3*u - 25. Let v be k(6). Let d = 189 - v. Does 8 divide d?
True
Let f(j) = j**2 + 20*j - 62. Let d be f(3). Suppose -208 = d*b - 1657. Does 9 divide b?
True
Let o(c) = 75*c - 202. Is 11 a factor of o(75)?
True
Suppose 0 = -i - 83 + 425. Let b = i - 198. Suppose b + 28 = 2*v. Does 10 divide v?
False
Let o(l) = -5*l**3 - 22*l**2 + 13*l + 24. Is o(-16) a multiple of 141?
True
Let r(f) = -11*f - 94. Let l be r(-9). Suppose -6*v + v + 758 = g, -v - l*g = -166. Is v a multiple of 15?
False
Suppose -64*v - 151691 = -v - 680765. Is v a multiple of 26?
True
Let r(n) be the third derivative of -169*n**4/24 - 11*n**3/3 + 237*n**2. Is 27 a factor of r(-7)?
True
Let k = 2356 - 230. Does 63 divide k?
False
Suppose -5*v - 62*c + 54002 = -61*c, -2*v = -c - 21598. Is 108 a factor of v?
True
Let v(n) = -8*n**3 - 24*n**2 + 4*n - 21. Is 34 a factor of v(-15)?
False
Let k(t) = -24*t - 12 + t**3 - 11*t**2 + 3*t**3 - 3*t**3. Let u be k(13). Suppose -u*o + 606 = -8*o. Is o a multiple of 11?
False
Let x = -16007 - -23259. Is 28 a factor of x?
True
Suppose q + 3*y = -234 + 860, -5*y = 3*q - 1870. Does 7 divide q?
False
Let z = 150 - -393. Does 19 divide z?
False
Suppose 298 = 4*v + 70. Let u = v + -54. Let d(m) = 21*m - 15. Is 16 a factor of d(u)?
True
Suppose 5 = -37*u - 180. Let t(n) = -2 - 4*n - 3*n - 6. Is 9 a factor of t(u)?
True
Let u(n) = -n**3 + 7*n**2 - 13*n - 10. Let w be u(4). Let k(m) = 2*m**2 - 4*m - 44. Is k(w) a multiple of 10?
False
Let n(m) = 3*m - 16. Let c be n(6). Let i(v) = 3 + 926*v**3 - 9*v**c + 6*v + 5 - 924*v**3. Does 8 divide i(6)?
True
Let h be 6/(-9)*((-96)/4)/4. Suppose -z = -0*o - o + 82, h*o - 336 = 2*z. Suppose v - 2*s - o = 0, 3*v - 78 = -4*s + 190. Is 12 a factor of v?
False
Suppose -3*a + 5128 = 12*m - 2*a, 3*m + 3*a = 1293. Is 11 a factor of m?
False
Let k be 16/(2 + 2) - -124. Let x = 308 - k. Is x a multiple of 6?
True
Let u(f) = 5*f**2 - 5*f + 5. Let n be u(1). Suppose 2471 = n*r + 391. Does 10 divide r?
False
Suppose 11*i - 10*i - 2*c = 0, i + 6 = -4*c. Is 22 a factor of i + 1 + (-1)/((-1)/720)?
False
Suppose -5*j = -k + 5, -5*k = j - 0 - 25. Suppose j = -93*i + 97*i - 380. Is 10 a factor of i?
False
Suppose -3*h = p - 6, 0*h - 4*h + 8 = -4*p. Suppose -7 = h*a - 13. Suppose -a*t + 2*q = 3*q - 291, 0 = -5*t + 3*q + 499. Is t a multiple of 11?
False
Let d = -219 - -222. Suppose 2*s = 0, -d*v + 2*s + 2324 = -244. Is 46 a factor of v?
False
Let z = -23176 + 33116. Does 9 divide z?
False
Suppose 82*y - 443434 = 151230. Is 259 a factor of y?
True
Let r(b) = -24*b**3 - 4*b**2 - 2*b + 2. Suppose 255*p = 259*p + 8. Is 13 a factor of r(p)?
True
Let m(t) = 309*t**2 + 1176*t - 5847. Does 18 divide m(5)?
True
Let f = -3075 - -6301. Let i = f + -969. Suppose -11*h + i + 185 = 0. Is h a multiple of 45?
False
Is 6*45941/42 + 12 a multiple of 18?
False
Is 30 a factor of (-13684)/(-1) - ((-2 + -5 - -9) + 2)?
True
Suppose 6 + 30 = 3*w - 5*r, -20 = -2*w + 2*r. Suppose 5*h = 53 + w. Is (-294)/(-18) + h/(-9) a multiple of 2?
False
Suppose 108660 = -26*v + 21*v. Does 52 divide v/(-76)*2 - (-6)/57?
True
Let w = -59 - -56. Let j(o) = -2*o**3 - 2*o**2 - 2*o - 1. Let f be j(w). Suppose f = 3*u - 142. Is 17 a factor of u?
False
Let t = -6087 + 12860. Is t a multiple of 38?
False
Let d(y) = -3*y**3 - 42*y**2 - y - 61. Does 3 divide d(-16)?
True
Let h = 20 + -7. Let a = h - 10. Suppose 4*c - a*q = 132, -3*c - 4*q = -4 - 70. Does 3 divide c?
True
Let q = -734 - -3544. Is q a multiple of 77?
False
Let i(x) = 2*x**3 + 6*x**2 - 2*x + 1. Let f be i(-5). Let b(j) = 47*j + 1877. Let p be b(-41). Let o = p - f. Is 21 a factor of o?
False
Is -2 + 4 + (2/(-4))/((-34)/97444) a multiple of 40?
False
Suppose -2*g = -6*g - 644. Suppose -2200 = 19*n - 11*n - 4*v, -4*v = -3*n - 830. Let a = g - n. Is a a multiple of 9?
False
Suppose 0 = 2*o - 2*g + 6*g + 2, -4 = 2*g. Let k be 3 - (o - 3 - 2). Suppose 13*c - 704 = k*c. Does 11 divide c?
True
Let