 -24*r - 355. Let n be (2 - -15) + 2 + 1. Let u = r - n. Is 21 a factor of u?
False
Let q(b) = -b**3 + 33*b**2 - 90*b - 7. Let l be q(30). Let z(r) be the first derivative of -9*r**2/2 - 4*r - 3. Is 6 a factor of z(l)?
False
Let u(w) = -2*w**2 + 27*w. Let m = 32 - 18. Let h be u(m). Is 14 a factor of (h/3)/(4/(-36))?
True
Let h(x) = 8*x**2 + 190*x - 357. Is h(-45) a multiple of 51?
True
Suppose 30 = -14*g + 2. Let w be g - ((1 - -2) + -287). Suppose 0*q + 58 = l - q, 5*l - 3*q = w. Does 10 divide l?
False
Let c(j) = -14*j**3 + 384*j**2 - 9*j + 131. Is 18 a factor of c(26)?
False
Suppose 94371 = 5*a + 3*l, 9486*a - 9481*a - 3*l = 94329. Is a a multiple of 74?
True
Is (-23562)/(-84)*((-28)/(-3) - (-6 + 6)) a multiple of 3?
False
Let u be 4 - (8 - -4)/3. Suppose k - 6*k + 2400 = u. Is k a multiple of 48?
True
Let d = 4928 + -3938. Does 30 divide d?
True
Is 6/(-4) + (-4423134)/(-1052) a multiple of 4?
False
Suppose -3434409 = -211*z - 96*z. Does 33 divide z?
True
Let g = 140 - 25. Suppose -2*v + g = 3*v. Suppose -1820 = 16*d - v*d. Is 14 a factor of d?
False
Let i = 16 - 7. Let n = -122 + 179. Let y = i + n. Does 11 divide y?
True
Suppose -k + 2 = -3*k - 2*j, -k + 2*j + 2 = 0. Suppose k = -4*i, -2*d - 2*d - 24 = 5*i. Is (-3872)/(-33) + 2/d a multiple of 13?
True
Let t be (-2 - -4)*((-4)/8)/1. Let o be (3/t)/(-1) + (-12 - -1). Does 13 divide o/(-1 - (-6 + 3)) - -56?
True
Suppose 0 = -3*u - 48 - 24. Suppose 76 = -b + d, -1218*b + 1223*b + 4*d = -344. Does 39 divide u*6/(b/39)?
True
Let o = -161 - -406. Does 7 divide (-828)/(-15) + -14*(-14)/o?
True
Suppose -1323 - 10603 = -3*o + o. Is 67 a factor of o?
True
Does 33 divide (3/(18/4))/((-28)/(-45570))?
False
Suppose 4 = -c - 0*c. Let g be ((-2)/c - -2) + 8/16. Suppose g*j - 97 + 289 = 3*n, j = 4*n - 250. Does 15 divide n?
False
Let a = 96 + -103. Let l(s) = 17*s + 149. Does 4 divide l(a)?
False
Let i = -6556 - -11773. Is i a multiple of 111?
True
Suppose -5*n = -225 - 90. Let k = n + -53. Suppose 4*c + 300 = k*c. Does 26 divide c?
False
Let q = -11239 - -17928. Does 104 divide q?
False
Suppose 5*q + 4*d - 84 = 221, 2*q - 4*d = 94. Suppose 5*z = 5*m + 165, 4*z = 2*m - 35 + 159. Let b = q - z. Does 14 divide b?
True
Suppose 2*d = 5*z - 7417, -6*z - 3*d + 5929 = -2*z. Suppose 1484*n = z*n + 508. Is 13 a factor of n?
False
Suppose 63*q - 20781 = 14184. Is q even?
False
Does 13 divide (7/14*-8)/(-1) + 3376?
True
Suppose 25 = m - 4*o + o, -o = 5. Let k be m/(-15)*(-348)/8. Suppose -a = -k - 47. Does 53 divide a?
False
Let h = 17926 - 8812. Does 31 divide h?
True
Let l(w) = -2*w + 11. Let r be (4 - -1 - 5)/(-2). Suppose 0*z = 2*z + b + 25, -z + 5*b - 18 = r. Is l(z) a multiple of 8?
False
Let t(b) = -b**3 + 29*b**2 + 10*b - 288. Is t(-33) a multiple of 25?
True
Suppose 3*d = 4*z + 29 + 9027, 5*d = -5*z + 15035. Does 23 divide d?
False
Let v = -4479 - -7988. Does 7 divide v?
False
Let q = -1579 + 736. Let n = q + 899. Is 4 a factor of n?
True
Suppose -4 = -3*h + 26. Suppose 0 = h*x - 0*x - 1780. Is 6 a factor of x?
False
Let y be -2 + (18/2 - 4). Suppose -z = c - 4*z - 46, -5*c + 206 = -y*z. Is 17 a factor of (5 - 11)*c/(-12)?
False
Let v = 5906 + -2987. Is v a multiple of 148?
False
Let j(r) = 26*r - 23. Let b(x) = 25*x - 23. Suppose 0 = -4*q - 8. Let h(g) = q*j(g) + 3*b(g). Is h(7) a multiple of 23?
True
Let c = -2975 + 4595. Does 60 divide c?
True
Let x = 1668 - -90. Suppose -5*d + 3*d - 894 = -j, 0 = -2*j - 2*d + x. Does 43 divide j?
False
Let i be ((-99)/(-12))/(72/(-3264)). Let u = i + 941. Is 19 a factor of u?
False
Suppose 0 = 15*x + 9*x + 168. Is (-30804)/(-28) + 1/x a multiple of 55?
True
Let n(u) = u**2 + 4*u - 12. Let s be n(-9). Suppose 3*t - s = 2*t. Let j = 55 - t. Is 22 a factor of j?
True
Let k = 1746 + 2146. Is k a multiple of 14?
True
Let p(c) = -c**2 - 4*c - 2. Let g be p(-2). Let z(f) = 8*f - f**2 - f + 4*f**g - 6 - 7. Is z(4) a multiple of 9?
True
Let j(x) = 3*x**3 - 3*x**2 + 5*x - 14. Let h(m) = 6*m + 45. Let a be h(-7). Does 7 divide j(a)?
False
Let y(t) = 3*t + 9. Let l be y(-23). Let a = l - -140. Is 40 a factor of a?
True
Let m(q) = 21*q**3 - 13*q**3 - 12*q - 3 + 13*q + 0. Does 24 divide m(3)?
True
Suppose 0*t + 120 = 4*t. Let l = 30 - t. Suppose -37 = -5*u - f, -u = 4*f + 4 - l. Does 4 divide u?
True
Does 6 divide ((-24)/(-15))/(666/204795)?
True
Let b be (-2*2/16)/((-29)/11948). Let p = -88 + b. Suppose -13*j + p*j - 66 = 0. Does 11 divide j?
True
Suppose -c - 32*i + 34*i + 1371 = 0, -4*c + 5544 = 2*i. Is 16 a factor of c?
False
Suppose -32*d = x - 36*d + 405, -2*d = 5*x + 2003. Let q = 1201 + x. Is 16 a factor of q?
True
Let k(y) = -y**3 + 5*y**2 + 8*y - 7. Let q be k(6). Let z = 405 + -400. Does 19 divide 2 + 55/z*q?
True
Let d(w) = 15*w**3 + 30*w**2 + 157*w - 16. Let k be d(-14). Does 17 divide k/(-45) - (-4)/(-20)?
True
Let a be 11 - 6 - (-1 - (-1 + -5)). Does 13 divide 1309 - a - (-2 + 0)*1?
False
Suppose 39*j - 62843 = 127360. Does 6 divide j?
False
Let m(v) = v**3 + 5*v**2 - 5*v - 17. Let x be m(4). Suppose 319 = n - x. Is n a multiple of 39?
False
Let h = 30580 + -9103. Is 26 a factor of h?
False
Suppose -n = 4*n - 10. Let u(k) = 2*k**3 - 28*k**2 + 25*k + 13. Let r be u(13). Suppose z + n*t - 96 = 0, -z + r*t + t + 84 = 0. Does 44 divide z?
True
Let k(o) = o**2 + 40*o + 16. Suppose -82 = 5*q + 2*b + 124, -4*b - 202 = 5*q. Is k(q) a multiple of 20?
True
Let u = -20 + 20. Suppose 8 - 23 = 5*k, -b - 5*k - 14 = u. Is 18 a factor of b*(-2 + -1) + 11*4?
False
Is 9 a factor of 7/((-28)/(-45844)) + -3 + -8?
False
Let p be ((-4)/(-12))/(7/105). Let w(g) = 9*g**2 - 9*g - 8. Is 7 a factor of w(p)?
False
Let q = -36 + 38. Let c be 2133/6*q/3. Suppose -c = -4*z + 5*o, 2*o - 144 - 28 = -3*z. Does 27 divide z?
False
Let k(v) = 87*v + 207. Let t be k(18). Suppose -4*i + 3551 = -3*c, -2*i + 2*c + t = 3*c. Is 29 a factor of i?
False
Suppose 14*z - 32310 - 8381 = -959. Is z a multiple of 86?
True
Suppose -21 = 3*u - 3*s, -2*s = -5*u + u - 26. Let l(a) be the second derivative of -a**5/20 - 5*a**4/12 - 3*a**2 + a. Does 6 divide l(u)?
True
Suppose 14064 + 14116 = 5*w. Suppose 49*y - w = 8427. Is y a multiple of 5?
False
Let a(p) = -295*p - 99. Let f be 176/(-99) + 2/(-9). Is 23 a factor of a(f)?
False
Let w = 65 - -63. Suppose -v + 3*v - w = -5*r, 3*r - 132 = -2*v. Suppose -3*m = -123 + v. Does 3 divide m?
True
Suppose -2*h = 16 + 2. Let u be (-42)/(-36)*(-3 - h). Let b = u + 5. Does 9 divide b?
False
Let h(l) = -6*l - 23. Let r be h(-6). Suppose -8*c + r*c = -4*m + 5348, -5*m + 5345 = 5*c. Does 16 divide c?
True
Suppose 66*v + 16124 = 4*l + 64*v, v = 4*l - 16126. Does 21 divide l?
True
Let u(i) = 8*i - 76. Let p(d) = -10 + 19*d - 7*d + 33 - 137. Let c(o) = -5*p(o) + 8*u(o). Is 10 a factor of c(13)?
False
Suppose 201*a + 101*a = 89*a + 597465. Does 55 divide a?
True
Let c = -103 - -108. Suppose -4*n = c*t - 337 - 531, -2*n = -t - 434. Is n a multiple of 6?
False
Suppose -1 = -k + 3. Suppose 0 = -4*r + y + 9, k*r + 0*y - 11 = 3*y. Suppose r*t - 172 + 40 = 0. Does 11 divide t?
True
Let z be (-36)/(-24)*(-3464)/(-12). Let q = z - -41. Is q a multiple of 6?
True
Suppose 11*v - 7*v - 44076 = 2*z, 0 = -5*v - 4*z + 55108. Is v a multiple of 58?
True
Let q be 8*87/(-261)*453/(-4). Let l be 3 + -3 - (-1 + 1). Suppose l = -10*n + q + 98. Is 20 a factor of n?
True
Let b(u) be the second derivative of -u**8/6720 - u**6/720 - u**5/120 + 5*u**4/12 + 8*u. Let g(s) be the third derivative of b(s). Is g(-2) a multiple of 3?
True
Let m(p) = -p**2 + 8. Let j be m(0). Let s = -13 + 18. Suppose 0 = 3*w - i - 41, -s*i - j = w - i. Is 3 a factor of w?
True
Let h(d) = -d**3 - 29*d**2 - 45*d - 69. Let z = 15 + -43. Is h(z) a multiple of 11?
True
Suppose -2*z + 7 = -3. Suppose 4*o - z - 3 = 0. Suppose -3*v = 5*g - 188, o*v = 3*g - 0*v - 109. Is g a multiple of 16?
False
Let t = 22327 - 8113. Suppose t - 1974 = 18*q. Is q a multiple of 65?
False
Let u(f) = f**3 - 8*f**2 - 44*f - 26. Let s be u(14). Let c = s + 123. Does 13 divide c?
False
Let f be (5/(-15))/((-3)/333). Suppose w - f = -5*m, -107 = -5*w + m - 0*m. Is w a multiple of 22?
True
Let v be 138/(-184) + (-15)/(-4) + -1. Suppose v*k + 7 = -21. Does 11 divide k/(-3)*504/49?
False
Let n(u) = 2*u**3 - 18*u**2 + 13*u + 20. Let y be n(8). Is 1*(-616)/(-70)*(-10)