 u be v(7). Suppose 7*w - 4*w - 17 = j, -u*w - 2*j + 16 = 0. Does 4 divide w?
False
Let j(d) = d**3 - 2*d**2 - 2*d. Let s be j(3). Suppose -196 = -4*g + 4*c, 0 = 4*g - s*g - 2*c - 47. Is 13 a factor of g?
False
Let a(b) = 12*b**2 - 2*b. Let o be a(2). Suppose -3*r = -o - 31. Is r a multiple of 12?
False
Let f be (-1)/(2/6 + 0). Let o = f + 7. Suppose 0 = o*k - 3*k - 12. Does 4 divide k?
True
Let b(j) be the second derivative of j**5/20 + j**4/4 + 3*j**2/2 + j. Is 2 a factor of b(-3)?
False
Suppose -5*b = 3*j + 12, -b + 4 = 4*j - 5*j. Let m(f) = -5*f + 8 + 4*f + b*f. Does 4 divide m(0)?
True
Suppose -4 = -q, 2*g = 7*g + q + 6. Is 7 a factor of (-1 - g - -18) + 0?
False
Suppose 0 = 2*x + b + 2, 3*x = 5*b + 11 - 1. Suppose 3*f - 14 + 2 = x. Is 17 a factor of -5*(468/(-15))/f?
False
Let b(y) = -y**3 - 2*y**2 + 3*y - 5. Let p be b(-5). Suppose -4*n + 9*n = 2*g - 49, g + 25 = -3*n. Let z = p + n. Does 23 divide z?
True
Suppose t + 59 - 248 = 0. Is 21 a factor of t?
True
Let k = -4 - -6. Let l(z) = z**2 + 2*z - 2. Is l(k) a multiple of 6?
True
Suppose 4*k + 4 - 16 = 0. Let y = -91 + 151. Suppose 0 = -k*s - 18 + y. Is 7 a factor of s?
True
Let v(k) be the second derivative of k + 0 + 0*k**2 + 0*k**4 + 3/5*k**5 + 0*k**3. Does 6 divide v(1)?
True
Let y(x) = -10*x - 7. Suppose -5*p - 19 = -f + 16, -14 = 2*p - 5*f. Let z be y(p). Suppose 5 + z = 4*m. Is m a multiple of 17?
True
Let g(x) = -6*x + 2. Let o be g(-17). Is ((-9)/6)/((-6)/o) a multiple of 13?
True
Let j(w) = w**3 + 3*w**2 - 4*w + 1. Suppose 0 = -4*s - s - 15. Let a be j(s). Suppose c = b - a, -b + 5*c = -0 - 25. Is b a multiple of 5?
True
Let j(q) = -3*q + q - 5 - 3*q. Suppose -5*x = 40 - 10. Is j(x) a multiple of 15?
False
Suppose -4*v + 10 = -6. Suppose 0 = 4*r - s - 11, 0*s + v*s = 5*r - 22. Let f = 4 - r. Is f even?
True
Let l = 16 - -2. Does 18 divide l?
True
Let i(q) = 4*q - 1. Let g be i(1). Let n = -3 + g. Suppose -k + 17 = -n*k. Is 9 a factor of k?
False
Suppose 16*y = 19*y - 864. Does 32 divide y?
True
Suppose 4*j = -0*j. Suppose 2*s - s + 23 = j. Let w = -13 - s. Is w a multiple of 5?
True
Is 17 a factor of ((-123)/(-45)*3)/((-3)/(-15))?
False
Let g(d) = -d + 3. Let m be g(3). Suppose 4*f + 6*z = 5*z + 11, -2*f - 4*z + 2 = m. Suppose 0 = -3*t - f*y + 123, -y - 235 = -5*t - 60. Is 12 a factor of t?
True
Let k be ((-2)/8)/(1/4). Let c(s) = 5*s**2 + s + 1. Is 4 a factor of c(k)?
False
Suppose -3*h + 120 = 4*j, 0 = 2*j + 3*h + 4 - 70. Is j a multiple of 2?
False
Let l(b) = b**2 - 3*b + 7. Suppose f + d = 0, -6*d + d - 5 = 4*f. Does 5 divide l(f)?
False
Suppose 0 = 4*v - 24 + 4. Let g = -17 + v. Let b = g + 23. Is b a multiple of 11?
True
Let p be (57/2)/((-15)/(-80)). Let g = p + -93. Does 18 divide g?
False
Let z(q) = 5*q - 9. Let p be z(9). Is 22 a factor of (84 - 0) + p/9?
True
Let z = 11 + 24. Does 8 divide z?
False
Suppose -35 = -4*z - z. Suppose u = 4*s - 26, 2*s - z = 3. Let g(i) = i**2 + 2*i. Is g(u) a multiple of 12?
True
Let f(u) = -u**2 + 4*u + 1. Let x be 5 + -3 + (-2)/(-2). Let s be f(x). Does 14 divide (13/s)/((-4)/(-32))?
False
Let v(t) = -2*t**2 + 3*t - 1. Let y be v(-3). Let n = y + 62. Is n a multiple of 17?
True
Let g(i) = 2*i**2 + 9*i + 4. Let j be g(-6). Suppose 4*q + j = -46. Let o = q - -45. Is 13 a factor of o?
False
Let x(c) = 2*c**2 + 7*c + c**2 + 3 - 3. Is 14 a factor of x(-5)?
False
Let k(x) = x**2 + 12*x - 6. Let v(f) = -f**2 - 24*f + 12. Let q(u) = 5*k(u) + 3*v(u). Is 22 a factor of q(8)?
False
Let x(f) = 2*f - 7. Let o be x(5). Does 13 divide ((2 - o) + 3)*13?
True
Suppose 5*t - 173 = 2*p, -5*t = -p - 63 - 111. Suppose -3*j + 79 = -t. Is 20 a factor of j?
False
Suppose 0 = -5*w - 9 - 11. Let u(m) be the second derivative of -m**5/20 - m**4/6 + 5*m**3/6 + m**2/2 - 3*m. Is 13 a factor of u(w)?
True
Let q be 2 - (-2 - -4) - 102. Let c be 4/8 + q/(-4). Let x = c - 3. Does 11 divide x?
False
Does 4 divide 2*(-3)/6*-16?
True
Suppose -4*n + 4*q = -464, 0 = 4*n - 3*n + 2*q - 128. Is n a multiple of 20?
True
Suppose 0 = 5*c - v - 6, -2*c = -4*v + 2*v + 4. Let i be (-138)/4 - c/4. Let b = -19 - i. Does 11 divide b?
False
Let w(i) = 3*i**3 + i**2 - 3*i + 6. Let z be w(5). Let y = z - 272. Suppose -4*g = -2*k + 44, -5*k = -2*g + 33 - y. Is 16 a factor of k?
True
Suppose 3*i = 6*i - 42. Does 7 divide i?
True
Is 11 a factor of (3 - 4/12)/(6/99)?
True
Suppose -2*m - 780 = -5*m. Suppose 0 = -5*a - 5*w - 5 + 285, -3*w = -3*a + 162. Suppose -5*p = -m + a. Does 11 divide p?
False
Let g(i) = -i**2 + 10*i + 2. Does 13 divide g(6)?
True
Let s(r) = 8*r + 3. Let q be s(3). Suppose -n = -i + q, -5*i = -n - 146 + 27. Let o = 36 - i. Does 7 divide o?
False
Let o = 432 - 259. Does 27 divide o?
False
Is 14 a factor of 1360/52 - -2 - (-4)/(-26)?
True
Suppose -225 = -4*o + 3*q, 5*o - 393 = q - 109. Is o a multiple of 14?
False
Suppose 0*l - 3*l = -h + 7, 2*h - 2*l - 14 = 0. Let u(b) = h - 5*b + 4*b - b. Does 10 divide u(-7)?
False
Suppose r + 8 = -5*c - 7, -4*c + 2*r = 12. Let w = c + 26. Does 7 divide w?
False
Does 3 divide (-12)/(-8) + -5*(-10)/4?
False
Suppose -215 = -4*p - 5*i, 3*i = -10*p + 5*p + 259. Let h = 123 - 87. Let j = p - h. Is j a multiple of 6?
False
Let i = -7 - 27. Let u = 2 - i. Is 12 a factor of u?
True
Suppose 153 + 71 = 2*x. Is 15 a factor of x?
False
Suppose -3*d - 3*b + 18 = 0, 2*b + 2 = 2*d - b. Suppose 3 - 31 = -d*q. Suppose 0 = -6*j + q*j - 47. Is j a multiple of 19?
False
Does 22 divide -6*(65/2)/(-5)?
False
Let j = 51 + -7. Is 11 a factor of j?
True
Let b(h) = h**3 + h**2 + h - 1. Let x be b(0). Does 10 divide ((-30)/18)/(x/6)?
True
Let z(m) = 3*m**3 - 4*m**2 + 2*m - 6. Is 15 a factor of z(3)?
True
Let c(u) = -8 + 5*u - 18 + 0*u. Let v(j) = j - 5. Let m(p) = 2*c(p) - 11*v(p). Does 5 divide m(-5)?
False
Let z = 29 + -10. Is z a multiple of 17?
False
Let o = -69 - -102. Does 11 divide o?
True
Let b = -4 + 10. Does 2 divide b?
True
Suppose -x = -4*c + 1142, 6*c - 1435 = c + 5*x. Is c a multiple of 15?
True
Suppose -5*t + 14 = s - 58, 32 = 2*t + 2*s. Suppose 0 = -3*y - 3*m - 30, 0 = -y + 5*y + 3*m + 38. Let h = t + y. Does 6 divide h?
True
Let w(f) = f**2 - 3*f + 4. Is w(7) a multiple of 8?
True
Suppose -2*r = -32 - 98. Does 11 divide r?
False
Suppose j = -0*j. Suppose -w - 5*q + 60 = 4*w, j = 5*q - 5. Let m = w + -5. Is 2 a factor of m?
True
Let b(h) = h**2 + 7*h - 25. Is 5 a factor of b(-10)?
True
Suppose -h + 60 = 4*y + 16, 3*h - 105 = -3*y. Is 32 a factor of h?
True
Let x(b) be the third derivative of -b**5/60 + 13*b**4/24 - b**3/6 + 8*b**2. Is 14 a factor of x(10)?
False
Suppose 5*a + 0 = 5. Let x(i) = -10*i**2 - 5*i + 1. Let g(h) = 11*h**2 + 6*h - 1. Let s(y) = -5*g(y) - 6*x(y). Is 2 a factor of s(a)?
True
Let u(i) = i**3 - 15*i**2 + 21*i + 18. Does 29 divide u(14)?
True
Let m(p) = -2*p**2 - 52*p - 5. Is 3 a factor of m(-25)?
True
Let h(u) = 10. Let z(y) = -y + 1. Let s(j) = -h(j) + 3*z(j). Let v = -19 + 12. Does 7 divide s(v)?
True
Let m be 3/(-2) - (-3)/6. Let h(d) = -25*d**2 + 3*d - 2. Let p(t) = -38*t**2 + 5*t - 3. Let j(v) = -8*h(v) + 5*p(v). Is 3 a factor of j(m)?
False
Let k = 8 + -16. Let g be ((-36)/k)/(3/40). Suppose 4*n = g + 20. Is n a multiple of 14?
False
Let i = 1 - 1. Suppose -l + 6 = -i*l. Is l even?
True
Let t(m) = m - 4. Let i be t(14). Is (-8)/i*45/(-2) a multiple of 13?
False
Let k(h) = -6*h**3 + 2*h + 2. Let b be k(-2). Let i be (-3)/(-12) + b/8. Let n = i + 19. Does 10 divide n?
False
Suppose 0 = -4*p + 48 + 56. Let m = 56 - p. Is 10 a factor of m?
True
Let u(o) = 2*o - 4. Suppose 0 = -2*i - 3*i + 4*d - 37, -30 = 3*i - 5*d. Let x = i + 9. Is u(x) a multiple of 3?
False
Suppose 3*w = -2*w. Suppose w = -2*l - 4*s + 74, -1 = 2*l - 5*s - 84. Is 17 a factor of l?
False
Let b(r) = -2*r - 9. Let m be b(-6). Let p(d) = -4 - 10*d**2 - 3*d**2 + 17*d**2 - 3*d**2. Is p(m) a multiple of 2?
False
Let p(i) be the third derivative of i**5/60 - i**4/2 + 5*i**3/3 + 4*i**2. Does 10 divide p(12)?
True
Suppose -3*i = -2*p - 8, 0 = -i + 5*p + 2 + 5. Is i even?
True
Is 5 a factor of (-66)/(-4)*(-30)/(-9)?
True
Let s(r) = 10*r - 2. Let x be s(-5). Suppose 0 = k - 2 + 7, k = -m - 1. Does 4 divide m/(-6) + x/(-6)?
True
Suppose 2*c = -d + 362, -c + 188 = -0*d + 4*d. Does 15 divide c?
True
Let g be (3/6)/(1/6). Let a = 23 + g. Is a a multiple of 12?
False
L