 Does 26 divide 24*(f/4 + 3)?
True
Let z be (-498)/(-26) - (-2)/(-13). Suppose 16*w - z*w + 6 = 0. Suppose -w*g - 16 + 76 = 0. Is g a multiple of 9?
False
Let r(q) be the third derivative of q**5/60 + 7*q**4/24 + q**3 - 22*q**2 + 1. Does 7 divide r(-13)?
True
Does 6 divide 1*-2*(-78)/12?
False
Suppose 79*w - 150 = 77*w. Let b = w + -65. Is b a multiple of 10?
True
Suppose -197 - 64 = 3*a + 2*w, 4*w = -3*a - 255. Is 7 a factor of (-6)/(-39) - a/13?
True
Let p(y) = -y**2 - 8*y - 6. Let b be p(-5). Suppose -2*r - b = -5*r. Suppose -j + 4 = -r. Is j a multiple of 7?
True
Let l(r) = -9*r + 10. Let y be l(11). Let x = 42 - y. Is 15 a factor of x?
False
Let n be 15/4*96/18. Suppose 110 = 7*h - 2*h + 3*a, -n = 4*a. Suppose 7*s - h = 2*s. Is 5 a factor of s?
True
Suppose -3*t + 461 + 1075 = 0. Suppose -t = -2*o - 14*o. Is 4 a factor of o?
True
Let d = -2721 + 5057. Does 16 divide d?
True
Let p(m) = 15*m - 39. Let j be p(9). Let l = -56 + j. Is 20 a factor of l?
True
Suppose -3156 = -y + 5*y. Let d = 441 + y. Is 11 a factor of d/(-8) - (-2)/4?
True
Let m = 1525 - 1293. Is m a multiple of 29?
True
Suppose 0 = -9*a + 7*a + 386. Is a a multiple of 27?
False
Suppose d - 18 = -8*d. Suppose -d*y + 4*y - 252 = 3*s, 4*s - 224 = -2*y. Does 10 divide y?
True
Is ((-900)/125)/(6/(-2920)) a multiple of 48?
True
Is 26 a factor of 5 - -4 - (11 - 1256)?
False
Let u be -1*(-20)/4 - 1. Suppose u*n - 5*n = -27. Is 12 a factor of n?
False
Suppose -792 = -4*r - 10*l + 12*l, 0 = -2*r - l + 388. Is 28 a factor of r?
True
Let u(j) be the third derivative of j**5/60 + 5*j**4/8 - 16*j**3/3 + 2*j**2. Does 11 divide u(-18)?
True
Is (-78)/(-12)*(5*28)/2 a multiple of 30?
False
Let i(d) = -d**3 + 7*d**2 - 2*d. Let z be ((-14)/(-28))/((-1)/(-10)). Is 8 a factor of i(z)?
True
Let w = 18 - 20. Let c be 72/45 + w/(-5). Suppose -4*r + 78 = c*m, 0*m + 5*m + 3*r = 188. Is 14 a factor of m?
False
Is 5 a factor of (-2178)/(-110)*(-190)/(-3)?
False
Let r(u) = 0*u**2 + u**2 - u + 11 + 2*u. Suppose 5*s + 0 + 0 = 0. Is r(s) a multiple of 11?
True
Suppose -5*q - 3*b = 2*b - 25, 0 = 2*q - 5*b + 4. Suppose -q*n + 0*n + 108 = 0. Is n a multiple of 6?
True
Let u(n) = n**2 + 3*n - 6. Let s be u(-10). Suppose 3*r - 6*r + 2*b = -s, 3*b = 2*r - 36. Does 6 divide r?
True
Is 57 a factor of 21656/20 + (-7)/(-35)?
True
Is 6 a factor of (8628/(-10))/(-2) - (-105)/175?
True
Let f(o) = -43*o - 1. Let u be f(-3). Suppose 0 = 166*v - 165*v + 61. Let k = u + v. Does 12 divide k?
False
Let m be 1 - -9*(1 - (0 + 0)). Suppose 3*z - 6 - 24 = -2*b, -5*z - m = 0. Is 9 a factor of b?
True
Suppose m - f + 4*f - 60 = 0, -292 = -4*m + f. Is 7 a factor of m?
False
Let y = -49 - -42. Let p(f) = -f**3 - 6*f**2 + 2*f + 7. Is 7 a factor of p(y)?
True
Suppose -8*i + 30 = -3*i. Is 9 a factor of ((-54)/(-10))/(i/30)?
True
Suppose -48*l + 35*l + 13039 = 0. Is l a multiple of 17?
True
Let t = 20 - 8. Let i = 250 - 258. Let l = i + t. Is 2 a factor of l?
True
Let h(y) = -2*y + 1. Let i be h(-2). Suppose 3*x + i*n = 502, -2*x = -2*n - 379 + 39. Is 35 a factor of x?
False
Let x(p) = 10*p**2 + 3*p + 1. Let w be 4 - (4 + -3) - 4. Does 3 divide x(w)?
False
Suppose -q + 666 = -3*l, 7*q - 12*q = 2*l - 3313. Is 9 a factor of q?
False
Let a be (-6)/(-3 - 11/(-3)). Let m(l) = -l**2 - 8*l + 5. Let f be m(a). Is (-3 - 0 - f) + 16 a multiple of 6?
False
Let u(v) be the third derivative of -4*v**2 - 31/24*v**4 + 0 + 1/6*v**3 + 0*v. Does 13 divide u(-1)?
False
Suppose -3*r - 2*l + 749 = 0, -3*r + 0*l + 774 = -3*l. Is r a multiple of 9?
False
Let r = -2437 + 2960. Is 38 a factor of r?
False
Let k = -11 + 25. Let j be (-6)/5*((-11)/3 + -3). Let l = j + k. Does 11 divide l?
True
Suppose 7*a = 581 + 609. Does 13 divide a?
False
Let t be 19 - ((-4)/(-1) - 1). Let w = -12 + t. Suppose -3*s + 30 = 3*c, w = 4*s - 2*c - 3*c. Is s even?
True
Let u(i) be the first derivative of -5*i**4/4 - 2*i**3 - 5*i**2/2 + 6*i + 35. Is u(-3) a multiple of 19?
False
Let r(z) = 8 + 4*z**3 - 8*z**3 - 4*z + z**2 + 5*z**3 + 4*z**3. Does 11 divide r(2)?
True
Let g(l) = 154*l**2 + 2*l - 1. Let i be g(1). Suppose 6*q - i = 307. Is q a multiple of 15?
False
Suppose -44 - 21 = -13*f. Suppose -3*t - t + n + 293 = 0, -2*t - f*n + 163 = 0. Is t a multiple of 5?
False
Let i = 6 - -2. Suppose -v = 5*m - i, 4*m + 6*v = 3*v + 2. Suppose -m*u = -59 - 75. Is 15 a factor of u?
False
Let t(b) = 4*b**2 - 1 + 5 - 2*b + 6*b - 9. Let y = 24 + -29. Is t(y) a multiple of 15?
True
Suppose 0 = 2*z + 3*d + d - 1188, 4*z - 2376 = 2*d. Is 33 a factor of z?
True
Let b(r) be the first derivative of -r**3/3 - 15*r**2/2 - 14*r + 10. Is 6 a factor of b(-10)?
True
Suppose 6*v + 2*v - 1712 = 0. Suppose 3*f = 4*b + b + v, 2*b = f - 70. Is 26 a factor of f?
True
Let w(z) = 13*z + 6. Let q(k) = 5*k - 4. Let b be q(1). Is 19 a factor of w(b)?
True
Let q = 289 + -261. Is q a multiple of 13?
False
Let c = -780 - -1354. Is c a multiple of 41?
True
Suppose 2*u + 3*p = 304, 5*p - 130 = -3*u + 326. Does 8 divide u?
True
Suppose 0 = 4*l - 2*l + 2. Is 2*(297/6 - l) a multiple of 27?
False
Suppose b = 4*c + 30, 2*c + 5*b - 2*b + 8 = 0. Let u = c - 0. Let i(n) = -n**2 - 10*n - 9. Is i(u) a multiple of 2?
True
Let q = -57 - -57. Is 20 a factor of (q + -16)/((-4)/50)?
True
Let o be 4/2*25/50. Does 37 divide (o*-37)/(27/(-54))?
True
Let h(p) = -p**3 - 4*p**2 - p + 3. Let v be h(-3). Let a be (-2)/(v/3) - -5. Suppose a*x = 4*x + 84. Is 7 a factor of x?
True
Let j = 15 - 13. Suppose j*s - 20 = -2*s + 2*u, 0 = 5*u + 20. Suppose -4*b = -s*y + 59 + 12, 4*y - 96 = 4*b. Is 19 a factor of y?
False
Let v(f) = -47*f - 1. Let o(b) = -95*b - 3. Let w(s) = 2*o(s) - 5*v(s). Does 36 divide w(4)?
False
Let n = -49 + 52. Suppose 2*d = -g + 419, -2*g - 560 = -n*d + 58. Does 13 divide d?
True
Suppose -7*i - 93 = -10*i. Let x = i + 4. Is x a multiple of 9?
False
Let y be -8*3/15 - 6/15. Is 10 a factor of ((-1)/y - 2)/((-3)/378)?
False
Let b(w) = -17*w + 1. Let c = 52 + -22. Let x be (36/c)/((-2)/5). Is b(x) a multiple of 13?
True
Let l be (-1416)/(-10) - (-33)/(-55). Suppose -o - 2*o + 246 = 0. Let d = l - o. Is 11 a factor of d?
False
Let t(r) = r**2 + 17 - 4*r**2 - 25 + r + 4*r**2. Is t(8) a multiple of 8?
True
Suppose -7*u + 1153 = -121. Is u a multiple of 14?
True
Suppose 0 = 5*h + 3*b + 25, b + 2*b = -15. Let i = h - -11. Does 16 divide ((-20)/(-3))/(i/54)?
False
Let a be (-3)/(-1)*(-32)/(-6). Let b(n) = -n**2 + 8*n - 5. Let p be b(7). Suppose 0 = 2*l - 6, 56 + a = 2*v + p*l. Is 11 a factor of v?
True
Let z(x) = -x**3 + 37*x**2 - 62*x + 31. Does 13 divide z(34)?
True
Let d be (-3 - (-2)/2)*-2. Suppose 1236 = 4*j + 5*b, -309 = -d*j + 3*j + b. Is j a multiple of 33?
False
Let f = 51 + -44. Let m(u) = u**3 - 6*u**2 + 3*u - 2. Does 13 divide m(f)?
False
Suppose 0 = 3*k - 114 - 3. Suppose 0 = -5*w + 11 + k. Suppose 0 = -2*b - w + 50. Is b a multiple of 10?
True
Let h(l) = 8*l + 14. Let p be h(9). Is 9 a factor of 2 - (-3)/(6/p)?
True
Let c(m) = 382*m**2 - 14*m + 15. Is 24 a factor of c(1)?
False
Let l be -8 + 1 - (3 + -3 - -1). Does 28 divide l/((-48)/210)*(3 - -1)?
True
Let w = -1067 - -1437. Does 18 divide w?
False
Is 151 + ((-6)/(-3))/(2/1) a multiple of 38?
True
Suppose -3*z + c = -z - 354, -549 = -3*z - 3*c. Suppose 49 - z = -5*v. Does 4 divide v?
False
Suppose 0 = -2*u + 98 - 10. Is 11 a factor of u?
True
Suppose 0 = 6*b - 4885 - 3743. Is 11 a factor of b?
False
Suppose 2*q + 20 = 6*q. Suppose -2*z - 2*s - 2 = 0, 0 = q*z - 3*s - 2 - 1. Suppose -c + 42 + 19 = z. Does 9 divide c?
False
Let v(y) = -y**2 - 1. Let x(q) = 7*q**2 + 13*q + 24. Suppose -2*z - 24 = -6*z. Let s(o) = z*v(o) + x(o). Is s(-13) a multiple of 6?
True
Let g = -38 - 68. Let t = 186 + g. Is 10 a factor of t?
True
Let t = -890 - -2120. Does 10 divide t?
True
Suppose 38*h - 23*h = 870. Is 13 a factor of h?
False
Let c = -10 + 11. Is 1*66/c*28/56 a multiple of 3?
True
Suppose 6*u + 6*u + 60 = 0. Does 14 divide 2/u - (-282)/5?
True
Let w(j) = 53*j**3 - 5*j**2 + 2*j + 2. Does 41 divide w(3)?
True
Suppose 0 = -u + 28*z - 32*z + 168, 4*z - 888 = -5*u. Does 60 divide u?
True
Suppose y + 3 = 2*y. Suppose -5*a = -y*v + 416, -10 = -3*a + a. Is 20 a factor of v?
False
Suppose -206 - 1794 = -16*q. Is 9 a factor of q?
False
Let f be -3*2/6 - 63. Let a = f + 154. Does 45 divide a?
True
S