 z. Does 2 divide z?
True
Let f(c) = 26*c**2 + 0*c + 0*c. Is f(-1) a multiple of 12?
False
Suppose -d + 2*d = -4*c - 2, 4 = 2*c + 3*d. Is 6*c*6/(-12) even?
False
Suppose 3*o - 5*r = 171 - 55, 220 = 5*o - 3*r. Is 24 a factor of o?
False
Suppose 15 = -4*n + 2*d + 5, 5*d = -4*n + 11. Let l be 1 - n*9/3. Suppose l*v - 2*v = 12. Is v a multiple of 5?
False
Suppose -m + 4*m = 15. Let z = -6 - -12. Suppose 0 = -m*s + z + 89. Is 9 a factor of s?
False
Let o be (-25)/(-10) + (-1)/(-2). Let q = -3 + o. Is 4 - -3 - (0 + q) a multiple of 7?
True
Let t be (-2)/9 + (-1092)/(-54). Suppose 3*h = -2*h + c + t, -34 = -3*h + 5*c. Does 2 divide h?
False
Suppose 2*k - 1 = 7. Let r = 16 - k. Is 6 a factor of r?
True
Let o be 146 - (-3 + 0 - -4). Suppose x - 45 = -4*x. Suppose -4*p - o = -x*p. Is p a multiple of 24?
False
Let g(s) = s**3 + s - 2. Suppose 5*h = 6*h - 2. Is g(h) a multiple of 6?
False
Suppose s = 2*s + 3. Is 3 a factor of s/(-3) + 3 + 3?
False
Let k be (-104)/(-16) - (-1)/(-2). Let s = 7 + k. Is 5 a factor of s?
False
Suppose -5*y - f + 0*f + 540 = 0, 0 = -4*y + 5*f + 403. Does 18 divide y?
False
Let v = -160 - -232. Does 24 divide v?
True
Suppose q - 11 + 1 = 0. Let b(f) = f**3 - 11*f**2 + 10*f + 2. Let a be b(q). Suppose 5*o + 2*m - 123 = -2*m, 3*o + a*m - 73 = 0. Is o a multiple of 8?
False
Let o be 3*4/18*6. Suppose o*v = 7*v - 144. Is v a multiple of 24?
True
Suppose 5*i + 0*y - 24 = -2*y, 0 = -i + 2*y. Suppose b - i*o + o = 2, -b = 4*o - 9. Let k = b + -2. Is 3 a factor of k?
True
Suppose 2*d = 3*d. Suppose -3*f + f + 62 = d. Is 12 a factor of f?
False
Suppose -2*j + 51 - 7 = 0. Is j a multiple of 11?
True
Let p be (-276)/(-72) - 2/(-12). Does 21 divide p/(8/4) - -51?
False
Let i be 3/(-4)*(2 - 10). Suppose 2*l + i = 40. Is 17 a factor of l?
True
Let c = -5 + 14. Suppose g - c = -4. Does 5 divide g?
True
Let q = 258 + -114. Is 24 a factor of q?
True
Let b be (-553)/(-3) + 4/6. Suppose 0 = 5*r + 251 + 384. Let v = r + b. Is v a multiple of 21?
False
Let h be ((-6)/4)/((-3)/10). Suppose 2 = h*w - 8. Suppose -3*s + 130 = w*s - 2*k, 0 = 5*s + 3*k - 105. Is 12 a factor of s?
True
Let w(p) = -p**3 + 25*p**2 + 6*p + 47. Is w(25) a multiple of 20?
False
Suppose n - 3*b = 126, -117 = -n + 4*b + 14. Is n a multiple of 30?
False
Suppose 2*f = 6*f - 412. Let j = f - 63. Is 19 a factor of j?
False
Let z(p) = -30*p + 1. Does 13 divide z(-3)?
True
Let m be (-2)/(-14) + (-58)/14. Is (-1 - (m + 11))*-1 a multiple of 7?
False
Let p(m) = m**2 - 14*m + 15. Let b be p(13). Let k(u) be the second derivative of u**5/4 - u**4/6 - u**3/6 - u**2/2 - 2*u. Does 10 divide k(b)?
False
Let n(s) = 12*s**2 + s + 1. Let a = -6 + 5. Let d be n(a). Suppose d = v + 2*y, 0 = 4*v - 4*y - 11 - 37. Is v a multiple of 8?
False
Let b = 21 - -37. Does 10 divide b?
False
Suppose 3*d - 84 = 3*b - 4*b, -2*d + 63 = 3*b. Let q be (-2)/10 - (-91)/5. Let m = d - q. Is m a multiple of 9?
True
Let n(f) = -f + 8. Suppose r = -3*r + 16. Does 4 divide n(r)?
True
Suppose -d - 3*p + 2 = 0, 2*d - 2 - 2 = 2*p. Suppose 0*s + d*s + 2 = 0. Does 5 divide (6 - 2)*(-2)/s?
False
Let c = 9 + 34. Is 7 a factor of c?
False
Let n(x) be the second derivative of 13*x**4/24 + x**2 + 4*x. Let q(a) be the first derivative of n(a). Is 22 a factor of q(3)?
False
Let t = -274 - -461. Is 11 a factor of t?
True
Suppose 6*b - 79 = 23. Is 3 a factor of b?
False
Suppose q = -3*v - 3 + 20, q = -v + 3. Does 18 divide 254/v - (-2)/(-7)?
True
Let k be (9 - (0 + 2))*3. Suppose -c - 27 = -3*b + 2*c, -b - k = 5*c. Is 4 a factor of b?
True
Suppose 2*g + a + 31 = 0, -3*g + 4*a = g + 56. Let s be (-4)/6 - 55/g. Suppose -s*u - u = -60. Does 8 divide u?
False
Suppose y - 5*y + 3*x = -208, 0 = -5*y + 5*x + 255. Does 11 divide y?
True
Suppose -3*o + 4*r + 33 = r, -2*o + 5*r = -28. Does 16 divide 67/2 - o/6?
True
Let t be (-2)/(-5) - (-223)/5. Suppose -5*y = t - 160. Does 4 divide y?
False
Let z = -10 + 17. Suppose 12 = 5*n - 2*m, 3*n - m - z = -0*m. Suppose -114 = -n*a - a. Is 17 a factor of a?
False
Suppose 3*q - 3 = 2*c, 0 = -5*c - q + 9 + 26. Let y = -4 + c. Does 16 divide (-8)/(y/8*-1)?
True
Suppose 4*f = -21 + 69. Suppose -5*c = 0, -4*b + 2*c - f = 4*c. Let p(y) = y**3 + 6*y**2 - y - 1. Does 16 divide p(b)?
False
Let k(b) = b**3 - 4*b**2 - 3*b - 2. Let d be k(5). Is 12 a factor of ((-259)/28)/((-2)/d)?
False
Let k = 19 - 7. Let y = -1 + k. Is 4 a factor of y?
False
Let a = 5 + 15. Is a a multiple of 5?
True
Let i(g) = 7*g - 18. Let z be i(10). Let l = 100 - z. Is l a multiple of 8?
True
Let t(k) = -k**3 - 8*k**2 - 4*k - 4. Let x be t(-7). Let y = 77 + x. Is y a multiple of 19?
False
Suppose 4*q - o + 73 - 208 = 0, 0 = q + 4*o - 38. Does 27 divide q?
False
Let z = 50 - 36. Does 5 divide z?
False
Suppose 0 = j + 4*j - 30. Let g(n) = 3*n - 2 - n**3 - 4*n + 2*n**2 - 1 + 5*n**2. Is 9 a factor of g(j)?
True
Suppose -l + 22 = -4*j, 0*l + 5*j + 27 = l. Let s(f) = 21*f + 2. Is 11 a factor of s(l)?
True
Suppose 2*d + 3*d - 30 = 0. Is d a multiple of 4?
False
Let i = 3 + -3. Suppose 0 = -3*b - 2*m + 4, 4*b - 2*m = -i*b + 24. Is b a multiple of 3?
False
Let a(s) = s**3 + 2*s**2 + 2*s + 1. Let g be a(-1). Let o be 5/(g + (-1)/(-1)). Suppose t + 1 = o. Does 2 divide t?
True
Suppose -5*q + 4*g + 30 = 0, -7 = -5*q + g + 8. Suppose -q*h + 120 = 2*s, -2*h - 60 = -s + 3*h. Suppose -m + 3*m - s = 0. Is 15 a factor of m?
True
Let x be ((-35)/(-2))/(4/8). Let l = x + -66. Let t = 83 + l. Does 19 divide t?
False
Suppose -3*y = 3*t - 154 - 575, 2*y - 484 = -3*t. Is 32 a factor of y?
False
Suppose -3*d + 2*p = -4 - 2, 0 = -p. Suppose -d*t - 54 = -3*i, -3*i + 23 = -3*t - 34. Is 3 a factor of i?
False
Suppose 3*c - j - 104 = 0, 58 - 237 = -5*c - 4*j. Is 5 a factor of c?
True
Suppose -255 = -f - 2*f - 3*s, 173 = 2*f + 5*s. Does 42 divide f?
True
Let y = -30 + -91. Let o = y - -181. Suppose a + a = o. Is a a multiple of 15?
True
Suppose 2*l + 3*j - 4 = 0, 0*j = l - j - 12. Let z(r) = r**2 - 6*r + 8. Is 13 a factor of z(l)?
False
Let n = 7 - -5. Does 3 divide n?
True
Let z = 7 + -3. Let w = z + -4. Is 14 + -4 + (2 - w) a multiple of 5?
False
Suppose -80 = 4*q - 2*l, 4*q + 0*l - l = -76. Is 1/6 + (-105)/q a multiple of 3?
True
Suppose -6*a + 3*a + 249 = 0. Is a a multiple of 15?
False
Let g(f) = f**2 - 2 + f**2 - 2 + 3 + 2*f. Is 3 a factor of g(-3)?
False
Let x(j) = -2*j**2 - j. Let f be x(1). Is (-4 - (-44 + -2)) + f a multiple of 13?
True
Suppose -5*s - 2*d - 2*d + 35 = 0, 5*s + 3*d - 30 = 0. Suppose -s*j - 5*h = -48, -4*j + 64 = 2*h + 3*h. Is j a multiple of 8?
True
Is 16 a factor of 7*18*(-3)/(-6)?
False
Suppose -3*b + 365 = 4*f + 2*b, -2*b + 350 = 4*f. Does 17 divide f?
True
Suppose -7*n + 551 + 114 = 0. Does 19 divide n?
True
Is (-42)/(3/1)*-8 a multiple of 12?
False
Let y(h) = -2*h**3 + 14*h**2 - 8*h - 4. Is y(6) a multiple of 20?
True
Suppose -3 - 1 = -b. Suppose -3*n = 5*u - u - 56, b*u - 3*n - 56 = 0. Is 7 a factor of u?
True
Suppose -12 = -2*h - 0*h. Let l = -3 + h. Does 3 divide 20/8 + l/6?
True
Let u(j) = j**2 - 13*j + 17. Let f be u(12). Suppose f*q + 20 = 0, 0*q = -y + 3*q + 52. Is 14 a factor of y?
False
Let o(y) = -7*y + 4. Let q be o(-4). Suppose -2*j = -2*v - 34 - q, -3*v - 119 = 2*j. Is 11 a factor of 3/(-9) + v/(-3)?
False
Let q = 2 - 6. Let k(l) = l**2 + 4*l + 2. Let b be k(q). Suppose -5*w + 2*p + 105 = 0, 0*w = -b*w + 5*p + 42. Does 10 divide w?
False
Suppose 0 = s + 2*s - 174. Does 20 divide s + (4 - 3 - -2)?
False
Is 11 a factor of -2 - 2*(-137)/2?
False
Let g be (-12)/((-3)/(-63)*3). Let d = -32 - g. Does 11 divide d?
False
Suppose -5*q + 152 = -3*q. Is q a multiple of 19?
True
Let k = 2 + 1. Suppose 0 = -k*l - 4*h + 119, 5*l - 21 = 4*h + 124. Does 11 divide l?
True
Does 5 divide ((-42)/28)/((-1)/14)?
False
Let o(f) = -2*f + 14. Let q be o(9). Is (-4)/(-16) - 131/q a multiple of 11?
True
Let t(a) = a**2 + a - 6. Is t(7) a multiple of 10?
True
Let z = -7 + 9. Let q be z/(-4)*(-24)/(-2). Does 5 divide (-17)/(-2) - 3/q?
False
Let d = 10 + -7. Suppose -3*c - 15 = -d*s + 114, 2*s - 94 = -2*c. Is s a multiple of 13?
False
Suppose -13*l - 770 + 3214 = 0. Is l a multiple of 44?
False
Let q = 32 + -8. Is 12 a factor of q?
True
Let g(w) = -w - 2. Suppose -d = 1, 3*d + 3 = 3*n - 18. Let l be g(n). Is 15 a factor of (-183)/(-12) - (-2)/l?
True
Sup