 j be r/2 - (-2)/(-4). Suppose 3*f + 2*b = 62, 0 = 6*f - 4*f + 3*b - j. Does 11 divide f?
True
Let w(s) = -s**3 - 6*s**2 - 6*s - 3. Let g be w(-5). Suppose -3 = 2*t - 3*t. Suppose 5*k = -15, -3 = t*r + g*k + 3*k. Is r even?
True
Let l(c) = c - 3. Let h = 10 - 1. Is 2 a factor of l(h)?
True
Suppose -1140 = -11*m - 8*m. Does 15 divide m?
True
Let o(d) = -d**2 - 17*d + 6. Does 13 divide o(-9)?
True
Suppose 3 + 0 = g. Suppose -7*u + g*u = 48. Is ((-12)/(-10))/(u/(-320)) a multiple of 15?
False
Let n(b) = -11*b**3 + b**2 + 2*b. Let c be n(-2). Let m(r) = 22*r + 23. Let l be m(4). Suppose 4*o + 2*a - c = 0, -5*o - 4*a = -2*a - l. Is o a multiple of 14?
False
Suppose -9*t + 1600 = -t. Is 16 a factor of t?
False
Let f be -15*(24/10 - 0). Let w = -16 - -90. Let u = f + w. Is 11 a factor of u?
False
Let a be -2 - 4/((-8)/18). Suppose -a*k + 3*k = -60. Is 5 a factor of k?
True
Let b be 3/((-8)/(-5) + -1). Let l = -4 + b. Suppose 0 = -5*i + l + 49. Does 3 divide i?
False
Suppose 0 = -4*z - 6*t + t + 225, 4*z = -t + 237. Is z a multiple of 30?
True
Let w = -175 - -257. Does 12 divide w?
False
Suppose -2*q + 26 + 2 = 0. Let t = q + 28. Is 21 a factor of t?
True
Is (-134)/3*5/(10/(-3)) a multiple of 38?
False
Let m = 141 + -77. Does 23 divide m?
False
Let c = 123 - 80. Is c a multiple of 8?
False
Let z be ((-8)/10)/(2/(-20)). Suppose -s + 2*a = z, 6*a - a = 25. Is s a multiple of 2?
True
Is 4/(-26) - 342/(-26) a multiple of 10?
False
Let f(o) = o**2 + 3*o - 5. Let t = 13 + -9. Let g(h) = -2*h**2 - 6*h + 11. Let m(z) = t*g(z) + 9*f(z). Does 7 divide m(3)?
False
Suppose -4 = 5*t - 19. Suppose -t*r + 2*r + 13 = 0. Is 13 a factor of r?
True
Let k = 137 - 97. Is k a multiple of 8?
True
Let h be 2 - 4 - (0 + -2). Suppose 20 = -r + 4*r + 2*k, k - 4 = h. Suppose s + 19 = 4*m, -5*m - r*s + 14 = -2*s. Does 4 divide m?
True
Suppose -5*v = 2*r - 64, 5*r = 3*v - 8*v + 55. Is v a multiple of 5?
False
Suppose -6*f + 589 = -71. Is f a multiple of 19?
False
Let j be (-9 - (1 - 2)) + 2. Suppose -3*h = 5*b + 9, 2*b + 6 = -0*b. Does 6 divide (j + 0)/(h/(-2))?
True
Suppose 0 = 4*z - 0*z. Suppose 3*u - 63 - 25 = -2*i, u = z. Let o = i + -28. Is o a multiple of 7?
False
Does 10 divide (-10)/(-25)*(-400)/(-4)?
True
Let x(d) = -5*d**3 - 4*d**2 + 7*d - 4. Is x(-4) a multiple of 8?
True
Suppose b = -5, -2*i + b = -0*b - 305. Does 39 divide i?
False
Suppose -3*n - 18 + 75 = 0. Is 7 a factor of n?
False
Let s = 70 - -30. Is s a multiple of 25?
True
Let b(x) = 12*x + 7. Let i(v) = -v**2 - 5*v + 5. Let o be i(-5). Is 24 a factor of b(o)?
False
Suppose -h + 2 = -39. Is h a multiple of 9?
False
Suppose 13 = n - 2*v, 3*n - 12 = -2*v - 5. Suppose -n*p = 7*l - 3*l - 24, 5*l + 4 = -2*p. Does 4 divide p?
True
Let p = 16 - 12. Suppose -p*a - 15 = -9*a. Is a even?
False
Let q(d) = -d**3 + 9*d**2 - 6*d - 4. Is q(7) a multiple of 26?
True
Let a(m) = -m + 9. Let v be a(5). Suppose -3*r = -0*r, -v*y + 2*r = -112. Is 14 a factor of y?
True
Let k(m) be the second derivative of 7*m**5/10 + m**2/2 - 4*m. Is k(1) a multiple of 9?
False
Let p(y) = -y**3 - 7*y**2 + 2*y - 4. Let d(n) = n + 3. Let x be d(-3). Suppose x*s - s = 8. Is 17 a factor of p(s)?
False
Suppose -5*j + 2 = -3*b + 13, -4*b + 2*j = -10. Does 9 divide (-2)/(b*2/(-46))?
False
Suppose -2*c - 4*v = -5*c + 12, -c + 4 = 3*v. Is 4 a factor of c?
True
Suppose -5*l - c + 287 = 0, -l = -5*l - 3*c + 223. Does 23 divide l?
False
Suppose -w = c - 11 - 19, -c = 4. Is w a multiple of 8?
False
Let v be 0 + (-17 + 3)/1. Let q be 21/v*(1 + -5). Suppose q*k - 68 = 2*k. Does 6 divide k?
False
Suppose 0 = -7*f + 3*f + 92. Let v = f + 7. Is 23 a factor of v?
False
Suppose 0 = -5*w + s + 154, -5*w + 10 = -4*w + 5*s. Is 10 a factor of w?
True
Let r(f) = 2 - 3 - 2 + f**2 - 2 - 7*f. Let k be r(-4). Suppose k = 4*z - 89. Is z a multiple of 11?
False
Let i = 200 + -93. Suppose -i = 4*n + 13. Is 9 a factor of 10/4*(-252)/n?
False
Let z = -11 - -4. Let f(y) = 4 + y + 12 - 6. Is 2 a factor of f(z)?
False
Let k(g) = 4*g**3 - 8*g**2 - 4*g - 8. Is 13 a factor of k(4)?
True
Suppose 0*l = 2*l + 12. Let i = -9 - -6. Let u = i - l. Is 3 a factor of u?
True
Let p be (3 - 0) + (1 - -1). Suppose -2*u + 114 = p*y, y - 116 = -2*u - 3*y. Is 23 a factor of u?
False
Let f(o) = -o**3 + 5*o**2 - 5*o + 7. Let k be f(5). Does 6 divide (-4)/k - (-156)/27?
True
Suppose 5*b = 9*b - 984. Does 41 divide b?
True
Let c(i) = i. Let z(l) = l - 5. Let b be z(8). Let r be c(b). Let x(p) = 4*p + 1. Is 11 a factor of x(r)?
False
Suppose -8*q = 4*q - 3936. Does 18 divide q?
False
Let t = -74 - -93. Is t a multiple of 2?
False
Let w be (1/2)/((-6)/12). Is w/(3/(-15)) - -2 a multiple of 7?
True
Does 10 divide (-1)/1 + -3*(-286)/3?
False
Let p = 35 - 20. Is p a multiple of 3?
True
Does 9 divide (-34)/(-4) + (-1)/(-2)?
True
Let n = -24 + 180. Is n a multiple of 26?
True
Let o(p) = -p**3 + 7*p**2 + 2*p + 10. Suppose 30 = 4*l + z - 2*z, l + 4*z = -1. Is 8 a factor of o(l)?
True
Let w(l) = 125*l**2 + l + 3. Let i be w(-2). Is i/12 + (-1)/(-4) a multiple of 14?
True
Let m be ((-2)/3)/(4/24). Does 4 divide (-1)/(-3)*(m - -34)?
False
Suppose 0*h - 2 = -h. Suppose i + v = 37, 75 = -h*i + 4*i + v. Is 22 a factor of i?
False
Let s(b) = -b**2 - 8*b - 1. Let i be s(-6). Suppose 0 = a - i - 25. Suppose 2*l = 2*q + 8 - 0, -3*l = 3*q - a. Is l a multiple of 4?
True
Suppose -5*f = -0*f - 100. Suppose 10*r = 5*r + f. Does 13 divide (2 - 21/r)*-4?
True
Let y(o) = 16*o. Suppose -5*a + 0*a = -15. Let u(v) = 33*v. Let s(c) = a*u(c) - 7*y(c). Does 13 divide s(-1)?
True
Let o(y) be the third derivative of -y**7/2520 - y**6/144 - y**5/60 + y**4/8 + y**2. Let p(f) be the second derivative of o(f). Is 4 a factor of p(-2)?
True
Let u = -229 - -393. Is u a multiple of 31?
False
Let x = -61 + 121. Is 10 a factor of x?
True
Let l(k) = k**3 + 12*k**2 + 28*k - 2. Is 33 a factor of l(-5)?
True
Suppose -200 = -4*o + c, 5*c + 50 = -0*o + o. Is 24 a factor of o?
False
Let o be 1 + 3 + 0 + 0. Suppose 2*l - 46 = 3*c, 0 = -o*l + 4*c - 32 + 128. Is (2 + l/(-3))*-3 a multiple of 10?
True
Let j(c) = -c**2 - 5*c. Let d be j(-5). Suppose 2*l - 3*w = 2, d = -l - 0*l + 3*w - 5. Suppose -22 = -2*x - l*i + 3*i, -115 = -5*x + 2*i. Does 13 divide x?
False
Suppose -10 = 5*n, -166 = 4*f - 6*f - 3*n. Let i = f + -31. Does 19 divide i?
False
Let l(s) be the third derivative of s**6/120 + s**5/5 + s**4/4 - 13*s**3/6 - 4*s**2. Let z be l(-11). Let t = z + 0. Does 21 divide t?
True
Let h(s) = -s**3 + 6*s**2 - 7*s + 7. Let k be h(5). Let n be (-2)/6 - 61/k. Suppose 3*p - p = x, x = -2*p + n. Is 5 a factor of x?
True
Suppose 10 = 3*s - 20. Suppose -2*m = -6 - s. Is 7 a factor of m?
False
Does 13 divide 6425/125 - (-1 - (-4)/10)?
True
Let c(y) = -y**2 - 10*y + 6. Let s be c(-9). Let r(d) = 5*d - 8. Let f be r(-8). Is 10 a factor of (10/s)/((-2)/f)?
False
Let i(t) = 92*t - 11. Let k(s) = -31*s + 4. Let b(g) = 3*i(g) + 8*k(g). Is b(1) a multiple of 13?
False
Suppose 2*z + 11 = -3*x, -x + 3*z - 12 = 4*x. Let k be -2 - 1/(x/15). Suppose -2*m + 19 = -0*f - k*f, 0 = -5*m - 3*f + 58. Is 11 a factor of m?
True
Let c = -10 + 10. Suppose 5*t + p - 53 = c, -5*t + p = -p - 59. Does 8 divide t?
False
Suppose -y + 5*y = 20. Suppose -y*s + 128 = -2. Is s a multiple of 11?
False
Suppose 15*c + 1494 = 21*c. Is c a multiple of 54?
False
Let j(k) = -k**3 + k + 1. Let u(p) = 3*p**3 + 8*p**2 - 6*p - 12. Let z(o) = 2*j(o) + u(o). Does 11 divide z(-8)?
True
Let h(a) = 3*a**2 - 7 + 3*a**2 - 2*a - 9*a**3 + 11*a**3. Let w be h(-5). Let m = -46 - w. Is 13 a factor of m?
False
Let n be (-16)/(-6)*(-156)/(-8). Does 10 divide (-18)/12*n/(-3)?
False
Is 2 + (0 - (-39 - -3)) a multiple of 11?
False
Let x be (4/8)/(1/6). Suppose x*t = t + 48. Is t a multiple of 8?
True
Suppose -4*b = -y + 111, 5*b - 195 - 155 = -3*y. Is 24 a factor of y?
False
Suppose 5*m = 3*y + 95, 3*m = -2*y + 16 + 60. Suppose -m - 8 = -5*g. Is g a multiple of 6?
True
Let h(a) = a**2 + a + 9. Let u be h(7). Suppose 0 = 5*d - 2*q - u, 4*d = 2*q + 51 + 3. Does 11 divide d?
True
Suppose q = 1 + 15. Suppose 3*p + 2*z = q, -4*z - z + 13 = 3*p. Is (p/(-10))/((-5)/75) a multiple of 9?
True
Let d(h) = 5*h + 34. Is d(9) a multiple of 12?
False
Suppose -5*u + 3*u + 78 = 0. Let l = u - 2. Is 13 a factor of l?
False
Let g be 6 + -1 + 1