le of 13?
True
Let j = -45 - -65. Suppose 0 = 2*o + j - 58. Does 19 divide o?
True
Does 5 divide (-1)/((5/61)/(-5))?
False
Let f = -154 - -322. Is f a multiple of 8?
True
Is 40 + (0/1 - 4) a multiple of 5?
False
Suppose 136 + 26 = k. Is 28 a factor of k?
False
Let t = -57 - -217. Is 40 a factor of t?
True
Let q be 3/(-3) + 6/2. Suppose -4*f - 52 = -q*k, 2*k + 3*k - 4*f = 154. Is k a multiple of 11?
False
Suppose -15 = 2*h - 7*h. Does 14 divide h*(-1)/((-12)/56)?
True
Suppose 13 = 2*m - 99. Suppose -d + m = d. Is 9 a factor of d?
False
Let v(y) = 2*y + 8. Let k be v(-4). Suppose k = -4*h + 291 - 47. Does 24 divide h?
False
Let y be -59 - 7/((-21)/(-6)). Let a = y + 85. Is 12 a factor of a?
True
Suppose -5*c + 10 = 0, c = 3*x - 5 - 2. Let u(m) = m**3 - 4*m**2 + 2*m + 3. Let i be u(x). Does 6 divide (i - -1)*(-3 - -9)?
True
Let p(n) = n**3 + 12*n**2 + 15*n - 13. Let x be p(-11). Let i = 88 + x. Is 9 a factor of i?
False
Let v be 2/(-3) + (-24)/18. Let g be (-1)/v*(2 - 2). Suppose 0*f = f - 4*k - 37, g = -f - 3*k + 23. Is 12 a factor of f?
False
Let w be 0/(1*(-3 + 1)). Suppose -g + 1 + 2 = w. Suppose i + 21 = g*k - 3*i, -2*k = -2*i - 14. Does 7 divide k?
True
Let h(x) = x**2 - 3*x**2 + 2 - 7*x + 3*x**2. Is 5 a factor of h(8)?
True
Let f(v) = 3*v + 3. Let i = -16 + 24. Is f(i) a multiple of 7?
False
Let y = 18 - 5. Suppose -4*i + y - 5 = 0. Suppose i*f + 36 = 2*h, -f + 20 = 2*h + f. Is 6 a factor of h?
False
Let y(b) be the third derivative of 7*b**4/24 - b**3/6 - 2*b**2. Is y(2) a multiple of 13?
True
Suppose -s + 8 = 4*b - 0, -3*s + 24 = -b. Suppose -3*r + s*r = 80. Does 8 divide r?
True
Let d be (4/(-7))/(2/(-7)). Suppose -4*w + 116 = d*i, -301 + 21 = -4*i + 4*w. Is i a multiple of 22?
True
Let l(n) = n**3 - 2*n**2 + 4*n - 1. Let s be l(3). Suppose 3*z = -5*h + 23, -5*z - s = -0*z. Does 3 divide h?
False
Let u(q) = -q**3 + 11*q**2 - 7*q - 3. Does 15 divide u(8)?
False
Suppose 4*z = 2*z - 4*p + 58, 4*z - p - 107 = 0. Suppose 0 = -2*s + 125 + 161. Suppose -4*o + 4*m = -s + 35, 3*m + z = o. Is o a multiple of 20?
False
Is 18 a factor of ((-8)/3)/((-6)/216)?
False
Let t(n) = n**3 - 2*n**2 - 6*n + 5. Is 13 a factor of t(4)?
True
Let m be 192*(15/6)/5. Suppose -5*l + m + 87 = 3*f, -2*l + 73 = f. Is l a multiple of 18?
True
Suppose 2*b = -5*o - 55 - 178, 0 = 4*o - 4*b + 164. Suppose -4*a + 237 = -15. Let u = a + o. Is u a multiple of 9?
True
Suppose -5*l - 67 = -4*u, -5*u - l = 2*l - 56. Let t = u + -9. Does 4 divide t?
True
Suppose 0 = 5*h - 20, k + 2*h + 156 = 5*k. Does 5 divide k?
False
Let p(c) = -5*c + 7. Let t(i) = -5*i + 6. Let q = 16 + -11. Let s(w) = q*p(w) - 6*t(w). Does 5 divide s(2)?
False
Suppose -114 = -2*n + 5*f - 3*f, -2*n + 135 = 5*f. Is 12 a factor of n?
True
Let j = 3 - 1. Suppose -x + 4*p + 2 = 0, 5*x = j*x - 3*p - 9. Is 13 a factor of x*(-3)/(-6)*-13?
True
Let k = 4 - 2. Let c = 95 + -67. Suppose 3*w - c = -o + 2, 3*w - 66 = -k*o. Is o a multiple of 12?
True
Suppose -5*p + r - 15 = 2, 4*p + 3*r = -6. Is 8 a factor of (-100)/(-6) - 1/p?
False
Let c be (6/15)/(2/860). Suppose 5*g - c = -17. Is g a multiple of 13?
False
Is 5 a factor of 4/22 - (-3290)/55?
True
Let o be (2 - 1)/(2/(-4)). Is 6 a factor of ((-72)/42)/(o/7)?
True
Let f = -8 - -10. Suppose -2*u = -f, 5*p - 211 = -3*u + 2*u. Suppose 5*l - 4*r - 7 = p, -32 = -3*l + 5*r. Is l a multiple of 7?
False
Suppose -r = 3*r - 96. Is 13 a factor of r?
False
Let i(m) = 21*m**2 - 6*m - 1. Let n(o) = o**2 - o. Let t(p) = i(p) - 4*n(p). Let b(u) = -u**3 - 8*u**2 - u - 9. Let r be b(-8). Is 9 a factor of t(r)?
True
Is 6 a factor of 1*(159/3 + -2)?
False
Suppose 423 = 3*x - 3*c, -3 = 4*c + 1. Is x a multiple of 20?
True
Let p(u) = u + 2. Let v = -2 + 4. Let c be p(v). Suppose -3*i + c + 20 = 0. Is 8 a factor of i?
True
Suppose -74 = -c - 2*x, 0 = -3*x + 2 + 1. Does 8 divide c?
True
Suppose 5*c = 4*c - 5. Let a(y) = -y**3 - 6*y**2 - 7*y - 5. Let n be a(c). Is 4 a factor of 55/n + (0 - 0)?
False
Suppose 2*v = 7*v - 10, 0 = -i + 3*v + 234. Is i a multiple of 24?
True
Suppose -3*n = -3*b - 60, -2*b + 5*n + 20 = -3*b. Does 14 divide ((-84)/10)/(4/b)?
True
Suppose -5*k + 24 = -g, -5*g - 3*k - 103 = 45. Let w = g - -45. Is 8 a factor of w?
True
Let d be 6/4*8/(-3). Let m be 8/d + (0 - 6). Let j = m + 19. Does 10 divide j?
False
Let d = 83 - 32. Is 17 a factor of d?
True
Let s(d) = 0*d - 3*d + 12 + d. Let z be s(8). Is 15 a factor of (-18)/z*40/6?
True
Suppose -3*k = 5*l + 21, k = -7*l + 2*l - 27. Let p be (-4)/l + (-15)/9. Is (5 - 2)/(p/(-4)) a multiple of 12?
True
Let c be (-6)/(-10) - (-33)/(-5). Let g = 12 - c. Is g a multiple of 8?
False
Let x = 49 + -33. Is x a multiple of 8?
True
Suppose 115 = -7*p + 2*p. Let t = p + 105. Is 29 a factor of t?
False
Let s(g) = 2*g - 8. Let n be s(4). Let h = n - -9. Is h a multiple of 9?
True
Suppose -4*s = -1511 + 39. Does 16 divide s?
True
Is (2/(-4) + 0)*(-139 + 7) a multiple of 11?
True
Let o(k) = k**2 - 6*k + 1. Let d be o(7). Suppose 2 = v + d. Does 13 divide (-114)/(-9) + (-2)/v?
True
Let v(t) = t - 14*t + 0*t. Let m(p) = 12*p - 1. Let o(z) = 6*m(z) + 5*v(z). Does 10 divide o(5)?
False
Let t(a) = -6*a - 8. Is t(-6) a multiple of 7?
True
Suppose 0*a - 5*a - 25 = 0. Is (-31)/a + (-5)/25 a multiple of 3?
True
Suppose 3*d = 9, 0*d - 5*d = 5*x - 560. Is x a multiple of 29?
False
Let y(f) = -f**2 - 9*f + 6. Suppose 3*t + 8 = -19. Does 2 divide y(t)?
True
Let b(j) = -18*j - 4. Let c be b(-2). Suppose -3*u + 5*g + 117 = 0, 0 = -u + g + 3*g + c. Is u a multiple of 11?
True
Let f be 3/((-2)/4 - 0). Does 4 divide -6*((-40)/f)/(-5)?
True
Let g = 43 - 13. Is g a multiple of 4?
False
Let v = -3 + 7. Suppose 0 = -3*w - 3*y + 15, 3 + v = 5*w - y. Suppose -o - 12 = 4*x, 5*x + 3 + 6 = -w*o. Does 3 divide o?
False
Is 13 a factor of -146*(0 + 5)/(-10)?
False
Let i be (-1*1)/(3/(-6)). Suppose -k - 1 = w, -3*w - 6 = -0*k + i*k. Suppose 0 = 5*z - 63 + k. Is z a multiple of 4?
True
Suppose -291 - 69 = -3*d. Is d a multiple of 20?
True
Suppose 3 + 0 = 3*r. Suppose 0 = -u - r + 25. Is u a multiple of 12?
True
Let n = 40 + -16. Is n a multiple of 8?
True
Let m be (-177)/(-2) + (-6)/12. Suppose 0 = 5*h + m - 13. Is 160/6 + (-5)/h a multiple of 7?
False
Suppose -2 = -0*z + z. Let t(u) = 2*u**3 - u - 2. Let d be t(z). Let x = d - -28. Is x a multiple of 10?
False
Suppose 0 = 2*r - 89 - 95. Is 36 a factor of r?
False
Let m be (-5)/(-2)*8/10. Is m + 1*(-2 + 3) a multiple of 3?
True
Is 37 a factor of 333/3 - (-2 + 2)?
True
Let n(z) = 2*z - 6*z - 4 - 1 + z. Is 4 a factor of n(-5)?
False
Let w = 36 + -21. Is w a multiple of 15?
True
Let n be (-27)/(-2) + (-3)/(-6). Does 5 divide n - -2*(-1)/(-2)?
True
Let l be (10/25)/((-1)/30). Let g = -10 - -14. Does 3 divide (l/3)/(g/(-6))?
True
Does 21 divide (-84)/(-16)*8/2?
True
Does 12 divide 1/(-3)*-1*72?
True
Is (-4 - (-14)/3)*36 a multiple of 6?
True
Suppose 0*z - 5*a - 200 = -3*z, 4*z - a - 278 = 0. Is z a multiple of 10?
True
Suppose 0*l + 7*l = 420. Is 12 a factor of l?
True
Let k = 21 + -29. Let g(p) = -p - 10. Let s be g(k). Is 9 a factor of (36/(-8))/(s/4)?
True
Let l(j) be the second derivative of j**5/20 - j**4/2 + j**3/6 + 7*j**2/2 + 5*j. Does 26 divide l(7)?
False
Suppose 4*c + c - 420 = 0. Is c a multiple of 8?
False
Suppose 5*l - 5*v = 405, l - 2*v + 398 = 6*l. Does 16 divide l?
True
Suppose 0 = -9*o - o + 60. Let y(l) be the first derivative of 2*l**3/3 - 7*l**2/2 + 6*l - 1. Does 18 divide y(o)?
True
Let l be 16/20*795/6. Suppose -4*z = 26 - l. Is z a multiple of 10?
True
Let d be (2/(-2))/((-5)/10). Let g(i) = 6*i - 1. Is 11 a factor of g(d)?
True
Suppose 136 = 6*t - 272. Is t a multiple of 23?
False
Suppose -k - 1 = -5. Let t = 2 + k. Is 3 a factor of t?
True
Let g = 6 - -2. Suppose -g*r - 6 = -10*r. Is 2 a factor of r?
False
Suppose 0 = -z - 3*w + 11 + 40, -2*z = 2*w - 90. Let p = z - -6. Is p a multiple of 12?
True
Let w(m) = m**3 + m**2 + m + 3. Let l be w(0). Let a be (l/4 + 0)*-4. Does 10 divide a*-7*(-12)/(-9)?
False
Let o = -3 - -2. Is 3 a factor of (-6)/(-3) + o - -6?
False
Suppose 5*u - 60 = 2*u. Is 20 a factor of (3 - 0 - 3) + u?
True
Let h = -73 + 109. Is h a multiple of 21?
False
Let h = 121 - 55. Let t = h - 38. Does 9 divide t?
False
Let f(n) be the second derivative of n**4/12 + n**3 - 9*n**2/2 + 6*n. Is f(-8