9 divide (-8)/(-36) - (2 + o/(-18))?
True
Suppose 0 = -x - 0*x + 56. Suppose x + 66 = -g. Let o = 181 + g. Does 10 divide o?
False
Let x be 50/13 + (-2)/(-13). Let b = 3798 - 2090. Suppose -x*d - b = -18*d. Is d a multiple of 37?
False
Suppose 326*g + 337662 = 404*g. Is 164 a factor of g?
False
Let p be (4 - (-1131)/(-6))*12/(-9). Let z = 286 + p. Does 82 divide z?
False
Let k = -7241 - -13163. Does 38 divide k?
False
Let q = 108 + 102. Let b = q + 0. Does 17 divide b?
False
Let a(z) = -20*z**2 - 8*z + 4. Let t be a(-3). Let r = t - -162. Does 10 divide r?
True
Suppose -2*y = -0*y - 4548. Suppose 134 = -20*o + y. Does 5 divide o?
False
Let w = 4 + -5. Is 39 a factor of (8/8)/(w/(-1 + -278))?
False
Let g be (-10)/(-4) + (-14)/28 + -1. Let d(v) = v**3 + v**2 + v - 1. Let h be d(g). Is (12 - 3 - -2)*h a multiple of 22?
True
Suppose 0 = 14*u - 1 - 19739. Does 10 divide u?
True
Let g = 8 + -4. Suppose -h = 3*k + 10, g*h + 3*k = 2*k + 15. Suppose -2*i = h*b - 35, 3*i - 64 = 6*b - 2*b. Does 20 divide i?
True
Suppose 57*a = -17*a + 276760. Is 85 a factor of a?
True
Suppose -8*y + 30927 = 3*j, -3*j + 28 - 13 = 0. Is y a multiple of 3?
True
Let d(m) = 70*m**2 - 18*m - 10. Let n be d(-4). Is (33/(-99))/((4/n)/(-2)) a multiple of 2?
False
Suppose 3*x = -0*m + 3*m - 36954, 0 = 3*x - 6. Suppose -11*r + m = -0*r. Is 55 a factor of r?
False
Let q = 7 - 5. Let n(h) = -23*h - 178. Let v(c) = -115*c - 975. Let f(o) = -11*n(o) + 2*v(o). Does 3 divide f(q)?
True
Let a(d) = -2*d**3 - 7*d**2 + 2*d - 5. Let r be a(-6). Let p = r + -50. Suppose p = t - w, 3*t - 309 = -2*w - w. Is t a multiple of 9?
True
Suppose -z = b - 3*z - 1544, 2*b + 2*z - 3118 = 0. Suppose 10*y - 5154 = -b. Is 40 a factor of y?
True
Suppose 4*j - u = 8, 2*u + 15 - 3 = 4*j. Let b be 26/10 + (6/(-10))/j. Suppose -b*w + 3*p = p - 104, 4*w - 3*p = 209. Does 10 divide w?
False
Let p = 13499 + -10431. Is 52 a factor of p?
True
Let f(u) = u**3 + 28*u**2 + 48*u - 99. Let r be f(-26). Suppose 0 = r*l - 4*j - 116, 9*l - 5*l = -2*j + 72. Is l a multiple of 5?
True
Suppose 0 = -19*w + 25*w. Is w + (6 - 3 - -98) a multiple of 6?
False
Suppose 17*p + 40 = 12*p. Let x be p/((1/(-4))/((-6)/(-12))). Let n(l) = l**3 - 17*l**2 + 19*l + 35. Does 12 divide n(x)?
False
Let r = -164 - -180. Is 8 a factor of (314 - r) + -2*1?
True
Let c(m) = m**3 + 3*m**2 + 6*m + 5. Let d be c(0). Is 6 a factor of 2*(-135)/(-25)*(0 + d)?
True
Is 116 a factor of (312/20 - 16)*-69830?
False
Suppose -376 - 332 = -4*a - 292. Does 8 divide a?
True
Let c(o) = o**3 + o**2 + 26*o - 129. Does 4 divide c(13)?
False
Let m(y) = -5*y - 8. Let q(d) = -3*d**3 + 2*d**2 - d - 2. Let i be q(-1). Suppose -9*a = -i*a + 20. Is 6 a factor of m(a)?
True
Suppose -4*x + 237 = -5*n, 5*x - 13 = -4*n + 232. Suppose 0*j + j = -3*p + x, -2*j = -p - 134. Suppose -3*c + j = -169. Is c a multiple of 13?
True
Let d be 40/(-1 + 5) - 5. Suppose l - d*x + 22 = 0, -l + x - 38 = 2*l. Is 21 a factor of (-3)/12 + (-1959)/l?
False
Let l = -4012 + 45656. Is 65 a factor of l?
False
Let d be (9/((-54)/24))/(2/5). Let o(x) = x**3 + 11*x**2 + 11*x + 74. Is 3 a factor of o(d)?
False
Let b(n) = -n - 13. Let i be b(-8). Let v(k) = -k**2 - 2*k + 16. Let o be v(i). Is 12 a factor of (58/(-5))/(o*5/(-50))?
False
Suppose 0 = 2*a - 1317 + 199. Let n(p) = -16*p - 828. Let o be n(-52). Suppose i = -4*i + d + 901, 0 = -3*i - o*d + a. Is i a multiple of 13?
False
Let g = 231 - 222. Let l(n) = 22*n - 146. Is 13 a factor of l(g)?
True
Suppose -5*g + 0*j - 3 = -3*j, -3*g = 2*j + 17. Let i(s) = 5*s**2 - 7. Let d be i(g). Let u = d + 2. Is 8 a factor of u?
True
Suppose 6*k + 10*k = 656. Does 24 divide 108/14*(-13 + k)?
True
Suppose -4*g - 585 = 5*k + 312, 2*g - 4 = 0. Suppose -4*v - 4*j - 1304 = 0, -3*v - 4*j - 778 = 197. Let s = k - v. Does 12 divide s?
False
Suppose -48*l + 15*l = -132. Let p = -8 - -6. Is 81/l + p/8 a multiple of 5?
True
Suppose 4*w + 0*o = o + 11, -5 = 5*w - 5*o. Suppose 0 = w*p + i - 3 + 2, 4*i + 9 = -3*p. Let l(d) = 14*d + 9. Is l(p) a multiple of 7?
False
Suppose -7*u - 42 = 14. Let p be (u/(-6))/((20/(-1248))/(-5)). Let b = p - 241. Is 25 a factor of b?
True
Suppose -4*t = z - 188, 3*t - 3*z - 13 = 128. Let b = t - 45. Suppose 5*o - 281 - 18 = -2*g, 0 = -b*g + 3*o + 291. Is 27 a factor of g?
False
Suppose -b = -49 + 29. Let g be (-12)/5*b/(-6). Is 53*16/g*3/2 a multiple of 40?
False
Let d(u) be the first derivative of -19*u**2/2 + 46*u + 128. Is 16 a factor of d(-6)?
True
Suppose 0 = -2*q + q - 94. Let z = 84 - q. Let w = z + -106. Is 8 a factor of w?
True
Let c(w) = 9*w - 81. Let d be c(9). Suppose 5*s + 3190 = 5*t, t + s - 4*s - 646 = d. Does 16 divide t?
False
Let t(w) = 460*w - 1084. Does 28 divide t(11)?
True
Suppose 0 = 16*j - 94 - 12546. Is 10 a factor of j?
True
Suppose 0 = -38*i + 36*i + 240. Suppose -n + i = -330. Suppose -8*k = -n - 118. Does 21 divide k?
False
Is 12*((-69598)/(-69) - 21) a multiple of 89?
False
Let l = -3108 + 4390. Is l a multiple of 58?
False
Suppose 80*w + 205*w - 7602660 = 0. Does 52 divide w?
True
Let r(y) = y**3 - 6*y**2 + 29. Let u be r(11). Suppose j = 5*h - u, -j + 122 = 6*h - 5*h. Is h a multiple of 9?
True
Suppose 0 = -4*v - x + 66580, -2*x + 6232 = -2*v + 39512. Is v a multiple of 19?
True
Is (6*-1)/((-304)/(-380)*5/(-1262)) a multiple of 10?
False
Let l = 14 + -12. Suppose -3*f - l*k = -0*k - 23, -4*f = -5*k. Suppose -f*h = -2*p - 27 - 165, -3*h + 2*p = -112. Is h a multiple of 20?
True
Let g(v) = v**3 - 34*v**2 + 81*v + 48. Let n be g(34). Suppose -4*x + 5*f = -2228, 2*f + n = 4*x + x. Is 8 a factor of x?
False
Suppose 2*o + 75 = 107. Let f be 2*(-2 + 1) - (12 - o). Suppose 4*n = -3*x + 39 + 211, -5*x + 118 = f*n. Is 12 a factor of n?
False
Let r(q) = 7*q + 7*q - 24*q + 29 + 8*q + 6*q. Is r(-4) a multiple of 3?
False
Suppose 0 = 2*m + 456 - 30. Is 6 a factor of 34 - m - 5*-1?
True
Let v(m) = 8*m**2 + 90*m - 822. Is 7 a factor of v(56)?
False
Suppose 7*s - 14248 = 7*s - 2*s. Is s a multiple of 137?
True
Suppose -17*f = -20*f - 3, -5*f = 2*l + 1163. Let s = -555 - l. Does 17 divide s?
False
Suppose 69*f = 73*f - 16. Suppose -f*w - 735 = 5*j - 6*j, -2*j = -4*w - 1466. Is j a multiple of 48?
False
Let u = -815 - -907. Let l = u - 14. Does 3 divide l?
True
Let f be ((0/2)/8)/5. Suppose -71*k + 68*k + 1440 = f. Is 24 a factor of k?
True
Let j(m) = m**2 - 8*m + 22. Let z be j(4). Suppose z*f - 167 = 727. Does 29 divide f?
False
Suppose 6*o - 5550 = 3156. Let c = -830 + o. Does 9 divide c?
True
Let d(h) = 3*h**2 + 73 - h**2 + 39*h - 93. Let o be d(-20). Suppose 0 = -5*v - c + 535, 5*v + o*c = -2*c + 530. Is 18 a factor of v?
True
Suppose 31*f - 199 + 44 = 0. Suppose -2*r + 220 = 4*b, r - f*b = -0*b + 145. Is r a multiple of 10?
True
Let q(a) = 2156*a + 364. Is q(5) a multiple of 56?
True
Does 12 divide 5 + (168 - 2)*((-710)/(-20) - 3)?
True
Let a be 2/6 + 0 - 500/(-75). Suppose a = -0*l - 4*l + 5*i, -4*l = i - 11. Suppose l*x + 183 = 3*p, x + 101 = 3*p - 79. Is p a multiple of 6?
False
Suppose 2764*h - 5088 = 2760*h. Is 20 a factor of h?
False
Suppose 4*m + 3*d + 31 = 307, 4*m = -5*d + 268. Let r = m + -70. Is (508/8 + -1)*(r + 0) a multiple of 25?
True
Let h(v) = 25*v**2 + 2*v + 2. Let t be h(-10). Suppose o = -6 + 8, t = 2*x - o. Is x a multiple of 81?
False
Let k be -3 - (16/(-10))/((-2)/155). Let x = 27 - k. Suppose -4*a = -3*a - x. Does 14 divide a?
True
Let j(w) = -25*w**3 - 3*w**2 - 16*w. Suppose -9*n - 33 = -6. Is j(n) a multiple of 58?
True
Suppose 3*i + 10 = 4*r, -r + 6*i - 6 = i. Is 3 a factor of (r + 1)/(2 - 1)?
False
Let t(q) = q**2 + 5*q - 33. Let m(k) = -k**3 + 27*k**2 + 28*k + 10. Let l be m(28). Suppose l = -0*h - h. Is t(h) a multiple of 4?
False
Let o(t) = t**2 + 16*t - 31. Let d be o(-18). Suppose a + a - 30 = -4*s, -5*s = -4*a - d. Suppose a*w - 330 = -0*h - h, 5*h - 264 = -4*w. Does 25 divide w?
False
Suppose -5*z = -2*t - 454, 0 = 2*z - z + t - 88. Let d(i) = 5*i + 66. Let w be d(-25). Let v = w + z. Does 7 divide v?
False
Let h be 155*5/(-10)*(2 + -28). Suppose h = -17*n + 9257. Is 6 a factor of n?
True
Let o(n) = n**2 + 11*n + 68. Let h(r) = -r**3 + 9*r**2 - 8. Let b be h(9). Is 4 a factor of o(b)?
True
Suppose -5*r + 3*r = 5*m - 2815, r - 5 = 0. Suppose 5*k - 289 = m. Does 17 divide k?
True
Let q(d) = -11*d - 