tor of s?
False
Let b(r) = r**2 + 6*r - 8. Is 20 a factor of b(-14)?
False
Suppose 3*o = 4*a + 13 - 274, 0 = a + 4*o - 51. Let h = a + -21. Does 14 divide h?
True
Let y(w) = w**3 - 4*w**2 - 4*w - 2. Let b be y(5). Let c(l) = -4*l**2 - b*l**3 + l**2 + l**3 + 3. Is 9 a factor of c(-3)?
False
Let b(f) = f**3 + 4*f**2 - f + 1. Let z be (-2 + 6 + -3)*-3. Is b(z) a multiple of 8?
False
Suppose 2*n + 3*j = 5, -6*n + n - 3*j = -35. Is 4 a factor of n?
False
Suppose 0*n + n + 4*o + 19 = 0, -4*n + 8 = -5*o. Let g(m) = m**2 - 3*m - 2. Is g(n) a multiple of 4?
True
Let i be -6*1/(-2) + -2. Suppose -3 = -3*n, 0 = -4*t + n + i + 18. Is t a multiple of 5?
True
Let k = -3 + 8. Suppose 2*x - 64 = 2*f, 0*f = -k*f. Is 16 a factor of x?
True
Suppose -2*o - 4*a = -116, 17 + 3 = 5*a. Suppose -4*j - j - o = 0. Let u = -5 - j. Is 5 a factor of u?
True
Let n = 31 - -14. Is 2 a factor of n?
False
Let o(f) = 2*f**2 - 5*f - 1. Let i be o(5). Suppose -3*x = 4*q - i, 2*q - 3*x = 18 + 12. Suppose -v + 0*r - 1 = -2*r, -3*r = -q. Is 2 a factor of v?
False
Let v(u) = 6*u**2 - 12*u - 3. Is 8 a factor of v(3)?
False
Let f = 331 + -175. Is 13 a factor of f?
True
Suppose 2*c = 4*c + 4. Let r(o) = -o - 3*o + 5*o**2 + 3*o - 2. Does 10 divide r(c)?
True
Suppose -4*b = -0*b - 8. Suppose -3*r + 2*n = -0 + b, 4*n = -2*r + 20. Is 14 a factor of (-72)/(-5) + r/(-5)?
True
Let x(b) = -b**3 + b + 112. Does 16 divide x(0)?
True
Let h(d) = -d**2 + 9*d - 8. Let l be h(8). Let f be (1 - l)/(1/(-3)). Let j(s) = 2*s**2 + 3*s - 1. Is j(f) a multiple of 3?
False
Let l be ((-18)/15)/((-6)/20). Suppose 5*c + 5*r = -30, -l*c - r - 21 = 15. Is 12 a factor of (-2*1 - 0)*c?
False
Let m(y) = 5*y**2 + 3*y**2 - 2*y + 1 + y. Let j = -1 + -1. Is 13 a factor of m(j)?
False
Let j = -190 + 275. Is j a multiple of 36?
False
Suppose 180 = 6*w - 3*w. Does 6 divide w?
True
Let n(i) = i + 10. Let k be n(-8). Suppose h + k*d = -3*h + 1094, -h = -2*d - 266. Suppose g - 72 = -2*t + 29, 5*t - 4*g - h = 0. Is t a multiple of 14?
False
Let r(d) = d**2 + d + 2. Let q(w) = -w**2 - 2. Let x(t) = -4*q(t) - 3*r(t). Is 24 a factor of x(-7)?
True
Suppose 0 = -0*x - 2*x + 46. Suppose 0 = -3*s + x + 55. Does 13 divide s?
True
Suppose q = -60 + 70. Is q even?
True
Let s = 32 - 8. Suppose -3*n - s + 126 = 0. Is 17 a factor of n?
True
Suppose 0 = -2*a - 2*a + 48. Suppose 16*o - a*o = 12. Is 2 a factor of o?
False
Is (-26)/(-4) + (-1)/2 a multiple of 3?
True
Let o(z) = -4 - 3*z**2 + 0*z + 3*z + z**2 + 4*z**2. Is 2 a factor of o(-3)?
False
Let y = -26 - -43. Suppose -12 + 32 = -2*u - 2*s, -30 = 3*u + s. Let j = y + u. Does 7 divide j?
True
Let a = -7 + 12. Suppose -a*l = -38 - 2. Suppose p = l + 6. Is p a multiple of 14?
True
Let r = 28 + -7. Is 16 a factor of r?
False
Let x = -8 - -40. Does 11 divide x?
False
Let v = -25 - -55. Is v a multiple of 15?
True
Let c(s) = -3*s + 4*s**2 + 4 - 3*s**2 - 10. Suppose -21*h + 20 = -17*h. Is 3 a factor of c(h)?
False
Let f be (2 - -2) + (-12)/(-4). Let k = f + 5. Let n = k - -16. Is n a multiple of 14?
True
Suppose 50 = 3*z - 5*i, 5*z - 3*i + 5*i = 73. Suppose 15 = 3*j, 2*u - 10 = -0*u - 2*j. Let k = z + u. Is k a multiple of 9?
False
Let h(f) be the second derivative of -f**3/2 + 3*f**2 + 24*f. Let x = -3 - 7. Is h(x) a multiple of 12?
True
Suppose 1 - 111 = -5*z. Let a be (-4)/2 - -1*45. Let j = a - z. Is 21 a factor of j?
True
Suppose 17*l - 140 = 12*l. Is l a multiple of 14?
True
Suppose 0 = j - 5*j + 12. Let s be j/(-2) + (-45)/(-6). Suppose 161 = 5*f + s. Is 17 a factor of f?
False
Let z(p) = -3*p + 1. Let c = -2 - -4. Suppose -c = x + 1. Is z(x) a multiple of 4?
False
Suppose l - 765 = -2*l. Let x = l - 174. Is x a multiple of 27?
True
Let i = 7 + -4. Is i even?
False
Suppose 3*t = -2*z + 389, 4*z - 2 = -10. Is t a multiple of 29?
False
Suppose 0 = -5*f - 5*l + 205, 170 = -f + 6*f - 2*l. Suppose -5*j + 21 = -2*j. Suppose f = -3*i + j*i. Is 9 a factor of i?
True
Let k = 224 + -157. Suppose 0 = 4*c - k + 27. Is c a multiple of 5?
True
Suppose -4*r - r - 20 = 0. Let a = 22 + r. Does 9 divide a?
True
Suppose -2*h - 2*g + 34 = 0, -2*h + 18 = -0*h - 2*g. Let n = 3 - 7. Let i = n + h. Is i a multiple of 9?
True
Let k(w) = -14*w**3 - w. Let z be k(2). Does 12 divide -1 + 3/((-9)/z)?
False
Let b = -127 - -151. Is b a multiple of 12?
True
Let p(i) = -2*i**2 - 13*i + 1. Let q(b) = b. Let c(l) = -2*p(l) - 22*q(l). Let d be c(5). Suppose -d = -3*o - 22. Is o a multiple of 16?
True
Let z = -8 - -8. Suppose z = -5*w + 1 + 9. Suppose w*o - 4 - 8 = 0. Is 6 a factor of o?
True
Let m be (-117)/(-5) + 6/(-15). Suppose 0 = -4*p + 6*p + 28. Let l = p + m. Is l a multiple of 4?
False
Let y(j) be the third derivative of j**5/30 + j**4/3 + j**3 + 2*j**2. Is 10 a factor of y(-6)?
True
Suppose -295 - 97 = -4*q. Suppose 0 = 3*d - q + 17. Suppose -5*n + d = -23. Is n a multiple of 10?
True
Let o(h) be the third derivative of -h**5/60 - 11*h**4/24 - 2*h**3 + 5*h**2. Is 3 a factor of o(-9)?
True
Is 11 a factor of -3 + 3 - (3 + -15)?
False
Let t(f) = -f**2 - 7*f - 4. Let u be t(-6). Suppose -4*m - 2 = -5*p + u, 3*m = -5*p + 32. Suppose l - 60 = -p*l. Does 12 divide l?
True
Does 16 divide (0 - -1)/(3 + 385/(-130))?
False
Suppose 5*l - 8*l = 24. Is 4 a factor of 13/2*l/(-4)?
False
Let q(r) = -r**2 + 3*r + 3. Let f be q(3). Suppose -f*l = -5*l. Suppose 58 = 3*z - 4*a, 4*z - 3*a - 99 + 24 = l. Is 9 a factor of z?
True
Does 9 divide 1 - 4/2 - -17?
False
Let c = -4 + 7. Suppose c*v + 4 = 5*v. Does 11 divide v*(-1 + 2)*11?
True
Let v(n) = -2*n + 8. Is v(-3) a multiple of 9?
False
Suppose 2*y - 12 = -y + 3*l, 3*y - 4*l - 17 = 0. Is 2/((-74)/(-70) + y) a multiple of 8?
False
Suppose -385 = -5*l + 5. Is l a multiple of 6?
True
Is 6 a factor of (-23)/(((-10)/(-4))/(-5))?
False
Let k(p) = -p**3 - 4*p**2 + 8*p + 5. Let m be k(-5). Let t be 2/4 + (-35)/m. Let i = t + -1. Is 3 a factor of i?
True
Suppose 7*n - 5*n = 18. Let f(l) = l**2 - 7*l - 8. Does 4 divide f(n)?
False
Let q(n) = 2*n - 8. Let l be q(4). Suppose l = 2*h + h - 24. Does 4 divide h?
True
Let y = -37 - -64. Does 8 divide y?
False
Let m(v) = v + 2. Let k(g) = g + 5. Let t(y) = 4*k(y) - 9*m(y). Let w be t(-6). Suppose -w = -2*n - 0*n. Does 16 divide n?
True
Suppose t - 2*t + 29 = 2*h, -h + 2*t + 12 = 0. Let v = 65 + h. Is 15 a factor of v?
False
Let u = -11 + 26. Suppose u + 5 = 5*d. Suppose 0 = -d*x + 3*x + 1, 0 = 4*t - 5*x - 115. Does 15 divide t?
True
Suppose -15 = 3*j - 3*z, -2*j - 2*z - 3*z = 10. Let d(q) = 3*q - q**3 - 2*q**2 - 5*q - 7 + 5*q - 2*q**2. Is d(j) even?
False
Let f = -9 + -1. Suppose 2*p = 2, 26 + 51 = -5*z - 3*p. Let u = f - z. Is 3 a factor of u?
True
Let i(g) = -g + 6. Let m(k) = -1. Let r(n) = -n + 6. Let d(s) = 4*m(s) + r(s). Let a be d(2). Does 3 divide i(a)?
True
Suppose 0*s + 5*y + 45 = -3*s, 0 = -s + 4*y + 2. Let k be ((-18)/15)/(3/s). Suppose -k*v = -132 + 20. Is 14 a factor of v?
True
Let b be (0 - -1)*(-4 - -5). Suppose s = j - 37, -4*s + 3*s + b = 0. Is j a multiple of 14?
False
Let s be -48 - (-2)/(2/3). Is 27/s - (-236)/10 a multiple of 6?
False
Let s be 12/24*(-49 + -1). Does 13 divide (110/s)/(1/(-5))?
False
Does 8 divide (-2470)/(-50) - 2/5?
False
Suppose 7*b = 63 + 427. Is b a multiple of 7?
True
Suppose 0 = 3*s - 0 - 15. Suppose -3*m - 5*f = -16, -m - 4 = -f + s*f. Let z(q) = -q**3 + 12*q**2 + q + 8. Is 10 a factor of z(m)?
True
Let c = -64 + 9. Let s = -31 - c. Does 12 divide s?
True
Let m(l) = 2*l - 1. Let k be m(2). Suppose 54 = k*j - 0*j. Is j a multiple of 6?
True
Let a(l) = l**3 + 1. Let g be a(-1). Suppose 0 = -4*r + 2*z + 36, g = r + z - 5 - 4. Does 9 divide r?
True
Suppose -2*x = 2, 2*u - 99 = -2*x + x. Suppose -5*k = y - 41, 2*k - u - 96 = -4*y. Is 10 a factor of y?
False
Let s(y) be the first derivative of -y**4/2 - y**3/3 - y**2 + 5*y + 3. Let t be s(-4). Suppose 4*q - t = -q + 5*b, -5*q - 5*b + 165 = 0. Is 11 a factor of q?
False
Let d(k) = 2*k - 3. Let h(a) = a - 3. Let g be h(6). Let s be d(g). Is 12 a factor of -17*s/9*-6?
False
Let n(t) = 2*t**2 - 2*t - 1. Let y be n(-1). Suppose -o = 4*l + 5 - 0, -11 = -y*o + l. Suppose -o*w = -6*w + 12. Is 2 a factor of w?
True
Let d(j) be the second derivative of 5*j**4/6 + j**2/2 + j. Suppose 0*f - 2 = 2*f. Does 10 divide d(f)?
False
Let p(c) be the first derivative of 13*c**3/6 