)?
False
Let l be 1/(-2)*-6 + -6. Let m = 3 + l. Does 14 divide (1 + 0 + m)*14?
True
Let p be (-6)/(-4)*24/18. Suppose 0 = i - 0*i - p. Is 9 a factor of 1/(3*i/156)?
False
Does 22 divide 3/(2/88*3)?
True
Does 13 divide (80 - 3) + 1 + -4?
False
Suppose 4*p - 7*p + 12 = 0. Suppose -y + 48 + p = 0. Is 15 a factor of y?
False
Let n be (-50)/2*(-10)/25. Suppose -4*u - n = -6*u. Is 5 a factor of u?
True
Let x(r) = -40*r - 1. Suppose 2*c - 2 = -0. Let i = -2 + c. Is x(i) a multiple of 15?
False
Let i = -34 - 71. Suppose -4*b + 0*b = 4. Is 4 a factor of b/5 - i/25?
True
Suppose 0 = -0*c - 4*c - 28. Let y(f) = f**3 + 6*f**2 - 7*f + 4. Does 2 divide y(c)?
True
Suppose 0*v - v + 3 = 0. Let l be (-8)/(-12) + 28/v. Is 3 a factor of (-32)/l*20/(-8)?
False
Suppose 0 = -2*r - 6, -42 = -2*w - 2*w - 2*r. Suppose -w - 21 = -3*p. Does 8 divide p?
False
Let z be (12/10)/3*5. Suppose z*g - 7 = 3*g. Let s(m) = -m**3 - 8*m**2 - 9*m + 4. Is 6 a factor of s(g)?
True
Let n = 7 + -4. Suppose -105 - 9 = -5*d - 4*f, 0 = -n*f - 12. Does 13 divide d?
True
Suppose 124 = 4*h - x + 48, -h - 3*x + 6 = 0. Is h a multiple of 6?
True
Suppose 3 = 2*y - 2*a - 1, -4*a = -y + 2. Suppose -3*s - 1 = y. Does 13 divide s*(-18)/3*6?
False
Suppose -3 = 2*a - 5, 0 = -5*h - 4*a + 89. Is 2 a factor of h?
False
Let f(z) be the second derivative of -z**5/20 + z**4/3 + z**3/6 + z**2 + 2*z. Does 3 divide f(4)?
True
Let o = 269 + -153. Does 4 divide o?
True
Let s(y) = -y - 5. Let t be s(-8). Suppose 0 = -5*v, -v = t*u + 3*v - 12. Does 2 divide u?
True
Suppose 0 = n + 5*p + 14, -3*n + 0*p = -p + 42. Is (-4)/n - 47/(-7) a multiple of 2?
False
Let n = 7 - 14. Suppose 0*v - 2 = v. Is 7 a factor of (-51)/n + v/7?
True
Let o be (16/6)/(2/3). Suppose -10 = o*w - 2*y, 0*w = 2*w + 5*y - 25. Suppose 5*j = -w*j + 25. Does 2 divide j?
False
Suppose 0 = 3*m - 2*m + 2. Let q be 21/12 + m/(-8). Suppose 2*u + q*w = 66, -42 + 145 = 3*u + 4*w. Is 18 a factor of u?
False
Let u = 143 + -77. Suppose 3*r - u = -3*z, -3*z + 84 = 4*r + 20. Is 8 a factor of z?
True
Let h(n) = n**3 - 8*n**2 + n + 6. Let y be h(8). Suppose -y = 2*k - 3*k. Is 6 a factor of k?
False
Let f(i) = 10*i**2 - 9*i - 19. Is 63 a factor of f(-5)?
False
Suppose -4*u - 17 - 3 = 0, g + 5*u - 7 = 0. Is 16 a factor of g?
True
Let d = -5 + 2. Is 1 + (-1)/(d/54) a multiple of 12?
False
Let w(t) = t**3 - 3*t + 4. Let d be w(-3). Is (-388)/d + 6/21 a multiple of 14?
True
Let l(k) = 3*k - 19. Let b be l(7). Suppose d - 54 = -b*u + 5*d, 2*d = 4*u - 96. Is 6 a factor of u?
False
Let t(n) = n**2 - 13*n - 9. Let g be t(14). Suppose -9 - 31 = -g*s. Is s a multiple of 8?
True
Suppose -g - 16 + 2 = 0. Let p = 61 - 33. Let s = g + p. Is s a multiple of 14?
True
Let y(c) = -c**3 + 14*c**2 + 18*c - 1. Is y(14) a multiple of 23?
False
Suppose -2*p - 5*c - 20 = 3*p, -5*c - 29 = -4*p. Is 18 + p - (2 - 4) a multiple of 19?
False
Suppose -7 = 3*z - x - 3, -3*z - 2*x = 19. Is z - 0 - 2*-41 a multiple of 23?
False
Let i be (3 + -1)*2/1. Suppose 3*v + 5*q - 134 = 0, -q = -i*v - 2*q + 173. Is 9 a factor of v?
False
Let y = -20 + 16. Does 19 divide y/(-18) - (-169)/9?
True
Suppose -2*d = d - h - 317, 2*d - 5*h - 220 = 0. Suppose 61 = 2*j - d. Suppose 5*v + 5*q - j - 17 = 0, -5*q = 0. Is 10 a factor of v?
True
Let i = -3 - -33. Is i a multiple of 15?
True
Suppose -5*s = -19 - 21. Suppose 6*n + s = 2*n. Is 7 a factor of 2/n*(-8 - -1)?
True
Suppose -5*k + 774 = -4*o + 114, 0 = -3*k + o + 389. Is 8 a factor of k?
True
Does 21 divide (4 - 2) + 360/5?
False
Let x(u) be the second derivative of 7*u**4/24 + u**3/3 + u**2/2 + 4*u. Let g(z) be the first derivative of x(z). Does 18 divide g(6)?
False
Let d(a) = -a + 4. Let s be d(2). Suppose -4*m - 157 = -5*k - s*m, -m - 95 = -3*k. Is k a multiple of 11?
True
Suppose 3*h + 16 = 148. Let i be -1 - (h + 2 + -2). Let c = 65 + i. Is 8 a factor of c?
False
Let p be 5*(3 + 0 + -2). Suppose z + 103 = 4*z + p*a, z + 4*a - 32 = 0. Suppose 0*c + 2*c = z. Does 9 divide c?
True
Suppose 5*p + 2*v = -4 - 7, -v = 5*p + 13. Suppose -7*g = -2*g - 10. Is (14*g)/((-2)/p) a multiple of 21?
True
Let x be (24/(-3))/(1 + -2). Let s be 2 + (2 - x)/(-3). Suppose 4*y - 31 = -5*m, s*m = -5*y - m + 45. Is 5 a factor of y?
False
Let d(m) = 181*m**2 + 3*m + 2. Does 30 divide d(-1)?
True
Suppose i = -2*n + 74 - 11, -i - 30 = -n. Suppose -3*u + 2*u + 15 = 0. Let q = n - u. Is 16 a factor of q?
True
Suppose -689 = -8*u + 367. Is 12 a factor of u?
True
Let y = -6 + 11. Suppose y*h = -4*a + 30, -4*a = -a - 15. Is 14 a factor of (-256)/(-18) + h/(-9)?
True
Suppose 10*l = 12*l - 156. Is 13 a factor of l?
True
Let t = -22 + 195. Does 13 divide t?
False
Let x be (1 + 1)*(1 + 1). Suppose m + 2*r - 24 = 0, -3*r + r + 108 = x*m. Does 14 divide m?
True
Let x(m) = -m**3 + 4*m**2 + 6*m - 1. Let u be x(5). Let h be 0/(2 - u - -4). Let i(z) = -z**2 + 22. Is 11 a factor of i(h)?
True
Is 7 a factor of (-2)/6 - (-1700)/60?
True
Is 2*(4 + 5) - 4 a multiple of 2?
True
Let u(a) = -a**3 + a**2 + a. Let v be u(0). Suppose 0 = -5*z + 5*n + 210, 7*n = -3*z + 4*n + 120. Suppose 0 = -v*r + r - z. Is 19 a factor of r?
False
Let t(h) = h**3 - 3*h**2 - h + 1. Let g be t(3). Does 3 divide 6 - 4 - (1 + g)?
True
Suppose -7*l - 5 = -2*l. Let j(p) = -52*p - 1. Is 17 a factor of j(l)?
True
Is 14 a factor of 2/1*(-81)/(-6)?
False
Let k(x) = -x**3 - 17*x**2 - 19*x - 10. Does 14 divide k(-16)?
False
Let u(i) = i**2 + 6. Is u(7) a multiple of 14?
False
Let i(o) = 8*o + 11. Does 12 divide i(14)?
False
Let b(h) = -17*h**3 + 5*h**2 - 4*h - 3. Let k(o) = -16*o**3 + 6*o**2 - 5*o - 4. Let d(a) = -4*b(a) + 3*k(a). Does 10 divide d(1)?
False
Suppose 0 = -3*q + k + 130, -3*k - 2*k = 20. Suppose 2*n - 16 = -0*n - 3*m, 0 = 2*n - m. Suppose 2*t - h - 30 = 0, n*t - 4*t + q = 5*h. Does 6 divide t?
False
Let v = 370 + -194. Is v a multiple of 9?
False
Let f(g) = 3*g**2 - 3 + 9*g - 3*g - 5*g**2 + 14. Let j be f(8). Let d = -40 - j. Does 12 divide d?
False
Let t be (-138)/(-42) - (-4)/(-14). Suppose t*q = 2 - 38. Let h = q + 28. Is h a multiple of 11?
False
Let j = 40 - -86. Is 14 a factor of j?
True
Let p(n) = 27*n**2 - 1. Let j = -2 + 3. Does 15 divide p(j)?
False
Let o(p) be the first derivative of -13*p**2/2 + p + 1. Let b be o(-3). Suppose -2*z = -6*z + b. Is 9 a factor of z?
False
Let y(z) = 15*z - 7. Let h be y(5). Suppose 4*f + 0*m = -2*m + h, -4*m + 28 = 2*f. Is 4/f + (-264)/(-27) a multiple of 9?
False
Let a = 29 - 25. Is a even?
True
Let w(r) = r + 10. Let x be w(-6). Suppose -y + 120 = x*y. Does 24 divide y?
True
Suppose 0 = 6*p - 4*p - 5*o - 187, 0 = -5*p + 5*o + 445. Does 32 divide p?
False
Let s = -27 - -40. Is 11 a factor of s?
False
Suppose 4*t = -h + 42 + 8, 0 = -3*h - 3*t + 114. Suppose -38 - h = -6*n. Does 6 divide n?
True
Let b be ((-8)/(-10))/(1/(-10)). Does 11 divide 6/(3 + -1) - b?
True
Let k be (2/(-3))/(1/(-3)). Let x = 12 + k. Is x a multiple of 7?
True
Let i(z) = z. Let c be i(5). Let s = c - 3. Suppose -s*o - r + 1 = 0, -o + 4*o - 4*r = 29. Does 3 divide o?
True
Suppose -4*b + 31 = -2*r - 113, 189 = 5*b + 2*r. Does 15 divide b?
False
Suppose -12*k = -8*k - 64. Is k a multiple of 3?
False
Suppose 0 = -u - u + 20. Is u a multiple of 10?
True
Suppose 0 = -0*v + 2*v - y - 166, 3*v - 249 = -5*y. Does 12 divide v?
False
Suppose 33 = 3*u + 3*p, u + p - 3*p = -4. Let c(v) = 2*v - 1. Is 6 a factor of c(u)?
False
Suppose -5*n + n + 434 = 5*i, 3*i + 561 = 5*n. Does 25 divide n?
False
Suppose 4*u = -3*k + 29, 0*u = -4*k + 3*u + 72. Is 2 a factor of k?
False
Let k = 50 - 35. Suppose -2*r = -3*f - 11, -5*r + 4*r + 6 = -2*f. Suppose -r*w + 38 = -2*h, k = -3*h - 0. Is w a multiple of 7?
True
Let p(y) = y**3 + 4*y**2 + y - 1. Suppose -l = 1 + 1. Let x be p(l). Suppose -x*i = -3*u + 11 + 28, -33 = -3*u + 3*i. Is u a multiple of 3?
False
Let z = 149 - 76. Does 10 divide z?
False
Does 15 divide -2 + 1 + 546/7?
False
Let n = 19 - 7. Is n a multiple of 2?
True
Let y(d) = -12*d**2 - 1. Let s be y(-1). Let v = s - -21. Let r = 17 - v. Does 9 divide r?
True
Is ((-69)/6 + 4)*-12 a multiple of 15?
True
Suppose a + 5*u - 27 = -3*a, -2*a - u + 9 = 0. Let z = a + -1. Suppose 2*r + 44 = 4*x + z, 0 = -4*r + 20. Is 5 a factor of x?
False
Suppose m + 16 = 5*o, 0 = -4*o - 3*m + m + 10. Suppose -o = -2*w + 69. Does 18 divide w?
True