 - 38, -4*y - 735 = -b*w. Is w a multiple of 21?
True
Let r(i) = -i**3 + 8*i**2 + 124*i + 16. Suppose -29 = 2*o - 25, 4*f - 52 = -4*o. Is 38 a factor of r(f)?
False
Suppose -v = -o - 583, v + 578 = 2*v + 4*o. Is v a multiple of 8?
False
Suppose 4*r - 9 = s, 5*s = -2*r + 1 - 2. Let t be -1 + (5 + -1 - (22 + -21)). Does 25 divide (s + 1201)/5*t/4?
False
Let s(u) = -12*u - 172. Let i be s(-14). Is i/390*-13 + (-12146)/(-30) a multiple of 27?
True
Let k(u) = -7475*u - 1955. Does 178 divide k(-3)?
True
Let v(z) = 184*z**2 + 9*z - 84. Is v(-10) a multiple of 26?
True
Let a(d) = -27*d - 4316. Let x be a(0). Is 13 a factor of (0 + (-3)/4)/(13/x)?
False
Let g(l) = l**2 - 7*l - 1. Let o be g(8). Let d(x) = 3 + 4*x**2 - x - 3*x + x**3 + 16*x + o*x**2. Is d(-8) a multiple of 11?
True
Let d(a) = 68*a - 2768. Is 44 a factor of d(108)?
True
Let n = -351 - 144. Let l = 598 + n. Is l a multiple of 12?
False
Let y(x) = -31*x**3 + 2*x**2 - 5*x - 36. Is 185 a factor of y(-7)?
True
Suppose 576 = 5*h - 489. Let k = h - 195. Is k even?
True
Suppose 58*t = 57*t + 5. Suppose 0 = t*a - 287 - 2363. Is (-2*9/12)/((-15)/a) a multiple of 14?
False
Let i = -764 - -3781. Does 7 divide i?
True
Let z = -24322 - -35674. Is z a multiple of 6?
True
Suppose 0 = 4*s - 2*k - 11198, 5643 = 4*s + 2*k - 5559. Does 17 divide s?
False
Does 88 divide -102*(-26)/(-52)*((-2640)/(-9))/(-2)?
True
Let i = -991 - -6311. Is 70 a factor of i?
True
Suppose 5*j - u = -3*u - 206, 5*j - u + 212 = 0. Is 10 a factor of (-28)/42*5*j?
True
Let k(g) = -g - 25. Let b be k(-5). Let a = 1 - -27. Let s = b + a. Does 8 divide s?
True
Let v(p) = p**2 - 8*p + 74. Let t be v(-26). Let l = -316 + t. Suppose -4*i + i + 4*d = -628, -3*d = 3*i - l. Is 10 a factor of i?
False
Let u(r) = -r**3 + 11*r**2 - 2*r + 22. Let h be u(11). Suppose 5*l + 5*a - 5790 = h, -8740 = -5*l - 2*a - 2959. Is 12 a factor of l?
False
Suppose -25*g - 13216 = -33*g. Suppose -2*q + m + 966 - 142 = 0, -4*q + 3*m = -g. Is q a multiple of 60?
False
Let i(r) = -r**3 - 25*r**2 - 26*r - 31. Let f be i(-24). Suppose -13*u - 1744 = -4*v - f*u, 0 = 4*v - 4*u - 1712. Is 12 a factor of v?
True
Let p = -756 + 756. Suppose -3*j + 2*j = -3*s - 216, p = 4*j - s - 919. Is j a multiple of 21?
True
Let a(r) be the second derivative of -r**5/20 - 11*r**4/6 - 25*r**3/6 - 8*r**2 - 12*r. Is a(-21) a multiple of 24?
False
Suppose 25 + 45 = 5*i. Suppose 0 = 3*a - i + 2. Is 84/a + (1 - 2) a multiple of 10?
True
Is 211 a factor of (-20)/6*-12*(-309633)/(-580)?
False
Let u = -2907 - -5910. Is 91 a factor of u?
True
Let q(p) = p**3 - 12*p**2 + 28*p - 7. Let r be q(9). Suppose -k = 3*w - 318, -r*w - 2*w + 944 = 3*k. Is k a multiple of 31?
False
Suppose 0 = -11*f - 3*f + 70. Suppose f*y + 40 = 7*y. Does 49 divide (5 + (-596)/y)*(-1 + -4)?
False
Let w = 55 + -49. Suppose -w = -2*l - 3*i, 3*i = -l - i + 3. Suppose l*s - 108 = 12. Is s a multiple of 8?
True
Let o = 206 + -206. Let f(d) = -5*d**3 - d**2 - 6*d + 88. Let b(h) = 11*h**3 + 2*h**2 + 13*h - 177. Let m(z) = 4*b(z) + 9*f(z). Is 42 a factor of m(o)?
True
Is 12394 - -7*(-21)/((-1911)/(-52)) a multiple of 50?
False
Suppose 13*k - 15*k = -112. Suppose -6*q - k = -20. Is (-7 - q)*119/(-1) a multiple of 17?
True
Let k = 40 + 211. Let m = k - -169. Does 48 divide m?
False
Suppose 6*b = 64*b - 64496. Is 139 a factor of b?
True
Suppose 29*n - 15*n = 50120. Is 20 a factor of n?
True
Let a be 0 - -11 - (1 - 1). Let w be 953 - 90/(135/9). Suppose w - a = 9*o. Is o a multiple of 26?
True
Let v(i) = 3*i + 140. Let d be v(-25). Suppose d = n - 41. Is 6 a factor of n?
False
Is 4 a factor of 35600/280*(2 - 9)*-4?
True
Let m(f) be the second derivative of 5*f**3/6 + 18*f**2 + 19*f. Does 44 divide m(24)?
False
Let h(c) = 3*c - 33. Let k be (-1)/4 - 5/(-20)*57. Let b be h(k). Is 486/b*(-4)/(-6) a multiple of 18?
True
Let l be (-13)/52 - (-21)/4. Suppose 0 = 4*p - l - 15. Suppose 0*g + 5*g - 220 = p*j, 2*g - 86 = 3*j. Is g a multiple of 18?
False
Let d = 40 - 67. Suppose -3*r - 55 = 2*r. Let l = r - d. Is l a multiple of 4?
True
Let t(j) = 1404*j - 4534. Does 42 divide t(27)?
False
Suppose -3*y = -79 + 22. Is (532/y)/((-1)/(-28)*2) a multiple of 14?
True
Let o(x) be the second derivative of x**4/6 + 17*x**3/6 - 11*x**2 - 30*x. Let y be o(-10). Is 27 a factor of (12 + 8)*(106/y - 3)?
False
Let y(r) = -29*r**2 - 4*r + 2. Let q = -74 - -76. Let t be y(q). Is 0 + (-16)/(-56) - t/14 a multiple of 9?
True
Suppose -l - 153 = 2*w - 2887, l + 4*w - 2724 = 0. Is l a multiple of 8?
True
Let k(o) = o**3 + 4*o**2 + 14*o + 14. Let l be k(-7). Is ((-18)/(-3) - 7) + (-1 - l) a multiple of 34?
False
Let s(q) = -2*q**2 - 65*q - 91. Let m be s(-31). Suppose -2*i + m = 0, 2*i + 84 = 3*y - 136. Does 6 divide y?
False
Let t = -83 - -139. Let k = 60 - t. Suppose 0 = -3*n - k*v + 800, -2*v - 755 = -3*n + 3*v. Is n a multiple of 26?
True
Let l(n) = -3*n**2 + 7. Let h be l(2). Let f(z) = -18*z - 21. Does 15 divide f(h)?
False
Suppose 0 = 2*m - 0 + 4. Let j be (-4)/m - (-1)/(-3)*0. Suppose -l - j*l + 6 = 0, -5*k - 3*l + 281 = 0. Is 7 a factor of k?
False
Suppose 12*c = 79 + 497. Suppose -c - 132 = -5*v. Is v a multiple of 12?
True
Let o(f) = -4*f**3 - 54*f**2 + 25*f - 32. Let k be o(-14). Suppose -7*u + 3*u + 124 = 0. Let q = u - k. Does 7 divide q?
True
Let f = 97 - 100. Let h(d) = 9*d + 9. Let w(l) = 37*l + 37. Let g(b) = -26*h(b) + 6*w(b). Does 2 divide g(f)?
True
Suppose -4*f = 5*u - 80865, 0 = -5*u - 274 + 279. Is 36 a factor of f?
False
Suppose n = -2*a - 7, -4*a + 21 = -12*n + 9*n. Let s(r) = r**3 + 19*r**2 + 10*r - 37. Is s(n) a multiple of 37?
True
Suppose 34*w - 77*w + 26918 = 0. Does 37 divide w?
False
Suppose -4*c + 62*c - 1088487 = 446947. Is 35 a factor of c?
False
Is 5 a factor of 672700/225 + (0 - (48/27 - 2))?
True
Suppose 1436 - 520 = 2*q + 5*d, -4*d = 8. Let u = -330 + q. Does 19 divide u?
True
Let q = -9138 + 9658. Is q a multiple of 18?
False
Suppose -458*k + 237866 = 4*p - 461*k, 4*p = -5*k + 237818. Does 84 divide p?
False
Suppose -3 = -5*r + 3*v - 0, -3*r + 17 = 2*v. Suppose 0 = r*m - 1669 - 266. Is m a multiple of 43?
True
Let r be (6 - 84/18) + (-14)/(-21). Suppose -3*b + 1212 = -13*p + 16*p, 0 = b - r. Is p a multiple of 8?
False
Suppose 0 = 2*q + 4*i - 139 - 649, 5*i + 1127 = 3*q. Let g = -238 + q. Is g a multiple of 30?
False
Let k(z) = -z**2 + 98*z - 1305. Is 39 a factor of k(47)?
True
Let s = 1103 - -157. Is s a multiple of 20?
True
Suppose q + 5*z = -q - 6, 0 = 3*q + 2*z - 2. Let y(c) = -17*c - 3. Let v(s) = -6*s - 1. Let w(i) = 11*v(i) - 4*y(i). Does 2 divide w(q)?
False
Suppose -4*t + 96*x = 99*x - 45308, t - x - 11334 = 0. Is t a multiple of 4?
False
Suppose 405*d + 2*h = 404*d + 485, -3*d = -2*h - 1463. Is 67 a factor of d?
False
Let d(i) = -13*i**3 - 266*i**2 - 36*i - 43. Is d(-23) a multiple of 9?
False
Suppose 232*l = 221*l + 81279. Does 136 divide l?
False
Let i be -3*((-4)/16)/((-2)/(-8)). Let t = -27 + 76. Suppose -i*k + t = -47. Is 13 a factor of k?
False
Let f(t) = -t**3 + 11*t**2 - 7*t + 10. Suppose 5*n + 9 - 24 = 0. Suppose n*j + 6 = 36. Is 20 a factor of f(j)?
True
Let y(i) = -8*i**2 - 9 + 24*i + 6*i**2 + 0*i**3 - i**3 - 9*i**2. Let l be y(-13). Suppose -11*t + l*t = 672. Is t a multiple of 8?
True
Let k be (-1492400)/(-585) + 1/(-9). Let a = k - 1678. Is 26 a factor of a?
False
Suppose -15 = 18*l - 13*l, -l = 3*n - 52017. Is 92 a factor of n?
False
Suppose -2*d + 3*a = -0*a, -3*a = -4*d. Suppose 14*c - 6 - 22 = 0. Suppose -c*x + 142 = -5*n, -4*x + 2*n + n + 256 = d. Does 13 divide x?
False
Is 102 a factor of ((-213206435)/(-138))/65 + ((-22)/12 - -2)?
False
Let v(h) = 5*h**2 + 44*h + 29. Let o be v(-12). Suppose -o = n - 954. Is n a multiple of 49?
False
Let x = -22 - -24. Let c(u) = 33*u - 13. Let s be c(x). Suppose 2*b - 3*f - s = 0, -6*b + 10 = -5*b + 4*f. Is b a multiple of 16?
False
Let m = -22 - -69. Let y = 51 - m. Does 9 divide (y/3)/((-10)/(-255))?
False
Suppose 3*t + 4*z = -27 + 91, t - 5*z = 53. Suppose -2*c + 478 = 2*f, -5*c = -f - t + 249. Is 8 a factor of f?
False
Let s(h) = -2*h + 20. Let t be s(-8). Let z be -1*((-8)/t - 724/(-18)). Let f = -18 - z. Does 8 divide f?
False
Suppose 32*q + 1485036 = 6*q + 192*q. Is 202 a factor of q?
False
Suppose 3*d + m = 5, 2*d - 3*m + 8 = 4*d. Is 19 a factor of 