) - 378/(-8)?
True
Let f(b) = -43*b - 30. Is 25 a factor of f(-6)?
False
Suppose -2 = -3*f + 13. Suppose -f*o = 3*z - 69, 0*z = -4*z + 4*o + 92. Does 13 divide z?
False
Let b = 38 + -27. Let y(n) = n**2 - 10*n - 7. Let q be y(b). Let c(k) = -k**3 + 5*k**2 - 2*k - 1. Does 4 divide c(q)?
False
Let t = 239 - 146. Is 13 a factor of t?
False
Suppose 0 = y - q - 33, 3*q - 63 = -4*y + 69. Let r(n) = -n**2 - 8*n + 8. Let c be r(-5). Let d = y - c. Is 6 a factor of d?
False
Suppose 3*m = 5*m - 3*j - 43, -j = 1. Does 4 divide m?
True
Suppose -5*a + 30 + 5 = 5*h, -2*a + 18 = 3*h. Suppose 0*v + 3*v = -2*y + 123, a*y = -3*v + 189. Does 17 divide y?
False
Let x = 98 - 34. Is 32 a factor of x?
True
Does 12 divide 1239/9 + 0 + (-2)/(-6)?
False
Suppose 27 = 3*v + 3*i - 489, 4*v - 724 = 5*i. Is v a multiple of 8?
True
Let m = 4 - 2. Suppose -2 + 30 = m*f. Suppose -14 = -2*v + f. Does 14 divide v?
True
Let f = 515 + -307. Let v = -144 + f. Is 12 a factor of v?
False
Suppose 0*y = v - 3*y + 10, 2*y = 2*v + 4. Suppose -j - 3*a + v*a + 40 = 0, -5*a = 5. Let n = j + -11. Is n a multiple of 10?
True
Suppose -21 = -4*c - 3*l, 4*c - 2*c - 15 = -3*l. Suppose -156 = c*s - 7*s. Is 28 a factor of s?
False
Suppose -828 = -4*y + 2*g + g, 0 = 3*y + 4*g - 621. Suppose 3*n - 6*n = -y. Does 11 divide n?
False
Suppose p + 2*w = 19, 4*p + 27 = w + 112. Is p a multiple of 6?
False
Let j be ((-10)/(-3))/(4/54). Let c = j + -26. Suppose 0 = 3*s + 2*i - 142, 5*i + c = -0*s + s. Is s a multiple of 15?
False
Suppose 0 = p, -r - 2*p + 50 = r. Suppose k = -3*x + 15, x + 4 = 5*k - 7. Suppose 5*s - 1 = k*h + 3, -r = -5*s. Does 6 divide h?
False
Let g = -2 - -4. Suppose -z + 360 = 2*z + j, 3*z + g*j - 360 = 0. Suppose -y + 6*y = 3*m - 90, 0 = 4*m - 5*y - z. Does 10 divide m?
True
Let t be 4/6*(4 - -2). Let h be (-1)/(-1) - t*-1. Suppose 3*z + 0*r = -3*r + 3, -h*z = r - 9. Does 2 divide z?
True
Let n(f) = f**2 + 4*f. Does 6 divide n(-6)?
True
Suppose -2*a + 0*a = -152. Is a a multiple of 19?
True
Suppose 2*u + 20 = 2*v, 2*u - 3*v + 24 = -0*u. Let j(x) = -14*x - 4. Is j(u) a multiple of 26?
False
Let l be 6*((-24)/9 + 3). Does 19 divide (1/((-3)/(-114)))/l?
True
Suppose -42 = -5*s + 23. Is 13 a factor of s?
True
Let u(h) = -h - 6*h + 0*h**2 - h**2 - 3. Let y be u(-6). Does 11 divide y/((-6)/(-10))*5?
False
Let w be (-1 + 8)/((-5)/(-20)). Suppose -26 = -3*x + w. Suppose 82 - x = 2*s. Does 16 divide s?
True
Let o(c) = -c - 2 + 2*c + 6. Let s be o(4). Suppose -35 = -y - 5*f - s, 69 = 2*y - 5*f. Is 16 a factor of y?
True
Let w = 4 + -1. Suppose 25 = w*r + 2*r. Does 5 divide r?
True
Let q(s) be the first derivative of -7*s**4/4 - 2*s**3/3 + s + 3. Let v be q(-2). Suppose 3*u - v = 50. Is u a multiple of 11?
True
Suppose h - 21 = -5*s, -3*s + 7*s = -2*h + 36. Let o(d) = 2*d - 2. Let c be o(-4). Let f = h + c. Is f a multiple of 6?
True
Let z = 42 - 25. Let u = 28 - z. Is 11 a factor of u?
True
Suppose -4*q + 297 + 247 = 0. Is 34 a factor of q?
True
Suppose 0*y + 272 = 5*s - 3*y, -5*s + 270 = -5*y. Is 8 a factor of s?
False
Let i(g) = g + 5. Let a be i(-5). Suppose a = 4*l - 0*l - 28. Does 3 divide l?
False
Let p = 272 + -97. Is 24 a factor of p?
False
Suppose 0 = -2*c - c - 2*k + 6, -c + 5*k = -2. Suppose -38 = 4*g - c. Let w = 14 + g. Does 5 divide w?
True
Does 36 divide (-4)/4 + 1 + 0 + 252?
True
Is 2/4 + 108/8 a multiple of 6?
False
Let w(n) = -4*n - 6. Let q be w(7). Suppose 3*z + 26 = -4*f + 4*z, -4*z = -8. Let m = f - q. Is 12 a factor of m?
False
Suppose -8*w + 1550 = 2*w. Does 26 divide w?
False
Suppose -35 = -5*h - 5*q, 3*h - 5 = q - 0*q. Suppose h*i = 1 + 8. Suppose -4*c = g - 4, -15 = -g - i*c - 6. Is g a multiple of 9?
False
Suppose 3*s = 53 + 4. Does 5 divide s?
False
Let j = 125 - 75. Suppose -c = -3*u + 213 - j, 147 = 3*u + 3*c. Does 18 divide u?
False
Let s(y) = 2*y - 2. Let l be (-1)/(-3)*0 - -3. Let h be s(l). Suppose -j = -8 + h. Is 4 a factor of j?
True
Let c = 7 + -9. Let x be c/(-4)*4 + 2. Suppose -10 = -5*u + 3*r, 0 = 4*u + u + x*r - 45. Is 5 a factor of u?
True
Let r be (-4)/((-48)/15)*4. Suppose -5*f = -r*l + 6*l - 34, -3*f + 5*l - 2 = 0. Suppose -y + 5 = -f. Is 11 a factor of y?
True
Is 10/25 + 114/15 a multiple of 4?
True
Let k(s) = 2*s**2 + 6 + 2*s**2 + 63*s - 68*s. Is k(3) a multiple of 27?
True
Suppose 4*a + 29 - 117 = 0. Is 11 a factor of a?
True
Let n be 2/8 + (-406)/(-8). Let p = -25 + n. Is 13 a factor of p?
True
Suppose -3*b + 0*b = 5*g - 43, 0 = g + 1. Suppose r = 5*o - o - b, 4*r + 2*o = 26. Suppose 0 = c + 4, r*h - 36 = 4*c + 4. Is 3 a factor of h?
True
Let y = 44 + -12. Suppose f = -3*f + y. Suppose d + t = 2 + 14, -5*t + f = -d. Is d a multiple of 12?
True
Let m(w) = w**3 + 7*w**2 - 8*w - 3. Let n be m(-8). Let j = 4 - 1. Does 13 divide 47 + (n/(-1) - j)?
False
Let h = -4 - -31. Let r be -2 + 0 + 1 + -14. Let o = r + h. Does 7 divide o?
False
Suppose 0 = -4*m + 2*a - 4, -3*m - 3*a - 17 = -a. Let l = 5 + m. Does 2 divide l?
True
Suppose -r + 5*z = -77, -3*r + 7*z - 4*z = -195. Is 10 a factor of r?
False
Let c(z) = 74*z**3 + z**2. Does 15 divide c(1)?
True
Suppose 4*n - 24 = -0*n. Suppose -4*f - n - 10 = 0. Let o(i) = i + 8. Does 4 divide o(f)?
True
Let q(h) = -2*h + 227. Does 35 divide q(0)?
False
Suppose -4 + 10 = 3*l. Let c(z) = 2*z**3 - 4*z + 4. Does 6 divide c(l)?
True
Suppose 0 = -8*r + 2*r + 114. Does 5 divide r?
False
Let j be 1/((-4)/(-96)*4). Let x be (-1086)/8 + 2/(-8). Is j/21 - x/14 a multiple of 7?
False
Let g(h) = 2*h + 0*h - 2 + 6*h - h**2 - 4. Let y be g(7). Is (y - 2/2) + 21 a multiple of 7?
True
Is 980/36 - (-6)/(-27) a multiple of 3?
True
Suppose -2*c = -5*c - 4*n + 185, -4*c + 250 = 2*n. Is c a multiple of 7?
True
Suppose -4*p + 3*p - m = 22, -p - 2*m - 26 = 0. Let b = p - -24. Is b a multiple of 2?
True
Suppose 42 = -0*g + 3*g. Is g a multiple of 6?
False
Does 17 divide (2/3)/((-4)/(-438))?
False
Suppose -m + 4 + 48 = 4*u, 2*u = 3*m - 114. Suppose -d + m = 4*d. Is d a multiple of 4?
True
Suppose -2*c - 70 = -5*d, -2*c + 28 = 5*d - 22. Does 6 divide d?
True
Suppose j = 5*x - x - 21, -x - 2*j = 6. Suppose -8*t + 16 = -x*t. Let k = 22 - t. Is 9 a factor of k?
True
Suppose 72 + 135 = o. Suppose -5*r - 17 = -o. Is r a multiple of 16?
False
Let w = 37 - 13. Suppose 118 + w = 2*n. Let l = 101 - n. Is 10 a factor of l?
True
Let p(g) be the second derivative of g**4/12 + 7*g**3/6 + 2*g**2 + g. Let l = -21 + 11. Is 17 a factor of p(l)?
True
Is (6 + 2)*46/8 a multiple of 23?
True
Suppose 0 = 2*u + 2*u + 16. Let g be (-10 - u)/(0 + -2). Suppose -g*c + 8*c = 100. Is c a multiple of 10?
True
Let x(r) = 14*r**2 - r. Is x(-1) a multiple of 15?
True
Suppose 0*i - 5*i - 5 = z, -i = z + 5. Suppose 0 = -3*k - i*k + 12. Suppose -k*t + 9 = -27. Does 5 divide t?
False
Let y(o) = 2*o**2 - 10*o + 2. Is 16 a factor of y(8)?
False
Suppose -4*y - 16 = 0, -2*y - 16 = 2*g - y. Let s = g - 0. Does 3 divide (14/(-4))/(3/s)?
False
Suppose -5*j - 12 = 3*n - 4, -3*n - 18 = 3*j. Suppose 5*b - 18 - 57 = 0. Let d = b + n. Is d a multiple of 2?
True
Suppose 0 = k - b - 5 - 26, 2*k = -2*b + 54. Does 5 divide k?
False
Suppose 0 = -8*n + 10*n + 24. Let b(q) = -q + 2. Let d be b(2). Does 11 divide 21*(d + n/(-9))?
False
Suppose 27 = -4*k - 3*t + 4*t, 9 = 3*t. Let f = k + 11. Does 2 divide f?
False
Let x = 13 + 65. Suppose 2*q + q - x = 0. Does 13 divide q?
True
Let r(g) = -g**3 + g - 1. Suppose -3*f + 4*z = -22, 2*f - 4*z - 2 - 18 = 0. Suppose 4*k = -2*t + f, -2*k + 9 = k + 3*t. Does 5 divide r(k)?
True
Let a be (-1 - -4) + (6 - -8). Let u(r) = -r**2 + 6*r + 4. Let g be u(6). Let d = a - g. Is 13 a factor of d?
True
Let p(m) be the first derivative of -m**2 + 1. Is 10 a factor of p(-10)?
True
Let o(v) = -v**3 + 13*v**2 - 2*v - 9. Let z(a) = -3*a**3 + 38*a**2 - 5*a - 27. Let k(l) = -17*o(l) + 6*z(l). Is 14 a factor of k(7)?
False
Let m(i) = 2*i - 7. Let k be m(5). Suppose 21 = -3*y - 12. Let x = k - y. Is x a multiple of 14?
True
Is (-68)/51*24/(-1) a multiple of 10?
False
Let j(h) = 2*h - 3*h**2 + h - 2*h + 26*h**2. Is 15 a factor of j(-1)?
False
Let l(o) = 2*o**3 + 27*o**2 + 6*o + 7. Let n(x) = -x**3 - 13*x**2 - 3*x - 3. Let a(c) = 6*l(c) + 13*n(c). Let w be a(-7). Let u = w - 5. Is u a multiple of 7?
False
Let m be 0/(-2) - -72*1. Let t = 125 - m. Is t a multiple of 20?
False