be (-46)/(-1*(t + 2)). Suppose 4*l - v = -6. Does 5 divide l?
True
Let s(j) = -j**3 + 8*j**2 - 6*j - 4. Let c be s(7). Suppose -4*l + 13 = 3*a - 8, 0 = 3*l + c*a - 15. Is 5 a factor of l?
False
Let x = 2 - 8. Let q = x + 1. Is -6 - q - (0 - 23) a multiple of 11?
True
Let w(k) = k**3 - 4*k**2 - 3*k - 6. Let i be w(5). Suppose -5*f - 5*s - 5 = 0, s - 5 = 5*f - i*f. Is (-43)/(f - (-6)/3) a multiple of 19?
False
Let v(t) = 6*t. Let s(m) = -30*m. Let b(a) = -5*s(a) - 24*v(a). Is 36 a factor of b(6)?
True
Suppose 0 = -5*y + 2*y + 12. Suppose -5*n + 86 = -3*s, 4*s = -y*n + 2*s + 82. Let c = n + -5. Does 14 divide c?
True
Let q(d) = d**2 - 3*d - 3. Does 37 divide q(9)?
False
Suppose 4*w - 3*w - 96 = 0. Is 24 a factor of w?
True
Suppose q + 4*q + 2*k - 65 = 0, 0 = 4*k + 20. Let f = 32 - q. Is f a multiple of 6?
False
Suppose u + 23 = -5*r, -5*u + 2*r + 1 + 19 = 0. Suppose -u*q = q - 72. Does 12 divide q?
True
Let w = 62 + -26. Does 6 divide w?
True
Let o(a) = 8*a - 26. Is 14 a factor of o(20)?
False
Suppose 0 = -4*a - 4*q - 20, 5*q - 74 + 19 = 5*a. Is 20 a factor of -40*(12/a)/1?
True
Let g(w) = 13*w - 3. Let i be ((-4)/10)/((-4)/60). Is g(i) a multiple of 25?
True
Let j(l) = l**3 - 5*l**2 - 9*l + 1. Let d be j(6). Let r = d + -19. Does 23 divide (4 + -3)/((-1)/r)?
False
Let i = 522 - 304. Suppose -3*z = 4*p - 5*z - i, 0 = -2*p + 4*z + 118. Does 16 divide p?
False
Let c be (3 + 75/6)*6. Suppose z + c = 2*z. Is 22 a factor of z?
False
Suppose 7*y + 2 = 2*y + d, -8 = -4*y - 4*d. Suppose y = -5*f + 54 - 4. Does 7 divide f?
False
Suppose 0 = -o - 28 + 91. Does 21 divide o?
True
Let m(i) = -14*i + 4. Is m(-2) a multiple of 8?
True
Let i(g) = g**3 - 3*g**2 + g - 2. Let y be i(4). Is 5 a factor of (30/4)/(y/24)?
True
Let z(x) = x**3 - 6*x**2 + 7*x + 7. Is z(6) a multiple of 20?
False
Let i(p) = 7*p**2 - 1. Let j(x) = 2*x**3 - x**2 + x. Let t = 10 - 9. Let f be j(t). Does 7 divide i(f)?
False
Let i(k) = k**3 + 4*k**2 + 1. Let b be i(-4). Let p(y) = -y - 1 + 58*y**2 + 3*y - y. Is p(b) a multiple of 26?
False
Suppose -141 = -j - y - 20, 25 = -5*y. Let k = j + -66. Suppose 4*b = 5*z - k, -z - 3*b + 1 = z. Does 5 divide z?
False
Let n be 2 - ((-4)/2 + -111). Does 22 divide n/(-10)*(0 - 4)?
False
Suppose -44 = 3*z - 5*z. Is z a multiple of 11?
True
Let w = 2 + 0. Suppose 104 = 2*c + w*c. Is c a multiple of 20?
False
Suppose 2*u = 4*g + 748, 110 = -4*u + 3*g + 1591. Suppose 2*a + 376 = 4*h, 0 = 3*h + h - 4*a - u. Suppose -3*r = r - h. Is 12 a factor of r?
True
Let k = 63 - -14. Is k a multiple of 6?
False
Let g be (-10)/(1*(-3 + 2)). Let q = -6 + g. Suppose q*o = 3*b + 16, -2*o + 3*o = -3*b + 4. Is 2 a factor of o?
True
Suppose -2*k + 3*k = 0. Is (0 - 0 - -60) + k a multiple of 20?
True
Suppose 2*x + 3*x = 735. Suppose 6*l = x + 21. Is 28 a factor of l?
True
Suppose -8*h + 150 = 22. Is 4 a factor of h?
True
Let r = 4 - 9. Let v = r - 22. Let s = 51 + v. Does 12 divide s?
True
Let u(v) = -v**3 - v**2 + 84. Let r be u(0). Is 7 a factor of (r/(-15))/(2/(-5))?
True
Let j(i) = 8*i**2 - 3*i + 2. Let k be 4/(-14) + (-48)/(-21). Is j(k) a multiple of 11?
False
Suppose 3*z = m + 109 + 99, -4*z = 5*m - 271. Is 15 a factor of z?
False
Let l = -10 + 11. Let u = -14 + 58. Let f = l + u. Is 15 a factor of f?
True
Let z(w) = w**2 + 6*w + 1. Let m be z(-6). Let n be m*2 + -61*2. Is (-4)/10*n/4 a multiple of 6?
True
Let f = 104 - 57. Does 9 divide f?
False
Let k = -44 - -58. Does 7 divide k?
True
Let y(k) be the first derivative of k**4/4 + k**3 - 3*k**2/2 - 3*k - 1. Is 6 a factor of y(-3)?
True
Suppose -p - 2*q = -3 - 1, p - 3*q = -1. Suppose 0 = -p*y - 3*y + 80. Does 7 divide y?
False
Is 35/14*(-72)/(-10) a multiple of 8?
False
Let m(o) = o**2 - 4*o - 2. Let g be m(5). Does 22 divide 2/g + 520/12?
True
Suppose -20 = -4*n + 3*a + 45, -3*n = -a - 50. Let u = 44 - n. Is u a multiple of 9?
True
Suppose -3*d - 25 - 19 = -p, -4 = -2*p. Let i = -3 + d. Let r = 4 - i. Does 7 divide r?
True
Suppose 0 = -5*f + 1116 - 196. Does 18 divide f?
False
Suppose 296 = 5*h - h. Let y = h - 53. Is y a multiple of 7?
True
Let j = 1 + -1. Suppose -3*l + j*l = -84. Suppose 2*m = t + 12, -4*m = 5*t - l - 10. Is m a multiple of 6?
False
Let k = 1 + 17. Suppose -3*m + 42 = -k. Is m a multiple of 10?
True
Suppose -2*s + b + 7 = 0, -2*s - b = s + 2. Suppose 3*l + 2 + 83 = 4*p, -s = -l. Does 11 divide p?
True
Let n(h) = -2*h. Suppose -14 = 5*d + 6. Is n(d) a multiple of 4?
True
Suppose 0 = -o - 5 + 103. Does 27 divide o?
False
Let f be -2 - 0/(-5) - 28/(-2). Suppose -42 = -4*b + 38. Suppose i = f + b. Is i a multiple of 18?
False
Let w = 71 - 26. Does 45 divide w?
True
Let h = -9 + 6. Let k = 0 - h. Suppose -12 = k*u, -3*u + 15 - 44 = -d. Does 12 divide d?
False
Let g = -8 - -18. Let z be g/35 - (-486)/14. Suppose 4*h - z = -3*y, -y = -0*y - 2*h + 5. Is 3 a factor of y?
False
Let v(z) = z**2 - 6*z - 3. Let m be v(7). Suppose 2*k + 8 = m*k. Does 3 divide k?
False
Suppose -q - q + 98 = 0. Is q a multiple of 42?
False
Suppose -4*p + 0*p + 20 = 2*k, p - 5*k + 6 = 0. Let m be (-6)/(-15) - 26/(-10). Is 6 a factor of ((-2)/m)/(p/(-66))?
False
Let n(f) be the first derivative of -f**4/4 - 3*f**3 - 4*f**2 + 4*f - 2. Let q be n(-8). Suppose -2*c + q = -4. Is 4 a factor of c?
True
Let k = -24 - -121. Is k a multiple of 14?
False
Suppose 0*u = 5*u - 2*v - 60, -60 = -5*u + 3*v. Does 6 divide u?
True
Let l = -80 + 90. Is 5 a factor of l?
True
Let y = 41 + -23. Let i(r) = -5*r + 14*r - 8*r + y. Is i(-9) a multiple of 3?
True
Is -24*(5/3 + -3) a multiple of 8?
True
Suppose 5*d = 4*t - 112 - 363, 5 = -t. Is d/(-6) + (-2)/(-4) a multiple of 16?
False
Let z be (-6)/(-3) + -1*25. Let d be (1 - 2)/((-1)/z). Let g = d - -43. Is g a multiple of 10?
True
Suppose 0 = -t - 4*t + 75. Does 5 divide t?
True
Let i = -28 - -38. Does 2 divide i?
True
Let j = 5 + -6. Suppose -5*w = -364 - 131. Is 11 a factor of (w/(-36))/(j/8)?
True
Suppose -5*d + 85 = 3*g, 3 = 3*d - 12. Is g a multiple of 5?
True
Suppose -2*l - 3*m = -95 - 172, -4*l - 2*m = -554. Suppose -2*i + l = 3*d, -3*d - 175 - 29 = -3*i. Is 23 a factor of i?
True
Let y(c) = -3*c - 7*c + 8*c. Let s(d) = -d - 2. Let f be s(5). Is 6 a factor of y(f)?
False
Let r(k) = -2*k - 1 + 2*k**2 - k**3 + 0*k + 2*k**3. Let m be r(-3). Is m/10 - 434/(-35) a multiple of 10?
False
Suppose y + d = -2*y + 22, -46 = -5*y - 4*d. Suppose 0 = -h + y*h - 55. Is 5 a factor of h?
False
Suppose -2*p + 178 = 2*f, -f + 19 = 2*p - 69. Does 10 divide f?
True
Suppose 261 - 94 = -3*m + n, -3*n = -3*m - 171. Let y = m + 128. Suppose 3*c = -5*w + 14 + 47, 3*c = -2*w + y. Is 14 a factor of c?
False
Let x(s) = -s**3 - 4*s**2 + 7*s - 8. Let z = 10 - 16. Does 22 divide x(z)?
True
Let z(o) = -44*o**2 - 15*o - 3. Let n(h) = -15*h**2 - 5*h - 1. Let u(s) = -8*n(s) + 3*z(s). Let f(b) = b**2 - b. Let j(w) = 3*f(w) - u(w). Does 7 divide j(-1)?
True
Suppose 152 = 4*z - 4*f, 3*z - 113 = 2*f + 2*f. Is z a multiple of 13?
True
Does 14 divide (1 + 14/(-10))/((-7)/490)?
True
Suppose 992 = 4*b - 5*u, -3*b = -5*u + 2*u - 747. Is 25 a factor of b?
False
Let l be ((-24)/(-15))/(1/30). Let h = -22 + l. Is h a multiple of 13?
True
Let a = 139 + -95. Is a a multiple of 44?
True
Let o = 114 + -71. Is o a multiple of 10?
False
Let z be (-1)/(-3)*0 + 113. Suppose 0*a = -2*a + 3*m + z, -20 = -4*m. Is a a multiple of 10?
False
Suppose 3*s - 45 = 57. Does 10 divide s?
False
Let f = -6 - -8. Suppose 5*t = 2*s + 19, -f*s = 3*t + 2*t - 31. Suppose -126 = -t*h - 36. Does 9 divide h?
True
Suppose -r + 5 = 11. Let c be -2 + 0/(-3) - r. Is 17 a factor of 1 + 36 - (-1 + c)?
True
Let p be -21*1/((-6)/4). Let r = 13 + p. Does 17 divide r?
False
Let i(j) be the first derivative of -5*j**2/2 - 10*j - 5. Does 26 divide i(-9)?
False
Let b = -40 + 82. Let o = b - 27. Is o a multiple of 5?
True
Suppose 2*t - 18 = t + 3*z, -3*t + 5*z + 42 = 0. Let d(x) = x**3 - 9*x**2 + x - 4. Let s be d(t). Suppose 64 + 63 = 3*r + 4*m, r + s*m = 46. Does 11 divide r?
False
Suppose -o = 3*o. Suppose o = 2*y - 0*y - 8. Suppose -2*r = y*b - 44, -3*r - 5*b + 88 = r. Does 16 divide r?
False
Let z be (-30)/(-1)*(-18)/15. Is 10 a factor of 8/z - (-544)/18?
True
Suppose -5*p - 252 = -9*p. Is p a multiple of 21?
True
Suppose 2*d - 40 = -5*t, 3*t + d = 8*t - 40. Let q = -12 + t. Is (-50)