1214/(-14) + 14/(-49). Let s = v - -256. Let l = s - 91. Is l a multiple of 28?
False
Suppose 3*o + t - 1583 = 0, 1565 = 5*o - 2*t - 1077. Is o a multiple of 16?
True
Let g = 378 + 81. Is g a multiple of 16?
False
Suppose -5*d = -d - 68. Is (-3)/(3/(-27)*3/d) a multiple of 17?
True
Let p(q) = 49*q**2 + q + 51. Is p(8) a multiple of 13?
False
Let b = 1416 - 706. Is b a multiple of 69?
False
Suppose -8*n - 575 = -3*n. Let k = n - -36. Let h = 121 + k. Is h a multiple of 7?
True
Let g be (-88)/(-10) - 4/5. Let r(u) = u**2 - 7*u - 3. Let s be r(g). Is (3/s)/((-5)/(-925)) a multiple of 17?
False
Let b = 27 - 29. Let a = b - -32. Is a a multiple of 10?
True
Let j(r) = 2*r - 7. Let a be j(12). Let p = 16 - a. Does 14 divide p/2 - (-106)/4?
False
Let o(a) = 2*a**2 - 35*a + 2. Does 6 divide o(18)?
False
Let l(z) be the first derivative of z**3/3 - 3*z**2/2 - 25*z - 1. Does 10 divide l(-14)?
False
Let a = 1127 + -679. Does 56 divide a?
True
Let f(p) = -2*p**3 + p**2 - p + 80. Is f(0) a multiple of 33?
False
Suppose -k - 1707 = -2*k - m, 0 = 4*k - m - 6853. Is k a multiple of 11?
False
Suppose -14*a + 14 = -56. Let l(m) be the third derivative of 11*m**4/24 + 5*m**3/3 - m**2. Is l(a) a multiple of 13?
True
Let w = 1 - 6. Let y(a) = -a - 2. Let u be y(w). Suppose -4*t + 5*s = -77, 37 + 14 = 3*t + u*s. Does 12 divide t?
False
Suppose 2*w + u = 3*w + 4, -w - u + 4 = 0. Let x(n) = 2*n**3 + 15. Does 15 divide x(w)?
True
Suppose 0 = 5*y + 19*f - 23*f - 411, -333 = -4*y - f. Is y even?
False
Let r(y) = y**3 + 17*y**2 + 9*y - 32. Let u = -82 - -66. Does 8 divide r(u)?
True
Let g(j) = j**3 - 2*j**2 + 295. Let l = -160 + 160. Is g(l) a multiple of 33?
False
Let q(b) = -b + 2. Let d be q(-2). Let v = 432 - 428. Suppose 436 = 4*n - d*h, h = -v*n + 3*h + 432. Is n a multiple of 34?
False
Let m(o) = -5*o - 17. Let q = -14 - -30. Suppose -4*i = 3*d + 13, 3*i + 0*d + d + q = 0. Does 6 divide m(i)?
True
Let a = -149 + 250. Is a a multiple of 10?
False
Let t be (-3 + 13/3)*9. Let z = t + 64. Is 24 a factor of z?
False
Let b = 862 - 702. Is 14 a factor of b?
False
Let y(z) = -z**2 + z + 20. Let n be y(0). Let l = n + -19. Suppose -3*j + 7 = l. Is j even?
True
Let j = 1692 + -1098. Is 66 a factor of j?
True
Let t = 15 + -12. Suppose 6*h - t*h - 3 = 0, -a = -4*h - 252. Is a a multiple of 8?
True
Let u = -10 + 11. Let w(v) = -4*v**3 - 11*v**2 + 11*v - 2. Let q(o) = -o**3 - o**2 + o. Let b(p) = u*w(p) - 3*q(p). Is b(-9) a multiple of 4?
False
Let g = 11 + 1. Is g/30 - 326/(-10) a multiple of 11?
True
Let l be 9 + 3 - (4 - 0). Suppose l = 4*d - 16. Let o(z) = z**3 - 6*z**2 + 4*z - 15. Is 9 a factor of o(d)?
True
Let v = -76 + 26. Let h = v - -66. Is h a multiple of 3?
False
Let z(f) = 14*f**2 - 12*f**2 - 5*f + f**3 + 2 + 3*f. Let u be z(4). Let q = u + -63. Is q a multiple of 14?
False
Suppose 2*s - 5*s + 696 = 0. Is 29 a factor of s?
True
Suppose -15*p = -12*p - 4428. Does 18 divide p?
True
Let i(t) = 11*t**3 - 12*t**2 + 30*t - 6. Let f(j) = 5*j**3 - 6*j**2 + 15*j - 3. Let b(n) = 9*f(n) - 4*i(n). Is b(6) a multiple of 26?
False
Let k = 92 + 478. Is 15 a factor of k?
True
Suppose 19*m - 4*m = 15840. Does 33 divide m?
True
Suppose -5 = o, -4*z + 4*o - 6*o = -26. Suppose -j = -4*i - 164, j - 3*i + z = 168. Does 35 divide j?
False
Suppose 0 = 5*y - 2*y - 72. Let d = y - 31. Let r = 45 - d. Does 19 divide r?
False
Let d = 21 + -16. Let h(m) = -m**3 + 5*m**2 - 4*m - 7. Let w be h(d). Is 19 a factor of (-6)/w - 680/(-18)?
True
Let u = -71 + 16. Let i = -33 - u. Suppose -5*q = 5*x - 50, -q = 2*x + 2*q - i. Does 2 divide x?
True
Suppose -14 = -2*o + 3*n + 344, 0 = 4*o + 4*n - 696. Is o a multiple of 16?
True
Suppose -6192 = -19*f + f. Is 16 a factor of f?
False
Let o = 9 + 41. Is o a multiple of 13?
False
Let s(f) = 10*f + 6. Let t = -6 + 8. Suppose 3*g - k = 24, -k = -t + 5. Is 24 a factor of s(g)?
False
Let c(p) = -1806*p**3 - 2*p**2 - p + 2. Is c(-1) a multiple of 13?
True
Suppose 0 = 5*w + 300 + 635. Let t = -95 - w. Does 9 divide t?
False
Let q(t) = -t - 10. Let l be q(-7). Let x(g) = -g**3 - g**2 + 5*g + 4. Is 2 a factor of x(l)?
False
Let t be 4/(-18) + 346/18. Suppose 0 = 2*d - g - t, -4*g + 61 = 5*d - 2*g. Is d a multiple of 3?
False
Let u(o) be the first derivative of -o**3/3 + 3*o**2/2 + 168*o - 23. Is u(0) a multiple of 28?
True
Is (-4)/10 + 6 + (-171)/(-15) a multiple of 2?
False
Suppose -4*n + 35 = -3*n. Let a = 2 - -22. Let q = a + n. Does 12 divide q?
False
Let j be (2/(-6))/(12/(-144)). Suppose -k + j = 0, -5*f - k + 3*k + 582 = 0. Is f a multiple of 59?
True
Suppose 2680 = f - 5*j, -6*f + 13496 = -f - j. Is f a multiple of 100?
True
Let g be 41 - (3 - 3) - (-4 - -3). Suppose 2*o = -0*o + g. Is o a multiple of 5?
False
Let n be (-2)/(2 - (-33)/(-15)). Suppose 2 - n = 4*h. Does 25 divide 1/h - (-1352)/16?
False
Suppose 225 = -2*x + 743. Is x a multiple of 20?
False
Is 12 a factor of (5/(-10))/((-65996)/(-13200) - 5)?
False
Let p be 84 - (-6)/2*10/(-15). Suppose 0 = -p*u + 88*u - 360. Does 18 divide u?
False
Suppose -2*c = -25 - 23. Let u be 12/c + 1/(-2). Suppose 0 = 5*a - u*a - 200. Is 20 a factor of a?
True
Does 24 divide ((-5920)/(-30))/(8/12)?
False
Let r(g) be the third derivative of 11*g**5/60 - g**4/12 + g**3/6 + 10*g**2. Is 5 a factor of r(1)?
True
Suppose 18*p = 24*p - 18. Suppose 4*u - 5*y - 5 = 0, -4*y = -2*u + y + 5. Suppose u = -p*s + 46 - 4. Is 7 a factor of s?
True
Let b(i) = 4*i**2 + 55*i - 21. Is b(-24) a multiple of 32?
False
Let m = -1269 - -1402. Is m a multiple of 11?
False
Let w be (-19)/6 + 9/54 - -1609. Suppose -w - 816 = -14*z. Does 22 divide z?
False
Let p(c) = -12*c + 1. Let o be p(-3). Let l = o - 25. Let d(n) = n**2 - 8*n - 13. Is 11 a factor of d(l)?
False
Does 35 divide 82/6*(23 + -20)?
False
Let x be (-306)/(-6) - (2 + 1). Let j = x + -32. Is j a multiple of 4?
True
Let w be (-1 - -7)*(1/(-2))/1. Does 24 divide 1/9*w + 1394/6?
False
Let p be (72/10)/((-4)/(-50)). Suppose -2*a = -8 - p. Let y = -10 + a. Is y a multiple of 18?
False
Let p = -34 + 38. Suppose p*w - 134 = 238. Is w a multiple of 13?
False
Let y be (-125)/(((-9)/2)/9). Let s = 502 - y. Does 28 divide s?
True
Suppose -860 = -2*t - 3*t. Is 4 a factor of t?
True
Let d(o) = -o + 11. Let f = -16 - -23. Let s be d(f). Suppose -80 = -s*j + 56. Is 27 a factor of j?
False
Let a(f) = -1303*f - 14. Is a(-2) a multiple of 36?
True
Suppose -d = -2*l - 8, 6*d - d - l - 31 = 0. Let x = d + -4. Suppose -x*i = -10 - 8. Is i a multiple of 4?
False
Let o be (-3694)/(-8) - (-7)/28. Suppose -242 = -11*f + o. Is f a multiple of 6?
False
Suppose h = -s + 450 + 176, s = 2*h - 1255. Does 57 divide h?
True
Let l = -101 + 400. Does 13 divide l?
True
Let b = 40 - -20. Suppose -5*l + 15 = -b. Does 5 divide l?
True
Suppose 7 = 2*c - 1. Suppose 0 = -c*s + 116 + 124. Is 15 a factor of s?
True
Suppose 6*t - 129 + 21 = 0. Suppose 3*f + 3*g = -0*g + 9, 2*f = 4*g - t. Is 26 a factor of -4*f/2*13?
True
Let c = -266 + 71. Let r = -118 - c. Is 11 a factor of r?
True
Suppose 243 - 269 = -d. Is 26 a factor of d?
True
Suppose 1347 + 3109 = 4*o. Is 25 a factor of o?
False
Let z be ((-80)/25)/(3/(-30)). Suppose -z = 2*j - 200. Suppose -s + 207 - 75 = 5*h, -3*h + s = -j. Is h a multiple of 23?
False
Let k be (13/(-2))/((-3)/18). Is 4 a factor of (-35)/(-2) - k/26?
True
Let o be (3*(2 + -1))/((-12)/(-160)). Is -4 - (28/(-14) - 4*o) a multiple of 44?
False
Let t(s) = -s**3 - 8*s**2 - 4*s - 5. Let m be t(-8). Does 4 divide 0 + 1 + (m - 5)?
False
Let l(x) = -x**2 - 4*x - 4. Let d be l(-4). Let t be d/(-6) - 238/(-21). Let r = -2 + t. Does 5 divide r?
True
Let c = -4 + 11. Suppose -2*x + c*x = 2*j - 151, -4*x - 308 = -4*j. Does 26 divide j?
True
Let s be 68 + -3 - (-2)/(-2). Suppose 2*d + 4 = s. Is d a multiple of 3?
True
Let v(j) = 19*j**2 + 139*j - 9. Is 5 a factor of v(-8)?
True
Suppose -1 = -x + 10. Suppose -x*i + 9*i = -140. Is i a multiple of 8?
False
Let y(i) = i**2 + 16. Let w be (-18)/(-5)*15*2/12. Is y(w) a multiple of 11?
False
Let c be (-107 + 1)/(-10 + 11). Let g = c - -191. Does 8 divide g?
False
Let z(i) = -i + 16. Let h be z(13). Let a(r) be the first derivative of r**4/4 - r**3 + 3*r**2/2 + r - 13. Is 10 a factor of a(h)?
True
Let s(j) = -14*j + 4. Let m be s(-5). Suppose -7*v + 2*l = -2*v - 354, -2*l = 