 + 6*o - 8. Is x(n) a multiple of 11?
False
Let l = 12 + -5. Let d = l + -6. Let k(b) = 11*b. Is k(d) a multiple of 4?
False
Suppose 0*w = -3*w + 2*c + 256, 2*c + 342 = 4*w. Suppose 4 = 2*h + 2*f, -9 + 1 = 4*h - 4*f. Suppose -5*s + 109 + w = h. Is s a multiple of 17?
False
Is 15 a factor of (-1)/(4/(-316)) + -4?
True
Let q(t) = -5*t + 1. Let k = -7 - -2. Is 13 a factor of q(k)?
True
Let q = -7 - -2. Let k = 11 + q. Does 2 divide k?
True
Let l(w) = 2*w**2 - 7*w - 29. Is 14 a factor of l(9)?
True
Suppose 0 = -5*f - 5*q + 30, -f - 4*q - 7 + 1 = 0. Does 7 divide f?
False
Let l = 4 - 4. Let u be 8/2 - (l + 2). Does 9 divide u*((-150)/(-4))/5?
False
Suppose -5*f = 2*o - 317, -4*o + 2*f - f = -667. Does 19 divide o?
False
Suppose -x + 37 + 9 = 0. Is x a multiple of 17?
False
Let c = -3 + 7. Suppose m - c*i = 74, 0*m - 4*i = -2*m + 152. Does 26 divide m?
True
Let p(f) = 9*f**3 - 2*f**2 - 3*f - 4. Let n(r) = r**3 - r - 1. Let q(o) = -3*n(o) + p(o). Does 11 divide q(2)?
False
Let a(i) = -i**2 + 7*i + 11. Let c be a(8). Let f(r) = -r**3 + 3*r**2 + 3*r + 1. Is f(c) a multiple of 6?
False
Let n = 287 + -162. Is 25 a factor of n?
True
Suppose 2*b = -2*b + 5*y + 107, 0 = -4*b + y + 95. Let v = -13 + b. Does 10 divide v?
True
Suppose -m + 3 = 0, 3*m - 15 = 5*g - 2*m. Let d = -8 - -35. Let a = d - g. Is 13 a factor of a?
False
Suppose c - 5*u + 8 = -0*c, -2*c + 5*u = 6. Suppose -3*w - c*w = -110. Is w a multiple of 22?
True
Suppose 0*h - 14 = -h. Does 14 divide 8/(-5)*(-245)/h?
True
Let z(r) = 4*r**2 + 4*r + 2. Let u be z(-2). Let q be 1*5/(u/(-28)). Let w = 4 - q. Does 10 divide w?
False
Suppose 0 = m + 2*l - 2, 5*m + 5*l - 2*l + 11 = 0. Let w(g) = -2*g + 1. Is w(m) a multiple of 9?
True
Let j be 2068/16 - 4/16. Does 20 divide 1/((-255)/j + 2)?
False
Does 25 divide 1/3*6*25?
True
Suppose -3*o - k = -127, -2*k - 186 = -6*o + 2*o. Does 11 divide o?
True
Suppose 0 = -3*z + z + 6. Let l(x) = 7*x**2 + 1. Let s be l(1). Suppose s = d - z. Does 11 divide d?
True
Suppose m + 0 = -2*q + 2, -2 = 2*q. Suppose -2*v + m*h + 38 = 0, v + v = 3*h + 41. Is 12 a factor of v?
False
Suppose 9*f - 11*f + 210 = 0. Is f a multiple of 28?
False
Suppose 2*k - 5*c - 2 = -c, 0 = -5*k + 2*c - 19. Let m(i) = i + 6. Let y be m(-5). Does 8 divide (-8)/3*(k - y)?
True
Let o = 0 - -13. Let q = o - 9. Suppose 0 = -2*p - l + 10, -p + 5*p + 4 = q*l. Is p even?
False
Suppose 0 = -0*y + 2*y + 8. Is 12 a factor of (38/y)/((-5)/10)?
False
Let s = -86 + 61. Suppose -115 - 110 = 5*h. Let y = s - h. Is y a multiple of 10?
True
Let c be 75*(-2)/5*1. Let n = -16 - c. Does 4 divide n?
False
Suppose -f - f = -6. Let m = 9 - f. Is m a multiple of 2?
True
Let z(o) = o**2 - o + 3. Let c be z(0). Suppose 0 = -2*m + 2*q + 48, -c*m - 41 + 111 = -2*q. Suppose 97 = 5*d + m. Is d a multiple of 13?
False
Let m(v) = 14*v**3 + 4*v. Is 40 a factor of m(2)?
True
Let l(s) = -s**3 + 5. Let p be l(0). Suppose 79 + 26 = p*r. Suppose -59 = -4*i + r. Does 15 divide i?
False
Suppose 3 = -0*y + y. Suppose y*c - v - 16 = 0, -c - 6*v = -v - 32. Is 7 a factor of c?
True
Let h be 0 + -2 + (0 - -4). Suppose -2*i + 6*i - 5*r = 184, h*i - 98 = r. Does 16 divide i?
False
Let p be (-2 - 15/6)*-2. Let v(a) = a**3 - 10*a**2 + 10*a + 13. Is v(p) a multiple of 17?
False
Let z(l) = -l**2 + l - 2. Let u(p) = p**2 - 2*p + 1. Let x(g) = -4*u(g) - 5*z(g). Let t be ((-3)/2)/((-12)/(-32)). Is 6 a factor of x(t)?
False
Is 32 a factor of 108 + 8 - 3*2/(-3)?
False
Let x = 64 + -32. Suppose 0*s + s = x. Let k = 8 + s. Does 20 divide k?
True
Let v = 5 - 0. Suppose 3*y = z + 95, -4*z - 33 = -y - v*z. Is y a multiple of 11?
False
Let d be -4 - ((-1 - -1) + -2). Let w = 5 - d. Is w even?
False
Let a = 61 + -41. Suppose a = 8*r - 3*r. Is 3 a factor of r?
False
Let x(i) = -13*i + 2. Let r be x(-4). Suppose -5*g - 65 = -5*o, 3*g - r + 23 = -2*o. Does 10 divide o?
False
Let c(g) = g**3 + 7*g**2 - 12*g - 6. Let s be c(-8). Let r = s + -16. Is r a multiple of 3?
False
Does 20 divide 16/(-2)*-3*40/24?
True
Let g(j) = -4*j. Let b be g(-3). Suppose -2*w = w + b. Let t = w + 8. Is 4 a factor of t?
True
Let q be (-280)/(-21) - (-2)/(-6). Let c = 3 + q. Is 14 a factor of c?
False
Suppose -5*d + 2*m + 12 = -20, 0 = -3*d + 4*m + 22. Let c(z) = z**3 - 7*z**2 + 6*z + 4. Is c(d) a multiple of 2?
True
Let m(a) = a**3 - 1. Let f(p) = -2*p**3 - 6*p**2 + 3*p + 1. Let r(v) = -f(v) - m(v). Let n be r(-5). Let k = -21 + n. Is k a multiple of 19?
True
Let k = 123 + -71. Is 14 a factor of k?
False
Suppose 0 = -3*y + m + m - 6, -12 = 5*y - 4*m. Suppose -2*h = 3*g - 8, -3*g = -y*g + 3*h - 9. Suppose k - g*k = -19. Does 7 divide k?
False
Suppose 5*x - 305 = 15. Suppose 0*a = -2*a + x. Suppose -38 = -2*s + a. Is 16 a factor of s?
False
Suppose 0 = -4*g + a + 12, 0*a - 6 = -5*g - a. Suppose g*x = -3 + 13. Does 3 divide x?
False
Let a(r) = -5 - 2*r + 0*r**3 + r**3 + 4*r**2 - 1 + 1. Let o be a(-4). Suppose -2*i + 8 = 0, -3*m + o*i = -1 - 2. Is m a multiple of 2?
False
Suppose 0 = -5*j + 2*j + 15. Suppose 18 = -2*t + j*t. Is 7 a factor of 6/(-9)*(-63)/t?
True
Let t(w) be the second derivative of -w**4/12 + 5*w**3/3 - 2*w**2 + 2*w. Let x be t(10). Let l = 34 - x. Does 21 divide l?
False
Let y = 3 + 0. Suppose 3*q - 4*x = 4, 4*q + 4*x + 3 = -1. Suppose y*v - 13 - 32 = q. Does 8 divide v?
False
Suppose -2*i = -4*x - 4, -5*i - 5*x - 18 - 17 = 0. Let f = 6 + i. Does 2 divide f?
True
Let l be (2 + -5)/(6/(-10)). Suppose 5*g + 5*b = 20, 0 = -l*g + b - 3*b + 29. Is 2 a factor of g?
False
Let x = 10 - 14. Let j = 1 - x. Suppose -h = -j - 18. Is 20 a factor of h?
False
Suppose 3*f - 160 = -2*j, -3*j + 67 = -2*j - 5*f. Does 8 divide j?
False
Suppose -3*q - s + 2*s = -44, -76 = -5*q + s. Is q a multiple of 8?
True
Let x(u) = -u**2 - 9*u. Let b be x(-8). Suppose -2*y = 2*y + b, 2*y + 24 = -5*d. Does 12 divide d*2/(-4)*6?
True
Let k = 19 + 79. Is k a multiple of 18?
False
Let b(n) = n**2 - 5*n + 1. Let u be 1 + (1 + 0 - -2). Suppose 5*i + u*g = 43, -3*g + 8 - 2 = 0. Is b(i) a multiple of 12?
False
Suppose -5 + 1 = r. Let b be 2/4 + (-106)/r. Let v = b + -6. Does 21 divide v?
True
Suppose -5*p + 3*n = -408, 2*n - 424 = -5*p + n. Does 14 divide p?
True
Let d = 13 + -9. Let s = 2 - d. Is (-67)/(-3) - s/(-6) a multiple of 11?
True
Suppose 27 = 3*t - 3*r, t + 4*r + 5 = -11. Suppose 0*j = -t*j + 180. Is 23 a factor of j?
False
Let a(q) = q + 1. Let h be a(-12). Let g be -1 - h - (0 + -3). Let j = g + -4. Does 9 divide j?
True
Let x(p) = 2*p**3 + 4*p**2 - p - 3. Let a be x(-6). Is a/(-21) - (-3)/7 a multiple of 6?
False
Let y = 49 - 33. Is 18 a factor of y/6*(-27)/(-2)?
True
Let p = -76 - -248. Let q = p + 67. Suppose 0 = 4*s - q + 47. Does 13 divide s?
False
Let i(o) = o**3 - 4*o**2 - 19*o + 10. Does 12 divide i(7)?
True
Suppose -7*f - 270 = -12*f. Does 16 divide f?
False
Suppose 21*t - 24 = 20*t. Does 2 divide t?
True
Let i be 8/(-4)*2/2. Let s = 22 + i. Does 19 divide 808/s - 3/(-5)?
False
Suppose 3*u + 0*u - 6 = 0. Let j(z) = -z - 1. Let r be j(u). Does 5 divide (-16)/r - 2/6?
True
Suppose -2*f = -0*f + 22. Let g(n) = -n**3 - 10*n**2 + 11*n + 7. Does 7 divide g(f)?
True
Let y(c) = c - 14. Let u be y(11). Is -3 - u - -1 - -45 a multiple of 12?
False
Suppose -4*k + 8 = -m, -4*m = 5*k - 0 - 52. Suppose -2*a - 4*z + m = 0, 3*a + 3*z - 9 = 15. Is 3 a factor of a?
True
Let m be 1/(-2) - (-398)/4. Suppose 3*b + 6 - m = 0. Is b a multiple of 31?
True
Let l(n) = 4*n**2 + 10*n + 6. Let k(w) = -11*w**2 - 30*w - 17. Let z(f) = 3*k(f) + 8*l(f). Let m be z(-7). Suppose 114 = 3*v + m. Does 16 divide v?
True
Let j = -2 + 3. Suppose 0 = z + j + 1. Does 6 divide (z - (1 + -5)) + 10?
True
Suppose -w + 2*a + 87 + 115 = 0, -566 = -3*w - 2*a. Is 24 a factor of w?
True
Let y be 338 + 4/2*-1. Suppose 0*u + y = u. Is 17 a factor of (-4)/6 - u/(-18)?
False
Let i(z) = -3 + 10 + z**2 - 9. Is i(3) a multiple of 2?
False
Let b = -57 - -93. Is 18 a factor of b?
True
Suppose 4*a + 7 - 19 = 0. Suppose -a*k + 0*k = -108. Is k a multiple of 18?
True
Let l(w) = -4*w + 9. Let g be l(6). Let j be 2/15*3*g. Let r(f) = -f**2 - 7*f + 6. Does 6 divide r(j)?
True
Suppose p + 5*m = -13, 0*m + 4 = 5*p + 2*m. Is 8 a factor of 6/4*36/p?
False
Let s = -53 - -108. Is s a multiple of 28?
False
Suppose 0*f + 2*f - 22 = 0. Suppose -2*s - 2*x + 14 = -