y(m) = -m**3 + m**2 + m + 1. Let u be y(0). Is 2 a factor of (-36)/(-1 + u/4)?
True
Does 29 divide -12 + 2602/4 - (-1)/(-2)?
True
Suppose -2*d + 92 = -4*n, d + 2*d - 147 = -3*n. Does 4 divide d?
True
Let i = 80 - 76. Suppose 4*w - 160 = i*b, 3*w + 7*b - 120 = 8*b. Is 10 a factor of w?
True
Let p(t) = t + 15. Let g be p(8). Let q = g - 25. Is q*(-1)/((-2)/(-8)) a multiple of 5?
False
Let t be (-344)/14 - 30/70. Let o = t + 79. Is o a multiple of 18?
True
Let g = 5 - 3. Suppose -s + g*b + 26 = 0, s - b + 5*b - 2 = 0. Is 4 a factor of s?
False
Let m = 417 - 280. Suppose -m = -4*f - 3*a, -2*f + 48 + 19 = a. Suppose -16 = -2*q + 4*l + f, -q - 3*l - 1 = 0. Is q a multiple of 10?
False
Let r(p) = -p**3 - 9*p**2 - 6*p + 19. Let m be r(-8). Is m + (-1)/(4/(-40)) a multiple of 8?
False
Let t(d) = 4*d - 13. Let k be t(7). Is 6 a factor of (k/12)/1*24?
True
Let t = -29 + -161. Let q = 102 + t. Let k = 123 + q. Is k a multiple of 16?
False
Let j be -1 + 823 + (224/(-7))/(-8). Suppose -3*z + 5*b + j = 0, -3*b = 2*z - 8 - 568. Does 24 divide z?
False
Suppose -5*w + 4*u = u - 19, -w - 2*u = 4. Suppose -y = w*y + 42. Does 9 divide 6/(-8)*(2 + y)?
True
Suppose -4*h + 50 = -126. Is 6 a factor of h?
False
Let q(r) = -r**3 - 6*r**2 + 8*r + 7. Let k be q(-7). Suppose -8*v + 6*v + 46 = k. Is 7 a factor of v?
False
Let x(c) = -24*c + 1. Let j be x(-1). Does 7 divide 5/(-10)*j/(-1)*4?
False
Suppose 314*h = 307*h + 3927. Is 51 a factor of h?
True
Let v(s) = s**2 + 34*s - 87. Let w be v(-37). Let h be (11 - -2) + -1 + 2. Let x = w - h. Is 5 a factor of x?
True
Suppose -645 = -7*d - 197. Is 8 a factor of d?
True
Suppose -315 = -0*s + 5*s. Let h = s + 201. Suppose -2*t - 3*m + h = 0, 4*m = 6*m - 4. Is t a multiple of 33?
True
Let y be (-231 + 1)*((-42)/(-12) + -4). Let j = y + -57. Is j a multiple of 29?
True
Suppose 0 = -189*o + 196*o - 2030. Does 10 divide o?
True
Let y = 167 + -132. Does 3 divide y?
False
Suppose 6*q + 56 = 2*q + 2*k, -2*q = 5*k + 4. Let p = 14 + q. Is (81 + -1)*1/p a multiple of 18?
False
Suppose -898 = -b - 3*s, b + 2*b + s = 2718. Does 46 divide b?
False
Let o = 8 + -1. Let r(h) = -9*h**2 - 5*h + 8. Let l(m) = 8*m**2 + 6*m - 8. Let k(d) = o*l(d) + 6*r(d). Is 8 a factor of k(-9)?
False
Suppose 9*d - 165 = 141. Suppose d*z = 31*z + 126. Does 14 divide z?
True
Suppose 270*r + 20720 = 275*r. Is r a multiple of 36?
False
Let k(w) = -2*w + 13*w**2 - 6*w**2 + w**3 + 3*w - 5. Is 27 a factor of k(-3)?
False
Suppose -1298 + 326 = -3*m. Is 18 a factor of m?
True
Suppose -5*f + 2*s + 785 = 7*s, 0 = f - 2*s - 154. Does 28 divide f?
False
Let c be 6/3 + -8 + 0. Let x = -9 + c. Is 11 a factor of 66/(-4)*10/x?
True
Let q(u) = 6*u - 24. Let b be (-54)/(-12)*8/6. Is 5 a factor of q(b)?
False
Suppose m + 7 = 4*a, 0 = 3*m - a - 3*a - 3. Suppose g - 5*v + 0*v = 120, -m*g + 3*v = -622. Does 30 divide g?
False
Let g be 2*9/6*1. Suppose 3*f - 4*o - 18 = 0, 0*f + 3*o + 13 = 2*f. Suppose -5*t + 3*m = -231, g*t + m - 153 = -f*m. Is 24 a factor of t?
True
Let y = -634 - -1045. Let f = y + -151. Is f a multiple of 20?
True
Suppose -12*l + 9*l = -5*o + 56, 4*o + 5*l - 30 = 0. Is 5 a factor of o?
True
Let o(a) = -3. Let t(j) = j. Let z(i) = -o(i) + 5*t(i). Let x = 73 - 70. Is z(x) a multiple of 5?
False
Is 14 a factor of (-1 - 391)*(-3591)/532?
True
Suppose 0 = -4*c - c. Suppose -56*u = -26*u - 27*u. Suppose u = -c*q + q - 30. Does 8 divide q?
False
Let x = 7 - -1. Does 11 divide (-1)/(-9 - -5) - (-878)/x?
True
Let j(c) = -20*c + 537. Is 15 a factor of j(0)?
False
Suppose -2*s - 3*z - 3 = -2*z, -3*s + 5*z + 2 = 0. Let i be 6/(-2 + s) - -4. Suppose b + 4*y - 18 = 0, -i*b + 3*y + 17 = -52. Is 15 a factor of b?
True
Let z = 25 + -7. Suppose -5*k - 12 = d, -d - 3*d + 2*k = -z. Suppose -d*o + 72 = 4*v, 2*v = o + 4*o + 36. Is v a multiple of 9?
True
Let n(o) = 3*o**2 + 19*o - 1. Let a(c) = 4*c**2 + 18*c. Let v(f) = 2*a(f) - 3*n(f). Is 10 a factor of v(-11)?
False
Suppose -155*b = -131*b - 79488. Is 9 a factor of b?
True
Let b(z) be the first derivative of z**6/360 + z**4/6 + 2*z**3 - 10. Let f(j) be the third derivative of b(j). Is f(-4) a multiple of 5?
True
Suppose -3*k = 0, 4*a + 40 = -0*k - 3*k. Let j(b) = -5*b + 6. Is 8 a factor of j(a)?
True
Is 9 a factor of 11/22 - 0 - 24652/(-8)?
False
Let s(z) = 4*z + 183. Does 22 divide s(9)?
False
Does 5 divide -8 + 95 + 1 + 7?
True
Let y = -7 + 6. Let u be (-2 + 1)/(y/(-18)). Let a(t) = -2*t + 6. Is 8 a factor of a(u)?
False
Suppose 3*p = -5*v + 481, 2*p - 14*v - 326 = -12*v. Let w = 113 + p. Is w a multiple of 55?
True
Let g be -5 + 1 + 13 + -4. Suppose -b = -127 + 7. Suppose 2*k = g*k - b. Is k a multiple of 13?
False
Does 19 divide ((-30)/(-6) - 7)*(-1534)/4?
False
Let v = 105 + -105. Is (-267)/(-9)*(3 - v - 0) a multiple of 12?
False
Let i = -203 - -380. Suppose 0 = 2*u - 5*q - 623, u - 5*q - i = 122. Is 27 a factor of u?
True
Let f be (3 - 1) + (-3 - -5). Suppose 4*r - s + 3*s - 528 = 0, f*r = 2*s + 512. Is 10 a factor of r?
True
Let j(y) = -9*y**3 + y**2 + 9*y + 14. Is j(-2) a multiple of 8?
True
Let o = -17 - -10. Let h(n) = -n**3 - 6*n**2 + 5*n - 12. Let q be h(o). Is 95 + 1 - q/1 a multiple of 27?
False
Suppose 0 = 35*f - 9240 + 1015. Is 62 a factor of f?
False
Let z = 25 + -10. Suppose 0 = -3*y + 9, z + 18 = 5*l - 4*y. Does 2 divide l?
False
Suppose -28 = -2*a - 22. Suppose 3*p = -0*p. Is 4/(2/a + p) a multiple of 4?
False
Let v(o) be the first derivative of -3/2*o**2 - 2 + 4/3*o**3 + o. Is 8 a factor of v(2)?
False
Let u(k) = -187*k + 2. Does 21 divide u(-2)?
False
Suppose 5*k + 4*x = -7, -4*k + 1 + 9 = -2*x. Let o(i) = 132*i - 2. Is 17 a factor of o(k)?
False
Suppose -474 - 186 = -2*c. Is c a multiple of 16?
False
Suppose -3*c + 160 = -o, 90 = 2*c + 4*o - 12. Is 2 a factor of c?
False
Suppose -16*r + 4*r - 372 = 0. Let b = 54 + r. Does 23 divide b?
True
Let o be (-6)/(0 - 2) - -6. Let q be 14*(o/7 - 1). Does 6 divide -2 - q*-2*1?
True
Suppose -t - 8 = 5*k - 34, -4 = -k. Suppose 0 = 4*q + 2*w - 82, -4*w = 2*q - 62 + t. Is q a multiple of 6?
True
Suppose 15*f + 456 = 19*f. Is 46 a factor of f?
False
Let n(i) = -3*i - 7. Let x = -19 - -15. Let m be n(x). Suppose -m*f = 0, 4*c = -0*c + 5*f + 64. Does 4 divide c?
True
Does 30 divide (-61 - -55)/(910/916 + -1)?
False
Suppose 0 = 5*b + 3*v - 13, 0*v = b - 3*v - 17. Suppose s - 282 = -4*h, -41 = -2*h - b*s + 91. Is h a multiple of 9?
False
Let a(c) = -c - 19. Let d be a(0). Let f(r) = 110*r - 307. Let h be f(3). Let x = h - d. Is x a multiple of 12?
False
Let j(r) = 7*r + 162. Is 17 a factor of j(32)?
False
Let y = 159 - 278. Let c = -65 - y. Does 18 divide c?
True
Suppose -2*l - 1100 = -7*l. Suppose 5*i = -4*g + 114 + 140, 4*i - g = l. Is 9 a factor of i?
True
Suppose 12 = 5*f - 3*f. Let j = f - 4. Does 3 divide j/1 + (-98)/(-7)?
False
Suppose -4*l - r + 829 = -130, 1205 = 5*l - 5*r. Is l a multiple of 30?
True
Suppose 0 = -2*g - 4*i + 36, -i = 3*g - 2*i - 47. Let n be (-4)/(g/(-84)) - -3. Suppose n = s + 9. Is 11 a factor of s?
False
Let o = 3 - -17. Suppose -7*r + 15 = -o. Is 2 a factor of r?
False
Let p(q) be the second derivative of -13*q**3/6 - 15*q**2 - 4*q - 1. Does 23 divide p(-7)?
False
Suppose 2*s - 8*r - 973 = -7*r, -r = 4*s - 1931. Does 11 divide s?
True
Let g(i) = 25*i**2 + 8*i - 48. Is 22 a factor of g(-4)?
False
Let c(q) = -4*q - 2 + 7*q + 5*q - q**2. Let v be c(5). Let r = v - -7. Is r a multiple of 10?
True
Let z(p) = -92*p - 334. Is 4 a factor of z(-10)?
False
Let k(d) = 27 - 7*d + 14*d**2 - 15*d**2 - 6*d. Does 5 divide k(-12)?
False
Let h = -3 - -7. Let p = 6 - h. Suppose 5*q = -p + 37. Does 7 divide q?
True
Let m(i) be the third derivative of i**4/6 + i**3/6 - i**2. Let y(u) = -u**3 + 8*u**2 - u + 9. Let c be y(8). Is m(c) a multiple of 2?
False
Suppose -8*h + 5*h = -510. Is 57 a factor of h?
False
Suppose 12180 = -94*r + 108*r. Is 15 a factor of r?
True
Let m(p) = 16*p + 6. Let v(u) = -u**3 + u**2 - u + 8. Let y be v(0). Is 17 a factor of m(y)?
False
Suppose 24 = 6*n + 6. Suppose 7*p - 700 = n*p. Is p a multiple of 17?
False
Let i = 392 + 1048. Is 15 a factor of i?
True
Let a = -52 + 112. Suppose -15 = -z + 4*w + 49, -z + 5*w + a = 0. Does 13 divide z?
False
Suppose -4*n + 1944 = 3*k - 7*k, 10 = 5*k. Is n a multiple of 4?
True
Let k = -42 + 49. Does 15 divide 