r of (-466)/o + m/(-72)?
True
Suppose 8*o - 2204 - 3596 = 0. Does 77 divide o?
False
Let m = -8 - 7. Let h(q) = q**3 + 5*q**2 - q + 0*q**2 + 10*q**2 - 13 + 0*q**3. Does 2 divide h(m)?
True
Suppose -5*x - 20056 = -3*i, -4*x = 47*i - 49*i + 13374. Does 126 divide i?
False
Suppose 519 = b + 196. Suppose -4*z + b = v, 2*v + 77 = z + v. Suppose -3*x - 20 + z = 3*m, x = 4. Does 16 divide m?
True
Suppose r + 4*r = -50. Let y = r - -1. Let k(v) = -v**2 - 14*v - 13. Is k(y) a multiple of 16?
True
Suppose 0 = -a + 3*a. Suppose 5*d = -v, 2*d = -a*d - 2. Suppose 12 = -h + v*x - 0*x, -2*h = -2*x. Is h a multiple of 3?
True
Suppose -60*q = 5*q - 11115. Does 4 divide q?
False
Suppose -7*z = -z - 510. Let w = z + 15. Does 10 divide w?
True
Suppose -4*k + 14016 = -0*k. Let z be (k/36)/(1/3). Suppose -4*i + 251 = 5*t, -z = -4*i - i + t. Is 12 a factor of i?
False
Let t = 61 + -70. Let u(h) = -h**2 - 13*h - 1. Does 4 divide u(t)?
False
Does 8 divide (((-873)/(-5))/(-3))/((-19)/95)?
False
Suppose -2*n = -649 - 197. Suppose -57 = -5*x + n. Is x a multiple of 16?
True
Let u(l) be the third derivative of -l**4/12 - 5*l**3/2 + 9*l**2. Let w be u(-10). Suppose w*b = 7*b - 56. Does 21 divide b?
False
Let k = 71 + -24. Let t be 104/39*(-78)/8. Let q = k + t. Is 19 a factor of q?
False
Let x = -3193 - -4786. Does 27 divide x?
True
Suppose -5*o + 152 = 22. Let q = o + 0. Suppose q = 6*a - 5*a. Is 18 a factor of a?
False
Let k be (2/(-3))/((-9)/27). Suppose 5*n - 65 = 3*u - 20, 0 = 2*n + k*u - 2. Suppose -97 = -n*m + 5*m. Is m a multiple of 30?
False
Suppose 0 = -2*p - 2*p - 2*y + 30, 5*y = 2*p + 15. Suppose 0*t - 560 = -p*t. Is 20 a factor of t?
False
Suppose 5*s + 2*o + 26 = 79, -4*s + 32 = -o. Suppose -3*h - 2*v + 231 = 0, 0*v - s = 3*v. Is 6 a factor of h?
False
Let u(z) = -10*z**3 - 2*z**2 + 2*z. Suppose 0 = 4*b + g - 1, -g = 5*b + g - 2. Suppose b*i - 4 = 2*i. Is u(i) a multiple of 13?
False
Suppose b - 504 = 2*o - 4*o, o - 1502 = -3*b. Is 25 a factor of b?
True
Suppose -102*y + 89*y + 6201 = 0. Does 5 divide y?
False
Let p = 853 + -502. Does 32 divide p?
False
Let l(y) = 2*y**3 + 16*y**2 + y + 13. Suppose -12 - 20 = 4*b. Is l(b) a multiple of 2?
False
Suppose -3*v = -4*v. Let z(w) = -w**2 - 2*w + 5. Let r be z(v). Suppose r*m - 3*b - 71 = 0, -5*m + b + 75 = -4*b. Does 13 divide m?
True
Let d = -2174 - -3065. Suppose 3*a = 2*z + 529, 3*a - d = -2*a + z. Is 8 a factor of a?
False
Suppose -z - 3*r + 201 = -396, 3*r = 5*z - 2985. Is z a multiple of 14?
False
Let x = 140 + 32. Suppose -4*a + 132 = 5*k - k, -5*a + 2*k = -x. Is a a multiple of 34?
True
Let l(m) = -15*m + 274. Is l(-24) a multiple of 15?
False
Let v(g) = -9*g + 286. Does 89 divide v(12)?
True
Let x = 3 - -2. Suppose -z = x*r - 120, 3*z + 3*r - 312 = -0*r. Suppose 0*p + z = 4*p + d, 5*p = -5*d + 140. Is 4 a factor of p?
True
Suppose -5*h = l - 24, -3*h + 6*h + 5*l - 32 = 0. Suppose -7*g + 4*q + 812 = -3*g, -h*q = -20. Is 26 a factor of g?
True
Let s = -864 - -1227. Does 4 divide s?
False
Let z = -1095 - -2041. Is z a multiple of 11?
True
Let l = 4399 - 3075. Does 27 divide l?
False
Let x(l) = 2*l - 4. Let o be x(-3). Let u be (280/12)/5*30/7. Is 8/u*o/(-1) a multiple of 4?
True
Let g(c) = -10*c**2 - 10*c. Let a(o) = o**2 - o. Let r(q) = 5*a(q) - g(q). Let k(h) = h**2 + h. Let w(t) = -4*k(t) + r(t). Is w(-1) a multiple of 6?
False
Let x(q) be the third derivative of -q**6/120 + q**5/5 - q**4/6 - q**3/6 - 2*q**2. Is x(11) a multiple of 19?
True
Let y be 24/10 - (-4)/(-10). Let l(d) = 3*d**2 + 3*d**3 - 6*d + 3*d - 2*d + 3*d + 1. Does 11 divide l(y)?
True
Let c = -28 - -587. Is 13 a factor of c?
True
Let g(x) = -3*x - 4. Let u(l) = 1. Let k = 12 + -13. Let i(j) = k*g(j) - 3*u(j). Is i(3) a multiple of 10?
True
Suppose -1 = 4*q + v, q - 4*v = 3*q + 4. Suppose q = 6*f - 3*f. Suppose 4*p - 72 - 24 = f. Is p a multiple of 7?
False
Let o(f) = f**2 + 5*f + 25. Let l be o(-7). Does 6 divide 1632/l - (-6)/39?
True
Let s be (-2)/9 + (-58)/(-18). Suppose -18 = -m + 2*k, -k = s*m + 3*k - 94. Is 7 a factor of m?
False
Suppose 2*b = p + 3*b + 7, -29 = 3*p - 5*b. Is 14 a factor of p/((15/70)/(-3))?
True
Is 4 a factor of (-2176)/(-6) - ((-128)/(-6))/(-16)?
True
Let o = -157 - -162. Suppose -5*d + 81 - 2 = -2*t, -2*d + o*t + 40 = 0. Is 4 a factor of d?
False
Suppose 0 = -4*m + 5*w + 1568, 0 = 3*m - 5*w - 1002 - 179. Suppose 0 = -5*t + m + 313. Is t a multiple of 35?
True
Let z be 1011/(-12) + (-15)/20. Let c = 157 + z. Is c a multiple of 12?
True
Let w(n) = -4*n**3 + 9*n**2 + 7*n + 51. Does 55 divide w(-7)?
True
Suppose -d = -4*d + 48. Suppose p + n = 6*n + 15, 0 = -4*p - 2*n + d. Suppose -4*q + r + 170 = -r, -5*q - p*r = -205. Does 14 divide q?
True
Let r = 3364 - 1242. Does 20 divide r?
False
Let a = -11 + 25. Suppose 27*r = a*r + 1014. Is 13 a factor of r?
True
Suppose 0 = -a - 5*z + 148 + 39, 2*a - 346 = 4*z. Is a a multiple of 7?
False
Let l(p) be the third derivative of p**5/30 - 7*p**4/12 + 2*p**3 + 25*p**2. Is 17 a factor of l(9)?
False
Let p be 2*-2 + 24/(-24). Let q = 28 + p. Does 12 divide q?
False
Suppose -3*n + 32 + 1 = 0. Suppose 16*w - 405 = n*w. Is w a multiple of 23?
False
Suppose -5*o = -3*o - 7310. Is o a multiple of 43?
True
Let u = 88 + -208. Let q be ((-60)/(-9))/(4/u). Is 2*-1 + q/(-10) a multiple of 9?
True
Suppose 0 = 5*p - 11 + 1. Suppose -t - 232 = -5*a, p*a + 2*t = 74 + 14. Is 27 a factor of a - (48/4)/4?
False
Let k be (-1)/(1/(0 - 2)). Suppose -o = 2*o - 2*g - 4, 4*o = -k*g - 4. Suppose -4*y - 19 + 67 = o. Is 7 a factor of y?
False
Suppose u = -5*j - 45, -2*u + 27 = -3*j + 2*u. Let w be -3 + j/((-9)/4). Suppose -i = -t + 75, 3*i = -w - 8. Is t a multiple of 31?
False
Let h(r) = 51*r**2 + 19*r. Let j be h(-5). Does 22 divide 2/(-3) - j/(-15)?
False
Let g(r) = 187*r - 420*r + 196*r. Does 37 divide g(-2)?
True
Let u(v) = -v**3 + 9*v**2 - 10*v - 7. Let w be u(8). Suppose 11 = -k + 51. Let y = k + w. Does 4 divide y?
False
Suppose 42*n + 1864 = 44*n + 5*c, -n - 2*c = -931. Is 9 a factor of n?
True
Suppose 30 = 2*h - 54. Is h a multiple of 3?
True
Suppose 4*s + 493 = 3*j, -678 = -4*j - 5*s - 0*s. Let i = 10 + -7. Suppose -4*b + 142 = 3*f - 40, -i*f - b + j = 0. Is 27 a factor of f?
True
Let s = 1041 - 482. Does 13 divide s?
True
Suppose -5*k + 5 = -0*k, 2*k - 458 = 4*r. Let v = 161 + r. Is v a multiple of 9?
False
Let c(b) = 10*b**2 - 18*b - 107. Does 15 divide c(-8)?
False
Let z be -3 + 3 - -4*(-1 - -2). Suppose z*x = 3*x + 60. Is x a multiple of 10?
True
Let n be (0 + -3)/((-8)/696). Suppose -2*j - 3*t - 355 = -6*j, -3*t = 3*j - n. Does 22 divide j?
True
Let f = -14 + 20. Is (-64)/f*(3 + 18/(-4)) a multiple of 4?
True
Let x be -2 - ((-4 - 0) + -228). Suppose 0 = 3*v - 4*v + x. Suppose v = 4*m - 2*a, -3*m + 5*a = -5*m + 85. Is m a multiple of 13?
False
Let f = 249 - 89. Suppose 0 = 9*i - 13*i + f. Is 8 a factor of i?
True
Let g = -145 + 505. Does 9 divide g?
True
Suppose -4*t + 2*i = -80 + 244, 82 = -2*t + 4*i. Let m = 77 + t. Suppose -f = 2*f - m. Does 3 divide f?
True
Let k(f) = -2*f**3 - 29*f**2 + 41*f + 63. Let l(u) = -u**3 - 14*u**2 + 20*u + 31. Let x(i) = -3*k(i) + 5*l(i). Does 7 divide x(-18)?
True
Let a = -445 + 818. Is 20 a factor of a?
False
Let z(y) = -y + 11. Let s be z(7). Suppose u = -s*u - 70. Does 24 divide ((-7)/2)/(1/u)?
False
Suppose t + 2*i - 1 = 0, -9*t + 7*t + 2*i + 8 = 0. Suppose -k - 2*o = t - 143, 144 = k + 3*o. Is k a multiple of 11?
True
Let k = -42 - -87. Suppose -4*p = -5*p + k. Is 15 a factor of p?
True
Suppose 20*i - 38 = i. Suppose 0 = 3*o + i*o - 2*q - 144, 0 = 5*o - q - 142. Is o a multiple of 11?
False
Let g be (24/8)/(2/(-26)). Let i be 4/(-7 - -3)*g. Let s = 33 + i. Is s a multiple of 26?
False
Let z(y) be the third derivative of -y**6/120 + 13*y**5/60 + y**4/6 + 8*y**3/3 + 14*y**2. Is 17 a factor of z(13)?
True
Let w(q) = -q**3 - 18*q**2 - 20*q - 18. Let f = 1 + -1. Suppose 6*u - 11*u - 85 = f. Is 11 a factor of w(u)?
True
Let v = 27 + -2. Let a = v + -15. Does 14 divide (-2)/a - 3328/(-40)?
False
Suppose -5*a - 2*u + 3*u = -597, -472 = -4*a - 2*u. Suppose 5*n + 29 = a. Does 17 divide n?
False
Suppose 5*b - 3380 = j + 5517, -2 = j. Is b a multiple of 54?
False
Let t = -6 + 12. Let n be t/(-8) + 318/(-24). Does 11 divide (-382)/(-18) + n/63?
False
Suppose 0 = 2*