4 = 0, -5*s + 4*w + 74 + 45 = r. Is 18 a factor of s?
False
Let t be (-2 - -1) + -1 + 0 + 4. Suppose q = -q + t. Is 23 a factor of -5*(q/1 - (-74)/(-5))?
True
Let w be (-20)/(-2)*(304/20)/1. Suppose -w = -y + 134. Is 11 a factor of y?
True
Let c(x) = -124*x - 151. Suppose 4 = -3*d - 5*g - 38, 30 = -3*d - g. Is 30 a factor of c(d)?
False
Suppose -1283 = -5*b + 427. Let o = 706 - b. Is o a multiple of 26?
True
Suppose -4*y = -v + 242 - 1037, 3*y + 3*v - 615 = 0. Suppose 1040 - y = 2*h. Does 38 divide h?
False
Let i = -4598 + 9068. Is i a multiple of 39?
False
Suppose -z - 5*o = -1704, -4*z - 9*o - 2*o + 6753 = 0. Is z a multiple of 6?
False
Let f = 10 + -3. Suppose f*c = 4*c + 726. Let l = c - 135. Is 22 a factor of l?
False
Let h(g) = -3*g**3 - 27*g**2 - 3*g - 4. Let i be h(-9). Suppose -21*a - 80 = -i*a. Does 4 divide a?
True
Let f = -12 - -16. Suppose 8*p - 161 = -u + 5*p, -f = -4*p. Is u a multiple of 11?
False
Let z = -258 + 314. Suppose 4*h - 4 = 0, l + 5*h = 96 + z. Is l a multiple of 23?
False
Let q(w) be the third derivative of -w**5/60 - 9*w**4/8 - 22*w**3/3 - 9*w**2 - w. Does 6 divide q(-13)?
True
Let o(m) = -3*m + 1806. Let b be o(0). Suppose 19*z = 13*z + b. Is z a multiple of 11?
False
Suppose 0 = 4*d + d - d. Suppose -3*f + 1548 = -4*j, d = -2*j - j - 9. Does 13 divide f?
False
Let i(b) = b**3 - 7*b**2 + 21*b + 40. Let d be i(10). Let x = d - 328. Does 40 divide x?
False
Let r be (-4 - -3) + (4 - 2) + 59. Let s = r + -50. Is 62 a factor of (s/(-3))/(-4*4/744)?
False
Suppose 112 = -41*m + 45*m. Suppose 12177 = 13*z + m*z. Is 9 a factor of z?
True
Let m = 398 - 221. Let v = m - -58. Does 5 divide v?
True
Let a be -2 - 21/(-9) - 20/6. Let u be a/(-6) - (-93)/6. Suppose -2*r = -0*r - u. Does 7 divide r?
False
Let h be (46/(-4))/(1/(40 + -2)). Let c = -5 - h. Suppose 5*p = p + c. Is p a multiple of 38?
False
Let c(q) = 33*q**3 + q**2 + q - 1. Let x be c(-1). Let s = 4 - x. Let g = 101 - s. Is 11 a factor of g?
False
Suppose 4453 = 4*f + 5*k, 3*k + 51 = 5*f - 5543. Is 3 a factor of f?
False
Let v be ((3 - 5) + 0)/(-1). Suppose n - 23 = -5*j + v, -5*n + 29 = j. Suppose -j*k = -3*k - 16. Does 16 divide k?
True
Let d = 5262 - -19238. Does 10 divide d?
True
Let i(k) = -k**2 - k + 2. Let t be i(1). Suppose d = -3*r - 12, 5*d - 2*r - 3 - 5 = t. Suppose -2*h = h - 5*u - 507, 5*u = d. Is h a multiple of 13?
True
Let c be ((-4)/6)/((-8)/(-12)). Let k(p) = 295*p**2 + p - 1. Does 19 divide k(c)?
False
Let s be 12/21 + 1*228/42. Is 18 a factor of (s + -4)/(5/(-10)) + 44?
False
Let d(h) = 52*h - 79. Let q be 78/(-273) + 88/14. Is 15 a factor of d(q)?
False
Suppose 11*w - 3*d - 24159 = 9*w, 0 = 3*d - 21. Does 62 divide w?
True
Let g(x) = x**3 - 4*x**2 + 5*x - 4. Let a be -2*((-4)/(-2))/6*-3. Let t be g(a). Is t/4 + 365/10 a multiple of 12?
True
Let j = 912 - 2545. Let g = -593 - j. Is 22 a factor of g?
False
Suppose 7*r - 15*r = -64. Let c be (-2 + 0)*1588/(-8). Suppose -3*o = -n - c, 0 = 2*n - 0 + r. Is 8 a factor of o?
False
Let v(a) = 2*a**3 + a - 2. Let m be v(3). Suppose 6 = -m*l + 58*l. Suppose -2*g - 5 + 37 = 2*w, 0 = 4*g - l*w - 40. Does 12 divide g?
True
Let g(r) = r**3 + 18*r**2 - 10*r + 146. Does 43 divide g(14)?
True
Let s(a) be the third derivative of -a**5/15 + 23*a**4/8 - 3*a**3 + 10*a**2. Does 9 divide s(9)?
True
Let m = -36909 - -65483. Does 26 divide m?
True
Let b(y) = 47*y**3 + 7*y**2 - 8*y - 4. Let g be b(2). Suppose 4*v - 4*z - 2108 = 0, -3*z - g + 2499 = 4*v. Does 16 divide v?
True
Let y be (16 - 3)/(((-10)/(-5))/4). Suppose 52*h + y = 53*h. Is 13 a factor of h?
True
Suppose 4*i = -4*u + 92, -5*i + 0*i + 2*u + 108 = 0. Let g(b) = b**2 - 11*b - 44. Is 11 a factor of g(i)?
True
Let c be (-23 - -4)*-3 - -3. Suppose 2*l - 188 = -o, 5*l + 6*o = 2*o + 473. Let z = c + l. Does 18 divide z?
False
Suppose -3932 = -h + 3*z, -11768 = -3*h + 170*z - 175*z. Does 26 divide h?
True
Suppose -3534*l + 36342 = -3507*l. Is 3 a factor of l?
False
Let k be ((-3)/(-9))/(2/(-6)). Suppose -r + 186 = 192. Is 4 a factor of r/21 + (-888)/(-21) + k?
False
Let w be 10/4*210/75. Let m(r) = r**2 - r - 34. Is m(w) even?
True
Let t = -41 + 50. Let w(x) = -31*x**3 + 0*x + 4 - x + 5*x**2 - t*x**2. Does 14 divide w(-2)?
True
Let q = 236 - -1494. Let w = 1150 - q. Does 22 divide w/(-15) + 2/(-3)?
False
Suppose -b - 314 = -4*c + c, -2*c + 191 = 3*b. Let g = 163 + c. Does 19 divide g?
True
Suppose 4*f - 1110 = -q - 150, 2*f - 1920 = -2*q. Is 24 a factor of q?
True
Let w(t) = -20*t + 11. Let b be w(0). Let o(h) = 2*h**2 - 20*h + 1. Does 2 divide o(b)?
False
Let d(z) = z - 2. Let k be d(-1). Let j be (3/k)/((-4)/1224). Is -5 + -1 + j - 1 a multiple of 13?
True
Suppose 5*a - 5*f - 7945 = -0*f, 0 = a + 5*f - 1559. Suppose -5*y = y - a. Is 11 a factor of y?
True
Let o = -12834 + 16119. Is 13 a factor of o?
False
Let i(l) = 10 + 3*l**2 + 44*l - l**2 + 6*l + 34. Is i(-29) a multiple of 40?
False
Let t(p) = 22*p**2 - 5*p. Let i(q) = 53*q + q**2 - 25*q - 25*q - 5. Let k be i(-4). Does 8 divide t(k)?
False
Suppose 0 = 33*c - 26*c - 105. Does 8 divide (5 + 11)/(3/c)?
True
Let b = -5 + 8. Let i be ((-168)/(-196))/((-1)/(-14)). Suppose -2*a + 20 = b*s - i, -21 = -a + s. Does 10 divide a?
False
Suppose -1923097 = -89*y - 175*y + 271799. Is y a multiple of 105?
False
Let u = 24 + -21. Suppose 0 = -0*b + u*b - q - 4, -5*b + 5*q = 0. Suppose 0 = -0*j - b*j + 140. Does 14 divide j?
True
Let d = 10519 - -28765. Is d a multiple of 61?
True
Let b = -19 - -17. Let g be ((-15)/(-9))/(b/(-276)). Suppose -5*m + 0*m = -g. Does 23 divide m?
True
Let p(t) = t**2 - 18*t + 83. Let z be p(11). Suppose z*s - 120 - 96 = 0. Is 16 a factor of s?
False
Let n = 1000 - 282. Suppose -5*d + 4*l + n = -564, 0 = 3*d - 4*l - 766. Does 42 divide d?
False
Let d be (-1)/((-5)/(-1210)*-2). Let l = -93 + d. Suppose 0 = 25*h - 23*h - l. Does 13 divide h?
False
Let i(t) = 15*t**2 + 13*t - 14*t - 14*t**2 - 4*t**3. Let y(k) = k - 6. Let r be y(4). Does 3 divide i(r)?
False
Suppose 0 = -5*f - 14 + 29. Let x be 0/(-3)*(0 + 1). Suppose -3*l + x*q + 520 = -4*q, f*l - 512 = 2*q. Does 24 divide l?
True
Let s = -1048 - -446. Let a = 749 + s. Is a a multiple of 58?
False
Suppose 0 = 3*j + 3*i + 3, 2*j - 2*i - 6 = 12. Suppose 774 = j*t - 10*t. Let l = 125 - t. Is l a multiple of 32?
False
Let n(l) = l**3 + 27*l**2 + 14*l - 1. Let y be n(-7). Suppose -4*w + 4*b + 1796 = 0, -3*w + 5*b + y = -462. Is 41 a factor of w?
True
Let z be 1/((13976/4660 + -3)/(-1)). Suppose -5*r + 5*n + z = 0, -9*r + 695 = -6*r - n. Is r a multiple of 7?
True
Let a(t) = 3*t + 63. Let f be a(-19). Suppose f*s - 5*s = -4*u + 211, -2*s = 2*u - 398. Is s a multiple of 13?
True
Let t(i) = 116*i**2 + 3*i - 1. Let a be t(1). Let h = 145 + a. Is 32 a factor of h?
False
Let z(n) = -5*n**3 - 4*n**2 + 2*n + 3. Let t be z(-3). Let m = t + -72. Suppose 5*h - 5*u = 60, h + 2*u - m = 7*u. Is h a multiple of 6?
False
Let f = -79 + 134. Let b = f + -55. Suppose b*t + 1368 = 6*t. Is t a multiple of 38?
True
Let t(a) = -a**2 - 22*a - 74. Let y be t(-5). Suppose y*c - 1144 = -11*c. Does 3 divide c?
False
Let x be (-5)/(-3 + (-3)/(-6)). Suppose -8*h + 1188 = -4*h + x*c, 5*c + 20 = 0. Does 89 divide h?
False
Let a(u) = u**3 - u**2 - 2*u - 4. Let q be a(3). Let z = 158 - 111. Suppose q + z = v. Is 5 a factor of v?
True
Suppose x = -k + 876 - 235, 0 = -k + x + 639. Let f = k - 228. Suppose -f = -4*l + 5*z, 262 = 4*l - 3*z - 142. Does 38 divide l?
False
Let d = -288 - -853. Suppose -3*b - 5*t = -857, -2*t - t = -2*b + d. Does 57 divide b?
False
Let x(i) = -655*i - 37. Let k be x(-7). Suppose o = -2*o + k. Is 78 a factor of o?
False
Let f = 5426 - 2850. Is 161 a factor of f?
True
Let t(h) = 2*h**2 + 7*h + 95. Let q(d) = -5*d**2 - 11*d - 191. Let x(v) = -3*q(v) - 7*t(v). Is 38 a factor of x(44)?
True
Let m be -1*(-2 + (4 - 3)) - 93. Let l = -74 - m. Is 3 a factor of l?
True
Let k be (-1385)/(-30) - 11 - 1/6. Is (-3)/(-15) + 16898/k a multiple of 23?
True
Let a be (-117)/(-7) + (-42)/(-147). Let w(o) = o**2 - o + 22. Let u be w(a). Let l = 426 - u. Is l a multiple of 11?
True
Suppose 3*s - 2*i - 185 = 0, s - 2*i = -0*i + 55. Let c = s - 55. Suppose 0 = -c*r + 159 + 91. Does 4 divide r?
False
Let q(l) = -l**2 + 7*l - 3. Let c be q(5). Suppose 25 = -5*j - 0*j, -3*j - 19 = -2*u.