s i a multiple of 4?
True
Let d(v) be the second derivative of 5*v**2 + v**3 - 2*v + 0 - 1/12*v**4. Is d(7) a multiple of 2?
False
Is (-3)/(-12)*4*38 a multiple of 19?
True
Let z = 1328 + -920. Is 39 a factor of z?
False
Let j be (-12 - -3)*1/(-3). Suppose j*x - 16 = -x. Suppose 3*d = x*d - 17. Is 6 a factor of d?
False
Let i(j) = -j**3 - 3*j**2 - 5*j + 1. Let a be -4 + (-5 + 3 - -2). Is 15 a factor of i(a)?
False
Let q(c) = 2*c**3 - 4*c**2 + 2*c + 2. Let u be q(4). Suppose 4*r - 2*d - u = 0, -11 = 4*r - 5*r - 2*d. Is 8 a factor of r?
False
Let q = -11 + 22. Let p = 8 - q. Is 92/6 + 1/p a multiple of 12?
False
Suppose j - 4*t - 5 = -0*t, -5*j + t + 82 = 0. Suppose -5*p + 8 = 4*n - j, -4*n + 10 = 2*p. Suppose n = -3*z + 25 + 20. Is z a multiple of 9?
False
Let f = 91 - 53. Does 10 divide (f - (1 - -1)) + -3?
False
Is ((-12)/(-24))/((-1)/(-48)) a multiple of 24?
True
Let t(r) = r**3 - 4*r**2 - 2*r - 1. Let s be t(4). Let l(i) = i + 12. Does 3 divide l(s)?
True
Let q(w) = -2*w + 5. Let o be q(10). Let r = o + 21. Is r a multiple of 2?
True
Let a(m) = 22 + 2*m + 6*m - 8 - m. Is 25 a factor of a(11)?
False
Suppose 256 = -0*x + 4*x. Does 10 divide x?
False
Let r be 2/4 + 237/6. Let v = 84 - r. Does 22 divide v?
True
Suppose -18 = -2*a + 5*i, 2*i + i = -6. Suppose 0*n + 4 = -4*n - a*w, 3*n - 21 = 5*w. Suppose d = -n*d + 36. Is d a multiple of 5?
False
Is (-600)/45*30/(-4) a multiple of 32?
False
Let d(b) = -b**3 - b**2 + 5*b + 3. Let z be d(-3). Suppose -z*s = -5*s - 36. Is s a multiple of 9?
True
Let v be (-74)/(-14) - 8/28. Let z be (-1)/3*(v - 17). Suppose -8*w = -z*w - 116. Does 10 divide w?
False
Let j be 2/(8/2 - 2). Suppose -12 = 3*i, 0 = 5*r - 3*i - 1 - j. Is -24*r/(6/5) a multiple of 20?
True
Let y(n) = n + 3. Let b be y(4). Is 11 a factor of (-108)/(-10) + b/35?
True
Let w = 15 + 5. Suppose -o = -0*o - w. Suppose -4*v = h + 1 - o, -4*v = -2*h - 10. Is h a multiple of 3?
True
Suppose h = -5*x + 5, -4 = -4*h - 3*x - 1. Suppose -g - 5 = -h. Let m = g + 20. Is 6 a factor of m?
False
Let z(p) = -p**2 + 4*p + 3. Let r be z(4). Suppose -2 = r*u - h - 1, -4*h + 4 = -3*u. Suppose f + 3*f - 12 = u. Does 3 divide f?
True
Let a be ((-6)/4)/((-6)/(-32)). Does 14 divide (a/10)/((-6)/255)?
False
Suppose 8 = 4*j - 8. Let l(u) = 9*u - 6. Does 10 divide l(j)?
True
Suppose -27 = -g - 5*a, 3*g + a - 29 = -a. Is g a multiple of 4?
False
Is 12 a factor of (-12)/(26/14 - 2)?
True
Let u = -44 - -92. Suppose -q - 3*q + u = 0. Does 10 divide q?
False
Suppose -20 = -6*w + 5*w. Is w a multiple of 4?
True
Let o(t) = t**2 - 3*t + 1. Let s be 9 + 0 + (-2 - 0). Suppose -3*q + s = -5. Is 2 a factor of o(q)?
False
Suppose 0 = 2*f - 87 - 99. Let r = f + -11. Does 21 divide r?
False
Let k = 4 + -1. Let n = k - 0. Suppose 3 = x - n. Does 6 divide x?
True
Suppose -r - 6 = -4*r. Let g(i) = 1 - 4*i**3 + 6*i**2 - 1 + 3*i**3 + r + i. Is 4 a factor of g(6)?
True
Let a be (-12)/(-2) + 1 + -1. Let m = -3 - -5. Suppose m = -i + 3*h, h - a = -h. Does 7 divide i?
True
Let y(o) be the third derivative of 29*o**5/60 - o**3/6 + o**2. Does 19 divide y(1)?
False
Let n be 2/((-3)/(243/(-6))). Let g = 29 + n. Does 22 divide g?
False
Let v be (-6)/2*(-28)/1. Suppose -2*s - 2*s = -4*h + v, -5*h = -s - 117. Is 8 a factor of h?
True
Let p = -176 + 336. Is 20 a factor of p?
True
Suppose 5*j = x + 110, x = -0*j + j - 18. Does 9 divide j?
False
Suppose -2*c = -7*c + 460. Does 10 divide c?
False
Suppose 3*d - 4*w = -6*w + 104, w + 146 = 4*d. Does 9 divide d?
True
Let p = -30 - -86. Does 9 divide p?
False
Let f(n) be the second derivative of n**6/240 - n**5/60 - n**4/6 - 2*n. Let t(i) be the third derivative of f(i). Is 15 a factor of t(6)?
False
Let b = 255 + -111. Does 16 divide b?
True
Suppose 3*b - 165 = -5*q - 16, 0 = -q - 2*b + 27. Suppose -5*h = -20, -3*o = 2*h - 7 - q. Is 2 a factor of o?
True
Suppose -5*s - 3*b + 6 = 0, 4 + 5 = -3*b. Suppose v - 5 = -6. Is (-112)/12*v*s a multiple of 14?
True
Let a be 2/(-5) - 64/(-10). Let v be 8/a*(0 + 3). Suppose 2*t + 42 = v*r, -3*t = -5*r + 62 - 11. Is 12 a factor of r?
True
Suppose 0 = -5*s - 5*o - 15, 0 = 4*s - 4*o + 3*o - 3. Let j(b) = -b**3 - b**2 - b + 25. Does 16 divide j(s)?
False
Suppose 3*l + 81 - 366 = 0. Is 19 a factor of l?
True
Let d = 75 + -124. Let w = -15 - d. Is w a multiple of 17?
True
Is 12 a factor of (-16 + 2)*(-96)/56?
True
Let s = 13 - 28. Let n = 13 - s. Let t = n - 16. Does 6 divide t?
True
Suppose f - 6 = 4*f. Suppose l + l = -104. Is (l/f)/(-1 + 2) a multiple of 13?
True
Let h = 37 + -23. Does 14 divide h?
True
Let q be (105*(-3)/3)/1. Let l = 269 + q. Suppose -l = -4*i + 8. Is 16 a factor of i?
False
Suppose -f + g + 56 = 0, 2*f + 5*g = -0*f + 140. Is f a multiple of 20?
True
Let m be (-1 - -2 - 2) + -5. Let k(r) = 2*r**3 + r**3 - 4*r**3 - 6*r**2 - 1 - 2*r. Is 11 a factor of k(m)?
True
Let f(v) = -v**2 - 6*v + 6. Let y be f(-7). Let o be 2 - (-1 - y) - 2. Suppose -p = 2*p + u - 58, 3*p + 3*u - 54 = o. Does 10 divide p?
True
Let j = 37 - 22. Let f be 2/((-2)/4*-2). Does 9 divide 129/j - f/(-5)?
True
Is 141 + -1 + (-2)/(-3)*3 a multiple of 11?
False
Let q = 287 - 205. Is 37 a factor of q?
False
Suppose 2*o - 60 = 22. Does 15 divide o?
False
Let a(q) = -q**2 + 7*q. Suppose 4*u - 2*u = 12. Is a(u) a multiple of 6?
True
Suppose 5*w + 430 = 10*w. Is 18 a factor of w?
False
Let m = -6 + 11. Let f = -1 + m. Is 2 a factor of 10/f*6/5?
False
Let y be (4/(-10))/(12/(-30)). Let o = y - -2. Suppose -o*w + 8 = -w. Does 4 divide w?
True
Let a(p) = -8 - 4*p**2 + 5*p**2 - 2*p + p. Is 24 a factor of a(-7)?
True
Suppose -16 = -4*y + 4, -y - 5 = -5*v. Suppose 0 = x + 2 + v. Is 1/x + (-21)/(-4) a multiple of 5?
True
Suppose -39 = -3*q - 0*q. Let i be 2/(-6) - q/(-3). Is i/(0 + -2) + 5 a multiple of 2?
False
Let x(k) be the second derivative of k**3/6 + 3*k**2/2 + 4*k. Let o be (2 - 0)/((-1)/(-4)). Does 5 divide x(o)?
False
Let v = 52 - 15. Does 7 divide v?
False
Suppose 4*t + 2 = 5*t. Is 2 a factor of t?
True
Suppose -63*v = -62*v - 28. Is 6 a factor of v?
False
Let r(s) = s**3 + 4*s**2 - 7*s + 6. Let b(v) = v**2 - 8*v + 1. Let p be b(7). Let t be r(p). Let q = -3 - t. Does 21 divide q?
True
Suppose j = -3*j - 12. Is 8 a factor of (-2)/j*27/2?
False
Let h be 1*10 - (8 - 11). Let r = 0 + -5. Let f = h + r. Is f a multiple of 4?
True
Suppose -2*j + 416 = 3*j - u, 2*u = -2. Is 14 a factor of j?
False
Suppose -4 = -2*r + 2. Suppose -r*s + 16 = 1. Let v(i) = i**3 - 6*i**2 + 7*i - 7. Is v(s) a multiple of 2?
False
Let f be (0 + 0)/((-3)/(-3)). Let d(k) = -k**3 - k**2 + k + 13. Is 10 a factor of d(f)?
False
Let w = 6 - 11. Does 11 divide (8/w)/((-2)/30)?
False
Does 27 divide (-1)/2 + (-10)/12*-33?
True
Suppose 5*u + 109 = 4*r, 4*r = -0*r + 3*u + 99. Does 2 divide r?
False
Let t be (-10)/(-8) - (-1)/(-4). Is t/1*(-3 + 9) a multiple of 3?
True
Suppose -45 = -6*r + 3*r - 5*k, -5*r + 65 = 5*k. Is 3 a factor of r?
False
Suppose -u = -68 - 4. Does 9 divide u?
True
Suppose -3 = 5*h - 18. Is -3*(106/(-6) + h) a multiple of 22?
True
Suppose -5*i - 12 = 3. Let q(j) = -j**2 - 4*j - 3. Let m be q(i). Suppose 0 = -m*k + 5*k - 160. Does 12 divide k?
False
Let w be ((-18)/4)/(4/(-96)). Suppose w - 18 = 5*n. Does 9 divide n?
True
Let d be 12/8*8/6. Let k = d + 2. Is 2 a factor of k?
True
Suppose 5*o - 21 = 2*o. Suppose 7*u - 10 = 2*u. Suppose -u - o = -v. Does 8 divide v?
False
Let r be (8/4 - 2)/(-1). Let j(i) = 3*i**3 - 4*i**2 + 4*i - 20. Let g(q) = 8*q**3 - 11*q**2 + 11*q - 59. Let y(s) = -4*g(s) + 11*j(s). Is 8 a factor of y(r)?
True
Suppose 0 = -x - 2*o + 10 - 4, -2*o + 26 = -4*x. Is x/(-4) - (1 + -13) a multiple of 13?
True
Let j = -14 - -5. Let g(y) = 0 - 4*y - 7*y - 3*y**3 + 3 + 4*y**3 + 8*y**2. Is g(j) a multiple of 19?
False
Let x(w) be the first derivative of 22*w**3/3 - w**2 + w - 15. Suppose m + 2*q - 7*q = 21, -3*m = -2*q - 11. Is x(m) a multiple of 21?
True
Let f = 4 - -1. Suppose 2*i = -3*b + 8 + 109, f*i - 289 = -4*b. Suppose 3*t - i = 5*d - 13, 5*d = -5. Is 13 a factor of t?
True
Let t = -5 - -7. Let a be -57 + t - (3 - 3). Let n = a + 77. Is n a multiple of 10?
False
Suppose 2*p - 5*p = -105. Is 9 a factor of (p/10)/(1/4)?
False
Suppose 5*f = -t + 6*t, 0 = t + 3*f - 16. Let m be (-470 - -12)*1/(-2). Suppose 3*k - m = -p, -255 = -t*k + p + 48. Is k 