10 divide v(-3)?
True
Let i = 12 + -7. Suppose d = -2*w + 4*w - 53, i*w - 3*d - 135 = 0. Suppose 4*j = 2*u - 12, -8*j = 4*u - 4*j - w. Is u a multiple of 4?
False
Let h = -52 - -29. Let o = h - -37. Let l = o - 8. Does 3 divide l?
True
Does 14 divide 0/(-3) - (-4 - -6) - -58?
True
Suppose 3*k + 162 = i + i, 0 = -2*i + 5*k + 170. Suppose y = 6*y - i. Does 6 divide y?
False
Let i be (-1324)/(-36) + 2/9. Suppose 5*k - a = -i + 140, -8 = -k - 4*a. Suppose -30 = -2*q + k. Does 10 divide q?
False
Suppose -18 = -3*c - 6. Suppose -3*m + 77 = -4*j, -m + 6*m - c*j - 131 = 0. Does 7 divide m?
False
Suppose 4*y - 26 = -5*n, -5*y + 19 + 3 = n. Suppose -a = -y*a. Suppose s - 18 = -a*s. Is 13 a factor of s?
False
Let k = 836 + -550. Does 14 divide k?
False
Let q be (20/(-8))/((-1)/2). Suppose -q*b = -b - 172. Is 16 a factor of b?
False
Let p(o) = 12*o - 4. Does 8 divide p(3)?
True
Suppose 0 = m - 0*m - 2. Let z be 1 + m + (-3 - -2). Suppose 4*d - 4*w = 24, 3*d + z*w = 2*d - 3. Does 3 divide d?
True
Let h be (0 - -106)*(-2 + 3). Suppose 2*v + 5*n = h, 5*n - n - 145 = -3*v. Does 30 divide v?
False
Let h(k) = -k**2 + 1. Let c be h(1). Is 7 a factor of c + 1 + -1 - -10?
False
Let a(p) = 4*p**2 + p. Let y be a(1). Suppose -3*m + 2*q = -2*q - 84, 0 = -y*m + 3*q + 140. Is m a multiple of 9?
False
Let o be (-12)/42 + (-72)/(-7). Suppose -5*p = 4*i - 5, -4*p + 0 = 2*i - o. Suppose -3*u + 0*f = 2*f - 62, p*u - f = 86. Does 18 divide u?
True
Suppose -3*y + 174 = -0*y. Let a = y - -4. Is 17 a factor of a?
False
Let y = 79 + -43. Let i be (-5)/(10/y)*-4. Suppose 0 = w + 3*w - i. Does 8 divide w?
False
Let x(v) = v**2 + v + 7. Let n be x(0). Suppose 4*t - 116 = -4*d, 3*t + 16 = n*t. Let g = d - 9. Is g a multiple of 6?
False
Suppose p + 0*v = -v + 3, -p + 6 = 2*v. Suppose p = -2*s + 110 + 40. Is s a multiple of 25?
True
Suppose -4*o + 88 + 80 = 0. Is o a multiple of 6?
True
Suppose -3*j + 365 = 4*p, 0 = -4*j - 2*p + 4*p + 516. Suppose 0 = 3*f - 107 - j. Is f a multiple of 14?
False
Let w be ((-6)/(-10))/((-1)/(-5)). Suppose 7 = 5*a - b - 4, w*b = -a - 1. Does 7 divide (40/(-4))/((-1)/a)?
False
Let j = 111 + -69. Is j a multiple of 14?
True
Let x be (-6)/(-4)*20/15. Let n be 0 + x - (-1 - -1). Is 4 a factor of ((2 - -4) + -2)*n?
True
Let q(d) = -10*d. Let t be q(-1). Let f = t + -3. Is f a multiple of 4?
False
Let o(i) = 3*i**3. Let k be o(1). Suppose 0*l - 15 = -k*l. Suppose l*r - 19 = 16. Is 4 a factor of r?
False
Let l(g) = 2*g**2 - 4*g - 4. Suppose -o = 3*y - 24, 5*y - 15 = 2*o + 25. Let b be l(y). Suppose 2*i + b = 6*i. Does 9 divide i?
False
Suppose 3*g - 2*o - 40 = 2*g, 214 = 5*g - 3*o. Does 10 divide g?
False
Let l be (30/(-35))/((-1)/7). Suppose 0 = 5*m + l + 4. Is 18 a factor of m/(-9) - (-448)/9?
False
Let b(r) = -5*r**2 - 6*r + 6. Let l be b(4). Let t = -66 - l. Is t a multiple of 16?
True
Let b(d) be the first derivative of 29/4*d**4 + d + 0*d**3 - d**2 + 2. Is b(1) a multiple of 11?
False
Suppose 17*h - 5*h = 792. Is 3 a factor of h?
True
Suppose -11*x + 8*x = 36. Is (-7)/((-28)/x) - -68 a multiple of 26?
False
Does 4 divide 12*((-66)/8)/(-11)?
False
Suppose -5*k + 16 = -4*k. Let r = -23 + k. Let x(u) = -u + 2. Is 9 a factor of x(r)?
True
Suppose w = g - 13, -31 - 36 = -4*g - w. Does 2 divide g?
True
Suppose 5 = m, -5*b + 72 = m + 7. Is 12 a factor of b?
True
Let k = -7 + 65. Is 4 a factor of k?
False
Let i(y) = y**2 - 5*y - 2. Suppose 5*v - 4*t + 13 = 0, -3*v + 7*v = 2*t - 14. Let d be i(v). Suppose d = -2*l + 5*l. Does 8 divide l?
True
Suppose -3*l + 0*l + d + 202 = 0, -5*d - 5 = 0. Does 22 divide l?
False
Let h(n) = n**3 - 6*n**2 - n - 3. Let o be h(6). Let l(p) = -p**2 - 9*p + 9. Is l(o) a multiple of 5?
False
Let i = 9 + -23. Suppose -2*f + f + 45 = 0. Let t = f + i. Is t a multiple of 15?
False
Suppose 4*p - 4*r + 16 = 0, -2*p + 4*r - 13 + 1 = 0. Suppose -c - 60 = -5*c. Does 7 divide p*3/c*-40?
False
Let g(b) = -2*b**3 + 4*b**2 - 4*b + 2. Let i be g(2). Does 12 divide i/(1 + (-19)/17)?
False
Is 81 - 6/12*(-1 + 3) a multiple of 19?
False
Let w = -4 + 7. Suppose 0 = -z + 5*d + 13, -z = -w*d - 3 - 4. Is (-1)/z + 18/4 a multiple of 5?
True
Let h(q) = q**2 - 7*q + 12. Let d be (-3 - -2)*1*-5. Suppose -d*b = -0*b - i - 44, 0 = 3*b + i - 28. Is 15 a factor of h(b)?
True
Suppose 0 = -4*o + 2*o + 10. Suppose -6*i + 5*i = -o. Suppose 4*u - 147 - 23 = -2*z, -i*u + 5*z + 190 = 0. Is u a multiple of 14?
False
Suppose 0 = -z + 6*z - 130. Suppose 4*g + z = 6*g. Is g - (3 - 1)/(-1) a multiple of 5?
True
Let j = 50 - 29. Suppose o - 3 = -0*z - 3*z, -3*z + 2*o + 3 = 0. Is j - (-1)/(z/2) a multiple of 10?
False
Suppose -15*w + 128 = -19*w. Let y be (2/4)/((-2)/32). Let n = y - w. Does 12 divide n?
True
Let k(h) = 10*h - 6. Suppose 4*t - 22 = 2. Is 33 a factor of k(t)?
False
Let r(z) = z**2 + z + 2. Let m be r(-3). Suppose -m = -5*o + 2. Suppose -o*d - 104 = -3*w, 0 = -4*w + 5*d - 29 + 163. Does 17 divide w?
False
Let g(z) = 2 + 3 - 6 + 12*z + 0. Let m be g(6). Let r = -37 + m. Is 9 a factor of r?
False
Let j be 18/135 - (-557)/(-15). Let a = j + 80. Does 27 divide a?
False
Let s = 10 + -14. Is 12 a factor of s/(((-11)/6)/11)?
True
Let a = -8 - -12. Let h be 1/a - 122/8. Let l = -4 - h. Is l a multiple of 11?
True
Let d(i) = -38*i**3 + i**2 - i - 1. Let w be 6/3 + 9/(-3). Is 20 a factor of d(w)?
False
Let r(z) = -2 + 3*z - z**3 - 2*z**2 - 9*z**2 - 10. Let c be r(-11). Let k = -3 - c. Is 15 a factor of k?
False
Let w(f) = -7*f + 4. Is 11 a factor of w(-8)?
False
Suppose 2*t = 4*c - 5*c, -4*c + 10 = 3*t. Is 4 a factor of (t/(2/(-7)))/1?
False
Let o(l) = l**2 - 9*l - 6. Let s be o(10). Let y = 2 - -14. Let q = s + y. Is q a multiple of 6?
False
Does 4 divide (30 - -18) + 0/(2*-1)?
True
Let p be 52/(-6) + (-4)/(-6). Let l be (6/(-4))/(6/p). Suppose 6*i - l*i = 92. Does 9 divide i?
False
Suppose 2*z + h - 17 = -z, -z - 6 = -2*h. Let j(v) = 7*v - 1. Does 9 divide j(z)?
True
Suppose a = 5*l - 0 + 31, a + 2*l = -4. Suppose a = -2*p - 2, -p - 94 = -3*u. Is u a multiple of 17?
False
Suppose -2*y = 3 - 5, -2*y = 5*o + 18. Does 2 divide (-23)/(-4) + 3/o?
False
Let u(p) = 7*p - 15. Is 16 a factor of u(9)?
True
Let l = 19 - 23. Does 14 divide (-62)/(-2) - l/2?
False
Let t be -4*4/(24/9). Let l = 11 - 1. Let u = l + t. Is 3 a factor of u?
False
Suppose 2*i - 4*j = 10, -5*j = 2*i - i + 2. Suppose -5*k + p - 16 = -2*p, i*k + p = -4. Is 15 a factor of k/7 - (-466)/14?
False
Suppose 2*y + 8 = 0, 3*y + 144 = -h - h. Let u = h + 93. Is 14 a factor of (-3)/(u/114)*-3?
False
Suppose -38 = -5*a - 13, 3*w - 11 = 2*a. Suppose 2*m + 20 = w*m. Suppose 4*i + 114 = 5*n, m*n - 5*i = 2*n + 32. Is 13 a factor of n?
True
Suppose 0 = -2*i, 19 = 4*w - 5*i - 1. Let m = w + -8. Let f = m + 8. Does 5 divide f?
True
Let s(g) = -2*g**2 - 5*g - 2. Let c be s(-3). Is 9 a factor of (-3)/c + 261/15?
True
Suppose 330 = 5*z - 5*y, -z - 4*y - 124 = -3*z. Is z a multiple of 13?
False
Let b(s) = 9*s - 2. Let v be b(4). Suppose 22 = 4*a - v. Does 6 divide a?
False
Let f(a) = a**3 + 11*a**2 + 10*a - 10. Is f(-5) a multiple of 15?
True
Suppose z + 50 = 2*w - 33, -64 = -w - 4*z. Let o = 86 - w. Is o a multiple of 11?
False
Suppose -a + 10 = -2*y + 4*a, 0 = 4*y - 3*a + 6. Suppose y = 4*r - l - 3*l - 20, 0 = r - 5*l - 1. Is 2 a factor of r?
True
Let s(b) = b**2 + 5*b + 3. Let h be s(-5). Does 20 divide (1 + -2 - -28) + h?
False
Suppose 0 = 4*m + 13 - 57. Is 4 a factor of m?
False
Let a = -339 + 527. Is a a multiple of 47?
True
Let f(y) = -y**3 - 5*y**2 + 5*y - 3. Let z be -6 + 1 - (-2)/(-2). Let a be f(z). Suppose 0 = a*b - 5 - 31. Does 7 divide b?
False
Suppose 7*v - 2*v - 32 = -2*a, 2*a + 8 = 0. Does 5 divide v?
False
Let z = 169 + -94. Let g = z - 36. Is g a multiple of 13?
True
Let j = 28 - 17. Does 7 divide j?
False
Let t = 7 - -26. Let n = 80 - t. Is n a multiple of 9?
False
Let h be 22/8 - 5/(-20). Let q = h - -7. Is q a multiple of 7?
False
Does 15 divide ((-215)/(-35) - 1)*70/4?
True
Let o = -33 - -75. Is 10 a factor of o?
False
Suppose 0 = -4*l + 3*l + 68. Does 34 divide l?
True
Let y be (-3)/4 - 5/20. Let q be -1 + 0 + 0 - y. Is (-1)/(q - -1)*-10 a multiple of 5?
True
Let s(o) = 7*o**3 + o**2 - 1. Let g be s(1). Suppose -4*b = -g*b - 12. Let x(l) = -6*l + 1. Is 12 a factor of x(b)?
False
Let o(w) be the second d