= 0. Let n be 1/((-3)/9) + 19 + 2. Suppose -h + n = -s. Is 24 a factor of h?
True
Suppose 14 = -3*c - 1. Let d(u) be the second derivative of u**4/6 + 2*u**3/3 - u**2/2 + 15*u. Is d(c) a multiple of 17?
False
Suppose 0 = -4*s + 5*m - 502, 5*m + 113 = -4*s + 3*s. Let p = s - -133. Is 5 a factor of p?
True
Suppose 1 = 2*z - 5*k - 3919, -2*z = -2*k - 3908. Does 27 divide z?
False
Let d(n) = -n**2 - 11*n - 12. Let h be d(-10). Let o be h/(-2) - (19 - -9). Let q = o + 112. Is q a multiple of 20?
False
Let f(i) = i - 6. Let t be f(11). Suppose -20 = -2*m + t*l - 258, -122 = m - l. Does 31 divide -2 - (1 + m - 2)?
False
Suppose -5 = -5*h - 5*b, h - 5 = 2*b - 1. Does 9 divide 26/12 - h - 428/(-24)?
True
Suppose -6*c = -c - 2*x - 1525, 5*x - 1525 = -5*c. Does 5 divide c?
True
Let c(o) = o**3 + 8*o**2 + 7*o - 6. Let j = -10 - -10. Suppose 18 = -j*n - 3*n. Is c(n) a multiple of 6?
True
Suppose 12*s + 3*s - 1635 = 0. Suppose 2*p - z - 3*z = 78, s = 3*p - 2*z. Is p a multiple of 6?
False
Let a = 666 - 328. Is 26 a factor of a?
True
Let w = 2310 + -355. Is 23 a factor of w?
True
Let d(s) = 167*s**2 - 15*s + 13. Is 11 a factor of d(1)?
True
Let n = 518 - -162. Is n a multiple of 20?
True
Suppose 2*d - 25 = -3*d. Let y = d + -9. Is (94/y)/(8/(-16)) a multiple of 14?
False
Suppose -38*p + 5*p = -122661. Is p a multiple of 14?
False
Suppose 5 + 5 = 2*p. Suppose 2389 = 4*j - p*b, 4*j + 5*b + 76 = 2455. Is j/10 + 6/15 a multiple of 20?
True
Suppose -5*h - 5*m = -1024 - 1981, -1827 = -3*h + 3*m. Does 11 divide h?
True
Suppose 0 = 4*k - 8*k + 380. Let y = k + -50. Is y a multiple of 15?
True
Let z = -109 - -186. Let q = 26 + z. Is 15 a factor of q?
False
Let v be (-64)/(-10)*(-10)/(-2). Suppose -2*q = -5*j + 10, 4*q + 3*j - 6 = 6*q. Suppose q = 4*f - 12*f + v. Is 2 a factor of f?
True
Suppose 2*k - 91 + 263 = 0. Let q = -58 - k. Is q a multiple of 23?
False
Suppose l + 20 + 3 = f, 45 = 2*f - l. Suppose 88 = 24*a - f*a. Is a a multiple of 22?
True
Suppose -24*q + 12 = -21*q. Suppose -2*p + q*s + 376 = 0, -p + 2*s + 191 = -s. Is 51 a factor of p?
False
Let b = 4032 + -2048. Is b a multiple of 6?
False
Is 8 a factor of 28/7*(-358)/(-4)?
False
Let a be (-1)/3 + 712/(-6). Let s = a + 81. Is 8/4 - -1 - s a multiple of 14?
False
Let s(b) = b**3 - 2*b**2 + 2*b - 2. Let p be s(2). Suppose z = x + 5*z - 34, 5*x = -p*z + 80. Let o = x + 22. Is o a multiple of 12?
True
Suppose -2*z + 3*l - 7*l - 10 = 0, -l + 4 = 0. Let f(r) = -r**3 + 9*r**2 - 5*r + 5. Let d be f(4). Let q = z + d. Is 13 a factor of q?
True
Let u = -155 + 358. Is 16 a factor of u?
False
Let h = -24 + -63. Let q = -44 - h. Is q a multiple of 10?
False
Let u(t) = t - 6. Let h be u(6). Suppose h = -12*p + 10*p + 68. Suppose -3*n = -p - 2. Does 12 divide n?
True
Let h(b) = 2*b**2 - 2*b + 8. Let j be h(0). Suppose j = 4*x, c + 1 = 4*c + 2*x. Is 9 a factor of c - (-37 + (-3 - -3))?
True
Let r(h) = 3*h + 29. Does 2 divide r(-9)?
True
Suppose 6*t - 215 = 157. Let g = 24 - t. Let f = -15 - g. Does 7 divide f?
False
Suppose -2*d + 40 = 3*d. Let y = d + 5. Is 11 a factor of y?
False
Let u = 7 + -3. Suppose u*k + 3*j - 2 = 0, -2*j = -5*k + 2*j + 18. Suppose 3*s + 2 = 4*l - 75, -2*l = k*s - 28. Is l a multiple of 5?
False
Suppose -3*l + 78 = -3*s, -5*l + 158 = 4*s + 10. Let u(p) = 29*p + 1 - 4 - l*p - 1. Is 8 a factor of u(20)?
True
Let z(b) = 4*b**3 + b**2 - 1. Let r be z(1). Let h(l) = 2 + 3 - 6 - r - 11*l. Is h(-4) a multiple of 13?
True
Let z(p) = 12*p**2 + 2*p - 7. Let i be z(-3). Let k = i + 13. Is 36 a factor of k?
True
Is 50 a factor of 39474/33 - 5/((-275)/(-10))?
False
Let x be 4/(4/(-3) + 2). Suppose -t + 3*k - x = 0, -3*t + 2*k = -k. Suppose -t*h + 67 = -35. Is h a multiple of 17?
True
Let d be ((-4 - -12) + -5)*195. Suppose -3*z - 5*h + 588 = 0, 0*h + d = 3*z + 4*h. Is 25 a factor of z?
False
Let i = 22729 - 12042. Suppose -3*o - 4*q = -q - 6396, -5*o + 4*q = -i. Is 2/11 + o/55 a multiple of 13?
True
Suppose 0 = 4*c + 2*s - 0 + 4, 3*c = -3*s - 6. Suppose 2*y - 4*l - 560 = c, 6*y = 3*y - 5*l + 884. Is y a multiple of 32?
True
Suppose 426 = 6*q - 12*q. Let x = 102 - q. Is x a multiple of 22?
False
Let m(t) = t**3 - 10*t**2 - 8*t - 43. Let c be m(11). Let g(n) = -3*n + 4 + 1 + 2. Does 15 divide g(c)?
False
Let y = -17 - -19. Let t be 1/((-3 + y)/(-1)). Is t - (3 + (3 - 10)) a multiple of 2?
False
Let p = 24 + -24. Suppose 2*x = -p*x + 30. Is 10 a factor of x?
False
Let f = -19 + 13. Let a be (2*-1)/(f/(-1101)). Let k = -255 - a. Does 14 divide k?
True
Let j(y) = -29 + 46 + y + 3*y**2 - 21. Suppose 6 + 0 = -2*b. Is j(b) a multiple of 5?
True
Suppose 0*f - 3 = i + f, -4*i + 33 = -5*f. Suppose -3*q + 14 = 3*c + c, q + 3*c + i = 0. Is q a multiple of 5?
True
Let y(x) be the third derivative of -x**4/24 + 3*x**3/2 + 4*x**2. Let z be y(6). Suppose -19 + 55 = z*g. Does 4 divide g?
True
Let r(b) be the second derivative of 13*b**7/2520 + b**6/720 - b**5/60 - b**4/2 - 5*b. Let c(g) be the third derivative of r(g). Is 12 a factor of c(-2)?
True
Let i(m) = -19*m + 141. Is i(6) a multiple of 9?
True
Let u = -740 - -1316. Is u a multiple of 36?
True
Suppose -34*p = -32*p - 2100. Suppose -13*n + 6*n + p = 0. Is 10 a factor of n?
True
Let p(x) = -x**3 + 9*x**2 - 9*x + 2. Let g be p(8). Let v(z) = 4*z**2 + 3*z - 14. Let a be v(g). Suppose -2*t = -t - a. Is t a multiple of 25?
False
Suppose 2*w + 3*l - 615 - 342 = 0, 2*l - 958 = -2*w. Does 13 divide w?
False
Suppose 286 = j - 4*l + 65, -4*j + 836 = -4*l. Suppose c - 2*c = -2*r + 85, 5*r - 5*c = j. Does 4 divide r?
True
Suppose 0 = 27*d - 3*d - 9984. Is d a multiple of 32?
True
Let v be (-9)/(-7) - (6/21 - 0). Is 3 a factor of 36/(-12) + v*29?
False
Let t = 32 + -32. Suppose 4*u - 324 = -4*p, 3*u + p - 245 = -t*p. Is 10 a factor of u?
False
Let n(a) = 14*a + 97. Let s(y) = -222*y - 1551. Let g(w) = -33*n(w) - 2*s(w). Is 25 a factor of g(-20)?
False
Let c be (-14)/21 + (-310)/3. Let a = c - -127. Is 15 a factor of a?
False
Suppose -2*z - r + 59 = 0, -36*z + 5*r + 41 = -34*z. Is z a multiple of 4?
True
Suppose 84 = -a + 78. Let j = 33 - a. Is 2 a factor of j?
False
Suppose 0 = -5*h - 3*l + 39, 88 - 35 = 5*h - 4*l. Suppose o + h = 36. Suppose -x + o = 2*x. Is x even?
False
Suppose 9943 = 40*u + 703. Is u a multiple of 32?
False
Let v be ((-4)/(-6))/(22/(-957)). Let x = 49 - v. Is x a multiple of 13?
True
Suppose 0 = -3*o + 3*t - 9, 5*t - 7 - 2 = -o. Let q be 1*(4*o)/(-4). Is -1*(q + 10/(-2)) a multiple of 4?
True
Let u(k) = -2*k**2 + 9*k - 1. Let r(s) = -s**2 + 3*s + 2. Let f be r(2). Let x be u(f). Suppose 0 = 2*y + z - 15, 3*y - x = 2*z + 30. Does 4 divide y?
False
Let m(y) = 2*y**3 + 37*y**2 + 16*y + 26. Suppose -3*a - 63 = 3*w, -5*a - 6 = -3*a. Does 4 divide m(w)?
False
Suppose 22*o = 18*o + 8. Suppose 0*c + r - 9 = -c, -o*r = -6. Is c a multiple of 6?
True
Suppose 0 = 4*m + 112 + 56. Let v = 100 + m. Is v a multiple of 9?
False
Let h(o) = -o**2 - 17*o + 9. Let k be h(-15). Let p = 6 + k. Does 3 divide p?
True
Does 43 divide -1*559*380/(-76)?
True
Let y(t) = 3*t**2 + 3. Let j be y(-5). Is 4/(-4*(-3)/j) a multiple of 7?
False
Let l(p) = -32*p + 48. Is l(-8) a multiple of 10?
False
Let c = -309 - -354. Does 2 divide c?
False
Let o(h) = h - 10. Let b be o(-9). Let c be b - 8/(0 + 4). Is (-128)/(-7) + 6/c a multiple of 18?
True
Suppose -5*w + 3*c - 40 - 4 = 0, 3*w + 38 = -4*c. Let y = -16 - w. Let a = y + 13. Does 7 divide a?
True
Let f(n) = -2*n + 19. Let u be f(18). Suppose -5*i = -39 - 81. Let w = u + i. Does 6 divide w?
False
Let q(d) = -66*d - 2. Let r be q(-1). Suppose -3*k = -41 - r. Is k a multiple of 5?
True
Suppose 11*q - 2509 = 19931. Is q a multiple of 30?
True
Let f be (-2)/6 - 465/9. Let c be (-1)/(-2) + -1*1/(-2). Does 23 divide (f + c)*16/(-6)?
False
Let r(a) = -a**2 + 26*a + 78. Is 16 a factor of r(13)?
False
Let i be 12/(-3)*(-3)/(-4). Let d be i/(-1)*12/(-9). Is ((-2)/(-6))/(d/(-84)) a multiple of 7?
True
Suppose 0*m + 1 = m. Let f be (2 - -57) + m*-2. Suppose -13 = -a - c, 0 = 5*a - 4*c - 53 - f. Does 15 divide a?
False
Let h(a) = 7*a**2 - 15*a + 2 - 2*a**2 + 16*a. Does 22 divide h(-3)?
True
Let n = -220 - -456. Is 10 a factor of n?
False
Let o(l) = -2*l**2 - 14*l + 20. Let p be o(4). Does 24 divide 8/p + 28574/119?
True
Let r = 668 + -131. Does 24 divide r?
F