 20*s. Is 9 a factor of s?
True
Let v(k) = k**2 + 6*k + 7. Suppose 0*z = -z - 13. Does 14 divide v(z)?
True
Let k be -3 + 13*(1 + 0/(-4)). Let m = -1 + k. Is 3 a factor of m?
True
Let w(s) = 186*s + 71. Is 19 a factor of w(8)?
False
Let i be 2/5*1 + 215/25. Suppose 2*o = o + i. Is o a multiple of 9?
True
Suppose -2*q = 3*b - 10, -b + 5*b = 2*q + 32. Let r be -2*5*((-38)/4 - 2). Suppose r = b*s - s. Does 10 divide s?
False
Let n = -108 + 114. Suppose n*l - 10*l + 296 = 0. Does 24 divide l?
False
Let y be (2/(-5))/(7/(-105)). Let z be 8/(-10)*(-75)/y. Suppose -2*u + z + 14 = 0. Is u a multiple of 12?
True
Suppose -18 = -8*j + 22. Suppose 0 = s - 4*y + 5*y - 48, 0 = -j*s - 4*y + 240. Is 24 a factor of s?
True
Let w(j) = -4*j - 13 + 0*j + j + 8*j. Let u = -8 + 21. Does 26 divide w(u)?
True
Let b(f) be the second derivative of 1/20*f**5 + 6*f + 5/3*f**3 + 0 - 2/3*f**4 - 9/2*f**2. Is 4 a factor of b(7)?
True
Let b(v) = -40*v. Suppose -2*t = 2*t + 8. Is b(t) a multiple of 20?
True
Let d(y) = 4*y**2 - y. Let x be d(1). Let c(r) = 15*r**2 + 4*r + 1. Does 37 divide c(x)?
True
Let p(f) = -4*f - 4. Suppose -35 = -4*c + 45. Suppose 0 - c = 5*i. Is 6 a factor of p(i)?
True
Let b(k) = -3 + 3*k + 0*k**3 - k**3 + 0 + 2*k**3. Does 11 divide b(2)?
True
Let c = -1799 - -2680. Is c a multiple of 4?
False
Let x(f) = 21*f + 102. Is x(6) a multiple of 6?
True
Suppose 0 = 2*n - 10, 5*f + 2*n = -0*n + 15. Is 13 a factor of ((-112)/(-6))/(f/3)?
False
Suppose -3*p = 2*m - m - 5, p - 4*m - 6 = 0. Suppose 4*r + b - 1039 = 0, p*r - 29 = -5*b + 486. Is r a multiple of 52?
True
Let t = -23 + 11. Let d(v) = -v**2 - 14*v - 8. Let o be d(t). Suppose -o = -4*r + 12. Is r a multiple of 2?
False
Is (-40434)/(-42) + (-6)/(-21) a multiple of 27?
False
Suppose 4*k - 2*i = -0*i + 62, -3*i = -3. Suppose -5*l + y + 13 = -0*l, -4*l + k = 2*y. Suppose 0 = b + l*b - 116. Does 11 divide b?
False
Let k(w) = 4*w + 488. Is k(-7) a multiple of 8?
False
Let m = -6 - -13. Let l(o) = 2*o**2 + 0*o**2 + 7 + 6*o**2 - 3*o**3 + 2*o**3. Does 15 divide l(m)?
False
Suppose 0*n - 2*r = 3*n - 75, -34 = -2*n + 4*r. Let l = 55 + n. Does 42 divide l?
False
Let n(i) = -2*i**2 + 5*i + 5. Let o(c) = -3*c**2 + 4*c + 4. Let f(m) = 4*n(m) - 5*o(m). Let s = 4 - 3. Does 7 divide f(s)?
True
Let l = -20 + 77. Let r = l - 38. Let c = r - -33. Is c a multiple of 13?
True
Let u(k) = -2*k**2 - k + 2. Let h be u(1). Is 24 a factor of (-19716)/(-155) + h/5?
False
Suppose -72 = 10*t + 318. Suppose -2 = -2*a, -5*m = -5*a + 3*a - 508. Let h = m + t. Is h a multiple of 21?
True
Let c = 733 - 457. Suppose 0*a = 4*a - c. Suppose -a = -5*q + 11. Is 7 a factor of q?
False
Suppose 0*g = g. Suppose 4*w = -3*r - 2*r - 8, 4*w - 2*r - 20 = g. Is w even?
False
Suppose -3*x + x + 6 = 0. Suppose -3*t + 10 = -2*p - 9, 0 = -x*t - p + 4. Suppose 41 = t*c - 139. Does 12 divide c?
True
Suppose 0 = c + 5*h - 3*h - 6, -2*h - 6 = -2*c. Let v be (5 - c)/((-1)/(-3)). Suppose 0 = -d - v*d + 48. Does 12 divide d?
True
Let f = -7 - -9. Suppose -f*v + v = 0. Suppose -8*w + 6*w + 6 = v. Does 2 divide w?
False
Suppose 7*q + 5 = 19. Let z be (-304)/(-10) - (-2)/(-5). Suppose -z = -3*d - q*d. Does 3 divide d?
True
Let l(v) = -v**3 - 3*v**2 - 3*v - 3. Let x be l(-3). Let h be ((-15)/x)/(1/(-2)). Suppose -z + a - 14 = -51, h*z - 153 = -3*a. Does 11 divide z?
True
Let x = 942 + -670. Is x a multiple of 21?
False
Let q be -2*4*-5 + 4. Let l = 2 + q. Is l a multiple of 23?
True
Suppose -5*f - 4*v + 100 = -172, 4*f + 5*v - 223 = 0. Suppose 0 = -y + f + 44. Is 32 a factor of y?
True
Let u(m) = -m**2 - 22*m + 4. Let k = 19 - 31. Let j be u(k). Suppose 0 = -5*v - j + 719. Is 33 a factor of v?
False
Let a be -30*(-2)/(-12)*-4. Let s be (-45)/a*(-16)/6. Suppose 0 = -s*d + 395 + 97. Is 11 a factor of d?
False
Suppose -5*s = 4*s - 108. Suppose 107 = 3*n + 4*b, 5*b = 2*b - s. Does 7 divide n?
False
Suppose z = -5*o + 329, 0 = 3*o + 2*o + 5. Is z a multiple of 59?
False
Let c = -118 - -160. Is 42 a factor of c?
True
Let u(t) be the third derivative of 23*t**9/30240 - t**7/5040 + t**6/720 - t**5/60 + 3*t**2. Let q(g) be the third derivative of u(g). Does 12 divide q(1)?
False
Suppose 5*v + j + 546 = 0, 3*v + 2*j + 329 = -0*v. Let p = v + 193. Does 15 divide p?
False
Suppose -18 = -z + 3*g, 0 = z + z + g - 29. Suppose 5*i - z = 2*i. Suppose -y = b - 28, 2*b + 69 = i*b - 2*y. Does 9 divide b?
False
Let b = -40 + 31. Does 22 divide (-790)/(-9) - 2/b?
True
Let z = -22 - -66. Let i be (1 + 5*9)*2. Does 11 divide 5/(i/z - 2)?
True
Let f(m) = 11*m - 18. Is f(18) a multiple of 20?
True
Suppose -t + 15 = 5. Suppose 2*i + 2*n + t = 0, 2 - 6 = -n. Let p = -1 - i. Is 6 a factor of p?
False
Suppose -39 = -2*j + 3. Suppose -4*v = 3*u - 6*u + 40, -4*u = -5*v - 50. Let y = j + v. Does 11 divide y?
True
Let f = 51 - 55. Is (-1 - (-3 - f)) + 318/3 a multiple of 8?
True
Let p = -48 + 24. Let a = p - -46. Is 22 a factor of a?
True
Does 3 divide ((-24)/15)/(10/(-775))?
False
Suppose 2*y - 186 = 3*t, -3*y + 39 = -2*t - 245. Suppose 0 = w - y. Does 24 divide w?
True
Let h(z) = -z**3 + 5*z**2 + 6*z + 6. Let m be (-8)/(-12)*9*1. Let c be h(m). Suppose -4*k - 26 = -5*l - c*k, l - 4*k - 14 = 0. Is 2 a factor of l?
True
Suppose 7*m = 10*m + 159. Let x = -23 - m. Does 15 divide x?
True
Let n(f) = f**2 + 10*f + 14. Let u be n(-10). Suppose -2*p + 8 = -5*d, -p + u = 3*d - 1. Does 6 divide p?
False
Let p(l) = 3*l**2 + 4*l - 5. Let r be p(-11). Let n = r - 149. Is n a multiple of 30?
False
Let k(t) = 5*t - 14. Suppose 22 = 3*q - 2. Let n be k(q). Suppose 8*m - n = 6*m. Does 4 divide m?
False
Is 27 a factor of 8/6*1*(-3165)/(-10)?
False
Let p = 5 - 9. Let f(m) be the first derivative of m**3 + 2*m**2 - 4*m - 23. Does 7 divide f(p)?
True
Suppose 3*z = -9, 8*f = 7*f + z + 135. Is 3 a factor of f?
True
Let d be (2/3 + -1)*-63. Suppose 2*t - t - 5*h + 14 = 0, d = t + 2*h. Suppose x + t = 28. Does 16 divide x?
False
Suppose 3*n - 30 = -15. Suppose 2*l + r - 92 = 0, -3*r - 129 = -2*l - l. Suppose -l = n*t - 220. Does 11 divide t?
False
Suppose 2*x + 7 = -h - 0*h, 35 = -5*h - x. Let d(y) = 3*y - 7. Let r be d(h). Does 10 divide (-7 + 3)*r/4?
False
Let t(k) = 36*k**2 - 7*k + 12. Is 35 a factor of t(3)?
True
Let k(f) = 205*f**3 - f**2 - 4*f + 4. Let c be k(2). Suppose 0 = 17*x - 5*x - c. Is 17 a factor of x?
True
Let c be (-3 - -2)*(-1)/(3 - 4). Does 13 divide (-39)/((-12)/(-20)*c)?
True
Let n be ((-7)/(-4))/(2/(-8)). Let j(d) = -61*d + d**2 - 56*d + 7 + 124*d. Is 4 a factor of j(n)?
False
Let l(j) = 67*j - 61. Let f be l(7). Suppose -x - 289 = -3*n + x, 3*x = -4*n + f. Does 22 divide n?
False
Let w = -31 - -35. Suppose -w*r - 8 = -6*r. Suppose 4*y = j + r*j + 346, -3*j = -4*y + 342. Is y a multiple of 14?
True
Let h = 141 + -93. Suppose k + 2*f - 42 = 0, -3*k + 20 + 113 = -f. Suppose -4*v = 5*a - h, -2*v = 5*a - 0*v - k. Is 5 a factor of a?
False
Let z(x) = x**2 + 2*x + 5. Let a(j) = j**2 + j. Let s(g) = 2*a(g) - z(g). Does 3 divide s(4)?
False
Suppose 0 = 4*l - 1611 - 889. Is 16 a factor of l?
False
Suppose -2*k + 7*k = 0. Suppose -35 = 2*g + c, k = 2*g - 5*c - 4 + 9. Is 8 a factor of 44 + g + (-3)/(-1)?
True
Let r = -657 - -921. Does 12 divide r?
True
Suppose -4*t - 2*c - 62 = 0, -4*t + c - 87 = -2*c. Let n = t + 19. Is n*7/((-4)/(-4)) a multiple of 4?
False
Let b(l) = l**3 + 6*l + 2. Suppose -14 + 20 = 2*d. Is 3 a factor of b(d)?
False
Let t = 50 - 43. Let m = t + 209. Is m a multiple of 36?
True
Let c be (2 - 35/10)/(2/(-4)). Suppose 3*a - 242 = 4*d, -113 = 5*a + c*d - 526. Is a a multiple of 9?
False
Let q(s) = s + 17. Let j be q(-7). Let f(b) = -b + 15. Let h be f(j). Suppose 4*x - 27 = -3*u, 5*x + 5*u + h = 35. Is 6 a factor of x?
False
Let h = 572 - 14. Does 62 divide h?
True
Let y(k) = 13*k**3 - 2*k**2 - k - 1. Let o be y(-1). Let t = o - -23. Is t even?
True
Let s be 2/3 - (-16)/(-6). Suppose 2*r + r - 2*t - 24 = 0, -4*r - t + 32 = 0. Does 14 divide (r/(-20))/(s/200)?
False
Let f be -1 + 219*15/9. Suppose -f = -8*t + 396. Is 13 a factor of t?
False
Let x(v) = 3*v + 24. Let s be x(-6). Suppose 3*r = s + 30. Is r a multiple of 12?
True
Suppose -2*y - 28 = -42. Let t(j) = 3*j**2 - 17. Is t(y) a multiple of 13?
True
Let p be 52/14 + (-2)/(-7). Suppose 3*o - 13 = -p. Does 17 divide 17/((2 + 1)/o)?
True
Supp