14. Does 9 divide g(-19)?
False
Let l = 9150 - 4079. Is l a multiple of 11?
True
Let d = -4453 + 15061. Is d a multiple of 13?
True
Let y(r) = -22804*r**3 - 2*r**2 + 326*r + 327. Is 7 a factor of y(-1)?
False
Let w = -2058 + 2711. Is w a multiple of 4?
False
Let k(f) = 6*f**2 - 7*f + 110. Let x be k(8). Let u = 620 - x. Does 14 divide u?
True
Let t be 1 - (3 + -10 + 15). Is (-16)/10*t/(21/1170) a multiple of 13?
True
Let u be (5 - (-2)/(-2)) + (-27 - -28). Suppose -3*j - 24 = -c, -5*c + u*j + 74 = -96. Suppose 0 = 3*f - c - 0. Is f a multiple of 5?
False
Let v(x) = -2*x**2 - 97*x + 155. Let f be v(-50). Does 7 divide (-1*(9 - f))/(4/(-74))?
False
Let z(k) = -8*k**3 + 38*k**2 - k - 1. Does 4 divide z(-3)?
True
Let b = -9627 - -15152. Is 17 a factor of b?
True
Suppose -2*q - 5*v - 15 = 0, 0 = -6*q + 3*q + 3*v + 30. Suppose 584 = q*b - 7*h + 3*h, -464 = -4*b + 4*h. Is b a multiple of 16?
False
Suppose -j = 2*n - 32, -4*n + 31 = j - 3*n. Suppose 12*b = 5*v + 16*b - 26, 3*v - 3*b - 21 = 0. Suppose j = v*o - 5*o. Does 15 divide o?
True
Let m(k) = -k**2 - 14*k + 15. Let d be m(-13). Let i = d + 572. Is i a multiple of 60?
True
Suppose -2*l + 271 = 7. Suppose 2*g - 4 = -101*m + 103*m, 3*m + 4 = 2*g. Suppose f - 201 = -3*v - 69, m = -3*v - 4*f + l. Does 6 divide v?
False
Let k(w) = -2*w**2 - w + 184. Let b be 1943/87 - (-2*1)/(-6). Let d be (26/b - 1) + (-50)/275. Is k(d) a multiple of 23?
True
Let k = 89 - 89. Let y(g) = -2*g**2 - 3*g + 248. Let q(j) = 3*j**2 + 5*j - 372. Let h(n) = -5*q(n) - 7*y(n). Is h(k) a multiple of 22?
False
Let n = -331 + 447. Suppose -104*q - 5508 = -n*q. Does 9 divide q?
True
Is 5/(75/45)*454 a multiple of 13?
False
Let i = 16 - 27. Let f(b) = -3*b**3 - 5*b**2 + 2*b**3 - 3 + 17 - 4*b**2 + 10*b + 0. Does 13 divide f(i)?
False
Let s(l) = l**2 - 1. Let p(d) = -d**3 + d**2 + 7*d + 7. Let y(v) = p(v) - 2*s(v). Is 24 a factor of y(-4)?
False
Let p(q) = -q**2 + 5*q - 3. Let z be p(3). Does 13 divide 7 + (-1808)/(-9) + z/27?
True
Let v = -125 + 133. Suppose -182 = v*a - 1990. Does 20 divide a?
False
Let u = 6788 - 3714. Is 37 a factor of u?
False
Suppose 0 = -3*h - f + 3646, -4*h - f = -888 - 3975. Is h a multiple of 9?
False
Suppose 3*f + 31 = -5*z, -2*f + f = -z - 3. Let g be (-27)/(-45) + (-72)/z. Suppose -9*h = -g*h + 444. Is 37 a factor of h?
True
Let v(i) = -34*i + 4. Let u be v(-1). Let n be 8*((-10)/8)/(-1). Suppose -n = -r + u. Is r a multiple of 16?
True
Suppose -4*k + 37*r + 45899 = 42*r, 0 = r - 7. Does 26 divide k?
True
Suppose a - 2*o = -2, 6*o = 3*a + o + 3. Suppose a*w = -3*f + 416, -2*f = -10*w + 7*w - 249. Is 11 a factor of f?
True
Let t(j) be the third derivative of j**5/20 + j**4 - 65*j**3/6 + 47*j**2. Is t(-19) a multiple of 53?
False
Let w(v) be the third derivative of v**5/30 + v**4/24 + 85*v**3/2 - 7*v**2. Is 15 a factor of w(0)?
True
Let q(y) = 32*y + 5. Let r be q(4). Let s = 61 - 58. Suppose -3*d - 4*z = -286, r = d + s*z + 31. Does 30 divide d?
True
Suppose 25 = 2*p - 3*p. Suppose -120*d - 68 = -119*d. Let x = p - d. Is 9 a factor of x?
False
Is 36 a factor of -3*2229*(-45)/81?
False
Suppose 3*q - 1 + 1 = 0. Suppose -2*r + 444 = 4*v - q*v, -4*r = 5*v - 552. Suppose 5*i + v = 9*i. Does 6 divide i?
False
Suppose -242*j = -312*j + 50960. Does 9 divide j?
False
Suppose 3087 = 6*l + 3*l. Suppose 0 = 4*u - 5*x - 211, 5*u = 5*x - 73 + l. Let f = u - 6. Does 3 divide f?
False
Suppose 3*m - h + 29 = -0*m, 2*m + 22 = 2*h. Let f be (3/m)/(2/(-714) + 0). Let j = -24 + f. Is 15 a factor of j?
False
Let c(y) = -17*y + 88. Let d be 1/3*6*-2*4. Is 20 a factor of c(d)?
True
Let l(z) = z**3 + 9*z**2 + 10*z + 2. Suppose 29 = -4*y + x, -x + 43 = -5*y - 2*x. Let p be l(y). Let d = 40 - p. Does 11 divide d?
False
Let p(t) = 41*t + 169. Let c(f) = 4*f + 22. Let n be c(0). Is 34 a factor of p(n)?
False
Suppose 72*h + 8198 = 70694. Is 31 a factor of h?
True
Suppose -67*b + 944945 + 197539 = 0. Is 14 a factor of b?
True
Let u(k) = 130*k - 1590. Is 50 a factor of u(18)?
True
Let s = 22658 - 790. Is 77 a factor of s?
True
Let i = -27 - -20. Let z(t) = t + 12. Let y be z(i). Suppose y*a - 193 = -2*x, 5*x + 4*a - a - 530 = 0. Does 25 divide x?
False
Let j = 10413 - 7106. Does 24 divide j?
False
Let u = -2084 - -3938. Does 18 divide u?
True
Suppose 87*g = 72*g + 606600. Is g a multiple of 20?
True
Let v = 15780 - 9747. Is 6 a factor of v?
False
Suppose 47*n = -31*n + 33696. Does 15 divide n?
False
Let n(d) = 11 + 5 + 8*d**2 - 4*d**2 - 7 - 38*d. Does 28 divide n(14)?
False
Suppose 3*k + 88 = y - 208, -5*y = -3*k - 1456. Suppose 0 = 2*l - 166 - y. Is 38 a factor of l?
True
Suppose 5*v + 3362 + 6278 = 3*a, -5*a - 5*v = -16040. Is a a multiple of 10?
True
Let j(n) = 8*n**2 - 18*n + 22. Let u be j(12). Suppose -4*l + a = -u, 5*l + 730 = 8*l + 5*a. Is l a multiple of 17?
False
Let d(g) = 9*g**2 + 6*g + 12. Let y be d(-6). Let c = y - 146. Is c a multiple of 11?
True
Let n(u) = 889*u**2 - 93*u - 469. Is n(-5) a multiple of 20?
False
Suppose 5*i + 49 - 159 = 5*r, 4*r + 3*i = -60. Let k be -39*2/r - 1/3. Is 7 a factor of 106 - (k + 1 + -1)?
False
Let h(m) = 9*m + 15. Let b be h(-2). Let y(l) = -231*l - 21. Does 14 divide y(b)?
True
Suppose 0*q + 2514 = -12*q + 12318. Is q a multiple of 9?
False
Suppose -116 = -4*i - 5*q, q = -4*q + 20. Suppose -5*r - 5928 = -i*r. Is 15 a factor of r?
False
Let r be (7 + 0)*11/(77/70). Let j be 62/(3/(12/(-4))). Let a = j + r. Does 4 divide a?
True
Suppose -13*v + 4083 = -35879. Is 106 a factor of v?
True
Let k(l) = -l**2 - 5*l - 5. Let j be (2 - (-18)/(-5)) + (-2)/5. Let z be k(j). Suppose 2*u + z - 163 = 0. Does 9 divide u?
True
Suppose -4*q = -10*q - 15*q + 135828. Is q a multiple of 44?
True
Suppose 0 = 23*n - 5 - 110. Let a(g) = -g**3 + 9*g**2 + 11*g - 11. Let q be a(10). Is q/((-144)/(-29) - n) a multiple of 13?
False
Suppose 2*g - 4*g + 5*j + 6 = 0, -40 = 4*g + 3*j. Let q = -3 - g. Suppose -q*i - 56 + 408 = 0. Is 22 a factor of i?
True
Suppose -503*v + 166320 = -437*v. Is 84 a factor of v?
True
Let h = 177 - 172. Suppose h*m = 10*m - 3290. Is 47 a factor of m?
True
Suppose 4*h - 256 = 4*p, -2*p = -3*h - 5*p + 192. Let a = -36 + h. Suppose 0 = o - 2*b - 106, -5*b + 483 = 5*o + a. Does 17 divide o?
False
Suppose 2*a - 4200 = 4*y, -4*y + 13568 = 10*a - 7288. Does 24 divide a?
True
Suppose 5*r = -3*z + 8668, r + 3*z - 6932 = -3*r. Suppose -5*v = -12*v - r. Let m = v - -423. Does 35 divide m?
True
Does 106 divide 2 + 13146/4 - (-370)/(-148)?
True
Let s be (141/2)/((-44)/(-8) - 5). Let h = s + -103. Is h a multiple of 38?
True
Suppose -3*q + 10*l + 852 = 7*l, l - 1432 = -5*q. Is 14 a factor of q?
False
Suppose 3*h = -3*z - 42 - 387, -3*h + 3*z - 429 = 0. Let y = h + 497. Is y a multiple of 10?
False
Let s be (-15)/(-6)*16/20. Suppose -y = s*u - 7*u - 15, -5*u = -2*y + 15. Suppose y = 6*v - 531 - 333. Does 12 divide v?
True
Let j be (-15)/5 + 25/5. Suppose -4*l - j*v = 3*v - 570, -l + 4*v = -132. Does 10 divide l?
True
Is 20962/20 + 1/(-4 - 6) a multiple of 8?
True
Let k(a) = 2*a**2 + 3*a + 1. Let o be k(-1). Suppose -4*u + 705 - 225 = o. Suppose 115*s = u*s - 350. Is s a multiple of 13?
False
Let l = -1057 - -671. Let s = -290 - l. Does 32 divide s?
True
Let t(o) = 10*o - 25. Let n be t(2). Let y(g) = 3*g**2 + 37. Does 7 divide y(n)?
True
Let d = 1238 + -986. Does 6 divide d?
True
Let y = 40 - 27. Suppose -6*h + 116 = -4*k, h - 23 = 2*k - 1. Let n = h + y. Does 13 divide n?
False
Let c(d) = -d**3 - 12*d**2 + 52*d + 345. Let b be c(-14). Let m(t) = -2*t + 32*t - 5*t**2 + 4*t**2 + 3. Is 24 a factor of m(b)?
True
Suppose 2*b - 10 = -2*f, 0 = 14*f - 13*f - 4*b + 5. Suppose f*i + 2*m = 299, i - 120 + 18 = -3*m. Is 24 a factor of i?
False
Suppose d + u = 31 - 12, 4*d = -3*u + 80. Suppose -2*b + 65 + d = 0. Is 7 a factor of b?
False
Let f(h) = -7*h**2 - 9*h - 17. Let d(j) = -10*j**2 - 13*j - 25. Let t(r) = -5*d(r) + 7*f(r). Let w be t(-3). Suppose -11*p + 118 = -w*p. Is p a multiple of 24?
False
Let p be (40/3)/((-4)/(3*-444)). Suppose 2*x - 17*x + p = 0. Does 25 divide x?
False
Let v = 15 - -21. Suppose 0 = -75*j + 77*j - v. Is 7 a factor of j - (-8)/(-12)*3?
False
Let w(d) be the first derivative of -d**3/3 + 13*d**2/2 - 18*d + 20. Suppose 0 = -3*n + n - o + 12, 10 = -5*o. Does 5 divide w(n)?
False
Is (28 - 312