ose 4350 - 14790 = 6*u. Let b = -1095 - u. Is (6/9)/(5/b) a multiple of 17?
False
Suppose 0 = 4*q - 42 + 22. Let a(o) = -o**3 + 8*o**2 - 6*o + 6. Is 17 a factor of a(q)?
True
Does 3 divide (-60)/40 - (894/4)/(-1)?
True
Suppose v = z + 102, 3*v + 2*z - 349 + 28 = 0. Suppose -v = -4*r - 1. Is r a multiple of 26?
True
Let r = -57 + 61. Suppose r*x - 3*x - 3 = 0, -h - 2*x + 51 = 0. Is h a multiple of 3?
True
Let j be (4 - 4 - 3) + 6. Is 18 a factor of (j + 10)*11 - -1?
True
Suppose x + 119 = -c + 540, 5*x + 403 = c. Is 11 a factor of c?
True
Is 17 a factor of (-10)/(-20) - (-5946)/4?
False
Let k be (-56370)/(-45) + (-1)/(-3). Let v = k - 794. Suppose 3*w + w = m + v, -5*m = 3*w - 373. Is 29 a factor of w?
True
Let f(z) = 17 - 9*z**2 + 0*z**3 + 10*z - z**3 - 31 + 32. Is f(-10) a multiple of 9?
True
Suppose 295 = -0*w + 5*w - a, 3*w - 5*a = 199. Is 8 a factor of 3 + 1 + w + 3?
False
Let v = -55 + 59. Suppose -v*r - 5*b = -9*r + 250, -2*r + 5*b = -106. Does 12 divide r?
True
Suppose -363 - 293 = -8*q. Suppose -149 = -2*z - 3*r, 0 = -4*z + r - q + 415. Does 7 divide z?
False
Suppose -2*q - 2*q = 0. Suppose 0 = 4*k - 3*k + 4*f - 131, f + 4 = q. Suppose -2*i = -h + i + 45, k = 3*h + 3*i. Is 11 a factor of h?
False
Let w = -5 + 8. Suppose -w*j - 771 = -2*s - s, -2*j = 5*s + 479. Let z = j + 366. Does 13 divide z?
False
Suppose -3*t + 4 = -8. Suppose -562 = -5*s + 2*a, -5*s + t*a + 279 + 275 = 0. Is s a multiple of 20?
False
Let i be (-3)/2 - (-57)/6. Let v = -6 + i. Suppose 3*q = -v*g + g + 55, -5*q = 2*g - 93. Is 9 a factor of q?
False
Let j(l) = l**2 - 3*l. Let f be j(0). Suppose 4*z - 3*d - 392 = f, 0*z + 2*z - 174 = -4*d. Does 19 divide z?
True
Let k = 339 + -141. Is k even?
True
Suppose -12 = -c + 5*m, 5*c - 2*m = 102 + 50. Is 3 a factor of c?
False
Let d = 419 + -251. Is d a multiple of 11?
False
Does 39 divide 174140/55 - (-18)/(-99)?
False
Let o(s) be the first derivative of -s**3/3 + 7*s**2 + 16*s + 1. Let z = 746 + -734. Is 8 a factor of o(z)?
True
Does 26 divide (265/1)/(9/45)?
False
Let s(q) = -q**2 - 3*q + 9. Let a be (6 + -7)/((-1)/(-4)). Let j be s(a). Suppose 413 = 5*x - 2*g, 0*x - 244 = -3*x + j*g. Is 16 a factor of x?
False
Suppose 46 + 33 = 4*m - 5*g, 2*m - 23 = -3*g. Suppose -m = -4*n, 0 = -2*t - n + 73 + 39. Let d = t + 21. Is d a multiple of 25?
True
Suppose -2*x - 122 = -3*i + 139, x - 435 = -5*i. Does 29 divide (4/((-12)/i))/(-1 + 0)?
True
Let x(u) = u**2 - 10*u + 3. Let m be x(10). Suppose -k + 4*v - 9 = 0, k = -m*v + 8 + 4. Suppose -82 = -k*n - 10. Is n a multiple of 16?
False
Let o(u) = -u**3 + 14*u**2 + 11*u - 4. Let z = -14 - -28. Is 19 a factor of o(z)?
False
Let h(m) = -m**2 + 6*m + 24. Let t be h(12). Let q = t - -111. Is q a multiple of 21?
True
Suppose u + 5655 = 6*u. Is 87 a factor of u?
True
Let l = 1035 - -1583. Is l a multiple of 77?
True
Suppose -1770 = 5*t - 5*g, 3*g + 1371 = -4*t - 2*g. Let q(k) = -92*k + 221. Let a be q(5). Let m = a - t. Is 22 a factor of m?
True
Suppose 4*i = 196 + 728. Is 38 a factor of i?
False
Let h(s) = -2*s**3 - 22*s**2 - 15*s - 20. Let n(t) = 2*t**3 + 23*t**2 + 16*t + 19. Let v(y) = 5*h(y) + 6*n(y). Does 14 divide v(-13)?
False
Let d(k) = 20 + 2*k - 15 + 3*k. Let h = -1 - -7. Is d(h) a multiple of 8?
False
Let x(b) be the second derivative of -3*b**3/2 - b**2/2 - 7*b. Let g(l) = l**2 + 7*l + 5. Let c be g(-6). Is x(c) a multiple of 4?
True
Let u(j) = j**2 + 3*j + 707. Let l be u(0). Suppose -l = 6*a - 13*a. Does 25 divide a?
False
Suppose -4*j = -2*d - 5*j + 24, 0 = -4*d + 3*j + 58. Suppose 12*g + 184 = d*g. Is 33 a factor of g?
False
Let b = -736 + 1796. Does 16 divide b?
False
Suppose 0 = -5*b - 522 - 468. Let c = b - -304. Is 31 a factor of c?
False
Let d(m) = -36*m - 120. Is d(-11) a multiple of 14?
False
Let g = 888 + -468. Suppose -3*m - g = -8*m. Does 21 divide m?
True
Suppose 4*o = 3*o. Let b = o - -18. Suppose b = j + j. Does 3 divide j?
True
Let x be -5 + 5 - -4 - 1. Suppose 3*q = -x, 2*d + 3*q = q + 98. Does 25 divide d?
True
Let w = -139 - 105. Let x be (-16)/(-12) - w/6. Suppose 4*u - 56 = -g, 0 = -2*u - u + 3*g + x. Is 14 a factor of u?
True
Is 20 a factor of (-7)/(-28)*6316 - (-3 + 0)?
False
Let c(x) = -37*x - 2. Let p be c(-2). Let y = p - 28. Is 44 a factor of y?
True
Let c(k) = -k**2 + 8*k + 16. Let b be c(12). Let l = 22 - b. Does 7 divide l?
False
Let v = -2494 - -5230. Does 16 divide v?
True
Let p(n) be the second derivative of n**3/3 - 6*n**2 - 3*n. Let w be p(10). Let t = w - -4. Does 6 divide t?
True
Let k be 14/(-28) + 30/4. Suppose -169 + 15 = k*m. Let p = 3 - m. Does 22 divide p?
False
Let b(j) = 38*j - 104. Is 12 a factor of b(4)?
True
Let f(w) = -4*w - 4. Let r be f(7). Let s = r - 61. Let c = 137 + s. Does 12 divide c?
False
Suppose 2*r = 3*x + 450, 134 = 2*r - 5*x - 320. Is 11 a factor of r/4 - 2/(-4)?
False
Let f(y) = -y + 1. Let q(t) = -22*t - 6. Let k(z) = f(z) - q(z). Is k(3) a multiple of 10?
True
Suppose 1542 = l + 3*x, 61*x - 4618 = -3*l + 60*x. Is l a multiple of 57?
True
Let p = 791 + -403. Suppose -5*a + 651 = -z, 5*z = -3*a + 3*z + p. Is 13 a factor of a?
True
Let l(c) = 3*c**2 + 8*c - 7. Let z be l(5). Let s = 268 - z. Does 12 divide s?
False
Let n be 76 - (8 - (2 - -2)). Suppose 4*k - n = -u, -3*u = -2*u + 5*k - 73. Does 9 divide u?
False
Suppose -4*t - 5*a + 55 = 0, 5*a + 39 - 4 = 2*t. Does 3 divide t?
True
Let s be 0 - 17*-4 - 3. Let w = s - 34. Is 20 a factor of w?
False
Let w = 1 + 7. Suppose -4*b - 5*c = -b - w, -4*c + 16 = 4*b. Is b a multiple of 3?
True
Let o(z) = -3*z**3 + z**2 - z + 10. Let q(g) = -2*g**3 + 2*g**2 - g + 11. Let r(t) = 3*o(t) - 4*q(t). Is r(-6) a multiple of 4?
True
Suppose -4*z = t - 3*z - 1462, -1456 = -t - 4*z. Is t a multiple of 24?
True
Suppose -4*r + 4*a = -2*r - 42, r - 29 = -2*a. Let q be (-155)/r - (-1)/5. Let w = q - -19. Does 13 divide w?
True
Suppose 3*t + 4*t + 504 = 0. Is (-54)/t - (-45)/4 a multiple of 3?
True
Suppose 4*m - 2 = 2*q, 4*m = -3*q + m + 24. Suppose -9 = -q*r - 4. Let z(p) = 26*p**2 - 2. Is 12 a factor of z(r)?
True
Suppose 0 = n - 4*w - 23, 5*n = -3*w + 82 - 13. Is 2 a factor of (1 - n/4)*(-26 - -22)?
False
Suppose -20 = 4*u, 5*k = -4*u + 4719 + 981. Is k a multiple of 25?
False
Let s(u) be the third derivative of 19*u**8/6720 - u**7/5040 - u**6/720 - u**5/60 - 6*u**2. Let h(g) be the third derivative of s(g). Is 19 a factor of h(-1)?
True
Suppose 3*p + 4*v = p + 1488, -4*p - 5*v = -2967. Suppose 182 = 10*y - p. Is y a multiple of 23?
True
Suppose -5 - 15 = -5*f. Suppose -52 = -f*a - 3*z, 3*a - 5*z + 10*z = 50. Does 7 divide (104/a)/(8/20)?
False
Let r be (-4)/(-6) - 14/(-6). Suppose 2 = -r*x - 7. Let v = 5 + x. Is v even?
True
Let r = -8 - -17. Suppose -4*p = -q - r*p + 10, 6 = -4*q + 3*p. Suppose q = -t + 4*t - 27. Does 9 divide t?
True
Suppose 4*b - 3*a = -0*a + 37, -5*a = -4*b + 43. Is 4 a factor of (4 - b) + (-86)/(-2)?
True
Is 71 a factor of -3 - -648 - (-1 + 7)?
True
Let n(c) = 4*c - 14. Let t be n(5). Is 8 a factor of (t - 9) + 4*17?
False
Let w(d) = d**3 + 3*d**2 - 5*d - 2. Suppose 6*u = 3*u - 12. Let g be w(u). Is 9 a factor of g/(4/(69 - -3))?
True
Let w = 23 - 81. Let o = w + 181. Is o a multiple of 12?
False
Let j = -36 + 40. Suppose 3*u - 4*w - 181 = 0, -5*u + 4*u - j*w = -55. Does 13 divide u?
False
Suppose 0 = 4*n + 16, -52 = -4*z + 2*n + 2*n. Does 4 divide z - (8 - (0 + 4))?
False
Let x be (-1 - 5)*(-3)/9. Suppose x*w + r = 108, -3*r - 69 = -4*w + 127. Is w a multiple of 5?
False
Suppose -m + 38 + 50 = 0. Suppose 6*r - m = 2*r. Does 19 divide r?
False
Let m(t) = 24*t - 150. Is 18 a factor of m(25)?
True
Suppose 0 = 3*h + 2*h + 45. Let i = -4 - h. Let n = 21 - i. Is 8 a factor of n?
True
Let v = -10 - 56. Let p be (-2)/(-11) - 6/(-22)*-41. Is 7 a factor of (-12)/v - 680/p?
False
Suppose -4*z - 8 = -4*r, 0 = -z + 3*z - r. Suppose -5*u = 3*q - 327, 8*q - 3*q + 137 = z*u. Does 5 divide u?
False
Is 84 a factor of 204/(-357) + ((-12414)/(-14))/3?
False
Let b(y) = -y**2 - 2*y + 3. Let g be b(3). Let f be 0 - (-4)/((-16)/g). Suppose f*t - 28 = 2*t. Is 12 a factor of t?
False
Is 4 a factor of (-9414)/(-21) + (-3 - 114/(-42))?
True
Suppose 0 = -12*d + 7437 + 17139. Is 27 a factor of d?
False
Let y be (4/14)/(4/28). Suppose -45 = -y*q + 3*h, 5*q - 119 = -4*h - 18. Is 21 a factor of 