 + 2*o + y, 34 = 5*c - 3*c - 5*o. Is 7 a factor of c?
True
Let j = -195 + 194. Does 20 divide -1*j/(-4) + (-16810)/(-40)?
True
Let f(t) = 7*t - 35. Let x be (60 - 1) + (-7 - -8). Let l = x - 53. Is f(l) a multiple of 13?
False
Suppose 48*h - 39*h = 8451. Let u = h - 649. Is u a multiple of 10?
True
Let k(z) = 3 + 6*z**2 + 3151*z**3 - 3154*z**3 + 0. Is 6 a factor of k(-3)?
True
Suppose l + 23 = -3*w + 4, 2*w - 6 = 2*l. Is 17 a factor of ((-63)/l)/(-9)*-221?
True
Suppose 42 = -2*x - x. Let m = x + 122. Is 6 a factor of m?
True
Let i(c) = 2*c**2 + 12*c + 22. Let p be i(-6). Suppose -1 = 37*d - 36*d. Let q = d + p. Does 3 divide q?
True
Let z(v) = v**3 + 3*v**2 - 38*v + 16. Let h be z(-8). Suppose 170 = 3*c + 4*u, -4*c - 2*u + 169 + 71 = h. Is c a multiple of 12?
False
Let m(u) = u**3 + 111*u**2 - 1202*u + 12. Does 25 divide m(10)?
False
Suppose 0 = -h - 10*n + 12*n + 4880, -19547 = -4*h - n. Is h a multiple of 46?
False
Let x(j) = j**3 + 70*j**2 + 2*j + 3592. Does 63 divide x(0)?
False
Suppose -2*g = -4*v + 3*g + 75, 145 = 5*v + 4*g. Let s = v - 84. Let z = 117 + s. Is 29 a factor of z?
True
Let l(y) = 1003*y**3 - 3*y**2 - 2. Is 89 a factor of l(2)?
True
Let y be (2 - -1)*(-4 - 69/(-9)). Let k(v) = -v**2 + 12*v - 11. Let j be k(y). Suppose d - 27 - 79 = j. Is 19 a factor of d?
False
Let r(o) = 29*o + 70. Let g(u) = 55*u + 140. Let i(a) = -4*g(a) + 9*r(a). Is i(4) a multiple of 9?
True
Let j be (-15)/10*-4 + 25. Does 53 divide (j - 33) + 1648/(-1 - -3)?
False
Suppose 2945 = l + 4*l - 5*y, 0 = -4*l - 3*y + 2356. Let j = l - 386. Is j a multiple of 29?
True
Suppose -h - v = 0, 3*v + 1 + 15 = 5*h. Let p(n) = 114*n + 2. Is 42 a factor of p(h)?
False
Suppose -4*i - 3*p = -731, -5*i = -4*p + 10 - 885. Suppose -4*z + i = 3*v, 0 = 6*v - 7*v - z + 61. Is 65 a factor of v?
True
Let d(g) = g**2 - 3*g + 1. Let b be d(0). Is 10 a factor of 11457/228 + b/(-4)?
True
Let n(g) = -6*g + 3785. Does 11 divide n(14)?
False
Let u(s) = 43*s - 2. Suppose -5*y + 2*v = -y - 2, 2*v = -2*y + 16. Suppose 2*h - o + 1 = 0, y = -o + 8. Is u(h) a multiple of 12?
True
Is 8 a factor of 172/1376 + (43373/24 - (-6)/9)?
True
Let v = 397 + -402. Let t(w) = -3*w**3 + w**2 + 2*w - 20. Does 29 divide t(v)?
False
Let i(y) = -860*y**2 + y + 6. Let h(d) = 172*d**2 - 1. Let x(m) = m - 4. Let z be x(6). Let r(o) = z*i(o) + 11*h(o). Is 19 a factor of r(-1)?
True
Suppose -5*k + 170 + 100 = 0. Suppose n - 81 = -3*n + z, 3*n = 3*z + k. Suppose -15*j - 1188 = -n*j. Is 22 a factor of j?
True
Let w = -23 + 26. Let x be -96*w*5/(-15). Suppose -2*u + 5*u = x. Is u a multiple of 8?
True
Does 68 divide (-8178)/145*((-20)/90 + (-4076)/18)?
True
Suppose 15*f - 483 = 8*f. Let m = -69 + f. Let w(b) = -b**2 + b + 24. Is 8 a factor of w(m)?
True
Let x be 42/(-231) + 34742/22. Let q = 2854 - x. Is q a multiple of 75?
True
Let c = 30 - 13. Let r = c + -17. Suppose -q + 105 = 2*a, r*q + 2*a = q - 109. Does 30 divide q?
False
Suppose 0 = 6*q - 16*q. Suppose 5*u + 27 = 4*s + 5, q = -s - 5*u + 18. Does 25 divide 165*(2/(-10) - s/(-15))?
False
Suppose -47 = -22*w + 19. Is 87 a factor of (w/(-6))/(11/(-5654))?
False
Let b(f) = f**3 + 12*f**2 + f + 16. Let y = -23 - -11. Let o be b(y). Let p(t) = 5*t**2 + 19*t. Does 29 divide p(o)?
False
Suppose -8 + 540 = -19*o. Let g = o + 44. Does 11 divide 3 + (g - 1) + 5?
False
Suppose -5 = -2*j + j. Suppose -j*k + 230 = 3*b, b = 5*k - 9*k + 86. Is b a multiple of 5?
True
Suppose 53*l = 1260216 - 122942. Is l a multiple of 6?
False
Let w = 15 + 62. Let u be (-9*2/(-45))/((-2)/10). Does 17 divide w + (0 + u - 2)?
False
Is 50 a factor of -16 + -2 + 24 + 64044?
True
Let x(z) = 349*z**2 - 79*z + 6. Does 30 divide x(3)?
True
Let k(n) = 2*n**2 + 13*n - 126. Let a be k(30). Let t = -499 + a. Is 10 a factor of t?
False
Let h = -16221 + 57585. Is h a multiple of 15?
False
Suppose 4*q - 2*x = 26 + 14, 4*q + 3*x = 30. Suppose -q*t + 1 = -854. Suppose -30 = -y + 3*h, 6*y - 4*h - t = y. Does 3 divide y?
True
Let x(l) = 7*l - 70. Let n be x(6). Let t(c) = c**2 - 30*c + 9. Does 71 divide t(n)?
True
Let d be 2 + 3/3 - (-2 - -1). Suppose h + 1850 = 4*h - 2*f, -5*h - f + 3079 = 0. Suppose h = 3*p + d*p. Is 17 a factor of p?
False
Suppose -4*y + 3*m = -2*y - 243, 2*y + m - 239 = 0. Let g = 118 - 104. Suppose 0 = 2*i - 5*j - 90, -j - y + g = -2*i. Is 4 a factor of i?
False
Suppose g - 141 = 2*h, 932*g + 129 = 933*g + h. Is 3 a factor of g?
False
Suppose -10*t + 12331 - 4471 = 0. Let o = t - 395. Suppose -o + 158 = -n. Is 38 a factor of n?
False
Let h = 37 + -34. Suppose 261 - 63 = h*x. Let d = x - -1. Does 36 divide d?
False
Suppose -77*j + 54*j + 15985 = 0. Suppose 6*h - j = -569. Is 3 a factor of h?
True
Is (4*(-4)/(-16))/(9/15552) a multiple of 32?
True
Let l = -21167 + 36171. Is 11 a factor of l?
True
Let t = -79 - -82. Suppose t*u + 33 = i, 3*i - u - 107 = -0*i. Is i a multiple of 2?
True
Let l(n) = 2*n**3 - 83*n**2 - 10*n - 118. Is l(43) a multiple of 13?
False
Suppose 11*d + 0*d - 22 = 0. Let r(l) be the first derivative of 7*l**4/4 + l**3/3 - l**2 + 7*l - 1. Is r(d) a multiple of 8?
False
Suppose 4*y = 3*n - 25, -6*y = n - 2*y - 3. Let d(c) = -c**2 + 7*c + 1. Let q be d(n). Let w(a) = 7*a**2 + 4*a - 2. Does 3 divide w(q)?
True
Suppose -27937 + 2122 = -5*z. Let s = -3188 + z. Is 28 a factor of 1/4 + (s/20 - 5)?
False
Suppose 0 = -45*d + 227387 + 47529 + 56914. Is 37 a factor of d?
False
Is 47 a factor of 8547 - (12 - (15 - -10))?
False
Let x(d) = d**2 + d + 2. Let s be x(-3). Suppose 2*l - s*l = -18. Suppose -l*f + 54 = -f. Is 9 a factor of f?
True
Let d = -11823 - -16715. Is d a multiple of 24?
False
Is 37 a factor of (4*11715/2)/(30 + -28)?
False
Suppose 3*v + 33 = a - 41, 3*a - 5*v - 238 = 0. Suppose -2*q - a = -916. Is q a multiple of 19?
False
Let n(u) be the first derivative of -u**4/2 - 4*u**3/3 - 5*u**2/2 - 14*u - 51. Is n(-5) a multiple of 9?
False
Let r(j) = j**3 + 9*j**2 + 6*j + 39. Suppose k = -6 - 3. Let d be r(k). Let g(y) = -y**2 - 18*y - 6. Is g(d) a multiple of 39?
True
Is (-64248)/(-8) + 56/(-8) + -4 a multiple of 20?
True
Suppose -51*z = -60*z. Suppose z = 2*x + 4*q - 1534, 7*x = 2*x + 3*q + 3848. Is 64 a factor of x?
False
Suppose 4*o + 86 = 6*o + m, 2*o = m + 82. Suppose 2548 = 55*q - o*q. Is q a multiple of 28?
True
Let q be (10/15)/(5/15). Suppose -42 = -4*l + 2*b, -10 = -2*l + 4*b + q. Is 5 a factor of l?
False
Let r(t) = t**3 - 32*t**2 - 19*t + 86. Let o be r(33). Let u = o - 409. Does 38 divide u?
False
Let r be -5 + 256 + 24/(-8). Suppose 9*l - 868 = r. Does 31 divide l?
True
Suppose -i = 3*f + 8, -2*i + 36 = 3*i - 4*f. Let o be -55 - 0 - (16/i - 5). Is 120/4*o/(-12) a multiple of 29?
False
Let x(q) = -2*q**3 - 18*q**2 - 2*q + 10. Let z be x(-9). Suppose -z*h + 29*h = 152. Is 38 a factor of h?
True
Suppose 203*w = 202*w + 8, -3*w - 13794 = -2*k. Is k a multiple of 37?
False
Let t(i) be the third derivative of -7*i**4/12 + 7*i**3/3 + 13*i**2. Let u(r) = 15*r - 15. Let l(j) = 7*t(j) + 6*u(j). Is 8 a factor of l(-4)?
True
Let g be (-8)/6*(0 + -6 - -3). Suppose 0 = z - 2*x - 313, g*z - 2*x - 728 = 554. Let f = z - 152. Does 40 divide f?
False
Suppose -9*l + 21 = -2*l. Suppose 66 = l*m + 231. Let h = -38 - m. Is 2 a factor of h?
False
Let f = 120 - 117. Suppose -55 = -f*m + 98. Is m a multiple of 17?
True
Let a be (114/12)/(3*1/6). Suppose 0 = -14*j - a*j + 27192. Is j a multiple of 73?
False
Let j(q) = -q**2 - 17*q + 16. Let p be j(-18). Let t be p*-2*(-2 - -3). Suppose 15 = 3*b, -3*u - t*b + 253 = -139. Is u a multiple of 26?
False
Let z(d) = -8*d**2 - 48*d - 15. Let i be z(-6). Let x(a) = 3*a**2 + 26*a + 3. Does 9 divide x(i)?
True
Suppose 4*s - 40 = -5*a, -s - 2*s + 4*a = 1. Suppose s*u - 2*c - 1034 = 0, -u + 4*c + 0*c + 196 = 0. Is 26 a factor of u?
True
Let f(v) = 13*v**2 + 11*v - 28. Let l be f(-8). Suppose -5*p + 2131 = l. Does 19 divide p?
False
Is 61 a factor of 4 + 16528 - (60/(-6) - -11)?
True
Let s be 241 + 3 + 3 + 0 + -3. Let j be s/(-12)*-3 - 0. Does 10 divide j*2*(63/14 - 4)?
False
Let g = 2 + 1. Suppose 12*i - 63 + 19 = i. Suppose 259 = g*s + i*s. Does 4 divide s?
False
Let b = 161 - 158. Suppose -b*z = -3*k - 735, 3*z - 171 = -k + 584. Does 23 divide z?
False
Let o(s) be the first derivative of 3*s**4/4 - 11*s**3/3 + 17*s**2/2 - 21*s + 11. Is o(6) a