(-4)/y a multiple of 5?
True
Let t(n) = -n**3 + 6*n + 4. Let v(d) = -d - 1. Let b(q) = t(q) + 6*v(q). Let l be b(-2). Let j(k) = 2*k + 8. Is 20 a factor of j(l)?
True
Let n(m) = -m**3 + 3*m**2 - 2*m. Let k be n(2). Suppose -3*x + x + 8 = k. Does 4 divide x?
True
Suppose 4*g = -c + 2*c - 7, -3*g + 2*c = 9. Let f = g - -39. Does 13 divide f?
False
Let d be 148/28 + 4/(-14). Suppose 4*g + d*j + 1 = 2*j, 19 = 2*g - 5*j. Does 11 divide (-1)/(-2)*116/g?
False
Let w(v) = v**2 + v. Let h be w(-1). Suppose 5*l = -h*l. Suppose -b + 1 + 5 = l. Is 2 a factor of b?
True
Suppose -90 = i + 4*i. Let w = i - -44. Does 14 divide w?
False
Let q be 2/(-12) - (-35)/(-6). Let u(g) = g**3 + 12*g**2 + 9*g + 9. Let o(b) = -b**3 - 13*b**2 - 9*b - 10. Let i(d) = -5*o(d) - 6*u(d). Is i(q) a multiple of 6?
False
Let k(l) = 4*l**2 - 3*l + 8. Is 12 a factor of k(8)?
True
Let u(p) = p**3 + 8*p**2 + 7. Suppose -3 = -2*d + 1, n = 4*d - 16. Is u(n) even?
False
Let h(o) = o**2 - 1. Suppose 0 = 2*k - 6 - 4. Is h(k) a multiple of 8?
True
Let z be (49/14)/(1/(-2)). Let n = z - -13. Is 2 a factor of n?
True
Let r = -28 + -13. Let z = 28 + r. Let g = 26 + z. Is 13 a factor of g?
True
Suppose 17*l - 460 = 12*l. Is l a multiple of 14?
False
Suppose 5*n = -5*s + 4*s + 27, -2*n = s - 12. Let h = n + 5. Is (0 - -1) + (h - -6) a multiple of 10?
False
Suppose 58 = 3*d - 4*y, -4*d + 2*y + 50 = -d. Is 7 a factor of d?
True
Let x(b) be the first derivative of 3*b**3/2 + b**2/2 - 2*b + 2. Let h(n) be the first derivative of x(n). Is 16 a factor of h(4)?
False
Let z be (8/(-12))/((-2)/21). Suppose -z = -3*n + 86. Is n a multiple of 10?
False
Suppose -q = -4*q - 6. Let r = q - -3. Does 17 divide 33 + r/2*2?
True
Let z be 0/2 + 1/1. Let i be (-2*z)/((-2)/7). Is 6 a factor of (-122)/(-14) - (-2)/i?
False
Let v = -14 - -25. Let s = 59 - 42. Let t = s + v. Does 14 divide t?
True
Let g(y) = -y**2 - 5*y + 7. Let f be g(-6). Does 4 divide (-44)/(-8)*4*f?
False
Suppose -11*q + 9*q + 178 = 0. Does 15 divide q?
False
Let x be (1*2)/(2/4). Suppose -2*r - 6 = -x*r. Is 85/r - (-10)/15 a multiple of 12?
False
Let k(s) = -s**2 - 8*s + 2. Suppose 0*o - 15 = 3*o. Is k(o) a multiple of 16?
False
Let u(m) be the third derivative of m**5/60 + 5*m**3/6 - 2*m**2. Is u(0) a multiple of 2?
False
Let s(a) = a**2 + 10*a + 20. Let r be s(-10). Does 6 divide (42/(-15))/((-8)/r)?
False
Let x(n) be the second derivative of n**5/10 - n**4/3 - n**3/6 + n**2/2 + 3*n. Let f be x(3). Suppose 0 = -3*y + b + 56 - f, -b = -2. Is 14 a factor of y?
True
Suppose 122 = 4*p - 138. Suppose -5*o - 18 = u - p, 5*u - 5*o - 145 = 0. Is u a multiple of 16?
True
Let h(a) = 14 + a**2 + 4*a + 0*a + 7*a. Let c be h(-10). Suppose -4*o + 4*t + 41 = -15, -2*t = -c. Is o a multiple of 8?
True
Suppose 4*v - 10 - 110 = 0. Is v a multiple of 15?
True
Let y(k) = -286*k - 5. Is 50 a factor of y(-1)?
False
Let s be 0/(-2) + (-1 - -4). Suppose 0 = s*n - 7*n + 112. Is n a multiple of 10?
False
Let x(f) = f**2 - 8*f - 10. Is x(-7) a multiple of 5?
True
Suppose -r = -3*r - 2. Let b = r - -1. Is 8 a factor of (-44)/(-1*2) - b?
False
Let d = -25 + 104. Does 18 divide d?
False
Let g(y) = y**2 - 4*y - 7. Let n be g(5). Let v(a) = 4*a**2 - a - 2. Is 13 a factor of v(n)?
False
Let m = 170 + -95. Does 15 divide m?
True
Let q(f) = f**3 - 14*f**2 + 9*f - 18. Is q(14) a multiple of 12?
True
Suppose 0 = 19*j - 14*j. Suppose -4*k - 13 + 105 = j. Does 16 divide k?
False
Is 12 a factor of (5 + (-69)/15)*(377 - -3)?
False
Suppose 5*t + 336 = 12*t. Is t a multiple of 12?
True
Let l = 5 + -1. Suppose 0 = z - l*z + 54. Is z a multiple of 18?
True
Suppose -g = 2*g + z - 9, -3*g = -4*z + 6. Suppose -b = 3*b. Suppose b*k - g*k = -26. Is 5 a factor of k?
False
Let u(z) = 3*z**2 + 5*z. Suppose c - 2*t + 3 = 3*t, 4*t = 2*c. Suppose -2 = l + c. Does 10 divide u(l)?
False
Does 5 divide 90/3*((5 - 3) + -1)?
True
Let j be (15/4)/(3/8). Suppose x = -0*x + j. Is x a multiple of 10?
True
Let u = 71 - 5. Is 22 a factor of u?
True
Let x be 3*((-8)/6)/(-1). Suppose 134 = x*s - 94. Does 13 divide 12/(-9)*s/(-2)?
False
Suppose 12 + 21 = 3*b. Is 3 a factor of b?
False
Suppose 0 = -2*r - 2*k - 34, -2*r + k + 4*k - 41 = 0. Let q = r + 30. Is 7 a factor of q?
False
Suppose -6 = -f - 3. Suppose 0 = u - 3, 2*n - f*u + u = 80. Is 12 a factor of n?
False
Let f(l) = 3*l + 1. Let j(z) = -3*z - 1. Let s(r) = 5*f(r) + 4*j(r). Let b be s(2). Let p = b - 2. Is p a multiple of 5?
True
Let p(n) = -14*n**2 + 2*n. Let f be p(2). Let w = f - -119. Is 25 a factor of w?
False
Suppose 5*f + 2*f - 1232 = 0. Is f a multiple of 41?
False
Let t = 301 - 117. Does 24 divide 2 + t/(2 + 2)?
True
Suppose -5*u + 20 = -u, 0 = 3*k - u - 10. Suppose r = k*r - 256. Let h = -21 + r. Is 19 a factor of h?
False
Suppose -2*v + 16 = -56. Is v a multiple of 9?
True
Suppose -4*o - m + 327 = 0, 2*m = -o + 47 + 26. Is o a multiple of 19?
False
Let j be (25/4)/(1/4). Let s be 168/27 + (-2)/9. Let y = j - s. Is y a multiple of 8?
False
Let a(q) = -q**2 + 10*q - 8. Suppose 2*k - 3*k + 40 = 0. Suppose -4*p = 16 - k. Is 8 a factor of a(p)?
True
Let a(b) = -6*b - 1. Let m be a(1). Let s = m - -24. Does 16 divide s?
False
Let n = 106 + -76. Suppose 2*r + 29 = -1. Let x = n + r. Does 15 divide x?
True
Suppose -200 = -38*s + 28*s. Is 3 a factor of s?
False
Suppose -4*h + r - 4*r + 9 = 0, 3*h - r - 10 = 0. Does 2 divide h?
False
Let r = -8 + 50. Suppose -3*y = -3*d + r, -2*d + 7*d - 2*y = 79. Is d a multiple of 17?
True
Let q be (3/3)/(3 - 2). Let t = 1 + q. Suppose -50 = -4*o + t*o. Is 8 a factor of o?
False
Let q = -1 + -3. Let b be q/((-4)/15) - 2. Let n = -8 + b. Does 5 divide n?
True
Let u = 39 - 13. Is 4 a factor of u?
False
Let z(f) = -2 - 9*f - 5 - 2 + 5*f**2 + f**3. Let n be z(-7). Is (-2 - n)/((-9)/(-6)) a multiple of 10?
False
Let x(h) = -h**3 - h**2 - h + 75. Is 15 a factor of x(0)?
True
Let w(l) = -l + 1. Let x be w(-4). Let a(f) = -f**3 + 5*f**2 + 4*f + 1. Is 21 a factor of a(x)?
True
Suppose 0 = 2*w - 7*w + g + 525, 210 = 2*w - 3*g. Does 15 divide w?
True
Let h = 31 - -57. Is 11 a factor of h?
True
Does 18 divide ((-1056)/(-55))/(1 - (-26)/(-30))?
True
Let s(y) = 3*y**3 + y**2 + 2. Let x be s(-2). Is 14 a factor of 85/6 + 3/x?
True
Let w = 8 - 6. Suppose 0*u + 4*c + 58 = 3*u, -w*u + 67 = 3*c. Let q = u - 16. Is 3 a factor of q?
False
Let d(a) = -50*a**2 - 1. Let p be d(1). Is -1 - p - (-12)/4 a multiple of 20?
False
Suppose -2*r + 4*r = -12. Let y be -102*((-9)/r + -2). Let m = y + -31. Is 20 a factor of m?
True
Suppose 5*l - 80 = -2*d, d - 18 - 28 = -l. Suppose -n - 42 = -2*t, 3*n + d = -t + 3*t. Suppose -t = -2*u - 5. Is u a multiple of 4?
False
Does 6 divide (4/10)/((-6)/(-420))?
False
Let s = -72 - -122. Is s a multiple of 8?
False
Let y = -8 + 24. Suppose -y = 4*h, z + 2*z + 5*h = 64. Is z a multiple of 14?
True
Suppose 3*r = -2*r + 3*u + 191, -3*r + 5*u = -105. Let n = r - 10. Is n a multiple of 15?
True
Suppose 3*i - 75 - 3 = 0. Is i a multiple of 13?
True
Let i(p) = -p**3 - 6*p**2 - p. Let u be i(-6). Let w(z) = 6 - 17*z**2 + 8*z**2 + 11*z**2 - 10*z. Is 8 a factor of w(u)?
False
Suppose -3*c + 5*b + 13 = 0, c + 2*b + 3 = -0*c. Suppose c = 4*a + 5*p - 58, -a + 5*p = 4. Is a a multiple of 11?
True
Let o(c) = c**2 + 2*c + 4. Let v be o(-4). Let x(t) = 2*t + 17. Let p be x(v). Suppose m + 13 - p = 0. Is m a multiple of 14?
True
Let j = -44 - -26. Let o be 2 + 9 - (-1 + 0). Is 25 a factor of (-896)/j - o/(-54)?
True
Suppose 3*a + 0*a + h = 38, -h + 50 = 4*a. Let t be (-2)/4 + 42/a. Suppose 0*n + 4*d - 36 = -t*n, 24 = 2*n + d. Is 12 a factor of n?
True
Suppose -92 = -2*a + 428. Is 52 a factor of a?
True
Suppose -1470 = -9*x - 345. Does 14 divide x?
False
Suppose r = -3*x - 14, -8 - 3 = 4*r - 3*x. Is (1 - (-6)/(-3))*r a multiple of 3?
False
Let g be (-2 + 4)/(4/6). Suppose 2*q = -g + 5. Suppose -4*y = 3*x - 67, -y + 5*x + q = -10. Is 16 a factor of y?
True
Suppose 5*t + 416 = 18*t. Is t a multiple of 7?
False
Let i = -139 - -275. Is i a multiple of 8?
True
Let p(f) = f - 3. Let t be 0 + 1 - (-3 - -4). Let a be p(t). Is -2*(45/6)/a even?
False
Let z = 7 - 7. Suppose 4*a = -2*h + a + 54, z = -3*h + 5*a + 43. Is h a multiple of 14?
False
Suppose 0 = -5*g + 198 + 627. Suppose o - g = -4*v, -4*v - 4*o - o = -185. Is 20 a factor of v?
T