 4*x**2 + 5*x + 5. Let i be c(-5). Suppose -2*b - 5*o = -236, 4*b + 10*o = i*o + 452. Is 27 a factor of b?
True
Does 53 divide -3 + 691 + (0 - 4 - -5)?
True
Suppose 3*m - 18 = -3*z - 0, -5*z = -5*m - 30. Let g(r) be the first derivative of -r**4/4 + 5*r**3/3 + 9*r**2/2 - 2*r - 2. Is 4 a factor of g(z)?
True
Let q be ((-5)/3)/(2/(-78)). Suppose -11*p + 6*p = -q. Let s(u) = -u**3 + 12*u**2 + 18*u - 12. Does 22 divide s(p)?
False
Let m = -64 - -45. Let l = m + 33. Let d = l - -4. Is 6 a factor of d?
True
Let h be 30 + -6*(-2)/6. Suppose -q = -96 + h. Does 16 divide q?
True
Let q(f) = 2*f**2 + 19*f - 19. Let v be q(-8). Let h = v - -117. Is 12 a factor of h?
False
Let u(q) = -39*q**3 + 2*q**2 + 2. Does 29 divide u(-3)?
True
Let a(m) = 13*m**3 + 33*m**2 + 22*m - 23. Let n(q) = -7*q**3 - 17*q**2 - 11*q + 11. Let z(c) = -6*a(c) - 11*n(c). Is 9 a factor of z(-10)?
True
Suppose 0 = -5*s + l - 3*l + 660, 0 = -s - 3*l + 119. Suppose -6*p = -s - 190. Is p a multiple of 27?
True
Suppose 0 = -o + 39 - 15. Is 4 a factor of o?
True
Let h(c) = 2*c**3 - 8*c**2 + 5*c - 28. Suppose -l + 14*l = 78. Does 14 divide h(l)?
False
Let g(c) = 2 + 1 + 2*c**2 + 2*c - 2*c**2 - 3*c**2. Let s be g(4). Does 14 divide (s/(-3) - -2)*3?
False
Suppose 9*o - 1 = 8*o. Does 34 divide 9/o + -4 + 39?
False
Suppose 5*g + 0*y - 6 = -y, y + 10 = 3*g. Does 15 divide 45/g*(9 + -1 + -2)?
True
Suppose -2 = -h + 4. Suppose -h*b + 2*b = -924. Does 18 divide (24/(-14))/((-11)/b)?
True
Let h(k) = 3*k**2 + 6*k + 11. Let w be h(-4). Suppose 2*f + y = 29, 5*f + y - w = 30. Is f a multiple of 12?
True
Suppose 128 = 2*x + 2*x + 4*p, -5*x + 160 = 4*p. Let y be x/(-14) - 2/(-7). Is 9 a factor of y/(-13) + (-3208)/(-104)?
False
Suppose -5*a + 3749 = 469. Does 2 divide a?
True
Let t(r) = 15*r**3 - 21*r**2 - 29*r - 20. Let c(v) = -7*v**3 + 10*v**2 + 14*v + 10. Let n(p) = -13*c(p) - 6*t(p). Is 22 a factor of n(7)?
False
Suppose 12*w - 646 - 1118 = 0. Suppose 7*u = 10*u - w. Does 12 divide u?
False
Suppose -4*d - 4252 = -3*g - 572, 2440 = 2*g + 4*d. Is 36 a factor of g?
True
Let d(v) = 21*v**2 + 4*v + 3. Suppose -3*u = 4*f + 15 + 10, 4*u + 4 = 2*f. Is 37 a factor of d(u)?
False
Let u = -25 - -13. Is 1/6 - 106/u a multiple of 3?
True
Suppose 3*s - 3 = 4*s. Let g(l) = -l**3 - 2*l**2 + 3*l + 4. Let p be g(s). Is ((-106)/p)/((-8)/16) a multiple of 13?
False
Suppose 0 = 11*a - 377 - 591. Is a a multiple of 8?
True
Suppose 5*h + 7265 = 3*r, 2*r + 3*h - 2518 - 2319 = 0. Is r a multiple of 22?
True
Let v(w) = -w**3 - w**2 + 2. Let r be v(-2). Let y(n) = -25*n**2 - 8 + 6*n + 2*n + 24*n**2. Is y(r) a multiple of 3?
False
Suppose -63*u + 62*u - 2*g = -347, 0 = -u - g + 348. Is u a multiple of 2?
False
Let l(n) = -n**3 - 4*n**2 + 6*n + 9. Let o = -2 - 4. Let v be l(o). Suppose 2*j + j - v = 0. Is j a multiple of 15?
True
Suppose -m = -0*m - 3, 0 = 4*d - 5*m - 9. Suppose 9*p = d*p + 78. Does 15 divide p?
False
Is 18 a factor of 931/5 - (12/(-15))/(-4)?
False
Suppose 0 = 234*a - 235*a + 1925. Does 34 divide a?
False
Let r = -3067 + 4596. Is 11 a factor of r?
True
Suppose 2*h + 4958 = 3*o, -o = -26*h + 29*h - 1649. Does 14 divide o?
True
Let p(r) = 30*r**2 + r + 1. Let b be 3/(1 - -8)*3. Is 8 a factor of p(b)?
True
Let z = -143 - -148. Does 2 divide z/(-20) - (-266)/8?
False
Suppose 28*z = 71*z - 25800. Is 25 a factor of z?
True
Let f be (-38)/14 + 3 + 9/(-7). Is 218 + 2 + -6 + f a multiple of 41?
False
Let u(p) = 7 + 0 + 1 - 5*p + 25*p**3 - 4. Is u(1) a multiple of 23?
False
Let y(f) = -342*f - 6. Is 7 a factor of y(-1)?
True
Suppose -2*h + 180 = -6*h. Let x = -19 - h. Let j = -15 + x. Does 9 divide j?
False
Let z be 604*(-4)/(-5 + -3). Suppose 25 = 3*c - z. Suppose 2*q + u - 3*u = 72, c = 3*q - 4*u. Is 18 a factor of q?
False
Let s(q) = 82*q - 93. Is 58 a factor of s(14)?
False
Let u(r) = r**2 - 2*r + 1. Let q be u(1). Suppose -2*c - c = q. Suppose 2*w + 2 = n, c = -4*n - w + 34 + 1. Is n a multiple of 4?
True
Let v(r) = -5*r**3 - 7*r**2 - 14*r - 2. Let b be v(-6). Is 6 a factor of 4/(-7) - b/(-49)?
True
Let k = -92 + 202. Suppose -22*z = -17*z - k. Suppose -280 = 18*n - z*n. Does 10 divide n?
True
Let j(i) be the first derivative of -30*i**2 - i - 10. Is j(-1) a multiple of 27?
False
Let b be 8/3*(-5)/(10/(-3)). Suppose b*t - 502 = -2*m - 98, -2*m + 8 = 0. Does 33 divide t?
True
Let s = 1229 - 1058. Is 9 a factor of s?
True
Suppose -54 = -4*y - 3*n - 23, n - 13 = -2*y. Let g be (15/6)/(-5) + 85/2. Suppose y*x - 3*x = g. Is 14 a factor of x?
True
Suppose 0 = -9*j - j + 20. Suppose -z - j*r + 36 = -10, -3*z + 3*r = -174. Does 18 divide z?
True
Let k(m) = 2*m**3 - 10*m**2 + m + 2. Does 9 divide k(9)?
False
Suppose -45 = 16*b - 17*b. Suppose -2*i - j = -b - 88, 5*j = -5*i + 320. Is i a multiple of 9?
False
Suppose 4*b = -g + 864, -b + 284 = -4*g + 68. Let s be b/(-21) + 6/21. Does 16 divide (0 + 12/s)*-40?
True
Let p(k) = 38*k + 1147. Does 31 divide p(0)?
True
Let u(d) = d**3 + 4*d**2 - 4*d + 9. Let r be u(-5). Suppose -2*b - 36 = -r*f + 24, -36 = -2*f + 4*b. Is f a multiple of 2?
True
Suppose 41*o = 40*o + 258. Does 43 divide o?
True
Does 12 divide (9/6)/(3/558)?
False
Let a(t) = -t - 12. Let g be a(-10). Let f = g + 2. Suppose 129 = 2*p - 5*x, -3*p + f*p + 4*x + 176 = 0. Does 26 divide p?
True
Suppose -4*z = -2*z - n - 21, 5*z - 52 = 3*n. Let u(f) = f + 10*f**3 + z*f**2 + 2 + 16*f**2 - 29*f**2. Does 27 divide u(2)?
False
Let u = -4 - -6. Suppose 58 - 83 = -5*k. Suppose 162 = 4*h + t - 81, k*h - u*t - 294 = 0. Is h a multiple of 15?
True
Let a = 107 + -60. Let d(i) = a*i - 13*i + 0*i - 4. Is 16 a factor of d(2)?
True
Suppose 2*t + 3*k - 35 = -3*t, 4 = -4*t + 4*k. Suppose 0 = t*d + 4*v - 356, -2*v + 0*v + 268 = 3*d. Let w = d - 54. Is w a multiple of 36?
True
Suppose 5*d - 4*i + 17 = -5, -3*d - 2*i - 22 = 0. Is (-42)/63 - 1/(d/2314) a multiple of 43?
False
Let f(o) = -11*o - 63. Is f(-18) a multiple of 27?
True
Let j(n) = -5*n**2 + 28*n + 1. Let w(h) = -h**2 + h. Let x(z) = j(z) - 4*w(z). Is x(11) a multiple of 18?
True
Let n(r) = -r**2 + 2*r - 13. Let d(q) = -q**2 - q. Let c(h) = -2*d(h) - 2*n(h). Is 34 a factor of c(-5)?
True
Let g be 8/6 + (-63)/27. Let o be (5/10)/(g/(-2)). Does 11 divide (16 + -17)/(o/(-13))?
False
Let o(d) = 17*d**2 + 6*d - 1. Is o(3) a multiple of 34?
True
Suppose -z + 267 = 61. Let j = z - 86. Is 24 a factor of j?
True
Suppose 0*r + 2*r + 6 = 0, -c = -2*r - 439. Let h be (-9)/27 - 862/(-3). Let k = c - h. Does 32 divide k?
False
Let g(p) = -p + 14. Let d be g(11). Suppose d*z - 4*z = -53. Is z a multiple of 8?
False
Let n(h) = h**3 - 4*h**2 + 5*h - 2. Is 14 a factor of n(8)?
True
Let f = -193 + 273. Suppose 11*v + f = 16*v. Is 3 a factor of v?
False
Let u be 6/(-3) - (-3 + -1). Suppose 0 = u*v + 3*v + 4*h - 14, -3*h = -v + 18. Is 26 a factor of 4 - -33 - v/(-3)?
False
Let n(w) = -13 - 4*w - 15 + 7. Is 9 a factor of n(-12)?
True
Let y be -1 + (26472/(-3))/(-4). Suppose 6*b = y - 333. Suppose -l = 3*l - b. Does 17 divide l?
False
Let a(t) = -t + 4. Let b be a(8). Let l(g) = -11*g - 10. Is l(b) a multiple of 17?
True
Suppose 15 + 35 = 5*f. Suppose 0 = -f*m + 5*m + 15. Let j(g) = 4*g**3 - 4*g**2 - g + 4. Is 24 a factor of j(m)?
False
Suppose -d = -7*d + 2*d. Suppose -t - 15 + 28 = d. Does 9 divide t?
False
Suppose -3*t - 5*a = -10, 4*t = 3*a + 66 - 14. Suppose 10 + t = 4*r. Suppose 2*o - 53 = -5*h, -2*o = -r*o - 4*h + 76. Does 8 divide o?
True
Let v be (-8)/(-1)*183/6. Suppose 0 = -c + 5*d + 268, 0*c + c - v = -3*d. Is 35 a factor of c?
False
Let u(q) = -13*q**3 - q - 1. Let s be u(-2). Let x = s - 69. Is 12 a factor of x?
True
Suppose 6*k = 3022 - 1012. Is k a multiple of 5?
True
Let m = 25 - 25. Suppose g + g = m. Suppose 0*w - 4*w + 64 = g. Is 4 a factor of w?
True
Is (1/2)/(89/188502) a multiple of 27?
False
Let a = 2489 - 1759. Does 10 divide a?
True
Let l = 532 + -321. Let v = l + -151. Is v a multiple of 12?
True
Suppose 3*z - 14 = z - 2*g, -5*z + 45 = 3*g. Is 12 a factor of z?
True
Let l = -932 - -1730. Is l a multiple of 48?
False
Suppose -62 + 2 = 3*v. Suppose 78 = 4*x + t, -3*t - t = -8. Let r = x - v. Is r a multiple of 13?
True
Let o be 4/(-10) - 357/(-105). Suppose -40 - 158 = -o*u. Does 19 divide u?
False
Suppose -4*c - 130 = -5*m - 31, 0 = m + 2*c - 17. Is m even?
False
Let m(h) = -