6 = -h*x + 11*x. Is 24 a factor of x?
True
Suppose 4*f + 8 = -2*m + 7*f, 5*m - 22 = -3*f. Suppose 12 = m*h - n, h = -3*n + 4*n + 8. Suppose h*g - g - 153 = 0. Is g a multiple of 25?
False
Let y(x) = -4*x**3 - 48*x**2 + 41*x - 13. Let n(z) = -z**3 - 12*z**2 + 10*z - 3. Let s(q) = -9*n(q) + 2*y(q). Is 26 a factor of s(-12)?
False
Let o = -2445 + 2905. Is o a multiple of 23?
True
Let p be (-2)/4*(3 - 25). Suppose 2*t - v - 1 = 0, -3*t + 2*t - 3*v = -p. Suppose -y = -t*m - 3*m - 29, 2*m = -4. Is 14 a factor of y?
False
Let s = 1804 + -444. Is s a multiple of 40?
True
Suppose 0 = -q - 0 + 9. Let g(c) = -7*c - 27. Let t(p) = -p - 1. Let v(r) = -g(r) + 6*t(r). Is v(q) a multiple of 10?
True
Suppose -4*j + 3*g + 87 = 0, -5*j - 3*g + 83 + 19 = 0. Does 2 divide j?
False
Suppose z - 3*z = -2*k + 18, -3*z = -k + 17. Let x be (-46)/(-10) + (-9)/15. Suppose -7 = c - k*l, -x*c - 2*l = -29 - 31. Is c a multiple of 2?
False
Let s be (1 - 3) + (-2 - 0 - 244). Let x = s - -376. Is x a multiple of 16?
True
Let g = -2 + 4. Suppose -g*s + l + 47 = 0, -2*s + 44 = -4*l - 0*l. Is 12 a factor of s?
True
Suppose 3*v - 90 = -q, q - 3*q + 4*v + 180 = 0. Does 5 divide q?
True
Suppose -12*w = -10*w - 526. Is 6 a factor of w?
False
Let d = 25 + -22. Suppose b = -y - y + 136, -3*y + 186 = -d*b. Does 16 divide y?
False
Suppose 0 = -0*n + n - 2*o + 6, 4*o = 5*n. Suppose -661 = -5*t + j, -t - 5*j + 685 = n*t. Is 19 a factor of t?
True
Let p = 7 - 7. Let l be (-24)/15*(p - -5). Does 23 divide (l - 0)*46/(-8)?
True
Suppose -s - 4*l = -110, s - 4*l - 142 = -0*l. Does 126 divide s?
True
Let r(j) = -j**2 + 1. Let k(s) = -6*s**2 - 2*s + 61. Let w(l) = -k(l) + 5*r(l). Is w(-9) a multiple of 3?
False
Let w be (0 + (-3)/1)/(-1). Suppose q = w*y - 0*y - 19, 5 = q. Suppose y*t = 6*t + 32. Does 10 divide t?
False
Suppose k + 10*k = 9636. Is 73 a factor of k?
True
Does 26 divide ((-819)/156)/((-1263)/(-636) - 2)?
False
Let b(u) = 5*u**2 - 6*u + 21. Let d(z) = -z**2 + 5*z + 1. Let s be d(4). Does 12 divide b(s)?
False
Let a = -14 + 27. Let m = -9 - -17. Let v = a + m. Does 7 divide v?
True
Let b(l) = -89*l - 2. Let p = -16 - -9. Let k = p - -6. Is b(k) a multiple of 29?
True
Let w(t) = t**2 + t - 1. Let g(i) = -i**3 - 5*i**2 - 12*i - 30. Let f(u) = g(u) - 3*w(u). Is 27 a factor of f(-8)?
False
Let k be 1 - (1*239 + -12 + 12). Let d = k - -362. Does 45 divide d?
False
Suppose 4*h = t - 4, 2*t - 3*h - 18 - 15 = 0. Is 7 a factor of 27 - (1/2 - (-60)/t)?
False
Is 6 a factor of -3*426/36*-2?
False
Suppose 6 = v - 2*w + 1, 0 = -5*w. Suppose v = 5*m + 40. Is 4 a factor of 5 + 8/(-2) - m?
True
Let h(x) = -4*x + 14. Let t = 27 + -24. Suppose 4*v + 35 = -v + 4*d, t*v + 21 = 2*d. Is h(v) a multiple of 14?
True
Let v(o) be the first derivative of -o**6/120 - 7*o**5/30 - 7*o**4/12 - 7*o**3/6 + 4*o**2 + 1. Let s(u) be the second derivative of v(u). Does 6 divide s(-13)?
True
Let d = -38 - -22. Let l = d - -29. Does 7 divide l?
False
Is 495/110*(-296)/(-3) a multiple of 6?
True
Let y be 26/65 + (-48)/(-5). Let o = y - 18. Let u(w) = -w - 4. Is u(o) a multiple of 2?
True
Suppose -7*w + 2574 - 1041 = 0. Is w a multiple of 7?
False
Let u be (-104 + 1 + 2)/(-1). Let z = 37 + u. Let q = z + -90. Does 17 divide q?
False
Let t = 10 + -8. Suppose a = -5*q - 8141, -t*a - 1 = -9. Is 10 a factor of (-1)/4 + q/(-36)?
False
Suppose 0*t + 4*t - 1572 = 0. Does 10 divide t?
False
Let x = -5 + 89. Suppose 0 = 5*v - x + 19. Is v a multiple of 13?
True
Suppose 0 = z - 43 + 67. Does 3 divide z/(-10) - 3/(-5)?
True
Let v be 0/(-1) - 7/7. Does 22 divide v - 65*(5 - 6)?
False
Let w = -1281 - -2156. Does 30 divide w?
False
Suppose 0 = 705*q - 702*q - 93. Is 3 a factor of q?
False
Suppose 4*q = q + 483. Let y = 1042 - 942. Let n = q - y. Is n a multiple of 33?
False
Suppose 7*s - 8*s - 7 = 0. Is (-6 - (4 + s)) + 0 + 79 a multiple of 19?
True
Let u(p) = -p**3 + 17*p**2 - 14*p - 12. Let n = 0 + 16. Does 4 divide u(n)?
True
Suppose 5*r - 5*y = 210, -4*r + 3*y + 193 = 4*y. Suppose 2*l - 175 - r = 0. Is 17 a factor of l?
False
Let v = 183 - 157. Is 7 a factor of v?
False
Let c be (-4)/(12/(-369)) - 0. Let m be (44/(-2))/((-1)/(-4)). Let f = c + m. Is f a multiple of 10?
False
Let c(j) = 908*j**2 - 2*j + 1. Is 15 a factor of c(-1)?
False
Let d(a) = a**3 - 10*a**2 + 8*a - 8. Let w be d(6). Let g be 12*-2*38/6. Let s = w - g. Does 8 divide s?
True
Let w(y) = -y**3 - 3*y**2 + 13*y - 8. Is w(-6) a multiple of 3?
False
Let t = 9 + -1. Suppose -5*r - 72 = -t*r. Suppose r + 4 = 2*v. Is v a multiple of 7?
True
Suppose -6 = -a + 2*a - 3*o, 3*o - 24 = -2*a. Let q = 12 + a. Is 11 a factor of 4/q + 5467/63?
False
Let o(g) be the second derivative of g**4/12 + g**3/3 - g**2 - 4*g. Suppose -m + 4*k = m - 6, 3*k + 15 = 0. Is o(m) a multiple of 6?
False
Let h(r) = 11*r**2 - 36*r + 211. Does 10 divide h(17)?
False
Let t(l) = l**3 + 15*l**2 + 14*l - 5. Let f be t(-14). Let m(d) = d**3 - d**2 + 2*d + 3. Let z(u) = -u**3 - 3*u - 2. Let p(j) = f*m(j) - 4*z(j). Is p(5) even?
False
Suppose 3*o - 3*u + 0*u = 714, 2*o - 482 = -u. Is o a multiple of 40?
True
Let r(q) = -29 - 4*q**2 - q**3 + 22 + 2*q**2. Let g be r(-3). Is 676/8 + (-1)/g a multiple of 28?
True
Suppose 2*c = -6, -c - 74 = -3*x - 236. Let l = -30 - x. Is 6 a factor of l?
False
Is 4 - 0 - (134 - 0)*-1 even?
True
Let a(g) = -41*g**3 + 2*g**2 - 1. Let c be a(1). Does 7 divide (-5)/(c/26)*(-32)/(-4)?
False
Suppose -5*l + 3 + 3 = b, 2*b = -4*l + 18. Suppose 2*j = -5 + b. Let d = 30 - j. Is d a multiple of 13?
False
Let l(c) = 6*c**3 - 13*c**2 + c - 12. Let p(b) = b**3 - b**2 + b - 1. Let o(a) = -l(a) + 5*p(a). Does 12 divide o(7)?
True
Suppose 114 - 102 = -f. Let g(o) = 3*o - 7*o - 11*o - o**2 - 5. Does 5 divide g(f)?
False
Let z(a) = 8*a**2 - 4*a - 4. Let p be z(-2). Is 538/8 + 27/p a multiple of 16?
False
Suppose b + 4 = 3*b - 3*q, 0 = -4*q. Suppose 5*g - f - 654 = 1, -b*f = 3*g - 393. Suppose 5*u + 11 = g. Is u a multiple of 10?
False
Let w = 223 - 401. Does 13 divide (w/3 - -2)*(-21)/14?
False
Let w be (3 + -2)/(1/3). Suppose 0 = 5*f + 2*y - 65, -w*f - 2*f + 2*y = -85. Let h = 18 - f. Is 2 a factor of h?
False
Let g(x) = -17*x - 2. Let a be g(-1). Suppose -2*y + a = 3*y. Is ((-2)/y)/((-9)/1296) a multiple of 32?
True
Suppose 16*v - 17*v = -76. Suppose -v = -0*z - z + 3*n, 0 = n + 1. Is 30 a factor of z?
False
Let w be (1*-1)/((-18)/(-1116)). Is (4 + -3 - 4)*w a multiple of 31?
True
Let a(m) = -4*m**3 - 4*m**2 - 15*m + 89. Is a(-7) a multiple of 58?
False
Suppose 0 = -19*g + 22*g + 2*b - 512, 4*b = -2*g + 344. Is 4 a factor of g?
False
Let n = 6 + -3. Let o = 56 - 62. Let c = n - o. Is c a multiple of 3?
True
Suppose 99 = 5*d + 14. Suppose -19*v + 104 = -d*v. Is v a multiple of 13?
True
Let t be (-4 + 679)/5 - -2. Suppose 4*b = -3*a + t, 0*b - a - 43 = -b. Suppose -b + 294 = 8*j. Does 4 divide j?
True
Suppose -943 = -y - 0*c - 3*c, -5 = 5*c. Is y a multiple of 76?
False
Is (-190 - -2)/((-6 - -1) + 3) even?
True
Suppose 2*l + 0*r + 2*r = 10, 0 = -5*l - 3*r + 27. Let x = l - 0. Suppose -2*y - x = -4*q - 36, -3*y = -q - 50. Is y a multiple of 17?
True
Suppose -6*i = -8*i - 28. Does 15 divide i/6*-21 + -4?
True
Let w = -404 + 514. Is 9 a factor of w?
False
Let b(s) = s**3 + 7*s**2 + 7*s + 3. Let p be b(-6). Let i be -7*(-2)/(p - -5). Let w = i - 1. Is w a multiple of 3?
True
Let p(z) be the second derivative of -z**5/20 + 3*z**4/2 + 23*z**3/6 - 10*z**2 - 15*z. Is 14 a factor of p(19)?
True
Let z = 1096 + -354. Does 13 divide z?
False
Let s(c) = c - 5. Let m(n) = 2*n**2 - n - 7. Let v be m(3). Does 3 divide s(v)?
True
Suppose -13 = 2*b - 1. Suppose 2*c + 4 = 0, 7*c + 5 = -l + 2*c. Let p = l - b. Does 6 divide p?
False
Let n be (850/(-5))/((-6)/(-9)). Is 14 a factor of 3 - (n/20)/(2/8)?
False
Let a(o) = -o**2 + 3*o + 4. Let n be a(4). Suppose n = -3*f - 2*u - 0*u + 23, -24 = -4*f - u. Is f a multiple of 3?
False
Let t be (-16)/(-2) + 2/2. Let a = t + -23. Does 16 divide 7/(a/(-40)) - -1?
False
Suppose -5*l - 5*d + 5 = 0, -3*l = d - 4 - 7. Is (l/(-2))/(2/(-80) - 0) a multiple of 5?
True
Let u be 13/(-2)*(-7 + -3 - 0). Suppose 0 = 5*s - 20, -5*s + 1 = -v + u. Is v a multiple of 21?
True
Suppose 3*u - 5*u = -6816. Is 16 a factor of u?
True
Suppose 2*v - 2 = -0. Let m be 1*9/v - 1. Suppose 3*s = m*s - 115.