(-3). Let u = 2 + 1. Suppose 38 = 5*p + 4*q, -u*q - 2*q - 15 = l. Does 4 divide p?
False
Suppose 3*v + 2*z = 479, -2*v + 236 + 70 = -2*z. Is 29 a factor of v?
False
Let h(c) be the third derivative of -c**6/120 - c**5/10 - c**4/12 - 3*c**3/2 + c**2. Does 2 divide h(-6)?
False
Let q(p) = 2 + 7*p - 2 + 2. Is 20 a factor of q(3)?
False
Let u = -7 - -9. Let l(x) = -4 + 2*x**u + 2 + x**3 + 3*x**2 - 3 - 9*x. Is l(-6) a multiple of 6?
False
Is (6/9 + -1)*-15 even?
False
Suppose -27 + 9 = -i + 3*w, 2*i + 19 = -5*w. Let s = 3 + i. Is 4 a factor of s?
False
Suppose -10 = -4*s - s. Let j(d) = 0 + 0 + 2*d - 3 + 3*d. Is 7 a factor of j(s)?
True
Let f(r) = r**3 + 11*r**2 + r. Is f(-8) a multiple of 38?
False
Suppose 4*f + 122 = 2*g, 4*g + f = -4*f + 205. Let h = g - 37. Does 13 divide h?
False
Let r be 1/4 + (-4521)/(-44). Suppose 107 + r = 3*h. Is 17 a factor of h?
False
Is 16/(1*(-2)/(-41)) a multiple of 18?
False
Suppose 5*k = 99 + 201. Suppose -4*u + n + 3*n = -k, -5*n - 35 = -u. Does 5 divide u?
True
Suppose -6*o + 34 = -4*o. Does 3 divide o?
False
Let o(a) = 2*a - 2. Let s be o(4). Is 15 a factor of 10*(-1)/(-2)*s?
True
Suppose -a - 4*s + 9*s + 29 = 0, -4*a = -4*s - 164. Does 11 divide a?
True
Suppose -7*z + 21 = -6*z. Does 21 divide z?
True
Let t = 34 - 78. Let z = t + 127. Does 21 divide z?
False
Let y = 30 - -50. Let z be y/36 + (-4)/18. Suppose 5*a + 5*v = 35, 2*v + 2*v = -z*a + 16. Is 3 a factor of a?
True
Let t = -1 + 1. Suppose 5 - 13 = -u - 2*w, t = -2*u + 4*w. Suppose u*s - 21 = s. Is 7 a factor of s?
True
Let g be (2 + -3)/((-2)/14). Suppose 2*a - 2 = a. Suppose -a*f + g = -45. Is f a multiple of 11?
False
Suppose f = 4*f - 6. Suppose -3*m = f*m - 50. Is m a multiple of 5?
True
Suppose 0 = -3*b - 4*w + 22, -3*b + 0*b + 2*w + 16 = 0. Is 3 a factor of b?
True
Suppose -2*y + 6*y + 8 = 4*l, -5*l + 4 = y. Let m be (-4)/(2/l) - -93. Let v = m - 61. Does 11 divide v?
False
Suppose z + 2*z = 6. Suppose -v = z*v. Suppose 2*u = -v*u + 22. Is u a multiple of 11?
True
Let o be (-1 - 2)*7/(-3). Let x = 2 - -1. Let s = o + x. Is s a multiple of 9?
False
Let z = -5 - -7. Suppose -1 = -3*i - 4*r, 4*i = -z*r + 18 - 0. Suppose -100 = 2*y - i*y. Is 10 a factor of y?
True
Suppose y = -0*y + 38. Suppose -1 = -3*p - q + 34, -3*q - y = -2*p. Does 13 divide p?
True
Let b(t) = -t**2 - 5*t + 4. Let m be b(-7). Let d(q) = q**2 + 7*q - 14. Is d(m) a multiple of 9?
False
Let t = 17 + -8. Suppose 4*n = n - t. Does 12 divide ((-2)/n)/(2/72)?
True
Let y(b) = -b**2 - 5*b. Let d be y(-4). Let r(g) = 2*g**3 + 5*g**2 - 2*g - 3. Let w be r(3). Suppose j - w = -d*j. Does 7 divide j?
False
Let r(w) be the second derivative of w**5/20 + 2*w**4/3 + 2*w**2 + 2*w. Let j be r(-8). Let m(u) = 3*u + 4. Is 6 a factor of m(j)?
False
Suppose 3 + 7 = 5*l. Suppose -2*h - 5*d - 15 = 0, -1 - 4 = -3*h - l*d. Suppose -h*b = -2*b - 57. Is b a multiple of 18?
False
Let a be (-36)/(-3)*2/(-4). Is 3/a*(-34 - 0) a multiple of 6?
False
Suppose 0 = -3*u + 2*c + 1 + 13, -3*c = 2*u - 31. Let y(w) = w**2 - 6*w - 11. Let b be y(u). Let g = 14 + b. Is g a multiple of 19?
True
Suppose 3*q + 0*t = 3*t - 579, t - 3 = 0. Does 3 divide q/(-15) + (-4)/6?
True
Suppose 4 - 8 = -2*s. Suppose 0*i + s*i - 14 = 0. Is 7 a factor of i?
True
Suppose -6 = l + 2. Let p = -6 - l. Suppose -39 = z - p*z. Is 14 a factor of z?
False
Suppose -2*v - 2*v = -4. Let x = v - -4. Does 5 divide x?
True
Let x = 5 - 1. Suppose -s + 2*h - h = -11, 16 = s + x*h. Is 6 a factor of s?
True
Let b = 12 - 8. Suppose b*f - 155 - 37 = -3*u, 2*u = 0. Is f a multiple of 16?
True
Let x(z) be the third derivative of z**5/60 - z**4/3 - 7*z**3/6 - 2*z**2. Is x(10) a multiple of 13?
True
Suppose -4*k + k = -15. Suppose 191 = 3*g - k*x, 3*g - 2*x = g + 134. Does 26 divide g?
False
Suppose -4*k + 116 = -d - 0*d, -4*k = 2*d - 128. Does 5 divide k?
True
Let k = 11 + -19. Is 14 a factor of 492/7 - k/(-28)?
True
Suppose -5*i + 95 = -5*x, 0*x + 56 = 2*i + 4*x. Suppose u = 3*y + i, 3*y + 18 = u - y. Does 27 divide u?
False
Suppose g = 5 + 1. Let y = -3 + g. Suppose 2 = -t, y*p - t = -p + 14. Is p a multiple of 2?
False
Let b = 4 + -2. Suppose -2 = b*r - 10. Suppose r*f - 149 = 5*z, f + 0*f + 5*z = 56. Is 24 a factor of f?
False
Suppose -8*v = -16 - 24. Does 2 divide v?
False
Let m be 2/3*(-4 - -1). Let z be 54 + m + -2 + 2. Does 4 divide (6/12)/(2/z)?
False
Suppose -v - 1 = -2*i, -2*i - 4*v + v + 5 = 0. Let b be 1 + (-1 - 0)*i. Suppose 4*n - 9*n - f + 31 = 0, b = 2*n - f - 18. Is n a multiple of 7?
True
Suppose -3 = -4*f + 5. Let c = 5 - f. Does 3 divide c?
True
Let f(j) = j**2 - 11*j + 7. Let x be (-5)/(5/(-6)) - 0. Let v be f(x). Let t = -12 - v. Does 11 divide t?
True
Let f(x) = -x**3 + 7*x**2 + 8*x - 7. Let q be f(8). Let o = 13 + q. Is o a multiple of 6?
True
Let t(m) = -2*m + 1. Let q be t(-4). Let f(j) = j**2 - 10*j + 11. Let n be f(q). Suppose 0 = -n*w - 9 + 69. Does 10 divide w?
True
Suppose 3*o - 2*g = -70, 0 = -o - 6*g + 5*g - 15. Let w(b) = -2*b**3 - 4*b**2 + 5*b + 1. Let p be w(-3). Is 7 a factor of ((-11)/p + 2)*o?
False
Let r(s) = -s**3 - 6*s**2 - 4*s + 8. Let u be r(-6). Suppose 5*p - 65 = -2*b, -2*p + 0*p + u = 2*b. Is p a multiple of 11?
True
Let w(t) = 29*t**2 - 13*t + 13. Let o(k) = 15*k**2 - 7*k + 7. Let q(b) = -11*o(b) + 6*w(b). Let p be q(1). Does 8 divide 0 + (-3)/(p/(-24))?
True
Suppose 2*s + 109 = a - 0*s, 0 = -5*a - 5*s + 605. Is 19 a factor of a?
False
Let v(r) = 21*r. Let m be v(4). Suppose 0 = 4*x - 804 + m. Does 8 divide (4/(-5))/((-8)/x)?
False
Let i(l) = 0 - 1 + 3*l**2 - 2*l**2. Suppose -19 = -4*u + h, -13 = -4*u - h + 16. Is 16 a factor of i(u)?
False
Let p(o) = 8*o - 9. Does 13 divide p(6)?
True
Let q(i) = -2*i**3 + 2*i**2 + 2*i - 3. Does 25 divide q(-4)?
False
Let p = 21 + -21. Suppose p = 4*u - 2*n - 3*n - 12, -2*u - 5*n = -36. Does 3 divide u?
False
Let d = 30 - 26. Suppose -l = -5*s + 67 - 11, -d*s = -l - 44. Does 12 divide s?
True
Let u = 73 + -39. Does 10 divide u?
False
Let z(o) = o + 3. Let g(s) = s**3 - 8*s**2 + 7*s. Let q be g(7). Let j be z(q). Suppose j*k - 71 = 10. Does 19 divide k?
False
Let m(x) be the first derivative of -x**4/4 + 7*x**3/3 - 6*x - 5. Does 15 divide m(6)?
True
Let r = 4 - 2. Suppose 4*l - 38 = -r. Suppose -2*g + 5*g = l. Is 3 a factor of g?
True
Let a = 5 - 7. Let s be a*(-1 - (-21)/6). Does 16 divide 52 + s/((-10)/(-4))?
False
Let l be 39/2 - (-4)/8. Suppose -5*z - 4*c + l + 9 = 0, -7 = z + 4*c. Is z a multiple of 9?
True
Let t be -2*(14/4 + 1). Let a be 2/(-6) - (-123)/t. Is 3 a factor of (-108)/a + (-6)/(-21)?
False
Let j = -8 - -12. Suppose 0 = -j*q + 3*p + 12, -3*q + 0 = 4*p - 9. Suppose 3*t = -0*b + 2*b - 120, q*b + t - 158 = 0. Is b a multiple of 22?
False
Suppose -39 = 4*q - 147. Is q a multiple of 5?
False
Suppose -3*i + 1 = -11. Is i a multiple of 2?
True
Suppose 5*o - 416 = 4*f, -3*o - f = 3*f - 224. Is o a multiple of 10?
True
Suppose -3*x + 2*w + 113 + 2 = 0, -x - 3*w = -42. Is x a multiple of 13?
True
Suppose 0 = -4*b - u + 196, 5*u = -b + 8 + 22. Does 20 divide b?
False
Let j(z) = -z**2 + 10*z + 7. Is j(8) a multiple of 6?
False
Let o = -4 + 14. Is 5 a factor of o?
True
Let j(p) = -2*p**2 + 5*p + 4. Let v be j(4). Let m be (-2)/v - 76/(-16). Suppose 3*w = 14 - m. Is 3 a factor of w?
True
Suppose 2*h = 4*n - 3*n + 301, 2*h - 297 = -3*n. Let m be ((-2)/(-4))/((-5)/h). Is 3 a factor of (0 - 24/m)*5?
False
Let g be (-2 + 3 - 0)*0. Suppose g = -0*o - o + 1. Let r = o - -53. Is r a multiple of 18?
True
Let y(s) = 151*s - 3. Does 26 divide y(3)?
False
Let i(l) be the third derivative of -l**4/8 - 2*l**3/3 + l**2. Is i(-5) a multiple of 11?
True
Let m be -1 + (12 - 3)/3. Suppose 0 = m*p + 5*r + 7 - 2, 0 = -2*p + r + 25. Is p a multiple of 5?
True
Suppose o = -4*o - 350. Let y be ((-2)/5)/1*-325. Let b = o + y. Does 22 divide b?
False
Let p(f) = f**2 + 2*f - 5. Let i be p(-4). Suppose i*v - 2 = -o + 29, -4*o = -4*v - 44. Does 8 divide o?
True
Let y be (-1 + -1)*18/4. Let s be (-27)/3*6/y. Suppose -5*c + s = -19. Is c a multiple of 4?
False
Let u = -234 + 329. Is 12 a factor of u?
False
Let y(s) be the first derivative of -s**3/3 + 7*s**2 + 5*s - 2. Is y(14) a multiple of 2?
False
Suppose -54 = -2*b + 508. Let j = 446 - b. Suppose 0 = -5*t - 2*y + j, -4*y - 171 = -4*t - 39. Does 9 divide