5 divide m?
True
Suppose 6*j - 21902 = 22. Is 21 a factor of j?
True
Let a(c) = c**3 + c**2 + c + 2. Let v be a(-2). Let o(p) = p**2 + 4*p - 2. Let u be o(v). Let r(d) = -7*d**3 + d**2 + 2*d - 2. Is 13 a factor of r(u)?
False
Is (-16)/(-12) + (-16420)/(-3 - (-120)/56) a multiple of 6?
True
Let i(v) be the third derivative of -v**6/120 + v**5/15 + v**4/6 - v**3/6 + 10*v**2. Let s be i(5). Is 15 a factor of s/4 + 2331/18?
False
Let a be ((-3 - -6) + -7)*(-9294)/24. Suppose j + 5*g = a, -4*j - 27*g + 6196 = -24*g. Is j a multiple of 13?
False
Suppose 5*a = 10, 4*n - 3*a - 528 + 138 = 0. Does 30 divide 2690/6 + 66/n?
False
Let c(h) = h + 3 + 10*h**2 + 21*h**2 + 0. Suppose 3*m - 25*t = -23*t + 4, 5*m + 3*t = -25. Is c(m) a multiple of 25?
True
Suppose 0 = -5*y - 3*x + 113 + 199, -5*y - 4*x + 311 = 0. Is 28 a factor of -54*-21*28/y?
True
Let u = -103 + 106. Suppose b = u*i - 289, i + b = 3*i - 194. Is 14 a factor of i?
False
Let h(g) = -13*g + 49 + 12*g**3 - 21*g**3 + 10*g**3 - 12*g**2 + 3*g. Is h(13) a multiple of 12?
False
Suppose y + 10 = -3*s, -2*y + 4*s + 0*s + 20 = 0. Is 14 a factor of ((-284)/(-14) - -8) + y/(-7)?
True
Suppose -1658*v - 152807 = -1699*v. Is 18 a factor of v?
False
Let i(s) = 4*s**2 + 12*s - 39. Let n be i(-11). Suppose n = 6*b - 443. Does 9 divide b?
True
Let y = -7038 - -11200. Does 39 divide y?
False
Suppose -97*n - 245*n + 14091 = -111*n. Is 3 a factor of n?
False
Let v = -115 + 487. Let b = 581 - v. Is (-4)/(-14)*b + 12/42 a multiple of 20?
True
Suppose -2*o - 140 = -20. Let c be (5 + (-255)/25)/(2/o). Suppose 0 = 4*v + 2*v - c. Is 13 a factor of v?
True
Suppose 1304 = 3*y - 13*s + 15*s, 2*y - 876 = 2*s. Let z = y - 296. Is z a multiple of 10?
True
Suppose -r + 5*q + 2446 + 563 = 0, 5*q + 8937 = 3*r. Does 19 divide r?
True
Let b(h) = h**3 + 12*h**2 + 7*h + 1. Let x = 50 - 9. Let j = -52 + x. Is 35 a factor of b(j)?
False
Let k = 994 + -679. Suppose 35*m = 36*m - k. Is 35 a factor of m?
True
Let i = 243 - 238. Suppose i*j - 1276 - 609 = 0. Is 13 a factor of j?
True
Let d(y) = -2*y**3 + 44*y**2 - 16*y - 90. Let r be d(21). Suppose -244*w + r = -240*w. Is w a multiple of 57?
True
Let y be (-3)/3*0/(-2). Suppose 6*x = -135 + 141. Suppose y = j - x - 26. Is j a multiple of 5?
False
Suppose -5*t = -q - 68 - 29, t + 5*q - 9 = 0. Suppose c - 7 - t = 0. Does 13 divide c?
True
Suppose -o = 4*i - 1804, -2*o + 4*i - 511 + 4167 = 0. Does 70 divide o?
True
Suppose -2*r - 3*r = -4*d + 105, -3*d = 4*r - 40. Suppose 0 = 77*b - 84*b - 35. Is 14 a factor of (-9 - -2)/(b/d)?
True
Let k be (-104)/(-13)*(-87)/(-6). Let r = k - 53. Is r a multiple of 9?
True
Let s be 1/(-7) + 37*12/(-28). Is 6 a factor of -9*1*(s + 7)?
False
Let d = -10 + 16. Suppose p + 8 = 2*h, h - 7*p = -d*p + 6. Suppose 2*k + 3*o - 42 = 0, -k + 6 + h = -5*o. Is k a multiple of 18?
True
Let r be (16/(-6))/(23/(-138)). Does 12 divide 32794/30 - (r/(-60))/(-2)?
False
Suppose -32*a + 2406 = -29*a - 3*g, 3214 = 4*a - 2*g. Is a a multiple of 64?
False
Suppose 0 = -3*q - 5*v + 4885, -5125*q = -5126*q - 3*v + 1635. Is q a multiple of 3?
True
Let o be (5 - (-3)/((-42)/68))*7. Let z = 1 + -3. Does 11 divide 645/43*o/z*-2?
False
Suppose 0 = -k - 2*g + g + 273, 1365 = 5*k - 2*g. Suppose a - k = -6*a. Let v = 71 - a. Is 5 a factor of v?
False
Suppose s - 37 + 41 = 0. Let k(q) = -115*q - 10. Does 45 divide k(s)?
True
Let z(q) = 3*q**2 - 7*q + 26. Let w be z(3). Suppose 9*l - w = 841. Is 9 a factor of l?
False
Suppose k - 31 + 11 = 0. Suppose k = 22*n - 27*n. Is 15 a factor of ((-6)/n)/(1*6/60)?
True
Let u = -1339 - -856. Is 7/(-6 - 2905/u) a multiple of 7?
True
Let u = 822 + -820. Is 18 a factor of (484 + 7 + -13)*1/u?
False
Let a = -6466 + 11254. Is 171 a factor of a?
True
Suppose 203 = 11*q + 5. Suppose q*k + 0*k - 4428 = 0. Is k a multiple of 14?
False
Let i = -1190 + 1941. Does 8 divide i?
False
Let i be 952/196 + (6/14)/3. Let y(b) = 6*b - 7. Let s(u) = 13*u - 13. Let h(x) = i*y(x) - 2*s(x). Is 47 a factor of h(16)?
False
Let h = 392 - -302. Suppose j + 263 = a - 4*j, -4*j = 3*a - h. Is a a multiple of 6?
False
Let v(o) = 433*o + 1317. Is v(3) a multiple of 66?
False
Let o(z) = z. Let v(t) = 2*t + 20. Let x = -39 - -36. Let u(y) = x*o(y) + v(y). Does 10 divide u(-10)?
True
Suppose 0 = 5*t + 2*s - 121178 + 5498, -5*t + s = -115665. Does 21 divide t?
False
Suppose -5*j - 13 = x, -3*x + 0*x - 4*j + 16 = 0. Suppose 0 = -x*w + 7*w + 2905. Let o = w - 412. Does 13 divide o?
True
Let p(x) = 768*x - 2486. Does 110 divide p(22)?
True
Let p(k) = 7*k + k**2 - 1713 + 3*k**2 + 1737. Let m be p(-11). Let z = m - 220. Is 43 a factor of z?
False
Let g be (32/48)/(4/306). Suppose -a = 3*u - 88, -u - g = -2*a + 125. Is a a multiple of 11?
True
Let z be (4/(-3))/(2/(-6)). Suppose z*g - 9*g = -260. Let h = g - 24. Is 4 a factor of h?
True
Let b be -10*(21/(-6))/7. Suppose -x - 3*w + 3 = 2*x, 6 = b*x + 4*w. Suppose 3*q = 5*u + 61, -67 = -3*q + u - x*u. Is 11 a factor of q?
True
Let x = 6316 + -5773. Is x a multiple of 22?
False
Suppose -3*f = 4*h - 26916, -11*f - 8*h + 98721 = -3*h. Does 22 divide f?
True
Let l = 395 + -244. Let b = 214 - l. Is 3 a factor of b?
True
Let a(h) = 33*h + 11 - 37*h - 3*h**2 + 8*h**2. Let i be a(-5). Suppose y - r + 324 = 3*y, -y + i = -r. Is y a multiple of 16?
True
Suppose w + 421 = 4*u, 2*w + 2*u = -243 - 579. Suppose -5*i + 1758 = -2*i. Let r = w + i. Is r a multiple of 17?
False
Let v be (-2)/8 - (-289)/68. Suppose -214 = -v*t - 58. Let m = t - 33. Is 3 a factor of m?
True
Let f = 70 - 61. Suppose f*k = 12*k + 1005. Let h = k - -559. Does 14 divide h?
True
Let w(t) = t**3 + 26*t**2 + 70*t + 166. Is 29 a factor of w(-19)?
True
Suppose -3*q - 4*x - 2 = 0, x - 4*x - 12 = -3*q. Suppose t - 4*z - 2680 = -q*t, 2*z - 4 = 0. Does 40 divide t?
False
Let p be 1015/25 - (-8)/20. Suppose p*i - 407 = 40*i. Is i a multiple of 8?
False
Let j = 11864 + -6850. Is 6 a factor of j?
False
Let o = -6518 - -7422. Does 7 divide o?
False
Suppose 3 = 2*x - 3. Suppose 12*h - 511 = -3*f + 10*h, -x*f = -4*h - 535. Is f a multiple of 56?
False
Suppose -7*l = -189381 + 16117. Suppose -l = -7*g - 21*g. Does 52 divide g?
True
Let n(x) = x**2 - 6 + 14*x - 8 + 3*x**2. Suppose 0 = 1215*r - 1203*r - 60. Is 17 a factor of n(r)?
False
Let k = 3236 - 3136. Does 62 divide k?
False
Let d(n) be the first derivative of 2*n**3/3 + 13*n**2 + 10*n - 18. Is 5 a factor of d(-15)?
True
Let y(g) = -25*g + 64. Let x(a) = 17*a - 43. Let f(d) = 8*x(d) + 5*y(d). Let w(z) = z**2 - 4*z - 6. Let s be w(6). Is f(s) a multiple of 26?
False
Let j(w) = -68*w + 27. Let c be j(-6). Suppose c + 568 = 17*p. Is p a multiple of 10?
False
Let s = 17 + -15. Suppose 0 = 4*l - l + v - 8, 6 = l + s*v. Let o = l + 9. Does 4 divide o?
False
Let w = -24 + 21. Let u be (24/10)/(3/(-810)*w). Suppose 3*p - b = -0*p + 331, -2*p + 3*b + u = 0. Does 22 divide p?
False
Suppose -2*j + 8 = 2*c, 5*j - 5 - 3 = -c. Suppose 4*y = -11 - j, -3*y - 889 = -4*r. Let d = -37 + r. Does 40 divide d?
False
Let t(m) = -2*m - 7. Let s be t(-4). Is (23 - 11)/(s/35 - 0) a multiple of 30?
True
Suppose -5*j = -2*l + 31, -127*l + 5*j = -126*l - 28. Let s(w) = -w - 7. Let f(v) = -v + 1. Let y(c) = -2*f(c) - s(c). Is y(l) a multiple of 3?
False
Suppose -9*p - 54 + 72 = 0. Suppose -3*n = -3, -4*h + p*n = -423 - 187. Is 9 a factor of h?
True
Suppose f + 4*o + 22 = 0, -f - 44 = 3*f + 5*o. Let t be (-2)/f - 2*(-35)/15. Is 8 a factor of 225/(-6)*(-10)/t?
False
Let j be 2/(-2) + 1 + -4. Let q be ((12/9)/j)/((-2)/6078). Suppose 353 - q = -4*g. Is g a multiple of 48?
False
Let b(k) = 2*k**3 + 44*k**2 - 95*k - 426. Is b(-23) a multiple of 4?
False
Suppose 43*v - 36099 = 36*v. Suppose o + 3*y = -2*y + 1263, -4*o + y = -v. Does 92 divide o?
True
Suppose 87858 = 42*i - 678. Does 31 divide i?
True
Suppose 0 = 21*v - 4464 - 4755 - 5628. Is v a multiple of 12?
False
Let a(y) be the first derivative of -3/2*y**4 + 0*y**2 - 3*y - 10 - 1/3*y**3. Is 11 a factor of a(-2)?
False
Let o be (-4)/3*9/(-6). Let u(p) = -p - 5. Let m be u(o). Let g(y) = -y**3 - 5*y**2 - 5*y - 10. Does 41 divide g(m)?
True
Suppose v - 1400 = -4*y + 738, 4*v - 2678 = -5*y. Does 8 divide y?
False
Let r(d) = 17*d**2 - 4*d + 4. Let f be r(1). Suppose -y + 4*c = -f - 10, 3*y + 5*c - 132 = 0. Is 3 a factor of y?
True
Sup