ide (0 + 5 - 6)*y?
True
Suppose 0 = -4*f + 8 + 4. Suppose -8*c - f*o = -4*c - 317, c - 83 = 3*o. Does 11 divide c?
False
Let u = 62 - 32. Let j = 58 - u. Does 14 divide j?
True
Let y(s) = -3*s - 3. Let z be y(6). Is (-28)/z + (-14)/(-3) a multiple of 6?
True
Let f = -1551 - -2283. Is f a multiple of 12?
True
Suppose -16 = -5*o - 1. Suppose 1 + 50 = o*a. Does 4 divide a?
False
Suppose -29*f = -26*f - 2070. Is 69 a factor of f?
True
Let f(p) be the third derivative of 13*p**4/24 - 10*p**3/3 - 7*p**2. Let x be f(9). Suppose -5*q = 3*z - x, 21 = q - 4*z - 3. Is q a multiple of 14?
False
Suppose -4 = -5*j - 44. Let t = j - -8. Suppose t = r + 3*g - 34, r + 4*g + 20 = 2*r. Does 7 divide r?
True
Let s(m) = -m**3 - 4*m**2 - 10*m + 4. Let q be s(-10). Suppose 3*v + 2*h = -2*v + q, 4*h = -5*v + 698. Does 16 divide v?
False
Let v be 4/(-6) + 22/6. Suppose 0 = v*i - 5*k - 35, -4*i + 3*k + 12 + 20 = 0. Suppose -4*u = -4*c - 24, -4*u - i*c + 27 = -6. Is 7 a factor of u?
True
Let r(n) = -n + 14. Let x be 2 + -6 - -8 - -7. Let h be r(x). Suppose -7 = h*i - 16. Does 2 divide i?
False
Suppose -2*w = 5*s - 1, 4 = 5*w + 3*s - 8. Let d be (252/8)/(w/6). Suppose 0 = 3*y - 54 - d. Does 10 divide y?
False
Suppose l = 2 + 2. Suppose l = 5*i - 11. Suppose -i*p = -p - 94. Does 10 divide p?
False
Let b = -26 - -38. Let k(l) = 3*l**3 + 9*l**2 - 16*l + 18. Let i(o) = o**3 - o**2 - o + 1. Let d(s) = -4*i(s) + k(s). Does 8 divide d(b)?
False
Let f(r) = 357*r - 232. Is 54 a factor of f(11)?
False
Suppose -80 = -r + 5*r. Let s = 57 - r. Is 12 a factor of s?
False
Does 30 divide 0 - (35/5)/(6/(-840))?
False
Let b be ((-1)/(-2))/(354/(-72) + 5). Is (32/(-3))/((-1)/b*2) a multiple of 4?
True
Suppose 7*i - 2598 = 223. Is i a multiple of 31?
True
Let b = 1081 - 352. Suppose 15*s - 396 = b. Is s a multiple of 32?
False
Let k be (2 - 40)*-2 - 0/(-1). Let z = k - 48. Is 28 a factor of z?
True
Let a be (-12)/18*(2 + 16). Is 16 a factor of 672/8*a/(-9)?
True
Let j be (0/(-4 + 8))/2. Suppose j = 5*z - 15, p + 5*z = 30 + 27. Does 21 divide p?
True
Suppose 14*j = -5*j + 2394. Is j a multiple of 2?
True
Let i = -886 - -1286. Is i a multiple of 50?
True
Let d(o) be the third derivative of -o**4/8 - 11*o**3/6 + 11*o**2. Is 3 a factor of d(-6)?
False
Let s(k) = -9*k**2 + 22*k - 32. Let f(h) = -4*h**2 + 11*h - 16. Let d(v) = -5*f(v) + 2*s(v). Does 14 divide d(10)?
False
Suppose -65 = 11*g - 16*g. Suppose -g*j = -16*j + 81. Is 9 a factor of j?
True
Suppose 5*y = y - 5*b + 105, 4*y + b = 85. Let w be 4/(-10) + 268/y. Let h = 40 - w. Is h a multiple of 14?
False
Suppose -d + 134 = -303. Is d a multiple of 13?
False
Let k = -97 + 98. Let n(j) = 112*j. Is 56 a factor of n(k)?
True
Suppose 2*c + 2 - 4 = y, -4*y - 4 = -4*c. Suppose y = -i + 2*b - 18 + 84, 137 = 2*i + b. Is i a multiple of 10?
False
Let b be 6/(-8)*(14 - 2). Let a(o) = -10*o + 6. Is a(b) a multiple of 43?
False
Let c(x) = -2*x**2 + 8*x + 10. Let t be c(5). Does 15 divide ((-1)/(-2) - t)*182?
False
Let y(w) = -w**2 - 10*w + 3. Let g be y(-6). Suppose -4*q + 21 + g = 0. Does 4 divide q?
True
Let c = -33 - -53. Let b = -9 + c. Does 6 divide b?
False
Does 90 divide 992 - (2/8 + (-42)/(-24))?
True
Let m(p) = -p**3 - 10*p**2 - 10*p - 21. Let v be m(-9). Is 12 a factor of 154 - 3/((-9)/v)?
False
Let d = 69 - 65. Suppose 3*z = -d*z + 1820. Is z a multiple of 52?
True
Let m(d) = -d**3 - 13*d**2 + 14*d + 6. Let f be m(-14). Suppose -5*i + 4 = -f. Is 4 a factor of (12/(-15))/(i/(-10))?
True
Suppose 4*x + 14 = 2. Let v = 19 - x. Is 7 a factor of v?
False
Suppose 0*y + 1042 = 2*y - 3*f, 0 = 3*y + 2*f - 1589. Does 4 divide y?
False
Suppose 4*m = -2*c + 72, 0 = -c - c + 4*m + 96. Suppose -t + 82 = 4*i + 15, -c = -t + i. Does 12 divide t?
False
Let q be -2*1*(-9 - 76/(-8)). Does 22 divide 1/q + 199 + (-18 - -18)?
True
Let d(i) = 23*i**2 + 16. Is d(-4) a multiple of 44?
False
Suppose 0 = 2*k + h - 986, -16*k + 11*k - 2*h + 2466 = 0. Is k a multiple of 13?
True
Let g = -1 + -8. Let l be (-17)/4 + g/(-36). Is 15 + l/((-16)/(-12)) a multiple of 12?
True
Let h(y) = 2*y**2 + 2*y**2 - 7*y + 1 - 15*y - 5*y**2. Is h(-10) a multiple of 37?
False
Let i(p) = 43*p + 479. Is 4 a factor of i(-10)?
False
Let s(j) = -43*j - 9 - 13*j**2 - 16 + 37*j - j**3. Is s(-13) a multiple of 21?
False
Suppose -a + q + 41 = 0, -4*q + 29 = -2*a + 113. Suppose -15 = 5*p - a. Suppose 3*d + 0*d + 45 = p*n, -4*n - 5*d = -36. Is 9 a factor of n?
True
Let u(l) = l**2 - 8*l - 13. Let v(o) be the second derivative of -o**5/20 + o**4/12 + o**3/6 - 7*o**2/2 + o. Let j be v(0). Is 14 a factor of u(j)?
False
Let u = 705 + -397. Does 14 divide u?
True
Suppose 15408 = -9*g + 18*g. Does 45 divide g?
False
Let r(c) = c - 9. Let h be r(9). Suppose f - a - 3 = -h*f, 5*f - 4*a = 12. Suppose -4*n = 3*b + 38 - 99, -3*n + 12 = f. Does 5 divide b?
True
Suppose -5*b - 1773 + 93 = 0. Let r = 514 + b. Is 29 a factor of r?
False
Suppose 3*k = 204 + 339. Suppose -p = p - 6, 4*p = -j + k. Does 13 divide j?
True
Let g(w) = 4*w**2 + 9*w + 8. Let x be g(-6). Let r = -24 - -25. Does 12 divide r/(-4) - x/(-8)?
True
Is 9772/6 + (0 - (-6)/(-9)) a multiple of 11?
True
Let y be 0/(-1)*(0 - 3/6). Suppose 5*f - 234 - 286 = y. Does 13 divide f?
True
Suppose -132 - 268 = -10*h. Is 8 a factor of h?
True
Let d(m) = -m**2 - 13*m + 56. Let h be d(-17). Let x(n) = n**2 - n - 21. Is 9 a factor of x(h)?
True
Let t = -201 - -307. Is t a multiple of 11?
False
Let f(r) = r**2 + r - 9. Let g be f(-4). Suppose 4*b + 18 = g*z, 8 = -z - z - 4*b. Suppose 5*t - 161 = -0*h - 2*h, 4*t = -z*h + 166. Does 19 divide h?
False
Suppose 7 = -w - 2*o, 3*w - 3*o + o - 3 = 0. Suppose -110 = -0*j + 2*j. Let l = w - j. Is 18 a factor of l?
True
Suppose 8 = 2*u - u + p, 0 = 2*u + 4*p - 26. Suppose -2*b - 30 = -u*b. Does 16 divide b?
False
Suppose 9 = -4*s + 193. Let p = s + -25. Does 7 divide p?
True
Suppose 0 = -x - 2*v + 246, 2*v + 695 - 173 = 2*x. Is x a multiple of 11?
False
Let d(n) = -15*n + 33. Let u(f) = -f - 1. Let p(o) = 11*o - 14. Let v(j) = p(j) + 3*u(j). Let g(h) = -3*d(h) - 5*v(h). Does 11 divide g(11)?
False
Suppose 2*t + 5*b + 5 = 0, b = -t - 4*t - 70. Let a(l) = -l**2 + 2*l - 4. Let o be a(5). Let d = t - o. Is 4 a factor of d?
True
Suppose -2*a + 5*s + 30 = 0, 2*s = -2*a - 2*a + 108. Let y = 42 - a. Is 5 a factor of y?
False
Suppose -l - 40 = -2*y, -l - y - 45 = -4*y. Let u be 228/14 + l/105. Is 7 a factor of (15 + 1)/(u/40)?
False
Let n be -2*(-1 + 2) - -4. Suppose -n*h - 3*q + 150 = 0, h + 5*q - 224 = -2*h. Let i = h - 56. Is i a multiple of 7?
False
Suppose 4*r = 5*p + 236, 5*p - 16 = p. Does 64 divide r?
True
Suppose 2*y - 442 - 171 = -3*c, -5*y = c - 1565. Is y a multiple of 4?
False
Suppose 2*z + 2*m = -0*z + 162, 4*z - 3*m - 352 = 0. Let c = 156 - z. Let n = 123 - c. Does 20 divide n?
False
Suppose 5*r = 0, -2*s + 2*r + 318 = -0*r. Let p = s - 35. Does 31 divide p?
True
Let x(z) = -2*z - 1. Let r be x(-3). Let g(u) be the third derivative of -u**6/120 + u**5/12 + 5*u**4/24 - u**3/6 + 3*u**2. Is 18 a factor of g(r)?
False
Does 6 divide 1506/4*1/((-57)/(-38))?
False
Suppose 8*j = -565 + 2069. Is (5 - 1)/20 + j/10 a multiple of 3?
False
Let r be (-1)/((-6)/20)*(-6)/(-5). Let a(p) = 3*p**2 - 9*p - 4. Is a(r) a multiple of 8?
True
Let f(n) = -7*n + 97. Is 34 a factor of f(-19)?
False
Suppose 140 + 102 = 2*q - 2*u, -4*q + 5*u + 486 = 0. Is 10 a factor of q?
False
Let b be 5 - 4 - (30 + -1). Let y = b - -31. Suppose -y*j = -4*l - 16, 0 = 3*j - l - 18 - 13. Is j a multiple of 12?
True
Suppose -7 = 4*x - 3, -3*x = r. Suppose 2*j - r*i = 9 + 32, i = -3. Suppose 2*d = -8, t + 2*d = -d + j. Does 14 divide t?
True
Let m(t) = t**2 - 3*t + 83. Is 34 a factor of m(0)?
False
Let i(f) = 2*f**2 + 5*f - 4. Let s be i(-4). Suppose -25 - s = -3*u. Is 11 a factor of u?
True
Let a(t) = 1 + 3*t - 1 - 5*t + 4 - t**2. Let l be a(-2). Suppose 2*g - 13 - 13 = 5*r, 4*g + l*r + 4 = 0. Is 3 a factor of g?
True
Let o(a) = a**2 - 15*a + 19. Let v be o(14). Suppose 2*p + 12 = -p, -v*n + 81 = -4*p. Is n a multiple of 2?
False
Does 16 divide (-12)/((-3)/64 - 0/14)?
True
Suppose 3*x - x - 258 = 0. Does 6 divide 1 + 2 + -2 - x/(-3)?
False
Let v(s) = 4*s**3 + 4*s**2 + 2*s + 5. Let d(r) = 7*r**3 + 7*r**2 + 3*r + 11. Let l(c) = 3*d(c) - 5*v(c). Let y be l(0). Let g 