y?
True
Let m be (-2)/4 - 2/(-4). Suppose m*l + 2*l - 4 = 0. Suppose -l*j + 29 = -19. Does 8 divide j?
True
Suppose -o - 14 = -5*y, -y + 0*o + 2*o + 10 = 0. Let c be (y - -3) + 2*1. Let l = 29 - c. Is 17 a factor of l?
False
Suppose 3*z = 87 + 255. Is z a multiple of 38?
True
Let q be 3 + (0 - (2 + -4)). Let w(n) = -n**2 + 4*n + 3. Let v be w(q). Is 26 + 6/(v + -1) a multiple of 12?
True
Let h(r) = -3*r + r + 4*r + 3*r**2 + 2*r. Is h(-4) a multiple of 13?
False
Suppose 5*y - 12 = 5*c - 247, 185 = -4*y + c. Let b = y - -78. Does 12 divide b?
False
Let y = 0 + 3. Suppose -4*z + 4 = -5*g - 7, y*z - 5*g - 12 = 0. Is 12*(4/3 + z) even?
True
Let k(i) = -2*i**2 - 20*i. Does 6 divide k(-8)?
False
Suppose -38 = -2*b + 3*f, 80 = 4*b - 0*f - 5*f. Is 5 a factor of b?
True
Let o = 660 - 450. Is o a multiple of 15?
True
Let q(s) = 9*s - 17. Let l(i) = 22*i - 42. Let p(o) = 5*l(o) - 12*q(o). Does 3 divide p(5)?
False
Let k = 18 - 12. Is 6 a factor of k?
True
Suppose 3*f - 12 = -0*f. Let n be (-2 - 0/(-2)) + f. Suppose 17 = n*k - 7. Does 6 divide k?
True
Let p(t) = 13 + 75*t**3 - 74*t**3 - 13*t - 17 + 10*t**2. Let c(h) = 12*h + 1. Let m be c(-1). Is p(m) a multiple of 6?
True
Suppose 2*d - 22 = -0*d. Is 3 a factor of d?
False
Suppose -118 - 38 = -3*q. Does 13 divide q?
True
Suppose -5*s + 576 = s. Is s a multiple of 6?
True
Let n = 48 - -12. Is n a multiple of 20?
True
Suppose 25*z - 24*z - 97 = 0. Is 9 a factor of z?
False
Let t = 11 + -6. Suppose 2*p - 28 = t*i, 3*i + i = -2*p - 8. Let s = p + -1. Is 3 a factor of s?
True
Suppose 3*p - 66 = 6*p. Suppose 3*m - 63 + 234 = 0. Let v = p - m. Does 13 divide v?
False
Suppose t - 179 - 19 = 5*o, -5*t = -o - 1110. Does 38 divide t?
False
Let r be 3/(-4)*-2*2. Suppose -2*m = -4*q, -5*m = -5*q + r*q - 24. Is 5 a factor of m?
False
Let y(r) = 4*r - 1. Let q be y(3). Suppose 5*v = -q + 81. Is 10 a factor of v?
False
Let b(u) = 9*u**2 - 3*u + 6. Is b(5) a multiple of 27?
True
Let n = -1 + 3. Let b(t) = 12*t**2 - 3*t. Does 21 divide b(n)?
True
Let c(k) = k**3 - 3*k + 3. Let m be c(2). Suppose 0 = m*q - 3*d - 41 - 21, -2*q - 2*d + 12 = 0. Is 6 a factor of q?
False
Let h be 4/(-16)*1*-4. Is 26 + 0 + h + 3 a multiple of 10?
True
Let s(n) = -n**3 + 16*n**2 + 16*n + 42. Is s(17) a multiple of 5?
True
Suppose -5*q + 39 = -41. Does 16 divide q?
True
Let c(j) = 106*j**2 + 3*j - 4. Is 18 a factor of c(1)?
False
Let t(o) = 5*o**3 - 1. Does 13 divide t(2)?
True
Is 21 a factor of 8/(-44) - 233/(-11)?
True
Is 19 a factor of (-6)/12 + 206/4?
False
Suppose 2*k - 15 = -b + 120, 4*b - 126 = -2*k. Does 34 divide k?
False
Let x(p) be the second derivative of p**4/12 - 2*p**2 - p. Is x(3) even?
False
Let f(s) = 3*s**3 + s**2 - 3*s + 1. Suppose -2*m = -3*m. Suppose -c = -4*v + 2, m = -v - 0*v + 1. Does 22 divide f(c)?
False
Let a be (8/20)/(3/15). Suppose 23 = 2*q + 3*l, -a*l + 36 = 4*q - 30. Is 18 a factor of q?
False
Let y = -3 + -3. Is y*(15/(-9) - 2) a multiple of 22?
True
Suppose 4*s = 7*s - 15. Suppose 0 = 5*i - w - 126, -4*w = s*i + w - 120. Does 9 divide i?
False
Let f be (21/(-2))/((-2)/4). Let r = f - 41. Let c = -6 - r. Is c a multiple of 6?
False
Let k be (-2)/3 + 2/(-6). Is 13 a factor of 24/1 - k*2?
True
Let i(t) = t**2 + 4*t - 9. Is 3 a factor of i(-6)?
True
Let a(l) = 19*l**2 - 3*l - 1. Is a(-1) a multiple of 21?
True
Let n(l) = 51*l**2 + 1. Let d be n(-1). Let w = 16 + d. Does 17 divide w?
True
Suppose 0 = -2*m - 2*m + 112. Does 7 divide m?
True
Let u(f) = -f - 1. Let m be u(6). Let v = -1 + m. Let q(z) = -z**2 - 12*z - 2. Is q(v) a multiple of 14?
False
Let j(t) = -t**2 - 6*t + 2. Is j(-5) a multiple of 5?
False
Suppose 0*l = -3*l + 5*x + 21, l - x = 5. Suppose y + l*y = 117. Does 17 divide y?
False
Suppose -3*f - 4*p = -440, 3*f + 5*p - 2*p = 435. Is f a multiple of 35?
True
Let v(k) = 2*k + 6. Let p be v(8). Suppose p - 2 = 2*x. Is 5 a factor of x?
True
Suppose -2*y = -11*y + 1782. Does 33 divide y?
True
Is (-1770)/(-55) - 6/33 a multiple of 8?
True
Let y = -18 + 32. Suppose 5*x = -m + y, 10 = 5*m - m - 3*x. Suppose -8 = -m*j + 80. Does 11 divide j?
True
Let a be (-9 - (-3 - -2)) + 3. Let v = 3 - a. Does 7 divide v?
False
Let r(s) = 4*s**3 - 2*s**2 + 6*s**2 - s**3 - 2 + s - 4*s**3. Does 4 divide r(3)?
False
Suppose -3*m - 4*g = -317, 4*m - g + 4*g - 411 = 0. Is 33 a factor of m?
True
Let x(w) = w**3 - 14*w**2 - w**3 - 5 + 2*w**3 - 13*w - w**3. Is 25 a factor of x(15)?
True
Let u(p) = -p + 6. Let m be u(6). Let g(r) = -8 + 2*r + m*r**2 + 4 + 2*r + r**2. Does 14 divide g(-8)?
True
Let w(j) = j**2 + 7*j + 36. Is 13 a factor of w(-5)?
True
Let c = -7 - -5. Is (5/(10/(-76)))/c a multiple of 19?
True
Let j = -5 - -20. Does 4 divide j?
False
Let t(l) = l + 20. Is 11 a factor of t(-4)?
False
Let c(p) be the second derivative of -5*p**3/6 - 4*p. Does 15 divide c(-3)?
True
Let r be 12/42 - (-72)/(-7). Let h(s) = -s**3 - 6*s**2 - 8*s. Let b(a) = a**3 + 7*a**2 + 9*a - 1. Let g(q) = -5*b(q) - 4*h(q). Does 13 divide g(r)?
False
Let f be ((-1)/(-3))/(2/6). Let d be -35 + f + (-1)/1. Let n = d + 61. Is n a multiple of 10?
False
Let f(m) = -47*m**3 + m**2 + m + 1. Does 18 divide f(-1)?
False
Let y be (-2 + 2)/(-4)*-1. Suppose -3*k + y*k + 237 = 0. Does 22 divide k?
False
Suppose -3*a - 3*g + 30 = -2*a, -4*g - 8 = 0. Does 18 divide a?
True
Let f(c) = -1. Let m(b) = -b**2 + 6*b + 5. Let z(j) = -6*f(j) - m(j). Let g be z(4). Let q = -4 - g. Is 2 a factor of q?
False
Suppose -3*m = -2*m - 9. Does 23 divide (-239)/(-5) + m/45?
False
Suppose -332 = -0*t + 4*t. Let v = 118 + t. Does 15 divide v?
False
Let j(o) = 13*o + 8. Let p be j(6). Let b = 20 + p. Suppose 2*y + b = 3*s, 4*s + y = 71 + 52. Does 17 divide s?
False
Let w = -9 + 154. Does 29 divide w?
True
Is 2 a factor of 3/(-2 + (-22)/(-8))?
True
Let w(s) = -s - 7. Let h be w(-7). Is 18 a factor of 1 - -22 - (2 + h)?
False
Let d be (4 + 1)*(-8)/10. Is 67 - (4 + 4 + d) a multiple of 21?
True
Let m = -1 + 39. Is m a multiple of 12?
False
Let s be (-1)/3*(-9 - 0). Let g = -5 + s. Is 9 a factor of (-18)/(-2 + (-1 - g))?
True
Suppose -3*w + 292 = -8. Does 20 divide w?
True
Let g(m) = -m**3 - 2*m**2 + 7*m + 9. Does 10 divide g(-4)?
False
Let w(m) = -m**3 + 5*m**2 - 2*m. Let x(v) = -v**3 - 4*v**2 - 3*v + 2. Let o be x(-3). Let k be w(o). Suppose 3*q - k*q = -15. Is q even?
False
Suppose w + 0*n = n + 252, 0 = 3*w + 3*n - 756. Does 7 divide w?
True
Let v = 48 + 23. Is v a multiple of 11?
False
Suppose 11*p - 5*p - 504 = 0. Is 12 a factor of p?
True
Let y(o) = 2*o**2 + o. Let u be y(1). Suppose 0 = -u*v - 101 + 332. Suppose -5*s = 2*a - v, -3*s + 41 = -0*s - 4*a. Is 15 a factor of s?
True
Let z(t) = t**2 - 7*t + 7. Let d be 5 + -2 + 0 - -3. Let u = 2 + d. Does 7 divide z(u)?
False
Does 6 divide (-448)/(-3) - 8/(-12)?
True
Suppose -n + 109 = 2*r, 0*n = 5*n - 15. Suppose -3*m - 1 = r. Let c = 31 + m. Does 9 divide c?
False
Does 41 divide (-168 + 4)*(-2 - 9/(-6))?
True
Let n = 5 - -1. Suppose j = 36 - n. Is 15 a factor of j?
True
Suppose -3*c - 60 = -8*c + v, -5*c + 4*v + 75 = 0. Let h = c - 4. Is 7 a factor of h?
True
Let u(x) = -x**3 - x**2 - x. Let o(z) = -z**3 + 10*z**2 + 14*z + 11. Let s(a) = -o(a) + 2*u(a). Let c be s(-11). Let q = c + -11. Does 11 divide q?
True
Suppose 3 = 5*h - 7. Let o(v) = -2*v - 8*v + h*v. Is 4 a factor of o(-1)?
True
Let j = -6 + 9. Suppose 3*l + 2*l - 5*v - 165 = 0, -j*v = 3*l - 105. Is 17 a factor of l?
True
Let f(n) be the first derivative of -n**3/3 + 2*n**2 - 2*n + 3. Let y be f(4). Does 13 divide 19 - (y - (-2 + -1))?
False
Let v(c) = -c**2 + 15*c + 12. Does 8 divide v(12)?
True
Let q(i) = 14*i - 3. Let j(s) = -15*s + 2. Let y(g) = -4*j(g) - 3*q(g). Let f be -2 - (-3 - -2) - -2. Does 19 divide y(f)?
True
Let z(y) = -8*y - 3. Let j(i) = -7*i - 4. Let h(f) = 4*j(f) - 3*z(f). Is 17 a factor of h(-6)?
True
Suppose -4*z + 194 = 3*c, -2*c = -z - 0*z - 122. Let w = c - 36. Let x = w + -9. Is 11 a factor of x?
False
Let d(u) = 37*u + 9. Let b(w) = 56*w + 13. Let g(f) = 5*b(f) - 7*d(f). Does 22 divide g(2)?
True
Let o(c) = c + 13. Is 2 a factor of o(-9)?
True
Let r be (-16)/8 + 44 + 1. Let k = r - 15. Suppose -s + k = s. Is 7 a factor of s?
True
Suppose 3*j - 24 = -j. Let v = j + -2. Is v a multiple of 2?
True
Let s = -18 - -30. Is 6 a factor of s?
True
Suppose 4*b - 2*g +