vide v?
True
Suppose 5*k - k = -56. Does 10 divide (0 - 1)*k/1?
False
Let i(z) be the second derivative of -z**4/12 - 11*z**3/6 - z**2 + 2*z. Is 14 a factor of i(-6)?
True
Let l(a) = -a - 3. Let j be 6*(0 - -2)/(-4). Let i be l(j). Suppose -d - 3 + 13 = i. Is d a multiple of 7?
False
Let j(f) = f**2 + 2*f + 2. Let g be j(-3). Suppose 4*p = g*z + 71, p - 3*p + 22 = 2*z. Let t = p - 3. Is 11 a factor of t?
True
Suppose -q - 4*y = -0*q - 9, -5*q - y + 7 = 0. Let l be (-1)/(q/(-622)) + -2. Does 9 divide (-4)/18 + l/36?
False
Let g(n) = n**3 - 3*n**2 + 2*n + 4. Let q be g(4). Suppose 5*k + q = p, -4*p + k + 90 = 3*k. Does 8 divide p?
False
Does 8 divide -1 + 30/(2 - 0)?
False
Does 3 divide (-2)/3 - 188/(-12)?
True
Suppose 27 = -0*f + 3*f. Let p = f - 6. Suppose 0 = -2*k - 5*t + 29, 31 = -0*k + 2*k + p*t. Does 13 divide k?
False
Let v(x) = -x**2 + 5*x + 5. Let z be v(6). Let g be 3*z*(-8)/(-6). Let t = 9 + g. Is 2 a factor of t?
False
Suppose m + 66 = 3*m. Is 28 a factor of m?
False
Let d(t) = 1 - 9*t**2 - 2*t**2 + 0*t**2 - 4*t - t**3. Let r(g) = -g - 7. Let a be r(4). Is 16 a factor of d(a)?
False
Suppose 1 = -f + s + s, -2*s + 23 = -3*f. Suppose -n = 2*q - 2*n - 27, 0 = q - n - 12. Let h = f + q. Is 3 a factor of h?
False
Let w = 57 + 39. Is w a multiple of 12?
True
Suppose -5 = -q + z, q - 2*q - z = -1. Does 10 divide (-120)/(-18)*q/2?
True
Let r(b) = -b**2 - 6*b + 7. Suppose -32 = 5*y - 7. Does 11 divide r(y)?
False
Let c = 76 + -41. Does 7 divide c?
True
Let n = -9 - -14. Suppose -p + 1 = -n. Is 3 a factor of p?
True
Suppose -w + 55 = 2*w + 4*b, 3*w = -3*b + 60. Is w a multiple of 4?
False
Let s be ((-6)/5)/(6/(-15)). Suppose -5*f - s*g + 58 = -13, 0 = 4*g + 12. Does 11 divide f?
False
Suppose -3*t = m - 3*m + 378, 2*m + 5*t - 346 = 0. Is 19 a factor of m?
False
Let x(t) = -t**3 - 3*t**2 - 2*t + 8. Does 32 divide x(-6)?
True
Suppose 6*u - 64 = 4*u. Is u a multiple of 32?
True
Suppose j + 5*p - 4*p + 8 = 0, j + 4*p = -23. Let c(s) = -s**2 - 3*s + 4. Does 2 divide c(j)?
True
Let n(z) = 4*z**3 + 1 - 4*z**2 - 5*z**3 - 3 - 7*z. Is 29 a factor of n(-5)?
True
Suppose 0*r = 3*r - 21. Suppose -f - r + 4 = 0. Is f/(-1 - (-1)/4) a multiple of 3?
False
Let y(q) be the first derivative of q**4/4 - 2*q**3/3 - 2*q**2 - 4*q + 2. Suppose 4*v - 4 = -4*l, -4*l - 12 = -0*l. Is 6 a factor of y(v)?
True
Suppose 4*b + 4*m + 580 = 8*b, 289 = 2*b - m. Is b a multiple of 16?
True
Let r(a) = -a**3 + 20*a**2 - 14*a + 44. Does 25 divide r(19)?
False
Let d = 121 - 94. Is 11 a factor of d?
False
Let f = -59 - -148. Suppose f + 10 = m. Is m a multiple of 33?
True
Let s = -99 - -53. Is 13 a factor of 1/(-1 + (-48)/s)?
False
Suppose 4*o + 22 = 210. Let u = 149 + o. Let b = -139 + u. Does 19 divide b?
True
Let r = -1 - -3. Is 12 a factor of r*(0 + -1) + 14?
True
Let a(u) = -u**3 - 6*u**2 - 8*u + 11. Does 3 divide a(-5)?
False
Let a = 2 + -4. Let w(m) = -m**3 + 3*m + 1. Let o be w(a). Suppose 0 = o*q - 5*q - 4*z + 42, z = -2*q + 27. Is 11 a factor of q?
True
Let f = 5 + -5. Is 9 a factor of 108/6*(f - -1)?
True
Is 40 a factor of 7/((-21)/(-6)) - -38?
True
Suppose -5*o + 240 = -o. Does 6 divide o?
True
Does 23 divide ((-1)/(-3))/((-12)/(-144)) + 88?
True
Let x = 19 + -19. Suppose x*s = 3*s - 231. Does 24 divide s?
False
Let l(f) = 2*f**2 - 4*f + 2. Let b(h) = 2*h**2 - 3*h + 1. Let n(w) = -3*b(w) + 4*l(w). Suppose 5*r = -3*o + 19 + 1, 4*o + 12 = 3*r. Is 3 a factor of n(r)?
True
Let r = -13 - -257. Does 40 divide r?
False
Suppose -u - 4*x = 18, 2*u - 3 = 2*x + 11. Suppose -2*s - 3 = d, 2*d - u*s = s + 15. Does 3 divide d?
True
Let x be (-118)/3 - (-2)/(-3). Suppose 0 = z - 2*z + 67. Let c = x + z. Does 9 divide c?
True
Suppose -5*w = -254 + 89. Does 5 divide w?
False
Let o(l) = l**2 - 2*l + 5. Let q(i) = 3 - 2*i - 59*i**2 + 60*i**2 + 3. Let z(t) = 6*o(t) - 5*q(t). Is 5 a factor of z(-2)?
False
Let q = 22 + -12. Suppose -5*r + 15 + q = 0. Suppose -r = -l + 11. Is l a multiple of 8?
True
Is 2 - (1372/(-18) + 2/9) a multiple of 22?
False
Suppose -124 = -3*l + 4*g + 36, 3*l + 2*g - 190 = 0. Is 15 a factor of l?
True
Let y be (-3)/12 + 234/8. Let a = y - 43. Is 72/a*35/(-5) a multiple of 17?
False
Let z = -9 - -22. Let m = -19 + z. Is 15 a factor of 29 - (-3)/m*-2?
True
Let c(p) = -126*p - 2. Let h be c(-1). Suppose -124 - h = -4*o. Is 34 a factor of o?
False
Suppose 3*b = 4*b - 5. Suppose 2*p - b*p = -90. Does 15 divide p?
True
Suppose -6*v = -2*v + 5*y + 6, -y = v + 1. Suppose f - v = -3*q, 6 = 2*q - f + 7. Is 13/1 + (q - -2) a multiple of 6?
False
Let t(u) = 2*u**3 - 2*u**2 - 5*u + 2. Let s = 6 - 3. Suppose -n + a = -3*n + 9, -a - s = -2*n. Is t(n) a multiple of 8?
False
Let o = -2 + 0. Let c be (4/6)/(o/(-12)). Suppose c*m = 3*t - 83, 4*t - 28 = 2*m + 66. Is t a multiple of 6?
False
Let u(c) = 2*c**3 - c**2. Does 3 divide u(2)?
True
Suppose c + 19 = -15. Does 13 divide (3/2*c)/(-1)?
False
Suppose 1 = -2*c + 19. Suppose 4*s - c - 27 = 0. Is s a multiple of 3?
True
Let h = 43 + 7. Suppose 5*m = g + g - h, 0 = -2*g - 3*m + 66. Is g a multiple of 6?
True
Suppose -103 - 49 = -u. Is u a multiple of 19?
True
Suppose -2*z + z + 228 = 0. Let g be (z/15)/((-1)/5). Let a = g - -106. Is a a multiple of 15?
True
Suppose 0 = -2*x - 3*c + 6, x - 4*c = 3*x - 6. Suppose 0 = q - 0*q - 3, 4*q - 381 = -x*v. Does 31 divide v?
False
Suppose 4*o + 48 = 10*o. Does 8 divide o?
True
Let a = 119 - 75. Is a a multiple of 11?
True
Let a(q) = -q**3 - 2*q**2 - 2*q - 1. Let l be a(-5). Suppose 91 = 5*o - l. Does 13 divide o?
False
Suppose 7*y + 2*y - 126 = 0. Is y a multiple of 7?
True
Let t(k) = -8*k**2 + k + 1. Let q be t(-1). Let a(b) = -b - 8. Let d be a(q). Suppose 0 = -d*v + 3*v - 165. Is v a multiple of 20?
False
Does 13 divide (-3)/(-12) + (-830)/(-8)?
True
Let g(u) = u**3 + 9*u**2 + 9*u + 10. Let k be g(-8). Suppose -3*m + 105 = k*m. Is m a multiple of 7?
True
Suppose -12 = -2*v + m, 3*v - 10 = 2*m + 10. Let y = 7 + -5. Does 14 divide 41/v*2*y?
False
Let g = -29 - -65. Is g a multiple of 18?
True
Let o(p) = -3*p**2 + p + 1. Let h be o(-1). Is 13 a factor of (h + 2)/1*-13?
True
Suppose 135 = -0*z - 3*z. Let k = 30 - z. Let r = k + -54. Is r a multiple of 19?
False
Let v(i) = 3*i. Let q be v(-6). Let w = -6 - q. Does 12 divide w?
True
Let b = 151 - 75. Is 19 a factor of b?
True
Let y(p) = p**2 - 3*p - 4. Suppose 0 = -3*r - 12, 4*z - 44 = 4*r - 4. Does 11 divide y(z)?
False
Suppose -3*q + q + 18 = -5*b, -2*b = -4*q + 20. Suppose q*y - 37 = 11. Is 3 a factor of y?
True
Does 32 divide (-32)/(-5)*(-10)/(-3 + 2)?
True
Suppose -8*d = -383 - 33. Is d a multiple of 20?
False
Let y be 2/(-9) - (-228)/54. Suppose -y*f = -2*i + 320, -2*i + 2*f + 415 = 95. Suppose -i = -5*c - 0. Is c a multiple of 11?
False
Suppose -64 - 20 = -v. Does 14 divide v?
True
Let b(z) be the third derivative of z**6/120 + z**5/12 - z**4/4 + 2*z**2. Let x be b(-6). Let i(w) = -w**3 - w**2 + 4. Does 3 divide i(x)?
False
Let s(i) = -4*i - 4. Let g be s(-6). Let a be (-4)/6 + 22/6. Suppose 3*x = -c + g, 14 = -a*c + 5*x + 4. Does 5 divide c?
True
Suppose -5*f = -4 - 11. Suppose -2*r - 44 = 2*s, 2*s - 18 + 60 = -f*r. Let n = s - -34. Is 10 a factor of n?
True
Suppose 0*p - 5*p - 15 = 0. Let h = -1 - p. Suppose -2*x - h*y = -38, 3*x = 4*x - 5*y - 43. Does 6 divide x?
False
Let p be (-2)/8 - (-17)/4. Suppose 29 = 5*j + p. Suppose -j = -5*k + 50. Does 11 divide k?
True
Suppose 4*p - 320 = -92. Does 19 divide p?
True
Suppose 0 = 5*y - 2*c + 3*c - 519, y + 2*c = 111. Is 42 a factor of y?
False
Suppose -47 = -2*i + j, 3*j - 99 = -4*i - 0*j. Is 9 a factor of i?
False
Let t(f) = 3*f**2 - 4*f + 2. Let o be t(2). Let m = o + 0. Is m a multiple of 6?
True
Let n(h) = -h**3 + 6*h**2 + 3*h - 7. Let l be n(6). Let s(v) = -v**3 + 10*v**2 - 2 - 8*v + 22*v - 6. Is 12 a factor of s(l)?
False
Suppose -2*x + 2*t = 3*t - 196, 4*t = 2*x - 176. Suppose -3*b = -6*b - x. Does 10 divide (-3 - b) + -3 + 1?
False
Suppose -5*b + 48 = -3*r, -4*r + 26 = 3*b - 3*r. Is b a multiple of 9?
True
Let u be -3*(73/(-1) - -1). Suppose u = 5*g - 4*z, 2*z + 58 = -4*g + 236. Does 22 divide g?
True
Let d(z) = 62*z**2 + z + 2. Let j be d(-1). Suppose -2*k - j = -3*p + k, -2*p + 5*k = -45. Does 10 divide p?
True
Suppose -3*u - 5*t = -t - 41, 34 = 2*u + 4*t. Does 2 divide u?
False
Let n be (