uppose w*a - b - 9 = 0, 0*a + 5*b + 31 = 3*a. Suppose a*q = -4*i + 148, 7*q = 2*q + i + 359. Is 20 a factor of q?
False
Let v be 8/((-128)/(-372)) - 3/(-4). Let t be (-2 + -62)/(20/v - 1). Suppose 4*a - t = 4*h - 0*h, -h = -4*a + 396. Is 45 a factor of a?
False
Let q = 8021 + 1225. Is 13 a factor of q?
False
Suppose 0 = 75*a - 71*a. Let z be 3/((18/(-52))/(-3)). Suppose 4*v + z = -t + 121, a = -5*v - 4*t + 127. Is v a multiple of 22?
False
Let b = -709 - -382. Let i = b + 668. Does 8 divide i?
False
Let z(s) = -213*s**3 - 4*s**2 - 34*s - 94. Does 14 divide z(-4)?
False
Let i(c) = 6*c**2 + 96*c + 985. Is i(-13) a multiple of 83?
False
Suppose 2055 = x - 327. Is x a multiple of 35?
False
Let n(t) = t + 8. Let g be n(-4). Suppose -503 = -g*k + 665. Suppose 3*b - 4*c = 417, 0 = 2*b - 2*c + 4*c - k. Is b a multiple of 27?
False
Is 1020/(-3060) - (1 + -2 + 34496/(-6)) a multiple of 50?
True
Suppose 46*m - 27840 = -14*m. Suppose 3*p = -v + 236, 5*p = 3*v - 0*v + 412. Suppose p = -4*a + m. Is a a multiple of 12?
True
Let a(l) be the second derivative of 553*l**5/20 - l**4/12 - l**3/2 + 3*l**2/2 - 18*l. Does 20 divide a(1)?
False
Let h be 2205/27 + (-1)/(-3). Suppose -h*b + 616 = -78*b. Does 11 divide b?
True
Suppose 5*u = -t - 6, -5*u + 99 = -t - 3*t. Let f(l) = l**2 + 23*l + 47. Let v be f(t). Suppose -a + v*q = a - 70, 5*a + 2*q - 146 = 0. Is a a multiple of 15?
True
Let r(s) = s**3 + 16*s**2 - 3. Let d be r(-16). Let q(f) be the first derivative of -f**4/2 - f**3 - 10*f - 3. Is q(d) a multiple of 15?
False
Suppose 2*l - 32 - 16 = 2*z, 2*l + 2*z = 44. Let i(d) be the third derivative of -d**5/60 + d**4 + 47*d**3/6 + 131*d**2. Does 7 divide i(l)?
True
Let s(w) = 12*w**2 + 11*w - 28. Let u be s(-12). Suppose -5*z + 3*z = -u. Does 14 divide z?
True
Suppose -2*i + 8 = -6*i. Does 12 divide 0 - i - (16 + -126)?
False
Let d(y) = -7*y**3 + 15*y**2 + 45*y - 31. Does 14 divide d(-7)?
False
Let f(q) = 47*q**2 + 16*q + 32. Is f(-6) a multiple of 44?
True
Suppose -23*v + 165001 - 39844 = -36303. Is v a multiple of 24?
False
Let r be 9/(27/(-6))*-23. Let x = r - 39. Suppose -x*d - 6*d + 1638 = 0. Is 21 a factor of d?
True
Suppose 0 = -0*w + w - 8. Let s = w - 1. Suppose s*h + 8 = 3*h, -a = 3*h - 173. Is 11 a factor of a?
False
Let w(s) = s**3 - 18*s**2 + 16*s + 20. Suppose 3*q = -2*m + m + 54, 2*q - m - 31 = 0. Let i be w(q). Suppose -5*z + 192 = -i*z. Is z a multiple of 32?
True
Is 58 a factor of (352/(-10))/((-11)/2805)?
False
Suppose -4*h = -5*k - 102, 7*k = -3*h + 5*k + 65. Let v(l) = l**2 - 12*l - 50. Is v(h) a multiple of 7?
True
Does 9 divide (-12)/(-42) - (-19)/7 - (10 + -520)?
True
Let g(a) = a**3 + 9*a**2 - 9*a + 13. Let f be g(-10). Suppose 0 = -3*w - 4*h + 38, f*h - 49 = -5*w - 4. Does 13 divide 24/(-2)*(3 - 57/w)?
True
Suppose -2*w - 20 = 3*v, w + 35 = -v - 3*v. Let b(q) be the third derivative of -q**4/6 + 31*q**3/6 + 23*q**2 + 2*q. Does 11 divide b(v)?
False
Let y be 2515/10 - 2/(-4). Is 42/y + (-490)/(-12) a multiple of 29?
False
Suppose 2*c + 2 = 0, 6*c - 12 = a + 5*c. Let u(m) = m**3 + 15*m**2 - m - 31. Is u(a) a multiple of 20?
True
Let p(j) = -54*j**3 - 3*j**2 - 3*j + 3. Let o be p(-2). Let t = -235 + o. Is 10 a factor of t?
False
Suppose 0 = 4*s, -4*s - 51159 = -2*i - 13995. Is 6 a factor of i?
True
Suppose 110*n - 76133 = -2*j + 109*n, 2*j = n + 76139. Is 62 a factor of j?
True
Suppose 33*j + 8*j = 4*j + 177045. Is 29 a factor of j?
True
Let o(p) be the first derivative of -p**2 - 16*p - 4. Let i be o(4). Is 12 a factor of i/(14/105 - (-8)/(-10))?
True
Suppose 2*g - g + 321 = v, -3*g = -2*v + 964. Suppose 2*p - 2 = 12. Is 23 a factor of (9/(-2))/(p/g)?
True
Suppose -4*g - 3727 = 2521. Let t = g + 842. Is 21 a factor of 2 - (t/5 - -2)?
False
Suppose 2*g = -w + 251, -5*g + 195 = -w - 415. Suppose -11*m = -12*m + g. Let x = m - 73. Is x a multiple of 4?
False
Let q(n) = 121*n - 4. Let o = 81 - 80. Is q(o) a multiple of 13?
True
Let i = -162 - -168. Is i/(-5)*(2/6 + -2) even?
True
Suppose 5*i + u - 678 = 0, 3*i - u - 420 = -6*u. Let p be 3 - 73 - (0 + -3). Let n = i + p. Is n a multiple of 17?
True
Suppose 11225 = 12*x - 3830 + 4327. Does 85 divide x?
False
Suppose 5*l = 3*q + 91368, -21*l + q + 18276 = -20*l. Is 15 a factor of l?
True
Let d = 18582 - 5978. Is 23 a factor of d?
True
Let f(s) = s**3 + 29*s**2 - 13*s - 92. Is 24 a factor of f(20)?
True
Let n(q) = 2*q**3 - 13*q**2 - 32*q + 24. Is 15 a factor of n(17)?
False
Let a(d) = 152*d**3 - 131*d**3 - 5*d + 13*d - 8. Does 8 divide a(2)?
True
Let i(b) = b**3 + 60*b**2 - 71*b + 171. Is i(-61) a multiple of 33?
False
Is 22 a factor of ((-10197)/6)/(57/(-152))?
True
Let m be (95 - 1)*11/((-143)/(-13)). Is (-1252)/(-26) - m/611 a multiple of 16?
True
Let p = 1596 + 339. Does 8 divide p?
False
Let g(w) = 66*w. Let l(o) = -o**3 - 9*o**2 - 15*o + 9. Let t be l(-7). Let z be (-18)/(-16) + (30/t - 2). Is 8 a factor of g(z)?
False
Let i(l) = -462*l - 12534. Does 12 divide i(-37)?
True
Let v(i) = -66*i - 25. Suppose -2*c - 33 = -13*c. Let x(p) = 33*p + 12. Let n(a) = c*v(a) + 5*x(a). Does 9 divide n(-4)?
True
Suppose 5*x = -4*s + 19132, 5402 = 3*s + 2*x - 8954. Suppose 0 = -12*r + 3*r + s. Is 94 a factor of r?
False
Let x(h) = -25628*h**3 + 5*h**2 - h - 2. Does 267 divide x(-1)?
True
Let a be 512/(-3)*(-39)/(-2). Is a/78*2/((-4)/3) a multiple of 9?
False
Let j(r) = 4*r**2 + 16*r - 4. Let h be j(-5). Let p = h + -16. Suppose 4*w + i = 4*i + 373, p = 2*w - 3*i - 185. Is 12 a factor of w?
False
Let u be (-3)/(-1)*(-342)/(-54). Suppose u*n - 2*n = 1224. Is 12 a factor of n?
True
Suppose -66*q + 72*q = 900. Suppose -2*k - 464 = -4*j + j, -j = -3*k - q. Is 12 a factor of j?
True
Let l(a) be the third derivative of a**6/120 - a**5/30 - 7*a**4/24 + 3*a**3/2 + a**2. Let d(u) = u**2 + 91*u - 3778. Let p be d(31). Does 13 divide l(p)?
True
Suppose -6*v + 5*v = -18254 - 2914. Is v a multiple of 18?
True
Suppose -h - 16 = 5. Let y = 30 + h. Is (-9)/y*1*-44 a multiple of 13?
False
Is 11 a factor of (-25948)/(-8) - (-78)/52?
True
Is ((-4608)/(-3) + -2)/(48/288) a multiple of 52?
True
Let j(s) be the second derivative of -s**3 + 0 + 36*s + 1/12*s**4 + 10*s**2. Is j(12) a multiple of 20?
False
Let f(q) = 1323*q**2 + 517*q - 1038. Is 11 a factor of f(2)?
False
Does 38 divide (-207728)/(-42) - 2 - (-7)/((-2646)/(-36))?
False
Let w = 836 + -820. Is w/(-20) + 2262/15 a multiple of 25?
True
Let j = -227 - -348. Suppose -281 - j = -3*c. Does 7 divide c?
False
Suppose 5*a + 20490 = 2*j, 53*a - 58*a + 20430 = 2*j. Is j a multiple of 14?
False
Let b(n) = n**3 + 5*n**2 - 15*n - 2. Let j be b(-7). Suppose 0 = 3*w + 5*d - 64, 0 = 5*w - j*d - 160. Is w a multiple of 28?
True
Let a(l) = 47*l**2 + 66*l - 1856. Is a(19) a multiple of 15?
True
Let z = -301 + 297. Is ((-76)/(-18) + z)*171 a multiple of 29?
False
Let p(j) = j**2 + 19*j - 29. Let t(s) = -s. Let o(h) = -p(h) - 5*t(h). Let a = 1411 + -1424. Is 14 a factor of o(a)?
True
Does 11 divide ((88/40)/((-4)/15))/(6/(-496))?
True
Suppose -96*u + 417324 = -38*u + 62364. Is 30 a factor of u?
True
Let z(a) be the second derivative of a**5/20 - a**4/6 - 11*a**3/6 + a**2 + 83*a. Does 16 divide z(7)?
False
Let b(c) = -3*c**3 + 9*c**2 + c - 7. Let a be b(4). Let h be 6/3*105/(-6). Let v = h - a. Is 16 a factor of v?
True
Does 2 divide (17/(-2))/(31/(-62))*115?
False
Let v be 1*(-4)/4*(-1 - -1). Let b(y) = y**2 - 5. Let k be b(v). Let p(j) = 3*j**2 + 9*j + 10. Does 20 divide p(k)?
True
Let f(l) = 10*l**2 - 42*l + 1. Let v be f(8). Suppose 5*s - v - 520 = 0. Is 35 a factor of s?
False
Let w(j) = 2*j + 4. Let r = -54 + 54. Let l be w(r). Let a(g) = 5*g - 4. Does 12 divide a(l)?
False
Let c(t) = t - 11. Let x be c(8). Let j be (x - -2)/(5/(-20)). Suppose 149 = 2*w - q, 2*w = j*q - 2*q + 154. Does 12 divide w?
True
Let r = -526 - -672. Suppose 3*p + 15 = 0, -m + 5*p - 3*p + r = 0. Does 4 divide m?
True
Suppose 8*a - 2621 = 371. Let k = a - 214. Let i = k - 34. Is i a multiple of 42?
True
Suppose -10*x - i - 29227 = -14*x, 2*x = -i + 14621. Does 19 divide x?
False
Let t(c) = c**3 + 18*c**2 + 14*c + 21. Suppose 43 = -4*q - 5*j, 4*q - 2*j + 3*j = -63. Does 4 divide t(q)?
True
Let i = 23956 - 15192. Does 45 divide i?
False
Let m be (-4*(-9)/(-14))/((-3)/98). Suppose 5*b - 320 = x, 4*b - 340 = -x -