31*g**2 + 52*g + 47. Is c(-29) a multiple of 17?
True
Let d(j) = 5*j**2 - 2*j - 2. Is d(2) a multiple of 3?
False
Let x = 1636 + -136. Suppose 11*q = -q + x. Is q a multiple of 26?
False
Let k(q) = -6*q. Let u be k(-1). Let p(x) = -x**3 + 8*x**2 - 3*x + 3. Is p(u) a multiple of 6?
False
Is 7 a factor of 168/54*(-24)/(-28)*6?
False
Is ((-42)/12)/7 - 2055/(-6) a multiple of 19?
True
Suppose 3*v + 180 = v. Let y = 15 - v. Is y a multiple of 21?
True
Is -51*146*(-5)/15 + -2 a multiple of 31?
True
Let c be (18/10)/((-27)/(-45)). Suppose 11*j - 456 = c*j. Is j a multiple of 22?
False
Let t = -182 + 311. Let v = t + -24. Is v a multiple of 15?
True
Let z(o) = -83*o + 297. Does 36 divide z(-9)?
True
Suppose -17*g = -5574 - 9794. Does 17 divide g?
False
Let w = 262 - -102. Is 12 a factor of w?
False
Suppose -49*h + 14*h + 26145 = 0. Is 20 a factor of h?
False
Let h = -3 + 12. Suppose -h*b + 1638 = -0*b. Does 16 divide b?
False
Let r be (24/9)/(-2)*-3. Suppose -12 = -4*p + 4*m, -2*p + 7 = -r*m + 1. Is 1*-10*p/(-2) a multiple of 13?
False
Let w(r) = -11*r**2 + 2*r. Let l be w(2). Is 7 a factor of (8 - 9)*(l + -2)?
True
Let a(o) = -o**2 + 19*o + 11. Does 27 divide a(14)?
True
Suppose 5*f = -5*p - 4385, 0*f - 3*p = -f - 873. Let d be 28/(f/220 - -4). Is (-2)/(-10) + d/50 a multiple of 31?
True
Suppose 3*a - 2*v - 93 = 723, 5*v = 0. Suppose -4*j + 0*j + a = 0. Does 17 divide j?
True
Let l = -62 - -124. Suppose -5*n + 114 = 4*j - 0*n, 5*n - l = -2*j. Suppose -z = -3*z + j. Does 3 divide z?
False
Suppose -17*n = 367 - 7949. Is n a multiple of 18?
False
Is 1046*(-4)/20*10/(-4) a multiple of 32?
False
Suppose 7575 = 5*k + 3*t, -1784 - 1246 = -2*k + 5*t. Is 7 a factor of k?
False
Suppose -c - 1468 = -5*l, 21*c = 3*l + 16*c - 894. Is 11 a factor of l?
False
Suppose -4*o - 1 = -5*u + 6, 2*u = -o - 5. Let f(h) = 4*h**2 + 2*h + 1. Let x be f(u). Suppose -3*s + 24 = 2*r, x*r - 4*r = 4*s - 2. Is r a multiple of 3?
True
Let t = 45 - -560. Is 55 a factor of t?
True
Let v be -1*6/21 + 12/(-7). Let g(f) = -43*f - 13. Does 17 divide g(v)?
False
Does 21 divide 5/(-35)*-3227 + (-5 - 0)?
False
Let p = 21 - 17. Suppose -p*z + 6*z - 210 = 0. Let d = z - 45. Does 15 divide d?
True
Suppose -3*x = -4*x. Is (1 - 0)*94 - x a multiple of 13?
False
Suppose 8*u - 179 + 1851 = 0. Let k = u + 344. Does 27 divide k?
True
Suppose 29*l = 30*l - 2. Suppose 3*z + 4*y - 171 = 7*y, -5*z + 278 = l*y. Does 7 divide z?
True
Let j be (6/(-4))/((-2)/4). Let k = -29 + 34. Suppose 3*r + 5*q + 218 = 6*r, 0 = -k*r - j*q + 386. Is r a multiple of 21?
False
Let d be -1 + 1 + 4 + -5. Let l be (-1)/(0 + d) + 2. Does 13 divide (-2)/(l - 1) - -14?
True
Let a = -15 + 18. Suppose a*t + 78 = 261. Let r = t + -30. Is r a multiple of 28?
False
Suppose -m = -2*w - 5, -3*m + 2*w + 3 = -0. Is m/(25/13 - 2) a multiple of 3?
False
Suppose 9*n - 6*n - 1960 = -2*o, 3*o + n - 2947 = 0. Does 5 divide o?
False
Let j(z) = 2*z - 7. Let b be j(7). Let l = b + -3. Is 38 + 1 + (l - 5) a multiple of 9?
False
Suppose -4*n = -5*a - 365, 3*n = 6*n - 5*a - 275. Is 12 a factor of n?
False
Is 17 a factor of (-1)/((-2)/942) - -5?
True
Suppose -2*b = 5*z - 647, 944 + 37 = 3*b + 4*z. Does 13 divide b?
False
Let a(x) = x**2 + 4*x - 2. Let f be a(1). Suppose p + 72 = f*p. Does 9 divide p?
True
Suppose 25*k - 53720 = 8*k. Is k a multiple of 10?
True
Let q(m) = -2*m**3 + 28 + 6*m**3 - 18 + 3*m**2 - 3*m**3. Does 5 divide q(-3)?
True
Let t(u) = 39*u - 126. Is t(12) a multiple of 18?
True
Let c be 12*(4 + -1)/(-3). Does 3 divide (12 - 0) + 10 + c?
False
Suppose 36 = 3*u - z - 2*z, 2*u - 3 = -5*z. Let m = u - -3. Is 6 a factor of m?
True
Suppose j - 3123 = 5*v, 0 = 8*j - 4*j - v - 12568. Is j a multiple of 24?
False
Let q(n) = -n**3 + 6*n**2 + 6*n - 6. Let v be q(7). Let g = v + 82. Is 23 a factor of g?
True
Let v = -14 - -422. Does 34 divide v?
True
Let j = 41 - 17. Suppose -2*s + s = j. Let m = -14 - s. Is m a multiple of 6?
False
Let m be (4 - (-1 - 3)) + -4. Is 9 a factor of (-25)/((3/18)/((-6)/m))?
True
Suppose -25*l = -29*l + 16. Does 3 divide 24 + (-8)/((3 - l) + -1)?
False
Let u = -18 - -2. Let n = 17 + u. Let g = 10 - n. Does 2 divide g?
False
Suppose -4*r + d = -3*d - 2068, 0 = -4*r - d + 2048. Does 32 divide r?
False
Suppose 20*r = 27*r - 644. Suppose -4*m = -4*u + 80, 5*u - 2*m + 7*m = 60. Is 24 a factor of r + u/(-2 + 6)?
True
Does 12 divide 0 - (-2 + -22)/((-3)/(-18))?
True
Let p(g) = -9*g + 8. Let s(c) = -8*c + 8. Let n = 14 - 18. Let d(l) = n*p(l) + 5*s(l). Does 12 divide d(-12)?
False
Let r = -27 - 146. Let f = r - -72. Let j = -53 - f. Is j a multiple of 24?
True
Suppose 1 = -3*x + 3*z + 4, -5 = 3*x + z. Let v be x/1 + 5/1. Is ((-4)/5)/(v/(-130)) a multiple of 13?
True
Suppose 74*d + 16235 = 91*d. Is 15 a factor of d?
False
Let w be (12 - 13)/(1/3). Let u = w - -5. Is (-14)/(u/2 + -2) a multiple of 14?
True
Suppose -228 - 116 = -4*s. Does 43 divide s?
True
Let h(r) = -2*r - 15. Suppose -13 = d + w, 0 = -5*d + 5*w - 5 - 20. Let k be h(d). Suppose k*y - 22 = y. Is 3 a factor of y?
False
Let t = 687 - 300. Does 15 divide t?
False
Suppose -18*p + 22*p = 388. Is p a multiple of 36?
False
Let m(i) = -3*i - 8. Let h(l) = -2*l - 4. Let s(r) = 5*h(r) - 2*m(r). Is 8 a factor of s(-5)?
True
Let w(z) = 1. Let a(g) = -15*g + 1. Let p(o) = -a(o) - 5*w(o). Suppose 0 = 6*b - 2*b - 20. Is p(b) a multiple of 23?
True
Is (-50)/(113/23 + (-30 - -25)) a multiple of 38?
False
Let a(u) be the first derivative of -u**5/20 - u**4/6 - u**3/3 - 2*u**2 + 3*u - 2. Let d(c) be the first derivative of a(c). Is d(-4) a multiple of 12?
True
Suppose -j - 40 = -0*j + f, 0 = -j - 4*f - 49. Let i = j + 47. Is 10 a factor of i?
True
Let x = -175 - -544. Is 13 a factor of x?
False
Let m(d) be the first derivative of 2*d - 31*d**2 + 0*d + 27*d**2 + 1. Does 25 divide m(-6)?
True
Let o = 18 + -14. Suppose 2*n - 330 = -o*n. Suppose 0*f + n = 5*f. Is f even?
False
Let q = 110 - -89. Is 24 a factor of q?
False
Let v(s) = -s. Let q(w) = 5*w + 5. Let m(x) = -q(x) + 6*v(x). Let c = -13 - -8. Is 14 a factor of m(c)?
False
Let k(g) = -4*g**3 - g**2 + 4*g + 4. Is k(-4) a multiple of 8?
False
Suppose -q = -2*o + 9309, -4*o - 8*q + 11*q = -18615. Does 12 divide o?
True
Suppose -44*c + 42*c - 38 = 0. Let k = c + 81. Is 11 a factor of k?
False
Suppose -d - 4*y = -2*d + 7, -4*y = -2*d - 2. Does 6 divide (-8671)/(-261) - 1*(-2)/d?
False
Let v = 1822 - 1026. Is 19 a factor of v?
False
Let k(a) = -89*a + 210. Is 74 a factor of k(-6)?
False
Let m = -76 - -45. Suppose 0 = -u + h + 49, -259 + 48 = -4*u + h. Let v = m + u. Does 6 divide v?
False
Suppose l + 2*l - 9 = 0. Suppose -4*v = -2*h - 24, -l*h + 5*v + 23 - 56 = 0. Let w = h + 21. Does 5 divide w?
True
Let i(x) = -x**3 - 11*x**2 + 13*x + 8. Let h be i(-12). Let m(b) = -3*b**3 - 3*b - 8. Does 14 divide m(h)?
True
Suppose f = -31*j + 26*j + 88, 2*j = 4*f - 374. Does 3 divide f?
True
Suppose 3991 + 3666 = 13*j. Is 64 a factor of j?
False
Let h(n) = 10*n**2 + n. Let o(b) = -b**3 - 7*b**2 - 6*b - 1. Let z be o(-6). Let g be h(z). Suppose -3 + g = 2*u. Does 3 divide u?
True
Let m(b) = b**3 + 4*b**2 + 3*b + 2. Let x be m(-3). Suppose -g - 2*g = 3*q - 69, g + 3*q - 33 = 0. Let p = x + g. Does 17 divide p?
False
Suppose 1249 - 4894 = -9*f. Is f a multiple of 15?
True
Let g be (-17 + 14)/((-3)/(-10)). Let y be (g/8)/(3/(-12)). Let h(w) = 3*w - 2. Does 2 divide h(y)?
False
Let p(v) = v**2 + 8*v + 12. Let j = 1 + 2. Let m be -5 + -1 + (j - 4). Is 2 a factor of p(m)?
False
Suppose 62*l - 15411 = 29*l. Is 14 a factor of l?
False
Let o = 151 + 47. Suppose -7*b + 4*b - o = 0. Is b/(1 + -2 + 0) a multiple of 12?
False
Suppose 3*l = -5*h - 2*l + 35, -4*h + 24 = 3*l. Suppose -j = -3*v - h*j + 17, 4*v = -2*j + 22. Suppose -v*a = 5*w - 18 - 52, -a = -w + 8. Is w a multiple of 11?
True
Is 2 a factor of (9 + -3)/1 - -127?
False
Suppose 0 = -5*o - 7*o + 22428. Is o a multiple of 21?
True
Suppose 0 = 4*m - 5*d - 5635, -191*m = -193*m + d + 2825. Is m a multiple of 84?
False
Suppose 0 = -7*x + 2*x + 2710. Is 13 a factor of x?
False
Is (10875/(-100) - 22)*8/(-2) a multiple of 17?
False
Let m(n) = -n**3 + 15*n**2 + 18*n - 11. Is m(16) a multiple of 3?
True
Let v = 78 - 46. Suppose 31 + v = 3*y. Suppose -36 - y = -t. Is 17 a factor of t?
False
Let v(a) = a +