 t?
False
Suppose 3*g = 5*z - 15, -3*g = -12 - 3. Suppose -2*w = -w + z. Let y(l) = l**2 + 5*l + 6. Is y(w) a multiple of 11?
False
Suppose -3*v + 907 = -a, 3*a = -1 - 2. Let o = v + -209. Does 11 divide (-6)/(-9) + o/9?
True
Suppose 5*p + 0*p = 10. Suppose 1 = -h - 3, p*w - 5*h = 42. Is w a multiple of 11?
True
Let k(s) = 2*s**2 + 5*s - 4. Let l be k(-5). Suppose -4*p - 4*b + 9*b - 101 = 0, 0 = p + 3*b + l. Is ((-9)/2)/(9/p) a multiple of 5?
False
Let k be (-95)/(-15) + 4/6. Suppose 4 - k = -p. Does 2 divide p?
False
Suppose 0 = -5*d + g + 18, -2*d + d + g = -6. Suppose 0 = -u + 3*u. Let x = d + u. Is x a multiple of 2?
False
Let p(g) = -2*g**2 + 9*g - 8. Let j be p(7). Let d = -7 - j. Is 15 a factor of d?
False
Let w(o) = -1 - 16 - 12*o + 2 - o**2. Is 3 a factor of w(-10)?
False
Let l = 8 - 4. Suppose 3*o - 5*h = -l*h + 4, 2*h + 2 = 4*o. Does 2 divide o?
False
Let h = 19 + -23. Is h/(-22) - (-1757)/77 a multiple of 5?
False
Let u = 8 + -28. Is 13 a factor of (-1008)/u - (-6)/10?
False
Suppose 0 = 5*k + 4*y + y - 180, 0 = 3*k - y - 104. Let m = -2 + k. Is m a multiple of 11?
True
Let v = -64 - -114. Let c be (-33)/(-9) - 2/3. Suppose c*g = g + 2, -3*r + v = -4*g. Is r a multiple of 18?
True
Let k(s) = s**2 - s - 14. Is 15 a factor of k(-13)?
False
Let v be 9/2*(-6)/(-9). Let f be -24*2*(2 + -3). Suppose -v*z + f = -0*z. Is z a multiple of 15?
False
Let z be (-2)/((3/9)/(-1)). Let j = z + -4. Suppose j*m + 20 = 5*c - 9, 4*m = 2*c - 2. Does 3 divide c?
False
Let h(a) = -a**3 + 5*a**2 - 3*a + 6. Let c be h(4). Let v be 4/c + 36/10. Suppose 2*f = 5*w - 37, -4*w + 8*w - 24 = -v*f. Is 7 a factor of w?
True
Let d(n) = n**2 - 2*n + 2. Let v be d(2). Suppose 0 = -v*q + 3 + 5. Suppose 5*m = -2*r + 45, 2*m - r = r + q. Is m a multiple of 3?
False
Is (5 + 112/(-21))/(2/(-456)) a multiple of 5?
False
Let q be 3/2 + 1/(-2). Let a(s) = -q - 2 + 10*s - 4*s. Does 13 divide a(3)?
False
Let i be -1 - (-8*1 - 0). Let n be (-1)/(-4) - i/(-4). Does 7 divide ((-14)/(-1))/(4/n)?
True
Let x be (-8)/10*(-5)/2. Suppose 3*l = -3*r - 6, x*r = -5*l + l. Suppose -3*f - l*f = -40. Does 8 divide f?
True
Suppose -10*v + 1046 + 104 = 0. Is v a multiple of 23?
True
Let a be 65/25 - 4/(-10). Suppose -4*k = a*p - 112, 0*p - 3*p - k + 118 = 0. Suppose 0 = -0*u - 4*u + p. Is u a multiple of 5?
True
Suppose d = 6*d - 45. Let c = d - -26. Is c a multiple of 10?
False
Let l(o) = 6*o**3 - o**2 + o. Let t be l(1). Suppose w - t*w - 50 = 0. Let n(a) = a**3 + 10*a**2 - 2*a - 11. Is 5 a factor of n(w)?
False
Suppose -5*f = -f + 8. Let q = 4 + f. Suppose 0 = 3*p - q*t - 47, 0 = p - 5*t + t + 1. Is 6 a factor of p?
False
Suppose -3*j = 16 + 5. Let k be (-37)/j + 2/(-7). Suppose -k*f + 15 = -30. Is 5 a factor of f?
False
Let b be (-20)/(-6) + 1/(-3). Does 3 divide b*(3 - 4) - -6?
True
Is 10 a factor of 2/(-5) + (-167)/(-5)?
False
Suppose 30*p - 200 = 28*p. Is 25 a factor of p?
True
Let t = -259 + 434. Is 35 a factor of t?
True
Is ((30/(-9))/5)/((-2)/138) a multiple of 17?
False
Is -3 - (-2)/18*-3*-93 a multiple of 7?
True
Suppose -220 = -i - 4*i. Is i a multiple of 11?
True
Let p(i) be the third derivative of -11*i**6/120 - i**5/60 - i**4/24 + i**2. Let c(g) = -g**2 - 5*g + 5. Let y be c(-6). Is p(y) a multiple of 11?
True
Suppose -t + 5*g + 0 = 7, -5*t - 4*g = -23. Is 2 a factor of t?
False
Suppose 0 = 5*a + 2*z - 37, 2*a + 5*z + 4 = 2. Suppose -7 = -2*h + a. Is h a multiple of 2?
True
Suppose 2*j - 5*c + 278 = 6*j, 5*j - 331 = 2*c. Does 15 divide j?
False
Let o = 5 - 2. Let z(m) = 9*m - 15. Let a be z(11). Suppose v = -o*v + a. Is v a multiple of 10?
False
Let a(x) = -5*x**2 - 10*x + 2. Let i(w) = -11*w**2 - 21*w + 4. Let d(q) = 9*a(q) - 4*i(q). Is 7 a factor of d(-5)?
True
Suppose h - 4*s = 116, 4*h - 396 = -s - 0*s. Is h a multiple of 31?
False
Let i(r) = -r**3 + 3*r**2 - 2*r + 2. Let z be i(3). Let b = z - -16. Suppose -11 + 71 = 5*p - 3*v, 0 = -p + 4*v + b. Is 10 a factor of p?
False
Let m = 9 - 6. Suppose u + 2*z = -u - 50, -45 = 3*u - m*z. Is (-8)/u - 28/(-5) a multiple of 3?
True
Suppose 4*r + 3*a + 8 = 0, 0 = -3*r + 4*a - 3*a + 7. Is (0 + (6 - -2))/r a multiple of 3?
False
Let l be -5*3*(-3)/9. Let q = 12 + l. Is 11 a factor of q?
False
Let a(l) = -4*l**3 + 7*l**2 - 7*l + 1. Let s(p) = p**3 + p. Let h(y) = a(y) + 5*s(y). Is h(-7) a multiple of 4?
False
Suppose -3*r + 231 = 4*m, 2*m - 100 = -r + 17. Does 60 divide m?
True
Let g(c) = c**3 - 4*c**2 - 7*c - 2. Let d be g(5). Is ((-9)/6)/(3/d) a multiple of 3?
True
Let q = 3 + 55. Is 6 a factor of q?
False
Let v(u) = -5*u**3 - 3*u**2 + u - 3. Does 34 divide v(-3)?
True
Let f(a) = -2*a**3 + a**2 + a + 2. Let n be 42/18 + 2/(-6). Let m be f(n). Let s = 5 - m. Is 13 a factor of s?
True
Suppose 4*x = -0*x + 3*u + 1, -14 = 4*x + 2*u. Let m be -39*((-24)/9 - x). Suppose m + 44 = 5*k. Is 14 a factor of k?
True
Let u(l) = l**3 + 9*l**2 + 7*l - 3. Let a be u(-8). Suppose -99 + 21 = -3*f. Suppose 86 = a*r + f. Is r a multiple of 12?
True
Suppose -2*g = -4*g + 88. Suppose 5*r - g = 2*r - f, 0 = -r - 3*f + 20. Is (-6)/21 + 452/r a multiple of 16?
True
Let d(n) = 12*n**2 - 9*n + 4. Let i(z) = 11*z**2 - 8*z + 4. Let x(a) = -6*d(a) + 7*i(a). Is 14 a factor of x(3)?
False
Suppose 0 = -2*q + 4*q - 5*i - 25, -3*q - 3*i = -27. Suppose 0*n = n + x - q, 5*x = -4*n + 36. Is 6 a factor of n?
False
Suppose 15*s - 330 = 9*s. Is s a multiple of 8?
False
Let o(n) = -6*n - 22. Is 25 a factor of o(-9)?
False
Let a(r) = -3*r - 14. Is 8 a factor of a(-10)?
True
Let q = 18 - 14. Suppose q*o + 0*o = 144. Does 18 divide o?
True
Suppose 0*x = -5*x + 5. Let f = -2 + x. Does 23 divide 27 + (f - 0) + -3?
True
Let q(w) = -w**3 - 5*w**2 + 11*w + 7. Let n be q(-7). Suppose 5*b - 126 = -2*l, -l = -b - 0*l + n. Is 13 a factor of b?
True
Let d(w) = w**2 - 30*w + 91. Is 7 a factor of d(28)?
True
Let x = -8 + -2. Let u = -5 - x. Does 3 divide u?
False
Let i(z) = z**2 + 8*z - 6. Let y = 4 + -14. Does 14 divide i(y)?
True
Suppose 0 = -3*p + 4*p - 11. Let g = -6 + p. Suppose g*w - 15 = -2*v, 4*v + 2*w - 40 - 14 = 0. Is v a multiple of 15?
True
Suppose -3*z - 96 = -2*z. Let c = z + 134. Let f = 54 - c. Is f a multiple of 8?
True
Let t be 3*(3 - (-2 - -4)). Let g(k) = 9*k + 1. Let y be g(t). Is 16/7 + (-8)/y even?
True
Let a be -5*(-2 + 1 + 0). Let u(y) = -y**3 + 5*y**2 - y + 5. Let r be u(a). Suppose r = 2*o + o - 33. Is 11 a factor of o?
True
Is 14 a factor of -3*10/(-9)*(-462)/(-11)?
True
Let j(y) = -5*y**3 + 4*y**3 + 4 + 5*y + 5*y**2 - 6*y. Let t be j(5). Let v = t + 6. Is v a multiple of 2?
False
Let l(g) = -g**3 + 5*g**2 + 3*g - 6. Suppose -14 - 26 = 4*k. Let f = k + 14. Is l(f) a multiple of 16?
False
Suppose 209 = 5*g - 61. Is 18 a factor of g?
True
Let m(z) = 3*z**3 + 3*z**2 - 4*z + 3. Suppose -y + 0*y = -2. Is 16 a factor of m(y)?
False
Let t = 9 + -10. Is 14 a factor of (-1)/t - (-43 + -6)?
False
Let b(s) = -s**2 - 10*s + 4. Let c be b(-9). Let t(w) = -w**3 + 14*w**2 - 13*w + 9. Does 9 divide t(c)?
True
Suppose 5*i - 12 = 38. Let b = i + 5. Is b a multiple of 10?
False
Let a(q) = q**3 + 6*q**2 + 5*q + 6. Let m(v) = -v - 5. Let s be m(0). Let x be a(s). Suppose -w + 32 = h, 0 = -h + 3*w - x*w + 26. Is h a multiple of 11?
False
Let n = -4 + 22. Suppose 14 - 4 = 5*t. Let p = t + n. Is p a multiple of 13?
False
Suppose -4*u = -8*u + 292. Is 9 a factor of u?
False
Let a = -54 + 31. Let f = a - -47. Is 9 a factor of f?
False
Let a be (-2)/3*69/(-2). Suppose 3 = t + 5*z, -t + 3*z + 15 = 2*z. Let h = a + t. Is h a multiple of 18?
True
Let w = 191 - 104. Does 17 divide w?
False
Let c(d) = 5*d**3 - 3*d**2 - 4*d. Is 36 a factor of c(4)?
False
Let g = 23 + -14. Let y be (4/(-6))/((-19)/(-171)). Let w = g + y. Does 3 divide w?
True
Let k = 6 + -9. Let n = k + 13. Does 4 divide n?
False
Suppose 0 = 2*y - 4*y + 4*n + 322, n + 769 = 5*y. Does 17 divide y?
True
Let s(q) be the second derivative of 5*q**4/12 - q**3/2 + q**2 + q. Is s(2) a multiple of 11?
False
Suppose 4*s + 1 = 5*s, 4*s - 72 = 4*z. Let x be z/(-1) - (-3 + 0). Suppose 3*w + w - 3*k = 56, 5*k = -x. Does 5 divide w?
False
Let a be (-6)/(((-27)/6)/(-3)). Let g be a*(-11 + 2 + 1). Suppose 5*d + 3 + 2 = 0, 0 = 2*u - 4*d - g. Does 7 divide u?
True
Let o(q) = q**3 - 2*q**2 - q - 3. Let s be o(3). Suppose -5*y + 3*m = 309, -58 = -4