3. Is 16 a factor of y?
False
Let a(k) = -k**3 - k. Let s be a(1). Let i = 30 + s. Suppose 0*x + i = x. Is x a multiple of 7?
True
Let k(m) = 7*m**2 - 1. Is 12 a factor of k(3)?
False
Let l = 234 - 70. Is l a multiple of 41?
True
Let u be (-876)/21 + (-8)/28. Let b = -27 - u. Does 15 divide b?
True
Is (-6)/8 - (-621)/12 a multiple of 17?
True
Let i be (-88)/(-14) + (-4)/14. Does 8 divide 3/i*-1*-56?
False
Let c(j) = -j**3 + 4*j**2 + 5*j - 5. Let v = 1 - -4. Let h be c(v). Is 12*(20/(-6))/h a multiple of 8?
True
Let i(m) = -50*m + 2. Let b be i(-1). Let u(d) = -d + 6. Let q be u(6). Suppose -c + 3*c - b = q. Is c a multiple of 13?
True
Suppose 5*y - 4*w - 382 = 0, -8 = -2*w - 2*w. Is 39 a factor of y?
True
Let d(i) be the third derivative of -i**6/120 + 7*i**5/60 - i**4/6 - i**3/3 - 2*i**2. Let h = 17 + -11. Is 10 a factor of d(h)?
True
Let d(y) = y + 1. Let z(q) = q + 8. Let t(a) = -6*d(a) + z(a). Is t(-6) a multiple of 23?
False
Suppose -2*n + 14 = -138. Does 19 divide n?
True
Let r = -6 - -1. Let g(z) = 2*z + 4. Let t be g(r). Does 22 divide (t - 0)*(-22)/6?
True
Suppose 2*a - p - 305 = -a, 0 = -3*a - p + 295. Is a a multiple of 13?
False
Is 11 a factor of 6/(-8) + 892/16?
True
Let r(t) = -t**3 + 5*t**2 - 3*t + 2. Let i be r(4). Suppose 0*a = 5*a - 800. Suppose -j = -i*j + a. Does 16 divide j?
True
Suppose -6*q + 2*q = -8. Let a be (-1 - -4)/(3/q). Suppose 47 = 3*m - a*n + 11, -5*m - 2*n + 44 = 0. Does 8 divide m?
False
Let c = 42 - 3. Let h = -23 + c. Is 16 a factor of h?
True
Suppose 2*r + 27 = m, m + 5*r = 2*r + 12. Let n = m - 18. Is n even?
False
Let r = 10 - 5. Suppose -3*i + 20 = -2*c + 3*c, -r*c + 3*i + 154 = 0. Does 9 divide c?
False
Let b(i) be the second derivative of -i**5/20 + 2*i**4/3 - 5*i**3/3 + 5*i**2/2 - 3*i. Is 10 a factor of b(5)?
True
Suppose 4*b - 40 = 96. Does 34 divide b?
True
Let g(v) = v**3 - 3*v**2 + 2*v. Let b = -2 + 5. Is g(b) a multiple of 3?
True
Suppose -v - 6*d = -2*d + 1, -5*v + 14 = d. Suppose -v*j + 8 = -46. Is 9 a factor of j?
True
Let d(c) = -c + 2. Let q be d(3). Let n(x) = 6*x**2 - 1. Let m be n(q). Suppose 2*v - 70 = -m*a, 5*a - 3*v - 55 = -8*v. Is a a multiple of 16?
True
Suppose -o = 5*u - 113, -3*u + 384 = -2*o + 6*o. Does 31 divide o?
True
Let k(l) = -l**2 - 7*l - 10. Let h be k(-4). Suppose j = 5*t - 46, 3*t + j - 26 = h*j. Is t a multiple of 8?
False
Suppose -2*w = 5*o - 216, o - 19 = -2*w + 29. Does 15 divide o?
False
Let c be (-12)/42 + 607/(-7). Let u = -50 - c. Is 12 a factor of u?
False
Suppose -240 = -2*f + 16. Is f a multiple of 16?
True
Suppose 0 = 6*q - q. Is 20 + (-2 - (q + 0)) a multiple of 5?
False
Let o be 6/(-9) + 68/3. Suppose -13 = -4*u - 5*a - 47, 0 = 3*u + 2*a + o. Is 17 a factor of -2*(-3)/u - -35?
True
Is 4 a factor of -3 + 9 + -1 + 1?
False
Suppose 4*o = -29 + 109. Is 20 a factor of o?
True
Let a = -58 - -99. Is a a multiple of 7?
False
Let w(r) = r + 8. Does 3 divide w(4)?
True
Does 6 divide ((-75)/(-2) - 0) + (-30)/(-20)?
False
Let x = 165 + -71. Is 5 a factor of x?
False
Suppose -2*f + 24 = -2. Suppose -2*v = j - f, -2 = -j - j. Suppose -d + v = 2. Is d even?
True
Let z(r) = 21*r**2 + 2*r + 1. Let l(b) = -b**3 - 5*b**2 - 4*b - 4. Let h be l(-4). Let u = -5 - h. Is z(u) a multiple of 14?
False
Let z = 3 + -5. Let v(r) = -3*r**3 - r**2 + 3*r + 3. Is 7 a factor of v(z)?
False
Let v be 3 - (2/1 + -1). Let j = 40 - -101. Suppose -5*n + j = -v*n. Does 14 divide n?
False
Suppose -p + 4 - 30 = 0. Let w = 39 + p. Is 13 a factor of w?
True
Suppose 3*q - y = 5*q - 155, -q + 76 = -y. Is 62 a factor of q?
False
Let w(m) = m**3 + 5*m**2 - 6*m + 7. Let k be w(-6). Suppose -10 = -k*j + 2*j. Suppose 2*z - 3*z + 6 = -j*o, 5*o = z. Is 5 a factor of z?
True
Suppose 3*j = -5*q + 3*q + 72, 5*q = 0. Does 5 divide j?
False
Let v(b) = -b + 5. Let c be v(3). Suppose 0 = -5*r + 25, -r - 17 = -p - c*r. Is 6 a factor of p?
True
Suppose 22 + 16 = 2*x. Is x a multiple of 10?
False
Let b(q) = -6*q - 13. Is 31 a factor of b(-20)?
False
Is 4 a factor of (64/12 - 0)/((-6)/(-9))?
True
Suppose 2*n + 3 = 9. Suppose -n*l - 100 = -8*l. Is l a multiple of 10?
True
Let b(l) = -4*l - 4. Let x be b(5). Let t be ((-1)/(-2))/((-2)/x). Is 3 a factor of -3*4/t*-3?
True
Suppose -10*q + 13 = -9*q. Suppose -2*h - 1 = 11. Let d = q + h. Is 7 a factor of d?
True
Let p = -13 + 34. Is p a multiple of 3?
True
Is 12 a factor of (2 - 1)/3*87?
False
Let r(p) = p**2 - 7*p - 1. Let b be r(-7). Suppose -2*j + b = -j. Is j a multiple of 26?
False
Let u = 1 + -11. Let f(v) = -v**3 - 10*v**2 + 13. Does 9 divide f(u)?
False
Let g(l) = l**3 + 5*l**2 - 20*l - 1. Let r be g(-8). Let o = 48 + r. Does 13 divide o?
False
Let p(x) = 4*x + 1. Is p(7) a multiple of 29?
True
Let q = 15 - 26. Suppose 2*h + h = -i - 26, 3*i + 4*h + 78 = 0. Let c = q - i. Is 15 a factor of c?
True
Let p be (-3 + 0)/((-6)/14). Let k = p + 1. Suppose -4*h + k + 6 = 5*q, 4*h - 26 = q. Is 3 a factor of h?
True
Let s = -35 + 19. Let l = 22 + s. Let r = l - -1. Is r a multiple of 7?
True
Let j = 25 - 7. Is j a multiple of 9?
True
Suppose 13 = -2*d + 1. Let c = -1 - d. Does 3 divide c?
False
Suppose z - 25 = -4*z, -3*l + 5*z = 13. Is l even?
True
Let y(j) = -1 + 0 + j**2 - 4 + 2*j + 0*j. Let q be y(-4). Suppose q*u - 5*g = 2*u + 27, u + 5*g = -3. Is u a multiple of 12?
True
Let o(v) = -57*v. Let h be o(1). Let w = h + 20. Let n = 61 + w. Is n a multiple of 11?
False
Let n(i) = i**2 - 3*i + 2. Let z be n(3). Suppose 3*h - z*g = 2*g + 34, 0 = g - 2. Let k = 42 - h. Does 14 divide k?
True
Let d(x) = x - 11. Let v be d(15). Suppose 2*b - s = -6*s + 47, -v*b + 79 = -5*s. Is 4 a factor of b?
False
Suppose 690 = 5*n - 5*m, -2*n - 4*m + 169 = -131. Is 35 a factor of n?
False
Suppose 2*u - u + 2*k - 38 = 0, 4*u + k - 138 = 0. Does 16 divide u?
False
Suppose 4*j = 20, 2*s - 5*j + j = 472. Is s a multiple of 17?
False
Suppose 3*c - 12 = -0*c. Suppose c*x = h - 16, -4*h + 0 = -x - 4. Is 11 a factor of (5 - 3)/(x/(-38))?
False
Suppose 2*t + 11 = x - 3, -t = -4*x. Let s = 0 - t. Is 4 a factor of s?
True
Suppose -5*i - 3 = -6*i. Is 11 a factor of (i/2)/(-1)*-22?
True
Suppose 0 = -5*x - 5*v - 25, -2*x + 9*v = 5*v - 2. Let w(q) = q**2 + q. Is w(x) even?
True
Let n(h) = h**2 - 10*h - 12. Does 33 divide n(-8)?
True
Let h = 39 + -19. Is h a multiple of 14?
False
Let m(u) = 13*u**2 + 3*u - 5*u + 3*u + u**2. Does 13 divide m(-1)?
True
Let a(b) = 2*b**2 + b. Let n be a(1). Is 3/(n - 57/20) a multiple of 10?
True
Let q be (-6)/(-27) + 2/(-9). Suppose 2*m = 8, q*m + 4*m - 18 = -n. Suppose 2*c - 7 = -p - 0*p, -5*p - 13 = n*c. Does 6 divide c?
True
Does 13 divide (-3)/((-12)/260) - (3 + -3)?
True
Suppose 3*k + 0*k = -i + 37, k = 4*i - 96. Is 5 a factor of i?
True
Let v(p) = p + 1. Does 3 divide v(11)?
True
Suppose -3*y + 2*c = 3*c - 8, 0 = 4*y - 3*c + 11. Let k(s) = 4 - y + 1 + s. Is 6 a factor of k(3)?
False
Let c(m) = 5*m**3 - m. Let u be c(1). Suppose -u*a = 3*f - 237, f - 5*a - 60 = -0*f. Is 25 a factor of f?
True
Suppose 0 = -4*u - 107 - 49. Is 20 a factor of -1*(-2 + 4) - u?
False
Suppose -483 + 183 = -3*a. Does 25 divide a?
True
Let n(p) be the second derivative of p**4/12 + 5*p**3/6 - 3*p**2/2 - 2*p. Let f be n(-6). Let w = 9 - f. Is w a multiple of 6?
True
Suppose 0 = k + 32 - 74. Suppose 30 = 3*q - 0*q. Suppose 4*j - k = -q. Is j a multiple of 6?
False
Let h(j) = 4 - 1 + j**3 - 6*j**2 + j**2 + 0*j + 2*j. Is h(5) a multiple of 9?
False
Suppose 67 = -5*c + 227. Does 7 divide c?
False
Let j be ((-10)/(-5))/((-1)/(-3)). Suppose j = 3*c - 0*c. Suppose a - 2*s - c*s - 32 = 0, -32 = -a - 4*s. Is a a multiple of 16?
True
Suppose 0*s - 4*s = -224. Suppose 6*g - s = 2*g. Is 4 a factor of g?
False
Is 10 a factor of 4/(-3)*1*-18?
False
Let t = 194 + -86. Let z = 76 - t. Let b = -19 - z. Is b a multiple of 7?
False
Let x be 1/((-2)/1 + 1). Suppose 12 = h + 18. Does 16 divide h*(x + (-14)/3)?
False
Does 5 divide 621/33 - (-8)/44?
False
Suppose -5*q + 14 = -3*t - 0*q, 2*q - 8 = 0. Suppose 3*p + t*h - 50 = 0, -4*h - 2 - 10 = -p. Does 4 divide p?
True
Suppose 4*x - 219 = 93. Is x a multiple of 13?
True
Let n = -39 - -47. Does 2 divide n?
True
Let s(h) = 9*h**2 - 2*h + 1. Let b(r) = -1. Let q(l) = 3*b(l) + s(l). Does 19 divide q(-2)?
True
Let z be 0/2*1/(-2). Suppose 18 = v - 2*b - z, 2*b = 0. Does 6 d