)?
True
Let s = 206 + -138. Is 8 a factor of s?
False
Let v = -6 - 3. Is ((-9)/v)/(2/26) a multiple of 6?
False
Suppose 5*v - 1 - 9 = 0. Suppose -5*d - 5*p = -106 - 99, -v*d = -5*p - 110. Is d a multiple of 9?
True
Let k(y) = 32*y**2 - 3*y + 6. Is k(2) a multiple of 13?
False
Suppose -7 = -s - 0*s. Let d = s - 5. Does 15 divide ((-16)/20)/(d/(-75))?
True
Let k(t) = 6*t**2 - 2*t - 2. Is k(-3) a multiple of 13?
False
Let k = 8 - 0. Let l = k + -3. Is l a multiple of 5?
True
Suppose 3*f = -4*j - 73 + 1407, -3*j + 1003 = f. Is j a multiple of 21?
False
Suppose 3*r = 3*t + 288, 0*r = -2*r + 3*t + 197. Is r a multiple of 19?
False
Let y = 17 + -12. Does 5 divide y?
True
Suppose 5*b = -h - 0*h + 52, 2*h = 2*b + 164. Does 11 divide h?
True
Let c(i) = 2*i**2 + 5*i + 3. Let l be c(-3). Suppose l*w - w = 2*x + 11, -4*w = -x - 7. Is 6 a factor of 47/4 + x/(-12)?
True
Suppose 170 = 5*l - o, o - 4*o + 18 = l. Does 2 divide l?
False
Is 4 a factor of 40/30*(-9)/(-2)?
False
Let x(f) = -f**3 - 6*f**2 + 4*f - 29. Is 14 a factor of x(-8)?
False
Does 17 divide 1/4 + (2 - (-294)/8)?
False
Let h(l) = -l**2 - 9*l + 12. Let r be h(-10). Let b(d) = 2*d**2 - 4*d - 2*d**r - d**2. Does 3 divide b(-3)?
True
Let k = 2 + -10. Let t = -4 - k. Is t a multiple of 4?
True
Suppose -5*t + 408 = -t. Is 10 a factor of t?
False
Let o(u) = u - 1. Let i(m) = 4*m + 4. Let q(x) = -i(x) - o(x). Does 17 divide q(-4)?
True
Does 38 divide (-118 - 0/(-2))*(-3)/3?
False
Let x(h) = 10*h**2 + 2*h. Suppose 2*m + 10 = 7*m. Let w be x(m). Suppose 3*q + 5*d - 20 - 29 = 0, 4*d - w = -3*q. Does 6 divide q?
False
Suppose 3*p + 1770 = 5*n, p = -n + 4*p + 354. Does 59 divide n?
True
Suppose -l + 78 = 5*l. Let t = 20 - l. Is 2 a factor of t?
False
Let w be ((-121)/(-2))/((-6)/36). Is 11 a factor of w/22*(0 + -2)?
True
Let m(q) = -q**3 - 8*q. Let b be m(-6). Suppose -8 + 2 = 2*w, -2*w - b = -3*g. Does 13 divide g?
False
Let l(m) = 2*m - 9. Suppose t = -t + 16. Let g be l(t). Suppose g*q - 78 = 4*q. Does 13 divide q?
True
Suppose -4*v + h + 491 = -2*v, 3*v = 2*h + 735. Does 48 divide v?
False
Let o(w) = 0*w - 7*w - 14 - w**2 - 5*w. Does 2 divide o(-10)?
True
Suppose 75 = -0*a + a. Does 15 divide a?
True
Suppose -5*c + c - 72 = -2*p, -2*p - 3*c = -58. Let b = -18 + p. Is b a multiple of 14?
True
Let q(o) = o + 3*o**2 - o - 4 + 0*o. Is q(4) a multiple of 15?
False
Suppose 9 = -t + 21. Does 6 divide t?
True
Suppose 0*x - 4*x + 268 = 0. Is 22 a factor of x?
False
Suppose -7*x + 4*x + 6 = 0. Suppose -3*k - 7 = 4*u - 91, -30 = -k - x*u. Is k a multiple of 6?
True
Let q be 3/((-9)/(-6))*2. Suppose -4*o = -q*m + 26 + 38, 16 = -o - 3*m. Let i = o - -42. Does 13 divide i?
True
Let s(q) = 25*q**2 + q - 2. Let k be s(2). Suppose 4*j = -j + k. Suppose 1 = 3*m - j. Does 3 divide m?
False
Suppose 75 = t + 2*t - 3*y, -5*t + y = -105. Is 14 a factor of t?
False
Let n be 2*2*22/(-8). Let o = 18 - -3. Let q = n + o. Does 4 divide q?
False
Let s be 2 + 1 + -3 + -109. Let g = -57 - s. Does 14 divide g?
False
Let m = 239 - 143. Does 12 divide m?
True
Let o(v) = 4*v - 2. Suppose 4*g + 7 = 3*q, 0*q + 20 = 4*q. Is 6 a factor of o(g)?
True
Let u = -3 + 43. Does 10 divide u?
True
Suppose -3*d - 168 = -2*s, 0 = s + 2*s + d - 241. Let h be 49/(-3*(-1)/3). Let n = s - h. Does 16 divide n?
True
Suppose -3*j - 13 - 113 = 0. Is (-6)/(-8) + j/(-8) even?
True
Suppose 0 = i - 2. Let x be -72 + 1/1 + i. Let s = -22 - x. Does 21 divide s?
False
Suppose 4*k + 19 = -13. Let t = k - -24. Is 6 a factor of t?
False
Let n = 26 - 21. Does 5 divide n?
True
Let n(s) = -s**3 - 64. Let y be n(0). Let m be 2/3 + y/(-12). Suppose -p + 12 = -m. Does 18 divide p?
True
Let x(c) = c**2 - 4. Let t be x(0). Is 124/6 + t/6 a multiple of 20?
True
Let q(o) = 3*o**2 + 0*o**2 - 8 - 2*o**2 + 7*o - 1. Is 8 a factor of q(-10)?
False
Suppose 3*l = 0, -5*r - 84 = -l - 289. Is r a multiple of 14?
False
Let f(a) be the second derivative of a**4/6 + 7*a**3/6 + 3*a**2/2 - 4*a. Does 9 divide f(-5)?
True
Let y = -2 + 7. Suppose 791 = 5*g - y*k + 146, 5*g - 3*k = 635. Is (-6)/15 - g/(-10) a multiple of 12?
True
Suppose 0*l + 4 = -l. Let r = 6 + l. Is r even?
True
Let h be 6 + -1*(3 + -1). Suppose -2*k = -d + 56, h*d = d - 5*k + 190. Is d a multiple of 22?
False
Suppose 0*a = 4*p - 4*a, 3*a - 8 = -5*p. Let q(i) = -i**3 + 1. Let v be q(p). Suppose v = 7*g - 2*g - 80. Does 8 divide g?
True
Suppose 5*v - 5*d + 10*d = 320, 0 = 5*v - 4*d - 329. Suppose 0 = 2*c - 67 - v. Is 22 a factor of c?
True
Let z = 462 + -143. Does 29 divide z?
True
Suppose -o + 3*d + 408 = 0, o + 3*d - 82 = 308. Is o a multiple of 57?
True
Let v = -7 - -1. Let c(b) = b + 4. Let l be c(v). Does 5 divide (-2 - 1)*6/l?
False
Suppose -a + 51 = t - 2*a, 0 = -t - a + 51. Is t a multiple of 18?
False
Suppose -r = 4*r + 30. Let t(u) = u**3 + 8*u**2 + 10*u + 8. Does 20 divide t(r)?
True
Let i = 21 - 3. Does 15 divide i?
False
Let m(v) = -v + 11. Let r be m(8). Suppose 14 = 2*n + r*n + y, 4*y - 5 = -3*n. Suppose -4*w - 20 - 40 = -2*j, n*j - 2*w - 106 = 0. Is j a multiple of 20?
False
Let y = -69 - -100. Does 31 divide y?
True
Is 24 a factor of -3 - 0 - (0 + -74)/1?
False
Let c be (-2 - -3)*20/4. Suppose -h + 5*n = -3*h + 35, c*n + 10 = h. Is h a multiple of 12?
False
Let d = -29 + 49. Suppose 30 + d = r. Is r a multiple of 11?
False
Does 31 divide -2*124/(-8)*4?
True
Let g = -1 - -9. Let u = 14 - g. Is (u/(-9))/((-4)/246) a multiple of 15?
False
Suppose 12 = 2*i + f - 4, 0 = i - 3*f - 22. Suppose -2*a + 66 - i = 0. Is 14 a factor of a?
True
Let m = 2 + 0. Let l be 1 - (m - -2)/(-2). Suppose l*p + 3*z = 30, 0 = p + 3*p - 2*z - 52. Is 6 a factor of p?
True
Suppose 0 = -y + 3 - 1. Let l be (2 - -12)*y/4. Let w = l - -4. Is 6 a factor of w?
False
Let p(q) = -q**3 + 5*q**2 - 4*q + 3. Let t be p(4). Suppose 16 = t*x - 7*x. Is (39/(-1))/(6/x) a multiple of 13?
True
Suppose m = 2*f + 32, 0 = 6*m - 2*m - 3*f - 108. Suppose 200 = 2*y + 3*y + 5*l, 3*l + m = y. Does 12 divide y?
True
Let g(s) = s**3 + 4*s**2 + s + 1. Let d be g(-4). Let w = -4 - d. Is 1/w - (-1 + -32) a multiple of 11?
False
Suppose -m + 4*q - 408 = 0, -4*m + q - 118 = 1589. Does 22 divide m/(-6) + 9/(-27)?
False
Let r be (1 - 1) + (0 - 4). Let g be 10/r*12/(-1). Suppose 0 = 4*u - g - 62. Does 13 divide u?
False
Let w(v) = 4*v - 3. Suppose 3*k = 5*k - 2. Let q be 0/2 - (k - 3). Is w(q) a multiple of 4?
False
Let z(t) = -t**3 - 4*t**2 - 2*t - 5. Suppose -5*h - 31 + 11 = 0. Let w(n) = -n**2 - 3*n. Let b be w(h). Is z(b) a multiple of 3?
True
Let f = -64 - -90. Is 13 a factor of f?
True
Let i(q) = 7*q**3 + q**2 - 2*q - 2. Let m(d) = -29*d**3 - 5*d**2 + 9*d + 9. Suppose -5*b = 4 + 6. Let k(f) = b*m(f) - 9*i(f). Does 22 divide k(-2)?
True
Let g = -1 + 2. Is (g/(-1))/((-2)/18) a multiple of 2?
False
Let r(a) = 2*a - 5. Let f be r(4). Suppose -f = 3*o + g - 49, 3*g = o - 22. Is 10 a factor of o?
False
Let m be (-7)/(-7)*(-1 + -5). Let h = m - -8. Does 19 divide -3 + 1 + h*20?
True
Suppose 0 = -5*z + 15, -33 = -l - 2*l + 2*z. Is l even?
False
Let t = -16 - -28. Let g = 7 - t. Let r = g - -8. Is 3 a factor of r?
True
Let f = 17 - 11. Is 20 a factor of (-1816)/(-48) - (-1)/f?
False
Suppose -2*k - 55 = -311. Is 16 a factor of k?
True
Let y = 66 + -46. Is y a multiple of 10?
True
Suppose 0 = 9*y + 3*y - 312. Is y a multiple of 13?
True
Let l be ((0/1)/2)/(-3). Suppose 2*s - 6 = -0. Suppose -s*w + 4*w - 16 = l. Does 11 divide w?
False
Suppose 385*x = 388*x - 1152. Is x a multiple of 32?
True
Suppose 3*n + 18 = -0*n. Let i(w) = 3*w**2 + 3*w - 12. Does 26 divide i(n)?
True
Let l = -55 - -79. Does 8 divide l?
True
Let h = 75 - 40. Is 18 a factor of h?
False
Let f be 26/8 - (-9)/12. Let w = 13 - 8. Suppose -f*k + 8*v - w*v = -39, -4*v - 24 = -3*k. Is 5 a factor of k?
False
Suppose 0 = 4*x - 8*x. Suppose x = 5*n + 20 - 140. Is n a multiple of 8?
True
Suppose 40 = 5*b + 6*h - 2*h, -3*h = -15. Suppose -2*q - 4*j + 8 = -130, b*q = -5*j + 279. Let k = q + -40. Is k a multiple of 18?
False
Suppose 0 = -3*t + 5*n + 304, -4*t + 0*t + n = -428. Is t a multiple of 27?
True
Suppose 4*v + 4*d + 8 = 0, -2*d + 5 = 5*v - 0*d. Suppose f = -v, y + f = -2*f + 25. Is 17 a factor of y?
True
Let k(u) = -3*u - u + 12*u**2 - 6*u**2 - 7*u**2. Suppose -4*i - 4 - 4 = 0. Is 4 a factor of k(i)?
True
Does 23