*-2?
True
Let w = 26 + -10. Is 6 a factor of w?
False
Let w be (-2 - (-4 + 2))*-1. Suppose d + 0 - 4 = w. Is d a multiple of 2?
True
Let q = -26 + 37. Is q a multiple of 3?
False
Is 28 a factor of (23 - 21) + 3*74?
True
Suppose -5*u = 5*k - 5, 0*u + 3*k + 25 = 4*u. Let w = u - 1. Suppose 2*r = r + w. Is r a multiple of 3?
True
Let q = 3 + -2. Let t = 3 + q. Suppose -5*p + 64 = 4*l, 0*p - 4*p + t*l + 80 = 0. Does 8 divide p?
True
Let a(k) = 7*k - 3. Let c(u) = -7*u + 2. Let p = -4 + 9. Let z(l) = p*c(l) + 4*a(l). Is 19 a factor of z(-3)?
True
Let n = 7 + -2. Suppose -4*j + 0*b + n*b = -24, -j = -2*b - 3. Is 9 a factor of j?
False
Suppose -p = -4 - 25. Does 6 divide p?
False
Let i = 134 + 34. Does 28 divide i?
True
Let j(u) = -1 - 7*u - 4*u**2 + 5*u**3 + 8 - 4*u**3. Is j(6) a multiple of 12?
False
Suppose -2*g + 105 = -25. Is g a multiple of 26?
False
Suppose -4*w = w - 100. Is 10 a factor of w?
True
Let t(s) = -s**3 + 5*s**2 + 7*s - 8. Let x be t(6). Let k = x - -12. Does 5 divide k?
True
Let f(p) = p**3 - 2 + 4*p**3 - p - 3*p**3 + 3*p**2. Is 12 a factor of f(2)?
True
Let c(t) = t + 4. Let q be c(0). Let a be q*2*1/2. Is (-18)/a*8/(-3) a multiple of 8?
False
Let v be (27/12)/((-6)/(-16)). Suppose -v*p + 2*p + 68 = 0. Does 7 divide p?
False
Let x(w) = -10*w + 2 + 2*w - 12*w - 3. Let o(p) = -p**3 + p - 1. Let n be o(1). Is x(n) a multiple of 9?
False
Suppose 10 = j + 2. Suppose d = -4*y + 9, y - 34 = -5*d - j. Is 3 a factor of d?
False
Let v(o) = 3 - 4 - 9*o - 25*o**2 + 24*o**2. Let p = 7 + -13. Does 5 divide v(p)?
False
Let o(a) = 1 + a**2 - 1 - 3 - 1 + 3*a. Let m be o(-7). Suppose -25 = -2*r + 3*u, 0*r + 2*u + m = 2*r. Is r a multiple of 6?
False
Let x(p) be the third derivative of p**5/30 + p**3/6 - 2*p**2. Let m be x(1). Let y(c) = 13*c + 2. Is 20 a factor of y(m)?
False
Suppose 0 = -4*a + 181 - 17. Does 15 divide a?
False
Let y = 1 - 1. Let i = 0 + y. Let v(m) = -m + 9. Does 4 divide v(i)?
False
Let s(l) = -l - 5. Let h be s(-5). Suppose -5*y = d + 7, 4*y + 3*d = -d - 12. Is 13 a factor of 43 - h*y/1?
False
Is 6/9 - (-100)/12 a multiple of 3?
True
Let p(f) = -58*f - 6. Is 13 a factor of p(-2)?
False
Let x(m) = 3*m - 38. Is x(16) a multiple of 3?
False
Let v(q) = q + 1. Let g(m) = 5*m + 2. Let o(z) = g(z) - 4*v(z). Let r be o(8). Suppose -132 + r = -3*d. Is d a multiple of 14?
True
Let f be (-1)/3 - 58/(-3). Let t = f - 13. Does 11 divide (8/10)/(t/180)?
False
Let w = -21 + 52. Suppose -d + 11 - 28 = 0. Let g = d + w. Is 14 a factor of g?
True
Let b(t) = -3*t - 2. Let w(r) = 2*r + 3. Let v(y) = -y**3 + 7*y**2 - 7*y + 2. Let n be v(6). Let l(p) = n*b(p) - 5*w(p). Does 5 divide l(11)?
True
Suppose 4*l - 16 + 0 = 0. Suppose -2 = 2*t + l*k - 38, 3*t + 3*k = 63. Is t a multiple of 12?
True
Suppose 60 = -2*y - 12. Does 3 divide (y/30)/((-2)/5)?
True
Let p(a) = a**2 - 10*a + 12. Let l be p(8). Let u = l + 9. Is u a multiple of 2?
False
Suppose 0 = 7*s - 2*s + 5. Let t be (-38)/s - 3/3. Suppose 2*p - 27 - t = -3*g, 0 = -g + 4. Is p a multiple of 13?
True
Let y = 19 + 49. Is y a multiple of 13?
False
Let g(m) = m**2 - 3*m + 12. Does 20 divide g(-9)?
True
Suppose -3*l - 3*u - 105 = -6*l, 0 = 3*l + 4*u - 140. Suppose -3*q - 10 - 8 = -a, 4*q + l = 2*a. Does 11 divide a?
False
Suppose 0 = 3*t + 2*y - 78, -5*y + 17 = t + 4. Is 7 a factor of t?
True
Let o = -8 + 14. Suppose 4*x - o = 2. Does 13 divide (25 - 0) + x/2?
True
Suppose -84 = -3*g + 132. Does 11 divide g?
False
Let h = -17 - -19. Suppose -3*y + 2*n = 2*y - 14, 2*y + n = 2. Suppose -y*v = h*v - 64. Is 8 a factor of v?
True
Let o be 7/2 + 3/(-6). Is 25/o + (-4)/(-6) a multiple of 5?
False
Suppose -53 = -w + 80. Is w a multiple of 50?
False
Let t(i) = 6*i**2 + 20 + 0*i**2 + 7*i + 10*i - 4*i**2. Is 24 a factor of t(-10)?
False
Let b(v) = 23*v**2 + 2*v - 6. Does 15 divide b(-3)?
True
Let z(m) = -5*m**2 + 3 - 1 + 3*m - 3 + 0*m**3 - m**3. Is 15 a factor of z(-6)?
False
Let s(t) = 16*t**2 + 2*t - 6. Is 22 a factor of s(-3)?
True
Suppose 5*l = -n + 272, 0 = -3*l - n + 2*n + 160. Let o = 1 - 1. Suppose -r - r + l = o. Is 7 a factor of r?
False
Suppose 3*w + y = 97, w + y - 11 = 22. Let b = w + -12. Is 12 a factor of b?
False
Does 9 divide (2 + 4/(-6))/((-4)/(-174))?
False
Let z(d) = d**3 + 7*d**2 + 4*d - 7. Let o be z(-6). Suppose 3*w - o*p + 7 = -0*w, -5*w - 4*p = -50. Does 4 divide w?
False
Let w = -10 + 30. Is 12 a factor of w?
False
Is 4/6*(-81)/(-6) even?
False
Suppose v + 515 = 3*n, 4*n - 246 = -2*v + 454. Let s(w) = 34*w + 4. Let y be s(4). Suppose -4*r + y = 4*a - 0*a, 0 = 5*r + 3*a - n. Is r a multiple of 14?
False
Let a(m) = 2 + 2*m**2 + 3*m + 4 + 4*m + 1. Does 12 divide a(-6)?
False
Let t(a) = 3*a**2 - 2*a - 1. Is 28 a factor of t(-5)?
True
Suppose -5*a + 0 = -w + 12, 5*w = -3*a + 4. Is 12 a factor of 8/3*9 + a?
False
Suppose -2*h + 3*h - 4 = 0. Suppose 3*d - h*d + 16 = 0. Does 4 divide d?
True
Let i(w) = -4*w - 1. Let k be i(-2). Let q = k - 2. Suppose q*g + 35 = 4*t, t + 2*g - 8 = 17. Does 8 divide t?
False
Let y(t) = t**3 - 16*t**2 - 6*t - 14. Does 15 divide y(17)?
False
Let u(l) = 2*l**2 + 5*l - 1. Is u(-4) even?
False
Let m be 5 - (-1 + 0 - 0). Is 21 a factor of 46 - 3/m*8?
True
Suppose -292 = -0*r - 4*r. Suppose -4*c = 54 + 54. Let j = c + r. Is 23 a factor of j?
True
Let u(c) = c**2 - 3*c + 14. Is u(-5) a multiple of 4?
False
Suppose -4*v = -5*h + 1055, 3*h = -4*v + 2*v + 633. Is h a multiple of 56?
False
Let t = 45 - 41. Is t a multiple of 2?
True
Let k(x) = -x. Let t(p) = p - 4. Let f be t(7). Suppose -f*n = a + 2*a + 21, -9 = a + 3*n. Is 6 a factor of k(a)?
True
Suppose -3*i = -2*n + 3*n - 5, -4*n - 2*i = -50. Does 7 divide n?
True
Suppose -5*o - 160 = -10*o. Let a = 47 - o. Is 10 a factor of a?
False
Let g(x) = x - 19. Let r be g(0). Let d = -13 - r. Is d a multiple of 6?
True
Suppose 5*d - 5*g = -41 + 401, 2*g = 4*d - 282. Does 26 divide d?
False
Let z(b) = -b**3 - 8*b**2 + 6*b + 9. Let p be z(-9). Let r = -16 + p. Does 10 divide r?
True
Suppose 8*w = 4*w. Let s(p) = p**3 - p**2 + 6. Is s(w) even?
True
Let k(s) = 4*s**3 - 2*s**2 + 3*s + 3. Is k(3) a multiple of 34?
True
Let u(p) = p**2 + 6*p + 3. Let w(z) = z**2 + 6*z + 4. Let h(a) = -3*u(a) + 4*w(a). Let n be h(-5). Suppose n*y - 57 = -y. Does 19 divide y?
True
Let d = 13 + -11. Let h(p) = 4*p**2 + 2*p + 1. Is 21 a factor of h(d)?
True
Let p be (-6)/(-15) - (-6)/(-15). Suppose p = -0*b + 2*b - 4. Suppose -b*k + 56 = -2*z, 2*z = -3*k + 46 + 28. Is 10 a factor of k?
False
Let n = 10 - 10. Suppose -16 = -2*v - n. Does 8 divide v?
True
Suppose 11*a = 122 + 461. Is 3 a factor of a?
False
Let w(a) = 4*a - 1. Let q be w(-10). Let f = -19 - q. Is f a multiple of 9?
False
Let b(m) = -9*m - 2. Let i be b(2). Suppose 4*t + 12 = 168. Let y = t + i. Does 19 divide y?
True
Suppose -1 - 5 = -3*q, -4*j + q = -686. Is 13 a factor of j?
False
Let g = 44 + -31. Does 3 divide g?
False
Let w = -87 + 147. Is 12 a factor of w?
True
Let m = 19 + -16. Let r be 3/1*3/(-3). Is 12 a factor of 108/m + (r - -2)?
False
Let m(t) = t**3 + 7*t**2 - 5*t - 2. Let j be m(-7). Let v = j - 24. Is v even?
False
Let d(z) = 62*z**3 + z**2 - z + 1. Let j be d(1). Suppose m - j = 3*b, m - 2*b = -3*m + 222. Is 18 a factor of m?
True
Let t be ((-26)/(-3))/((-3)/9). Let k = 38 - t. Does 16 divide k?
True
Suppose -5*r + 1028 = -2*s, -20 = 5*s - 0*s. Does 12 divide r?
True
Let q(p) = -41*p. Let v(l) = -l**2 - 6*l - 6. Let i = 8 + -13. Let a be v(i). Does 11 divide q(a)?
False
Suppose -5*i - 3*u - 585 = 0, 2*u - 3*u - 234 = 2*i. Let r = 83 + i. Let b = 56 + r. Does 11 divide b?
True
Suppose -2*i - 5*b + b - 2 = 0, -55 = -5*i + 2*b. Is i a multiple of 2?
False
Let c(b) = b**3 - 3*b**2 - 5*b - 7. Suppose 0*y + 5 = y. Does 18 divide c(y)?
True
Let h = 12 + -5. Let x(a) = 8*a**3 + 12*a**2 + 12*a - 14. Let i(r) = -7*r**3 - 11*r**2 - 11*r + 13. Let v(b) = h*i(b) + 6*x(b). Does 9 divide v(-5)?
False
Let u(x) = 6*x - 1. Let l be u(1). Let c be l/((-5)/(-2)) + 0. Suppose 3*d - 51 = -c*h, -5*d - h + 34 = -3*d. Is d a multiple of 6?
False
Suppose 23 = -u + 2*u. Is u a multiple of 23?
True
Let i be -1 - -9 - (0 - -3). Let s(n) = -n**3 + 9*n**2 - 6*n - 5. Is s(i) a multiple of 13?
True
Let p = 396 - 263. Is p a multiple of 33?
False
Suppose -3*u = 3*c - 387, 4*c - 5*u - 621 = -96. Does 15 d