- 202 = -2*k. Does 33 divide k?
False
Suppose -2*z + y = -3*z + 1, 4*y + 2 = -z. Let c(x) = -x - 1. Let p be c(z). Does 5 divide (-1)/p + (-52)/(-6)?
False
Let m(v) = -v**3 - 10*v**2 - 7*v + 14. Does 12 divide m(-10)?
True
Let m(v) = v**2 - 1. Let y be m(-2). Suppose -18 = -y*o + 24. Does 12 divide o?
False
Suppose -40 = 2*w + 5*b, -b - 3*b = 4*w + 104. Is 6 a factor of (w/8)/(5/(-40))?
True
Let b(i) = -i**3 + 14*i**2 - 13*i + 17. Does 6 divide b(13)?
False
Suppose -24 = -0*f - f. Suppose 3*c = 36 + f. Is c a multiple of 11?
False
Let q(s) = -s**3 - 3*s**2 - 3*s. Let a be q(-2). Let r(o) = 2*o**3 + 2*o**2 + o**3 - 5*o**a + o - 2. Does 12 divide r(2)?
True
Let s be (-70)/(-22) + 8/(-44). Suppose d - 6 = -s*d - h, 4 = -4*d + 4*h. Is 4 a factor of -1*d + (1 - -8)?
True
Let n(m) = 7*m - 21. Suppose -2*d + 44 = 2*d. Is n(d) a multiple of 12?
False
Let f be 96/21 - 6/(-14). Let i(v) = -v**2 - 2*v + 6. Let o be i(f). Let t = 53 + o. Does 15 divide t?
False
Suppose 4 = -5*j - 1. Let a be 5 - -2 - (j - 1). Is 12 a factor of (a/4)/((-6)/(-32))?
True
Let a = 129 - 77. Suppose r = -3*r + a. Does 13 divide r?
True
Is 21 a factor of (70/(-3))/(((-140)/(-63))/(-10))?
True
Is 27 a factor of -10 - -8 - 137*-1?
True
Suppose j - 38 = r, 71 - 225 = -4*j + 5*r. Is 18 a factor of j?
True
Suppose -i - 2*i = -15. Suppose 3*p + y = 8, -3*y = i*p - 14 + 2. Is 2 a factor of p?
False
Let s(x) = x + 7. Let a be s(-7). Let d(r) = 2*r**3 - 6*r**2 + 7 + a*r**3 - r**3. Does 7 divide d(6)?
True
Let m(y) = 2*y**3 - 29*y**2 - 2*y + 27. Does 22 divide m(15)?
False
Suppose 3*w - 308 = -4*a - w, -2*a = -3*w - 149. Is 19 a factor of a?
True
Suppose 2*d + 0*o = 3*o + 333, 0 = 4*d - 4*o - 656. Is 13 a factor of d?
False
Let p(z) = 7*z + 2. Let f(i) = -2*i**2 + 2*i + 1. Let t be f(-1). Let u be (-1)/(t/(-4) + -1). Is 15 a factor of p(u)?
True
Suppose 5*v = r, 4*r = -2*v + 4*v. Suppose 4*c + 1 - 11 = -2*m, v = -c - m. Suppose c*a - 51 = 2*a. Does 6 divide a?
False
Let z be (0/2)/(4 + -1). Suppose z = -2*q - 3*n + 55, -5*n = 5*q - 26 - 109. Does 18 divide q?
False
Let y be 154/(-6) - (-4)/6. Suppose 5*z = -n + 3*n - 74, -8 = -4*n. Let r = z - y. Is 10 a factor of r?
False
Let v(t) = 16*t**2 - t - 4. Is 33 a factor of v(2)?
False
Suppose 936 = 5*c + 3*c. Is c a multiple of 13?
True
Suppose -2*y + y + 60 = 0. Is 15 a factor of y?
True
Suppose 4*j = 9*j - 390. Is 13 a factor of j?
True
Suppose 4*l + 0*l = 368. Is l a multiple of 16?
False
Is (-3)/((-71)/68 - -1) a multiple of 17?
True
Suppose 0 = 2*i - 4*l - 26, 0*l - 3*l - 15 = 0. Suppose -4*k + 14 = -f - 7, -i*k = -f - 17. Let z(q) = 4*q - 3. Does 9 divide z(k)?
False
Suppose 5*s = -2*i + 328, 0*i + 5*i - 325 = -5*s. Is 22 a factor of s?
True
Let h be ((-156)/(-14))/(2/14). Let m = h - -30. Is 22 a factor of m?
False
Let c(h) = 2*h**2 - h - 1. Let a be c(2). Suppose 0 = -5*k - 4*r + 107, -r + 83 = a*k - 15. Does 10 divide k?
False
Suppose -2*v - 8 = -4, 0 = -5*a - 5*v + 175. Is 4 a factor of a?
False
Let k(a) = -a**3 - 9*a**2 + 10*a + 4. Let h be k(-10). Suppose -h*r = -109 - 7. Suppose -4*l - r = -109. Is 10 a factor of l?
True
Suppose 0 = -5*v - 4*v + 792. Is v a multiple of 8?
True
Suppose 0 = 5*u + 5*l - 15, 4*l + 14 = 2*u + 2*l. Is u even?
False
Let i(r) be the first derivative of -r**4/4 + 7*r**3/3 + 9*r**2/2 - 4*r - 2. Does 4 divide i(8)?
True
Does 21 divide 6/(-9)*(-1233)/6?
False
Let d(l) = 2*l**2 - 7*l + 22. Is d(5) a multiple of 37?
True
Let s(f) = f**3 - 2*f**2 + 3*f - 3. Let p be s(2). Suppose g = -5*q + 37, g - p + 1 = 2*q. Is g a multiple of 12?
True
Let p(f) = f**3 + 2*f**2 + 5*f + 3. Let d be p(-3). Let s(t) = -t**2 + 5*t + 8. Let c be s(6). Does 7 divide c/(1 + 15/d)?
True
Suppose -4*k = -4 - 4. Let b = 5 - k. Suppose 0*j = b*j - 27. Does 4 divide j?
False
Suppose 17 = 3*i + 44. Let v be 4/((-24)/i)*2. Suppose v*z = -u - 3 + 11, -z = -5*u + 120. Is u a multiple of 10?
False
Let d = -128 - -78. Let j = -33 - d. Is j a multiple of 9?
False
Suppose -4*p + 0*i + 5*i - 5 = 0, 4*p + 4*i = 4. Suppose -8*y + 12*y - 72 = p. Is 3 a factor of y?
True
Suppose -4*d + 0*d = -5*w - 14, -5*w = 2*d + 8. Let o(v) = 9*v**3 + 1. Let q be o(d). Is 6 a factor of -1 + 1 + (q - 1)?
False
Suppose -3*o - 3*y + 39 = 0, 4*o + 0*y - 52 = -5*y. Let a(g) = -2*g + 7. Let f be a(5). Let z = o + f. Is 10 a factor of z?
True
Let k(n) = -n. Let b(x) = -10*x - 5. Let i(y) = b(y) + 2*k(y). Is i(-5) a multiple of 20?
False
Let q = 61 - 40. Let s be 4*-1*1/(-2). Does 13 divide q - (-2 - s/2)?
False
Let h(n) = n**3 - 26*n**2 + 24*n + 28. Let l be h(25). Suppose z - 87 = -14. Suppose -5*g + z = l. Does 10 divide g?
False
Let p be 3*1/(9/6). Does 7 divide 267/21 + p/7?
False
Let h = 515 + -269. Is h a multiple of 14?
False
Suppose 5*j - 2*i = 137, 5*j - 4*j + i = 26. Is 13 a factor of j?
False
Let y(u) = -u - 5. Let h be y(-5). Suppose 2*v - o = h, -4*v + o + 4*o - 12 = 0. Does 2 divide v?
True
Suppose -5*w = x - 462, w - 34 - 56 = -x. Is 3 a factor of w?
True
Let v be 1052/6 - (-9)/(-27). Suppose -v = -3*d - 13. Is 18 a factor of d?
True
Suppose -s = -3*s - 4*f - 6, 0 = 2*s - 3*f - 15. Suppose b - s*b = -10. Does 2 divide b?
False
Is 21 a factor of (0 + 2)/(-8) - 1956/(-16)?
False
Let z(s) = -51*s - 2. Is 10 a factor of z(-2)?
True
Suppose -8*t = -4*t - 16. Is t a multiple of 3?
False
Suppose 3*q - 15 - 15 = 0. Suppose 5*z = q*z - 20. Is z a multiple of 4?
True
Let c(p) = -36*p**2 - 1. Let f be c(1). Let o = f + 63. Suppose 0 = -2*k + k + o. Is 16 a factor of k?
False
Let l(t) = 1 + 0*t**3 - 3*t**3 + 4*t**2 + t**2 + 2*t + 2*t**3. Is 20 a factor of l(4)?
False
Let k = 5 - 2. Let q(v) = 2*v**3 - 5*v**2 + 2*v - 1. Does 14 divide q(k)?
True
Does 21 divide (31/(-2))/(14/(-28))?
False
Is -302*1*(-1)/2 a multiple of 11?
False
Suppose 5*a = -4*p + 141, 46 = 3*a - a - p. Let k = -1 + a. Does 6 divide k?
True
Let m = 82 + 9. Does 7 divide m?
True
Let i(k) = 4*k**2 + 15*k + 1. Is i(-11) a multiple of 38?
False
Let l be ((-22)/4)/(6/12). Let n = 1 - l. Suppose -3*f = 4*a - 97, -2*a = a - n. Does 7 divide f?
False
Let t = -2 - -5. Let s(k) be the third derivative of -k**6/120 + k**5/20 + k**4/8 - k**3/6 - 2*k**2. Does 8 divide s(t)?
True
Suppose -13 = 3*c - 1, a - 10 = 2*c. Is 13 a factor of a/(2/31 - 0)?
False
Is (-106)/(-8) - (-3)/(-12) a multiple of 13?
True
Suppose -f + 18 = 2*f. Let h(u) = 3*u**2 - 10*u - 2. Let k(y) = -y**2. Let l(n) = -h(n) - 2*k(n). Does 10 divide l(f)?
False
Let j = 0 + -7. Let m = j - -11. Is (-2)/m + (-130)/(-4) a multiple of 11?
False
Let k(t) = t**3 + 9*t**2 - 5. Let u be k(-9). Let w(h) be the first derivative of h**3/3 + h**2 + 1. Does 10 divide w(u)?
False
Let y(u) = u**2 + 7*u - 6. Let d be y(4). Suppose 3*g + 5*s = d, -3*g + 22 = -g + 5*s. Does 10 divide g?
False
Let k = 117 - -90. Does 23 divide k?
True
Suppose -3*g = 2*h + 8, 13 = -4*g - 5*h - 7. Let c(a) = -a + 3. Let b be c(g). Suppose 1 + 41 = b*p. Does 7 divide p?
True
Suppose u - 3 = -2*u, 0 = 2*i + 5*u - 15. Suppose 27 = t + i. Is 11 a factor of t?
True
Suppose 0 = -w - 4 + 3. Let s(c) = -9*c. Let b be s(-1). Is w/(b/10 + -1) a multiple of 4?
False
Suppose 0*b - 2*b - 4*k + 24 = 0, k = -5. Suppose 26 = 3*w - b. Is 2 a factor of (-12)/w + (-30)/(-8)?
False
Let u be (-3 - 28/(-8))*4. Suppose u*g + g = 36. Is g a multiple of 4?
True
Suppose -2*u - 1 - 43 = -w, 2*u = 5*w - 220. Suppose 2*g = g + w. Let s = 65 - g. Does 9 divide s?
False
Let m(r) = 3*r. Let x be m(-6). Suppose 2*a - 15 = 35. Let g = x + a. Is g a multiple of 7?
True
Suppose -f + 2*a + 14 = 0, 3*a = 2*f - 1 - 24. Does 6 divide f?
False
Let j(i) = 4*i**2 - 1. Let a be j(-1). Suppose -a*d = -4*d + 57. Does 20 divide d?
False
Suppose -6*m - 18 = -9*m. Is 2 a factor of m?
True
Let y(t) = -16*t**3 + t**2 + t. Does 6 divide y(-1)?
False
Suppose y - 5*s - 19 = 0, 4*y - 3*s = -2*s + 95. Let f = y + 8. Does 11 divide f?
False
Let a(u) = -2 - 6*u**3 + 3 + 2*u - 3*u**3. Let y = 2 - 3. Is 3 a factor of a(y)?
False
Suppose 1293 = 9*g - 2370. Does 62 divide g?
False
Let j(m) = 9*m - 67. Is j(15) a multiple of 15?
False
Let s = -33 + 23. Let i be (8/6)/(s/(-15)). Suppose r - 3*r + 2*l + 16 = 0, -3*r + 22 = -i*l. Does 6 divide r?
True
Is 15 a factor of (75/(-2))/(6 - (-150)/(-24))?
True
Is 0 + 1 - (-5 + -2) a multiple of 8?
True
Sup