f c?
True
Let s(r) = 26*r**3 + r. Let k be 6 + -2 - (-1 - -2). Let b be k - (3 - -1)/2. Is 8 a factor of s(b)?
False
Suppose 0 = -5*t + y - 2*y + 261, 2*y = -4*t + 210. Is t a multiple of 10?
False
Let u(c) = -c**2 - 6*c - 4. Let l = -6 - -4. Let p be ((-1 - l) + 3)*-1. Is u(p) a multiple of 2?
True
Suppose -t = -3*q + t + 72, -5*t = -4*q + 89. Is 26 a factor of q?
True
Suppose -d = -0 - 2. Suppose -d*s + 2*l + 8 = 0, -3*s - s - 8 = 2*l. Suppose s + 6 = -q - 5*g, 4*g - 12 = -2*q. Is q a multiple of 14?
True
Is 11 a factor of (-1)/((-5)/654) + 13/65?
False
Let h be (-2)/6*-3 - 16. Let n be 2 - 5/(h/36). Suppose -4*o - n = -6*o. Does 5 divide o?
False
Let f = 17 - 8. Is ((-2)/(-4))/(f/234) a multiple of 3?
False
Suppose -5*v + 25 = -0*v. Suppose -8*m + v*m + 96 = 0. Is 16 a factor of m?
True
Suppose 0*h - 5*h + 25 = 4*g, -5*g + 26 = h. Does 2 divide g?
False
Let i(d) = -d**3 + 7*d**2 + 2*d + 6. Is 10 a factor of i(7)?
True
Suppose t = 5*z - 6, -3*t + 3 = -3*z - 3. Let p(b) = 2*b + b + z*b**2 - 2*b - 3. Is 9 a factor of p(-3)?
False
Let h(n) = n**2 + 49. Let m be h(0). Suppose m = 5*x - 61. Is 12 a factor of x?
False
Suppose -4*r = 2*g - 82 - 78, -g = r - 41. Suppose -4*i - 5*n + r = 0, -4*i + 0*n + 48 = -4*n. Is 7 a factor of i?
False
Let t = 1683 + -1197. Suppose 106 = -4*s + t. Suppose a + 4*a - 5 = w, 5*a - s = -5*w. Is w a multiple of 13?
False
Let r be (6/(-9))/((-2)/24). Suppose 0 = 4*d + k - 156, -2*k + 4*k - r = 0. Is 19 a factor of d?
True
Let u(o) = -o**3 - 2*o**2 - 2*o - 5. Let q be u(-5). Suppose -4*b + q = 6*c - 2*c, -3*b = -2*c - 60. Does 6 divide b?
False
Let x = -7 - -10. Suppose 21 + x = -3*i. Let g = 0 - i. Is g a multiple of 8?
True
Suppose -594 = 3*b - 5*b. Suppose 0 = -4*z + 1017 - b. Suppose 0*g + 3*g = 2*p - 101, z = 3*p + 5*g. Is p a multiple of 24?
False
Let t = -45 + 66. Suppose 8*q - 5*q - t = -5*u, -u + 9 = 3*q. Suppose 0 = u*s + 2*j - 128, -175 + 5 = -4*s - 3*j. Does 22 divide s?
True
Let q(y) = y + 3. Let k be q(0). Let o = -3 + k. Suppose o = -5*m - 6 + 16. Does 2 divide m?
True
Let a = 91 - 13. Does 13 divide a?
True
Let k(o) = -o**3 - 6*o**2 - o - 4. Let b = -11 - -5. Is k(b) a multiple of 2?
True
Suppose 4*i + 57 = 3*x, 0 = -4*x - 4*i + 34 + 14. Does 5 divide x?
True
Let w = 6 - 6. Suppose -2*f + 3*u + 15 = -f, -5*f + 45 = -5*u. Let k = w + f. Does 3 divide k?
True
Suppose 3*a + a = 8. Let w = 70 - a. Does 25 divide w?
False
Let j = 105 + 2. Does 32 divide j?
False
Let w be 6/((-2)/(-6)*2). Suppose 2*y + w = 5*y. Suppose y*t = 4*t - 7. Does 4 divide t?
False
Is 24/3 + -4 + (172 - 0) a multiple of 22?
True
Let z(d) = -21*d - 9. Is z(-6) a multiple of 15?
False
Let d(x) be the second derivative of -x**4/12 + 7*x**3/6 - 3*x**2 - 3*x. Is 2 a factor of d(5)?
True
Let v be 1 - -2 - (-4 - -7). Suppose 224 = 4*b - v*b. Does 28 divide b?
True
Let s(u) = -6*u + 9. Is s(-3) a multiple of 9?
True
Let q = 4 - 4. Suppose 5*x - 5*r - 15 = -0*r, q = -x - 2*r + 9. Is x a multiple of 2?
False
Let d(h) = 543*h**2 - 3*h + 3. Let r be d(1). Does 14 divide (-1)/3 + r/9?
False
Suppose 5*g - 24 = 2*f - 2, -4*f = -4*g + 32. Let b = 8 + f. Does 19 divide (114/9)/(b/6)?
True
Suppose -6*z + 492 = -396. Does 24 divide z?
False
Let u(n) = -n**2 - 10*n + 2. Let s be u(-10). Suppose 9 = 5*i + a, a - s + 1 = -i. Does 2 divide i?
True
Let k(l) = -12*l**3 + 5*l**2 - 5*l - 1. Let u(c) = 3*c**3 - c**2 + c. Let a(s) = -2*k(s) - 9*u(s). Is 10 a factor of a(-2)?
True
Suppose -5*f - 3*l + 855 - 3 = 0, 0 = l - 4. Is f a multiple of 24?
True
Let q(j) = 4 - 3*j + 2*j**2 + 9*j + 2 - 4. Does 11 divide q(-5)?
True
Let m(j) = -6*j + 3. Is 6 a factor of m(-4)?
False
Suppose -2*c + b + 338 = -3*b, 4*c - 2*b - 700 = 0. Is c a multiple of 13?
False
Suppose -5*i - 65 + 3 = -4*l, 2*i - 4 = 0. Let j = l - -2. Is 10 a factor of j?
True
Let l = 266 - 84. Is l a multiple of 10?
False
Let b = -14 - -30. Is b a multiple of 6?
False
Let i(a) = a**2 - 2*a. Let g be i(2). Suppose g*m + 14 = m. Is 9 a factor of m?
False
Let h(y) = 3*y**2 - 11*y - 6. Is h(5) a multiple of 2?
True
Let u = 3 + 9. Is u a multiple of 4?
True
Let k(l) = -17*l + 5. Let c be k(-4). Suppose -5*n - 948 + c = 0. Does 17 divide (-2)/4 - n/10?
True
Let p(g) = g**2 - 2*g + 1. Let m be p(1). Suppose -z + 6 - 1 = m. Is 4 a factor of z?
False
Let g = 10 - 6. Suppose 0 = -3*u + g*y + 74, -3*u + 2*y + 3*y = -76. Is u a multiple of 11?
True
Suppose 2*r = -5*v + v + 14, -3*v + 23 = 4*r. Suppose 0*w - 4*h + 35 = -r*w, 0 = 4*h - 20. Let k = w + 16. Is k a multiple of 9?
False
Let c(l) = 2*l**2 - 4. Let p be c(-2). Suppose p*d + 0*d = 104. Is 7 a factor of d?
False
Let p = 4 + -4. Suppose -3*w - 15 = p, d + 33 = 5*w + 118. Is 21 a factor of d?
False
Let o(d) = -2*d**3 + 2*d**2 - 2. Let i be o(2). Let b(x) = x**2 + 7*x - 11. Is b(i) a multiple of 6?
False
Let a(v) = -39*v - 6. Is 38 a factor of a(-6)?
True
Let r(o) = 5*o**2 - 6*o - 6. Does 49 divide r(-4)?
True
Let a be 0 + (3 - 2) + 3. Let v be (2/6)/(a/60). Let n = 4 + v. Is 9 a factor of n?
True
Let v(l) = 36*l**2 + 3*l + 4. Let x(f) = -107*f**2 - 8*f - 11. Let y(p) = -11*v(p) - 4*x(p). Is y(-1) a multiple of 11?
True
Is 5/55 - (-1318)/22 a multiple of 4?
True
Suppose -5*d - 2*u + 456 = 2*u, -5*d = 3*u - 457. Suppose -v = -3*v + d. Suppose -5*g + 2*h = -v, 2*g + 2*h - 4 = 20. Does 4 divide g?
False
Let h(j) = -2*j + 4. Is 2 a factor of h(-9)?
True
Suppose 199 = 11*h - 43. Suppose -33 = 5*l + 22. Let y = h + l. Is 6 a factor of y?
False
Suppose -y = 3*t - 142, y - 44 = 2*t - 3*t. Is t a multiple of 25?
False
Suppose -4*x + 1 = -3*u - 1, 0 = x - 3*u + 4. Suppose 0*g = x*g - 10. Suppose -3*r - 58 = -g*z, z = 6*z + 2*r - 53. Is z a multiple of 6?
False
Suppose 4*r = 3*j - 4, -2*j + 3*j + 5*r = -5. Suppose -4*p + 66 = 4*m - 46, j = -2*p + 4*m + 68. Is 8 a factor of p?
False
Suppose 2*h = -6*h + 1600. Does 10 divide h?
True
Suppose o + 2*o = 9. Suppose -2*g + 3*j = -43, -g = j + o*j - 27. Does 23 divide g?
True
Let z(x) = -9*x - 1. Let j(l) = l + 2. Suppose 2*k = -h - 3, 5*k + 3*h + 3 = -3. Let m be j(k). Is z(m) a multiple of 6?
False
Let r(m) = -m**3 - m**2 - 2. Let z be r(-2). Suppose -5*u + 2*b + b = -89, -z*b + 26 = 2*u. Does 8 divide u?
True
Suppose -79 - 49 = -3*r - s, -4*r + 156 = 5*s. Let h be 4/(-12) - r/3. Let q = h + 31. Is 7 a factor of q?
False
Suppose -37 = 3*y - 3*t - 4, 0 = -3*y - 3*t - 39. Does 12 divide (-2)/(-3) + (-136)/y?
True
Let g be 1 + 4/(-1 - -3). Suppose 0 = -2*m - g*m + 15. Suppose m*f + 9 = w, -4*w - 4*f = -5 - 47. Does 5 divide w?
False
Suppose 8*l + 4*v = 3*l + 120, 4*l - 5*v - 96 = 0. Let p = l + 62. Is p a multiple of 22?
False
Suppose 11*g + 108 = 12*g. Suppose -3*y + g = 33. Does 7 divide y?
False
Suppose -16*w = -14*w - 450. Is 25 a factor of w?
True
Suppose 9 = u + 2*u. Is u even?
False
Suppose -6*j = -j + 4*g - 572, 4*j = -g + 462. Is j a multiple of 26?
False
Let y(j) = 8*j - 1. Let i be y(1). Let s(t) = t**3 - 8*t**2 + 8*t. Does 7 divide s(i)?
True
Let q = -8 - -13. Suppose 0 = -q*o - 0*o + 130. Is 11 a factor of o?
False
Let a = 672 + -480. Is 24 a factor of a?
True
Let i be 2*((-6)/(-4) + 1). Suppose 1 = -2*p + i. Suppose 2*a = -4*y + 22, -4*y = -5*a + p*a - 7. Is a a multiple of 2?
False
Let v(q) = -q**2 - 4*q - 1. Let r be v(-2). Suppose 5*b - 263 = -a, -r*b + 223 = b + 5*a. Is 17 a factor of b?
False
Let u(f) = f**2 - 7*f + 5. Let l be u(7). Let a(t) = t**3 - 5*t**2 + t + 6. Does 11 divide a(l)?
True
Let p(b) = b**3 + 8*b**2 + 5*b. Let n = 7 - 14. Does 5 divide p(n)?
False
Let i = 76 + -52. Let h be 10/25 - i/10. Let d(s) = -s**2 - 6*s - 3. Is 5 a factor of d(h)?
True
Does 3 divide (15/9)/(4/36)?
True
Let m be 3 + 2*-1*-1. Let q = 11 - m. Suppose q = -3*c - 3*k + 51, -5*c - 3*k = -69. Does 6 divide c?
True
Suppose z + 5*a - 32 = 0, 5*a - 46 = -2*z - 7. Is z even?
False
Let q be (21/2 - 2)*2. Suppose 20*u - q*u = 39. Is u a multiple of 6?
False
Suppose 666 = 5*h - 939. Suppose h = 4*j + 57. Is j a multiple of 33?
True
Let t = -206 + 312. Is 19 a factor of t?
False
Let g = -2 - -10. Suppose 37 + g = 3*y. Does 5 divide y?
True
Let j be 2 + 1 - (-2)/(-2). Let w = -4 - -26. Let d = j + w. Is 12 a factor of d?
True
Let h = 244 + -139. Is h a multiple of 21?
True
Suppose 0 = -0*c - 2*c - 3*s - 21, -s = -4*c - 63. Does 13 divi