Let s(n) = 53*n**2 - 11*n - 27. Is 23 a factor of s(-2)?
True
Let c = 12 + -8. Suppose 2*i + 2*i - 128 = -c*v, 2*i = -4*v + 124. Does 7 divide v?
False
Let n(i) = 6*i - 3. Let a be n(2). Suppose 30 = 4*l - 3*t, 3*t + 3 = l - a. Is 5 a factor of l?
False
Let i be 1 - (-2 - -4) - -3. Suppose 42 = 5*j + 3*l, 0*j = -i*j + 5*l - 8. Is 3*2/j*18 a multiple of 18?
True
Let k(d) = -d**3 - 5*d**2 - 6*d - 2. Let m be k(-5). Let i = 67 - m. Does 10 divide i?
False
Suppose 268 = 3*g + 76. Does 9 divide g?
False
Suppose 2*i + 24 = 4*t, -4 = -4*i - 2*t - 2. Is i/9 - 634/(-18) a multiple of 23?
False
Let r be (-1 + (-3 - -5))*0. Let m be (-60)/(r - 1) - -1. Suppose -5*d + j + m = 0, -2*d + 14 = -0*d - 3*j. Is 4 a factor of d?
False
Suppose -o + 35 = -5*l, -o - 2*l = -6*o + 175. Is o a multiple of 14?
False
Let k(r) = -46*r - 9. Is k(-3) a multiple of 43?
True
Suppose -h = -5*h. Suppose 3*a + h*y = -5*y + 41, -2 = -2*y. Does 6 divide a?
True
Let a(m) be the first derivative of m**5/60 + m**4/24 - m**3/3 - m**2/2 + 3. Let d(u) be the second derivative of a(u). Is 5 a factor of d(3)?
True
Let i(m) = m - 13. Let j be i(9). Is 4 a factor of (8/j)/((-2)/6)?
False
Let s be (0 + -6)*(-22)/4. Suppose d = -2*d - s. Let g = 13 - d. Does 12 divide g?
True
Suppose -v - 2 = -0*v. Let l(r) = 4*r**2 + 4*r + 2. Does 10 divide l(v)?
True
Suppose 2*w + 4*c = 1 - 17, c = w - 4. Suppose 3*o - 3*u - u = -37, o + 5*u + 6 = w. Let b = o - -33. Is 11 a factor of b?
True
Let x = 197 + 1. Is x a multiple of 22?
True
Let k be (6/9)/((-6)/(-45)). Is 5*9 - (5 - k) a multiple of 9?
True
Let x(f) = 0 + 2 + 0 - 4 - f. Let s be x(-7). Suppose -4*b + 3*r = -51, -3*b - 70 = -8*b + s*r. Does 6 divide b?
False
Suppose 9*q - 6*q - 9 = 0. Let g(k) = -1 - 15*k + 4*k - q*k. Does 9 divide g(-2)?
True
Let b = 66 + -31. Is b a multiple of 10?
False
Is 8 a factor of ((-42)/(-4))/((-6)/(-24))?
False
Suppose -4*l - y + 101 = 0, -4*l - y + 5*y + 76 = 0. Is 6 a factor of l?
True
Suppose -2*n - 179 = -5*n - 4*i, -i = 4*n - 243. Is n a multiple of 17?
False
Let k = -29 - 47. Is (1*-1)/(4/k) a multiple of 14?
False
Is 4/1 + 59/1 a multiple of 10?
False
Let g(a) = 233*a**2 + 2*a + 2. Is g(-1) a multiple of 18?
False
Let z be ((-1)/(-1))/(1/5). Let a = 2 + z. Suppose m = a*u - 3*u - 18, -2*m + 19 = 3*u. Does 5 divide u?
True
Let r(m) = 28*m**3 - m**2 + 3*m - 1. Let w = 25 - 24. Does 21 divide r(w)?
False
Suppose 12 = -4*s, -3*x + s + 16 = -29. Is 14 a factor of x?
True
Suppose -5*q + 3*b = 5*b - 55, 2*q + 4*b = 38. Let y = q - -6. Is 10 a factor of y?
False
Let n be (-30 - 0)*5/10. Does 13 divide 28/5*n/(-6)?
False
Let q = 2 - 1. Suppose q = k + u, 20 = -5*u + u. Does 3 divide ((-5)/10)/((-1)/k)?
True
Let m(n) = -n**3 - 14*n**2 + 11*n + 4. Let r be m(-15). Let p = r - -2. Is 11 a factor of p?
True
Let s(k) = -11*k**3 - 2*k - 1. Let n(j) = 2*j**3 + j**2 + j - 1. Let a be n(1). Let y be (-4)/3 - (-1)/a. Does 9 divide s(y)?
False
Let j(c) = -c - 7. Let f be j(-10). Let q be (42/(-35))/(f/(-10)). Suppose 2*u = -0*u, -4*l + q*u + 64 = 0. Does 7 divide l?
False
Suppose 2*c - 435 = -3*c. Let p be (-34)/(-6) - (-2)/6. Suppose 0 = 3*b - p*b + c. Is 17 a factor of b?
False
Is 6/9 + 61/3 a multiple of 11?
False
Is (36 - (-3 - 0)) + 0 a multiple of 11?
False
Let r(t) = 103*t**2 - 2*t + 1. Let j be r(1). Let b = j - 61. Let c = b + -25. Is 10 a factor of c?
False
Let o(k) = -3 + 4*k - 1 + 3*k + 3. Does 6 divide o(1)?
True
Let j = 0 - 1. Let f = j - -1. Suppose 4*h - 13 - 3 = f. Does 2 divide h?
True
Suppose -5*s - 3*l + 870 = 0, 5*l - 880 = -2*s - 3*s. Does 40 divide s?
False
Suppose g - 6*g = -a + 61, -2*g = -a + 58. Is a a multiple of 28?
True
Let k(f) = 4*f**2 - 3*f - 30. Does 24 divide k(6)?
True
Suppose 0*b + 4 = 2*b. Suppose 2*z - 19 = -b*n + 5*z, -5*z + 60 = 5*n. Is 7 a factor of n?
False
Let o be -2*((-14)/4)/1. Let r be -8 + o + (-6 - 1). Is 8 a factor of 9/6 - 116/r?
True
Let q = -20 + 40. Suppose -s - 8 = 2*i, 4*s + 0*s = -5*i - q. Suppose -4*o + 2*h = h - 95, -3*o - 3*h + 60 = s. Is 12 a factor of o?
False
Let j be 2/(-5) + (-174)/(-10). Let q = 33 - j. Does 8 divide q?
True
Let d = -25 - -6. Is (d/(-2))/(4/8) a multiple of 12?
False
Suppose 30 = h + 2*h. Let g = h + 2. Is 3 a factor of g?
True
Let j be (-2)/(-3)*(-1335)/(-10). Suppose j = 4*n - 7. Is n a multiple of 6?
True
Let b(c) = -5*c. Let g(m) = 14*m + 1. Let q(l) = -8*b(l) - 3*g(l). Let p be q(-4). Suppose p*u + 52 - 157 = 0. Is u a multiple of 10?
False
Suppose 2*u = -2, -i + 33 = -2*u + 2. Let l = i + -21. Is l a multiple of 4?
True
Let p = 525 + -371. Is 15 a factor of p?
False
Let a(m) = -m**2 + 3*m - 1. Let s be 0/(-1) + 10/5. Let j be a(s). Suppose -w = -j - 27. Is 14 a factor of w?
True
Let d(g) = 2*g**2 - 14*g - 2. Is d(13) a multiple of 48?
False
Let r = -5 - -4. Is 26/(2/1 + r) a multiple of 13?
True
Suppose -a - a = -32. Let f = 24 - a. Is f a multiple of 8?
True
Let m = 13 + -22. Let r = m - -3. Is ((-29)/2)/(3/r) a multiple of 11?
False
Let n(l) = -12*l**2 + l - 1. Let t(a) = a**2 + 6*a + 1. Let u be t(-6). Let x be n(u). Does 11 divide (66/(-4))/(x/16)?
True
Suppose z - 11*z + 910 = 0. Is z a multiple of 13?
True
Suppose 3*z + 2*p - 245 = 0, -4*z - 5*p + p = -328. Is 27 a factor of z?
True
Let n be (-7)/(-49) - 1/7. Suppose -3*q = -n*q - 165. Is q a multiple of 24?
False
Let k be (-2)/(-3)*(0 + -3). Let q = k - -3. Is (q/(-2))/(2/(-152)) a multiple of 14?
False
Let q = -2 + 4. Suppose -q*y + 64 = -0*y + 5*f, 2 = f. Is y a multiple of 18?
False
Let p = -375 - -203. Let j be p/(-3) + (-3)/9. Is -1 + j/3 + 2 a multiple of 7?
False
Let p be (-2)/(-10) + 3/(-15). Suppose a + 0*a - 5 = p. Suppose -131 = -a*s - 2*v, 5*v + 125 = 3*s + 34. Is 11 a factor of s?
False
Let v = -110 + 193. Is 20 a factor of v?
False
Let s(n) = -n**2 + 21*n - 6. Is 46 a factor of s(7)?
True
Suppose 4*t = 274 + 174. Is 12 a factor of t?
False
Let v(g) = g**3 + 6*g**2 + 4. Suppose 15 = t + 2*t. Suppose -t = -3*m - 23. Does 2 divide v(m)?
True
Suppose -k = -x + 9, -x + 18 = -2*k + 6. Does 7 divide (40/(-12))/((-2)/x)?
False
Let n(p) = -2*p - 14. Let v be n(-11). Let b = 2 + v. Does 7 divide b?
False
Let r be 0*(2 + 1 + -2). Let o be 1/4 - (-237)/12. Suppose r = -3*b + o - 2. Does 5 divide b?
False
Let w = 32 - -2. Is 7 a factor of w?
False
Let i(t) = 66*t**2 - 1. Is i(1) a multiple of 13?
True
Let x(v) = v**2 - 4*v + 2. Let s be x(7). Let a = 32 - s. Is 7 a factor of a?
False
Let h(l) = l**2 + 5*l + 2. Let b = -4 + -1. Let c be h(b). Suppose -c*j - 28 = -4*j. Is 7 a factor of j?
True
Let w be 4 - (2/1)/1. Suppose -3*s - 8 = -3*o + w*o, -s + 8 = 5*o. Suppose -7*m + 80 = 3*i - 3*m, -2*i - o*m + 52 = 0. Is i a multiple of 14?
False
Let h(u) = u - 12. Let c be h(9). Let y(r) = -9*r - 1. Let m(d) = -10*d - 1. Let a(i) = -5*m(i) + 6*y(i). Is a(c) a multiple of 11?
True
Let j(z) = 32*z**2 - 5*z - 4. Is 11 a factor of j(-1)?
True
Let g = 15 - 11. Let b(l) = 5*l**3 + l - 4. Let k(o) = 11*o**3 + 3*o - 8. Let q(r) = g*k(r) - 9*b(r). Is 11 a factor of q(-3)?
True
Suppose -3*s - 4 + 19 = 0. Suppose s*y - 4*y - 15 = 0. Is y a multiple of 15?
True
Let m(y) = y**3 + 10*y**2 + 9*y + 13. Suppose -5*z - r = 40, 5*r = 2*z + z + 52. Is 8 a factor of m(z)?
False
Suppose 5 = -3*k - 4. Let h be 2/6 - 44/k. Suppose -3*w - z - h = -4*w, w - 15 = -5*z. Does 11 divide w?
False
Let x(l) = l**2 - 4*l + 6. Let u(d) = d**2 - 4*d + 6. Let b(h) = h**2 + 6*h + 2. Let m be b(-5). Let i(f) = m*u(f) + 4*x(f). Is 8 a factor of i(5)?
False
Suppose 8*g = 834 - 154. Does 17 divide g?
True
Suppose 0*h + 4*d + 47 = 5*h, 0 = 4*h - 4*d - 40. Let n = 23 + h. Is n a multiple of 10?
True
Let t(g) = g**3 + g + 22. Suppose -l = -2*l. Suppose 2*k = 2*q + 2, 5*q + 3*k - k - 2 = l. Is 17 a factor of t(q)?
False
Let q = 55 + -83. Let r be (138/(-4))/((-9)/(-12)). Let w = q - r. Is w a multiple of 13?
False
Let l(z) be the second derivative of -z**5/10 - z**4/12 + z**3/3 + 3*z**2/2 - z. Is 11 a factor of l(-3)?
False
Let d(q) = -q + 10. Let g be d(-11). Suppose -4 = 6*r - 4*r - 2*w, -5*w = 4*r + 35. Let f = g + r. Is 7 a factor of f?
False
Let f = -28 - -19. Let o be (24/f + 1)*-3. Suppose -15 = -5*w - o. Is w even?
True
Let f(h) = -h**2 + 6*h + 1. Let s be f(6). Suppose -2*v - s = -3. Let z = v - -5. Is z a multiple of 4?
Fa