a multiple of 14?
True
Suppose 3*d - 79 = -16. Suppose -l + 3 = -2. Suppose l*w = d + 59. Is w a multiple of 8?
True
Suppose -6 = -3*a - 0. Let n be a/(3/(-6)*-1). Suppose n*j = -2*z - 1 + 9, 5*j + 35 = 5*z. Is 3 a factor of z?
True
Is 17 a factor of 1/((12/405)/4)?
False
Let z(o) = -o + 2. Let w be z(6). Does 14 divide ((-2)/w)/(4/112)?
True
Let t(g) = 4*g + 1. Let o be t(1). Suppose 2*z - q - 80 = 0, -2*q - 77 - 122 = -o*z. Is 19 a factor of z?
False
Let u = 24 + -17. Let r = 18 + u. Is r a multiple of 5?
True
Let d be 3/4 - (-4299)/12. Suppose 0 = -5*c + 3*c + 3*j - d, 25 = 5*j. Does 10 divide 2/(-4) + c/(-8)?
False
Suppose -2*c - 2 = -4*y, 0 = -3*y - 4*c + 2*c - 2. Suppose -5*l + 21 - 1 = y. Does 2 divide l?
True
Let k = 10 - 4. Let h = 28 - k. Is h + 0 + 1 + -1 a multiple of 11?
True
Let b = -1 + 4. Suppose 0 = -b*q + 28 + 95. Is q a multiple of 16?
False
Suppose 0 = -4*b + 8, 0 = -t - 3*t + 3*b + 10. Suppose -t*r = -r + 3. Does 9 divide -2 + (0 - -23 - r)?
False
Suppose 0 = -12*y + 13*y - 144. Is 12 a factor of y?
True
Let i be 2/(-8) + 9/36. Suppose i = 3*c - c - 30. Is 15 a factor of c?
True
Is 32 - (-4 - ((-18)/3 - -3)) a multiple of 26?
False
Suppose 0 = 3*q + 4*n - 147, -2*n = 2*q + q - 147. Is q a multiple of 9?
False
Suppose -h - 4*c = -6*h + 224, -5*c = h - 39. Is h a multiple of 11?
True
Let u(o) be the third derivative of 2*o**2 + 1/15*o**5 - 1/24*o**4 + 0*o + 1/3*o**3 + 0. Is 16 a factor of u(3)?
False
Let p be ((-6)/9)/(8/(-60)). Suppose 40 = p*s - s. Is s a multiple of 2?
True
Let z(f) = f**2 + 5*f + 8. Let c be z(6). Let j(q) = q**2 + q - 27. Let p be j(-12). Let g = p - c. Is 15 a factor of g?
False
Let o(l) = l**2 - 7*l - 6. Let v be o(8). Suppose -5*k + 8 + v = 0. Suppose -a - 32 = -k*a. Is 15 a factor of a?
False
Let m(w) = w**3 - 10*w**2 + 9*w + 15. Does 5 divide m(9)?
True
Let d(s) = -s**3 - 5*s**2 + 4*s + 3. Suppose -7*l + 4*l = 18. Let g be d(l). Suppose -g + 3 = -m. Is m a multiple of 12?
True
Let z be 3/2*280/(-21). Is 7 a factor of (0 - (z + 1)) + 2?
True
Let m(u) = u + 1. Is 6 a factor of m(5)?
True
Suppose 6*k - k - 225 = 0. Does 27 divide k?
False
Suppose 0*w + 5*w = -10, -4*n = 2*w - 840. Is n a multiple of 58?
False
Suppose -y - 32 = -5*y. Is y a multiple of 2?
True
Suppose 20 + 20 = b + 4*n, 4*b - 115 = -n. Suppose b = 4*f - 0*f + 5*q, 3*f - 3*q = -6. Suppose 5*p - 85 = 5*u, -4*p + 4*u - f*u + 70 = 0. Does 9 divide p?
True
Let t(p) = -6*p**3 + 6*p**2 - 5. Let r(y) = 3*y - 3 + 5*y**3 + 3*y - 7*y + 8 - 5*y**2. Let x(k) = 5*r(k) + 4*t(k). Does 22 divide x(4)?
False
Let a(w) = 8*w**3 + 4*w**2 - 2*w - 1. Is 15 a factor of a(2)?
True
Let j(x) = -x**3 - 7*x**2 - 2*x - 2. Let k be 141/12 + (-2)/(-8). Let p = k - 19. Is 12 a factor of j(p)?
True
Does 16 divide (-4)/(-2) + (-1)/(2/(-124))?
True
Let b = -13 - -59. Suppose b = y + 2. Suppose d - 33 = -3*o, 0 = -o - 3*o - 5*d + y. Does 11 divide o?
True
Let t = -38 - -34. Let h(s) be the second derivative of s**4/12 + s**3/3 - 3*s**2/2 - s. Is 4 a factor of h(t)?
False
Let j be (-4 - -3)/((-1)/2). Suppose -24 = -j*s - 2*s. Is 3 a factor of s?
True
Suppose 1 = 3*j - g + 10, 0 = -2*j + 2*g - 6. Let r = 11 + j. Is 4 a factor of r?
True
Let o(t) = -t**3 - 4*t**2 - t + 1. Let n be o(-4). Suppose -8*g = 4*m - 3*g - 123, -2*m - n*g + 59 = 0. Is 8 a factor of m?
True
Suppose 924 = -5*c + 9*c. Is c a multiple of 29?
False
Let b be (-2 - -5 - -1) + -2. Let y(h) = 3*h + 2 + 6*h**2 - 9*h**b + 0*h + h**3. Is y(3) a multiple of 11?
True
Let r be (6/4)/(6/8). Suppose r*j - 17 = j. Does 11 divide j?
False
Let i = -4 + 7. Suppose 0 = 4*p + i*z - 45, 2*p + 4*z - 2 = 18. Is p a multiple of 4?
True
Suppose 4*q = 3*u - 68, 0*u + 2*q - 38 = -3*u. Is 16 a factor of u?
True
Suppose 2*g - 265 = -2*r + 245, 0 = -5*g + 5*r + 1325. Does 12 divide g?
False
Let v(o) = -o**3 + 4*o - 2. Let z be v(2). Does 9 divide (12/8 + z)*-18?
True
Is -2 - (-227 - (-2 + -1)) a multiple of 44?
False
Let h(b) = -b**3 + 5*b**2 - 3*b + 6. Suppose 4*k - 2*k = 8, 3*t + 5*k = 32. Is h(t) a multiple of 5?
True
Let u = -2 - -4. Let v be 12*(12/(-9))/2. Let w = u - v. Is w a multiple of 3?
False
Suppose 0 = -5*k + 23 - 3. Suppose -k*u = -21 - 71. Does 18 divide u?
False
Let r be (3/(-4))/((-3)/24). Suppose -4*b = -r - 34. Suppose c - b - 9 = 0. Is c a multiple of 5?
False
Let l(i) = -i**2 + 6*i + 4. Let y be l(8). Is 9 a factor of (-106)/y + (-1)/(-6)?
True
Let w = 54 + -24. Suppose -3*l - w = -5*l. Is 15 a factor of l?
True
Let n(u) = 3*u. Let q(t) = t + 6. Let s be q(0). Let a be n(s). Suppose -3*h = -2*h - 2*d - a, -d = 3. Is 5 a factor of h?
False
Let c(h) = -8*h + 6. Does 27 divide c(-6)?
True
Suppose 2*o = -4*t + 200, -2*o - 5*t = -6*o + 335. Does 9 divide o?
True
Suppose 5*f + 125 = 5*o, -5*o + 0*f - 3*f = -85. Suppose o = 3*b + 2. Does 3 divide 34/4 - b/12?
False
Let f = -131 + 140. Is f a multiple of 9?
True
Suppose 0 = -z + 4*d + 35, -6*z + 2*z + 116 = -4*d. Suppose -3*o + 15 = 0, w + 4*o - o - z = 0. Is w a multiple of 6?
True
Suppose 0 = 3*b - 0*b - 9. Suppose j - 31 = -m + 4*j, -b*m = 4*j - 119. Is 10 a factor of m?
False
Let x = -1 - -4. Let a be (x/(-2))/((-3)/(-8)). Does 3 divide (3 + 1)/((-2)/a)?
False
Is 4 a factor of (-16)/(-72) - 284/(-18)?
True
Let l = 129 + -103. Is 2 a factor of l?
True
Let d be 2 + -1 + 0 + -2. Let a = d + 5. Suppose 55 + 1 = a*o. Is 14 a factor of o?
True
Let x = -6 + 8. Suppose -4*o = -x*o - 6. Suppose 0 = -g - o*g - 12, -c + 5 = 2*g. Does 5 divide c?
False
Let t(y) = 21*y - 4. Let c(n) = 104*n - 21. Let s(g) = 2*c(g) - 11*t(g). Is 10 a factor of s(-1)?
False
Let y(v) be the first derivative of v**3 - v**2/2 - v - 1. Let i be y(-1). Suppose -2*b + 37 = 3*x, 3*x - i*b - 30 = 27. Is 15 a factor of x?
True
Let i be (-1)/4 - (-23)/(-4). Let o = i - -18. Is 12 a factor of o?
True
Let b(g) be the second derivative of g**3/6 + g**2/2 + 2*g. Let f be b(4). Suppose -5*i - 10 = -z, -z - f*i = z - 50. Is z a multiple of 10?
True
Let k = 36 - 18. Is 6 a factor of k?
True
Let b(v) = -v**2 - 4*v + 7. Let y(a) = -2*a + 5. Let g be y(5). Let u be b(g). Let c(z) = 8*z**2 - 2*z + 2. Is c(u) a multiple of 12?
False
Let a(d) = d**3 + 4*d**2 + 3*d + 2. Let w be a(-3). Suppose -17 = w*x - 57. Is x a multiple of 5?
True
Suppose -2*q - 6 = -58. Is q a multiple of 13?
True
Let j = -76 - -135. Let s = -26 + j. Is 27 a factor of s?
False
Is 21 a factor of (16/20)/((-10)/(-4175))?
False
Suppose 6*o = 63 + 57. Is o a multiple of 16?
False
Let m(n) = -n**3 + 18*n**2 - 61*n + 6. Is 13 a factor of m(11)?
True
Is 13 a factor of 2/6 + -5 + (-265)/(-15)?
True
Suppose -x - 3*x = -280. Suppose 18 = -4*v + x. Suppose -4*d + v = k, -4*k - 5*d + d = -40. Does 9 divide k?
True
Suppose -3*u + 927 = 3*z, -u - 4*z = u - 612. Does 15 divide u?
False
Let d(w) be the second derivative of -w**3/6 - w**2/2 - 2*w. Let l be d(4). Let z(h) = h + 7. Is z(l) a multiple of 2?
True
Let j(o) = -36*o + 7. Let k be j(-3). Suppose -3*i = 4*z - k, 2*i + 3*i - 5 = 0. Does 14 divide z?
True
Is (-28)/(-8)*5*2 a multiple of 35?
True
Suppose -16 = -3*i - 1. Suppose -i*h + h = -104. Is h a multiple of 13?
True
Let l(u) = 5*u**2 - 13*u + 20. Does 23 divide l(9)?
False
Does 7 divide (9/(-2))/((-5)/70)?
True
Is (-2)/7 + (-455)/49*-8 a multiple of 17?
False
Suppose 42 = 3*j - w - 41, -102 = -4*j - 3*w. Suppose s + 0*s - j = -i, -i + 18 = 4*s. Is 9 a factor of i?
False
Suppose 3*q - 40 = 4*p, -5*p + 9*p = 2*q - 32. Let x be -2 - 2*(-2 - -1). Suppose x = f - 2 - q. Does 9 divide f?
False
Suppose -g = -2*g. Suppose 5*y - 20 = -g*y. Suppose o - y*o = -69. Is o a multiple of 13?
False
Let p(l) = -5*l. Let b be p(-1). Suppose 306 = b*y + 46. Is y a multiple of 26?
True
Let g(i) be the second derivative of -i**3/2 + i**2/2 + i. Let o(x) = -2*x - 33. Let m be o(-16). Is 2 a factor of g(m)?
True
Suppose 5*t - 140 = -2*p + 21, -4*t - 3*p + 126 = 0. Is t a multiple of 11?
True
Let u = 132 - 74. Is u a multiple of 16?
False
Suppose -27 = -5*r + 4*u + 1214, -u - 494 = -2*r. Is r a multiple of 15?
False
Suppose 6*v = 2*v + w + 183, 0 = -4*v + 4*w + 180. Let p = v - 5. Is p a multiple of 15?
False
Let u be 1 + -3*(-2)/6. Let c be ((-1)/u)/((-2)/(-4)). Does 12 divide 276/9 - c/3?
False
Let v = -28 - -109. Is v a multiple of 27?
True
Suppose 0 = 16*g - 11*g - 60.