a multiple of 27?
False
Is 9 a factor of ((-6)/(-11) - 333/66)*-26?
True
Is 53 a factor of 36/(-42) + 1508/28?
True
Let w = 166 - 107. Is 3 a factor of w?
False
Let z(o) = -18*o + 6. Let h be z(-3). Let u = -42 + h. Does 9 divide u?
True
Let z be (-2)/(-6) - ((-941)/3 - 1). Suppose 3*t = 12*t - z. Does 21 divide t?
False
Let a(z) be the third derivative of 13*z**4/24 + 9*z**3/2 + 17*z**2. Is a(9) a multiple of 16?
True
Let f(m) = -3*m + 28. Let x be f(7). Suppose v + v = 4*d + 94, -5*d - 145 = -3*v. Let w = x + v. Is w a multiple of 14?
False
Let s be (-20 - -2)/(-2) - 1. Does 10 divide (-23 + -7)*s/(-6)?
True
Let a = -238 - -1090. Is a a multiple of 29?
False
Suppose 7*q - 87 = 3*q + 5*f, 2*f - 38 = -q. Let h = q - 24. Suppose 44 + 60 = h*t. Does 26 divide t?
True
Let l be 16/(-12)*(1 - 4). Suppose 0 = l*u - 9*u. Suppose -3*c + 58 = 5*o - 89, u = 5*c - 20. Does 27 divide o?
True
Suppose 4 = 4*f, 3*f = -o - o + 577. Does 7 divide o?
True
Suppose n = 5*n + 5*b - 30, -4*n - b + 22 = 0. Suppose 3*x = -4*v + 4, -3*v + 2 = 5*x - 1. Suppose -t - n*t + 360 = x. Does 8 divide t?
False
Is 14 a factor of ((-3204)/(-15))/((-1)/(-5)) + 3?
False
Let w = 22 - 21. Does 12 divide 4 + -4 - (w - 13)?
True
Let v be 19 - (3 - (3 - -1)). Suppose -3*j = -8*j - v. Let l(s) = 2*s**2 - 5*s - 4. Does 16 divide l(j)?
True
Let x(f) = 10 - f**3 - 22*f**2 + 14*f - 1 + 0 + 9*f**2. Let i(b) = b**3 + 8*b**2 - 6*b + 13. Let w be i(-9). Is x(w) a multiple of 9?
True
Let i(s) = 15*s + 309. Does 7 divide i(-18)?
False
Let o(s) = -113*s. Let p be o(-1). Suppose -2*v - 3*w + p = 0, -4*v - 111 = -6*v - 5*w. Let c = 113 - v. Is c a multiple of 18?
False
Let d = -347 - -224. Does 10 divide (-15)/20*(d + -1)?
False
Suppose 4*b - 3 = -2*d - 41, 2*d + 18 = b. Let j = 24 + d. Is j a multiple of 3?
False
Suppose 8*c - 3*c = 20. Is 9 a factor of (-6)/c - 39/(-2)?
True
Suppose 3*o = 5*s - 4704, -5*o - 432 = -5*s + 4278. Does 27 divide 4 + -4 + 2 + s/3?
False
Let x be 1 + 14*4/(-8). Does 9 divide (x + -3)/(-2 + 1)?
True
Let m(y) be the second derivative of y**5/20 - y**4/3 - 4*y**3/3 + 17*y**2/2 + y. Is 13 a factor of m(7)?
False
Let b be (-3)/6*-16 - 4. Suppose -3*h - 15 = b*u, 5*u + 2*h + 1 = -9. Suppose 0 = -v - u*v + 21. Does 21 divide v?
True
Suppose x = -2*x - 2*d + 31, 0 = 5*x + 4*d - 51. Let g = x + 9. Suppose 3*p = p + g. Does 5 divide p?
True
Suppose 4*b = 3*b + 156. Is 13 a factor of b?
True
Let q(m) = m - 6. Let d be q(6). Let n = 3 - d. Suppose 0 = -2*c - 2*a - 2*a + 64, -n*c + 86 = 4*a. Is 11 a factor of c?
True
Is (84/10)/(2/35) a multiple of 10?
False
Suppose 4*y = -10*y + 196. Does 8 divide y?
False
Let d(f) = -12*f**2 - f + 39. Let q be d(0). Suppose u + 3 = h + 11, -14 = 2*h - 4*u. Is -3*(-3 + q/h) a multiple of 4?
False
Let h(u) = -68*u - 16. Let q(j) = 135*j + 31. Let d(t) = -11*h(t) - 6*q(t). Is d(-2) a multiple of 57?
True
Let w(t) = 10*t**2 - t + 7. Suppose -4*u = -11 + 23. Let y be w(u). Suppose -6*k + y = -4*k. Is 11 a factor of k?
False
Let h = -14 - -19. Let b(s) = 3*s**3 + s**2. Let t be b(3). Suppose -5*z + 2*k + 68 = -t, -59 = -2*z + h*k. Does 16 divide z?
True
Suppose 4*o + 3*q = -4, -3*o + 4*q = -0*q - 22. Does 16 divide 249/3 + 2 - o?
False
Suppose 0 = 4*m - 2*m + 3*y - 537, 3*y = m - 255. Does 22 divide m?
True
Suppose -18*v + 24122 = -24964. Does 27 divide v?
True
Let s(n) = -39 - 9*n - 43 - 39 + 4*n**2 + 114. Is s(5) a multiple of 8?
True
Let f(v) = -v**2 - 28*v - 65. Let a be f(-27). Let s(m) = 4*m**2 - 7*m + 8. Let c be s(6). Let r = a + c. Is r a multiple of 12?
True
Suppose -25*g = -39*g + 2436. Does 6 divide g?
True
Let b(l) = 5*l**2. Let w be b(-1). Suppose -f - 3*s + s = -507, -f = -w*s - 500. Suppose 2*k + f = 4*q - k, 4*q - 2*k = 502. Is 31 a factor of q?
True
Suppose 0 = 5*a - t - 750, -5*a + 3*t + 616 + 144 = 0. Suppose 4*l = a + 367. Does 18 divide l?
False
Let g(u) be the second derivative of -4*u**3/3 - u**2 + 8*u. Let c be g(-11). Let w = c - 49. Does 7 divide w?
False
Let a(q) = q**2 - 8*q - 2. Let x be a(8). Let z(d) = -21*d + 3. Let w(m) = -11*m + 1. Let s(c) = 13*w(c) - 6*z(c). Is 13 a factor of s(x)?
False
Suppose 6*q + 23 = 3*r + 2*q, -2*r + 18 = -4*q. Suppose -24 = -r*n + n. Suppose -98 = -n*f + 4. Is f a multiple of 3?
False
Suppose -3*c - 3*i = -c - 11, -5*i + 25 = 5*c. Suppose f + c = 24. Is f a multiple of 6?
False
Let j = 10 + -22. Let g(q) = -q**2 + q + 1. Let n(w) = w**2 - 15*w + 6. Let i(a) = 2*g(a) + n(a). Is i(j) a multiple of 12?
False
Let k = -154 + 586. Is k a multiple of 24?
True
Let b be ((-16)/(-6))/(4/(-264)). Let s be b/10 + 6/(-15). Let f = -14 - s. Is f a multiple of 4?
True
Suppose 11*v = 5571 - 621. Is 75 a factor of v?
True
Let g = -38 + -448. Let o = -860 + 513. Let h = o - g. Does 44 divide h?
False
Is (4564/70)/(3/45*1) a multiple of 97?
False
Let q = -66 - -69. Does 7 divide -8*(3 + -5) + 2 - q?
False
Suppose -14 = -5*v + 11. Suppose 21 = 4*f - v*z + 112, 2*f - 4*z + 50 = 0. Let h = 15 - f. Does 16 divide h?
False
Suppose 0 = -2*g - 3*x + 421, 3*x + 654 = -12*g + 15*g. Is g a multiple of 19?
False
Let t = -21 - -13. Let j be (-30)/(-9) - t/12. Suppose 0*c + 208 = j*c. Does 13 divide c?
True
Let z = -56 + 60. Suppose -12 = -4*d, 0 = 2*g - 2*d + z*d - 546. Does 18 divide g?
True
Is 8/10 + 10 + 16568/40 a multiple of 3?
False
Let p = -3661 + 5130. Is p a multiple of 128?
False
Let x(d) = -11*d - 16. Let a be x(6). Let t = 107 + a. Is 2 a factor of t?
False
Let d(f) = 598*f + 102. Is d(6) a multiple of 15?
True
Let t = 3469 + -2001. Is 12 a factor of t?
False
Let l = -1008 + 1597. Is 19 a factor of l?
True
Suppose 3*i = -4*z + 4*i + 456, 448 = 4*z - 3*i. Suppose -188 = 3*w - 59. Let h = w + z. Is 8 a factor of h?
True
Does 30 divide 1*412*((-54)/(-24) - 2)?
False
Let d(c) = 28*c**2 + c + 1. Let y be d(-1). Let i = 46 - y. Is i a multiple of 9?
True
Let d = -74 - -64. Is 22 a factor of (-445)/d + 6/(-4) + 1?
True
Suppose -4*n = -0*l + 2*l - 234, 2 = 2*l. Suppose -2*f + 8 = -2*g, 4*g - 3 - 5 = -2*f. Suppose -5*o + 62 + n = g. Does 6 divide o?
True
Let u(b) = 2*b**2 + 7*b - 7. Let w(y) = y**3 - y**2 - 1. Let g be w(0). Let v be (g - (0 + 0))*-5. Is u(v) a multiple of 26?
True
Suppose 5*f - 862 = -2*q + 2628, -3*q + 5234 = 8*f. Does 14 divide q?
True
Let k = -3272 + 4680. Does 22 divide k?
True
Suppose -q = -0*x - x + 3, -20 = -4*x - 4*q. Suppose -279 = -2*s + g + 2*g, -12 = x*g. Is s a multiple of 6?
False
Suppose -4986 = -3*s - 3*q, -2*s = 3*s - q - 8280. Does 12 divide s?
False
Let o be (-1)/((-108)/110 - (12 + -13)). Let s = o - -115. Is s a multiple of 3?
True
Let c(y) = -393*y**3 + y**2 - 5*y - 4. Does 21 divide c(-1)?
False
Let b = -1306 - -1890. Does 54 divide b?
False
Suppose 0 = 2*j + 10, 755*j - 758*j = 4*z - 2569. Does 4 divide z?
False
Let l(n) = -7*n + 6. Does 9 divide l(-21)?
True
Let v(p) = 10*p**2 + 7*p - 69. Is 91 a factor of v(10)?
True
Suppose -2*x + 1080 = 376. Suppose 5*h - c = x, 0*h + 3*c = 3*h - 204. Does 13 divide h?
False
Let t = 680 - 348. Let z be 1/(1*(-4)/t). Let i = -47 - z. Is 19 a factor of i?
False
Let y(t) = 2*t**3 - 4*t**2 + 10*t - 5. Let c(d) = -3*d**3 + 9*d**2 - 19*d + 11. Let m(r) = 3*c(r) + 5*y(r). Is 19 a factor of m(-7)?
True
Let r = -9 + -3. Let t(f) = f**2 + 9*f - 11. Let b be t(r). Let z = b - 3. Does 22 divide z?
True
Let b be (-1)/((-5)/(-35)) + -3. Let c = 15 + b. Is c even?
False
Let p(d) = 21*d + 9. Let f(k) = -k. Let c(q) = -18*f(q) - p(q). Let i be c(3). Is (-37)/(-1) - i/6 a multiple of 20?
True
Suppose 0 = 5*z - u + 3, -z - 7 = -3*u + 2. Suppose 3*p + 4*r - 694 = 0, -2*p + z*r + 5*r = -432. Is 30 a factor of p?
False
Suppose -22*s + 11*s = -1617. Does 3 divide s?
True
Is 32/496 + (-146155)/(-155) a multiple of 21?
False
Let j be -125*1*10/25. Let r = 130 + j. Is r a multiple of 8?
True
Suppose 4*m + 5*w + 1 = 0, 3*m - 8*m + w + 6 = 0. Let a = -5 - -10. Let y = a - m. Is 3 a factor of y?
False
Let x be 90/110 - (-2)/11. Is 8 a factor of (22/x)/((-6)/(-9))?
False
Suppose 0*x - 2 = -x, -2*j - x + 66 = 0. Suppose 0*n = -n - j. Let a = n - -62. Is 10 a factor of a?
True
Suppose -12*x + 9*x = 105. Let n be (-56)/x - (-3)/(-5). Suppose g - 22 - n = 0. Does 7 divide g?
False
Let p(s) = -s**3 - 2*s**2 - 3*s - 3. Suppose 0 = 10*c - 9*c - 5. Suppose 16 = c*r - 2*r - 5