- -57?
False
Let k(r) = -r - r**2 + 3 - r + 0*r**2 - 4*r. Does 2 divide k(-6)?
False
Suppose -c + 2*c = -4*l + 29, 5*c - 265 = 4*l. Does 13 divide c?
False
Let i(p) = -1 + 3 + p - 6. Let o be i(4). Suppose o = -5*c + 74 + 26. Is 10 a factor of c?
True
Suppose -3*l + 35 = -2*l. Is l a multiple of 13?
False
Suppose 375 = 3*l - q - 3*q, -4*l + 2*q + 490 = 0. Is l a multiple of 11?
True
Let g = 38 - 2. Does 4 divide g?
True
Let o be -1 - (-3 - -5)*-1. Suppose -5*y + 50 = -10*y. Is 5 a factor of (o - 2 - y)/1?
False
Is 14 a factor of 1117/4 + (-102)/(-136)?
True
Let m = 88 + 120. Does 10 divide m?
False
Is (-1328)/(-10) - (-4 - (-57)/15) a multiple of 19?
True
Let p(g) = g**3 + 6*g**2 - 3*g - 9. Suppose 0 = -3*a - 5*u - 13, 0 = 4*a + u - 0*u + 23. Is 2 a factor of p(a)?
False
Is 19 a factor of 0 + (-8245)/(-45) - (-4)/(-18)?
False
Let c(f) = -f**2 + 5*f - 2. Let s be c(4). Suppose 0*p = s*p + 18. Let h = p + 12. Is h a multiple of 3?
True
Let a(v) = -v**2 - 3*v - 1. Let u be a(-1). Let t = u - -18. Is t a multiple of 7?
False
Let l(c) = 27*c - 66. Is 25 a factor of l(8)?
True
Let f = 244 - 142. Does 28 divide f?
False
Let w = 121 - 69. Is w a multiple of 26?
True
Is 22 a factor of ((-474)/9)/((-4)/12)?
False
Let d = -14 + 46. Is 16 a factor of d?
True
Suppose 8*k - 3*k = 110. Is k a multiple of 7?
False
Let w(q) = -q**2 + 7*q + 1. Let i be w(7). Let t(x) be the first derivative of 17*x**3/3 + x - 1. Is 9 a factor of t(i)?
True
Let h be (-9)/(5/(20/(-6))). Is 23 a factor of -2 - h*(-57)/6?
False
Suppose 0 = -4*v + 20, 0 = 6*g - g - 5*v + 45. Let x = g - -3. Let f = x - -14. Does 6 divide f?
False
Let p(m) = 9 - 9*m + 5 - 3 + m**2. Let w be p(9). Let d = w + -8. Is d even?
False
Let d be (0 - 1/(-1))*3. Suppose -d*m = -v - 312, -324 = -3*m + 3*v + 2*v. Is m a multiple of 23?
False
Let f(c) be the first derivative of -c**4/4 + 2*c**3 + 5*c**2 + 3*c - 2. Is f(7) a multiple of 8?
True
Suppose -a = -0*a - 25. Let x = a - 13. Is x a multiple of 6?
True
Suppose 0 = -2*f - 5*k + 51, 62 + 91 = 5*f + 4*k. Does 23 divide f?
False
Suppose 4*f + 2*o = 82, 4*o - o - 31 = -2*f. Suppose -4*n - f = -219. Is n a multiple of 16?
False
Let v = -30 + 17. Let t = 24 + v. Suppose 2*u - 1 = t. Is u a multiple of 4?
False
Suppose 0*f - f + 3 = 0. Suppose f*a - 6*a = 0. Suppose a = -w - w + 8. Does 4 divide w?
True
Let i = 4 - 4. Suppose i*v + 11 = v. Does 11 divide v?
True
Let q = -42 + 68. Is 2 a factor of q?
True
Let x be 6/2 + -1 + 0. Suppose x*u = 8 - 0. Suppose j = -u*j + 170. Is j a multiple of 13?
False
Let k(n) = -n**3 - 6*n**2 + 3*n - 10. Let x be ((-70)/15)/((-4)/(-6)). Does 9 divide k(x)?
True
Suppose 0 = -5*c + 60 + 15. Let v = c - 3. Is 12 a factor of v?
True
Let k = -40 + 83. Is k a multiple of 14?
False
Is 34/((-2)/(-8) - (-2)/(-40)) a multiple of 22?
False
Let j = 1 - -5. Is j a multiple of 6?
True
Let d(s) = s**3 - 6*s**2 + 6*s - 8. Let u be d(6). Suppose u = 4*c + 2*o, 13 = 4*c - 5*o - 15. Is c a multiple of 2?
False
Suppose -6*f + 16 + 116 = 0. Is 8 a factor of f?
False
Suppose -u + 4 = -0*u. Suppose -230 = -u*c - 2*d, c + 5*d + 251 = 5*c. Does 17 divide c?
False
Let o(y) = 8*y**3 - 2*y**2 + 2*y - 1. Let g be o(1). Suppose 2*b - 3 = g, 4*i - 86 = 2*b. Suppose a - 4*q - 1 = i, -a + 2*q + 21 = 0. Is 13 a factor of a?
False
Suppose 3*i + 2 = -4. Is 16 a factor of (-7 - 2)*i - 2?
True
Suppose 4*m + 74 = 254. Let x = m - 26. Does 5 divide x?
False
Let o be 3/(-6*2/(-88)). Suppose -46 - o = -s. Suppose 0*k = -2*k + s. Is k a multiple of 17?
True
Suppose -2*l = -5*b + 3*l + 845, b - 5*l = 157. Is 43 a factor of b?
True
Let f(i) = i**2 - 7*i + 28. Is 11 a factor of f(15)?
False
Suppose 4*u + 0*u = 12. Suppose -4*z = 3*g - 83 + 17, 0 = z + u. Does 10 divide g?
False
Let a be (-4)/6 - 64/(-6). Let i = a + -3. Suppose 40 = i*m - 3*m. Is m a multiple of 10?
True
Let s(p) = 5*p**2 + 15*p + 1. Let d(j) = -2*j**2 - 7*j - 1. Let w(m) = -7*d(m) - 3*s(m). Let h be w(4). Does 11 divide ((-33)/h)/(3/(-8))?
True
Let d(r) = 7*r**3 - 2*r**2 - 10*r + 8. Let x(w) = 20*w**3 - 7*w**2 - 29*w + 23. Let u(c) = 17*d(c) - 6*x(c). Is 25 a factor of u(4)?
False
Let w = -8 - -12. Suppose -z + w - 3 = 0. Is z + -1 - 10/(-1) a multiple of 10?
True
Suppose 217 - 687 = -4*h - 2*y, 0 = -5*h + 3*y + 593. Is h a multiple of 18?
False
Let z(a) = -4*a**2 + 5*a - 3. Let y be z(4). Let f = y + 70. Is 7 a factor of f?
False
Let u(o) be the third derivative of -o**4/8 - o**3/6 - 2*o**2. Is u(-4) a multiple of 4?
False
Does 3 divide 3*(-3)/(-18) - (-702)/12?
False
Let c(s) = -s**2 - 3*s + 5. Let g be c(-4). Let x be 5 - (-1 + 1/g). Suppose 3*l = 3*a - l - 38, 2*l + 40 = x*a. Is a a multiple of 6?
True
Let q be (-1)/2 + (-2191)/(-14). Suppose z = -3*z + q. Does 23 divide z?
False
Suppose -g + 4*f = 7, -2*g + 2*f = 13 + 19. Let d = g + 27. Does 4 divide d?
True
Let g(s) = 2*s + 6. Let h be g(-7). Let i be 2/h - 153/12. Let n = i - -29. Is n a multiple of 8?
True
Suppose 2*z + 1 = -1, -3*z - 97 = -2*y. Is y a multiple of 12?
False
Let i(r) = -64*r**3 + 2*r + 2. Let p be i(-1). Suppose f - 5*f = -p. Is f a multiple of 8?
True
Let n = 9 + -3. Is n a multiple of 4?
False
Let o(u) = u**2 - 32*u + 1. Is o(-7) a multiple of 36?
False
Suppose 5*y = 3*y + 10. Suppose -5*c - y*d = 10, -3*d - 11 = c - 5. Suppose c = -2*x + 12 + 44. Is x a multiple of 14?
True
Let z be ((-106)/4)/((-3)/(-6)). Let k = z - -117. Let i = k + -38. Is i a multiple of 13?
True
Let j be 1/(-1) + 10/2. Let k(g) = 3*g + 8. Let n(d) = d + 1. Let o(l) = -2*k(l) + 14*n(l). Is 15 a factor of o(j)?
True
Suppose 0 = -0*d - 2*d + 8. Suppose -b = d*j - 48, 3 = -3*b + 15. Is 3 a factor of j?
False
Let z(a) be the first derivative of -a**4/4 - 17*a**3/3 - 21*a**2/2 - 3. Is z(-16) a multiple of 16?
True
Suppose -c - 3*a + 3 = 0, -6*a - 10 = -c - 2*a. Let q(t) = -7 - 2*t + 10 + t**2 + 5. Is 16 a factor of q(c)?
True
Suppose 3 - 11 = -4*u. Suppose h + 5 = u*h. Suppose -h*s = -3*f + 2*f + 26, -74 = -2*f - s. Does 18 divide f?
True
Suppose 4*a + 8 = 0, -3*f + 115 + 529 = 2*a. Suppose 0 = 4*i, -f = g - 5*g + 3*i. Is g a multiple of 18?
True
Let c be 2/(3*4/30). Suppose 2*y + c*a = 39, -4*a - 145 = -5*y + 2. Suppose -r - 11 = -4*m, 2*r + 3*m - y = -r. Is 5 a factor of r?
True
Let a be 12*8/(-12)*-1. Suppose -23 = a*v - 9*v. Is 17 a factor of v?
False
Let g(m) = m**2 + 7*m + 6. Let z(l) = l**2 + 8*l - 8. Let h be z(-8). Let v be g(h). Suppose 5*w = 36 + v. Is w a multiple of 4?
False
Let c(p) = p + 6. Is c(8) a multiple of 14?
True
Suppose -6*f + 5*f = -39. Is 13 a factor of f?
True
Suppose 25*y - 30*y = -115. Is 12 a factor of y?
False
Does 9 divide 296/16 - 1/2?
True
Suppose f + 27 = 2*b - 20, 76 = 3*b + 4*f. Does 8 divide b?
True
Suppose -5*i = -25, 8*b - 3*b = -i + 55. Is b a multiple of 10?
True
Let q(p) = p**3 - 11*p**2 - 16*p + 3. Let j be q(12). Let l = j + 71. Is 13 a factor of l?
True
Let i(y) = y**2 - 6*y + 11. Is i(6) a multiple of 11?
True
Suppose 0*t - 28 = -t. Is 6 a factor of t?
False
Let a(j) be the second derivative of 13*j**3/6 - j**2/2 + 3*j. Let m be a(1). Suppose -5*l = -2*p + m + 8, 4*p - 4*l = 40. Does 7 divide p?
False
Let t(g) = -g**3 - 2*g**2 - 4*g - 11. Is t(-6) a multiple of 39?
False
Suppose -179 = -5*a - 59. Suppose -2*t = -0*t - a. Does 4 divide t?
True
Let z be (5 - (-2 + 4))/1. Let b be 2/9*z*69. Suppose b = 4*u - 58. Does 13 divide u?
True
Let f be 9/(-9) - (-5 + -1). Suppose -2*i + f*b = -355, 2*i - 4*b = i + 185. Suppose -5*d = 4*y - i, 4*d + 0*y = y + 132. Does 9 divide d?
False
Does 10 divide 4 + (-2 - -1) + 33?
False
Let t(k) = 3*k**2 - 3*k. Is 18 a factor of t(3)?
True
Let w = 14 - 9. Suppose -2*h - 9 + 53 = 2*z, -2*h = w*z - 95. Is 6 a factor of z?
False
Let h = -48 + 51. Suppose 3*g = 2*r - g - 36, 3*r = -3*g + 27. Suppose -h*i - 262 = -5*k, 0*i = 3*i + r. Is 24 a factor of k?
False
Let l = -21 + 20. Is 8 a factor of (-4 - l)*-3*1?
False
Let j(l) = 3*l**3 + 7*l**2 - 2*l - 6. Is j(3) a multiple of 22?
True
Let y(j) = -j - 5. Let s(x) = -x**3 - 8*x**2 - 6*x + 2. Let v be s(-7). Let n be y(v). Suppose n = 6*o - 2*o - 88. Is 8 a factor of o?
False
Suppose -5*f - 14 = -b - b, 35 = 5*b + 2*f. Does 7 divide b?
True
Let c = 54 + 141. Does 39 divide c?
True
Suppose -35 = 7*q - 301. Is 19 a factor of q?
True
Let x be 2*(-7