se
Let y be (-1)/(-1 + 6/9). Is (4/y)/(2/12) a multiple of 8?
True
Suppose 5*n + 3*q - 14 = 0, -5*n + 4 = q - 4. Let z = n + 23. Is z a multiple of 8?
True
Suppose -4*q = 4*r - 124, 5*r - 4*q + 8*q = 153. Does 19 divide r?
False
Suppose -5*w - 50 = -p, 3*p + 2*w = 3*w + 178. Is 20 a factor of p?
True
Suppose 0*c - c - 2*f + 3 = 0, 4*c - 5*f = 12. Suppose -c*s = -40 - 5. Let z = s + -5. Is 10 a factor of z?
True
Let s(c) = c**3 - 5*c**2 - 4*c. Let u(k) = 4*k + k + k - 3*k. Let d be u(2). Does 5 divide s(d)?
False
Does 12 divide -12*(-1)/(-1)*-1?
True
Let l(z) = z**2 - 4*z - 6. Let k be l(6). Let t be -2*(-3)/k + 1196. Is -2*(t/(-6))/7 a multiple of 19?
True
Suppose s - 6*s = -50. Suppose 65 + s = 5*p. Is 5 a factor of p?
True
Let w(z) = -1 + 0 + 11*z - 8. Is 14 a factor of w(5)?
False
Let c(x) = 11*x**2 - 5*x + 7. Is c(2) a multiple of 6?
False
Let m(g) = -g**3 - 5*g**2 + 2*g + 6. Let z be m(-6). Suppose 5*y - 5 = -0. Is z + (1/y - 1) a multiple of 15?
True
Let h = 177 + -103. Is h a multiple of 10?
False
Suppose -4 + 16 = -4*x. Let h be 1/1 - x - -1. Suppose -2*u + 2*l = -18 - 42, -2*u = -h*l - 48. Is 17 a factor of u?
True
Let s(p) = -2 - p**3 + 3 - 10*p**2 + 1 + 7*p. Suppose -9*y = -6*y + 33. Does 13 divide s(y)?
False
Let h be 1/(-3)*-3 - 2. Let b be (h*5)/(8/(-24)). Suppose b = -5*c, 0 = 4*w - 2*c - 92 - 58. Is 12 a factor of w?
True
Let x(v) = -66*v + 1. Does 13 divide x(-2)?
False
Let f = -20 + 5. Let i be (8/(-1))/((-6)/f). Let o = i - -29. Is 4 a factor of o?
False
Suppose 4*f = 11*f - 56. Let u(d) = -27*d + 2. Let w be u(-5). Suppose 3*x - w + f = 0. Does 15 divide x?
False
Is (31/(-2))/(4/(-16)*1) a multiple of 25?
False
Let r(h) be the first derivative of 9*h**2/2 + h - 2. Let q = -3 + 6. Is r(q) a multiple of 14?
True
Suppose -a + 7 = 4*r - 5, 2*r - 4*a = -12. Let x = 2 + r. Suppose 0*y = 2*p + 3*y - 16, 0 = 4*p - x*y - 12. Is 5 a factor of p?
True
Suppose 0 = 5*w - 5*r - 127 - 33, 106 = 3*w - 5*r. Is 27 a factor of w?
True
Let z(j) = 40*j**3 - 2*j**2 + 4*j - 5. Is z(2) a multiple of 15?
True
Let x(j) = -11*j - 1 + 8*j - 24*j. Let c be x(-3). Suppose 0 = -4*m + 204 - c. Is m a multiple of 11?
False
Let a(f) = -f**2 - 5. Let j be a(0). Let b(l) = l - 4. Let t be b(j). Is 2/t - (-114)/27 a multiple of 2?
True
Let i = -21 - -226. Is 41 a factor of i?
True
Suppose 0 = 5*n + 48 - 948. Is n a multiple of 10?
True
Suppose 5*o - 4 + 29 = 4*j, -2*o - 10 = 3*j. Let d be j + 1 + 2/(-2). Suppose 5*s - 3*h - 75 = d, 30 = 4*s - 5*h - 30. Does 14 divide s?
False
Suppose 0*u + 3*u = 105. Is u a multiple of 7?
True
Suppose 3 = -2*x + 5*x, -3*x - 5 = -2*a. Does 2 divide a?
True
Suppose 0*y = -5*y + 300. Let r = -31 + y. Is r a multiple of 13?
False
Let u be 2/3 + 3430/21. Suppose -5*i - 70 = -2*g, 4*g = 5*i - i + u. Does 14 divide g?
False
Let z = 7 - -10. Suppose -g = -z + 4. Does 4 divide g?
False
Let c = 427 + -302. Is 8 a factor of c?
False
Let j(l) = 26*l - 6. Let d be j(4). Suppose -4*f + d = -2*f. Let o = -35 + f. Does 7 divide o?
True
Suppose -3*u + 4*c = -5*u + 20, 0 = 5*u + 4*c - 50. Does 5 divide u?
True
Suppose 5*y + 4*m - 570 = 0, 0 = -5*y + 3*m - 86 + 691. Does 10 divide y?
False
Suppose -2*w - w = 3. Let y = 18 - w. Does 13 divide y?
False
Let q(f) be the second derivative of -f**3/6 + 19*f**2/2 + 2*f. Is q(-12) a multiple of 6?
False
Let k(d) = 2*d - 1. Let x be k(4). Let i(b) = b**2 - 4*b - 7. Is 6 a factor of i(x)?
False
Suppose -7*h + 11*h - 400 = 0. Is h a multiple of 18?
False
Let c be (4/(-8))/(2/(-20)). Suppose -4*m + 14 = -3*i - 2, -10 = c*m. Does 18 divide i*-1*(2 + 2)?
False
Suppose -4*p = -3 - 1. Let x be p*(-2 + 6 + -1). Suppose -3*h + x*r = -15, -2*h - 2*r - 2*r = -28. Does 7 divide h?
False
Let p(x) = 0*x**3 + 0*x + 4 - x**3 - 4*x + 4*x**2 - 11*x**2. Is 8 a factor of p(-7)?
True
Suppose 5*c + 25 = 0, 0 = -2*z - c + 10 + 41. Does 18 divide z?
False
Suppose -4*o = 4*j + 100, 4*o - 4*j + 103 = o. Suppose -2*t = b + 8, 0 = 2*t - 5*b - 1 + 9. Does 13 divide o*(t + 0 + 3)?
False
Let g = 4 - 1. Suppose 0 = -k - g*k + 4. Let y(j) = 18*j**3 - j + 1. Is y(k) a multiple of 9?
True
Is 325/35 + (-6)/63*3 a multiple of 2?
False
Suppose 16*h + 120 = 19*h. Does 20 divide h?
True
Let i(k) be the first derivative of 2*k**2 - k + 1. Suppose -3*g + 0*w + 25 = -w, 0 = w + 1. Does 14 divide i(g)?
False
Let q(g) = 2*g - 2. Let w be q(2). Suppose 0 = s - 5, -3*s + w*s - 2 = -m. Is m a multiple of 7?
True
Let h = -6 + 10. Let y(u) = 5*u**3 - u**2 - 8*u + 6. Let g(a) = -a**3 - a**2 + a - 1. Let l(m) = -4*g(m) - y(m). Is 15 a factor of l(h)?
True
Let d be 23/(-3) - 2/(-3). Let z(u) = -u**2 - 7*u + 2. Let x be z(d). Suppose x*g + 58 = 6*g - 2*b, -g - 4*b + 28 = 0. Is 7 a factor of g?
False
Let b(p) = 3*p - 7*p - 5*p**2 + 1 - p**3 - 8. Let a(n) = n**2 - 7*n + 5. Let r be a(5). Does 10 divide b(r)?
False
Suppose -4*l = -4*c + 148, -3*c + 145 - 40 = -5*l. Suppose 3*b - c = -4. Does 12 divide b?
True
Suppose 0*w = 3*w - 198. Does 20 divide w?
False
Let m(d) = 5*d**2 - 2*d**2 - 1 + 2 + 5*d - 8. Is m(-5) a multiple of 22?
False
Let b = -29 + 58. Is 3 a factor of b?
False
Let f(y) = -y**2 + 9*y + 14. Let k be f(10). Suppose k*w - 19 = 29. Does 12 divide w?
True
Let a = -2 - -4. Suppose 0 = 3*q - 3*o - 20 - 16, -a*q = -3*o - 19. Is 5 a factor of q?
False
Let o(a) = a**3 + 6*a**2 - a - 4. Let l(v) be the first derivative of -v**3/3 + 3*v**2 - 3*v - 4. Let k be l(6). Is 25 a factor of o(k)?
False
Suppose -7*a + 4*a + 2*o = -38, 3*a + 3*o - 63 = 0. Suppose 4*r = -4*h + a, -2*h + 3*r - 4 = r. Let l = 45 - h. Is 12 a factor of l?
False
Suppose 0 = w + w - 174. Is w a multiple of 29?
True
Let l(i) = i**2 + 3*i + 13. Let w be l(9). Suppose x - w + 28 = -4*o, -3*o - x = -69. Is o a multiple of 12?
True
Suppose -9*j - 10 = -4*j. Is 2/(j - -4) - -19 a multiple of 5?
True
Suppose -4*f - 2 = -58. Let g(n) = n**2 - 13*n - 5. Is g(f) a multiple of 4?
False
Let f(a) = 3*a**2 + 18*a + 1. Let n(s) = -s**2 - 6*s. Let t(o) = 4*f(o) + 11*n(o). Does 6 divide t(-7)?
False
Let r(w) = -6*w - 6. Let o be r(-5). Suppose -5*z + 5*f + 28 + 12 = 0, z - 5*f - o = 0. Is 4 a factor of z?
True
Let o = 64 - -80. Is o a multiple of 16?
True
Suppose -96*l = -97*l + 149. Is 13 a factor of l?
False
Let g(t) = -2*t + 3. Let r = -8 - -4. Is g(r) a multiple of 11?
True
Suppose 4*o - 2 = -10. Let k(s) = -s**3 - 2*s**2 - 2*s + 1. Does 4 divide k(o)?
False
Suppose 5*b = -20, -5*f + 226 = 2*b - b. Is f a multiple of 15?
False
Suppose -36 = -z + 45. Let i = z + -21. Let p = -32 + i. Is 13 a factor of p?
False
Let k(r) = -r**3 + 5*r**2 + 8*r + 6. Let u be k(7). Let d = -17 - u. Does 16 divide d?
False
Suppose -39 = -2*g + 121. Is g a multiple of 10?
True
Let g = 15 + 51. Let b = 99 - g. Does 11 divide b?
True
Suppose -1 = 2*r - 3*a, -a + 4*a = 5*r - 2. Let s(g) = 6*g**2. Let m be s(r). Is 2/m + (-46)/(-6) a multiple of 8?
True
Suppose 2*f + 4*g + g - 19 = 0, -2*f - 2*g = -22. Is f a multiple of 3?
True
Let c(t) = -9*t - 32. Is c(-29) a multiple of 7?
False
Let r = -9 - -9. Suppose -5*p = -r*p - 50. Does 5 divide p?
True
Suppose z - 192 = -2*z - 3*y, -2*z + 124 = 4*y. Suppose -f - z = -2*f + 4*g, 2*f = 4*g + 116. Is 25 a factor of f?
True
Let a(u) = -u**2 - 7*u + 2. Does 5 divide a(-5)?
False
Let x(o) = o**2 - 6. Let k be x(0). Let f = 10 + k. Suppose -f*c = -5*z + 50, -5*c + c = 0. Does 5 divide z?
True
Let y = 96 - 41. Suppose 2*j = y + 125. Suppose -5*x = 5*t - j, -2*x + 6*x - 2*t - 60 = 0. Is x a multiple of 9?
False
Suppose -2*g + 9 + 7 = 0. Suppose 6*u - 2*u = -3*a + 17, -2*a - 2*u + 8 = 0. Let l = g + a. Is l a multiple of 4?
False
Suppose 4*b = 95 + 217. Let k = b - 44. Does 17 divide k?
True
Let c(b) = 2*b**2 - 7*b - 5. Let u be c(6). Let x = -3 + u. Is x a multiple of 10?
False
Suppose -159 = -6*p + 3*p. Is p a multiple of 13?
False
Let m be (-2)/(-8) - 15/(-4). Let p = 4 - m. Let v = p - -3. Is 2 a factor of v?
False
Let s = -34 + 74. Is s even?
True
Let c = 50 - -32. Suppose n - 77 = -4*x, 0*x = 4*x + 2*n - c. Is x a multiple of 18?
True
Suppose -5*f = 2*i - 555, -3*f + 231 = -f - i. Suppose n - 3*a - 13 = 28, -3*n = -4*a - f. Is n a multiple of 13?
False
Suppose 33 = s - 16. Is s a multiple of 7?
True
Is (20/6)/((-2)/(-27)) a multiple of 32?
False
Let k = 32 + 33. Is 13 a factor of k?