86790 = -267794. Does 10 divide r?
False
Suppose -47 = -6*f - 11. Suppose 3*n - f = -2*q + n, 0 = -q - 3*n + 3. Suppose -z = -83 + q. Is 26 a factor of z?
False
Suppose -4640 = 5*n + 4*t, -4*t + 4640 = 2*n - 7*n. Let v = 1576 + n. Is 12 a factor of v?
True
Suppose -51*o + 47*o = 5*v - 100523, -4*v - o = -80403. Does 9 divide v?
False
Let c(n) be the third derivative of -n**7/2520 + 13*n**6/720 + n**5/60 + 5*n**4/8 - 4*n**2. Let s(l) be the second derivative of c(l). Does 4 divide s(10)?
True
Let c(a) = -3*a**3 + 90*a**2 - 11*a + 113. Does 17 divide c(24)?
True
Suppose -9*k + 479 + 97 = 0. Suppose 0 = 2*h - k - 356. Is 33 a factor of h?
False
Suppose -3*x = -8057 - 22951. Suppose -10*l = -27*l + x. Is 9 a factor of l?
False
Suppose 5*i + 1257 = -2*t - 2*t, 4*t - 4*i + 1248 = 0. Let g = 119 + t. Let n = -120 - g. Does 8 divide n?
False
Let n be ((-1)/(-5))/((-12)/20)*33. Let r(f) = f**3 + 13*f**2 + 5*f - 3. Is 23 a factor of r(n)?
True
Let s be 1644/(-48) - (-2)/8. Let i = s - -33. Does 12 divide (2/6)/(1496/(-1500) - i)?
False
Let y(x) = -444*x - 40. Let o be y(-2). Suppose -2*m + 722 = 5*a - 112, -o = -2*m + 2*a. Does 36 divide m?
False
Let t = -3181 - -5901. Suppose 10*x = 6*x + t. Does 34 divide x?
True
Let v = -113 - -115. Suppose v*t + 9*t - 165 = 0. Let n = 41 - t. Is 3 a factor of n?
False
Suppose -26*n - 3 = -23*n. Let w be (2 + n)/((-3)/(-6)). Suppose -w*v - 671 = -3*l, -5*l = -3*v - 0*v - 1120. Is l a multiple of 30?
False
Does 15 divide -4460*(4 + (-19)/4)?
True
Suppose 5*a + 395*u - 399*u - 27286 = 0, -16368 = -3*a + 3*u. Is a a multiple of 195?
False
Suppose -24*k = -42*k + 144. Suppose -2*m = k*d - 6*d - 2408, 3*m + 4781 = 4*d. Is 12 a factor of d?
False
Is (0/(-28) - -4*1) + (-4 - -57) a multiple of 19?
True
Let m be 2/(-7) + 379/7*9. Let t = m - 369. Does 59 divide t?
True
Does 88 divide (-50134)/(-12) + ((-5)/2)/(1 - 16)?
False
Is 135 a factor of (-16806)/(-10) + (-114)/190?
False
Suppose 1 + 113 = -6*a. Let x(v) = -25*v + 1. Let b be x(2). Let s = a - b. Does 6 divide s?
True
Suppose -1229 - 2617 = -2*v. Suppose v = 5*r + 438. Is 33 a factor of r?
True
Let j = 2888 - 1640. Is 7 a factor of j?
False
Let p(w) = -7*w**2 + 43*w + 15. Let l be p(5). Suppose -l*x + 3223 = -2277. Does 5 divide x?
True
Suppose 0 = m - z + 2, 5*m + 3*z + 43 = m. Let r = m - -135. Does 9 divide r?
False
Let t(m) = m**2 - m + 112. Let q be (2 - 2)/(-2*1). Is 14 a factor of t(q)?
True
Suppose 0 = 12*c - 43 - 5. Suppose -d - 7 = -0*g - g, -c*g + 34 = -d. Suppose -g*w + w = -888. Is w a multiple of 14?
False
Suppose 17*n - 16*n + 15707 = 2*c, 3*n + 78545 = 10*c. Does 16 divide c?
True
Let g = 3552 + 2220. Is g a multiple of 37?
True
Let a(u) be the first derivative of -u**2/2 + 16*u - 12. Let m be a(10). Suppose 61 = k - m. Is k a multiple of 14?
False
Suppose 19*y - 24044 + 29513 - 244413 = 0. Is 12 a factor of y?
True
Suppose 0 = 2*m - m + w + 71, -4*m + 3*w = 319. Let c = 81 + m. Suppose c*x = 2*x + 51. Is x a multiple of 5?
False
Let k(f) = 4*f**2 - 11*f - 65. Let g be k(-7). Is (3/4)/((-2)/(g/(-2))) a multiple of 3?
True
Let q = 13 - 8. Suppose -3*f = -q*j + 4, 2*f - 4*j = -f - 2. Suppose -2*t = -u + 124, 0 = u + f*t - 15 - 109. Is u a multiple of 32?
False
Let f be (-42770)/(-376) - ((-26)/8 + (2 - 0)). Suppose 3*x + 3 = 4*x. Let g = f + x. Is g a multiple of 50?
False
Let s = -4113 + 4423. Is s a multiple of 4?
False
Let h(o) = o**2 + 17*o - 72. Let a be h(4). Let w(x) = 21 - 14 + x**2 + 22 - 14*x. Is 3 a factor of w(a)?
False
Let l(m) = 245*m - 234. Is 66 a factor of l(12)?
True
Suppose -4*u = -8*u + 5*l + 13588, 4*u - 13588 = l. Is u a multiple of 7?
False
Suppose 5*c + 2*q - 221119 = 0, 391*c - 387*c - 2*q = 176906. Is 25 a factor of c?
True
Let d(r) be the second derivative of 37*r**4/6 - 5*r**3/3 + 5*r**2/2 + 49*r + 1. Does 16 divide d(1)?
False
Suppose -i = 3*r + 4*i - 81, 2*r + 2*i = 50. Let p = r + -9. Suppose p*g - 20 = 9*g. Does 3 divide g?
False
Let t(j) = 216 + 2*j - 14 + 148 - 56. Is 24 a factor of t(-15)?
True
Let m(g) be the second derivative of 5*g**4/12 + 5*g**3/6 - g**2 - 8*g. Let f be m(3). Let c = -51 + f. Is c a multiple of 2?
False
Let b be (-85)/15 + 5 - (-1576)/6. Suppose -v - b = -2*v. Suppose 44 = -r + v. Is 25 a factor of r?
False
Let k(u) = u**2 + 6*u - 6. Let d be k(-6). Let a = d + 25. Suppose 169 = 2*p + a. Is p a multiple of 29?
False
Suppose m = -j + 29915 - 2364, 0 = 8*m + 5*j - 220417. Is 25 a factor of m?
False
Let b = -149 + 149. Suppose -3*y + 5*y = -4*t + 1272, b = -4*y - 3*t + 2549. Is y a multiple of 29?
True
Let h(t) = t**3 - 15*t**2 - 18*t + 49. Let i be h(16). Suppose 3194 + 342 = i*l. Is l a multiple of 35?
False
Suppose -26 = -j - 2*o, -24 = 4*j - 5*o - 76. Suppose 0 = -17*q + j*q - 143. Suppose -163 - q = -6*y. Is 17 a factor of y?
True
Let j = -10664 + 17247. Is j a multiple of 29?
True
Let p(n) = n**2 + 39*n + 324. Let c be p(-27). Let g = 3 - 0. Suppose -4*m + q + 98 = -c*q, -4*m = -g*q - 94. Is 25 a factor of m?
True
Let n(p) = 42*p**2 + 3*p - 2. Let v be n(2). Suppose -8*c + 50 = 26. Suppose c*u = -5*o + 83 + 84, 4*o = -3*u + v. Is 12 a factor of u?
False
Is (54 - 110)*42/(-2) a multiple of 28?
True
Let v = -1392 + 2399. Is 35 a factor of v + (-6 - (-12 - -4))?
False
Suppose 280*f = 603*f - 301*f - 104940. Is 53 a factor of f?
True
Let v(y) = 322*y - 56. Let i be v(4). Suppose i = 16*o - 9*o. Is 34 a factor of o?
False
Let i(p) = 3*p**2 + 5*p + 11. Let a be i(-3). Is 9 a factor of a/3 - (-8)/12*2?
True
Suppose 2*b + 12 = 4*y + 4*b, 0 = 2*y - 5*b + 6. Let k(v) = -2*v + 5 + 3 + 65*v**y - 5 - 2*v. Does 16 divide k(1)?
True
Let v = -4890 - -19212. Does 62 divide v?
True
Let h(r) = 38*r - 31. Let i(u) = 13*u - 10. Let p(v) = 4*h(v) - 11*i(v). Let k be p(8). Suppose 5*c - k = 232. Is 18 a factor of c?
False
Suppose 72*o - 81547 = -d + 69*o, 5*o = 25. Is d a multiple of 19?
False
Let z be (-1)/(-3) + (-260)/(-12). Let t = z - 18. Suppose -5*s = t*l - s - 168, 0 = 3*s. Is 14 a factor of l?
True
Let z = -903 + 5572. Is z a multiple of 18?
False
Let x = 1375 + 102. Is 3 a factor of x?
False
Let m be (-8 - -6) + 0/4. Let v(y) = 2*y**2 + 11*y + 9. Let n be v(-9). Is 10 a factor of ((-6)/(-8))/(m - (-145)/n)?
False
Let k = -171 - -175. Is k - 522/((-6)/8*2) a multiple of 22?
True
Let u = 12031 + -7101. Is 34 a factor of u?
True
Suppose -5 = 3*x - 692. Does 3 divide x?
False
Does 176 divide 4*(-862756)/(-152) + 302/(-2869)?
True
Suppose 72*z = 146*z - 1565026. Is z a multiple of 23?
False
Suppose -4*i - 88253 + 11493 = -14*i. Does 101 divide i?
True
Suppose -10*y = -9*y - 46. Let c = y - 14. Let l = c + 196. Is 46 a factor of l?
False
Let t(u) = 19*u**2 - 155*u + 3281. Does 51 divide t(27)?
False
Suppose -6*h = o - 4*h - 5012, -3*o + 15051 = 3*h. Is o a multiple of 6?
True
Let y be 1085/(-28) + -1 + 7/4. Let c = y + 43. Suppose c*h + m = 105, -4*h - 3*m - 8 = -103. Does 5 divide h?
True
Let z(b) = b**3 - 5*b**2 + b - 5. Let g be z(5). Suppose -5*p + 5*v = -264 - 281, g = -2*p - 5*v + 190. Is p a multiple of 5?
True
Suppose 20*v - 220 = 30*v. Is 13 a factor of (-6 - -4)*-2 - v?
True
Let v(r) be the third derivative of r**8/80 - r**7/2520 + r**6/360 + 11*r**5/20 - 25*r**2. Let u(c) be the third derivative of v(c). Does 28 divide u(1)?
True
Let d(o) = 44*o**2 + 31*o + 271. Is 95 a factor of d(-11)?
False
Let w = 38 - 107. Let c = w + 73. Suppose -49 = -4*u - 2*l - l, -l = c*u - 51. Is u a multiple of 5?
False
Let j(m) = -3*m - 60. Let g be j(-17). Suppose 0 = -7*z + 2*z + 2*i + 1435, 3*z - 2*i = 861. Is 36 a factor of g/(-9) - z/(-1)?
True
Suppose 2*v - 24 + 38 = 0. Let d(x) = -x**3 - 10*x**2 - 14*x - 8. Let a be d(v). Let r = a + 75. Does 9 divide r?
True
Does 11 divide 3 - (-352)/(-121) - 75336/(-33)?
False
Let u(a) = -2*a**3 - 33*a**2 + 62*a - 175. Is u(-19) a multiple of 7?
False
Let v(f) = 52*f**2 + 60*f + 79. Is 43 a factor of v(13)?
False
Suppose t - 2*u - 678 = 0, 5*t = -54*u + 58*u + 3372. Is 14 a factor of t?
True
Let k(t) = -124*t**3 + 2*t**2 + 2*t. Let j be (15/(-9) - -2)/(1/(-3)). Let c be k(j). Let x = -68 + c. Is 8 a factor of x?
True
Suppose 4*n + 8072 = -5*g, 2*g = -n - 2*g - 2007. Is (0 + n/(-14))*10 a multiple of 59?
False
Suppose 10*n - 21*n = 18*n. Suppose -2*i - 337 + 1303 = -2*s, n = i + 