rue
Let y(h) = -37*h - 10. Let o be y(-3). Let w = -68 + o. Is 11 a factor of w?
True
Suppose x = 3*t + 608, 5*x - 2*t - 3040 = -4*t. Suppose -5*k - 580 = -0*v - 4*v, 2*k = -4*v + x. Is v a multiple of 30?
True
Let b = 339 + -87. Does 14 divide b?
True
Is (-7224)/(-189) - (-2 - (-20)/9) a multiple of 5?
False
Does 11 divide ((-7)/(-35))/((-13)/(-42835))?
False
Let i(a) = -4*a - 7. Let r(g) = -3*g - 8. Let d(t) = -4*i(t) + 5*r(t). Let k be d(14). Suppose 0 = 7*y - k*y - 20. Is y a multiple of 4?
True
Let n(s) = -s + 3. Let c be n(3). Suppose c = y - 2*y. Suppose 2*u + y*u - 58 = 0. Does 12 divide u?
False
Let m be 9 + -16 + 2 + -3. Let g(y) = -y**3 - 6*y**2 + 9*y + 12. Is g(m) a multiple of 38?
False
Suppose 2*c + 6*a = 3*a + 17, 2*a + 10 = 4*c. Suppose -c*l = -0*l - 524. Does 18 divide l?
False
Let t(x) = -x - 2. Let f(q) = -3*q - 5. Let y(n) = 2*f(n) - 5*t(n). Let u be y(-4). Suppose 4*l - 49 = 5*w, u*w + 1 = -3. Is l a multiple of 6?
False
Suppose -172 = 4*g - 768. Let m = 281 - g. Is 22 a factor of m?
True
Suppose -q = -4*q + 12. Suppose c - 58 = -3*c + 2*f, -q*c = -3*f - 61. Suppose 5*l - a - c = 3, -3*l = 3*a - 24. Is l a multiple of 4?
True
Suppose 6*g + 2*l = 3*g + 491, -5*l + 476 = 3*g. Does 2 divide g?
False
Let t = -1009 - -1347. Is t a multiple of 26?
True
Let o(k) = -2 + 2 + k + 1 + 8. Suppose i + 0*h + 3 = -h, 3*i - 3*h - 9 = 0. Is 9 a factor of o(i)?
True
Let b be ((-52)/(-39))/((-2)/(-444)). Is (-2)/14 - b/(-14) a multiple of 18?
False
Let u(m) = -m**3 - 8*m**2 + 15*m + 11. Let t be u(-10). Suppose 221 + 29 = 5*o - 4*n, -o + t = -3*n. Is o a multiple of 39?
False
Let d = 46 - -29. Let o = -48 + d. Is 11 a factor of o?
False
Let y = 20 + -15. Suppose -y*z + 15 = -15. Does 2 divide z?
True
Suppose -4*a + 7 = r - 0, 5 = -a + 2*r. Let d(h) = 29*h - 3. Let l(v) = 1. Let j(z) = d(z) + 3*l(z). Does 4 divide j(a)?
False
Let c(d) = 11*d - 4. Let f be c(-1). Does 20 divide (f/(-20))/((-1)/960*-4)?
True
Is 3 a factor of ((-24)/(-20))/((-5)/3900*-9)?
False
Suppose 3*s - w = 954 - 167, 0 = -4*s - 3*w + 1032. Let m = s + -152. Is m a multiple of 12?
False
Let y = 13 - 2. Suppose -3*j + 0*d = -d - y, -d = 4*j - 10. Suppose j*h - 8*h + 2*s = -166, -2*h + 5*s = -58. Is h a multiple of 22?
False
Let y = 1502 + -564. Is y a multiple of 14?
True
Let q = -149 - -238. Does 36 divide q?
False
Suppose -4529 = -4*m + l, -l + 9 = 2*l. Does 5 divide m?
False
Suppose 2*n - 3*y = -171, 4*n = 4*y - 318 - 18. Let j = n - -102. Is j a multiple of 3?
True
Let q be (-6)/21 + 74/14 + -1. Suppose q*z + a = 59, 2*z = -3*z - 2*a + 73. Is z even?
False
Suppose z - 622 = 5*u, -5*z - 1770 = 3*u - 4796. Is 11 a factor of z?
False
Let d = -4 + 7. Suppose 4*r + d*p + 44 = 0, 10 = -2*r + 3*p - 30. Let y = r - -18. Is y even?
True
Let r be 3*(-1 - -2) - -5. Let w(c) = -3 - r*c - 4 + 18*c - c**2. Is w(5) a multiple of 4?
False
Suppose -189*m + 211*m = 73898. Is 15 a factor of m?
False
Let n be (-1066)/5 + (-1)/(-5). Let u = n - -337. Is u a multiple of 21?
False
Let c(j) = j**3 - 12*j**2 + 4*j - 84. Is 21 a factor of c(18)?
True
Let q(c) = 10 - 3 + 8 - 2*c**3 + 2*c - 16. Let h = -1 - 1. Does 11 divide q(h)?
True
Suppose i = -v + 22, -5*v + 1 = 4*i - 84. Suppose -76 = -l - l. Suppose 4*g - u - l = 0, 4*u = -3*g + 3*u + i. Is g a multiple of 6?
False
Let j = -167 - -35. Let z = j - -135. Does 3 divide z?
True
Suppose 1382 - 449 = i - u, -i + 943 = u. Is i a multiple of 39?
False
Suppose -5*x + 2 = -3. Let n be x*((11 - 1) + 1). Suppose 61 = 6*o - n. Is 12 a factor of o?
True
Let w = -28 + 19. Let o = -15 - w. Is o/10 + 315/25 a multiple of 2?
True
Suppose -z + 39 = -3*r - 90, 10 = 2*r. Is 9 a factor of z?
True
Suppose 80*o + 540 = 86*o. Is 4 a factor of o?
False
Let t be 90/(-21) + 4 - (-10956)/28. Suppose -t - 736 = -7*m. Is 14 a factor of m?
False
Let u = 10 - 7. Does 10 divide 183/u - (-1 + 0)?
False
Let l(c) = 2*c + 27. Let b be -22*-3*3/(-18). Let v be l(b). Suppose 2*g - g - 371 = -4*q, 5*q = v*g + 495. Does 13 divide q?
False
Suppose -32*r = -5345 - 11615. Does 2 divide r?
True
Let o(h) = 5*h - 7. Let x be o(7). Suppose x = 3*l - 32. Is l a multiple of 15?
False
Suppose 145*f - 146*f + 4 = 0. Does 10 divide (-730)/5*-1 - -1*f?
True
Suppose 0*k - 3*k + 6 = -4*h, -5*k = 4*h - 10. Suppose -k*u = -5*u + 195. Is u/10*5*2 a multiple of 13?
True
Let g(p) = -p**3 - 9*p**2 + 5*p - 13. Let y(k) = -4*k**2 - 5*k - 4. Let h be y(-2). Is 34 a factor of g(h)?
False
Does 81 divide (14/(-2) - -22)*(-108)/(-5)?
True
Let k(o) be the third derivative of 11*o**6/360 + o**5/60 + 7*o**4/24 + o**3 - 5*o**2. Let g(c) be the first derivative of k(c). Is g(3) a multiple of 28?
True
Let c(p) = p**3 + 4*p**2 + 2. Let j be c(-4). Let f(a) = -a + 0*a - 7 + j*a**2 - 2*a - 2. Does 4 divide f(-3)?
False
Let b(i) = i - 1. Let a be b(4). Suppose -5*p = c - 2*p - 21, -a*c = -3*p - 87. Is c even?
False
Let k = 22 + -7. Suppose -k*g + 540 = -10*g. Is 18 a factor of g?
True
Suppose b - 3 = 0, 2*l + 2*b - 1241 = -443. Suppose 0*d - 2*d = -l. Does 11 divide (-10)/15*d/(-4)?
True
Suppose -83*l + 15642 = -17*l. Is 10 a factor of l?
False
Let d(s) = 63*s - 234. Does 9 divide d(4)?
True
Suppose 0 = -4*i - i + 55. Suppose 6*v - 905 = -i. Suppose v = 5*h - o, 3*h - 103 = 3*o + o. Is h a multiple of 29?
True
Suppose -s + 3*d = 0, -4*d - 21 = 3*s - 2*s. Let n = 9 + s. Suppose 0 = i + 5*x - 17, 4*i + n*x + x = 163. Is i a multiple of 14?
True
Let u(t) = 2*t**2 + 3*t + 16. Suppose -29 = 2*x - 5*j, 0 = 4*x + 3*j + 20 - 1. Does 21 divide u(x)?
False
Let b(f) = -f**3 - 7*f**2 + 6*f - 10. Suppose -4*g + 89 = -2*a - 3, 2*a - 4 = 0. Suppose 0 = -7*t + 4*t - g. Does 3 divide b(t)?
True
Let i = 4 + 0. Suppose 8*q = i*q - 60. Let p = 35 + q. Does 10 divide p?
True
Suppose 10*t - 8*t = 8. Suppose 71 = 5*q - t. Does 5 divide q?
True
Suppose 3 + 25 = -4*k. Let f(o) = o**3 + 8*o**2 + 6*o - 8. Let x be f(k). Is 31 a factor of (-1)/2*(-107 - x)?
False
Let t(r) = -71*r - 68. Does 17 divide t(-8)?
False
Let p(f) = f**2 - 8*f + 4. Suppose q + 3*q = 32. Let u be p(q). Suppose -3*t + u*x + 62 = 0, 2*t - 4*t = -4*x - 44. Is t a multiple of 13?
False
Suppose 0 = z - 301 + 169. Is z a multiple of 6?
True
Suppose 4*c = 191 + 61. Let g be 4/18 - (-742)/c. Let w = -9 + g. Does 3 divide w?
True
Let f(z) = -8*z**3 - 2*z**2 - 4*z - 3. Is f(-4) a multiple of 14?
False
Let n = -2 + 5. Let y be (n + -8)*(0 - 1). Suppose 3*j - 10 = y. Is j even?
False
Suppose 0 = 5*o - 15, -z - 5*o = -o - 126. Suppose 5*f - 141 - z = 3*k, -k = 0. Is f a multiple of 17?
True
Suppose -5*a + 1 = -2*q - 7, -2*a + 3*q + 1 = 0. Let h = -8 + 76. Suppose -3*t = a*c - h, 3*t + 31 = 5*c - 97. Is 14 a factor of c?
True
Is (-2)/7 + 0 + (-737)/(-7) a multiple of 2?
False
Let h(s) be the first derivative of s**3/3 + s**2 - 4*s + 1. Let o(d) be the first derivative of h(d). Is 3 a factor of o(3)?
False
Let t(l) = -23*l - 25. Let q be t(-3). Let o = 60 - q. Is 8 a factor of o?
True
Let n be (-1*6/4 + 2)*0. Suppose -4*s = -12, 3*x - 5*x - 2*s + 322 = n. Is x a multiple of 12?
False
Let l be ((-4)/(-12)*6)/((-6)/(-363)). Let w = l - 69. Does 15 divide w?
False
Suppose 0*v - 4 = -2*v. Let f be -2 - (-1 - (v + 133)). Let r = f + -77. Is r a multiple of 19?
True
Let r(u) be the second derivative of 11*u**5/120 + u**4/3 + 2*u**3/3 - 6*u. Let i(b) be the second derivative of r(b). Is 24 a factor of i(12)?
False
Let d = 292 + -93. Does 6 divide d?
False
Suppose -47*j = -46*j - 9. Let i = 17 + j. Is i a multiple of 3?
False
Suppose -s - 5*f = -3*f - 8, 20 = s + 5*f. Suppose 0 = i + 4*t - 21, -3*i + 24 = -t - s. Is 9 a factor of i?
True
Let n be (1 + 0)/((-5)/(-10)). Suppose b + b + n*a - 40 = 0, 2*b + a - 36 = 0. Is 12 a factor of b?
False
Suppose -3*j = -0*j - 4*n - 285, 0 = -j + 4*n + 87. Is (-677)/(-9) + (-22)/j a multiple of 25?
True
Is (-1 + 0)*(-5 + -120) - 2 a multiple of 3?
True
Suppose -228 = -6*l + 2*l. Let k(m) = m**3 + 11*m**2 - 25*m - 2. Let v be k(-13). Let n = v + l. Is 14 a factor of n?
True
Let y(f) = -f**2 - 4*f. Let n(h) = 2*h + 6. Let x be n(-4). Let k be y(x). Suppose -5*u - 3*b = -34 - 64, b + 75 = k*u. Is u a multiple of 11?
False
Let j be 3 + (-10)/15 - 3/9. Suppose -234 = -4*h - j*h. Is h a multiple of 36?
False
Suppose -3*d = -0*d - 300. Suppose -4*c - 4*m = -188,