(5). Suppose -t = -2*q - x. Does 7 divide q?
True
Let z(j) = -159*j + 89. Is z(-5) a multiple of 17?
True
Suppose -348 = -3*x + 114. Does 7 divide x?
True
Let n be 3/(-4 - -1) - -3. Suppose n - 42 = -2*b. Suppose -4*d + 4 = b, -3*t - 3*d = -156. Is t a multiple of 20?
False
Let a = 2321 + -2104. Is 2 a factor of a?
False
Let u(t) = 537*t + 1. Let i be u(1). Suppose 617 + i = 5*d. Is 1/(-4) + d/12 a multiple of 19?
True
Is 31 a factor of ((-28)/42)/(14/(-102543))?
False
Let q be 1288/(-20) - (-3)/(-5). Let x = -23 - q. Does 7 divide x?
True
Let w be (-52)/16 + (-1)/(-4). Is (-2)/(-2) + (-54)/w a multiple of 7?
False
Suppose -2*o - o = -2*k - 827, -1357 = -5*o - 2*k. Suppose -483 = -9*t + o. Does 17 divide t?
False
Let p(u) = -u**3 - 3*u + 8. Let f be p(0). Let c(g) = -g**3 + 10*g**2 + 16*g - 1. Does 15 divide c(f)?
True
Let b(i) be the second derivative of -i**4/12 + 5*i**3/3 - 4*i**2 - 42*i. Does 12 divide b(6)?
False
Let g(i) be the third derivative of -i**5/120 + i**4/24 - 3*i**3/2 - 2*i**2. Let y(z) be the first derivative of g(z). Is 5 a factor of y(-9)?
True
Suppose -10*h - 30 = -13*h. Let z = h + -12. Let y(b) = -11*b**3 - 6*b**2 - 4*b - 2. Is y(z) a multiple of 22?
False
Let v be (19 - 24)*(1 - 1*2). Is (1 - 13)/(-4) - v/(-1) a multiple of 8?
True
Suppose -3*s = -k + 4, 2*k - 3*s = -2*s + 23. Suppose -3*i = -3*y + 42, 2*i + 52 = -0*y + 4*y. Suppose -k*h = -y*h - 65. Does 11 divide h?
False
Suppose 1 = -5*s + 11. Suppose 3*n - 123 = -3*a, -s*n - n - 5*a = -115. Is n a multiple of 9?
True
Let z(j) = -j**2 + 14*j - 17. Let l be z(12). Let o(i) = -4*i + 11. Let s be o(l). Let a = 2 - s. Is 4 a factor of a?
False
Does 52 divide 2*8*((-1053)/(-6))/3?
True
Suppose -11*m + 13*m = 2*i + 944, -5*m + 2344 = -i. Does 28 divide m?
False
Let w(x) = -x**3 + 31*x**2 + 10*x - 36. Does 26 divide w(31)?
False
Let k be (-10)/60 - (-1334)/12. Does 42 divide (56/6)/(k/54 - 2)?
True
Suppose 5*k + 5 = -m - 3, -8 = -5*m - k. Let r(v) = -3*v**m + 5*v**2 - 1 - v**2 + 11*v + 6. Does 21 divide r(-14)?
False
Does 14 divide (-50 - -23)/((-488)/(-164) + -3)?
False
Let c be 3/((-21)/(-2)) - 130/(-35). Is c/(-14) + (-605)/(-35) a multiple of 6?
False
Let x be 8*(20/(-8) + 3). Suppose -z = -x*z + 2*m + 95, 0 = 5*m - 25. Is 6 a factor of z?
False
Let f(v) = v**3 - 20*v**2 + 42*v + 13. Is f(19) a multiple of 25?
True
Let f = 39 - 23. Let i be 32/6 + f/24. Is ((-235)/10)/((-3)/i) a multiple of 14?
False
Suppose 3*n + 3*d = -0*d + 72, -n = 3*d - 20. Suppose -50 = -n*o + 24*o. Is o a multiple of 25?
True
Let h(j) = -2*j - 2. Let i be h(-4). Suppose 32 + i = 2*n. Is n a multiple of 19?
True
Suppose -2*a - 13 = 5*f, 2*a + 2 = 3*f - 3. Does 26 divide 11/f*(-2 + -7)?
False
Let q = 36 + -33. Suppose -w = -3*c + c - 74, -q*w - c = -243. Is w a multiple of 7?
False
Let h = 106 - 4. Suppose 2*r = -r - h. Does 12 divide (r/(-3))/(1/3)?
False
Let p = 493 - 454. Is p a multiple of 8?
False
Suppose -9*d + 52 = -164. Suppose -56 - d = -5*f. Does 6 divide f?
False
Let p(f) = -2*f**3 - 4*f**2 + 6*f + 4. Suppose 5*j - 4 = 21, 3*j = 5*m + 35. Let w be p(m). Suppose -2*v + 6 = -w. Is 10 a factor of v?
False
Let w be 44/10 - 10/25. Suppose -68 = -v - w*r, -4*r - 196 = -4*v - r. Is v a multiple of 17?
False
Suppose -2*x + 210 + 188 = -5*d, -x - 230 = 3*d. Let h = d + 46. Let u = h + 62. Is u a multiple of 15?
True
Does 9 divide 1/(-8) - (54495/56)/(-9)?
True
Let h = 2 + 6. Let a(r) = r**2 - 4*r + 8. Is 5 a factor of a(h)?
True
Let d(k) = -k**3 + 15*k**2 - 9*k - 21. Does 16 divide d(12)?
False
Let u(b) = -b**3 + 17*b**2 - 16*b + 102. Is u(12) a multiple of 45?
True
Let d = -32 + 266. Does 9 divide d?
True
Let h = -977 - -1561. Let g = 837 - h. Is g a multiple of 56?
False
Let m be (672/18)/(-4)*(-18)/7. Is 5 a factor of (m - (-3)/1)/1?
False
Let k(d) be the second derivative of d**4/2 + 5*d**3/6 + 4*d**2 + 28*d. Is 7 a factor of k(-4)?
True
Let h = 32 + 18. Suppose 5*g - 15 = -0*g - 3*v, 0 = 5*g - 4*v - h. Does 32 divide 80/g*(-36)/(-5)?
True
Is 3 a factor of -5*(-7)/35*(5 + -1)?
False
Let z(k) = 106*k**2 + 24*k + 33. Is 71 a factor of z(-4)?
True
Let i = 35 - 21. Suppose 5*a = -i - 6. Does 8 divide (a - 0)/(3/(-6))?
True
Suppose 5*i + 6 + 21 = p, -p - 5*i - 23 = 0. Suppose 0 = 6*q - 13 + 1. Suppose 0 = p*s + q*d - 96, 4*s + d + 67 = 244. Does 16 divide s?
False
Let x be (16 + 1)/(13/91). Suppose 5*z - 29 + x = 0. Let c = 37 + z. Is 5 a factor of c?
False
Let y(x) be the first derivative of 124*x**3/3 - x**2 + 7. Is 28 a factor of y(-1)?
False
Let j(c) = 4*c + 14. Let n be j(11). Let g = n + 32. Is 30 a factor of g?
True
Suppose -179 + 3 = -11*z. Suppose -2*s + 3*p + 14 = 0, z = 2*s - 0*p - 4*p. Is 2 a factor of s?
True
Let u be (-2)/8 - (-85)/20. Suppose 0 = 3*j - 2*j - u. Suppose -117 = -7*t + j*t. Is t a multiple of 13?
True
Suppose o + 343*i - 1777 = 347*i, o = -i + 1757. Is o a multiple of 84?
False
Suppose -4*j - 2 + 10 = 0. Let m(i) = i**2 + 0*i**j + 13*i + 0*i**2 - 12*i + 29. Does 25 divide m(0)?
False
Let g be ((-20)/5 + 3)*18. Does 10 divide -3 + g/(-3) + 7?
True
Let r = 17 - 8. Suppose -54 = 3*h + r. Let z = -14 - h. Is 6 a factor of z?
False
Suppose -186*l = -189*l + 741. Is l a multiple of 19?
True
Let d(m) = -13*m - 7. Let y be (-26)/4 - 9*1/6. Does 17 divide d(y)?
False
Let d = -51 + 30. Does 9 divide d/(-1 + 4)*(-48)/28?
False
Let p = 715 + -622. Does 32 divide p?
False
Let v(a) = -15*a + 5. Let h be v(-7). Let x = 120 - h. Is x even?
True
Suppose -5*l + 13700 = -4*u, -3*u + 3656 - 897 = l. Is l a multiple of 98?
True
Suppose -4*w - 26*a + 912 = -24*a, 5*w = a + 1126. Does 20 divide w?
False
Let p be (-2)/(-12) - (-244)/(-24). Let o = 2 - -12. Let h = p + o. Does 3 divide h?
False
Suppose 0 = 7*c + c - 248. Let p = c + -21. Does 2 divide p?
True
Let z(n) = 30*n + 19. Is z(4) a multiple of 6?
False
Let c = 1138 + -676. Does 42 divide c?
True
Let t = -137 - -310. Does 20 divide t?
False
Let p be 5*(-2)/(-25)*-10. Suppose 0 = 6*f - 164 - 22. Let l = f + p. Is 9 a factor of l?
True
Suppose 3*w + 15 = -3*g, -g + 4*g = 4*w - 1. Let h be w/(-12) - (-31550)/60. Suppose r + 4*x = x + 90, 5*r - h = 4*x. Is r a multiple of 34?
True
Suppose 0 = 18*u - 27*u + 4752. Does 44 divide u?
True
Let t(v) = -5*v + 4. Suppose 0 = 3*g - 0*g + 18. Does 5 divide t(g)?
False
Let i(b) be the third derivative of -1/3*b**3 + 8*b**2 + 0 + 0*b - 1/24*b**4. Does 10 divide i(-14)?
False
Suppose 2*q + 20 = -h - 34, -3*h - 122 = -4*q. Let j = h + 53. Is j even?
False
Suppose 4*b = -84 + 612. Suppose -4*w - b = -4*n, 3*n - 2*n - 15 = -5*w. Is n a multiple of 8?
False
Suppose -4 = -s + 8. Let v be 90/s*4/6. Suppose -3*h + 31 + 34 = 4*a, -a + 114 = v*h. Does 17 divide h?
False
Suppose -1640 = -10*f + 3700. Suppose -r + 0*n + 130 = n, 4*r - 3*n - f = 0. Does 15 divide r?
False
Suppose -360 = -29*h + 25*h. Suppose -h = -5*z - 20. Is z a multiple of 2?
True
Let d be ((-452)/20)/(-1) - (-4)/10. Suppose -d - 42 = -5*x. Is 2 a factor of x?
False
Suppose 5*t - 15 = -v + 12, -t + 11 = 3*v. Let f be ((-28)/(-2))/(-1)*v. Let m = f + 54. Is 12 a factor of m?
False
Suppose -2*s + 5 + 1 = 0. Suppose -s*c = 3*k - 150, c + 1 = -2. Is k a multiple of 11?
False
Suppose 0 + 4 = 4*u. Is 22 a factor of (u - (-95)/10)*88/6?
True
Let w be 2/(-11) + (-4992)/132. Let g = -15 - w. Suppose -4*d + 1 = -g. Is 6 a factor of d?
True
Let j(p) = 3*p - 3. Suppose -27 = -3*a - 3*m, 0 = -0*a + a + 2*m - 9. Is j(a) a multiple of 7?
False
Let j(y) = -y**3 + 13*y**2 + 17*y + 2. Let p = 34 + -32. Suppose 0 = x + p*i - 4*i - 16, 0 = 5*x - 4*i - 74. Is 11 a factor of j(x)?
True
Let r(q) = 257*q**3 - 2*q**2 - q + 2. Is r(1) a multiple of 16?
True
Let i = -2668 + 6448. Is 45 a factor of i?
True
Let o be 2 - 2 - (-5 + 2). Let n be 3/(-5)*(o - 8). Is (12/(-7))/(n/(-21)) a multiple of 6?
True
Is 28 a factor of (-174)/(-1) + (-369)/(-123)?
False
Suppose 656 = 14*n - 11958. Is n a multiple of 53?
True
Let n = 30 - -16. Let q = 55 - n. Is q even?
False
Suppose b - 2*d + 4*d = 45, 0 = -4*b + 3*d + 191. Suppose 2*q - 48 = -2*x, 0*q + x = -2*q + b. Let h = -15 + q. Is h a multiple of 8?
True
Suppose 6046 - 322 = 6*x. Is x a multiple of 10?
False
Let i = 1 - 5. Let l(s) = 2*s**2 - 4*s. Let a be l(i). Let p = a - 25. Does 17 divide p?
False
Suppose -5*w + 2860 = -q, 