-14 + 0/((-1)/1). Let g(t) = t**3 + 15*t**2 + 10*t - 20. Is 12 a factor of g(o)?
True
Let n = -6 - -11. Let i = -4 - -3. Is ((-24)/15)/(i/n) a multiple of 3?
False
Let r be (49 - 0) + -1 + 2. Suppose 5*v + r = -15. Let g = v - -23. Is 10 a factor of g?
True
Suppose -15 = x - 4*x. Suppose x*v = v + 120. Does 6 divide v?
True
Suppose 5*b + 76 = 3*s, 3*b = 5*s - b - 131. Is s a multiple of 8?
False
Is 5 a factor of ((-8)/(-6))/(12/720)?
True
Let w = -11 + 53. Let v = w - 19. Does 8 divide v?
False
Suppose 3*u - 3*l = -2*u - 44, -3*u - 33 = -4*l. Let r = u - -13. Let z = -4 + r. Is z a multiple of 2?
True
Let l(b) = b**3 - 11*b**2 + b - 6. Let w be l(11). Suppose -o + 290 = w*t, 0*o = o. Is t a multiple of 16?
False
Let d(k) = k + 13. Let o be d(-7). Suppose o = -3*n + n - 3*j, -2*j - 4 = 4*n. Suppose -12 = 4*z, 4*p + z + 23 - 152 = n. Does 11 divide p?
True
Let x(v) = v**3 + 5*v**2 + 2*v + 5. Let k be x(-4). Let l = 5 + k. Is l a multiple of 18?
True
Let s(x) = x**3 + 4*x**2 - 5*x. Let a be s(-5). Suppose 4*y - 176 - 80 = a. Is y a multiple of 16?
True
Suppose 6*x + 4*g - 68 = 3*x, -x = -g - 18. Suppose 4*h = 2*q - h - x, 0 = -5*h + 10. Suppose 2*y = 7*y - q. Is y a multiple of 2?
False
Suppose 87 = -6*v - 27. Let a be (-2)/((-31)/29 + 1). Let c = v + a. Is c a multiple of 10?
True
Let o(b) = b + 12. Let z be o(-10). Suppose z*x - 2 = 26. Is x a multiple of 14?
True
Let n be ((-2)/4)/((-2)/4). Let s = 2 - n. Is 11 a factor of -1 + 25 + (1 - s)?
False
Let r(j) = 6*j**2 + 2*j + 3. Let p be r(-2). Suppose -2*s + 3*v = 22, -2*s + 5*v = p - 5. Let d = s + 20. Is 4 a factor of d?
False
Suppose 0 = 5*i + 5*m - 60, -2*i = 5*m - 5 - 10. Is i a multiple of 5?
True
Let w(m) = -m - 1. Let y be w(-3). Suppose 1 = y*s - 11. Does 6 divide s?
True
Suppose o + 5*l - 50 = -4*o, -2*o + 41 = -5*l. Let y be -1 + (4 - 2) - -22. Let z = y - o. Is z a multiple of 9?
False
Does 8 divide -2 + -2 - -3 - -36?
False
Suppose 4*m = 3*m + 4. Suppose 0 = -m*p - 3*g + 86, -4*p + 94 = -0*p - g. Is 11 a factor of p?
False
Let u(m) = -6*m**2 + 2*m. Let g be u(-2). Is 10 a factor of -1 - -4 - (g + 1)?
True
Let f(v) = -8*v**3 + v + 1. Let k(i) = i - 5. Let z be k(4). Let s be f(z). Let l(m) = m**2 - 8*m + 5. Is 4 a factor of l(s)?
False
Suppose -4*p + 3 = -9. Suppose 0 = c + 14 + 1. Is 5 a factor of 10/p*c/(-10)?
True
Is 19 a factor of (73 + 1 + 1)/(18/12)?
False
Suppose 0*z - 3*z = -12. Let q(j) = -j + z + 2*j - 5 + j**2. Does 4 divide q(2)?
False
Let i be 2*(3 + 10/(-4)). Let y = 14 - i. Is 13 a factor of y?
True
Suppose f - 12 = 37. Does 8 divide f?
False
Is 8/((-2)/2 - (-18)/14) a multiple of 2?
True
Let t = 28 + -20. Suppose 4 = -5*h - j, -4*h + 5*h - t = 2*j. Let m = h + 8. Is 8 a factor of m?
True
Is 5 a factor of (-5)/(60/488)*(-3)/2?
False
Let h = -3 + 3. Let u = 3 - h. Suppose -17 = u*f - 101. Does 14 divide f?
True
Suppose 0*f - 10 = -2*f. Suppose -f*y = -y. Suppose -3*d + y*d + 33 = 0. Does 5 divide d?
False
Is 6 a factor of 1/(-2) - (-440)/16?
False
Let g = 2 - -7. Suppose 6 = 3*i - g. Suppose -4*o + i*o = 7. Does 7 divide o?
True
Let j(b) = -b**3 - 2*b**2 - 2*b - 1. Let g be j(-2). Suppose 0 = -g*h + 7*h - 180. Is h a multiple of 13?
False
Suppose -680 = -22*g + 18*g. Is 47 a factor of g?
False
Let o be 0 + -2 + 4 + 2. Suppose 3*t - o*t + 231 = 0. Suppose 0*w - 173 = -3*w + 2*k, -3*k - t = -4*w. Does 25 divide w?
False
Suppose -o + 37 - 1 = 0. Is 6 a factor of o?
True
Suppose -5*q = -0*u - u - 19, -u - 7 = -q. Let o(f) = 12*f - 4. Is o(q) a multiple of 9?
False
Let b(w) = -w**2 - 7*w + 3. Let n be b(-6). Let x = 5 - n. Let r = x - -10. Is r a multiple of 6?
True
Suppose 4*s - 22 = -2*y, -5*s - 2*y - 3 = -6*s. Suppose -s = -p - 1. Is p a multiple of 2?
True
Suppose -2*g = 2*g - 8, 4 = 2*d + 2*g. Suppose -6*q + 3*q + 45 = d. Does 6 divide q?
False
Let t(l) be the third derivative of l**7/1260 + l**5/120 + l**4/8 + 2*l**2. Let x(s) be the second derivative of t(s). Is x(3) a multiple of 19?
True
Does 28 divide (-2)/(9/(-15) - 946/(-1610))?
False
Suppose -3*w + 2*s = 2*w + 10, -5*w = s - 5. Suppose w = -z + 40 - 6. Does 17 divide z?
True
Let p(s) = 21*s + 11. Is 21 a factor of p(4)?
False
Suppose -g = 2*g. Let r(p) = g*p + 3*p + p**2 + 5 + 4*p. Is r(-7) a multiple of 5?
True
Suppose o - 2*m = -4, 0 + 1 = m. Let d = 20 + o. Is 13 a factor of d?
False
Suppose 114 = 3*q - 4*h, -q + 4*h - 114 = -4*q. Is 19 a factor of q?
True
Let c(j) = j**2 - 17*j + 30. Is 7 a factor of c(16)?
True
Let n(x) = -3*x + 3. Let a be 5/(-2) + (-3)/2. Is 5 a factor of n(a)?
True
Let j(y) = -3*y**2 + y - 2. Let f be j(2). Let p = -7 - f. Is 2 a factor of p?
False
Suppose 4*r + 100 = 1380. Is 64 a factor of r?
True
Is -2 + (18 - -1) - -4 a multiple of 16?
False
Let j(c) = -4*c + 14. Let r(k) = 9*k - 28. Let o(x) = 7*j(x) + 3*r(x). Let m be o(12). Suppose -4*z = -5*a + 162, -3*a + 93 = -3*z + m*z. Does 24 divide a?
False
Suppose 0 = l - 2*l - 6. Let c(f) = f**2 + 2*f - 6. Let u be c(l). Let k = 10 + u. Does 14 divide k?
True
Let r(k) = -25*k - 10. Does 13 divide r(-3)?
True
Does 14 divide 1183/28 - 1/4?
True
Suppose 20*w - 13*w - 854 = 0. Is 29 a factor of w?
False
Let h = -485 + 830. Suppose 0 = 5*u + i - h, -4*u + 5*i + 150 = -97. Does 34 divide u?
True
Let o = 3 + 0. Suppose 17 - 113 = -o*u. Is 32 a factor of u?
True
Let n(f) = -f**3 + f**2 + f. Let b(t) = -2*t**3 - t**2 + t - 7. Let c(r) = -b(r) + 3*n(r). Let j be c(5). Let l(y) = -6*y - 12. Does 17 divide l(j)?
False
Let t(z) = 9*z**3 - z + 1. Suppose -2*r + 2*u + 38 = 0, 2*r - r - 24 = 2*u. Suppose c = -0*c - 5*s - r, s = -3. Is 9 a factor of t(c)?
True
Suppose -5*t - 5*n - 24 = 11, -5*n = -t - 25. Let k = t + 10. Suppose k + 36 = 4*u. Does 9 divide u?
True
Suppose -2*z + 45 + 33 = 0. Let k = z + -22. Does 9 divide k?
False
Suppose 9*w - 2*w = 791. Is 22 a factor of w?
False
Let r be 5/(10/(-6)) - -12. Suppose 3*w = -0*w - 2*d + r, 3*d + 19 = 2*w. Suppose w*a = 40 + 190. Is 14 a factor of a?
False
Let f(z) = z**2 + z - 1. Suppose 2*s = -m - 14, 3*s + 9 = m - 12. Let q be f(s). Let d = q - 9. Is d a multiple of 16?
True
Let y = -19 - -42. Suppose -2*s - 5 = -y. Is s a multiple of 9?
True
Let n = -29 + 45. Let x = 35 + n. Does 14 divide x?
False
Let g = 59 + -3. Is g a multiple of 18?
False
Let o be -11 + 19 - (2 + -1). Is 20 a factor of o - -77 - 2*2?
True
Let f(i) = -i**3 + 6*i**2 + i + 7. Suppose 0 = n + g - 1, 0 = -0*n + 5*n - g - 35. Is f(n) a multiple of 6?
False
Let w = -204 - -477. Suppose 5*c + 3*y = -109 + 452, w = 4*c + y. Is c a multiple of 17?
True
Let p = -68 - -124. Does 3 divide p?
False
Suppose 0 = 5*k - k - 360. Suppose 0*g + 5*g - k = 0. Is 9 a factor of g?
True
Let g(l) = -4*l + 1 + l + 3*l + 3*l. Let c be (5 - -4)/(1 - 0). Is g(c) a multiple of 13?
False
Suppose 3*z + 28 + 20 = -4*f, -5*z = 20. Is 6 a factor of (-6)/(1/(f/6))?
False
Suppose 8 = a + 3*a. Suppose 3*o + a*o + 5*k = 10, 0 = -5*o + 5*k + 10. Suppose u = o*p + 8, u + 3*p - 2*p - 11 = 0. Is 9 a factor of u?
False
Let f(g) = -g**2 - g - 1. Let c(k) = 5*k**2 + 2 + 0*k**2 + 3 + 5*k. Let p(j) = c(j) + 4*f(j). Is p(-2) even?
False
Let f = 97 + -57. Is 7 a factor of f?
False
Let m be (2 + -2)/(-2 - 1). Suppose m*i - 35 = -i. Is 9 a factor of i?
False
Let o = 12 - -6. Does 9 divide o?
True
Let g(w) = -2*w**3 + 4*w**2 - 2*w + 4. Let p be g(3). Let s(l) = -l**3 + 9*l**2 - 8*l - 6. Let h be s(8). Let z = h - p. Is z a multiple of 7?
True
Suppose 4*i = -2*q - q + 298, 0 = -i + 2*q + 69. Is i a multiple of 15?
False
Suppose 3*l - t - 57 = 0, 60 = 4*l + 2*t + 2*t. Suppose -5*q + l = -92. Is q a multiple of 6?
False
Suppose -o + 322 = 2*o + 5*p, -4*o - 5*p + 436 = 0. Is o a multiple of 19?
True
Suppose 0 = -3*x - 4*s + 78, -2*x + s + 66 = -s. Is x a multiple of 21?
False
Let x = 74 - 40. Is 34 a factor of x?
True
Let m(h) = h**3 + h**2 + 1. Let p be m(3). Let z = p + -16. Is 21 a factor of z?
True
Suppose 3*n + h = -9, -6*n + 2*n = -2*h + 12. Let j(s) = 4*s**2 - 4*s - 6. Does 7 divide j(n)?
True
Let s(k) = -4*k**2 + 3*k + 4*k**3 + 3*k - 3 - 2*k. Does 21 divide s(2)?
True
Suppose 5*n = 16*n - 605. Is 12 a factor of n?
False
Let x = -18 + 73. Suppose 3*q - q = -3*h - 3, 0 = -5*q + 2*h - x. Does 5 divide (-2)/q - (-140)/18?
False
Let z(n) = -n - 2. Let f be (2/(-3))/(4/(-30)). Supp