(-7) - (-6 + 1)/(-1). Does 12 divide d + -3 + (n - -2)?
True
Let t(m) = -3*m**3 + 7*m**2 + 85*m + 1347. Is 32 a factor of t(-21)?
True
Let g be (-1)/((-9)/(-18))*2. Is 20 a factor of (-1400)/21*((-30)/g)/(-5)?
True
Suppose -208*v + 3*s = -209*v + 13515, 0 = 4*v - 4*s - 54108. Is 21 a factor of v?
True
Suppose -9 - 12 = f. Is 25 a factor of 10/24*3*(f + 41)?
True
Let p(k) be the first derivative of k**4/2 - 7*k**3 - 29*k**2/2 + 11. Does 7 divide p(12)?
True
Suppose -4*i = -2*o - 116, 5*i - 156 = -3*o - 11. Let r be (-48)/56 - (-6)/7. Suppose r = -k + 27 + i. Is k a multiple of 4?
True
Does 10 divide 0 - (-1290 + 6 + -6)?
True
Let v(x) be the first derivative of -x**4/2 + 2*x**3/3 + 7*x**2/2 + 7*x + 25. Is v(-5) a multiple of 8?
True
Suppose 5*r - 10782 = -4*b, b = 4*r + 2268 + 417. Suppose -2*d = -251 - b. Is (1 - 1)/2 + d/32 a multiple of 14?
False
Let j(k) = -18*k - 65. Let t(u) = -55*u - 198. Let f(d) = -8*j(d) + 3*t(d). Is 17 a factor of f(-5)?
False
Suppose 7*o - 17 = 18. Suppose 5*v + 213 + 52 = -o*l, 2*l - v = -91. Is 17 a factor of (-833)/(-6) + (-8)/l?
False
Let s = 23 - 23. Suppose 0*c + 2*i - 14 = -2*c, 5*i + 7 = 2*c. Suppose 3*t + 2*v - 536 = s, -4*t + c*t = -2*v + 360. Does 44 divide t?
True
Suppose -7 - 8 = -3*g. Suppose -4*j = g*d - 24, 0 = 4*j + 2*d - 22 - 2. Does 5 divide (j - 3)/(-3)*(-4 - 37)?
False
Suppose -3*g + 1677 = -507. Suppose -12*b - g = -4*b. Let r = -19 - b. Does 5 divide r?
False
Let s be (-2 - -3) + (-888)/2. Let i = 613 + s. Does 34 divide i?
True
Let h(p) = 34*p + 10687. Is 4 a factor of h(47)?
False
Let w(a) be the first derivative of a**2/2 + 8*a - 19. Let g be w(13). Suppose 19*c + 62 = g*c. Is c a multiple of 28?
False
Let b(u) = 45*u - 76. Let w be b(10). Suppose -39 - w = -7*s. Does 9 divide s?
False
Let q be 2 + (-50)/(-6)*(7 - 4). Does 16 divide (-4)/(-18) + 966/q + -4?
True
Let p = -35347 - -44314. Is p a multiple of 78?
False
Let j be (-2 + -4 + 3)*-61. Suppose -4*h = h + 25, 5*s - 4*h = 30. Suppose g + 589 = 3*i, -g - s*g = -i + j. Is i a multiple of 33?
True
Let i be -10*13/(-130)*(593 - 0). Let z = i + -367. Does 13 divide z?
False
Let n = -5685 + 10003. Is n a multiple of 74?
False
Suppose k + 5*x - 7420 = 0, -3*k + k + 14884 = -x. Does 75 divide k?
False
Suppose -53 - 47 = -s - t, 3*s - t = 284. Suppose -b - 92 = 3*y, 4*b + 98 = -3*y - 0*b. Is (s/15)/((-2)/y) a multiple of 21?
False
Let y(c) = 6*c**2 + 5*c + 19. Let i be y(7). Suppose -39*o + 10*o + i = 0. Is 12 a factor of o?
True
Let a be 6/8*(-5 + 177/9). Let b(g) = g**2 - 5*g + 9 + 12 + 8*g. Is 11 a factor of b(a)?
False
Let o = 14 - 10. Suppose -j - 4*j + 72 = -o*f, -f = 3*j - 33. Suppose j = 3*c - 12. Does 8 divide c?
True
Let t(c) = c + 51. Let l be t(-11). Suppose 46*x = l*x + 1056. Is x a multiple of 8?
True
Is (-24)/7*(-15)/((-150)/(-5180)) a multiple of 74?
True
Let g = -53 - -65. Suppose g*n - 7*n - 113 = -2*o, -135 = -3*o + 4*n. Is 9 a factor of o?
False
Is 14 a factor of 3 + 75063/12 - (15 - (-354)/(-24))?
True
Let f(p) = 7*p**2 + 53*p - 490. Is 115 a factor of f(-38)?
False
Let t(s) = 38*s**3 - 6*s**2 + 32*s - 166. Is 54 a factor of t(7)?
True
Suppose 23489 = 5*b + n + n, 4*n - 14099 = -3*b. Is 11 a factor of b?
True
Suppose 42*b - 25*b = -31*b + 302400. Is 21 a factor of b?
True
Suppose 3*p + 12 = 12. Does 30 divide (-6)/15 + p + (-4908)/(-20)?
False
Let l be 6/(-4)*-12*4/(-36). Is (-1 - 2)/(l/48) a multiple of 3?
True
Let g(p) = 413*p**2 + 9*p + 24. Is g(-4) a multiple of 34?
True
Let d = 33 - 27. Let k(q) = -d*q**2 + q**2 + q + 4 + 28*q**2. Is k(-2) a multiple of 11?
False
Let q = 43 - 43. Suppose 0 = -2*j - 5*l + 219, -2*j + 0*j - 2*l + 204 = q. Suppose -265 = -5*i + 5*a, -4*a + j = 3*i - 76. Does 19 divide i?
False
Let b = 94 + -80. Suppose 0 = b*g - 25*g + 2662. Is 11 a factor of g?
True
Let r(t) = -200*t + 8524. Is 9 a factor of r(32)?
True
Suppose 2*n + 4*q - 918 = 0, 0*n + q + 1854 = 4*n. Suppose -n - 155 = -2*j. Suppose j = -5*i + 8*i. Is i a multiple of 19?
False
Suppose -37293 + 163633 = 61*r - 103752. Is r a multiple of 164?
True
Let x = 193 - 175. Suppose 0 = -x*u + 7*u + 7986. Does 64 divide u?
False
Let w be -3*((-42)/(-70) - (-18672)/(-45)). Suppose -10*m = -w - 3687. Does 17 divide m?
True
Let b = -15410 + 26954. Does 37 divide b?
True
Let l = -35852 - -55238. Does 54 divide l?
True
Let w(f) = 9*f + 12 - 7*f - 1. Let z be w(6). Let a = 28 + z. Is 8 a factor of a?
False
Suppose n + 4*v - 6842 = 0, -5*v + 26 = 11. Is n a multiple of 15?
False
Suppose 0 = 10*n + 26 + 954. Let d = n + 95. Is 3*(d/9 - (-164)/6) a multiple of 24?
False
Suppose 7*h + 1052 = 2858. Suppose 2*l = 242 + h. Let v = l + 40. Is v a multiple of 27?
False
Suppose -31*o + 3696 = -20*o. Does 56 divide (o/(-50))/(11/(-55))*5?
True
Suppose -2*k + l = -112, -2*k - 53 = -3*k - l. Let t = k - 52. Suppose t*x - 16 = -5*x. Is x a multiple of 2?
True
Let z(c) = 10*c - 20. Let j be z(16). Suppose -q + 11*q + j = 0. Is (-320)/q - (-1)/7 a multiple of 6?
False
Let v(k) = -2*k**2 - 19*k + 20. Let u be v(-10). Suppose -29*s + u = -34*s. Let x(y) = -7*y**3 - y**2. Is 23 a factor of x(s)?
False
Suppose -2*a - 10 = 3*a, 0 = -3*z + 4*a - 25. Let k(b) = b**2 + 9*b - 20. Let m be k(z). Suppose 5*r + 3*f = 3*r + 96, 0 = -5*r - m*f + 218. Does 21 divide r?
True
Suppose -6*o = -7*o + 2*d + 69, d = -2*o + 148. Let a = 199 + o. Is 17 a factor of a?
True
Suppose p = 4*p - 2*p. Suppose p = x - 117 + 17. Let t = x + -1. Does 11 divide t?
True
Suppose -15 = -10*t + 5*t. Suppose -622 = -4*y - s, 6*y - y - t*s - 786 = 0. Suppose -2*h + 7*u + 95 = 2*u, -3*u - y = -3*h. Is h a multiple of 4?
False
Suppose -55 = 2*d + v, -4 = -4*d - 4*v - 108. Let y = d + 33. Suppose 0 = 5*b - 2*u - 892, -3*u + 0*u + 732 = y*b. Is b a multiple of 20?
True
Let x be (-48)/(-18) + -2 + 12/9. Let p(a) = -a**x - 53*a**3 + 26 - a**2 - 25. Is 26 a factor of p(-1)?
True
Let x = 658 + -712. Suppose -p + 5*j = 65, 3*j = -3*p - 2*j - 295. Let r = x - p. Does 12 divide r?
True
Let o(f) = 396*f**2 + 86*f + 516. Does 99 divide o(-6)?
True
Let f = -63 + 64. Let n be (-3)/(f + (0 - 0)). Is 14 a factor of (-1)/(-3)*254 + 2/n?
True
Let v be (6 + -26)/5*(-203)/4. Let u be (-4)/(-6)*(5 - v/(-14)). Suppose -69 = -u*n + 12*n. Is 23 a factor of n?
True
Let s(n) = -n**3 - n + 2. Let o be s(0). Suppose 5*j = o*j + 21. Suppose 5*k = 2*q - 108, -j*k + 3*k + 208 = 3*q. Does 11 divide q?
False
Suppose -3*f - 8 = -5*z, 3*z - 5*f + 32 = 40. Does 11 divide 89/(z/84*6)?
False
Let j be 1/4 + 44/80*5. Suppose j*c + 520 = 5*c. Does 14 divide c?
False
Let b be (-8)/(-10) - (16/20 + -1). Let u be (-40)/(-5)*51/(-2). Is 17 a factor of b*u/(6/(-3))?
True
Let a(y) = -25*y. Let z be a(-12). Let o = -30 + z. Is o a multiple of 30?
True
Let c = -1094 - -2294. Suppose 0 = 18*i - 762 - c. Is i a multiple of 4?
False
Suppose 0 = 4*a - 6 - 6. Suppose -38 = 4*k - 2*i + 14, -5*k - 63 = -a*i. Let b = 165 - k. Is 18 a factor of b?
True
Let c = 460 - 437. Let k = 198 - c. Does 5 divide k?
True
Let b(x) = 42*x - 2. Let q(m) = 2*m + 18. Let i be q(-8). Let j be b(i). Let r = j - 47. Is r a multiple of 7?
True
Let d = 2910 + 1660. Is 11 a factor of d?
False
Let b = -76 + 829. Let t = -663 + b. Is t a multiple of 36?
False
Let c(p) = -160*p + 3440. Is 100 a factor of c(-16)?
True
Let v(q) = 3*q + 124. Let g be v(-7). Let z(r) = -r**2 - 3*r - 6. Let l be z(6). Let t = g + l. Is 10 a factor of t?
False
Let h be (1630/4 - 10)*(-2)/(-3). Suppose h*o = 278*o - 650. Is o a multiple of 2?
True
Is (3 + 26/(-4))/((-65)/28210) a multiple of 49?
True
Suppose -18*l + 7*l = -33*l + 41690. Does 5 divide l?
True
Let b = -12384 + 17632. Is b a multiple of 19?
False
Suppose 113617 = -6*d + 25*d - 75680. Is 17 a factor of d?
False
Suppose 0 = h + 33 + 278. Let c = h - -519. Does 16 divide c?
True
Suppose 5*m = -w + 2236, -9*m + 908 = -7*m - 3*w. Let v = m + -252. Does 21 divide v?
False
Suppose -28*v = -328996 - 33212. Does 33 divide v?
True
Suppose 4*w = -5*a - 206, 2 + 2 = 4*w. Suppose 113*z + 166*z = -54*z + 18315. Let g = a + z. Is g even?
False
Suppose -11*o = -575 - 4254. Suppose o = 4*f - 437. Suppose 0*x - 5*x + 2*c = -f, 2*c = -x + 51. Is 8 a factor of x?
False
Let b(x) = x + 1. Let o be b(-2). Let m be 67 + 2 + 2 + o. Suppose 0 = 2*c - m - 34. Is 13 a fact