/2). Suppose -u*c - 4242 = -7*c. Is 101 a factor of c?
True
Suppose 0 = 109*k - 105*k - 9944. Suppose 0 = 6*o - k + 134. Is 19 a factor of o?
False
Let t(o) = -565*o - 2513. Does 52 divide t(-5)?
True
Let i(g) = 2*g**3 + 2*g**2 + 2*g - 4. Let b be i(-7). Let k = b + 915. Is k/12 + 33/(-12) + 3 a multiple of 21?
False
Suppose 0 = 9*k - 1 + 253. Let m = k + 33. Suppose 4*h + 0*w = 4*w + 88, 0 = 4*h + m*w - 70. Does 4 divide h?
True
Let t(h) = h**3 + 11*h**2 + 10*h + 8. Let u be t(-10). Suppose -2*q = -0*q - u. Is 6 a factor of 41/2 + q/(-8)?
False
Suppose -41616 = -4*t + m + 15452, -3*t = -5*m - 42767. Is t a multiple of 14?
False
Suppose 2*y + 3 + 9 = 0, 2*y - 75764 = -4*p. Is 64 a factor of p?
True
Let u(b) = b**3 - 13*b**2 - 28*b - 24. Let n be u(15). Let r(o) = 14*o + 4. Is 17 a factor of r(n)?
False
Is (-43 - -1)*(-1 + 9 + 76024/(-476)) a multiple of 18?
True
Let w(z) be the first derivative of 71*z**6/180 - z**5/60 - z**4/12 + 2*z**3/3 + 3. Let f(l) be the third derivative of w(l). Does 24 divide f(1)?
False
Suppose 5*g + 32 + 0 = 2*d, 4*g - 5*d = -29. Suppose 5*n = -0*p - 2*p - 10, -n = -3*p - 15. Is 48 a factor of -5 - (p - g)*-116?
False
Let w(h) = 64*h**2 + 257*h + 1. Let x be w(-4). Let n = 49 + -6. Let z = x + n. Is z a multiple of 4?
True
Let m be 4 + -3 - (-27)/(-3)*-19. Suppose b + 4*o - 62 = 38, 0 = -2*b - o + m. Suppose b = 5*d - 86. Does 7 divide d?
False
Suppose 9*t - 7942 = 26600. Suppose -10*r - 4*o - t = -13*r, -5*r + 3*o = -6415. Is r a multiple of 10?
False
Let d = 10498 + -6615. Does 82 divide (-2)/(-4) - (13 - d/22)?
True
Let t(q) = q**3 - 13*q**2 + 19*q - 11. Let h be t(11). Let u = 26 - h. Suppose -u = -o - o. Does 6 divide o?
False
Suppose 19 = -2*r + 17. Let c be (6/(-2) - -1)/(r/(-3)). Let i(f) = 2*f**2 - 6*f - 3. Is i(c) a multiple of 21?
True
Let z(j) = 1284*j - 18. Is 41 a factor of z(10)?
False
Let b = -49 - -42. Let q(z) = 3*z**2 + z + 20. Let d(s) = -4*s**2 - s - 21. Let w(x) = b*q(x) - 6*d(x). Does 20 divide w(-6)?
True
Suppose 0 = 109*l - 104*l - 18100. Suppose 7*w - l = -8. Does 89 divide w?
False
Let w(m) = 130*m**2 + 35*m + 93. Is 6 a factor of w(-3)?
True
Let f = 3711 + -1905. Does 10 divide f?
False
Suppose -43*t - 2930178 = -128*t + 755337. Is 58 a factor of t?
False
Let l(u) = 0*u**2 + u**2 + 7 - 2*u**2 - u + 0*u**2. Suppose 6*j + r = 3*j + 3, -2*r + 6 = 5*j. Is l(j) even?
False
Let r(l) be the second derivative of -l**2 + 13*l + 0 + 1/3*l**3. Does 7 divide r(7)?
False
Let a(c) = 214*c + 7. Let i be a(4). Let x(k) = 11*k - 2. Let j be x(1). Suppose i = j*r - 73. Is r a multiple of 37?
False
Suppose 0 = -5*r - 321 + 291. Let h(s) = -3 + 3 - 14*s - 15 + s. Is 20 a factor of h(r)?
False
Let w(j) = -j**2 - 14*j + 37. Let f be w(-16). Suppose 2*c - 722 = -4*q + 372, 2*q - 543 = -f*c. Is q a multiple of 35?
False
Suppose -3*j + 3*o + 13 = 1, -5*j = 2*o - 13. Suppose -j*n = 3*z - 2*z - 1497, -4*n - 5*z = -1996. Is n a multiple of 78?
False
Let n(h) = 105*h + 1048. Does 76 divide n(32)?
True
Suppose 78 = -4*f + 90. Suppose -2*n - f*m = -9, 0*n - 3*m = -3*n + 21. Suppose -n*p + 56 = -1036. Does 20 divide p?
False
Let x(d) = -119*d + 89. Let z be x(-6). Let t = 1856 - z. Is 13 a factor of t?
True
Let n(r) = r**2 - 19*r + 38. Suppose q + 2*q - 51 = -5*j, -2*j = -5*q + 85. Let k be n(q). Suppose g - 2*b = -g + 216, -g + 133 = k*b. Is g a multiple of 18?
False
Let l(a) = 6*a**3 - 3*a**2 + a - 2. Let c be l(3). Suppose -128*s - 2072 = -c*s. Is s a multiple of 17?
False
Let t(u) = -1785*u + 15624. Is t(-11) a multiple of 13?
False
Let l(w) = 714*w + 2799. Is l(17) a multiple of 39?
True
Let g = 142 + -149. Let r be -4 + (-906)/g + 6/(-14). Suppose -5*i + r = -5*u, u = -i - 3*u + 25. Is 2 a factor of i?
False
Does 12 divide 76/665*7*(12854 + 1)?
True
Let b(m) = -2*m**2 - m**3 - 21*m - 13*m**2 - 48 + 54. Let u be 1*-13 - (-4)/(-12)*3. Does 52 divide b(u)?
True
Suppose 0 = -107*o + 104*o + 11802. Is 144 a factor of o?
False
Let u = -100 - -104. Suppose -2*r = x - u*r, -11 = -3*x - 5*r. Suppose 287 = 2*s + x*z - 137, 0 = -4*s + 4*z + 832. Is s a multiple of 17?
False
Let l(z) = -326*z - 1499. Is 6 a factor of l(-5)?
False
Suppose 8*n + 20 - 28 = 0. Is 11 - -38 - (n + 1)*-2 a multiple of 2?
False
Let i = -4662 + 8292. Suppose 9*h + 2*h = i. Does 66 divide h?
True
Suppose -90 = -18*v - 0*v. Suppose -4*m - 237 = -o + 433, 3460 = v*o + 2*m. Is o a multiple of 46?
True
Let t(i) = -10*i**3 - 8*i**2 + 84*i + 1411. Is t(-17) a multiple of 31?
False
Does 10 divide (-1837 + 54)/(3/(-3))?
False
Is 11 a factor of ((-21)/14 - -1) + 44900/8?
False
Suppose -51*q + 34*q - 98*q = -3303720. Does 19 divide q?
True
Let y(m) = 16*m + 672. Let g be y(-34). Let d be (-8)/(-28) + 1404/(-14). Let j = g + d. Is 5 a factor of j?
False
Let b = 57 - 52. Let r(f) = -13*f + 12*f + 4*f**2 - b*f - 7*f - 3. Is 29 a factor of r(9)?
False
Let p be 6/18*54/9. Suppose p*q - 1472 = -r, -q - 2*r + r = -735. Is 67 a factor of q?
True
Suppose -59 = -15*s - 74. Does 17 divide 303 - ((-6 - -4) + s) - 0?
True
Let f(x) = -x**2 + 2*x. Let k be f(0). Suppose 3*d - 1351 - 419 = k. Suppose 3*t - d = 4*y, t - 68 - 146 = -3*y. Is t a multiple of 28?
False
Let m = -11084 - -19477. Is 86 a factor of m?
False
Let f(t) = -19*t**3 + 4*t**2 - t - 4. Is f(-3) even?
True
Let w = 44637 + -25464. Is 46 a factor of w?
False
Suppose -m - 6*m = 2*m. Let h = -165 - -188. Suppose m = a + g - h - 2, 4*a - g = 100. Does 5 divide a?
True
Let q be (-8)/(-2 + -2) - 45. Let a = -32 - q. Let h(g) = -g**3 + 12*g**2 - 7*g + 10. Is h(a) a multiple of 5?
False
Suppose 2*y - 4 = 2. Suppose y*x + 3*n - n - 1004 = 0, 0 = -5*x + 5*n + 1640. Does 46 divide x?
False
Does 14 divide ((-182)/(-65))/(22/137720)?
True
Suppose 0 = 4*j - 267075 + 49891. Suppose -9*v - 35*v = -j. Does 86 divide v?
False
Let p be (6 - 4050)/(-6) + -7. Let k = p + -484. Is 9 a factor of k?
False
Is 10 a factor of (9200/60)/(-23)*(-1386)/4?
True
Suppose 179 + 591 = -7*x. Let c = 76 + x. Does 5 divide (4 + c)/(2 + -4)?
True
Let s(a) = -7*a + 85. Let n be s(14). Let u be (-1)/4 - (-1884)/(-16). Let v = n - u. Is v a multiple of 9?
False
Let t = 40972 - 25064. Is t a multiple of 41?
True
Let w = 3695 + 9448. Is 5 a factor of w?
False
Let h(c) = 2*c**3 - 6*c**2 - 14*c - 2. Suppose 18 = 9*j - 0*j. Let d be (-12)/(j/4*(-10 - -6)). Is h(d) a multiple of 13?
True
Suppose -3*d = 5*r - 413 - 282, 0 = 2*d + 5*r - 470. Let j = 300 + d. Does 57 divide j?
False
Let z(v) = 7*v**3 - v + 2. Let i be z(2). Let c be (-584)/i + 6/14. Is (-16 - c)*18/(-4) a multiple of 9?
True
Suppose -3*a + 2907 = t + 598, 3*t - 5*a = 6843. Is t a multiple of 2?
False
Let m(r) = -r**3 + 8*r**2 - 8*r + 10. Let c be m(7). Suppose -c*u - 10 = -7. Is 16 a factor of 4 - (u + 2 + -237)?
True
Suppose 3*q - 1942 = m + 232, q - 5*m - 734 = 0. Does 47 divide q?
False
Let m(w) = -3*w**3 + 112*w**2 - 81*w - 221. Is 124 a factor of m(28)?
False
Let o = 19 - 21. Let h(m) = -2*m**3 - 27*m**2 + 16*m + 10. Let l be h(-14). Does 11 divide (-12)/l*(-33)/o?
True
Let i(a) be the first derivative of -3*a**4/2 + a**3/3 - 3*a**2/2 - 2*a - 10. Let w(l) = l**3 - 10*l**2 - 23*l - 13. Let b be w(12). Is 5 a factor of i(b)?
False
Let j = -9570 + 15992. Is 26 a factor of j?
True
Let z be (2 + -3)*-3 + 0. Let m be (24/(-32))/(z/(-36)). Suppose -5*v + m*v = 336. Does 12 divide v?
True
Suppose 2*c = 4*w - 206, 10*c + 2*w = 12*c + 196. Let u = c + 118. Is u a multiple of 20?
False
Let i = 1536 - 1544. Let w(j) = -16*j - 2 - 11*j - 9*j - 13. Does 27 divide w(i)?
False
Is 22/(-220) - (-1427524)/40 a multiple of 4?
True
Let b(l) = 2*l**3 + 6*l**2 + 4*l - 2. Let o be b(-2). Is 59 - (o/(-2) + 0 + -1) a multiple of 18?
False
Let h(d) = 2*d + 6. Let u be h(-2). Let y(w) = -4*w**3 + 105 + 3*w**3 + 29*w**2 - 28*w**u. Is 35 a factor of y(0)?
True
Suppose -13 = 9*a - 10*a. Suppose -25*x + 12472 = -9228. Suppose x = a*n + n. Does 4 divide n?
False
Suppose -5*a + 2865 = -15*w + 17*w, -3*w = -5*a - 4385. Is 10 a factor of w?
True
Suppose 79*w = 60*w + 108053. Does 47 divide w?
True
Suppose 4*w - 52 = 4*r, 2*r - 7*r - 5 = 0. Suppose 2*s + w*s = 1512. Is s a multiple of 9?
True
Let i be (-13)/(-6) + 40/48. Suppose i*o = 4*o - 814. Is 11 a factor of o?
True
Suppose 3 = -x + 3*d, x + 1 = 3*d - d. Suppose x*l - 