 of 45?
True
Suppose 0 = 5*z + 20, z + 2 = 4*d - 14. Let y be (d/(-9))/(((-7)/(-15))/(-7)). Suppose -2*h + 486 = y*r, -2*r - h = -7*r + 477. Is 16 a factor of r?
True
Suppose 5*d + d - 1890 = 0. Let k = d + -82. Suppose 0 = -3*o - 44 + k. Is 14 a factor of o?
False
Suppose 0 = 3*h - 14*k + 17*k + 30, k - 55 = 4*h. Let v(l) = 2 - 5 + 3 - 3 - l. Is v(h) a multiple of 10?
True
Let k(i) = -3*i**2 - 2*i + 7. Let s be k(10). Let l = 542 + s. Does 35 divide l?
False
Let c be -12*(16/12 - 2 - 0). Suppose -4*j - c = -20. Suppose -4*l - r + 2*r + 1053 = 0, -804 = -j*l - 4*r. Is l a multiple of 44?
True
Let s(g) be the second derivative of g**3/3 - 2*g**2 - 16*g. Let d be s(2). Suppose d*u - 15 = -5*u, -2*h = -5*u - 11. Does 13 divide h?
True
Suppose 4*f - 2*p = 11950, -1799 - 1186 = -f - 2*p. Is 103 a factor of f?
True
Suppose -144 + 144 = 4*i. Suppose 12*k - 19*k + 5012 = i. Does 37 divide k?
False
Let k be ((-14)/35)/((-21)/15 - -1). Let l be k*(10 - 12/(-4)). Is 13 a factor of (37/(-37))/(1 - 14/l)?
True
Let q = 143 + -139. Suppose -2*d = -q, -2*y + 1500 = 2*y - 2*d. Is y a multiple of 46?
False
Let b(d) = d - 28. Let x be b(24). Is 13 a factor of (x - (-126)/30) + 1579/5?
False
Let z(v) = 20*v - 11. Suppose -3*y + 3*a + 66 = 4*a, a = 2*y - 49. Does 10 divide z(y)?
False
Let u(g) be the third derivative of g**5/60 + 2*g**4/3 - g**3/3 + 43*g**2. Let d be u(8). Suppose -23 = -b + d. Is b a multiple of 24?
False
Is 890/(-4*5/(-40)) a multiple of 10?
True
Let r(o) = -154*o + 237. Let l be r(-5). Suppose 9*i - 6785 = -l. Is i a multiple of 13?
False
Suppose 5*p - 2*p = -7*p. Let h be p + ((-9)/(-6) - (-5)/2). Suppose -2*i - 2*j + 324 = 0, 0 = -3*i + h*j + 269 + 238. Is i a multiple of 20?
False
Suppose 2*l - 506 = -5*u, -1250 = -5*l + 289*u - 294*u. Is 8 a factor of l?
True
Let q(g) = -16*g**2 + g + 2. Let o be q(-1). Let a = 48 + o. Suppose -3*k + 4*x + 26 + a = 0, -3*x - 23 = -k. Does 3 divide k?
False
Let x = 169 - 153. Suppose 6460 = x*u - 836. Does 24 divide u?
True
Let w(c) = -c**2 + 6*c + 37. Let b be w(-7). Let q = b - -59. Suppose -3*p = q*i - 47, 7*p = 2*p - 3*i + 89. Is p a multiple of 17?
False
Let w(t) be the second derivative of -t**4/12 + 9*t**3/2 + 15*t**2 + 6*t + 5. Is w(22) a multiple of 28?
True
Let m be 15/27*(-8)/(-4)*9. Suppose m*b - 1344 = 2*b. Is 8 a factor of b?
True
Let m(d) = 25*d + 3. Let b(x) = -4*x - 21. Let h be b(-6). Let f be m(h). Suppose -q + 32 = 2*o - 3*q, 3*q = -3*o + f. Does 7 divide o?
True
Let l = 49535 - 1174. Is 17 a factor of l?
False
Let m = -732 - -3603. Is m a multiple of 15?
False
Suppose 0 = -17*b - 18*b + 3815. Suppose -775 = -17*h + b. Is h a multiple of 13?
True
Is 31 a factor of (-1*54560/(-30))/(1/3)?
True
Let o(b) = -b**3 - 9*b**2 - 20*b - 5. Let i be o(-6). Let p(m) = 2*m**2 + 9*m - 30. Is p(i) a multiple of 8?
False
Suppose -840608 = -34*m - 184*m. Is 8 a factor of m?
True
Suppose 4*v - 1167 = 3*g, -4*g - g = 5. Is 11 a factor of v?
False
Suppose -3*i + 20 = -i - 3*j, -3*i + 20 = -2*j. Suppose -5*q + 40 = 5*k, -2*q + k = i*k - 18. Does 10 divide q/(-15) + (-2008)/(-20)?
True
Let m(w) = 5*w**2 - 4*w + 10. Suppose -7 = -0*u - u + l, -l = -3*u + 21. Suppose -u*v = -v + 36. Is m(v) a multiple of 24?
False
Let s(n) = -9*n**3 + 7*n**2 + 1. Let a be s(-4). Let l = a + -281. Does 23 divide l?
False
Let x be 5/10*38 - 3. Suppose -4*g + x - 4 = 0. Suppose 2*z - g*j = 56, 85 = 4*z - z - 4*j. Is 5 a factor of z?
False
Let g(a) = 38 + 0*a + 42 - 5*a. Is 3 a factor of g(14)?
False
Is (-3 - (-50)/6)/(140/268380) a multiple of 284?
True
Let a be (72 - 0) + (-27)/27. Suppose l + r + 59 = -0*l, -3*r + a = -l. Let p = l - -82. Is p a multiple of 4?
True
Let c(o) = o**2 + o - 1. Let k be c(-3). Suppose -j - j + 185 = -q, -385 = -4*j + k*q. Suppose -2*i + j = 18. Does 6 divide i?
True
Let n(x) = x**3 - 7*x**2 - x + 1. Let y be n(7). Let w(q) = -3*q**3 - 9*q**2 - 7*q - 3. Let m be w(y). Suppose m + 715 = 11*g. Is g a multiple of 14?
True
Let m(b) = -2*b - 17*b + 1 - 3*b. Suppose -2*s + 5*n + 4 = 2*n, 5*s - 5*n = 5. Is m(s) a multiple of 23?
True
Let y = 536 + -529. Suppose 1137 = -y*s + 8991. Is 66 a factor of s?
True
Suppose -4*w + 4*n - 17 = 27, 5*w + 5 = -5*n. Suppose -4*i + 136 = -2*c + 4*c, c = -4*i + 58. Let h = c + w. Is h a multiple of 10?
False
Suppose -3*k + 3*a = -6*k + 1395, 0 = -k + 5*a + 435. Suppose 3 = c, -k = -l - 8*c + 3*c. Does 16 divide l?
False
Suppose 12 = 4*r, 4*a - 64 = -2*r - 22. Suppose -b = 3*p - a, 5*p - p - 12 = 5*b. Suppose b = -4*d + 2*q + 644, -2*d + 0*d + 5*q + 330 = 0. Does 28 divide d?
False
Let x = 131 - 130. Let t be x/5 + 20/(-100). Suppose t = 2*y + 5*u - 272, 0 = -3*y - 2*u - u + 399. Is 32 a factor of y?
False
Let x(q) = -44*q - 28. Let r(l) = -l. Let a(y) = -4*r(y) + x(y). Is a(-2) a multiple of 14?
False
Is 25 a factor of 2*637*(-6825)/(-210)?
False
Let r(l) = -4*l**3 - 32*l**2 + 30*l + 420. Is 11 a factor of r(-13)?
True
Suppose 0 = -8*a + 153 + 727. Let x = a + -80. Let r = x + 12. Does 7 divide r?
True
Is (75 - -3)/((-4)/(-138)*3) a multiple of 13?
True
Suppose 5*l + 5*p = 19321 + 2394, 2*l = 5*p + 8693. Is 24 a factor of l?
True
Suppose -9*p + 40424 = -8*p + 5*h, -2*p - h = -80812. Does 74 divide p?
True
Suppose t + 10 = 3*p, -5*p - 2*t = -5*t - 10. Suppose 0*c - c + a = -41, 0 = p*c + 3*a - 173. Suppose 5*q + c = v, -3*q - 5 - 7 = 0. Is 12 a factor of v?
False
Let t(f) = -f**2 + 17*f + 8. Let p be t(11). Let q = p - -30. Is 8 a factor of q?
True
Suppose 13*m - 123143 = 5*m + 131129. Is 274 a factor of m?
True
Let a(o) = 5*o**2 + 15*o + 28. Let d(z) = -z**2 + z + 1. Let u(f) = a(f) - 6*d(f). Is 21 a factor of u(-5)?
True
Let z(i) = 20*i**2 - 4*i - 1. Let m be z(3). Let j be (2/8)/((-42)/(-26376)). Suppose -j - m = -4*k. Is 27 a factor of k?
True
Suppose 0 = -82*z - 23*z + 32*z + 158921. Is 8 a factor of z?
False
Suppose -5*l = -4*i + 123361, 0 = -5*i - 2*l + 73435 + 80725. Is i a multiple of 95?
False
Let l be 12/8 + (-15)/10. Suppose 0 = -5*w - q + 1615, l*q - 1292 = -4*w - 2*q. Does 23 divide w?
False
Suppose 5*j - 5*z = -1875, -18*z + 15*z - 1851 = 5*j. Let d = 875 + j. Does 81 divide d?
False
Suppose 3*y - 4 = 2*a, -12*a = 2*y - 9*a + 19. Is (((-940)/6)/(-5) + y)*18 a multiple of 66?
True
Let h = -19 - -7. Is 7 a factor of (-82*(-1)/(-6))/(1/h)?
False
Let w(g) = -15*g - 56. Let m be w(-6). Let y = 573 + m. Does 50 divide y?
False
Suppose 0 = -4*b + 12 - 8, 63298 = 5*f - 2*b. Is f a multiple of 54?
False
Let j(z) = 3794*z**2 + 47*z - 40. Does 7 divide j(1)?
True
Suppose -r = -5*r - 60. Is 8 a factor of ((-144)/r)/((-16)/(-360))?
True
Suppose -4*b = -0*b - 40. Suppose -4*v + b = v. Suppose -v*t - 33 = -159. Is t a multiple of 21?
True
Let x = -43 - -45. Suppose 269 = -5*g - 2*i, 2*g + x*i = -2*i - 98. Let l = g + 91. Is l a multiple of 15?
False
Let i = -29 - -22. Let s = 9 - -7. Let m = s - i. Is 7 a factor of m?
False
Let s(a) = 15*a**3 + 7*a**2 - 21*a + 15. Let w be s(7). Suppose 25*j - w = -j. Is j a multiple of 22?
False
Suppose -5*j - 3*y = y, 4*y + 16 = -j. Is (-1170)/(-3) - (j + 2) a multiple of 32?
True
Suppose 3*s + 3 = 4*s - 2*c, -23 = -s - 3*c. Let p(j) = 19*j - 134. Is p(s) a multiple of 4?
False
Suppose 3*v + 17545 = 78*o - 76*o, -v = 2*o - 17565. Is 161 a factor of o?
False
Suppose -8*f - 14*f = -88. Suppose -f*x = 3*v - 1071, 0 = -v + 2 + 3. Is x a multiple of 66?
True
Let k = 1682 + 2432. Is k a multiple of 34?
True
Suppose 247 = -17*s + 12215. Suppose s = f + 4*q, -4*f - 3*q + 2746 = -q. Is f a multiple of 56?
False
Suppose -4*p + 6 = -x, 4*x + x - 2 = 4*p. Suppose p*m = m - 2*d - 6, -6 = 4*m + 2*d. Suppose 2*z + 2*j - 138 = 4*j, -4*z + 3*j + 273 = m. Is z a multiple of 11?
True
Let d(y) = -6 - 10*y**3 + 0*y**2 + 5*y**3 + 3*y**2 + 7*y**3. Is d(3) a multiple of 11?
False
Suppose -8 - 10 = -3*x. Suppose -2*a = x*a. Suppose 14*k - 4*k - 600 = a. Does 6 divide k?
True
Let c(f) = -1597*f + 316. Is c(-2) a multiple of 30?
True
Let w(y) = 75*y**2 + 128*y - 979. Is w(8) a multiple of 73?
False
Suppose -2*g + 24 = -5*n, -5*g + g + 8 = 0. Let u(c) = c**3 + 3*c**2 - 4*c + 3. Let f be u(n). Suppose -f*z + 5*z - 76 = 0. Is 4 a factor of z?
False
Does 3 divide (17125/25)/((-2)/4 - (-27)/45)?
False
Let u(g) be the third derivative of -3*g**4/4 - 4*g**3/3 - 3*g**2. 