ultiple of 12?
False
Suppose y - 332 = -4*t, 4*t - 8*t = 5*y - 348. Let k be 2/(-2 + 0)*59. Let z = k + t. Is 12 a factor of z?
False
Is (-130)/(0 + -2) - -1 a multiple of 14?
False
Let t = -11 - -7. Does 9 divide (-2)/(2 + t) + 17?
True
Let k be (0 - 15)*3/(-9). Suppose -k*x + 25 = 5*c, -2 - 2 = 4*c. Is 6 a factor of x?
True
Let w(j) = -j**3 + j**2 + 3. Let x be w(0). Suppose -18 = -3*s - 6. Suppose s*t - 20 = -x*o, 2*o - 7 - 33 = 4*t. Is o a multiple of 6?
True
Let b = -3 + 4. Let q be (-5)/(3 - b - 3). Suppose -q*y + 4*o + 74 - 10 = 0, 0 = -4*y + o + 49. Does 6 divide y?
True
Let s(q) = -6*q + 4. Let w be s(5). Let o be 15/(-25) - w/10. Suppose o*r = 5*r - 96. Is r a multiple of 14?
False
Let u(t) = -t**2 - 3*t + 1. Let i = 10 - 14. Let m be u(i). Let z = m + 8. Does 5 divide z?
True
Let r(a) = 5*a + 1. Let d be ((-18)/(-4))/(-3)*2. Let u be 1 - (d + 1 - 4). Does 18 divide r(u)?
True
Let v be 0 + 1 - (-4 + 2). Is 3 a factor of v + -1 + -2 + 12?
True
Let f(t) = -t + 10. Let r be f(8). Suppose -r*k + d = 3*d - 32, 5*d = -3*k + 54. Is k a multiple of 13?
True
Suppose 38*b - 36*b - 472 = 0. Suppose 6*w - 240 = 3*w - 3*l, -4*l = 3*w - b. Is w a multiple of 19?
False
Let q = -156 + 284. Suppose -q = -4*a + 100. Does 17 divide a?
False
Let z = -47 - -26. Let r = 10 - z. Suppose 0 = 4*f - 1 - r. Is 8 a factor of f?
True
Let b(u) = -28*u - 6. Let m be b(3). Does 15 divide (m/8)/((-6)/16)?
True
Suppose 4*g = 9*g - 765. Is g a multiple of 17?
True
Let w(i) = i**3 - 5*i**2 - 4*i - 6. Let r be w(6). Does 13 divide 395/15 + (-2)/r?
True
Let u = -42 - -90. Is 16 a factor of u?
True
Let h = 4 - 0. Suppose -4*s = c - 2*c - 100, -100 = -h*s + 4*c. Suppose -2*i = -s + 1. Does 9 divide i?
False
Let b = -7 - -7. Suppose b = 2*p + 2*p - 24. Suppose -m - 50 = -p*m. Does 5 divide m?
True
Let x = -2 - 5. Let i = x - -21. Does 7 divide i?
True
Suppose -9*n + 3277 = -107. Does 22 divide n?
False
Let m(n) = -n - 4 + 1 + 1. Let k be m(-5). Suppose -70 = -k*h + 29. Is 21 a factor of h?
False
Let t(u) = 3*u - 5. Let n be t(-7). Let r = 48 + n. Is r a multiple of 22?
True
Let h(w) = w - 7. Let m be h(11). Suppose 5*u - 185 = 5*o - 30, -2*u + m*o = -68. Is 16 a factor of u?
False
Let w(s) = -s**3 + 5*s**2 - s + 5. Let p(b) = 2*b**2 + b - 1. Let i be p(-2). Let n be w(i). Suppose 4*y + n*o = -o + 141, -5*o + 21 = y. Is y a multiple of 14?
False
Let v(c) = -c**3 + 8*c**2 + 12*c + 4. Let o = 14 + -5. Is 6 a factor of v(o)?
False
Suppose -d + 3*d + x = 83, 58 = 2*d - 4*x. Does 32 divide d?
False
Let o(s) = 7*s - 14. Let n be o(7). Suppose 8*c - 3*c - n = 0. Does 2 divide c?
False
Let j be 4/(4/41) + 3. Suppose -14 - j = -2*z. Does 17 divide z?
False
Let k = -1 + -5. Let m be 12 - 5 - k/(-2). Suppose -5*r = m*n - 95, r = 3*r + 3*n - 31. Does 10 divide r?
False
Suppose -2*m - g = 3*g + 580, -4*g + 272 = -m. Is 14 a factor of m/(-10) + 8/(-20)?
True
Suppose -7*f + 11*f - 165 = 3*a, -3*f = -2*a - 124. Is 6 a factor of f?
True
Suppose 0 = 2*i + 6, i + i = -5*u + 9. Suppose 3*f = -u*t + 2*t - 8, t - 5*f = 32. Does 3 divide t?
False
Let a = -14 + 27. Is a a multiple of 13?
True
Suppose 0 = 5*b - v - 50, 4*v = -5*b + 75. Is b a multiple of 3?
False
Suppose -1683 = 13*a - 22*a. Does 6 divide a?
False
Let b = 169 - -16. Does 12 divide b?
False
Let p(a) = 43*a. Suppose -g = 4, n - 3*g = -g + 9. Let z be p(n). Let x = z - 7. Is x a multiple of 12?
True
Let k = -30 - -180. Does 30 divide k?
True
Suppose -4*t + 15 + 105 = 0. Let u = t - -10. Is 12 a factor of u?
False
Suppose -q = -9*q + 808. Does 37 divide q?
False
Does 12 divide 18/54 - 71/(-3)?
True
Is -3 + (46 + 3 - -2) a multiple of 12?
True
Suppose -3*l + 1168 = -947. Suppose -5*p + l = -q + 6*q, 0 = 3*p + q - 419. Let z = 197 - p. Is z a multiple of 26?
False
Let g = 51 - 23. Is g a multiple of 14?
True
Let s(i) = 3*i**2 - 1. Let b = -3 - -4. Let t be s(b). Let z = t + 5. Is 7 a factor of z?
True
Let g(a) = -a - 11. Let d be g(-11). Suppose d = -x + 4*s - 1 + 6, -3*x + 47 = -4*s. Does 7 divide x?
True
Suppose 5*u - 7*u = -112. Does 14 divide u?
True
Is (1020/(-119))/((-2)/105) a multiple of 50?
True
Let j = 14 + -9. Suppose -4*k = -j*k + 18. Is 9 a factor of k?
True
Let u be (3 - 5) + 5 + 0. Suppose 2*a - 3*a + u = 0. Does 2 divide a?
False
Let y = 81 - -237. Is 22 a factor of y?
False
Is 10 a factor of 19 + (-4 - (-4 - 1))?
True
Let l = -33 + 63. Suppose -n - n + l = 0. Is 13 a factor of (-264)/(-10) + (-6)/n?
True
Suppose -c = -4*a, c - 4*c = 4*a. Let r = 7 - a. Suppose 0 = 3*x - r - 2. Is 2 a factor of x?
False
Suppose 0*u + u - 5 = -c, -4*u + c + 35 = 0. Suppose 0 = -r + 5*y - u + 19, r - 1 = -5*y. Is 7 a factor of (-43)/(-3) - (-4)/r?
False
Let q be (-3 - (3 - 0)) + 3. Is 9 a factor of 6/q - (-16 + 0)?
False
Let f(b) = -56*b - 7. Let y(c) = 84*c + 10. Let g(o) = -7*f(o) - 5*y(o). Is g(-1) a multiple of 18?
False
Suppose -4*m = -4*x - 12, -4*m - 4*x + 5 = -7. Let v(u) = 0*u + 2 - u + m*u. Is 10 a factor of v(9)?
True
Let k = 17 + 38. Is 6 a factor of k?
False
Let r(z) = -z**2 - 18*z - 1. Is 5 a factor of r(-17)?
False
Let z be 4*(2 - 2/(-8)). Suppose -2*q - 5*s - z = 0, -2*q + s = -6*q + 27. Is q a multiple of 3?
False
Let m be 1*(-5)/(15/(-6)). Is 9 a factor of m/6 - 202/(-6)?
False
Suppose 5*u - 2*v - v + 6 = 0, -8 = -2*u - 4*v. Suppose 2*i + u*i - 18 = 0. Does 4 divide i?
False
Suppose -a + 2*c = -50, 8*c = -3*a + 10*c + 130. Does 15 divide a?
False
Let u be 8/3 - 8/12. Let i be u/((-2)/(-5))*-2. Let j(d) = -3*d - 12. Is j(i) a multiple of 18?
True
Let w(t) = -11*t + 1. Let g(v) = 44*v - 5. Let u(j) = 2*g(j) + 9*w(j). Let d be u(-2). Let r = d + -5. Does 8 divide r?
True
Let j = 8 + 6. Is 3 a factor of j?
False
Suppose 4*p + 5*w + 0 = 1, 5*p - w - 23 = 0. Suppose 4*l = -p + 20. Suppose -4*q = -4*f + 9 - 37, -36 = -5*q + l*f. Is q a multiple of 4?
True
Does 20 divide (-2 - -1)/((-1)/80)?
True
Let r = 71 - 7. Is r a multiple of 16?
True
Let n(g) = g**2 - 6*g + 4. Let t be n(4). Let c(p) = -p + 1 - 7*p + 3*p + 2*p. Is 7 a factor of c(t)?
False
Let u(l) = -2*l**3 - 4*l**2 - 2*l. Let n be u(-2). Suppose -d + 3*d + n*y = 44, -97 = -4*d + y. Is d a multiple of 14?
False
Suppose 17 = -4*s + 105. Does 22 divide s?
True
Let b(u) = u + 7. Let w(k) = -2*k - 15. Let n(x) = 7*b(x) + 3*w(x). Let g be n(-3). Is 13 + (-1)/g*2 a multiple of 6?
False
Let o(l) = -l**3 + 4*l**2 + 5*l + 1. Let j be o(5). Let p = j + 19. Suppose -6 - p = -2*h. Is h a multiple of 13?
True
Let z be -29 - (-3)/((-9)/6). Let k = 8 - z. Is k a multiple of 13?
True
Suppose 2*m - 15 = -m. Suppose m*r + 4*t - 8*t - 58 = 0, 6 = 2*t. Is r a multiple of 5?
False
Is (-6)/9 - 595/(-15) a multiple of 16?
False
Suppose 0 = a - 0*a - 7. Let c = a - 3. Suppose 0 = c*m - 12 - 8. Is m a multiple of 5?
True
Let z be 2/8 + (-183)/12. Let t = 37 + z. Is 11 a factor of 2*3*t/12?
True
Let k(z) be the third derivative of z**6/360 + 7*z**5/120 + z**4/6 + z**3/2 - 4*z**2. Let o(h) be the first derivative of k(h). Is o(-9) a multiple of 11?
True
Let j(w) be the second derivative of 0 - w**2 - w + 4/3*w**3 - 1/12*w**4. Does 8 divide j(6)?
False
Let t = 203 - 111. Let y = t + -53. Is y a multiple of 11?
False
Is 143 - (-4)/(-4)*0 a multiple of 13?
True
Let o = -3 + 11. Let t = 34 - o. Is 12 a factor of t?
False
Is 18 a factor of -120*2/(-12)*(-72)/(-16)?
True
Suppose -2*g + g = -5. Let v(i) = -9*i + i**2 - 1 + 3*i**2 - g*i**2. Is v(-7) a multiple of 9?
False
Let a(o) = -7*o + 2. Let h be a(3). Let z = h - -31. Is z a multiple of 6?
True
Suppose 85 = 5*g - 3*c, 0*g + 2*c = 2*g - 38. Suppose -3*p = 3*x - 18, -5*x + 4*p + g = p. Suppose x*o - 3 - 29 = 0. Is 3 a factor of o?
False
Let d = 12 - 9. Suppose 2*u - 87 = -d*o + 3*u, -3*o + 2*u = -90. Does 9 divide o?
False
Suppose 2*z - 16 = 2*p + 34, 152 = -5*p - 4*z. Let u(g) = 22*g + 2. Let n be u(2). Let i = n + p. Does 9 divide i?
True
Let z = -4 - -124. Does 30 divide z?
True
Let c(r) = r**3 + 11*r**2 - 23. Is c(-10) a multiple of 40?
False
Let m(v) = v**3 + 9*v**2 + 5*v + 6. Let i be m(-7). Suppose -3*j - 3*r + 3 = 0, r + 0*r = -4*j + 13. Suppose j*k - 19 = i. Is 17 a factor of k?
False
Suppose -32 = -3*b - b. Let r = 13 - b. Is r a multiple of 4?
False
Let l(u) = u + 15. Let k be l(0). Let f be 4/((-24)/k)*-4. Suppose -z = -13 - f. Is z a mul