 divide v?
False
Let k(p) = 2*p**3 + 3*p**2 - p - 1. Does 6 divide k(2)?
False
Let n = 446 + -238. Does 36 divide n?
False
Suppose -3*s + 24 = 2*h - 0, -h = 4*s - 7. Let m be 1/(12/h - 1). Is 6 a factor of (6/m)/(6/(-80))?
False
Suppose 0*v = -2*v - 4. Let y be v/5 - (-48)/20. Suppose s + 16 = y*s. Does 16 divide s?
True
Let h be (-1)/1*(-3 + 0). Suppose 0*q - 16 = -2*q - h*p, 14 = -q + 4*p. Suppose -q*l - l + 42 = 0. Is 14 a factor of l?
True
Let x = -14 + 37. Let z = 34 - x. Suppose 3*r - 43 - z = -4*w, 0 = -3*w. Does 18 divide r?
True
Let w(k) = 1 - 5 - 8*k + 1. Let x = 8 + -12. Is 19 a factor of w(x)?
False
Suppose -4*x + 17 = -139. Does 24 divide x?
False
Suppose 0 = 2*i - 7 + 5. Is 3 a factor of 27/3*i - 2?
False
Let y(d) be the second derivative of -d**5/20 - 5*d**4/12 - d**3/6 - 3*d**2/2 + 3*d. Let l be y(-5). Suppose l = -w + 5. Is 2 a factor of w?
False
Let n = -61 - -109. Does 16 divide n?
True
Let f(q) be the third derivative of q**4/12 - q**3/6 + 2*q**2. Let y be f(1). Does 11 divide y/(-7)*12*-7?
False
Suppose f = -3*f + 152. Is 5 a factor of f?
False
Suppose o - c + 123 = 0, -3*o - c = -3*c + 374. Is 12 a factor of (9/4)/((-24)/o)?
True
Suppose 16*z - 12*z = 140. Is 5 a factor of z?
True
Let w = -54 - -87. Is w a multiple of 11?
True
Suppose j - 3*j = 12. Let y be j/(-21) - (-864)/14. Let f = -33 + y. Does 10 divide f?
False
Let o = 1 - -4. Suppose -3*z - 4*s + 419 = 0, z - 2*z + o*s + 127 = 0. Let g = z - 96. Is 15 a factor of g?
False
Let k(a) = -a**3 - 5*a**2 + 5*a - 8. Let s be k(-6). Is 42*(2*s)/(-8) a multiple of 7?
True
Suppose -5 = 4*c - 5*s + 15, 0 = 3*s. Is 16 a factor of (-4 - c) + 64 + -1?
True
Let r be (-4)/6 + (-3)/9. Let n(l) = 33*l**2 + l + 1. Does 11 divide n(r)?
True
Let k be 10 + (-3)/((-3)/(-1)). Is 9 a factor of (3/k + -1)*-27?
True
Suppose -3*a = -2*v + 48, 3*v - 23 - 35 = a. Does 3 divide v?
True
Let t(l) be the second derivative of l**4/12 - l**3/3 + 5*l**2/2 + 5*l. Does 10 divide t(5)?
True
Is 20/6 + -2 - 2367/(-27) a multiple of 5?
False
Let u be 2 - -1 - (-75 + -6). Suppose 3*y - x - u = -4*x, 4*y - 130 = 5*x. Does 15 divide y?
True
Suppose -3*y + 22 + 125 = 0. Does 4 divide y?
False
Suppose -3*a + 4 = -t - a, 0 = 3*t - 3*a + 6. Let v be (0 - t)*2/4. Suppose -4*f = v, -4*z + 30 = -2*z - f. Is z a multiple of 15?
True
Let f be 2/7 + (-40)/(-7). Let q = 36 - f. Is 10 a factor of q?
True
Suppose -3*z + 10 = -56. Is z a multiple of 7?
False
Suppose 0 = -3*a - 2*a. Let z(p) = -p**3 + p**2 + p + 42. Is 11 a factor of z(a)?
False
Let m be (4 - 5)/((-2)/342). Suppose 4*p = p + m. Is p a multiple of 19?
True
Let n(i) = -i**3 + i**2 + i + 2. Let b = 4 - 4. Let h be n(b). Does 8 divide 32*(h - (-9)/(-6))?
True
Suppose 0 = 7*o - 2*o - 10. Suppose -5*p - o*w = -86, 2*p + 5*w + 0 = 26. Does 8 divide p?
False
Suppose -139 = 3*p + b, -2*p - 3 = -2*b + 95. Let j be p/(-9) + (-2)/9. Suppose 4*v - 39 = 3*n, -4 - 1 = j*n. Does 9 divide v?
True
Let t(r) = -r**3 + r**2 - r - 1. Let n be t(-1). Suppose 0 = n*q - 4 - 6. Suppose 4*d - 25 = -q. Is d a multiple of 5?
True
Suppose 2*u = 4*a + 338, a = u - 5*u + 658. Is 12 a factor of u?
False
Let y = 72 + -8. Does 21 divide y?
False
Is 35 a factor of (-9)/36 - ((-3789)/12)/3?
True
Let y(l) = -l**3 - 3*l**2 - 6*l + 2. Is y(-7) a multiple of 40?
True
Suppose 3*k + f = -0*f + 129, k - 48 = -2*f. Let j = 66 - k. Is 19 a factor of j?
False
Let w(y) = -y + 1. Let i(m) = 5*m + 12. Let r(j) = i(j) - 3*w(j). Let q be r(-6). Let p = -26 - q. Is p a multiple of 7?
False
Let o = 2 - -1. Does 9 divide (-48 + o)*(-3)/5?
True
Let k be 1*-4 + (-2 - -43). Suppose 2*f + d - 4 = 103, -5*f + d = -278. Suppose -2*l + k = h + 3*l, -3*h + f = l. Is 5 a factor of h?
False
Let v(p) be the first derivative of p**4/4 + p**3/3 - 4*p + 1. Let r be v(3). Suppose 4*k - r = 4*i, -13 = -4*k - 3*i + 19. Is 8 a factor of k?
True
Let n = 11 - -25. Is 11 a factor of ((-21)/(-2))/(27/n)?
False
Let l(a) be the second derivative of -1/6*a**3 + 0 - a + 4*a**2 + 1/12*a**4. Is 8 a factor of l(0)?
True
Suppose -5*k + 5*c = 150, 31 - 172 = 5*k + 4*c. Is 17 a factor of 3 + 0 - (-1 + k)?
False
Suppose 0 = -b + 3. Let p = b + 3. Is p even?
True
Let n(j) = -j**3 + 2*j**2 + 3*j - 3. Let o be n(2). Suppose -x - 2*z + 13 = -3*z, 5*x = -o*z + 57. Does 12 divide x?
True
Let h(g) = g - 1. Let s(j) = -j - 3. Let p(q) = 2*h(q) + s(q). Let d be p(5). Suppose d = -m + 17. Is 12 a factor of m?
False
Let b(c) = c**2 + 5*c + 4. Let t(f) = f**2 + 5*f + 4. Let a(r) = 4*b(r) - 3*t(r). Does 13 divide a(-9)?
False
Let j(z) = -z + 1. Does 3 divide j(-2)?
True
Let f be 3/(9/21)*1. Suppose 0 = -4*k + o - 4*o - f, 0 = -k + 4*o + 22. Suppose 150 = 3*h + k*h. Is h a multiple of 17?
False
Is 3 a factor of (-1)/(-8) + (-138)/(-48)?
True
Let p(v) = -v + 2. Let o = 11 + -13. Is p(o) a multiple of 3?
False
Let g(t) = -8*t + 2. Let d be g(2). Let k be 2/(-4) + d/4. Let i = k - -22. Is i a multiple of 9?
True
Let v(m) = m**2 + 6*m - 1. Let j be v(-7). Suppose -4*s - d + j*d = 5, -3*d + 35 = 4*s. Does 3 divide s?
False
Let i be 6/(-4) + 5/(-10). Let a(f) = -10*f + 1. Let x be a(i). Suppose -2*s = -x + 3. Is s a multiple of 4?
False
Suppose 2*r - 26 - 58 = -2*x, x - 38 = -2*r. Does 7 divide x?
False
Let l = 10 + -2. Let k be 2*2/l*-2. Is (1/(2/(-100)))/k a multiple of 17?
False
Suppose -k + 5 = 2. Suppose -k*z = i - 77, z - i - 23 = -4*i. Does 13 divide z?
True
Is 14 a factor of (-15 - ((-1)/1 - -1))*-6?
False
Suppose -19*f + 6*f = -169. Is 4 a factor of f?
False
Is (30/(-25))/(4/(-220)) a multiple of 33?
True
Let k(m) = m**3 - 6*m**2 + 5*m - 4. Let u be k(6). Suppose -a - 2 = -u. Does 12 divide a?
True
Suppose 3*i + 4*h = 41, -5*i = 4*h - 0*h - 63. Let p(u) = -5 + 13*u + 5 - 6*u**2 - 6*u**2 + 7 + u**3. Is p(i) a multiple of 14?
False
Let x = -43 - -65. Does 11 divide x?
True
Suppose 3*q = 3*a - 60, 3*q = -4*a + 115 - 49. Is 3 a factor of a?
True
Let g(y) = -y**3 + 5. Let i be g(0). Suppose 0 = 4*t - 369 - 387. Suppose -2*q + 186 = 4*x, -i*x + x = q - t. Is x a multiple of 14?
False
Let g = -5 + 5. Suppose g*n + 13 = n. Is n a multiple of 5?
False
Suppose -5*u + 0 = -5. Let f(m) = 67*m**3 - 1. Let p be f(u). Suppose 4*q - q = p. Is 14 a factor of q?
False
Suppose -4 = 4*m, -7*m + 123 = 4*j - 2*m. Let l = -14 + j. Suppose 2*h - 144 = -5*a, 0 = -0*a - a + 5*h + l. Is 14 a factor of a?
True
Let t(l) = 4*l**2 + 4*l + 8. Let m(b) = -5*b**2 - 4*b - 9. Let q(i) = 5*m(i) + 6*t(i). Let k be q(3). Let j = 22 - k. Does 5 divide j?
False
Suppose -l = -0*l - 5, -3*h - 4*l = -71. Does 2 divide h?
False
Let z = 23 + -32. Let i be (-1 - 51/z)*3. Suppose y + y + k - 7 = 0, 2*k = 3*y - i. Is 2 a factor of y?
True
Suppose -4*o - 3*v = -2*v - 155, 0 = 5*v + 5. Suppose 0*h - o = -3*h. Does 13 divide h?
True
Let g = 129 - -15. Suppose 0*j = 2*j - g. Is 24 a factor of j?
True
Let p = 87 + 24. Is 13 a factor of p?
False
Let q = 1971 + -1315. Suppose -g - 3*g - q = 0. Is 11 a factor of g/(-8) - (-1)/(-2)?
False
Suppose 0 = -2*d - i - 4*i + 68, -3*d + 102 = i. Let h = d - 26. Does 2 divide h?
True
Let m = -33 - -79. Does 12 divide m?
False
Suppose 0 = -j + 4*q - 16, -2*j + 5 = -4*j - q. Let d(y) = 3*y**2 + 2*y - 1. Let o be d(j). Suppose 0 = -k - 2*k + o. Does 6 divide k?
False
Let m(x) = 6*x**2 + x - 3. Does 31 divide m(4)?
False
Does 23 divide 6/4*(-176)/(-6)?
False
Suppose 4 = 5*a + 2*m, 0*a + a - 4*m + 8 = 0. Suppose a*c = -4*w - 4*c + 164, 4*c = 2*w - 52. Is 18 a factor of w?
True
Let o(h) be the third derivative of -h**4/6 - 2*h**3/3 + 3*h**2. Let m be o(-7). Let a = m + -9. Does 5 divide a?
True
Suppose -2*c + 135 + 215 = 0. Is 25 a factor of c?
True
Let m be -5 + (5 + 0 - 2). Let h(f) = -f + 3. Let o be h(0). Is 7 + 3/o - m a multiple of 10?
True
Let t(u) = -u**3 + u**2 - u + 5. Let f be t(0). Suppose 0 = 2*b - 4, f*r + b = 4*b - 261. Is 8 a factor of r/(-3) + -1 + 0?
True
Let k = 30 - 113. Suppose 184 = -4*t - 2*y, -3*t - 2*y - 229 = 2*t. Let f = t - k. Is 13 a factor of f?
False
Let y = 105 + -65. Is 8 a factor of y?
True
Suppose -12 + 11 = t. Let m = 19 + t. Is 6 a factor of m?
True
Suppose 5*l = 6*l - 7. Is 2 a factor of l?
False
Suppose -5*h + 41 = -29. Is 14 a factor of h?
True
Let k = 82 - 70. Is k a multiple of 3?
True
Suppose 0 = -5*l + 35 + 40. Is 15 a factor of 