ltiple of 27?
True
Let a be ((-33)/6)/((-1)/2). Let f = a - 9. Suppose 5*o + 4*g = 171 - 43, -2*o + 50 = f*g. Is 19 a factor of o?
False
Let o = -218 + 61. Let d = -99 - o. Does 16 divide d?
False
Suppose 3*n + 696 = -2*q + 3*q, 0 = -5*q + 2*n + 3454. Suppose q = 2*s + 3*s. Does 12 divide s?
False
Let w(v) be the first derivative of -5*v**2/2 + 13*v + 3. Let q be w(13). Let t = 87 + q. Is t a multiple of 17?
False
Suppose -2*c - 94 = -4*d, -5*d - 2*c + 88 + 25 = 0. Let p(w) = 3*w + 8 - d + 6. Does 9 divide p(9)?
True
Suppose -135*n + 132*n - 3*k + 2505 = 0, k = 2*n - 1685. Does 20 divide n?
True
Let j be 0/((-1)/(-2 + 3)). Suppose j = 7*x - 5*x - 2. Is 5 a factor of 70/14 + (x - -1)?
False
Let s be (6 + -3 - 13)*48. Suppose 2*a + 9 - 1 = 4*w, -2*w = a + 8. Is 20 a factor of a/(-4)*s/(-9)?
True
Let g(h) be the first derivative of -61*h**4/4 - 2*h**3/3 - h**2 - h - 27. Is 30 a factor of g(-1)?
True
Let l = 9 - 2. Let u be (0 - -1)/(l/35). Suppose -5*z - 18 - 58 = -2*y, -z + 190 = u*y. Does 8 divide y?
False
Let h(l) = -l**3 - 6*l**2 - 6*l + 11. Suppose 5*p = -2*p - 42. Is h(p) a multiple of 6?
False
Suppose 5*c + z = -0*z + 7, 3*z = -9. Suppose -2*h + 8 = c. Does 2 divide h?
False
Suppose -96976 = 7*w - 83*w. Is 29 a factor of w?
True
Let h(y) = y**3 + 13. Let l be h(0). Is l*(3 + -2) - 3 a multiple of 10?
True
Suppose 3*y - 510 - 1167 = s, 4*y - 2234 = 2*s. Does 20 divide y?
True
Let y = -1726 - -2689. Does 52 divide y?
False
Suppose 94 - 84 = 5*u. Let p(o) = o + 3. Let g be p(-5). Is 35 a factor of 149/((-2)/u - g)?
False
Let w(r) = -r**2 - r + 1. Let k(s) = 7*s**2 + 6*s - 5. Let t(c) = 2*k(c) + 10*w(c). Let a be t(-3). Suppose -2*x + 2 = -a. Is x a multiple of 6?
False
Is 68 a factor of (-4 - -853) + -4 + 4 + 0?
False
Let r(c) be the third derivative of c**5/60 - 13*c**4/24 - 10*c**3/3 - c**2. Suppose 3*t = 2*v - 26, 3*v + v = -5*t + 74. Is 15 a factor of r(v)?
False
Let d = -11 - -1. Is ((-1)/(d/186))/((-18)/(-90)) a multiple of 36?
False
Let j be (-3)/(-7) + (-108)/(-42). Suppose m - 31 = -r + 6*m, 0 = j*r - 2*m - 54. Is r a multiple of 12?
False
Let s(r) = -r**3 - 11*r**2 + 3. Let u be s(-11). Let p be 36/15 + 3/5. Suppose 0 = -4*k + x + 20 + p, 4*x + 14 = u*k. Does 3 divide k?
True
Suppose c + 97 = 2*c - 5*i, -601 = -5*c - 4*i. Let t = c - -3. Is t a multiple of 20?
True
Suppose -19*t - 14381 = -33723. Does 10 divide t?
False
Let x(s) = s**3 + 15*s**2 - 16*s + 8. Let k be x(-16). Let p = 59 + k. Suppose 9 = i - p. Does 38 divide i?
True
Suppose -3*z + 52 = -0*z + 4*b, z + 2*b - 14 = 0. Suppose 63 = -z*v + 27*v. Is v a multiple of 7?
True
Let t = 10 + -10. Suppose t = -j + 23 + 18. Suppose 0 = 2*f + 3*l - j, 15 = -5*f - 5*l + 125. Does 6 divide f?
False
Suppose 3037 = 5*b - 3893. Does 18 divide b?
True
Suppose 0 = 5*t + a - 33, -5*a + 24 = 3*t - 3*a. Is t/(-3)*70/(-4) a multiple of 10?
False
Does 13 divide (8/20)/(1/1465)?
False
Let y = 1947 + -981. Is 25 a factor of y?
False
Let a(g) = 91*g + 50. Does 8 divide a(5)?
False
Is 89 a factor of 2945 + (-8 + 12 - (4 + 8))?
True
Is 47 a factor of (31 + 1)*(52 + (-13 - -8))?
True
Suppose 3*k = -2*m + 344 + 598, 5*k + 2*m = 1574. Does 42 divide k?
False
Suppose -4*b = -8*b + 12. Suppose 7*a = b*a. Does 2 divide 1 - (-1 + (a - 0))?
True
Let l be 1/(-2) + 225/18. Let d = l - 6. Let x = 5 + d. Is x a multiple of 3?
False
Let y(t) = -17*t + 3 - 5*t**2 + 8*t + 7*t - t**3. Does 5 divide y(-5)?
False
Suppose 30*w + 1983 - 12693 = 0. Is w a multiple of 51?
True
Suppose 0 = i - 1 + 6, -c + 3*i = -2522. Does 15 divide c?
False
Suppose 0 = t - 5*n + 11 + 1, 5*t + 40 = 5*n. Let d(l) = -l**2 + 14*l - 38. Let o be d(13). Let f = t - o. Does 6 divide f?
True
Suppose 4 = 4*q - 8. Does 25 divide 241*(16/4 - q)*1?
False
Suppose 0 = 3*f + 28 - 100. Does 12 divide f?
True
Let p = 1007 - -393. Does 28 divide p?
True
Let i(p) = p + 17. Suppose q - 18 = 3*q + 2*w, -4*w = 2*q + 24. Is 11 a factor of i(q)?
True
Suppose 3*i - 464 - 1264 = 0. Is i a multiple of 36?
True
Let p(m) = -7*m - 17. Let i be p(-5). Suppose -368 = 14*w - i*w. Does 41 divide w?
False
Let p be (-2 + -1)*-1 - (-21 + 20). Suppose -k = -p*k + 3*x + 171, 5*x + 120 = 2*k. Does 30 divide k?
False
Let b(l) = 4*l**3 - 14*l**2 - 23*l + 24. Does 54 divide b(12)?
True
Let w(a) = -a - 9. Let b be w(-7). Let n(l) = l**2 - 1. Let v be n(b). Is (v/(-2))/((-5)/80) a multiple of 15?
False
Let i(z) = z**2 - 19*z + 51. Does 29 divide i(21)?
False
Let g = -3 - 12. Let f(h) = -h**3 - 14*h**2 - 2*h + 25. Is 56 a factor of f(g)?
True
Let o(f) = 4*f**2 - 6. Suppose 2*h - 4 = 0, -q + h = 4*q - 13. Is 3 a factor of o(q)?
True
Let c(s) = s**3 + 0*s**3 - 479 + 487 - 20*s**2 + s. Does 7 divide c(20)?
True
Let i(n) = -n**2. Let u(r) = -r**3 + 10*r**2 - 13*r + 29. Let y(s) = 4*i(s) - u(s). Is 23 a factor of y(14)?
False
Suppose 5*q = -3*a + 10*q + 1994, -1342 = -2*a - 3*q. Is 18 a factor of a?
False
Suppose -n + 21 = -0*n. Suppose -4*h - 5*d + 39 = 0, h - n + 3 = -4*d. Suppose -3*w = 3*x + h - 27, 4*w - 7 = -x. Is x a multiple of 2?
False
Let f(n) = -n**2 + 3*n + 2. Let b = 8 + -6. Let x be f(b). Suppose 480 = 9*a - x*a. Does 32 divide a?
True
Let y = 3 + -1. Suppose z = -3, -5*f + y*f + 459 = -4*z. Does 22 divide f?
False
Let f(o) = -22*o - 28. Let r be f(-8). Suppose 152*j - 120 = r*j. Is 5 a factor of j?
True
Is 5/(4*(-3)/(-480)) a multiple of 25?
True
Let y = -208 - -468. Does 65 divide y?
True
Let v(p) = p**3 + 3*p**2 + 2*p. Let f be v(-3). Let w(a) = a**2 + 7*a + 7. Let k be w(f). Is 12 a factor of 1 + k - (3 - 35)?
False
Let d = 427 - 207. Is d a multiple of 55?
True
Let q(i) = -18*i + 16. Let w be q(-4). Suppose 4*s = u - 4*u + 92, 4*s + 4*u = w. Is s a multiple of 13?
True
Let d = 22 - 18. Is (-118)/(2 - d) - 2 a multiple of 7?
False
Let c = 2814 - 1227. Is 23 a factor of c?
True
Let m(w) = 2*w**2 - 6*w + 5. Let x be 16 - -2 - (5 + -3). Suppose 0*j + x = 4*j. Does 13 divide m(j)?
True
Let x be (2/3)/((-4)/(-36)). Suppose -2*i - 2*r = x, -5*i + 0*r + 25 = -3*r. Suppose -i*s + 16 + 12 = 0. Is 7 a factor of s?
True
Let i = 111 + 4. Let j = i - 81. Is j a multiple of 6?
False
Suppose 149 = g - 3*o, -427 = -4*g - 2*o + 197. Suppose -5*i - 5*f + g = 0, 0 = -i + 3*i + f - 64. Let j = -15 + i. Is j a multiple of 6?
True
Is 3 a factor of (92/8 - 3)*4?
False
Let a(p) = 5*p + 20. Let g be a(-16). Is 4 a factor of (-88)/(-15) + (-8)/g?
False
Let n(s) = -2*s**2 + 9*s + 1. Let y be n(8). Let m = -31 - y. Is 12 a factor of m?
True
Let l(u) = 33*u + 12. Let w(a) = -8*a - 3. Let g(m) = -2*l(m) - 9*w(m). Let i = 42 - 39. Does 10 divide g(i)?
False
Let f = -6 + 10. Suppose -55 = f*w + 9. Does 19 divide 3 - (-64)/(w/(-4))?
True
Does 21 divide (((-8)/6)/(-2))/((-5)/(-2715))?
False
Suppose 2*p + 4229 - 864 = -b, -p + 5*b = 1655. Is (-6)/4*p/36 a multiple of 10?
True
Let x = -1 - -5. Suppose p + 6 = -2*a - 0*a, -x*a - 12 = 0. Does 6 divide 24*1/(1 - p)?
True
Suppose 5 = d - 8. Let n = d + -8. Let b(q) = -q**2 + 14*q - 8. Is b(n) a multiple of 9?
False
Let p(v) = 5*v + 6. Let s(z) = 14*z + 19. Let r(i) = -17*p(i) + 6*s(i). Suppose -27*g = -8*g - 95. Does 2 divide r(g)?
False
Let s(a) = a**2 - 9*a + 10. Let d be s(8). Suppose -d*o = -2*y - y - 56, 4*o + y - 126 = 0. Suppose 0 = 3*j + 1 - o. Does 4 divide j?
False
Let z be (1 + 1)*(-4)/(-8). Let i(r) = -13 + 9*r + 3 - 2*r + z. Is i(6) a multiple of 11?
True
Suppose 0 = -5*i + 5*a + 1460, 3*i + 6*a - 3*a = 864. Does 29 divide i?
True
Let u(h) be the second derivative of h**3/6 - 7*h**2/2 + h. Let w be u(3). Is (-42)/(0 + (w - -3)) a multiple of 12?
False
Let c(k) = k + 3. Let u be c(-5). Let l(y) = -6*y - 3. Let b be l(u). Suppose 0 = 4*a - b*a + 40. Does 8 divide a?
True
Suppose 3*c - 70 = 4*i, c + 4*i + 2 = 52. Let o = -64 - c. Let f = -65 - o. Is 6 a factor of f?
False
Suppose -3 = 2*q - 13. Suppose -5*z + n + 517 = 0, z + 0*z - 119 = -q*n. Is z a multiple of 26?
True
Suppose y = -4*y + 75. Suppose -2*o - y = -7*o. Suppose 3*w - 2*d - 31 = 0, 0 = -o*w + w - 2*d + 34. Does 13 divide w?
True
Let n = 754 - -182. Does 109 divide n?
False
Suppose 3*c + 6 = -3*d, -2*d + c = -c - 16. Suppose 4*w - a = -2*a + 525, d*a = -5*w + 651. Does 12 divide w?
True
Suppose 5*p = -u + 37, -33 = -u - p - 8. Let c = -3 + u. Is 9 a factor of c?
False
Let h = 543 -