 = b**3 + 3*b**2 + b. Let d be v(-3). Does 13 divide d + (31 - (0 - -2))?
True
Is 11 a factor of (1 - -117)*14/28?
False
Let f(l) = 3*l - 1. Let o be f(2). Suppose -o - 17 = -p. Does 11 divide p?
True
Suppose -3*t + 11 = -5*g + 3*g, 0 = -4*t + g + 13. Suppose -t*l + 5*l + 2*k = -6, 5*l + 4*k + 12 = 0. Suppose l = -3*n - 2*n + 35. Is n a multiple of 7?
True
Is 8/(-40) - 362/(-10) a multiple of 12?
True
Suppose 0 = v + b + 2*b - 68, -5*b - 20 = 0. Does 20 divide v?
True
Let r = -21 - -77. Is 8 a factor of r?
True
Suppose -x - 2*j + 34 = 0, -3*j + 0*j - 12 = 0. Does 14 divide x?
True
Let t = 127 - 71. Does 11 divide t?
False
Suppose o - 2*w = -4*w + 152, 3*w = -3*o + 450. Suppose o = 5*g + 3*d - 6*d, -5*g + 140 = 5*d. Is 17 a factor of g?
False
Let z(q) = -30*q - 9. Is 37 a factor of z(-4)?
True
Let h be ((-18)/15)/((-3)/50). Suppose 2*a + h = 64. Does 22 divide a?
True
Let i be 12/(-8)*2/3. Let s(c) = -35*c - 1. Does 17 divide s(i)?
True
Let r be ((-30)/(-8))/((-3)/(-24)). Does 20 divide (-2 - -3) + (r - 2)?
False
Let y be (0 - 1)/((-2)/22). Let f be 3 - 3/1 - 4. Let w = f + y. Does 6 divide w?
False
Suppose -4*v = -8*v + 380. Suppose 3*f + 7 = -z + 8*f, -5*z - f + v = 0. Does 6 divide z?
True
Is 4 a factor of (17 + 3)/(-1 - 1*-2)?
True
Let x(s) = -12*s + 9. Is x(-4) a multiple of 19?
True
Let x = -81 + 116. Does 3 divide x?
False
Does 7 divide 55 + 3 + (-6)/2?
False
Let g(a) = 6*a**2 - 3*a + 10. Is g(3) a multiple of 11?
True
Suppose -4*d + 4*t = -16, -5*d + 0*d = 2*t - 48. Is d a multiple of 2?
True
Let w be 3496/6 + 12/(-18). Is w/21 + (-12)/(-42) a multiple of 6?
False
Let r be (-6)/(-2*(0 + 1)). Is 7 a factor of 2*-4*r/(-2)?
False
Let y(p) = -p**2 - 12*p + 7. Does 2 divide y(-12)?
False
Let k be 52/12 - 2/(-3). Suppose 6*s = s + k*y + 70, -s - 5*y = -32. Suppose b + 2*l - s = 5*l, 0 = -5*l + 25. Does 13 divide b?
False
Suppose p - 8 = -p + 4*f, -6 = -p + 3*f. Suppose 4*q + p*q = 128. Is 8 a factor of q?
True
Suppose -5*w + 1 = -4*w. Is w + (-41)/(-3)*3 a multiple of 22?
False
Let d = 9 - 9. Suppose d = -2*y + 5 + 1. Does 3 divide y?
True
Let s(g) = 20*g**3 + 3*g**2 + g - 4. Let j(b) = -21*b**3 - 4*b**2 - 2*b + 5. Let w(c) = -3*j(c) - 4*s(c). Let k be w(-1). Let h = 22 - k. Is h a multiple of 6?
True
Suppose -4*g = -6*g + 8. Let s(t) = -t**3 - 5*t**2 + 6*t - 8. Let m be s(-7). Suppose -a - 12 = -y, m + 8 = 5*y - g*a. Is y a multiple of 4?
True
Let o = -1 - -4. Let l(f) = -f**2 + 5*f + 6. Let k be l(6). Suppose 3*w + k*w - o*q - 9 = 0, -3*w - 2*q = -24. Is w a multiple of 4?
False
Suppose -2*z + 7*z = -2*b + 441, -447 = -5*z - 4*b. Suppose 3*u = 222 - 69. Let m = z - u. Is 21 a factor of m?
False
Suppose 0 = -5*s - 4*j + 98, 5*j - 56 = -3*s + 4*j. Does 6 divide s?
True
Let v = -127 - -411. Let n = v - 40. Suppose 0 = -5*b + 4*p + n, 44 = b + 3*p + p. Is 10 a factor of b?
False
Suppose 3*t - 39 = -5*u, u + 22 + 7 = 4*t. Let a = t - -52. Is a a multiple of 20?
True
Suppose 2*a - 47 - 53 = 0. Let w = a - 23. Does 12 divide w?
False
Let k = -55 - -99. Is 3 a factor of k?
False
Suppose 115 = g - 3*f, -3*g + 402 = -3*f + 27. Let u = 182 - g. Is u a multiple of 13?
True
Let w(s) = -6*s + 2. Is w(-3) a multiple of 20?
True
Let i be (-16)/(-3)*18/8. Let u = 28 - i. Suppose -94 = -3*a - u. Does 13 divide a?
True
Suppose -3 - 7 = p. Let b(t) = t**3 + 9*t**2 - 12*t - 15. Is 5 a factor of b(p)?
True
Let a(f) = -f**3 - 6*f**2 - 8*f - 13. Is a(-6) a multiple of 35?
True
Suppose 4*v = 16, 4*w - 6*v = -v + 108. Does 27 divide w?
False
Let n be (-1095)/(-35) + 2/(-7). Let b be 3*6/9 + n. Suppose -4*p + 60 = 4*t, -4*p - 3*t + b = -24. Is p a multiple of 6?
True
Let b = 24 + -12. Is 3 a factor of b?
True
Suppose 0 = 3*u + 5*y - 39, -2*u = -0*u + 2*y - 22. Suppose -188 = -4*v + 5*f + 160, -u = 2*f. Suppose 5*h - v - 63 = 0. Is h a multiple of 16?
False
Let z be (-1 - -3 - -24) + 2. Suppose 4*b - 52 = z. Suppose 2*y = -3*y + b. Does 4 divide y?
True
Suppose 2*i + 5*k + 19 = 0, 3*i = -0*i + 4*k + 29. Is 9 a factor of 12 - i/(2 - -1)?
False
Suppose 0 = 4*n - 2*q - 202, -2*n - 38 + 114 = 4*q. Suppose 2*m = 6*m - n. Is m a multiple of 4?
True
Let x = -26 + 27. Suppose -f + 10 - x = 0. Is 9 a factor of f?
True
Let s be 78/(-5) - 8/20. Let a be 2/9 - 83/9. Let l = a - s. Does 2 divide l?
False
Suppose 0 = 4*m - 239 + 87. Is m a multiple of 19?
True
Let b = -52 + 103. Is 14 a factor of b?
False
Let o(n) = n + 23. Let m(s) = -s**3 - 2*s**2 + 1. Let q be (-3)/(1 + 2)*1. Let g be m(q). Is 8 a factor of o(g)?
False
Suppose 5*c + 97 = 5*i - 108, 0 = i - 5*c - 21. Is 18 a factor of i?
False
Let t = 245 + -158. Does 15 divide t?
False
Suppose 949 = -5*y - 21. Let l = y - -335. Let z = l + -95. Is z a multiple of 13?
False
Let f(y) = -40*y - 1. Let z be f(-1). Let b = z - 11. Is 14 a factor of b?
True
Suppose 3*i - 254 + 56 = 0. Is i a multiple of 12?
False
Let q = -5 + -5. Is (-124)/q - 24/60 a multiple of 8?
False
Let n = 33 - 6. Is 9 a factor of n?
True
Let r = 0 + 4. Suppose -3 = 3*h, h + 61 = d + r*d. Is 12 a factor of d?
True
Suppose -2*n = n. Suppose 4*s - 2*i - 30 = n, -5*s - 4*i + 7 = -50. Is 9 a factor of s?
True
Suppose -5*o - 20 = -7*o. Does 7 divide o?
False
Let a = 40 - 22. Does 9 divide a?
True
Suppose f - 5*f = 0. Let o(m) = m + 13. Is o(f) a multiple of 4?
False
Let g(w) = -8*w + 37. Does 11 divide g(-13)?
False
Let n(c) = 7*c**2 + c + 4. Does 59 divide n(7)?
True
Suppose 0 = 5*l + 12 - 57. Let k(f) = 5*f - 3. Is 21 a factor of k(l)?
True
Suppose -g - 10 = -3*g, 5*y - 5*g = -20. Let v(s) = 2*s**3 + 5*s**2 - 2*s + 2. Let j be v(-4). Is 13 a factor of (y - j)/((-6)/(-4))?
True
Let k(c) be the first derivative of -1/2*c**2 + 3 + 0*c. Is k(-2) even?
True
Suppose -140 - 16 = -4*a. Is a a multiple of 10?
False
Suppose 10*f - 450 = 5*f. Suppose 6*j - 3*j - f = 0. Is 8 a factor of j?
False
Let o(q) = 8*q**3 - 2*q**2 + 3*q - 2. Is 7 a factor of o(1)?
True
Let q(w) = -w + 11. Suppose 4*g = -g. Does 5 divide q(g)?
False
Let g = 31 + 47. Does 26 divide g?
True
Let j be ((-32)/(-5))/(5/75). Suppose -3*y + j = y. Is y a multiple of 7?
False
Let g be (3 - -1) + (-2)/1. Is 11 a factor of g/(-3) + 184/6?
False
Suppose 0*b = -5*b - 60. Does 15 divide (4/b)/(5/(-930))?
False
Let r(f) = f**2 + 4*f + 4. Let j be r(-4). Suppose 4*n = 4*l - 0*l + 44, 23 = n - j*l. Is n a multiple of 7?
True
Suppose 4*d = 4 - 12. Is 1 + -2 + (7 - d) a multiple of 5?
False
Let w(o) = -24*o - 14. Is w(-4) a multiple of 12?
False
Let c be -1*(-1)/2*2. Let h be ((4 + 0)*c)/2. Suppose 4*o = -h*u + 18, 2*o = -0*u + 2*u. Does 2 divide u?
False
Let r(o) = -28*o**2 + 2*o + 1. Let i be r(-1). Let p = i - -57. Suppose -2*n + p = -44. Is 18 a factor of n?
True
Suppose 0 = 2*b - 17 - 135. Does 19 divide b?
True
Let r be -5*((-57)/15 + 3). Suppose r*t = -20, 0*a + t - 80 = -a. Is 24 a factor of a?
False
Suppose 2*u - 128 + 322 = 0. Let z = u + 148. Let g = z - 33. Is g a multiple of 10?
False
Let j(n) = 2*n**2 - 5*n**2 + 2*n + 0*n**3 + 0 + 4 - 2*n**3. Does 7 divide j(-3)?
False
Let p(m) be the third derivative of 0*m - 7/24*m**4 - 1/10*m**5 + 1/120*m**6 + 0 - 4*m**2 + 7/6*m**3. Is p(7) a multiple of 7?
True
Let l be 8 + (-4 - 0) + -2. Suppose l*v = -70 + 232. Is v a multiple of 22?
False
Let q be 49 - (-3 + 0) - -3. Let w be (-10)/q - 70/(-22). Is (w - (-15)/2)*2 a multiple of 7?
True
Let d(v) = v**3 + 8*v**2 + 2*v - 3. Let s be d(-7). Suppose h = -h + s. Does 5 divide h?
False
Let l be 2/(-7) + (-90)/(-21). Suppose -3*b = b - 196. Suppose -l*u + 2*o + b + 69 = 0, 2*u + 3*o - 55 = 0. Does 15 divide u?
False
Suppose 0 = -u - 3*u - 2*s + 214, 0 = 4*s + 12. Does 11 divide u?
True
Does 24 divide 9/21 - 1335/(-21)?
False
Let m(l) = -2*l + 4. Let f be m(-6). Is 4/f + (-51)/(-4) a multiple of 13?
True
Suppose -2*f + 8 = 2*f. Let m = f - -9. Is 3 a factor of m?
False
Let y(s) = -14*s + 3. Let b(m) = m**3 + 5*m**2 - 5*m - 1. Let j be b(-6). Let w be y(j). Suppose 0 = -4*u - 3*q + w, -3*u + 2 = -3*q - 79. Does 13 divide u?
True
Suppose 3*p = 3*o + 2 + 4, -2*p - 3*o + 14 = 0. Let m(f) = f**3 - 3*f**2 + 3*f + 2. Is m(p) a multiple of 10?
True
Let l = 65 + -28. Is l a multiple of 5?
False
Let w = -7 - -4. Let q(o) = -o**2 - 3*o + 4. Is 4 a factor of q(w)?
True
Let r(o) = 3*o + 6. Let t be r(-5). Let h = t - -17. Does 6 divi