*d, 0 = d - 5*i - 20. Suppose -10 = q + d*x, -2*q + 5*x = x - 22. Suppose q*r - 23 = 37. Does 5 divide r?
False
Suppose 0*x + 25 = 4*a - x, -3*x = 5*a - 27. Let c = 27 - a. Suppose -5*g + 33 = 3*d - 18, 0 = -2*d + g + c. Does 5 divide d?
False
Suppose -2*i - 56 = -d, 2*d - 141 = -i - 19. Does 20 divide d?
True
Suppose -2*m = 3*f - 237, 0 = -7*m + 2*m + f + 584. Is 21 a factor of m?
False
Let y = -5 + 10. Suppose 0 = 5*d - y*o + o - 80, 2*d - 4*o - 44 = 0. Is d a multiple of 6?
True
Suppose 7*i + 4*l - 32 = 3*i, -5*i = -5*l + 10. Suppose 2*c - 4*y + 1 = -i*c, 4*c - 3*y + 1 = 0. Is 20*((-6)/10 - c) a multiple of 3?
False
Let b be (6/4)/((-2)/(-4)). Suppose 0 = -b*h - 7 - 5. Is 3 a factor of ((-15)/(-10))/((-1)/h)?
True
Let m(v) be the first derivative of -4*v**4 + 2*v**3/3 - v**2 + v + 2. Let i be m(1). Let a = 17 - i. Is 16 a factor of a?
True
Let v be 23 - 2*3/(-3). Let z be (-17)/(-5) - 10/v. Suppose -z*u + 1 - 7 = 5*p, 2*p = -3*u + 3. Is u a multiple of 3?
True
Let t be 2/5 - 24/(-15). Suppose t*o = -w - 12 - 2, 3*o = 4*w + 45. Is 14 a factor of ((-32)/(-6))/((-2)/w)?
False
Let d(g) = 3*g**2 + 10*g + 6. Does 27 divide d(-6)?
True
Let t = 5 + -5. Let x = 10 - t. Is x a multiple of 10?
True
Let o(m) = m**2 + 10*m + 16. Is 22 a factor of o(-13)?
False
Let s(k) = -k**2 + k + 4. Let g be s(3). Does 14 divide 42/(g - (-14)/4)?
True
Is 10/(-15) + 316/6 a multiple of 27?
False
Does 3 divide (1 - (0 + -6)) + 4?
False
Is -2 + (-120 + 0)/(-4) a multiple of 4?
True
Let m(f) = 5*f**2 - f - 1. Let w be m(-1). Suppose w*c = -4 + 59. Is 3 a factor of c?
False
Let b(d) be the second derivative of -d**5/20 - 5*d**3/6 - 5*d**2/2 + 2*d. Is b(-2) a multiple of 5?
False
Suppose -z - 1 = -4. Let o = -4 + 0. Let l = z - o. Does 6 divide l?
False
Let y = -2 - -2. Let q = 0 + y. Does 17 divide q - (2 - (-3 + 36))?
False
Suppose -j + 2 = -18. Let k = -1 + 2. Suppose -k + 31 = u - 3*b, -j = -3*u - 5*b. Is u a multiple of 8?
False
Let q be (24/(-28))/(2/14). Let x be (-27)/(-12)*(q - -2). Let w = -1 - x. Is w a multiple of 5?
False
Suppose 3*k + 159 - 471 = 3*c, 0 = k - 4. Does 10 divide c/(-15)*(4 + -1)?
True
Is 23 a factor of 6/((-2)/(-69)*3)?
True
Let k = 1 - -19. Does 10 divide k?
True
Suppose 0 = a - 4*z - 68, 4 = z - 2*z. Does 26 divide a?
True
Let u be -92*(-1)/(2/(-1)). Let b = -14 - u. Is b a multiple of 13?
False
Suppose 0 = -3*f - 2*f - 15. Is (f/1 + 47)*1 a multiple of 21?
False
Suppose -5*u + 153 + 22 = 0. Suppose -3*y = -3*b - 57, -3*y + 27 = -2*b - u. Does 14 divide y?
False
Let r = 83 + -32. Is 10 a factor of r?
False
Let o(d) = d**2 - 5*d + 6. Let h(l) = -23*l**2 + 26*l + 9. Let w(n) = -8*n**2 + 9*n + 3. Let i(a) = -6*h(a) + 17*w(a). Let r be i(3). Is 12 a factor of o(r)?
True
Suppose 0 = -0*s - s - 5*t + 76, 3*t = 5*s - 408. Does 9 divide s?
True
Let r(l) be the second derivative of l**4/12 + l**3 - l**2 + l. Let z be r(-7). Let k(n) = n**3 - 4*n**2 - n - 1. Does 14 divide k(z)?
False
Suppose 11 = 4*u - 5*d, u + u + 3*d = 33. Is u a multiple of 5?
False
Let j(v) = v**3 + 11*v**2 - 12*v + 9. Let h(u) be the third derivative of -u**6/120 + u**5/10 - u**4/8 + u**3 - u**2. Let x be h(6). Is 4 a factor of j(x)?
False
Suppose -10 = -0*h - h. Is h a multiple of 8?
False
Let z(m) = m**2 - 6*m + 6. Let t be z(4). Let g(c) be the second derivative of c**4/12 - c**2/2 + c. Does 2 divide g(t)?
False
Let b = -18 - -27. Let n be 8/6 + (-3)/b. Let t = 6 + n. Is 7 a factor of t?
True
Let v be (-20)/(-6)*18/15. Suppose 1 = -q - v, 5*x + 40 = -3*q. Does 13 divide (-15)/(-25) - 127/x?
True
Suppose 3*h - 390 = -2*h. Is 16 a factor of h - (4 + -3)*2?
False
Is 20/14*14/4 a multiple of 5?
True
Let x = 23 - -17. Let o = x + -25. Is 3 a factor of o?
True
Let u = -13 - -18. Is u a multiple of 4?
False
Suppose 5*c - 13 = l, -c - 4*l + 12 = 1. Is c even?
False
Let r(o) = -o**2 - 6*o + 3. Let d be r(-6). Suppose 12 = 3*w, 2*w - 3 = d*c - 31. Is 4 a factor of c?
True
Let o(v) = v + 4. Let c(g) = -1. Let u(k) = -5*c(k) + o(k). Is 4 a factor of u(-5)?
True
Let a(g) = g**3 - g**2 + g + 4. Let f be a(0). Suppose 3*m - f*h = 4*m - 2, -4*h - 34 = 3*m. Let t = m - -40. Is t a multiple of 18?
False
Suppose 0 = 4*i - 26 - 38. Let x = i + 38. Is 10 a factor of x?
False
Suppose o + 3*o - 4*i + 4 = 0, -4*o - 3*i = 18. Does 11 divide (-2)/((-6)/75) + o?
True
Let f(d) = -1 + d - 5*d + 4*d + 3*d. Does 3 divide f(5)?
False
Let p(c) = -c + 7. Suppose 2 + 4 = -3*k. Let m(a) = -a**3 - 3*a**2 - 2*a. Let l be m(k). Is p(l) a multiple of 3?
False
Let n(f) be the second derivative of -f**4/12 + 59*f**2/2 + f. Let c be n(0). Suppose 4*b = 3*i + 146, -3*b = 5*i - 36 - c. Is b a multiple of 18?
False
Let u be 10*((-72)/(-15))/2. Suppose 2*c + 2*c = u. Let b(o) = 4*o. Is b(c) a multiple of 12?
True
Suppose 275 = -0*f + 5*f. Is 11 a factor of f?
True
Suppose -5*v = -0*v - 280. Is 28 a factor of v?
True
Let i(k) = k**2 - k - 6. Let c be i(0). Let b(r) = -8*r + 6. Let y be b(c). Suppose -104 = -5*l - n, 5*n + 17 = -2*l + y. Is 8 a factor of l?
False
Let r(w) = -18*w + 11. Is 17 a factor of r(-6)?
True
Suppose 117 = 9*u - 243. Does 5 divide u?
True
Let d(x) = -2*x + 2. Let s be d(-2). Is s/((-2)/1) + 60 a multiple of 19?
True
Suppose 3*m = 9, 4*f - 4*m = 1 + 11. Suppose 0 = 2*h - 2, w - 5*h + 0*h - f = 0. Is 10 a factor of w?
False
Suppose 3*c + 6 + 12 = 0. Let w(h) = -h**2 - h + 6. Let p(s) = -4*s**2 - 4*s + 23. Let d(z) = 2*p(z) - 9*w(z). Is d(c) a multiple of 7?
False
Let q(j) be the third derivative of j**6/120 + j**5/6 + j**4/6 + j**3/3 - 6*j**2. Let b be -11 - (-2 + 1 + -1). Is 18 a factor of q(b)?
False
Let x be (-6)/9 + (-33)/(-9). Does 16 divide ((-37)/3)/(x/(-9))?
False
Let m(t) = 5*t**2 - 11*t + 1. Let o be m(8). Suppose 5*i + 2 = -o. Let z = -31 - i. Does 7 divide z?
False
Suppose -5*k = -2*a + 15, 3*k + 15 - 6 = -5*a. Suppose 3*f + a*f = 9. Is 3 a factor of f?
True
Let m(j) = -8*j + 0*j - 3*j + 2. Let x be m(-2). Suppose x - 84 = -2*o. Does 11 divide o?
False
Let x(b) = -b**2 - 6*b - 4. Let q be x(-4). Suppose q*u - y - 4 - 41 = 0, 4*u - 4*y = 48. Does 11 divide u?
True
Suppose 4*g - 3*g - 18 = 0. Suppose 3*d - 3*a = g, -4*a + 26 = 3*d + a. Is 3 a factor of d?
False
Suppose 0 = -5*c - 3*j + 143, 2*c + 0*j - 54 = 2*j. Is c a multiple of 7?
True
Let c be (-1)/(-4)*(13 - 5). Suppose -y + 9 = c*y, -3*o = -2*y - 129. Does 14 divide o?
False
Is 11 a factor of (22/6)/(2 - (-25)/(-15))?
True
Let c(j) = -2 + 4*j**3 - 3*j**2 - 3*j**3 - 6*j + 5 + 7*j**2. Let o be c(5). Is (-2)/8 + o/24 a multiple of 4?
True
Let j = 1 + -2. Let l = j + 1. Suppose -y + 5*y - 276 = l. Is y a multiple of 24?
False
Suppose -l + 99 = -73. Does 43 divide l?
True
Suppose 3*a + 68 = 257. Is 25 a factor of a?
False
Is -8*(-2)/(2 + 2) a multiple of 4?
True
Suppose l - 1 - 17 = 0. Suppose 3*p - 441 - 487 = -s, -3*p + 930 = 3*s. Does 6 divide (-3)/l - p/(-18)?
False
Suppose -80 - 13 = -3*l. Does 9 divide l?
False
Let p(k) = -12*k - 9. Does 11 divide p(-9)?
True
Suppose 0 = 3*m - 3 - 9, 3*d - 4*m - 122 = 0. Suppose -2*i = t - 11, 5*t - 4 - 26 = -5*i. Suppose 2*n - d = -2*n + 2*z, -4*n = -i*z - 31. Does 8 divide n?
False
Suppose -a - i = -12, -i = -2*i + 2. Is 10 a factor of a?
True
Does 6 divide (-1 + (-21)/(-15))/(1/135)?
True
Suppose t + 0*t + 5 = 0, -3*m + 3*t + 255 = 0. Is 10 a factor of m?
True
Suppose 0 = 5*v + 4*g + 34, v + 2*v = -4*g - 14. Let u = 16 + v. Is u a multiple of 4?
False
Let o be (-4)/(-6) - 16/6. Let i = o - -4. Suppose -4*x = 4*j - 128, 2*x - 97 = -x - i*j. Does 13 divide x?
False
Let u(y) = y**3 - 6*y**2 + 2*y - 4. Let i be u(6). Let v(b) = -i + 8 + 3*b. Is v(1) even?
False
Let b = -15 + 41. Let g be 0 - -56 - (0 - -2). Let x = g - b. Does 10 divide x?
False
Let n(f) = f**2 - f - 10. Does 16 divide n(7)?
True
Let m(f) = 72*f**3 - f + 1. Let d be m(1). Let w = d + -37. Does 15 divide w?
False
Let t = -70 + 118. Does 16 divide t?
True
Let l(g) = g**2. Let j(b) = b**3 - 7*b**2 - 6*b + 11. Let p(h) = -j(h) + 2*l(h). Does 26 divide p(8)?
False
Suppose 0*g = 2*g - 8. Let t(q) = 6*q**2 - 3*q. Let a be t(g). Suppose 0 = 2*n - 4*n + a. Does 21 divide n?
True
Let r = 10 + -4. Let p = r - -10. Suppose 37 = 2*f + 2*l + 7, f - p = -2*l. Is f a multiple of 14?
True
Suppose -i - 19 = 7. Suppose 2*y + 36 = -0*y. Let m = y - i. I