3*y + y - c, -r - 41 = -5*y. Is y even?
False
Suppose -9*y - 13*y + 5940 = 0. Is y a multiple of 6?
True
Let j(x) = 127*x**2 + 2*x + 16. Does 68 divide j(-2)?
False
Is ((-13)/(-4) + -3)/(13/20644) a multiple of 92?
False
Let j be (385/10)/(-11)*(-2 - -4). Suppose 0 = 4*g, -2*g - 2 - 10 = -a. Is (-7)/(j/a)*2 a multiple of 24?
True
Suppose 4*g - x - 9 = 0, 4*g + 3*x = -0*x + 5. Suppose 4*h + 0*h - 92 = -g*k, -121 = -5*h - k. Suppose -2*f + h + 11 = 0. Is f a multiple of 9?
True
Let s = 48 + -45. Suppose -s*n + 396 = 141. Does 22 divide n?
False
Suppose 5*z = 5*g + 315, -z + 3*g + 14 = -41. Is 13 a factor of (-1 + z/2)*2?
True
Suppose -r - 37 = -41. Suppose 194 = r*t - 174. Is 23 a factor of t?
True
Suppose 147*l - 140*l = 2457. Does 39 divide l?
True
Suppose 0 = -2*m + f + 2, -3*m + f = -5. Suppose -m*g - 21 = -69. Is g a multiple of 8?
True
Suppose 217*z - 146 = 215*z. Is z a multiple of 6?
False
Is (-612)/45 + 13 + (-1718)/(-5) a multiple of 49?
True
Let f be (-388)/32 + 3/24. Is 9 a factor of (-4)/(-3) - 416/f?
True
Suppose -3104 + 444 = -14*m. Is 6 a factor of m?
False
Suppose -16152 = 1606*o - 1614*o. Does 113 divide o?
False
Suppose -4*u = 2*r - 40, -41*r + 48 = -39*r + 2*u. Let h = 7 + -5. Suppose r = h*j - 34. Is 5 a factor of j?
False
Suppose 2*s = 1824 - 224. Does 25 divide s?
True
Suppose 0 = 3*f - 324 + 276. Is f a multiple of 8?
True
Let x(t) be the first derivative of 3*t**3 - t**2/2 + 3*t - 7. Let m be x(-4). Let c = -58 + m. Does 31 divide c?
True
Suppose z + 2*r = -r + 19, -2*z + 4*r = -8. Suppose 5*d + z - 135 = 0. Is d a multiple of 24?
False
Let q be 6*2/4 - 2. Let y = q + 1. Suppose y*h + 2*o - 54 = 0, -3*h + 5*o + 45 = -4. Does 6 divide h?
False
Suppose 0 = -4*z - 8, z = -f - 10 - 2. Let d = -8 - f. Suppose 0 = -d*q + 12 + 114. Is 24 a factor of q?
False
Let i(y) = -2*y**2 - 2*y + 20. Let g be i(8). Is (-12)/18 - g/6 a multiple of 3?
False
Let d = 24 + -17. Suppose -d*l + 714 = -0*l. Is l a multiple of 17?
True
Let q be 10/(-25) - (-4)/10. Suppose -d - 2*o + 65 = q, -28 + 81 = d + 5*o. Let a = -50 + d. Does 8 divide a?
False
Let n be ((-10)/8)/(3/(-36)). Suppose -5*v - r + n = 4, r = v - 7. Suppose 0 = 3*m - 48 - v. Is 5 a factor of m?
False
Let p(y) = -y + 33. Let k = -35 - -35. Suppose 0 = -k*m + 5*m. Is p(m) a multiple of 11?
True
Let c(w) be the third derivative of -23*w**6/120 + w**4/24 + w**3/3 + 17*w**2. Is c(-1) a multiple of 4?
True
Let r(a) = 5*a**3 + a**2 - 10*a + 26. Does 10 divide r(3)?
True
Suppose -5*d - k + 1535 = 0, 4*d - 4*k - 1256 = -4. Does 8 divide d?
False
Does 17 divide 969/2*(-11 + (-35)/(-3))?
True
Suppose -q - 7 = 6. Let s = q - -28. Is 15 a factor of s?
True
Suppose 2*v - 6 = -v. Let k be 7/(-3)*(-11 + v). Is 7 a factor of k*(2 - (-1 - -2))?
True
Suppose -2*x + 4*j = -38, 3*j = 4*x - 94 - 7. Let r = -20 + x. Is 9 a factor of r?
True
Let x(q) = -q + 7. Let f be (2/(-6))/(2/(-48)). Let p be x(f). Let r = 5 - p. Does 3 divide r?
True
Let j(a) = a**3 + 3*a**2 - 1. Let u be j(-2). Suppose -2*g - u*g + 250 = 0. Does 6 divide g?
False
Suppose -45*p + 3332 = 632. Is 12 a factor of p?
True
Suppose 5*t = 4*n + 2685, 2*n = -3*t + n + 1611. Does 31 divide t?
False
Let y(b) = b**2 - 2. Let g be y(-5). Suppose g = 5*k + 133. Does 12 divide (6*k/3)/(-1)?
False
Suppose 2*z + 88 - 142 = 0. Does 6 divide z + -30 - (1 + -93)?
False
Let r be (-35)/28*(0 + -124). Let a = r + -7. Does 17 divide a?
False
Let u(f) = -f**3 - 16*f**2 - f + 26. Let h(i) = i**3 + 16*i**2 + i - 27. Let b(v) = 6*h(v) + 7*u(v). Does 18 divide b(-16)?
True
Let h = 294 + 176. Does 16 divide h?
False
Let p(q) = 135*q**2 + 1. Let z be p(-3). Is (z/(-80))/((-4)/10) a multiple of 19?
True
Let b(o) = -11*o**2 + o - 1. Let w(t) = t**3 - 3*t**2 + t. Let p be w(3). Let i be b(p). Does 10 divide (-11)/44 - i/4?
False
Let v(u) = -12*u**3 + 5*u - 6. Let i be v(3). Let g = i + 540. Does 15 divide g?
True
Suppose x = 9*x - 168. Let f = x + -16. Suppose 4*g = 3*w - 199, -f*w + 2*g + 262 = -w. Does 26 divide w?
False
Suppose 4*d - 97 = -2*q + q, -d + 5*q = 2. Is d a multiple of 10?
False
Let z(x) = 2*x**3 - 8*x**2 - 9*x - 3. Let j be z(5). Does 20 divide (j/5)/((-4)/(-1400))?
True
Let p(s) = 22*s**2 - 19*s + 6. Is p(-8) a multiple of 27?
True
Is (-3802)/(-4) - (-2)/(-4) a multiple of 25?
True
Suppose 5*m = -2*y + 7, -y - 2 = -4*m + 1. Let s be (99 - (-2 + 4))*y. Suppose s = h - 5. Is 17 a factor of h?
True
Let i = 6 + 1. Suppose c + 24 - i = 0. Let f = 20 - c. Is f a multiple of 15?
False
Suppose 2*x - 4019 = -t, -5*x - 5*t + 12385 = 2335. Is x a multiple of 7?
True
Suppose 5*z + 3*b = -425 - 396, 4*b = 3*z + 481. Let t = 3 - z. Is t a multiple of 28?
False
Let z(s) = -s**3 + 13*s**2 + 15*s - 24. Let r be z(10). Suppose -r = -3*m - 3*x, -2*m = -3*x - 2*x - 284. Is m a multiple of 16?
False
Suppose 3691 = 3*y - 5*n, -3*y - 4*n + 0*n + 3700 = 0. Does 16 divide y?
True
Suppose -3*v = -2*v - 4. Suppose w = -v*a + 220, w - 5*w - 165 = -3*a. Is (a/(-4))/((-2)/8) a multiple of 17?
False
Let z = 20 + -16. Let v = 8 - z. Let j(h) = 31*h + 8. Is j(v) a multiple of 18?
False
Let p(a) = 77*a - 44. Let s(b) = 116*b - 66. Let u(m) = 8*p(m) - 5*s(m). Is u(5) a multiple of 21?
False
Let h(v) = v + 8. Let t be h(-4). Suppose -t*n + 685 = -2*q + q, -2*q - 690 = -4*n. Is n a multiple of 34?
True
Let i = -7 - -5. Let y = 4 + i. Suppose -a = -r + 41, 4*a + 35 = -y*r + 3*r. Is 17 a factor of r?
False
Let z be 1/3*-2*45/(-6). Suppose -z*j + 978 = -2*j. Does 53 divide j?
False
Does 29 divide 6/4 + (-1369)/(-2)?
False
Let p(h) = h**2 + 12*h + 12. Let x be p(-12). Suppose 6*k - 2*k - x = 0. Suppose k*s + d - 265 = 0, -d - 439 = -5*s - 0*d. Is s a multiple of 25?
False
Let i(y) = 317*y**2 + 7*y - 5. Is 29 a factor of i(1)?
True
Let a = 145 - 164. Let y(m) = -11*m + 51. Is 20 a factor of y(a)?
True
Suppose -9*h + 7 + 785 = 0. Is 22 a factor of h?
True
Let f(r) = 3*r**2 + 2*r - 1. Let v be f(1). Suppose -p + 5*n - n = -20, -v*p + 3*n + 15 = 0. Suppose 5*a - 65 + 15 = p. Is 5 a factor of a?
True
Let i = 210 + -185. Is 3 a factor of i?
False
Suppose s = 138 + 17. Is 4 a factor of s?
False
Suppose -5*f - 2*r = -105, -2*f + 4*r = -7*f + 105. Suppose -18 = -5*t + 2. Suppose t = -d + f. Is 17 a factor of d?
True
Suppose 3*m - 4*b = 53, 3*m + 5*b = -17 + 52. Suppose -m*f = 2*f - 731. Is 10 a factor of f?
False
Let h(x) = 146*x - 254. Is 13 a factor of h(4)?
False
Let g(k) = 9*k**2 - 6*k - 101. Is 32 a factor of g(-7)?
False
Is 25 a factor of (20/(-14))/(16/(-2800))?
True
Let r be 2 - ((2 - 5) + 0). Let j(t) = r*t + 5*t + 2*t + 9. Is j(4) a multiple of 14?
False
Let t be (3/2)/((-2)/(-4)). Let s = t + -7. Does 7 divide (-69)/(-9) + s/6?
True
Suppose 4*r - 1226 = 1134. Is r a multiple of 24?
False
Let u be 1346/7 - (-2)/(-7). Suppose -3*k + u - 15 = 0. Is 6 a factor of k?
False
Is ((-2)/(-8)*6)/(3/1140) a multiple of 30?
True
Suppose 0 = -5*l + n + 2755, -l = -2*l + 5*n + 527. Is 24 a factor of l?
True
Let h = -145 + 885. Is h a multiple of 23?
False
Let l be 24/18 + (-2)/(-3). Suppose -l*a + 27 = -9. Suppose f = -f + a. Does 9 divide f?
True
Let o(t) = -306*t + 516. Is o(-5) a multiple of 33?
True
Let c = 5 + -3. Suppose c = -2*d, 0 = 7*r - 3*r - 5*d - 213. Suppose r = 4*s + 4*z, 3*z - 5 + 46 = 2*s. Is s a multiple of 16?
True
Let m be (-9)/1*(8/3)/(-8). Is (-2)/m + (-2010)/(-18) a multiple of 14?
False
Suppose 2*k + 2 = 5*k + a, 2*k + 5*a - 23 = 0. Let n be (-1)/(k*3/9). Suppose 4*d - 25 = n*v, -d + 4*v + 3 = 13. Is 5 a factor of d?
True
Suppose 5*i - 1594 = 4*o, 5*i - 11*o - 1622 = -14*o. Does 7 divide i?
True
Let l(h) = 4*h**2 - 17*h - 29. Let q be l(-10). Suppose 91 - q = -3*x. Does 25 divide x?
True
Let f(o) = -o**2 - 15*o + 13. Let r be (-20)/70 - 942/(-14). Suppose -m + h + h - 11 = 0, r = -5*m - 2*h. Does 13 divide f(m)?
True
Suppose 6732 = 4*j + 3*g + g, -5*g = -15. Suppose 2*h = -4*h + j. Is h a multiple of 40?
True
Let j = 10 - 19. Let d = -15 - j. Let b = -3 - d. Is 2 a factor of b?
False
Suppose -6*a + 4*a = -6. Suppose 0 = m + 5, -a*r + 6*r - 251 = m. Is 23 a factor of r?
False
Let l(s) be the third derivative of -s**6/120 + s**5/60 + s**3/3 - 5*s**2. Let y be l(0). Let q(j) = 6*j**3 - 3*j**2. Is q(y) a multiple of 12?
True
Suppose 4*p = -5*x + 19, -2*x = 2*x + 4*p - 16. Is 2/x 