tor of d?
True
Let l = 2 + 16. Suppose -4*c + 28 = 4*x, -5*x - l - 19 = -4*c. Does 5 divide c?
False
Suppose 0 = 2*q - 4*q + 8. Suppose 120 = -k + q*k. Does 20 divide k?
True
Suppose 2*d - y - 523 = 0, y = 3*d - y - 785. Let p = d - 131. Suppose 3*u + 2*u = p. Is u a multiple of 13?
True
Suppose 0 = -4*s - 4, b - 5*s - 47 = -2*b. Let t be 4/b + 104/28. Suppose -3*u + 0*u + 39 = -3*q, 3*q = -t*u + 59. Does 7 divide u?
True
Suppose -q = -6*q. Suppose q = 3*t + 3*d, -2*t + 0*t + 28 = -5*d. Suppose 0*a - t*b = -4*a + 24, -2*a - 4*b + 12 = 0. Is 6 a factor of a?
True
Let o(g) be the third derivative of g**5/15 - 5*g**4/24 + 2*g**3/3 + 2*g**2. Does 8 divide o(3)?
False
Suppose -4*s + 5*i = -755, 2*s - i - 261 - 112 = 0. Is 9 a factor of s?
False
Let a be ((-1)/(-2))/((-2)/(-44)). Let b(i) = 5*i - 15. Is b(a) a multiple of 10?
True
Let b(x) = -x**3 + 5*x**2 - 4*x - 1. Let f be b(4). Let t = 3 - f. Suppose 5*v = 4*v + t. Does 3 divide v?
False
Suppose 3*h + 245 = 7*h + 3*k, -2*h + 5*k + 155 = 0. Is 10 a factor of h?
False
Let n = 0 + 32. Does 4 divide n/(-1)*(-6)/12?
True
Let m be (-15)/3 + (3 - 2). Let h(u) = -17. Let j(q) = q - 1. Let b(l) = m*j(l) + h(l). Is 7 a factor of b(-10)?
False
Let j(h) = -h**2 - 30*h + 15. Is j(-29) a multiple of 8?
False
Suppose -2*n = -44 + 18. Let m = n + -7. Suppose m*i - 8 = 5*i. Is i a multiple of 3?
False
Suppose -4*d + 8 + 8 = 0. Is 3 a factor of (1 + 9/d)*4?
False
Let o(x) = x**3 - 8*x**2 + 7*x + 5. Suppose 5*a = -3*f - 0*f + 38, -1 = -f. Let t be o(a). Suppose h - b + 3*b - 22 = 0, -t*h = b - 155. Does 21 divide h?
False
Suppose 4*i + 515 = 5*u - 103, 4*u = 5*i + 489. Is u a multiple of 21?
True
Let d(c) = -c**2 + 8*c - 4. Let t be d(7). Suppose -3*i = -m - 0*i + 17, -4*m + 2*i = -28. Let l = t + m. Is l a multiple of 5?
False
Suppose -15 = -2*w - w. Suppose w*s + 4*d = 117, -5*d - 6 = 4. Is 8 a factor of s?
False
Let c(g) = 5*g + 10. Let t be c(-8). Let w be ((-6)/5)/(9/t). Suppose -w*m - 8 + 72 = 0. Is m a multiple of 16?
True
Let v = 70 - -145. Is v a multiple of 13?
False
Let k be 24/9*(-15)/4. Let p(z) = z + 1. Let w be p(-1). Is 12 a factor of (-68)/k*(5 + w)?
False
Suppose 5*u - 4*q = 16, 3*u - 5*q - 10 = 10. Suppose m - g - 1 = -u*g, 0 = 3*m + g + 1. Suppose m*n - f = 5*n - 19, 4*f - 8 = -3*n. Does 2 divide n?
True
Suppose -6*c = -2*c + 24. Let t be c/4 - (-2)/(-4). Let b(p) = -p**3 + p**2 - p - 2. Is 12 a factor of b(t)?
True
Let y = 88 - 82. Is 4 a factor of y?
False
Let y = 23 - 9. Let z be ((-6)/(-10) - 0)*5. Suppose 0*t = -w - 3*t, -2*t + y = z*w. Is 3 a factor of w?
True
Suppose 0 = -4*h + 6*h - 158. Does 16 divide h?
False
Suppose -3*i + 4*x + 110 = 0, 4*i + 0*x - 3*x - 156 = 0. Is 14 a factor of i?
True
Let n be ((-2)/3)/((-2)/3). Suppose m = 2*m - n. Is 1/((3/12)/m) a multiple of 4?
True
Suppose -2*p - 5*a - 32 = 0, -p + 4*a = -0*a - 10. Does 24 divide (-4)/(-5)*(-645)/p?
False
Does 18 divide (-4)/((-140)/34 + 4)?
False
Is 455/25 + (-2)/10 a multiple of 4?
False
Let w = -13 - -74. Does 11 divide w?
False
Is 13 + 4/8*4 a multiple of 12?
False
Suppose 3*m = -j - 1 - 7, j - 5*m - 32 = 0. Does 7 divide j?
True
Is (-2 + (-42)/(-18))*162 a multiple of 6?
True
Let d = -18 + 21. Suppose -4*f + f = -z + 33, z + 3*f - 27 = 0. Suppose -d*p - 2*p = -z. Is p a multiple of 3?
True
Suppose 0 = -8*x + 10*x - 294. Does 28 divide x?
False
Does 14 divide 1/((-4)/14)*(-26 - -22)?
True
Is (867/4)/1 - (-36)/(-48) a multiple of 58?
False
Suppose 3*l + 5*v - 775 = 0, 0 = -l + 6*l + v - 1255. Is l a multiple of 15?
False
Let a be (2 - 4*1) + -3. Let u(c) = -39 - 4*c + 44 + 0*c. Is 9 a factor of u(a)?
False
Let b = 73 + -4. Does 23 divide b?
True
Suppose 0 = 6*l - 3 - 339. Is 12 a factor of l?
False
Let r(i) = 2*i**3 - 2*i**2 + i. Let m be r(-2). Is (-24)/(-13) - 4/m even?
True
Suppose 7*h - 2*h = 300. Is 19 a factor of h?
False
Let m(v) = 15*v - v**2 - 4 + v**2 - v**2 + 5. Is 4 a factor of m(14)?
False
Suppose 3*v = 152 + 328. Is v a multiple of 10?
True
Suppose d + 6 + 0 = 0. Let v(n) = -10*n - 12. Does 12 divide v(d)?
True
Suppose -20 = 2*j - 8. Is 174/9 - j/9 a multiple of 10?
True
Let p(k) = 15*k. Let d be p(-3). Is 17 a factor of (-15)/(-10) - d/2?
False
Suppose -1074 + 210 = -8*k. Is 11 a factor of k?
False
Suppose 3*i - 22 = 4*i. Let c = -16 - i. Is c a multiple of 3?
True
Let n(y) = 5*y + 4 - 3*y**2 - 3*y**2 + y**3 - y**3 + y**3. Is n(6) a multiple of 9?
False
Let r = -1 - -1. Does 11 divide 65/5 + r + 0?
False
Suppose 2*f = 193 - 5. Is f a multiple of 47?
True
Suppose i = -4*x + 145, -x + 0*i + 60 = 5*i. Suppose -t + 6*t = x. Is t a multiple of 7?
True
Is (14 - -123) + 3/1 a multiple of 20?
True
Let d(n) = -n**3 - 2*n**2 + 2. Let y be d(2). Suppose 8 = -4*l, 3*m - 8*m - 5*l - 30 = 0. Is (-66)/y + m/(-14) a multiple of 2?
False
Let s(u) = u + 9. Let z be s(-5). Suppose z*j - 12 = 2*j. Is 3 a factor of 0 - j/(-3) - -1?
True
Suppose 100 + 656 = 9*p. Is p a multiple of 6?
True
Suppose 0 = 5*i - 11 - 9. Let j(y) = -y**3 + 4*y**2 + y - 2. Let l be j(i). Suppose -109 = -5*m + 6*w - 3*w, -l*m = 4*w - 28. Is 10 a factor of m?
True
Suppose -2*v + 53 = o - 111, o - 84 = -v. Does 16 divide v?
True
Suppose y + y - 108 = -4*g, -y + 58 = 3*g. Is y a multiple of 12?
False
Let l(w) = 2*w**2 - 2*w + 2. Let x be l(2). Let s(m) = -m**3 + 8*m**2 - 8*m + 1. Let d be s(x). Let f = d + -5. Is 16 a factor of f?
False
Let l = 3 - 4. Is 0 - l*(6 - -2) a multiple of 8?
True
Let h(j) be the third derivative of j**6/120 + 3*j**5/20 - 5*j**4/12 + 2*j**3 - 4*j**2. Does 5 divide h(-10)?
False
Let p(q) be the third derivative of q**7/2520 - q**6/360 + q**5/20 - 3*q**2. Let y(n) be the third derivative of p(n). Is 6 a factor of y(4)?
True
Let l(w) = w**2 + 4*w - 8. Let m be l(-6). Suppose 0 = m*j - 0*j - 12. Suppose 0 = j*c + 3*i - 133 + 1, 0 = 4*c - 5*i - 158. Is c a multiple of 15?
False
Let a = 8 - 3. Suppose 0*v = a*v - 100. Is ((-32)/v)/(2/(-25)) a multiple of 13?
False
Let f(y) = -y**2 - 5*y - 2. Let p be f(-4). Let j be p - 0/(1 - 3). Suppose 4*q - 40 = -j*r + 3*q, 0 = 2*q + 8. Does 13 divide r?
False
Let z = 9 - 20. Let q = z - -6. Let k = q + 22. Is k a multiple of 15?
False
Let b(x) = -2*x. Let s be b(-3). Suppose -41 = -5*m - s. Does 6 divide m?
False
Let v = -26 - -44. Does 4 divide ((-9)/9)/((-2)/v)?
False
Let q be (-2)/3*(-18)/4. Suppose 0 = 4*h + q*p - 160, h + p - 25 = 4*p. Suppose 5*t + 4*m = 94, -m + 0*m + h = 2*t. Is t a multiple of 9?
True
Suppose 0*h - o + 64 = 2*h, -5*o + 32 = h. Is 11 a factor of h?
False
Let d(p) = 52*p + 6. Let v(j) = 103*j + 13. Let o(m) = -7*d(m) + 3*v(m). Let a be o(-2). Suppose -3*x = 32 - a. Is x a multiple of 16?
False
Let d be (0 - (-1 - 0))*4. Suppose o - 16 = -2*o - d*p, -o + 4*p = 0. Is 4 a factor of o?
True
Let q = 0 + -4. Let a = -3 - q. Let u = 25 - a. Does 17 divide u?
False
Suppose 0*n - n - 2*d = -5, n + 1 = 4*d. Suppose 2*a = n*p - 48, -4*a = -4*p + a + 64. Is 12 a factor of p?
False
Let l = 8 + -8. Let m be 1 + -2 + l/3. Let c(t) = -31*t + 1. Does 16 divide c(m)?
True
Suppose -3*y + 4*p = -0*y - 19, -2*p + 4 = 0. Let s be (-27)/2 - y/(-6). Let z = s + 21. Is z a multiple of 9?
True
Let a = -17 - -89. Suppose -2*s = 2*s - a. Is s a multiple of 9?
True
Let z be (-10)/30 + 164/6. Is (z/(-6) + 2)*-4 a multiple of 5?
True
Let i be (-3)/2*(-1 - 1). Suppose s - 2*z = 16, 2*s + i*z + 9 = s. Suppose x + 35 = s*x. Is x a multiple of 7?
True
Does 3 divide 3/(4/((-16)/(-4)))?
True
Let k(h) = -2*h**3 + h**2 - 3*h + 2. Let p be k(2). Let c = 0 - p. Is 5 a factor of c?
False
Suppose 0 = -5*f - 2*j, 0 = 3*f - 2*j + 16. Suppose 4 = -0*m - m - 5*k, 2*m + 4*k = 4. Is m/(f + 5/2) a multiple of 6?
True
Let g(l) = -19*l - 1. Is 7 a factor of g(-1)?
False
Let a(x) be the third derivative of 4*x**4/3 + x**3/3 - 3*x**2. Let q be a(2). Does 4 divide 2/(-5) - q/(-15)?
True
Suppose -2*v = 2, 3*m - 4*v - 1 - 3 = 0. Let f be (-2 - -2) + m - -3. Suppose 2*b - 5*g + f = 48, -g + 72 = 5*b. Is b a multiple of 15?
True
Let j(t) = 9*t**2 + 2. Is j(2) a multiple of 15?
False
Let w(m) = -10*m**2 - m. Let b be w(5). Does 12 divide ((-2)/(-3))/((-5)/b)?
False
Let m = 4 - 0. Suppose 3*f - 93 = -4*u, -67 - 1 = -3*u - m*f. Suppose -40 = -5*s - 3*z, 0 = 3*s + 2*z + z - u. Does 8 divide s?
True
Let t(d) = 71*d - 1. Is 24 a fac