5*u - 20. Does 5 divide (-3 - -4)*(5 + h)?
True
Let z(k) = -3*k**3 - 6*k - 4. Is 17 a factor of z(-3)?
False
Let w(t) = -5*t**3 + t**2 - 4*t + 8. Let p(s) = -3*s**3 - 2*s + 4. Let z(v) = 7*p(v) - 4*w(v). Let m = -1 + -4. Is z(m) a multiple of 11?
True
Let r = 9 - 15. Is 8 a factor of 15 + r - (2 + -1)?
True
Suppose 0*i + 4*i - 144 = 0. Does 12 divide i?
True
Let d = 485 + -345. Is 14 a factor of d?
True
Let g(r) = r - 9. Let n be g(9). Suppose -4*j - s = -8, 5*j - 10 + n = 4*s. Suppose -4*c - 52 = -5*x - 0*c, -j*c = x - 2. Is 4 a factor of x?
True
Is 14 a factor of 426/6 - (-6)/(-2)?
False
Let y(u) = 95*u + 1. Let d be y(1). Suppose -n + d = 3*n. Is 8 a factor of n?
True
Suppose 5*l - 3 = 22. Suppose 5*v - 25 = 0, 0*o + 4*v - l = 5*o. Let m = o - 0. Is m a multiple of 3?
True
Does 3 divide ((-10)/4)/((-9)/36)?
False
Let n(o) = -7*o + 2. Let g(f) = -3*f + 1. Let q(m) = -9*g(m) + 4*n(m). Let j be q(-5). Suppose -j*i + i = -6. Is 2 a factor of i?
True
Suppose -13*q + 384 = 85. Is q a multiple of 5?
False
Let g(n) = -9*n**2 - 5*n - 4. Let k(v) = 8*v**2 + 4*v + 3. Let h(o) = 3*g(o) + 4*k(o). Does 2 divide h(1)?
True
Suppose -14*y - 240 = -19*y. Is y a multiple of 24?
True
Let p(s) = -s**2 + s + 20. Is 9 a factor of p(0)?
False
Suppose 5*j + g - 2*g = 444, g - 1 = 0. Suppose -131 = -5*f + j. Is 22 a factor of f?
True
Suppose -4*f - 2*k = -0*k + 2, 0 = 3*f + k - 1. Let x = f + 18. Suppose -x = -4*q, 2*q + 3*q = -3*o + 58. Does 8 divide o?
False
Does 7 divide -5*(-6)/15 - -26?
True
Let g = -4 - -1. Let d(z) = -2*z - 3. Let o be d(g). Suppose -o*y = -a + 5 + 9, 5*a + 3*y = 34. Is 8 a factor of a?
True
Suppose 4*n - 162 = -u, -4*n = 5*u - 3*u - 164. Does 8 divide n?
True
Is 2*23 - -4*(-3)/4 a multiple of 9?
False
Let g(j) = -7*j**2 + 7*j - 5. Let p(a) = -20*a**2 + 20*a - 14. Let w(f) = 14*g(f) - 5*p(f). Does 11 divide w(-2)?
False
Does 12 divide (-14 - -1)/(1/(-3))?
False
Suppose 60 + 66 = 6*b. Is b a multiple of 21?
True
Suppose -m = 2*r - 2*m - 367, -r + 176 = m. Is 15 a factor of r?
False
Suppose -47 = -p - 2*h, 2*p + 6*h - 4*h - 102 = 0. Suppose 2*j - 2*m - 89 = -7*m, -j + p = -m. Does 13 divide j?
True
Suppose y = 11*y - 20. Is 2 a factor of y?
True
Suppose 3*z + 72 = 264. Is z a multiple of 10?
False
Let p(n) = -8*n - 1. Does 31 divide p(-6)?
False
Suppose -2*y + 130 = 5*o, -231 = -5*y - 2*o + 73. Is 12 a factor of y?
True
Let t = 19 - 37. Is 11 a factor of (-9)/3*1 - t?
False
Let f(b) = 3 - 7*b - 9 + 5. Is f(-7) a multiple of 16?
True
Suppose -2*a + 11 = -w, 3*w + 5 = -4*a + 12. Let r = -4 + a. Let j(h) = h + 8. Does 4 divide j(r)?
True
Let b = 7 + -2. Is b a multiple of 3?
False
Suppose 5*x = k - 3, -12 = k - 5*k - 4*x. Is 3 a factor of k?
True
Suppose 29 = s + 14. Is s a multiple of 15?
True
Let u be (4 + 1)*(-6)/(-15). Suppose 2*s = -2*n + 276, -u*s + 0*s - 5*n + 285 = 0. Is 35 a factor of s?
False
Suppose -12 = -3*y, -4*y - 4 = -4*r - 20. Suppose -3*b + 5*b - 2 = r. Let w = b - -2. Is w even?
False
Let p = 12 + -7. Does 2 divide p?
False
Let l(s) = 27*s**2 + 1. Is 5 a factor of l(1)?
False
Let n(c) = 3*c**2 + 11*c + 9. Does 17 divide n(-9)?
True
Suppose 3*o - 48 = 9. Does 10 divide o?
False
Let s be -3*3/(6/(-2)). Suppose -9 = -3*y - 2*y - s*o, -2*o + 6 = -3*y. Suppose l + y*l - 30 = 0. Does 15 divide l?
True
Let b(a) = -a + 2. Is 5 a factor of b(-6)?
False
Let h(u) = -34*u + 94. Is 25 a factor of h(-8)?
False
Let x(l) = -l**3 - l + 252. Is x(0) a multiple of 18?
True
Let r(t) = 3*t + 6*t**2 + 0*t - 2 - 3*t - t. Is r(-2) a multiple of 12?
True
Suppose -9 = o - 3*o + 3*k, o = 2*k + 5. Suppose o*j - 5*j = 4*l - 6, 2*j = 5*l - 30. Suppose 4*p - 28 = l*y, 4*p + 0*p = 2*y + 18. Is 2 a factor of p?
True
Let q = -40 - -58. Does 17 divide (-4)/(-18) - (-734)/q?
False
Let u be -50*(-4)/(-4 - 0). Let l = u - -84. Is l a multiple of 8?
False
Let f = -8 + 6. Let o = f + 4. Suppose 4*q = c - 10, o*c + 2*q - 5 = 15. Is 5 a factor of c?
True
Let m(l) be the first derivative of 6*l**2 + l + 1. Does 8 divide m(3)?
False
Is 15 a factor of (-10)/(-45) - (-1519)/9?
False
Let o(p) = 0 + 6*p**2 - 6*p + 1 + 2. Let v be o(4). Suppose -19 = 4*s - v. Is 14 a factor of s?
True
Let q be ((-2)/(-3))/(3/(-9)). Is ((-1)/(q/(-20)))/(-1) a multiple of 10?
True
Let u be (-9)/(-27) - 2/(-3). Suppose 0 = q + 3, 0 = -5*h + 6*h - 2*q - 22. Is 4 a factor of ((-4)/(-8))/(u/h)?
True
Suppose 3*s + 2*k - 3 - 3 = 0, -4*s + 4*k = -28. Let w(q) = -q**2 + 6*q. Is 3 a factor of w(s)?
False
Suppose 3*s + 39 = 156. Does 19 divide s?
False
Let s(w) = 111*w**2 - 1. Is s(-1) a multiple of 11?
True
Let c(j) = 4*j**2 - 11*j - 13. Is c(7) a multiple of 12?
False
Let o(z) = -17*z - 9. Does 31 divide o(-6)?
True
Let k = -1 + 5. Suppose 3*a + 11 = k*b - 14, -2*b + 11 = -3*a. Is 3 a factor of b?
False
Let z = 126 + 98. Is 14 a factor of z?
True
Suppose 2*f + 193 = 3*y, 142 = 2*y + f + f. Is 17 a factor of y?
False
Let f be 6*2/(4/(-5)). Does 14 divide (-3 - -1)/2 - f?
True
Let p(w) be the first derivative of -17*w**5/20 - w**4/6 - w**3/3 - w**2/2 + 2*w + 1. Let i(a) be the first derivative of p(a). Does 8 divide i(-1)?
True
Let n = 18 + -4. Is n a multiple of 6?
False
Let l(c) = c**3 + c**2 - 1. Let z(k) = 2*k**3 + 3*k**2 - 2. Let y(w) = -5*l(w) + 2*z(w). Does 4 divide y(-2)?
False
Let t(g) be the first derivative of g**4/12 - g**3 + 5*g**2/2 + 3*g + 3. Let y(w) be the first derivative of t(w). Does 12 divide y(7)?
True
Let g(l) = -4*l - 3. Let w be g(-2). Suppose -r = -w*x - 2 - 2, 5*x - 20 = 0. Does 8 divide r?
True
Suppose c = -2*b + 10 - 4, -16 = -2*c - 3*b. Does 4 divide c?
False
Let k be -1 - (0 - (1 - 0)). Let v = 27 + -18. Let z = v - k. Is z a multiple of 9?
True
Let v(q) = -54*q + 11. Let o be v(-6). Suppose 0 = m + 3*p + 12 - 63, -5*m + p = -o. Is m a multiple of 21?
False
Let v(s) = s**2 - s - 3. Let c be v(3). Suppose u = 3, 5*u - 2*u - 5 = 2*o. Suppose o*t = 4*t - 10, -c*k + t = -100. Is 16 a factor of k?
False
Is 21*(-44)/(-24)*2 a multiple of 28?
False
Let w(u) = u**2 + 2*u - 1. Let m be w(-3). Suppose f = m*f. Suppose 4*z - 40 - 8 = f. Is 12 a factor of z?
True
Let a be 932/28 - 2/7. Let k be 1 - (11 - 0) - 2. Let z = k + a. Does 8 divide z?
False
Let k be (-10)/(-4) - (-1)/2. Suppose 2*x - 132 = -0*j - j, -4*j + 193 = k*x. Suppose -5*i - 3*q = -x, 2*i = -q - 2*q + 25. Does 12 divide i?
False
Let g(f) be the third derivative of 23*f**5/60 - f**4/24 + f**3/6 + 3*f**2. Is g(1) a multiple of 8?
False
Suppose -276 = 10*x - 14*x. Does 14 divide x?
False
Suppose 0 = 4*q + q - 25, -4*q = -f - 16. Is 3 a factor of f?
False
Suppose k - 4*a = -0*a + 60, k - 60 = -5*a. Is 6 a factor of k?
True
Suppose 5*w - x = 20, 9 = -3*w + w - 3*x. Suppose -5*f + w*h + 271 = -0*h, 5*h + 222 = 4*f. Does 11 divide (-4)/(-10) - f/(-5)?
True
Let i be 8 + -10 + 9 + 2. Suppose 4*m + i = 2*h + 3, 4*h = -m + 21. Is 5 a factor of h?
True
Suppose 2*f - 659 = -4*o - f, 4*o + 2*f - 654 = 0. Is o a multiple of 23?
True
Let w(y) = -15*y - 1. Let p(r) = -r + 1. Let n(f) = -2*p(f) + w(f). Is 23 a factor of n(-2)?
True
Let p be (51/(-6))/(2/(-8)). Suppose 0 = 4*j - 158 - p. Is j a multiple of 16?
True
Let h = 7 + 3. Does 5 divide h?
True
Let o(h) = h**2 + 12*h + 14. Is o(-12) a multiple of 7?
True
Let p(i) = -i**3 + 8*i**2 + 5*i + 15. Is 13 a factor of p(5)?
False
Suppose 2*f = d + 6, 8 = 3*f - 4*d + 4. Suppose f*w = -59 + 159. Is 19 a factor of w?
False
Let g(z) = -2*z - 6. Let n be g(-5). Is (39/n)/((-9)/(-72)) a multiple of 21?
False
Is 38 a factor of 4/(-7) - (-3 - (-1545)/(-21))?
True
Let f(a) = 5*a**3 - 8*a**2 + 17*a - 4. Let p(b) = -b**3 + 2*b**2 - 4*b + 1. Let t(i) = -2*f(i) - 9*p(i). Let o be t(1). Is (67/2)/((-1)/o) a multiple of 23?
False
Suppose 2*p - 115 = p. Let x = -75 + p. Does 20 divide x?
True
Suppose w + 4*w - 5*x = 85, 2*x = -4. Is w a multiple of 15?
True
Does 8 divide 21/4*(0 + 8)?
False
Let f(j) = 14*j - 3. Does 25 divide f(2)?
True
Is 43 a factor of -2*2 - (-540)/6?
True
Let k(l) = -l**3 - 16*l**2 + 2*l + 10. Let s be k(-16). Is 6 a factor of 6/33 - 194/s?
False
Let n(v) = 32*v**3 + v**2 - 2*v + 1. Let a = 26 - 15. Let d = a - 10. Is n(d) a multiple of 16?
True
Suppose -4*c + 11 = s, 0 = -5*s + 5*c + 5. Let o = s - 1. Suppose -2*v - o*v + 10 = j, 0 = 5*v. Is j a multiple of 9?
False
Let n be (30/(