- 5*f = -2*t - 116, -27 = -f + 3*t. Does 20 divide f?
False
Let x = 8 - 4. Suppose 0 = -2*y + x*s - 36, -57 = 3*y - 5*s + 2*s. Let b = -11 - y. Is 9 a factor of b?
True
Let l(y) = y**3 - 5*y**2 - 5*y - 5. Let j be l(6). Let b be 30*((-18)/(-5))/j. Suppose -4*n = -3*x - b, x + 8 = -x. Does 12 divide n?
True
Let o be (1/(-1)*0)/(-2). Suppose f + 4*z - 2*z + 26 = o, 5*z = -5. Is 6 a factor of f/(4/(-2)) - 0?
True
Does 26 divide ((-43)/2)/(4/(-8))?
False
Let m = -38 + 55. Does 8 divide m?
False
Suppose -7*j - j + 936 = 0. Is 13 a factor of j?
True
Let q = -341 + 573. Does 19 divide q?
False
Let o(a) = -8*a + 3. Let p(v) = v**2 - 13*v - 16. Let f be p(14). Is o(f) a multiple of 15?
False
Let q = 13 + -11. Suppose -f + 4*t + 31 = -t, -q*f - 2*t = -14. Is f a multiple of 4?
False
Let d be -14 - 0/(-2 - -1). Let u be 93/7 + 4/d. Let i = u - 7. Is i a multiple of 6?
True
Is 4 a factor of (104/(-3))/((-2)/(-6)*-2)?
True
Does 67 divide 66/44*(706/3 - 0)?
False
Let a(s) = 31*s - 1. Does 10 divide a(1)?
True
Let d = 114 - 58. Suppose d - 181 = -5*g - o, 4*o - 25 = -g. Is 2 a factor of 3/4 + g/20?
True
Let i = 6 + 25. Suppose -g - 235 = -3*f, 3*g = 2*f - 176 + i. Does 19 divide f?
False
Let f(n) be the first derivative of 5*n**3/3 + n + 4. Is f(-3) a multiple of 23?
True
Let g = 33 + -23. Does 4 divide g?
False
Let w = -11 - -32. Suppose 4*x - 4 = 2*x. Suppose 2*n = d - 15, -5*n - w = -x*d + 5. Is d a multiple of 8?
False
Let t(l) = 5*l**2 + 8*l + 9. Does 18 divide t(-7)?
True
Let x(b) = -b**3 - b**2 + 5*b + 3. Let g(w) = 2*w**3 + w**2 - 10*w - 6. Let p(j) = -6*g(j) - 13*x(j). Let v be p(-6). Suppose 0*m = -3*m + v. Does 13 divide m?
False
Suppose 8*n - 3*n = 420. Does 42 divide n?
True
Let y(f) = 13*f + 4. Let w(l) be the third derivative of -25*l**4/24 - 7*l**3/6 + 3*l**2. Let g(v) = -3*w(v) - 5*y(v). Does 6 divide g(1)?
False
Let c = 4 + -28. Let m be (-138)/4 + (-2)/4. Let w = c - m. Is w a multiple of 5?
False
Suppose -2*c - 1 = r, -c + r - 6 + 4 = 0. Is 21 a factor of c*-3*(2 + 12)?
True
Let o = 16 - 25. Let x = -5 - o. Is x even?
True
Let n be 2*10*5/10. Let d(f) = -f**3 + 12*f**2 - 14*f - 8. Let m be d(n). Suppose -p + m = p. Is p a multiple of 13?
True
Let g = 7 - 4. Does 18 divide 17 - (1 + (1 - g))?
True
Let d be (-4)/(8/(-10)) - 0. Suppose d = -5*f + 20. Does 9 divide (f + 0)*7 + -2?
False
Let t = -16 - -29. Let z(a) = -5*a**2 + 15*a - 2. Let m(u) = -u**2 + u - 1. Let b(f) = 4*m(f) - z(f). Is 18 a factor of b(t)?
False
Suppose 5*o - 54 - 26 = 0. Suppose -4*z = -9*z. Let w = o - z. Is 11 a factor of w?
False
Let a(r) = -2*r + 71. Let x(h) = -2*h + 71. Let t(u) = 3*a(u) - 2*x(u). Is 13 a factor of t(0)?
False
Suppose q - 25 = -4*x, -q + 4*x + 25 = 2*x. Suppose -c + p + 9 = 1, 2*c = -p + q. Let a = 22 - c. Is a a multiple of 11?
True
Suppose 4*v - 406 = 2*d, -4*v - 5*d + 169 = -272. Is v a multiple of 16?
False
Suppose 3 = 2*g - 1. Suppose 0*w = -g*w + 56. Is 27 a factor of w?
False
Let q(b) = -b**2 - 9*b + 4. Let z be q(-9). Suppose -c = z*c + 2*t - 50, 5*c - 45 = -3*t. Let f = c + 0. Is f a multiple of 6?
True
Suppose 1078 = -5*a + 12*a. Does 34 divide a?
False
Suppose 3*k - 520 = -2*k. Suppose 0 = -6*l + 2*l + 16. Suppose 3*h = -5*r + k, l*h = 4*r - 0*r + 128. Is h a multiple of 11?
True
Is 13 a factor of (4/(-12))/((-1)/654) - 4?
False
Suppose -6 = -2*l + l - 2*y, -3*y - 43 = -5*l. Let o = l + 31. Does 16 divide o?
False
Let l(y) = 3*y + 5. Let x be l(-10). Let h = 41 + x. Is 10 a factor of h?
False
Suppose -m - d + 82 = -3*d, 3*m - d = 221. Does 24 divide m?
True
Let w = 4 - 41. Let x = 58 + w. Is 21 a factor of x?
True
Is 6 a factor of (-95)/10*(1 + -3)?
False
Suppose m + 0 + 6 = 0. Let j = m - -10. Let h = 22 + j. Does 13 divide h?
True
Does 10 divide 5*1*(10 + 8)?
True
Let z = -13 + 105. Is 17 a factor of z?
False
Suppose -3*t + 110 = 2*t. Is t a multiple of 11?
True
Suppose 0 = -3*n + 5*s - 12, 4*n + 3*s = 8*s - 16. Does 6 divide (-60)/n + 1 + -4?
True
Let h be 46 + -3 + (-3 - -3). Suppose -4*i + 0*n = 5*n - h, 0 = -4*i - 3*n + 37. Is i a multiple of 2?
False
Let t(m) = m**3 + m**2 + 2. Let c be t(-2). Let l be -1 + (-54)/2 + c. Is (l + 7)*(-1 - 0) a multiple of 12?
False
Let d(i) be the second derivative of i**4/2 - i**3/2 + 4*i. Is d(3) a multiple of 15?
True
Let y(w) = w**3 + 7*w**2 + 4*w - 2. Let i(p) = p**2 + 6*p. Let c be i(-6). Suppose -5*r + c*r - 30 = 0. Does 7 divide y(r)?
False
Let n(b) = b**3 - 5*b**2 + 4*b - 8. Is n(6) a multiple of 26?
True
Let d(m) = 2*m - 5. Let g be d(6). Let j be 2*58/(-8)*-4. Suppose -h = -4*p - j, -5*p - 215 = 2*h - g*h. Is 12 a factor of h?
False
Suppose -s - x = 4 - 7, -3*x = 0. Suppose u - 2*z + 15 = 0, 0 = 2*u - s*z + 7*z - 2. Let o(c) = -c**2 - 11*c - 6. Is o(u) a multiple of 14?
False
Let c(o) = -o**2 - 10*o - 6. Suppose -2*a = -2*t + 14, t - 27 = 4*a - 4*t. Is 10 a factor of c(a)?
True
Is 174/(-4)*(-3 + 2)*2 a multiple of 29?
True
Let h(x) = 4*x + 1. Let j be h(8). Let a = j + -17. Is a a multiple of 16?
True
Let b be (2 + -1)*(0 + 2). Suppose -4*s = -b*d + 24, 21 = -2*s + 5*d + 1. Let n = s - -11. Is n a multiple of 6?
True
Let u be 384/28 + 2/7. Suppose i - 2*i = -u. Does 4 divide i?
False
Let o(i) = i**2 + 9*i + 1. Let c be o(-8). Let t(q) = -5*q - 7. Is 15 a factor of t(c)?
False
Let i = -433 + 671. Is 14 a factor of i?
True
Suppose 0 = -d + 18 + 289. Suppose -3*j + 192 = 5*a, -j - 4*a + d = 4*j. Does 18 divide j?
False
Let f(r) be the first derivative of -r**2/2 + 14*r + 3. Is 2 a factor of f(9)?
False
Is 4 a factor of (3 + (-21)/((-3)/(-1)))*-6?
True
Let j be (2/2)/(3/(-3)). Let g(a) = -2*a**3 - a**2 - a. Let t be g(j). Suppose -2*x - r + 20 = 0, 0*x + 24 = t*x + 3*r. Is 9 a factor of x?
True
Let h(q) = q + 4. Let c be h(0). Let x = -3 - -6. Suppose c*d - 3*d = -x*l + 7, -5*d = 3*l - 71. Is d a multiple of 5?
False
Let i(b) = 16*b**3 - b**2 + b - 1. Let p = -2 - -3. Is 11 a factor of i(p)?
False
Let d = 7 + -7. Let j be 0 - (-3)/(6/8). Suppose -j*g + 20 = d, -3*g - 36 = -4*w + 5. Is 10 a factor of w?
False
Let f = 164 + -62. Is f a multiple of 13?
False
Is 4 a factor of (-17 + -10 - 4*-1)*-1?
False
Let h(m) = 30*m - 8. Let o be h(4). Suppose 68 = 3*b + 2*j, -o = -5*b + 2*j - 6*j. Is b a multiple of 12?
True
Let h = 19 + -15. Suppose -h*u = -2*t + 20 + 32, -3*u - 69 = -3*t. Is 10 a factor of t?
True
Suppose -5*g + 2*q = -103, -4*q + 0*q = -2*g + 54. Does 10 divide g?
False
Suppose 2*j = 15 + 45. Is 8 a factor of j?
False
Let q(u) = 3*u + 8. Let o = -10 + 16. Is 7 a factor of q(o)?
False
Let d(y) = 3*y - 10. Is d(7) a multiple of 11?
True
Suppose -204 - 16 = -5*f. Is 11 a factor of f?
True
Let t(r) = r + 6. Let w be t(-3). Suppose w*q + 0 = -9. Is 2 a factor of q - -5 - (1 + -3)?
True
Let g(p) = -p**2 + 45. Suppose 0 = -z - z. Is g(z) a multiple of 13?
False
Let b be ((-2)/4)/(2/(-20)). Suppose 11 = b*k - 89. Is k a multiple of 5?
True
Let c(u) = 3*u + 7. Let s = 14 + -8. Does 13 divide c(s)?
False
Let y = 94 + -66. Is y a multiple of 14?
True
Let k(w) = -w**3 + 15*w**2 + 2*w + 3. Let j(f) = -f**3 + 16*f**2 + 2*f + 2. Let o(z) = -6*j(z) + 7*k(z). Let i be o(9). Does 15 divide 3 + 2 + i + -2?
True
Suppose 0 = -4*k + k + 93. Let z = k - 19. Does 9 divide z?
False
Suppose -204 = -16*n + 116. Is 4 a factor of n?
True
Let m(q) = q**3 + 2*q**2 - q - 8. Is m(4) a multiple of 21?
True
Is 27 a factor of ((-27)/(-5))/((-20)/(-1300))?
True
Let d(o) = -o**3 + 17*o**2 - 13*o - 14. Is d(16) a multiple of 18?
False
Suppose 4*i - 2*n = -8, -4*i + 3*n - 12 = -i. Let f(q) = q**3 - q + 39. Let j(y) = -2*y**3 + 2*y - 77. Let u(m) = -7*f(m) - 4*j(m). Is u(i) a multiple of 16?
False
Let i(q) = q**3 - 13*q**2 + 17*q - 16. Let s be i(12). Let l = 74 - s. Is 6 a factor of l?
True
Let u(d) be the first derivative of 5*d**3/3 - d**2/2 - 2*d - 3. Let n be u(2). Let m = n + 5. Is m a multiple of 8?
False
Suppose 0 = 2*r - 4*r + 120. Let h = r + -39. Is 9 a factor of h?
False
Suppose -u - 3*u - 108 = 0. Let n = 51 + u. Is n a multiple of 12?
True
Suppose 0 = -0*s + 2*s - 4*b - 562, 4*b = -5*s + 1433. Is 14 a factor of 3/(-4) - s/(-12)?
False
Let z(y) = y**3 + 6*y**2 + 6*y + 2. Let m be z(-5). Let n = 9 + m. Is 6 a factor of n?
True
Let h(m) be the first derivative of m**2/2 + 13*m + 3. Is h(-11) even?
True
Let d(b) =