4*-1030 - (-6)/14?
False
Suppose -4*w + w - n + 31 = 0, -w + n = -17. Is 1479/33 - w/(-66) a multiple of 5?
True
Suppose -39 + 7 = -4*t. Suppose -3*s = -t*s + 30. Suppose 5*p + s = 46. Does 2 divide p?
True
Let z(m) = 1800*m + 6. Does 42 divide z(1)?
True
Let x = 29 + -38. Let j be 0*(x/(-2) + -4). Suppose -c + 4*c - 354 = j. Does 23 divide c?
False
Let r(g) = -7*g**3 + 2*g**2 + 15*g + 14. Is r(-4) a multiple of 43?
False
Let g(s) = 19*s + 5. Let z(d) = 9*d + 2. Let w(t) = 3*g(t) - 7*z(t). Let v be w(2). Is 2 a factor of 17/2 - v/(-22)?
True
Let v = 22 + -19. Suppose v*p + 59 = -w, 4*p - p - 5*w = -29. Is (-171)/(-4) - p/(-24) a multiple of 14?
True
Is 48 a factor of (9/(-2) - -2)*(-136884)/610?
False
Let l = 66 + -61. Let i = l + 76. Does 9 divide i?
True
Suppose 15*o + 13*o - 67004 = 0. Is 38 a factor of o?
False
Is 3 a factor of (-5 - 0)/((-33)/66)?
False
Is 1170/4 - 51/(-34) a multiple of 15?
False
Suppose 0 = 3*j - 1065 - 324. Does 11 divide j?
False
Let t(g) be the first derivative of -63*g**4/4 + g**2/2 + g - 13. Does 8 divide t(-1)?
False
Let c(f) = 38*f**2 + 2*f + 1. Let h be c(-1). Suppose 47 + h = 4*z. Let w = 38 - z. Is w a multiple of 7?
False
Suppose 20*v - 15064 = 13*v. Is 79 a factor of v?
False
Let c(q) = -q**3 + 6*q**2 - 4*q - 12. Let k be c(5). Let n = k - -90. Is n a multiple of 8?
False
Suppose 4*i - 4*o - 19410 - 3602 = 0, -23012 = -4*i - 4*o. Is 24 a factor of i?
False
Let x = -38 + 56. Is (-4)/x - 9380/(-90) a multiple of 15?
False
Let j(p) = p**3 + 4*p**2 + 13*p - 1. Let v be j(-9). Let w = -313 - v. Does 14 divide w?
True
Let c = 38 - 8. Suppose -3*i + c = -15. Does 3 divide i?
True
Let p be 4 + (-1 - (2 - -1)). Suppose 5*i - 10 = -p. Suppose -3*h = -4*l + 189, 6*h = i*l + 2*h - 102. Is l a multiple of 9?
True
Does 27 divide 3*2/(-3) - (0 + -137)?
True
Let q(d) = d + 8. Let v be q(-5). Suppose -v*s = -2*s - 4. Suppose -j = -s*j + n + 9, 14 = 2*j + 2*n. Is 3 a factor of j?
False
Suppose -g - 79 = -4*a + 127, 4*a + 3*g = 214. Let p be (2 - 5)/3*-4*1. Suppose -2*d + 0*d + 2*y = -a, -5*d = -p*y - 132. Does 16 divide d?
False
Let i(y) = -y**2 + 49*y - 42. Does 78 divide i(28)?
True
Suppose -4*d - a + 4428 = 0, 53*d + 4*a + 1107 = 54*d. Does 9 divide d?
True
Suppose 28*j = 7955 + 6829. Is j a multiple of 24?
True
Suppose -3*p = 5*t + 38, 5*p + 6*t + 34 = 5*t. Is 26 a factor of p - -3 - -2 - -287?
True
Suppose -7 = 4*d - 75. Suppose 2*t + 75 = -3*t + 4*q, -2*t - q - d = 0. Let m = 58 - t. Is m a multiple of 23?
True
Let x = 117 - 89. Let b = 25 + -13. Let j = x - b. Does 8 divide j?
True
Let i(v) = -v - 1. Let u be i(-7). Let d be (2 - u)/(2/3). Let s = d + 13. Does 4 divide s?
False
Let g be (-18)/(-30) + (-1 - (-7)/5). Let v = 47 + -29. Is (243/v)/(g/2) a multiple of 9?
True
Let r be (3 - 0) + 11/11. Suppose 4*n - 98 = -5*p, 5*p + 2*n - 116 = r*n. Is p a multiple of 6?
False
Suppose 0 = -5*i + 7 + 3. Suppose 100 = 2*p + 2*s, -7*s = -i*s. Suppose 4*r = -m + p, 3*m - r - 334 = -2*m. Is m a multiple of 14?
False
Is (5/(-2))/((-40)/17648) a multiple of 58?
False
Let d = -434 + 720. Does 11 divide d?
True
Suppose 2*x + 2*p + 12 = 4*p, -3*p = -4*x - 23. Let y(l) = l**2 - 2*l + 2. Is 21 a factor of y(x)?
False
Let f(r) = r**3 - 2*r**2 - 5*r. Let m be f(5). Suppose 6*v - 4*v - m = 0. Let a = -2 + v. Is 7 a factor of a?
False
Let m(c) = 5*c - 34. Let q be m(5). Is 33 a factor of (-3)/(q/285) + 4?
True
Suppose 2*q = -3*u + 11, 8*u - 2*q - 13 = 3*u. Let w be 65/(3/(u - 0)). Suppose -4*n + k + 3*k + 136 = 0, k - w = -2*n. Does 13 divide n?
False
Suppose -6*r = -3*r - 1545. Suppose -6*y = -r - 811. Is 13 a factor of y?
True
Suppose -14*x = -6 - 22. Suppose -2*j = 4*z - 1112, -3*z + 832 = -0*j + x*j. Does 21 divide z?
False
Suppose -4*b - 922 = -5*r, -4*b + 1166 - 450 = 4*r. Suppose r = 9*s - 7*s. Is s a multiple of 13?
True
Let m = 56 - 53. Suppose -5*w = -q - 533, -2*w = 2*q + m*q - 197. Is 34 a factor of w?
False
Let d be -8*(149/(-2) - (-21)/14). Suppose -3*x + 431 = 5*u, -2*x - 2*u + d = 2*x. Does 13 divide x?
False
Suppose j = 4 + 308. Is j a multiple of 13?
True
Suppose -8 = 3*o - 8. Suppose 0 = -3*c + 2*x + 97, o = -2*c + x - 3*x + 78. Is c a multiple of 7?
True
Let i be (-1)/3 + (-172)/(-3). Suppose -w - 29 = -0*k - 4*k, -4*k + 54 = -2*w. Let c = w + i. Is 9 a factor of c?
False
Let i = 30 - 25. Suppose i*z - 29 = -4. Is 4 a factor of z?
False
Suppose -5 + 11 = 3*s. Suppose s*z - 335 = -5*j + 2*j, 5*z - 560 = -5*j. Is 37 a factor of j?
True
Let k(c) = -10*c**2 - 5*c + 18. Let t be k(6). Is 48 a factor of (t/(-3))/(1/2*4)?
False
Let d(h) be the third derivative of h**5/12 + 17*h**4/24 + 10*h**3/3 - h**2 - 10*h. Does 12 divide d(-7)?
False
Suppose v - 60 = 2*j + j, 5*j = 0. Suppose 0 = -4*w + w + v. Is 6 a factor of w?
False
Let u(b) = -b**3 + 28*b**2 + 27*b + 240. Does 7 divide u(28)?
False
Suppose 0 = 46*l - 43*l - 759. Is l a multiple of 23?
True
Suppose 6 = 3*k - 12. Let s = k + 80. Is s a multiple of 11?
False
Suppose -7*d = -0*d - 1218. Suppose 6*v = -d + 594. Is 14 a factor of v?
True
Let b(f) = -f**3 - 6*f**2 + 5*f - 30. Is 16 a factor of b(-13)?
True
Suppose 3*g = 4*g + 2*k - 256, -3*g + 744 = -2*k. Is 5 a factor of g?
True
Suppose 5*y + 4171 = 4*j, -3*y - 4241 = -4*j - 68. Suppose -5*z + j = -3*l, -5*z - 4*l = -120 - 938. Suppose 4*k - z = -74. Is k a multiple of 7?
False
Suppose t - 499 + 80 = s, 0 = 4*t + s - 1681. Is t a multiple of 10?
True
Is 9 a factor of 2427 - ((-1 - 13) + 11)?
True
Let j be -2 - ((-1)/(-1) + -1). Let f(r) be the second derivative of -3*r**3/2 - r**2 - 17*r. Is 8 a factor of f(j)?
True
Suppose -w - r - 5 + 15 = 0, 2*w + 4*r = 28. Let l = -8 + w. Is (-51)/l*(-12 + 14) a multiple of 15?
False
Let q(s) = -4 - 3*s - 2 - 1 + 2*s. Let n be q(-11). Suppose -h - 3*d + 22 = 0, -d - d + 138 = n*h. Is h a multiple of 18?
False
Let h(a) = a**2 + 13*a + 1. Let q be h(-8). Is 18 a factor of (q/9)/(-1)*15?
False
Suppose 5*v = -21*v + 3744. Is v a multiple of 36?
True
Let y = 333 - 314. Does 19 divide y?
True
Let m(u) = 220*u**2 - u + 1. Is m(1) a multiple of 22?
True
Let a(s) = -4*s**2 - 2*s - s**3 + s**2 - 1 + 0*s**2 - 3*s**2. Let y be a(-6). Let j = y + 41. Is 9 a factor of j?
False
Let y = -413 + 685. Suppose j - 2*n + 5*n = 8, 0 = -j + 3*n - 4. Is 4 a factor of (j/(-4))/((-17)/y)?
True
Let j = 451 - -428. Does 49 divide j?
False
Let x(h) = -13*h**2 - 2*h - 2. Let f be x(-2). Let j = -31 - f. Suppose -3*o + 247 = 5*w - j, 2*w = 4*o - 320. Is 24 a factor of o?
False
Does 24 divide 65*((-5460)/50)/(-13)?
False
Suppose 0 = -2*d + 2*n + 904, -44*n = 2*d - 41*n - 919. Is 91 a factor of d?
True
Suppose 3500 = 4*b - 5*q + 875, -4*q + 1992 = 3*b. Is b a multiple of 4?
True
Let a(b) = 50*b - 196. Does 13 divide a(19)?
True
Suppose 5*j - 7 = -k + 9, 5*k + 4 = -4*j. Suppose -j*p = -3*p - 20. Is 20 a factor of p?
True
Let w = 33 + -23. Let l = w + 6. Is l a multiple of 4?
True
Suppose 0 = -2*w - 3*n + 1019, -5*w = -3*w - 4*n - 1012. Does 21 divide w?
False
Let n = -122 - -177. Let t(y) = y**3 + 7*y**2 - 11*y + 34. Let h be t(-7). Let o = h - n. Does 14 divide o?
True
Suppose 0 = -3*j - 53 + 14. Let w = j + 12. Is 21 a factor of (867/34)/(w/(-2))?
False
Let b = 11 - -71. Does 56 divide b?
False
Let r = -695 + 1141. Is 5 a factor of r?
False
Let x be (-1*(-1 - -1))/2. Suppose o - i - 13 = 0, x*o + 3*o + 5*i + 1 = 0. Let p(c) = 3*c - 17. Is 7 a factor of p(o)?
True
Suppose 4*f = 4*a - 224, f - 217 = 5*f + 3*a. Let y(c) = 2*c**2 + 12*c + 31. Let u be y(-9). Let v = f + u. Is 17 a factor of v?
False
Suppose -60 = -2*u - l, -3*u - 5*l = -0*u - 90. Let x be (36/u)/((-3)/(-190)). Let t = 127 - x. Does 10 divide t?
False
Suppose 0 = 5*q + 2*i + 69 + 325, -3*i - 318 = 4*q. Does 7 divide 12/q + (-184)/(-13)?
True
Let a(y) be the second derivative of -y**5/20 - 19*y**4/12 - 2*y**3 - 13*y**2 - 10*y. Is 10 a factor of a(-19)?
False
Let o = 998 - 642. Let d = o + -151. Is d a multiple of 18?
False
Let k = 6141 - 4003. Is k a multiple of 19?
False
Let q be (16/(-28))/(2/(-7)). Suppose -4*l - 22 = -q*l. Let y = 68 + l. Does 18 divide y?
False
Suppose 0 = 75*h - 73*h - 108. Does 4 divide h?
False
Let k be 3*-3*(-14)/14. Does 3 divide 5 - (-12*k)/6?
False
Suppose 0 = -46*c + 49062 - 4902. Is 10 a factor of c?
True
Suppose 0 = -0*l +