t x(n) = -n**3 + 6*n**2 + 8*n - 2. Let q be 16 + -3 + (-2 - 0). Let t = 18 - q. Does 5 divide x(t)?
True
Let j be (-19)/(-2) + 4/(-8). Suppose -2*q + j = 3. Suppose -38 = -2*n - q*k - 10, n - 2*k - 14 = 0. Is n a multiple of 7?
True
Let h(x) be the first derivative of 32*x**3/3 + x**2/2 + x - 2. Suppose o = -2*o - 3. Does 16 divide h(o)?
True
Let p be (-2 + 5)*195/9. Suppose k - p = -k + 5*v, 5*k - 2*v = 110. Is k a multiple of 7?
False
Suppose -2*r = -r - 24. Is 24 a factor of r?
True
Let n = -47 + 101. Is 9 a factor of n?
True
Suppose 521 = 5*c + 146. Is c a multiple of 15?
True
Suppose -i - 12 = -5*i. Suppose -i*q - 5*b = -3*b - 118, 2*b = 3*q - 122. Suppose 29 + q = 3*j. Is j a multiple of 9?
False
Let q = -190 + 98. Let s = -61 - q. Does 8 divide s?
False
Suppose 3*r + 0 = 42. Let a(q) = 2*q + 14. Is a(r) a multiple of 11?
False
Let k(u) = 2*u - 4. Let y be ((-5)/2)/((-3)/6). Is 3 a factor of k(y)?
True
Suppose -5*a = -0*a - 1330. Suppose i + 7 - 63 = -5*f, -4*i = -f - a. Is 18 a factor of i?
False
Suppose 8 = -l - 32. Does 13 divide (-4 - -3) + 0 - l?
True
Suppose 20 = -4*a, -6*g - 2*a - 270 = -g. Let m = g + 77. Does 7 divide m?
False
Let r be (-2)/(-8) + (-366)/(-8). Let x = r - 30. Does 5 divide x?
False
Let l(y) = 10*y**2 + 14*y + 4. Is 9 a factor of l(-6)?
False
Let h = 58 + -22. Is h a multiple of 12?
True
Suppose 1 = -3*x + 7. Suppose x*p + 0*p = 62. Is p a multiple of 12?
False
Let p(b) = 22*b + 4. Does 3 divide p(1)?
False
Suppose -2*q + 0*q = 0. Is 11 a factor of -2 + q + 6*4?
True
Let o = -5 + 5. Let q(z) = -z**2 - z + 30. Is q(o) a multiple of 15?
True
Let n = 2 - 2. Suppose 4*d = -n*d + 2*c - 24, -d - 6 = -c. Is 2 a factor of (20/(-6))/(4/d)?
False
Let g be (-2)/3*(-9)/2. Suppose 41 = 2*t + g. Let y = -2 + t. Is 17 a factor of y?
True
Let r be (2 + -1)*(2 + -7). Let d = r - -8. Suppose -d*c + 10 + 8 = 0. Does 4 divide c?
False
Let q(f) = f**2 - 9*f - 10. Does 12 divide q(11)?
True
Suppose 102*w = 104*w - 152. Is 10 a factor of w?
False
Let i be (-1)/2 - (-5)/2. Suppose -g - 29 = -4*k - 5, i*g + 57 = 5*k. Let a = g - -62. Does 19 divide a?
False
Let w(s) = s**3 - s**2 - 2*s + 192. Does 12 divide w(0)?
True
Suppose 0 = -2*q + q. Suppose 4*x + 5*o = -q*x + 28, 5*o = -20. Is x a multiple of 8?
False
Let f(d) = 7*d + 13 - 14 - 5. Does 12 divide f(6)?
True
Suppose 2*y - 1 - 13 = 5*h, 0 = h + 3*y + 13. Let j(o) = -23*o - 1 + 13*o - 2 - 1. Is j(h) a multiple of 14?
False
Let q(m) = -3*m**3 + 6*m**2 - 11. Let r(g) = -2*g**3 + 3*g**2 - 5. Let d(b) = 3*q(b) - 7*r(b). Is d(2) a multiple of 15?
True
Is 7 a factor of (-8)/12 + (-44)/(-3)?
True
Let u = 19 + 11. Suppose s - 3*s = -u. Is s a multiple of 7?
False
Suppose 15*z = 21*z - 1134. Is z a multiple of 27?
True
Suppose -10 = -2*b + i, b - 3*i = -8*i - 6. Is 0 + (312/b)/3 a multiple of 13?
True
Suppose 3*r = -2*r + 580. Is r a multiple of 29?
True
Let p(c) = c**2 + 10*c + 13. Let m be p(-9). Suppose 0*s = 2*q - 4*s - 102, m*q - 183 = s. Does 15 divide q?
True
Let a = 512 + -255. Is 16 a factor of a?
False
Suppose -l + 2 + 14 = 0. Suppose r + 4 = -0*r - 2*i, r = -5*i - l. Is 2 a factor of r?
True
Suppose 0 = -3*f - 4*m - 51, -4*f + 0*m = 4*m + 68. Is f/(-1) - (-1)/1 a multiple of 15?
False
Let r(j) = -4*j - 6. Let v be r(-5). Let h = -6 - -11. Suppose h*s = 2*n - v, 5*s + 15 = 3*n - 11. Is n a multiple of 6?
True
Suppose -5*w + 272 = 2. Does 27 divide w?
True
Suppose -376 = -3*x + 2*u - 4*u, 3*u = -2*x + 244. Does 32 divide x?
True
Suppose 4*a + 0*a - 71 = -3*v, 4*a = -5*v + 105. Suppose 5*r - 5*z + v = -z, 4*z - 10 = -2*r. Does 7 divide (12 - 1) + 3/r?
False
Let s(x) = x**2 - 5*x - 2. Let t be s(5). Let b(u) = u**2 + 2*u + 1. Let c be b(t). Is 17 a factor of 316/8 - c/2?
False
Let z = 0 + 2. Suppose z*f = 4*f - 4. Suppose 29 = l + 4*j + f, l - 3*j = 48. Does 13 divide l?
True
Let u(c) = c**2 - c + 21. Is u(0) a multiple of 21?
True
Let o be 1*-1 + 77/7. Let n = o - -6. Does 8 divide n?
True
Let a be 2/6 + 40/6. Let d(b) = b**2 - b - 7. Let q(x) = x**2 - 8. Let y(g) = 5*d(g) - 4*q(g). Is y(a) a multiple of 11?
True
Let d(w) = w**2 - 4*w + 9. Let v be ((-2)/4)/((-1)/14). Is d(v) a multiple of 10?
True
Let i(r) = -2*r - 2. Let g be i(6). Is 8 a factor of (-284)/g + (-6)/21?
False
Suppose -556 = 5*j - p - 1577, 4*j - 815 = -p. Is j a multiple of 34?
True
Let p(y) = y**3 + 9*y**2 - 12*y - 7. Let x be -3*-4*(-15)/18. Is 13 a factor of p(x)?
True
Let v(w) = 11*w + 38. Is v(2) a multiple of 15?
True
Suppose n + 5*s = 14, -n + 2*n - 3*s - 54 = 0. Let g = 62 - n. Is (-1)/(-4) + g/4 a multiple of 6?
True
Let p(i) = -i + 1. Let l be p(-9). Let o(n) = -n**2 + 13*n - 5. Is o(l) a multiple of 12?
False
Let f = 6 + -4. Suppose q - 24 = -4*g, 3*q - f*g + 3*g = 72. Does 8 divide q?
True
Suppose 0 = -3*u - 5*u + 544. Does 17 divide u?
True
Let t = 0 - -11. Does 5 divide t?
False
Let q = -10 + 6. Let b(m) = 2*m**2 - 4*m - 4. Is 15 a factor of b(q)?
False
Let h(r) = -r**2 + 95. Let n be h(0). Suppose 260 = 5*z + 5*t, 3*z - 5*t - n = 29. Is z a multiple of 18?
False
Suppose f = 44 - 24. Does 2 divide f?
True
Let u(k) = -9 + k - 3*k + 5*k. Does 11 divide u(14)?
True
Suppose 2*l - j = -l + 11, 4*l - 3*j - 23 = 0. Suppose -l*s - 36 = 2*s. Is 9 a factor of 36/(-2)*6/s?
False
Let i(w) = -w**3 - 10*w**2 - w - 11. Let a be i(-10). Let z(l) = 6*l**2. Is 6 a factor of z(a)?
True
Let b = -2 + 11. Let z be 0 - (2 + 0 - b). Let i = z + 23. Is i a multiple of 11?
False
Suppose 21 = -0*n + n - l, 4*n - l = 75. Suppose -2*v - 1 = 3. Is 7 a factor of (21/(-9))/(v/n)?
True
Let d(b) = 8*b + 4. Let y(j) = j. Let s(u) = -20*u - 7. Let p(t) = -s(t) - 4*y(t). Let a(r) = -5*d(r) + 3*p(r). Is a(4) a multiple of 11?
True
Let p be (0 - 2)/((-6)/(-45)). Let b = -9 - p. Suppose 0 = 2*f + b - 38. Is f a multiple of 10?
False
Suppose 0 = 5*n - 4*d - 22, n + 2 = -2*d - 2. Suppose 38 = n*w - w. Suppose -h - 12 = -w. Is 12 a factor of h?
False
Suppose 0 = 2*x + 2*s + 2*s - 8, s = 5*x - 20. Suppose 2*d = -x*g + 42, 2*g + 3*d - 55 = -3*g. Is 2 a factor of g?
True
Let v be 1*-6*-1 + -1. Let j(t) = -v*t + 4*t + 4 - 6. Is j(-7) a multiple of 5?
True
Let t(u) be the second derivative of 17*u**5/30 - 3*u**2/2 + 2*u. Let q(c) be the first derivative of t(c). Is q(1) a multiple of 12?
False
Suppose 0 = -2*n + 7 - 3. Suppose 148 = n*m - 4*b, 0 = -2*b + 5 + 1. Suppose 4*c = -16 + m. Is c a multiple of 8?
True
Let x be 9/3 + (1 - -1). Suppose 2*h + 20 = -0*h. Is (-2)/x + (-114)/h a multiple of 11?
True
Let a = 11 + 16. Does 13 divide a?
False
Suppose 2*w + 3*t - 248 = 0, 0 = -2*t - t. Does 29 divide w?
False
Let u = 80 - 46. Is u a multiple of 17?
True
Let h = -1 + 1. Is 2 a factor of h + (-5)/((-10)/4)?
True
Let p(z) = 108*z**2. Is p(-1) a multiple of 20?
False
Suppose -4*z = 2*l - 22, 3*z - l = z + 17. Let x = z + -3. Let p = x + -2. Does 2 divide p?
True
Suppose -3 - 1 = 2*q. Let t be q/(3 - (-1)/(-1)). Is 20 + (-6)/(-2 + t) a multiple of 9?
False
Let x be (-2 - (-6)/2)*-2. Let p(o) = -o**3 - 2*o**2 - o. Let h be p(x). Does 11 divide h + -2 + 17 + 0?
False
Let r(h) = -22*h - 21. Does 19 divide r(-7)?
True
Suppose -u + 14 = -8. Let w = 23 + u. Is 15 a factor of w?
True
Let g be 2/(-4)*2*-3. Let m be (-2 + (-5)/(-10))*(-2 - 0). Suppose -a - 7 + 39 = g*k, 72 = 3*a - m*k. Is a a multiple of 26?
True
Does 29 divide (1352/16)/((-1)/(-2))?
False
Suppose 2*l - 5*a + 420 = 7*l, -444 = -5*l + 3*a. Is 18 a factor of l?
False
Suppose 3*s - 5*k = 147, -3*s + 168 = -0*s + 2*k. Is 13 a factor of s?
False
Let o(b) = -b**2 - 5*b + 3. Let u be o(-5). Is 12 a factor of 110/u + 16/(-24)?
True
Let u = -18 + 93. Is 12 a factor of u?
False
Let z(v) = 6*v - 3. Let m(r) = r**2 + 5*r - 3. Let n(p) = 2*m(p) - 3*z(p). Is 9 a factor of n(6)?
True
Let d = 73 + -4. Let a(v) = 3*v + 3. Let x be a(6). Let c = d - x. Does 24 divide c?
True
Let l = -5 + 4. Let y = l - -4. Does 3 divide y/2 - (-9)/6?
True
Let b be 0/(-7) + 2 + 1. Suppose 0 = -b*q + 2*c + 56, q - 6*q = 3*c - 106. Does 5 divide q?
True
Let y(g) = 3*g - g**3 - 10 + 8*g**2 - 1 + 1. Let u(r) = -8*r. Let k be u(-1). Is y(k) a multiple of 5?
False
Suppose 4*g - g = 0. Suppose g = 6*n - 4*n - 10. Let f = 3 + n. Is 3 a factor of f?
False
Let g(o) = -o**3 + 11*o**2 - 13*o + 20. Does 54 divide g(8)?
True
Suppose 4*d - 2*m -