le of 19?
False
Suppose 0 = -0*q - 2*q + 70. Does 13 divide q?
False
Let m(u) = 2*u**2 + 2*u - 10. Let j be m(-8). Is j/15 + (-3)/(-15) a multiple of 7?
True
Let y be 2 + 83*3 + -2. Let s = y + -141. Suppose -32 - 44 = -3*m + 2*z, z + s = 4*m. Is 14 a factor of m?
True
Suppose i + 54 = 3*i. Is i a multiple of 5?
False
Let h = 3 + -9. Let v(c) = c**3 + 6*c**2 - 9*c - 4. Let x be v(h). Let a = 78 - x. Is 14 a factor of a?
True
Let w be (-1)/(6/39)*4. Let v(u) = 6*u**2 - 5*u + 4. Let t be v(3). Let i = w + t. Does 8 divide i?
False
Let z(y) = 0*y - y + 2*y**2 - 2*y + 6*y. Suppose -v - 3*b + 2 + 4 = 0, -b = v. Does 4 divide z(v)?
False
Let v = 384 + -238. Is 7 a factor of v?
False
Let b(v) = 258*v + 1. Does 10 divide b(1)?
False
Suppose 10 = j + 4*b - 6*b, -3*j - 5*b = 14. Suppose 0 = -j*a + 2 + 16. Is a a multiple of 9?
True
Suppose 0 = 3*m - 659 - 163. Does 42 divide m?
False
Is 27/36 + (-161)/(-4) a multiple of 26?
False
Let d be (3/(-2))/((-1)/2). Suppose -2*f = 3*f - 5*w - 25, -3*w = d. Suppose -13 - 7 = -f*a. Does 2 divide a?
False
Suppose -4*a = -6*a + 320. Is a a multiple of 32?
True
Let g(f) = 2*f**2 + 11*f - 10. Is 8 a factor of g(4)?
False
Suppose 2*p - n = 119, n + 15 = -4*n. Is 20 a factor of p?
False
Let d(c) = -2*c + 9. Is d(-8) a multiple of 4?
False
Let m(z) = z**2 - 3*z + 7. Let d be (4 + 0 + -3)*5. Is m(d) a multiple of 9?
False
Suppose 5*z = -4*w - 26, 2*z + 3*z + 3*w + 27 = 0. Let t = z - -2. Is (3 + t)*(0 + -12) a multiple of 6?
True
Suppose -5 = -4*b + 3*b. Suppose 0 = 4*z + 9 - 25, -b*t - z + 194 = 0. Is t a multiple of 12?
False
Let x be (-5 - -1)/(2/(-1)). Suppose -2*u + x = -2. Suppose u = f - 12. Is 14 a factor of f?
True
Suppose -4 = -3*p + p. Suppose -v - 3*f + 6 = 0, 0 = -v - 3*v + p*f - 46. Let d = v + 18. Does 9 divide d?
True
Let i be -2*(63/(-6))/3. Suppose -i*z + 2*z + 135 = 0. Is z a multiple of 7?
False
Let o(i) = -i + 14. Let n be o(9). Is n/15 - (-52)/6 a multiple of 2?
False
Let n(b) = -b - 3. Let l = 14 - 21. Let v be n(l). Suppose -h = 3*p - 11, -h + 5*p = v*h - 155. Is h a multiple of 18?
False
Let h = 16 + -48. Is h/(2 - (-10)/(-4)) a multiple of 32?
True
Let t(n) = 28*n - 4. Is 13 a factor of t(3)?
False
Let l be 0 + 7 + 6/(-3). Suppose i + 0*o - 43 = -o, -206 = -l*i + 4*o. Is 14 a factor of i?
True
Let x = 34 - 18. Does 5 divide x?
False
Suppose 2*g - 3*g - 20 = 0. Let u = 48 + g. Is 14 a factor of u?
True
Let c(k) = k - 1. Let j be c(3). Let t = 18 - j. Is t a multiple of 6?
False
Suppose -m = 3*m + 8. Does 10 divide (-236)/(-8) + 1/m?
False
Let f = 119 - 46. Is f a multiple of 13?
False
Let t(o) = o**2 - 3*o + 1. Let r(i) = -i. Let c(d) = -2*r(d) + t(d). Does 7 divide c(3)?
True
Suppose -34*u - 56 = -38*u. Is 8 a factor of u?
False
Let g(d) = 2*d**2 + d - 4. Is g(-3) a multiple of 5?
False
Suppose 2*o - 19 = -f - 4*f, -4*f + 20 = 4*o. Suppose 4 = o*p, 3*c - 61 = -4*p + 2*p. Suppose c = -5*v + 114. Is 14 a factor of v?
False
Let b be 0*3/12 - -2. Is 3 a factor of 9*(-1 + 2) + b?
False
Let h be ((-1)/(-2))/(3/30). Suppose 2*j + 89 = c - 2*j, 0 = 2*c - h*j - 187. Let m = -39 + c. Does 16 divide m?
False
Let u = 15 + 7. Suppose 0 = 2*g + b - 53, -u = -g + 4*b + 18. Does 6 divide g?
False
Let w(d) = d**2 + 4*d - 2. Is 8 a factor of w(5)?
False
Suppose 0*q - 3*q - 22 = -5*g, g - 14 = 3*q. Does 3 divide (g/(-3))/((-2)/21)?
False
Let y(a) = 3*a + 6. Let h be (-24)/(-14) + (-4)/(-14). Let f be (7 + -3)/(h/5). Is y(f) a multiple of 15?
False
Suppose -4*j = 2*v - 1 - 9, -4*v = 2*j + 10. Let x = 5 + v. Suppose x - 24 = -a. Is 9 a factor of a?
False
Let f(n) = 2*n**2 + 13*n + 9. Is 11 a factor of f(-8)?
True
Does 11 divide (-4 - (-2 - 34)) + 2?
False
Suppose -f + 3 + 16 = 5*h, -5*f - 2*h = -164. Is f a multiple of 10?
False
Let a be (56/5)/((-5)/50). Suppose 2*i = 3*i + 8. Does 14 divide 12/i*a/6?
True
Let h be 4/8*(-100)/(-2). Let f = -4 + 7. Suppose 3*z + 2*z = -h, 0 = 5*u + f*z - 175. Does 15 divide u?
False
Does 4 divide 1/(-2) + 516/24?
False
Let i be (-116)/16 - 9/12. Does 15 divide 0 - (-37 - i/2)?
False
Let k(y) = -11 + 3 - 3*y + 0*y. Does 13 divide k(-7)?
True
Let m(r) = 8*r + 18. Is m(8) a multiple of 17?
False
Let n(s) = -7*s - 3*s + 0*s + 2. Let g be 0 - (-5)/15*-9. Is n(g) a multiple of 16?
True
Let r(j) = 7*j**2 - 4*j - 6. Does 3 divide r(-2)?
True
Suppose -58 = 5*p + 2. Let f be 9/(-4)*(-64)/p. Let u = 30 - f. Does 14 divide u?
True
Suppose -2*v + 33 = 3*z + v, z - 35 = 5*v. Suppose -q - z = -4*q. Is q a multiple of 5?
True
Let x be (-4)/(-14) + (-672)/(-49). Let g(v) = v**2 - v + 2. Let s be g(0). Suppose -h = -s*h + x. Is 7 a factor of h?
True
Suppose 3*z - z + 44 = 0. Does 11 divide -2*z/(-4)*-2?
True
Let u be 10*(3 - 9/15). Let n = -9 + u. Does 5 divide n?
True
Let k(z) = -4*z**3 - 3*z**2 - 2*z - 2. Suppose 5*x + 10 = -4*q, x + 4*q + 5 - 3 = 0. Does 12 divide k(x)?
False
Let a(y) = -5*y**3 + 6*y - 5. Let d(p) = 5*p**3 - 7*p + 6. Let z(u) = 6*a(u) + 5*d(u). Let j be z(1). Is (-5 - j) + 0 + 8 a multiple of 5?
False
Let q = -18 - -28. Let w be (56/10)/(q/25). Suppose 5*z - 26 = -3*u + w, u + z = 16. Does 10 divide u?
True
Let x(o) = 2*o**3 - 2*o**2 + 4*o. Let y(r) = -r**2 - 6*r + 3. Let d be y(-6). Is x(d) a multiple of 16?
True
Let n(y) = -y**3 + 9*y**2 + y - 1. Let v be n(9). Suppose -v*k = -4*k + 8. Does 16 divide 18*k*(-5)/4?
False
Let z(l) = l**2 + 6*l - 6. Is z(-10) a multiple of 17?
True
Does 15 divide ((-4884)/(-14))/3 + (-20)/70?
False
Suppose 0 = -2*h - 2*c + 6*c + 30, -c - 35 = -3*h. Does 10 divide h?
False
Suppose 0 = -5*y + z + 490, 6*z = 4*z + 10. Is 11 a factor of y?
True
Suppose -g = -3*m + 138, 4*m - 2*g = 56 + 126. Is 9 a factor of m?
False
Let k = 1 + -16. Let u = 10 - 11. Is (k + 2)/(u - 0) a multiple of 13?
True
Suppose -3*d + 20 = 2*d. Suppose -2*q = d*t + 10, -2*t + 0*t = -3*q + 25. Is 25 a factor of 2/(-4)*10*t?
True
Let b(a) = 3*a**2 + 2*a - 6. Does 15 divide b(-3)?
True
Suppose 4*b + 16 = -12. Let u = -5 - b. Suppose s + 3*d - 15 = 0, 5*s - u*d = -5*d + 63. Is s a multiple of 12?
True
Suppose 74 = -2*p - 2*t, 0 = 4*p - 5*t + 118 + 21. Let a = p - -57. Is a a multiple of 11?
False
Suppose -4*u + 4*m + 84 = 0, 0 = -4*u - 2*m - 2*m + 84. Let y = u - 13. Does 4 divide y?
True
Let i = 1554 + -779. Suppose -6*p + p = i. Is p/(-9) - 8/36 a multiple of 9?
False
Let b(s) = -s**2 + s + 1. Let x be b(2). Let a = 4 + x. Does 2 divide a?
False
Let j(f) = f**2 + f - 1. Let b(h) = -h**3 - 7*h**2 - 4*h + 8. Let g(u) = b(u) + 2*j(u). Let z be (-28)/(-42)*(-15)/2. Is g(z) a multiple of 7?
False
Let p(c) be the third derivative of c**5/30 - c**4/4 + 5*c**3/3 + 4*c**2. Is 6 a factor of p(4)?
True
Suppose -2*m - 2 - 2 = 0. Let u be (-2)/m*2 - -2. Suppose -55 = -v - u*v. Is 5 a factor of v?
False
Suppose 3*v - 5*c - 499 = 0, -4*v = -0*v - 3*c - 669. Does 19 divide v?
False
Suppose 0 = v - 5*v - 20. Let j(a) = a**2 + 4*a - 1. Let h be j(v). Suppose 0 = -4*n + 5*t - h*t + 139, 3*t = 4*n - 129. Is 18 a factor of n?
True
Let s be -4*(-1)/6*3. Let h be (-2)/s - 0/(-4). Let g(w) = -8*w - 1. Is 4 a factor of g(h)?
False
Suppose -4*h + 156 = 5*o, -3*o - 59 = -5*o - 5*h. Is o a multiple of 20?
False
Suppose 60 = 4*k - t, 2*k + 5*t - 8 = -0*k. Suppose 4*r - k = 10. Is ((-13)/3)/((-2)/r) a multiple of 8?
False
Let z(l) = 1. Let r(k) = -10*k - 9. Let q(v) = r(v) + 6*z(v). Let g = 5 + -7. Does 7 divide q(g)?
False
Suppose -4*w + q = -479, -2*q = -6*q - 12. Is 40 a factor of w?
False
Let k(o) = 0*o - o**2 - 6*o + 2*o**2. Suppose 2*d - 31 = 5*q, 0 = 5*d + 3*q - 17 - 14. Is 7 a factor of k(d)?
False
Let z = 331 - 225. Is 13 a factor of z?
False
Let k(d) = d**3 - 3*d**2 + 2*d - 3. Let l be k(4). Let i = 25 + l. Suppose 130 = 4*b + i. Is b a multiple of 7?
True
Is 14 a factor of (-1)/2 - (-66)/4?
False
Suppose 49 = 4*h - 59. Suppose 0 = -3*d + 2*d + 2*g + 3, 0 = 2*d + 3*g - h. Is d a multiple of 9?
True
Is 3 a factor of (-5)/15*(-4)/((-4)/(-27))?
True
Let w be 4/6 + 20/(-3). Let q = w - -6. Suppose -2*l + 15 + 19 = q. Does 6 divide l?
False
Let m(n) = -n + 2. Let q be m(-4). Let c(a) = 6*a**2 - a**3 + 12*a + 13*a - 23*a. Is 6 a factor of c(q)?
True
Let d(b) = -b**2 + 13*b + 1. Let x(u) = u**3 + 3*u**2 - 2*u - 4. Let k be x(-3). Suppose k*y = 8 + 10. Is d(y) a multiple of 14?
False
Let l(z) = -z - 5. Let w