b be o(-3). Suppose -4*y = -s, b*v - 2*y = 3*y + 56. Is v a multiple of 24?
False
Suppose -f = -2*d - 336, 0*f - 3*f - 486 = 3*d. Let u = d + 304. Is 34 a factor of u?
False
Suppose 12*k - 27 = -3. Suppose -263 = -5*t - 4*h, -3*h - 45 = -k*t + 51. Does 13 divide t?
False
Is 23 a factor of (2 + -5)*3542/(-21)?
True
Let b = 62 + -16. Let n(a) = 56*a - 1. Let g be n(1). Let j = g + b. Does 31 divide j?
False
Suppose -x + 2407 = 5*k - 1489, -5*x = 20. Is k a multiple of 15?
True
Let u = 109 + -157. Let y be (-2 - u/14)*35. Suppose 0 = -6*v + 5*v + y. Is v a multiple of 10?
True
Let w = 610 + -499. Does 27 divide w?
False
Let j(i) = -i**3 + i**2 - i. Let x(n) = 5*n**3 + 14*n + 8. Let f(q) = 6*j(q) + x(q). Let v be f(7). Suppose v = 2*r - 5. Is r a multiple of 5?
True
Let v = -24 - -27. Suppose v*h - 5*j = 197 + 109, h - 5*j = 112. Let t = h - 50. Does 14 divide t?
False
Let b(s) = s**2 - 5*s + 12. Let y be b(9). Is 13 a factor of -12*4/(y/(-148))?
False
Let g(s) be the first derivative of 3*s**4/4 - 4*s**3/3 + 3*s + 35. Does 6 divide g(3)?
True
Let u(h) = h**2 - 15*h - 4. Is u(-17) a multiple of 10?
True
Let p(m) = -2*m**2 - 26*m - 13. Let i be p(-10). Suppose 0 = -y + 57 + i. Is 12 a factor of y?
False
Let m be 1 + (142 + -1)*6/9. Let i = 122 - m. Does 6 divide i?
False
Let d(s) = s**2 - 1. Let u(o) = o**2 + 8*o - 9. Let m(k) = 2*d(k) - u(k). Let p be m(7). Suppose 0*y + 2*y + 18 = 2*x, p = x + y - 15. Is 3 a factor of x?
True
Let l(c) = -c**2 + 22*c - 19. Let x be l(21). Does 21 divide (-15)/(-15) + 10*x?
True
Suppose 4*m - 10907 = 63*d - 64*d, 8209 = 3*m - 5*d. Does 21 divide m?
False
Let n(m) = 25*m + 8. Let q be n(14). Is 10 a factor of (-4)/(-16) + (-2)/((-16)/q)?
False
Suppose -v = -2*v - 5*j + 8, 5*j - 5 = 0. Suppose v*f + k - 26 - 53 = 0, 0 = f - 2*k - 17. Suppose 2*d - 3 = f. Is 7 a factor of d?
True
Suppose 1099 = 3*b + 4*i - 36, 0 = -2*i - 10. Let m = b + -223. Does 23 divide m?
False
Let b = 7743 - 4619. Is 81 a factor of b?
False
Suppose 4*c + 115 = 5*c. Let s = c - 60. Is s a multiple of 8?
False
Suppose 3*g - 7*g = 48. Does 16 divide (-1 + (-716)/g)*(-3)/(-1)?
True
Let i(x) be the third derivative of -x**5/60 + 3*x**4/8 - 3*x**3/2 - 5*x**2. Let b be i(7). Suppose b*p - p = 100. Is p a multiple of 10?
False
Let g(j) = j**3 + 13*j**2 + 21*j - 3. Let o be g(-11). Suppose -2*h + 6*h + 99 = b, -o = 2*h. Does 26 divide b?
False
Let c be (-78 + 2)/((-6)/27). Suppose -i + 2*g = 0, 0 = -i - 0*i - 3*g + 5. Suppose c - i = 5*v. Is 17 a factor of v?
True
Let m be -2 - -1 - (-4 - -1159). Is 15 a factor of 2/(-8) + m/(-16)?
False
Suppose 493 = 2*i + 3*c + 98, 6 = 2*c. Suppose 0 = 5*l + q - i, -123 = -2*l - l - 3*q. Does 4 divide l?
False
Is 3294/(-162)*(-1 - 2) even?
False
Is 5 a factor of (-1)/(-3) - (-22860)/108?
False
Suppose -2*p - 6 + 4 = 0. Let n be (p/3)/(4/(-48)). Suppose n*d - 38 = c, 6*d = 2*d + 5*c + 46. Is 9 a factor of d?
True
Let y(l) = l**2 - 8*l + 14. Let k be y(6). Suppose -7*j = -k*j + 705. Let w = j - -254. Is w a multiple of 29?
False
Suppose 0 = -4*c + 4, -3*c + 204 = 5*f - 239. Let z = -57 + f. Let k = z + -15. Is k a multiple of 11?
False
Let g(o) = -o**2 + 4*o - 6. Let c(k) = 5*k**2 - 21*k + 31. Let p(b) = 2*c(b) + 11*g(b). Let w be p(2). Is (-142)/(-9) - w/18 a multiple of 12?
False
Suppose -2*s + 308 = d, 0 = -5*s + 4*d - 0*d + 744. Is 38 a factor of s?
True
Let o(z) = -10*z**2 - 19*z + 16. Let m(g) = -2*g**2 - 4*g + 3. Let v(p) = -p + 6. Let f be v(4). Let y(b) = f*o(b) - 11*m(b). Does 4 divide y(-5)?
False
Let t = 434 + -429. Is 4 a factor of t?
False
Let y be (4 + 14/(-3))*-9. Let t = 48 - y. Is t a multiple of 21?
True
Suppose 7*n + 132 = 5*n. Let j = -228 - -134. Let o = n - j. Is o a multiple of 28?
True
Let t(v) = 3*v**2 + v - 1. Let u be t(1). Let x = 9 - u. Suppose 84 = x*j - 3*j. Is 13 a factor of j?
False
Suppose -f - 2 + 5 = 0. Suppose -12 = f*c - c. Is (c/(-4))/((-9)/(-222)) a multiple of 12?
False
Let q be 6/(-4)*(-32)/(-12). Let r be q/18 - (-145)/45. Is 17 a factor of (-4 - -10)*16/r?
False
Let w = 27 - 25. Let j = w + -2. Suppose j = -f - 4*f + 455. Is 15 a factor of f?
False
Suppose -7*w + 5082 = -2163. Does 45 divide w?
True
Let f = 11 - 10. Let t(u) = -5 + 6 - f + 16*u. Is t(3) a multiple of 16?
True
Let f(i) = -1 + 9 + 4*i - 8*i**3 - i**2 + 12*i**3. Let s(h) = -3*h**3 + h**2 - 5*h - 9. Let y(c) = -5*f(c) - 4*s(c). Does 16 divide y(-2)?
True
Let g = 740 - 497. Is 9 a factor of g?
True
Suppose 0 = 2*k + 4*k - 660. Is k a multiple of 23?
False
Suppose 46*r - 47*r + 10 = 0. Let v = r - -20. Is 10 a factor of v?
True
Suppose -3*j + 6*j = 78. Let b(m) = -3*m - 9. Let f be b(-3). Suppose 12*k - 13*k + j = f. Is k a multiple of 9?
False
Let n(y) = 37*y**2 + 4*y + 2. Suppose -5*w - 27 = -3*w - 5*f, -5*w - 4*f = -15. Does 11 divide n(w)?
False
Let l be 13 + -16 + 1*25. Suppose 2*w = 2*r + l, w + 6*r = 4*r + 8. Does 6 divide w?
False
Suppose 0 = -3*u - 5*d + 927, u - d - 2*d = 309. Let m be u/(-15) - (-4)/(-10). Let v = 0 - m. Does 6 divide v?
False
Suppose -3*x - 6 = 0, -3*o + 5*o + 6 = -3*x. Suppose 8*c + c - 504 = o. Does 7 divide c?
True
Suppose -70*t + 84748 + 3802 = 0. Is 8 a factor of t?
False
Suppose -2*t = -t. Suppose t = 2*r - 4 + 2. Let w = r - -13. Is 12 a factor of w?
False
Suppose 0 = 4*d - 17*d + 15353. Is d a multiple of 9?
False
Let g(j) = -2 + 3*j**3 - j**2 + 14*j - 16*j - 2*j**3. Let p be g(2). Does 18 divide 158*p/16*-4?
False
Suppose 60 = -5*w - 0*c - 5*c, -2*w - c = 21. Let z = 58 - w. Suppose z + 22 = d. Is d a multiple of 23?
False
Suppose -2147 = -2*h + 5*s, 7*s - 2167 = -2*h + 8*s. Does 4 divide h?
False
Let w(f) = 12*f - 15. Suppose 5*n - 4*r = -5*r + 55, 4*n - 2*r = 44. Is w(n) a multiple of 39?
True
Suppose -y + 0*y - 1500 = 0. Let j be (-6)/(-4)*y/(-45). Is 42/4*j/15 a multiple of 35?
True
Is 15*-9*((-33)/(-9) - 4) a multiple of 5?
True
Suppose -690 = 85*k - 88*k. Does 23 divide k?
True
Let q = -19 + 1129. Does 37 divide q?
True
Let l(i) = 2*i - 27. Let o be l(15). Suppose -o*k + 63 = -132. Is 65 a factor of k?
True
Suppose -3*n + 2 + 4 = 0. Suppose 0 = -n*o - 2*o + 8. Suppose 3*p - 72 = -o*f - p, 4*f - 5*p - 170 = 0. Does 11 divide f?
False
Let n = 152 + -148. Suppose -174 = -b - 0*v + 2*v, n*v = -4*b + 660. Is 24 a factor of b?
True
Let h(a) be the second derivative of -a**4/12 - 5*a**3/3 + 6*a**2 + 5*a. Let k be h(-9). Suppose -11 = -2*x + 2*y + k, 4*y = 3*x - 48. Does 16 divide x?
True
Let t be (-149)/(-7) - (-6)/(-21). Let j = t + -16. Suppose 56 + 34 = j*l. Is l a multiple of 9?
True
Let h(q) = 23*q**2 - 9*q + 28*q + q**3 - 3 - 34*q**2. Is 6 a factor of h(9)?
True
Suppose 3*d = -3*i - i - 7, -5*d = -4*i + 33. Suppose i*x - 5*x = -12. Suppose 0 = -4*v + v - 5*s + 257, 0 = x*v + 3*s - 350. Is 25 a factor of v?
False
Does 19 divide 9/(-54) - (-3800)/48?
False
Suppose -k + 501 = -312. Is 16 a factor of k?
False
Suppose 3*k - 5*s - 11718 = 0, 5*k + 19*s - 19570 = 14*s. Is 15 a factor of k?
False
Let s(n) = -3*n + 22. Suppose 0 = -4*a - 3*t - 38, -a = 2*a - 5*t + 43. Does 11 divide s(a)?
True
Let m be (76/(-6))/((-15)/(135/(-2))). Let r = m - -182. Does 18 divide r?
False
Let p(u) = u**3 - 4*u**2 + 3*u + 1. Let l be p(3). Let f = 3 + l. Suppose 0 = -7*y + f*y + 15. Is 2 a factor of y?
False
Suppose -z = 22 - 2. Suppose -10*h + 7*h = -96. Let w = h + z. Does 12 divide w?
True
Let n = -143 + 144. Let b(j) = j**2 + 6*j - 6. Let l be b(-7). Is 7 a factor of (l - -2) + (12 - n)?
True
Suppose 0*f = 2*r - f + 83, -3*f - 31 = r. Is 8 a factor of -3*1/3*r?
True
Let s = -3203 - -6157. Is s a multiple of 16?
False
Suppose -111*j + 249315 = -45945. Is j a multiple of 70?
True
Let z(d) = -d + 3. Let c be 4/(-4) - -1*1. Let n be z(c). Suppose -72 = -3*w + n*r, -r = -5*w + r + 117. Does 7 divide w?
False
Let x(c) be the third derivative of 0 + 12*c**2 + 4/3*c**3 + 0*c - 1/24*c**4. Does 14 divide x(-6)?
True
Suppose 51307 = 37*d + 6204. Is d a multiple of 53?
True
Suppose 0 = z - 3 + 4, 5*g = -z + 79. Suppose 4*f = 2*y - g, 1 = -f - 2. Is y a multiple of 2?
True
Suppose -37*t - 176 = -4*l - 39*t, t - 220 = -5*l. Is l a multiple of 11?
True
Let p be ((-3)/4)/((-2)/8). Suppose p*n + 3*b = 57, -42 - 1 = -2*n - b. Is 4 a factor of n?
True
Let i be (-4 - -2) + (5 - 3). Suppose -5*j - 342 = -2*q - 