z(t)?
False
Let g = -185 - -392. Is g a multiple of 23?
True
Suppose n + 19 = -25. Is 25 a factor of (-1092)/n - 2/(-11)?
True
Let v = -71 - -147. Let i = -51 + v. Suppose n = -4*n + i. Is n a multiple of 3?
False
Let z(b) = -b + 4. Let n be z(-14). Suppose 0*l - 2*l = -84. Let o = l + n. Does 21 divide o?
False
Let n(c) = c**3 - 2*c**2 + 3*c - 3. Let g be n(2). Suppose -5*o = -4*t + 355, -4*t + g*o - 161 = -6*t. Suppose 0 = -2*q + t - 9. Does 19 divide q?
True
Let i(u) = -u - 4. Is i(-9) a multiple of 3?
False
Suppose r + 572 = -4*i, 2*i + 572 = -2*i - 5*r. Let v = i + 209. Does 17 divide v?
False
Let a = 8 + -27. Let j = 27 - a. Is j a multiple of 23?
True
Let p(t) = -t**2 - 7 + 7*t + 0*t**2 + 1. Let j be p(6). Is 4 - -14 - (1 - j) a multiple of 9?
False
Suppose -30 = -u - 4*u + 5*t, 14 = 2*u - 3*t. Let h be 82/7 + u/14. Let v(l) = -l**2 + 12*l + 3. Is v(h) even?
False
Let t(m) = -2*m. Let u be t(-1). Let k be -1 - u*(-219)/6. Suppose x + 2*x - k = 0. Is 11 a factor of x?
False
Suppose 4*f + 0*f - 32 = 0. Let d be (f - 16)*(-1)/2. Suppose -d*s = -3*s - 7. Is s a multiple of 3?
False
Let o(l) = 9*l**2 - 3*l - 5. Let h be o(-2). Let b be (-13)/(-5) - 6/(-15). Suppose 0 = -6*i + i - 3*j + 125, b*j - h = -i. Is 11 a factor of i?
True
Is 3 a factor of (-4)/16 - 231/(-12)?
False
Let x be (9/12)/((-3)/48). Is ((-21)/x)/(2/24) a multiple of 6?
False
Let x(q) = 31*q + 1. Is x(1) a multiple of 8?
True
Let h be (-6)/(-8)*(-5 - -49). Suppose 3*f - 24 = h. Does 16 divide f?
False
Let z(n) = -3*n + 13. Let x be z(12). Let b = -15 - x. Is b a multiple of 4?
True
Suppose -3*g + 82 = 4*f, 8*f = -g + 4*f + 38. Is 20 a factor of g?
False
Let d be 1 + (1 - -8)*-1. Let l = 21 + d. Does 5 divide l?
False
Let i(q) be the third derivative of q**6/120 + q**5/60 + 4*q**3/3 + q**2. Is i(0) a multiple of 4?
True
Let t(j) = j + 3*j + 7 + 0 - 5*j. Let w be t(4). Suppose -27 = -w*i + 57. Is i a multiple of 14?
True
Let a(p) = -14*p**3 + 2*p**2 - 1. Let k be a(-1). Suppose 6*w - w = -j - 19, -3*j + k = -3*w. Let o = 19 - j. Is 9 a factor of o?
True
Let v = 17 - -37. Does 8 divide v?
False
Let l = 34 - 27. Does 2 divide l?
False
Let d = -24 - -44. Suppose 6 - 1 = t. Suppose -t*w + w = -d. Is w even?
False
Suppose -4 = -2*g, -4*r + 0*r + 70 = g. Does 17 divide r?
True
Let b(h) = h**2 + 5*h - 8. Let v be b(-6). Let n(q) = 3*q**2 + q. Is n(v) a multiple of 3?
False
Let u be ((-6)/4)/((-6)/20). Let x = -3 + u. Is 5 a factor of 265/20 + x/(-8)?
False
Let y(o) = -17*o**3 + o. Let l be y(-1). Let k be (612/l)/(1/4). Suppose -k = 3*w - 6*w. Does 21 divide w?
False
Let z = -198 - -282. Is 6 a factor of z?
True
Let q be 2 - 4/12*0. Suppose 0*u + 2*u = q*s - 38, -25 = -5*u. Is 12 a factor of s?
True
Suppose 79*b + 1080 = 87*b. Is b a multiple of 15?
True
Suppose 4*k - 68 = -3*y, 8 = -k + 3*k - 5*y. Is 3 a factor of k?
False
Suppose 2*b + 15 = 5*b. Is 3 a factor of 14 - b - (0 + 2)?
False
Let j = 251 + -134. Is j a multiple of 35?
False
Let f = -89 - -112. Does 4 divide f?
False
Let o(q) = -q**2 - 8*q + 2. Let i be o(-8). Is (i + -22)*2/(-4) a multiple of 10?
True
Let h = 123 + -75. Does 24 divide h?
True
Let x(w) be the third derivative of w**6/30 - w**5/60 + w**4/12 - 2*w**2. Is 8 a factor of x(2)?
True
Let l be -3*((-30)/9 - -1). Let z(h) = h**2 - 5*h - 5. Is z(l) a multiple of 9?
True
Let a(m) = 6*m**2 - 2*m - 5. Let t be a(-4). Let r(c) = c. Let p be r(4). Suppose f = 5*h - t, -16 = -0*h - h + p*f. Does 18 divide h?
False
Let s(n) = 11*n**2 + n - 9. Does 24 divide s(3)?
False
Suppose -2*a - 3*a = -55. Is 7 a factor of a?
False
Suppose 2*w + 8 = 6*w. Let b be (w/(-5))/((-7)/(-35)). Does 12 divide b + (0 - -1*21)?
False
Suppose 3*s = 5*k - 15, -k - 5*s - 2 = -5. Suppose -4*a + k*w = -7*a + 57, -a + 14 = -4*w. Is a a multiple of 9?
True
Let i be (-2 + 1/(-2))*-2. Suppose -45 = -9*a + 4*a - i*h, -4*h = a. Is 12 a factor of a?
True
Suppose -a - 132 = -3*a. Does 11 divide a?
True
Let u = -17 + 26. Does 6 divide u?
False
Suppose 0 = -3*g + j + 41, 40 = 5*g + 5*j + 5. Is 4 a factor of g?
True
Suppose 5*i - 5 = 3*l - 77, -4*i + 96 = 4*l. Is 8 a factor of l?
True
Suppose 54 = 3*v - 4*a, -3*v = v + a - 91. Let b = v - -13. Suppose 0 = 7*l - 2*l - b. Is l a multiple of 7?
True
Suppose 13 + 27 = 4*s. Is s a multiple of 10?
True
Let i = 194 - 58. Is 17 a factor of i?
True
Suppose 13*l - 401 - 353 = 0. Is 3 a factor of l?
False
Does 16 divide (-9)/(-21) + 1786/14?
True
Suppose -5*r - 765 = -4*a, -2*a + 184 + 191 = 5*r. Does 9 divide a?
False
Suppose 4*u + 16 = -4. Suppose l + 4 = 18. Is u/2*l/(-1) a multiple of 13?
False
Let a = -6 + 4. Is 9 a factor of 159/6 + (-1)/a?
True
Suppose 46 = 3*a - 50. Let w = a - 11. Is 14 a factor of w?
False
Let m(f) = -21*f**2 + 2*f + 1. Let a be m(-1). Let k = a - -84. Does 15 divide k?
False
Let g be 2 + (-2 + 8)/3. Let b be (14/(-21))/(g/(-6)). Is ((-2)/(-4))/b*32 a multiple of 8?
True
Let q = 176 - 6. Does 34 divide q?
True
Let y = -70 - -111. Is 26 a factor of y?
False
Suppose -10 = -2*x - 2*j, 4*j = -x - 2 + 1. Suppose x*i = 2*i + 315. Is i a multiple of 32?
False
Let k(s) = s**3 - 5*s**2 + 6*s - 3. Let a be k(4). Suppose -3*q = -5*r + a, 4*r + 7*q = 2*q + 41. Is 4 a factor of r?
True
Let z be -1*(-8)/(-2) + -10. Is (1 + 24)*(-14)/z a multiple of 25?
True
Let v(n) = -8*n - 2. Is v(-1) a multiple of 6?
True
Let g(v) be the third derivative of v**6/120 - v**4/12 + v**3/3 + 3*v**2. Is 3 a factor of g(2)?
True
Let s(f) = -f**3 + 9*f**2 - 4*f - 14. Is s(8) a multiple of 18?
True
Suppose 0*f = 4*f - 264. Is f a multiple of 11?
True
Let r = 3 + 7. Let c = r - 7. Suppose -2*v - c*x - 2*x = 0, 3*x + 12 = 0. Does 5 divide v?
True
Suppose 0 = -2*q + 17 + 21. Suppose -5*m = -p - q, 2*p + 5 = -0*m - m. Suppose -m*g + 27 = -3. Does 7 divide g?
False
Let c(a) = a**3 - 12*a**2 + 16*a. Let g = 29 + -18. Is 17 a factor of c(g)?
False
Let q(c) = -127*c - 10. Is q(-1) a multiple of 17?
False
Let o(g) = 1 + 11*g - 2 - 2 + 1. Is o(5) a multiple of 15?
False
Let z = 2 + 0. Suppose -k = -q - 10, -2*q + 21 = z*k - 15. Suppose 4*p - k = 38. Is 13 a factor of p?
True
Suppose 2*u - 13 + 3 = 0. Suppose -5*n + o + 112 = -422, u*n = -o + 526. Is 10 a factor of (-1)/2 + n/4?
False
Suppose -3*u - 4 + 8 = o, 4*o = 2*u + 2. Let x(a) = 5*a**2 + a - 5*a**2 + 2*a**2 - u. Is 7 a factor of x(2)?
False
Let g be (-10)/20*(1271 - 1). Does 26 divide 12/20 + g/(-25)?
True
Let t be 5*((-2)/5 + 1). Suppose 5*r = 5*w - 5, 5*w - 4*r = 12 - t. Is w a multiple of 2?
False
Suppose -b + 19 = 5*z, -3*b + 122 = b - 3*z. Suppose b = -3*m + 4*m. Does 22 divide m?
False
Suppose 0 = 2*i - 80 + 28. Does 21 divide i?
False
Suppose 3 + 41 = 2*s + 4*k, 0 = -4*s + k + 70. Let w = s + 4. Does 11 divide w?
True
Suppose 0 = l - 4*o + 2*o - 23, 65 = 3*l - 5*o. Suppose -3*y - 5 = d, -3*y + d - 3 - 4 = 0. Is 16 a factor of ((-54)/l)/(y/10)?
False
Let h(t) = t**3 + 3*t**2 + 3*t + 3. Let m be h(-2). Let i be 30 - m/(-1 + 0). Suppose -7*g - i = -f - 3*g, 0 = -5*f - 3*g + 40. Does 11 divide f?
True
Let y(j) = 2*j**2 - 3. Let g(s) = s - 1. Let m(a) = -a**2 + 4*a - 4. Let t(b) = -3*g(b) + m(b). Let c(r) = -2*t(r) + y(r). Is c(2) a multiple of 6?
False
Suppose 3*t = w + 15 - 48, -2*t - 38 = -w. Is w a multiple of 16?
True
Let w(q) = -q**3 - 3*q**2 - 3*q - 4. Let b(a) = a**3 + 6*a**2 + 5*a - 4. Let i be b(-5). Is w(i) a multiple of 17?
False
Let p = 11 - 2. Let y = -4 + p. Let q = 7 - y. Is 2 a factor of q?
True
Let m be (-26)/(-10) - (-18)/45. Suppose -m*x - 34 = -5*x. Is 4 a factor of x?
False
Let y(n) be the first derivative of 11*n**2/2 - 2*n - 4. Is y(2) a multiple of 7?
False
Let z = 5 - 6. Is z/(2*(-2)/20) a multiple of 5?
True
Let u(p) = -p**3 + 7*p**2 + 8*p + 2. Let z be u(8). Suppose z*s - 138 = -s. Suppose -q - 4*q = 4*y - s, 2*q = 2*y + 4. Is 6 a factor of q?
True
Suppose 2 - 1 = -4*r + 5*q, 0 = r + 2*q - 3. Suppose r + 50 = 3*j. Let i = j - 10. Does 5 divide i?
False
Let b(f) = 15*f - 5*f + f**3 + 9 - 9*f**2 - 4. Let q = -15 - -23. Is b(q) a multiple of 6?
False
Let m(l) = -34*l**3 + l**2 + 6*l. Is 24 a factor of m(-2)?
True
Does 7 divide ((-1)/2)/(105/54 - 2)?
False
Suppose -5*r = 5*d - 267 - 238, -d + 485 = 5*r. Does 12 divide r?
True
Let p be 6/4*(-20)/(-15). Let b(y) = 2*y**3 + y**2 + 2*y. Is 9 a factor of b(p)?
