et h be l(7). Suppose 0*o = -h*o + 3*n + 27, 3 = -3*o - 3*n. Suppose 4*g = o + 36. Is 2 a factor of g?
True
Let b(q) = 162*q + 7. Let k be b(-2). Let m = -185 - k. Does 27 divide m?
False
Let a(i) = -3*i**3 + 6*i**2 - 7*i - 8. Does 12 divide a(-5)?
True
Suppose -5*i + 2*k = 0, 5*k - 33 + 10 = i. Suppose 2*b - 3 = -i*y + 3, -3*b = 5*y - 11. Suppose 4*n + 5*q - 43 = 0, -4*n - b*q + 50 = 16. Does 2 divide n?
False
Is (-4)/6 + 14736/72 a multiple of 12?
True
Let x = -1563 - -2963. Does 40 divide x?
True
Let d(q) = q**3 + 13*q**2 + 5*q - 12. Suppose -2 = -4*v - 50. Is 6 a factor of d(v)?
True
Let m = -397 - -639. Does 8 divide m?
False
Let y(m) = m**3 - m**2 - 4*m - 12. Does 75 divide y(9)?
True
Suppose -28 = -3*n + 125. Let c = -18 - -20. Suppose -x = 3*b - 53, -5*b + c*b = 3*x - n. Is 6 a factor of b?
True
Let y(p) = 4*p**2 + 37*p - 3. Is 11 a factor of y(-12)?
False
Let h(z) = -z**3 - 2*z**2 - 3*z - 7. Suppose -2*o + o - 3*q = 16, 0 = -o + 4*q + 12. Is 37 a factor of h(o)?
True
Suppose -4*j - u = -827 - 1054, 2*j = -u + 943. Is 10 a factor of j?
False
Suppose -t + 2*t - 10 = 0. Suppose -8*n - 20 = -t*n. Is 4 a factor of n?
False
Let j = -383 - -401. Is 6 a factor of j?
True
Let d = 489 - 342. Is 10 a factor of d?
False
Let d = -7 - -11. Suppose -4*g - 20 = 0, 4*b - 26 = b + d*g. Suppose b*n = 0, 0*n - 59 = -u - 4*n. Does 16 divide u?
False
Let o(y) = y - 6. Let l be o(7). Is (8/3)/(l/3) a multiple of 8?
True
Let l(u) = -u**2 + 8*u + 16. Is 8 a factor of l(4)?
True
Let m(v) = -254*v**3 + v**2 - v - 10. Let n(i) = 85*i**3 + 3. Let s(q) = -2*m(q) - 7*n(q). Let d be s(1). Let t = d + 123. Is 10 a factor of t?
False
Suppose 4*j = 6*j - 54. Let a = j + 31. Is a a multiple of 29?
True
Suppose 2*n - 1670 = 2*m, 2*m = -16*n + 12*n + 3370. Is 56 a factor of n?
True
Let f = 846 - 542. Does 19 divide f?
True
Let i(f) = f**2 - 2*f - 1. Let g be i(3). Suppose -o = m, -o = g*m + 4*o + 12. Is 4 a factor of m?
True
Let x = -9 - -6. Is 15 a factor of (-2)/(-6) + (-299)/x?
False
Let c be (1 - 2/3)*-18. Let a(z) = z**2 - 11*z + 12. Is 19 a factor of a(c)?
True
Let d = 322 - 98. Does 4 divide d?
True
Let j(y) = -y**3 - 7*y**2 + 7*y + 1. Suppose x - 1 = -h + 2, -3*x = h - 17. Let b = x - 15. Does 3 divide j(b)?
True
Let l(n) = -6*n + 1. Let w be l(7). Let a = 249 + -167. Let i = w + a. Does 9 divide i?
False
Suppose 672 = 2*i - 0*w - w, 3*i = 5*w + 1001. Does 13 divide i?
False
Suppose -450 = -9*o + 144. Is o a multiple of 3?
True
Suppose -4*m + 4*u + 30 = -2*m, 27 = 4*m + 3*u. Let b = 3 + m. Does 7 divide 342/b - (-2)/(-4)?
True
Let j(c) = 84*c**3 + 8*c**2 - 8*c - 1. Is j(1) a multiple of 10?
False
Let f be (30/9)/(4/6). Suppose 2*p + 4 = 3*m + p, -4 = -f*m + p. Suppose -3*o + 0*o + 48 = m. Is o a multiple of 6?
False
Does 12 divide 279/6 + (-39)/(-26)?
True
Let p = -9 + 12. Let i be p*1 - 2/1. Let h(r) = 5*r**2 - 2*r + 1. Does 4 divide h(i)?
True
Let y(t) = -t**2 - 5*t + 85. Is 4 a factor of y(-10)?
False
Suppose 5*x = -4*m + 1272 - 217, 3*m + 3*x - 795 = 0. Does 93 divide m?
False
Let m(h) = -12*h + 12. Let a be m(-17). Suppose -4*d = -d - a. Is 15 a factor of d?
False
Let x(d) = d**3 + 9*d**2 + 7*d - 4. Let q be x(-8). Suppose -w + 232 = 4*v + q*w, 0 = 2*v + 3*w - 114. Is v a multiple of 21?
True
Suppose 5*s - 16 = 4. Suppose s*c = -4*q + 45 + 43, 0 = -2*q + 2*c + 32. Suppose -q - 4 = -b. Does 14 divide b?
False
Let w(f) = -2*f**2 - 23*f + 9. Let q(r) = -r**2 + 14*r - 23. Let b be q(13). Does 6 divide w(b)?
False
Suppose 311*t = 319*t - 3272. Does 47 divide t?
False
Let u(m) = 3*m + 200. Is u(-21) a multiple of 8?
False
Suppose 3*u - 41 = 1. Suppose -60 = -12*g + u*g. Does 10 divide (-10)/(-75) + (-2636)/g?
False
Suppose 7*u = 8*u + 8. Let k be (24/u)/((-6)/(-16)). Is 20 a factor of k/20 - (-224)/10?
False
Let n be (-3)/((-6)/(-4)) - (-126)/18. Suppose -5*l = 5*x - 160, 16 = l - 0*x + n*x. Is l a multiple of 2?
True
Let i be 2502/45*(-10)/(-4). Suppose 2*b - 126 = -2*b + 5*y, 0 = -5*b - 3*y + i. Does 9 divide b?
False
Let r(v) = -3*v**2 - 3*v + 3. Let s be r(-5). Let d = s + 22. Let y = 56 + d. Is y a multiple of 7?
True
Let f = -25 + 37. Let k = f + -8. Suppose 0 = -5*a - 4*l + 41, -l = -k*a - 2*l + 24. Is a even?
False
Suppose 16*r - 14*r = 3016. Is r a multiple of 22?
False
Let k be (-3)/(18 - 3) - (-16770)/(-25). Does 28 divide k/(-4) - (2 + (-36)/16)?
True
Let a = 9 - 6. Suppose 2*z - 4*l + 6 = a*z, -2*l = z - 6. Is z a multiple of 3?
True
Let z(i) = i**3 + 8*i**2 + i + 12. Let n be z(-8). Let p(x) = -2 + 3*x + 6 + 3 + x**2 - 5. Is p(n) a multiple of 30?
True
Is 36 a factor of (-296)/(-2)*90/12?
False
Let i = -172 - -178. Does 2 divide i?
True
Suppose 0 = -87*y + 80*y + 1806. Does 20 divide y?
False
Suppose u = 4*j - 3*u + 20, -4*j = -u + 29. Let i(p) = p**3 + 7*p**2 - 10*p + 8. Is 6 a factor of i(j)?
True
Let t = -28 - -30. Let a(p) = 8*p**3 - 4*p**2 + 3*p - 1. Is 17 a factor of a(t)?
False
Does 15 divide -3*100/(-8)*380/75?
False
Let q(h) = 8*h - 26. Let o = 68 - 57. Does 28 divide q(o)?
False
Suppose -p + 14 = -2. Let q(d) = -d**3 + 25 + 0*d**3 - 2*d**3 + 2*d**3 - 18*d**2 - p*d. Is q(-17) even?
True
Let t(d) = -60*d + 3. Let v be t(-1). Let q = v + 5. Is 33 a factor of q?
False
Let l(n) = -6*n**3 + 8*n**2 + 7*n - 3. Let i(s) = -s**3 - 1. Let v(a) = 5*i(a) - l(a). Let o be (21 + 3)/6 - -5. Does 8 divide v(o)?
True
Let z(i) = -i**3 + 2*i**2 - 4*i - 2. Let n be z(5). Suppose 171 - 57 = -2*y. Let f = y - n. Does 35 divide f?
False
Suppose 4*s - 3128 = 2*n, 4*s - 5*s - 5*n = -760. Is 13 a factor of s?
True
Let y(b) = -14*b**3 - 7*b**2 - 19*b - 53. Is y(-4) a multiple of 28?
False
Let c(w) = w**3 - w**2. Let u(t) = -3*t**3 + 15*t**2 + 14*t + 27. Let r(k) = -4*c(k) - u(k). Is 13 a factor of r(-10)?
True
Suppose 4*u - 2100 = 3*p, -1580 = -3*u - 3*p + 4*p. Does 8 divide u?
True
Let c be 5 + 10 + (-2 - -4). Let m = 44 + c. Does 10 divide m?
False
Let k(w) = -17*w**3 + 4*w + 7. Let x(h) = 16*h**3 - 5*h - 8. Let t(y) = -7*k(y) - 6*x(y). Suppose -4*i + 3 + 1 = 0. Is 8 a factor of t(i)?
True
Suppose 0 = j - 6*j - 2*l + 20, 0 = -l - 5. Suppose x - 5*s + 27 = 0, 2*s = -2*x + s - 21. Is 8 a factor of 1/j + (-478)/x?
True
Suppose 4 = -k, -3*w + 70 + 6 = 5*k. Suppose p - 19 = w. Does 14 divide p?
False
Let q(r) = -2 - 126*r + 57*r - 99*r - 16*r. Does 26 divide q(-1)?
True
Let t = 3335 + -944. Is 72 a factor of t?
False
Suppose 4*l = j + 10274, 7713 = -l + 4*l + 3*j. Is l a multiple of 58?
False
Let t be 1*(-2)/(3/(-3)). Suppose 0 = -4*d - 0*x + t*x - 2, 0 = 3*d + x - 1. Suppose d*i + 270 = 5*i. Is 27 a factor of i?
True
Let w(r) = r**2 + r - 1. Let m be w(-1). Is 15 a factor of (m - -4) + (-10 + 4 - -275)?
False
Let a = 196 - 326. Let i = -84 - a. Suppose -i = -5*b - 1. Is 3 a factor of b?
True
Suppose g = -3*g + 8. Suppose -3*n - 3 = -g*n. Is n*(-3 + -3)/1 a multiple of 3?
True
Let n be (-218)/(-11) - (-2)/11. Let s(l) = l**2 - 17*l - 28. Is s(n) a multiple of 8?
True
Let m be (-8)/2 - (9 - 18). Suppose 3*t + 2*w - 5*w = 102, 134 = 4*t - m*w. Does 17 divide t?
False
Suppose 2*u + 2*u - 204 = 0. Let i be 4/18 + 237/27. Suppose 5*z = i + u. Is z a multiple of 6?
True
Let r(f) = 118*f - 21. Does 54 divide r(2)?
False
Let l be 12/(-3) - -3 - 3. Let y(h) be the third derivative of -13*h**4/24 + 5*h**3/6 - 6*h**2. Does 20 divide y(l)?
False
Suppose -2*h + 86 = -r, r = 2*h - 3*r - 92. Let p = h - 35. Does 7 divide p?
True
Let i(m) be the second derivative of 0 - m**2 + 5*m + 19/6*m**3. Does 18 divide i(2)?
True
Suppose 0 = -2*t + 8. Let l be (21/4)/((-3)/(-48)). Suppose -t*a + a = -l. Is a a multiple of 14?
True
Suppose -4*v + 12 = -w - 3*w, -2*v - 5*w = -27. Suppose 11*i = v*i + 10. Suppose -15 = p - i*p. Does 5 divide p?
True
Let y be 1/(-1) - (-168)/4. Let a = y - 80. Let f = a - -75. Is 12 a factor of f?
True
Suppose 21*l - 16 = 19*l. Suppose -4*q - 2*m = -94, -l = -2*m + 2. Is 4 a factor of q?
False
Let t(f) = 5*f**2 - 23*f - 8. Is t(10) a multiple of 13?
False
Suppose -8*n + 5*n - 322 = -2*p, 4*p - 676 = -2*n. Does 76 divide p?
False
Let v(z) be the third derivative of z**6/120 - 7*z**5/15 + 7*z**4/3 + 31*z**3/6 - 28*z**2. Is 27 a factor of v(26)?
True
Suppose 624 = 91*k - 87*k. Does 12 divide k?
True
Let h be ((-2)/(-6))/(8/(-72)). Let w be 2*-15*h/18. Suppose 3*s = -