es 13 divide j?
False
Suppose 4*r - 1 = v, -v + 2 = -r - 0*r. Suppose -3*h = -4*l - 48 + 2, -4*l = -4*h + 56. Is 4/(r - h/14) a multiple of 6?
False
Suppose -5*s + 273 = c, -s - 2*c + 168 = 2*s. Is 16 a factor of s?
False
Let t = -8 + 13. Let y(c) = 2*c - 7. Let n be y(t). Does 6 divide (-6)/(-10)*75/n?
False
Let w be (-1)/((-3)/(6/1)). Suppose -2 = -w*d + 4. Does 3 divide d?
True
Suppose 3*c - 4*c + 20 = 0. Is 20 a factor of c?
True
Let z(p) be the third derivative of 5*p**4/24 + p**3 + 3*p**2. Is z(6) a multiple of 18?
True
Let b(q) = 12*q + 7. Is b(3) a multiple of 10?
False
Is 6 a factor of (-156)/(-1) + (13 - 13)?
True
Suppose 0 = -3*t - 0*b + 3*b + 477, 4*b - 134 = -t. Suppose t = -4*k - 114. Let p = -41 - k. Is 10 a factor of p?
False
Suppose -3*s + 36 + 176 = 4*l, 4*l + 4*s - 216 = 0. Is 25 a factor of l?
True
Let l = 17 + -17. Suppose -3*w = -l*w - 123. Is w a multiple of 30?
False
Let k(r) = 17*r**3 - r**2 - 2*r - 1. Suppose -4*v - 8 = 0, 2*u = v - 0*v. Let c be k(u). Let i = 28 + c. Is 7 a factor of i?
False
Let b be 2/(-11) + (-79)/(-11). Let c(x) = -4*x + 6*x + 10 + 5*x - x**2. Does 10 divide c(b)?
True
Let n = -16 + 30. Let i = 3 - 4. Let p = i + n. Does 9 divide p?
False
Suppose 0 = 4*y - 80 + 28. Let f = -10 + y. Is 3 a factor of f?
True
Let r(f) = 7*f - f - 2 - f. Does 19 divide r(8)?
True
Suppose -26 = -6*l + 4*l. Let m = -6 + l. Is m a multiple of 3?
False
Suppose 0 = 4*r - 17 + 1. Suppose -r*d - 62 = -8*d + 2*f, -25 = -2*d - 5*f. Suppose -h + 84 = 5*v + 3*h, v - d = h. Is 8 a factor of v?
True
Let h(i) be the second derivative of -7*i**5/20 - i**4/4 + i**2/2 + i. Is 15 a factor of h(-2)?
True
Suppose -635 = -5*z + 120. Is 29 a factor of z?
False
Let a = 26 - 0. Let b = -33 + 23. Let s = b + a. Is 15 a factor of s?
False
Let i(z) = -z**3 + 19*z**2 - 15*z - 4. Is i(17) a multiple of 29?
True
Let f = -1 + 26. Suppose -4*d + 5*d - 32 = -2*x, 0 = -5*x + f. Let h = d + -14. Is h a multiple of 8?
True
Let h(t) = -5*t + 4. Let l be h(3). Let j = 16 + l. Suppose j*v - 18 = 52. Is 14 a factor of v?
True
Suppose -472 = -8*o + 312. Is 14 a factor of o?
True
Let c be 1/1 + 3/1. Suppose -h + c*m = 47, 5*h - m = -86 - 54. Does 15 divide 4/18 - 399/h?
True
Is 8 a factor of ((-2)/(-5))/((-10)/(-400))?
True
Is 21 a factor of (-33)/77 - 1732/(-7) - 2?
False
Suppose -3*x + 2*t + t + 90 = 0, -4*x - 3*t = -127. Is x a multiple of 4?
False
Let s(d) = d**2 - 4*d - 9. Is 34 a factor of s(9)?
False
Suppose 0 = -4*m - 5*t + 146, -2*m + 3*t = -6*m + 142. Is 9 a factor of m?
False
Let u = -59 + 202. Does 13 divide u?
True
Let a be ((-12)/10)/((-2)/10). Let u = 7 - 11. Does 5 divide 28/3 - u/a?
True
Suppose -4*o - 4*i - 8 = 0, -o + i + 8 = o. Let c(u) = u**2 - u + 1. Is c(o) even?
False
Let x be (14/6)/(1/(-6)). Let j = 9 - 7. Let b = j - x. Is b a multiple of 6?
False
Does 13 divide (-104)/(-12)*1*3?
True
Let x(c) = 4*c + 14. Let a be x(-6). Let t = a + 18. Is t a multiple of 4?
True
Suppose 0 = 3*y + 2*y + 4*s - 15, -2*y - 3*s - 1 = 0. Does 7 divide y?
True
Let a = 13 - 11. Suppose -t - a*l = -6*t + 213, t + 4*l = 47. Is t a multiple of 15?
False
Suppose 0 = -y + 2*y - 2. Let a(m) = 4*m**2 + 2*m - 2. Does 10 divide a(y)?
False
Let k(h) = 2*h**3 - 3*h**2 + h. Let c be k(3). Let v = -15 + c. Is v a multiple of 15?
True
Is 41 a factor of 866/5 - 6/30?
False
Let b(o) = -7*o**3 - 9*o - 8. Let v(q) = 6*q**3 + q**2 + 8*q + 8. Let w(y) = -5*b(y) - 6*v(y). Is w(-6) a multiple of 3?
False
Let b be 1/(-4) - 2/(-8). Suppose 5*p + 96 = 236. Suppose b*i = 2*i - p. Is i a multiple of 6?
False
Suppose -7*j = -2*j - 15. Let w(u) = u. Let x be w(j). Suppose 0 = -5*c + x*q + 87 + 26, 0 = -c + q + 21. Is 25 a factor of c?
True
Suppose h - 17 = 4*r + 6, h - 5 = -5*r. Does 11 divide h?
False
Suppose 0 = -a + 2*w + 7, w + 21 = 5*a - 2*w. Suppose -4*o + 4*z - a*z + 53 = 0, 3*o + 5*z = 57. Is 3 a factor of o?
False
Let g be 4/(-6) + (-76)/(-6). Suppose -2*n + 65 = 3*w + g, 0 = 4*n + w - 111. Is 15 a factor of n?
False
Let v(o) = 19*o - 7. Does 11 divide v(2)?
False
Suppose -h = 2*h - 2*w - 34, -4*h + 52 = -w. Does 7 divide (6 + -5)/(1/h)?
True
Suppose -117 = -3*k + 6. Let j = 79 - k. Is 19 a factor of j?
True
Suppose 5*c - 2*z = -25 + 110, -4*c - 5*z + 35 = 0. Is c a multiple of 6?
False
Suppose -522 = 4*b + 4*g - 2*g, 648 = -5*b + 2*g. Let q be -2 + 3 - (b + -1). Suppose 0*u = 3*u - q. Is u a multiple of 18?
False
Let l = 7 + 8. Does 4 divide l?
False
Let x(n) = -n. Let a(r) = -4*r + 3. Let u(p) = -a(p) + 3*x(p). Let m be u(7). Does 13 divide (35/m)/(2/8)?
False
Let n = 43 + -6. Suppose 3*q - 5*h - n = 144, 5*q = -5*h + 275. Is q a multiple of 25?
False
Suppose -m + 4*t = -48 + 16, 0 = -t - 5. Does 4 divide m?
True
Let n(a) be the second derivative of -a**4/24 + 37*a**3/6 - a**2 + a. Let r(o) be the first derivative of n(o). Is 16 a factor of r(0)?
False
Let p(a) = -2*a - 20. Let z be p(-10). Let c(k) = 35*k - 5. Let x be c(4). Suppose -i + z*q - 4*q + 42 = 0, x = 4*i + 5*q. Does 15 divide i?
True
Suppose -q + 3 = 0, 3*q - 6*q - 25 = -2*p. Does 3 divide p?
False
Let w = 89 + -32. Does 11 divide w?
False
Let n(r) = -r**3 + 7*r**2 + r - 5. Does 13 divide n(5)?
False
Let y(b) = -87*b**3 - b**2 + 2. Does 22 divide y(-1)?
True
Let b = 121 + -69. Is 14 a factor of b?
False
Suppose 3*y = 8*y. Suppose 3*z = 5*j - 345, y*j = 2*j - 4*z - 124. Is j a multiple of 24?
True
Suppose n - 2 + 10 = 0. Is (10/n)/((-1)/12) a multiple of 15?
True
Suppose -11*d + 12*d - 8 = 0. Is 7 a factor of d?
False
Suppose 4*a - 5*n = 3, a + 0 = -n + 3. Suppose -a*z + 9 = -7. Suppose -3*p = m - 92, -3*m + 7*m = z. Is p a multiple of 15?
True
Let v(q) = q**2 - 2*q - 4. Suppose -3*l - 2*l = 2*a - 13, -a - 16 = -5*l. Let p be v(l). Is 0 - (-2)/p - -8 a multiple of 3?
True
Let d(i) = -i**2 + 8*i + 66. Is d(0) a multiple of 66?
True
Let z = 1 - -3. Suppose 2*h = -5*r - 0*r - 66, 2*h + 84 = z*r. Is (2 - 0)*h/(-4) a multiple of 14?
False
Suppose 4*j + 12 = 7*j. Suppose 37 = -j*y + 189. Is y a multiple of 8?
False
Let c(q) = -q**3 - 8*q**2 - q - 4. Let x be c(-8). Is 3 a factor of (x/(-10))/(5/(-50))?
False
Is 22 a factor of 0 + 2 + -2 - -44?
True
Let a = 1 - -36. Let l = a + -25. Does 4 divide l?
True
Let i(u) = -1. Let c(o) = 3*o + 4. Let f(k) = -c(k) - 3*i(k). Let l be f(-2). Suppose 0 = -w + l*w - 100. Is 9 a factor of w?
False
Let q = -3 + 5. Suppose 5*n = q*n + 69. Does 23 divide n?
True
Suppose -5*t - 2*y + 176 - 12 = 0, -y + 130 = 4*t. Is t a multiple of 16?
True
Let y = -392 + 761. Does 11 divide y/12 - 2/(-8)?
False
Suppose 3*c - 4*o + 112 - 536 = 0, 5*c - 5*o = 700. Is c a multiple of 14?
False
Let u(w) = 3*w**2 - 9*w - 7. Does 18 divide u(-4)?
False
Suppose 90 = n + 2*n. Does 23 divide n?
False
Suppose 4*b - 2 = -t, 4*b = -4*t + 3*b - 7. Is (19/t)/((-7)/14) a multiple of 11?
False
Let h(x) = x**2 - 12*x - 9. Is h(13) even?
True
Suppose 0 = -6*u + 3*u + 5*z + 61, 3*u - 2*z - 46 = 0. Let d = 36 - u. Does 10 divide d?
False
Suppose 4*r = x - 13, 100 = 4*x + 2*r + 12. Is 7 a factor of x?
True
Suppose 0 = -14*v + 11*v + 45. Is v a multiple of 3?
True
Let m be (0 + 1)/((-4)/(-28)). Let g(l) = -2*l + 2. Let s be g(m). Is 6 a factor of (-172)/s - 4/(-6)?
False
Let n = 3 + 1. Suppose h - n*h + 102 = 0. Suppose -2*i + h = 2*j, -28 = -2*j + 2*i - 6. Does 11 divide j?
False
Suppose -2*d - 3*d + 30 = 0. Let j = d + -4. Suppose 5*k - j = -o, 3*k + 14 + 28 = 3*o. Is 6 a factor of o?
True
Suppose t = 1 + 4. Let k(i) = i**3 - 4*i**2 - 3*i - 2. Is k(t) a multiple of 7?
False
Suppose -2 + 0 = 2*v, 4*v + 24 = 5*c. Suppose -c*n - 22 = -2*u + 20, -4*u + 59 = -3*n. Is u a multiple of 9?
False
Suppose 3*v = 37 + 95. Is v a multiple of 11?
True
Let i = -4 - -9. Suppose 5*j + 9 + 7 = 2*l, -i*j = -3*l + 29. Is 6 a factor of l?
False
Let l(g) be the second derivative of -g**3/3 + 3*g**2 + 3*g. Is 9 a factor of l(-6)?
True
Suppose -4*i = -108 + 32. Is i a multiple of 19?
True
Suppose 2 = -3*k + 17. Suppose 44 = -k*c + 179. Is 9 a factor of c?
True
Is 4 a factor of (-6*(-8)/6)/1?
True
Suppose -1106 = -4*n + 322. Does 17 divide n?
True
Let i(h) = -5*h**2 + h + 4. Let k(d) = -16*d**2 - 3*d + 6. Let n(w) = w + 1. Let z(s) = k(s) + 6*n(s). Let l(o) = -7*i(o) + 2*z(o). Does 9 divide l(-3)?
False
Suppose -3*z + z + 78 = 4*v, -2*v = -4*