Let i(b) = -b**3 - 10*b**2 - 7*b - 4. Let a be i(d). Suppose 6 + a = 4*y. Does 9 divide y?
True
Let y = 21 + -19. Suppose 3*d - 108 = -3*x, y*x - 27 = -d - 2*x. Let s = d - -33. Is s a multiple of 24?
True
Suppose -2*z - 154 = 64. Let j = 76 + z. Does 4 divide (-12)/2*88/j?
True
Let k be ((-3)/(-6))/(1/(-16)). Let y(p) = p**3 + 8*p**2 - 5*p - 4. Let f be y(k). Does 5 divide 6/f - 177/(-18)?
True
Is ((-3416)/(-21))/((-1)/(-15)) a multiple of 20?
True
Suppose -24*z + 21*z + 238 = -5*a, 0 = 2*z - 4*a - 162. Is 6 a factor of z?
False
Let h(o) = o + 11. Let d be h(-6). Suppose 0 = 2*s + u - 251, -4*s = d*u - 314 - 191. Is 25 a factor of s?
True
Suppose 0*o + 4*o - 5*v = 20, -4*o + 4*v + 20 = 0. Suppose 0 = 4*t + 4*d + 56, 0 = -5*d + o - 0. Let y = t + 54. Is y a multiple of 12?
False
Let i(a) = 12*a**3 - a + 2. Let u be (-1)/(3/(-12)) - (-6)/(-2). Is i(u) a multiple of 4?
False
Let d(t) = 35*t**2 - 18*t + 83. Is d(5) a multiple of 4?
True
Suppose 2*a - f - 1084 = -5*f, -4 = f. Is a a multiple of 50?
True
Suppose 0 = 4*s - 0*s - 580. Suppose -3*w + 2*h + 90 = -0*h, -5*w + 5*h + s = 0. Is 7 a factor of w?
False
Let u = -21 - -26. Let k(g) = 2*g**2 - 2*g + 8. Let w be k(6). Suppose u*s = -3*q + 34 + 6, 3*s - w = -4*q. Is q a multiple of 10?
True
Suppose 0 = -5*u - 3*k + 2951, 6 = k + 2*k. Does 20 divide u?
False
Suppose -3*t = t - 20. Suppose -t*n = 1441 + 1099. Is 1/(4/(n/(-1))) a multiple of 28?
False
Suppose 0 = -2*d + k + 686 + 318, 996 = 2*d - 3*k. Does 28 divide d?
True
Suppose b + 27 = 4*b. Suppose -9 = 2*i + b. Let v = i + 53. Does 11 divide v?
True
Let z = -93 + 98. Is (-4)/z + (-52)/40*-46 a multiple of 11?
False
Let m(f) = -12 - 5*f - 13 - 38. Does 19 divide m(-21)?
False
Is (-170)/(6/(-12)*1) a multiple of 20?
True
Let u = 440 + -251. Does 2 divide u?
False
Let w = 715 - 392. Is w a multiple of 57?
False
Suppose 4*w = -4*x - 8, -5*w + 4*x - 7 = 30. Is 25 a factor of (-946)/(-8) - w/(-20)?
False
Suppose 0*l + 2*l + 5*y = 1, -y + 2 = l. Does 18 divide l/(-6)*4 - (-20)/1?
True
Let v be (-1060)/(-220) - (-2)/11. Suppose -5*z = -2*i + 54, 0 = z - v*z - 5*i - 63. Let q = -4 - z. Is 8 a factor of q?
True
Let s(x) = 5*x**2 + 2*x + 50. Is 9 a factor of s(0)?
False
Let k(b) be the second derivative of -5*b - 9/2*b**2 + 0 + 1/3*b**3. Is k(12) a multiple of 15?
True
Let m be 0 + 2 + -4 + 6. Suppose -5*f = -m*h - 20, -f = -5*f - h + 16. Suppose 0 = -f*o - 2*i + 114, -3*o + 75 = 5*i - 0*i. Is o a multiple of 10?
True
Suppose 5*a - 26 = -8*a. Suppose -6*s = -a*s - 128. Is 3 a factor of s?
False
Let l = -15 + 16. Let u(m) = -m + 1. Let c be u(l). Suppose 2*x - 4 = c, q - 49 = -x + 5*x. Is 19 a factor of q?
True
Let y = 24 - 21. Suppose 0 = -5*o + y*o + 8. Suppose -2*b = -2, 26 = o*d - 3*d + 5*b. Is 18 a factor of d?
False
Suppose -1124 - 708 = -4*m. Is m a multiple of 16?
False
Let o(v) = v - 6. Let c be o(6). Suppose c*g - 2*g + 132 = 0. Let r = g - 40. Is r a multiple of 13?
True
Let u = 185 - 98. Does 9 divide u?
False
Let r(x) = x + 1. Suppose d + 2*i - 2 = 4*d, 2*i = 2*d + 4. Is 2 a factor of r(d)?
False
Is -2 + (-76)/(-8) + 4/(-8) a multiple of 5?
False
Let c(l) = l**3 - 7*l**2 - 2*l - 13. Is c(8) a multiple of 4?
False
Let r(x) = -x**3 + 22*x**2 + 53*x + 55. Is 7 a factor of r(24)?
True
Suppose -81*q = -86*q + 6600. Does 55 divide q?
True
Suppose 2*q - 4*g - 2706 = 0, 12*q + 2706 = 14*q + 4*g. Is q a multiple of 33?
True
Does 37 divide (14 + 8)/(2/81*3)?
False
Let h = 8620 + -4333. Is 14 a factor of h?
False
Let f(v) = v**3 - v**2 - v + 3. Let l(p) = p**3 - 2*p**2 - 2*p + 2. Let w(g) = -6*f(g) + 5*l(g). Let o be ((-18)/30 - 1)*(-10)/(-4). Is 3 a factor of w(o)?
False
Let l be (-9)/(-1) - (18 - 13). Suppose -4*k - u + 224 + 395 = 0, -l*k - 2*u + 622 = 0. Does 33 divide k?
False
Suppose -2*x - 2*x = 2*q + 284, -5*x + 695 = -5*q. Let c = q - -283. Is c a multiple of 17?
False
Let o(f) be the third derivative of -f**4/24 - 7*f**3/6 - 4*f**2. Let d be o(0). Let y = 15 + d. Does 5 divide y?
False
Suppose -5*z = -z. Suppose z = t - 2, 2*i - 252 = -3*t - 84. Is 11 a factor of i?
False
Let w = 72 + 66. Is 69 a factor of w?
True
Let w(n) = 89*n**3 - 2*n**2 - 1. Let v(u) = -179*u**3 + 5*u**2 + 2. Let a(h) = -6*v(h) - 13*w(h). Does 8 divide a(-1)?
True
Let y = 28 - 18. Suppose -o = 2*v - 237, y*v - 594 = 5*v - 3*o. Does 13 divide v?
True
Let d = -431 + 720. Does 51 divide d?
False
Is 33 a factor of 154*-2*(-21)/14?
True
Suppose -22 - 1 = w. Let y be (-2)/7 - (-3052)/49. Let l = y + w. Is l a multiple of 22?
False
Let z(l) = 5*l - 15. Let b(j) = 4*j - 14. Let i = 10 + -13. Let q(w) = i*b(w) + 2*z(w). Is 8 a factor of q(0)?
False
Let u = 31 - 44. Let d = u - -14. Is (2 + (-1 - -3))*d a multiple of 2?
True
Let i = 55 - 52. Suppose q + i*q = 64. Is q a multiple of 2?
True
Let q be (-3250)/(-26)*(-8)/(-10). Suppose 0 = -2*n + 4*a + q, -2*n + 138 = -2*a + 32. Does 8 divide n?
True
Let y(x) = 5*x - 1. Let h be y(-3). Let r be (28/h)/(2/(-8)). Suppose 5 = r*g - 2*g, 5*g + 71 = 4*j. Is j a multiple of 15?
False
Suppose 316*g - 36036 = 303*g. Is 77 a factor of g?
True
Does 21 divide -6 - (-3 + 5) - -470?
True
Let r(u) = -u - 7. Let z be r(-10). Suppose z*n = -6, 5*a - 676 = 4*n + 372. Does 16 divide a?
True
Let q be (44/8)/((-2)/(-52)). Suppose -22 = g - 5*k - q, 0 = -k + 4. Is 11 a factor of g/4 + 2/(-8)?
False
Let p be (-25)/(-15)*(-9)/(-5). Let c be (4 - p) + (6 - -1). Is 4 a factor of 189/12 + 2/c?
True
Let j be 24/18 + (-8)/(-12). Does 2 divide (-104)/(-28) - j/(-7)?
True
Let u be (-3)/6*2 - 1. Let i(p) = -5*p - 6. Let t be i(u). Is 3 + t - (-3 - 0) a multiple of 5?
True
Let q = -30 + 38. Let c(w) = 2*w**2 - 10*w + 1. Is 8 a factor of c(q)?
False
Suppose 0*o = 5*o + 5. Is 15 a factor of 3*o - (-265 + 7)?
True
Suppose -p + h + h = 172, 0 = -4*p - 4*h - 652. Let k = 235 + p. Is 7 a factor of k?
False
Let r(s) = s + 22. Does 5 divide r(8)?
True
Let x(o) = -231*o + 987. Is x(-9) a multiple of 44?
False
Let j be 16 + 1 + (-49)/7. Let a(p) = 0*p - 19 + 10*p - 2*p. Does 11 divide a(j)?
False
Suppose 5*i - 5 - 5 = 0. Suppose -512 = -6*z + i*z. Is 17 a factor of z?
False
Suppose -1 = -4*w + 7. Suppose 4 = x - w. Is x a multiple of 6?
True
Let u be (561/(-44))/(6/(-16)). Suppose 2*t = -4*j + u, t + 4*t - j = 63. Is t a multiple of 13?
True
Let m be -2 - (-1 - 5) - 41. Let t = 64 + m. Is (t/(-15))/(15/(-100)) a multiple of 4?
True
Let c = 300 - -28. Is c a multiple of 15?
False
Let f(x) = -x**2 + 20*x - 17. Let r be f(13). Let d(b) = b**2 - 23. Let s be d(0). Let l = r + s. Is 17 a factor of l?
True
Suppose 4*v - 2925 = -5*p, -3*v = -5*p - 2*v + 2925. Suppose -10*l + p = -l. Does 8 divide l?
False
Let q be (1 - (2 - 71))*(-8)/5. Let a = q - -343. Is a a multiple of 11?
True
Let r(f) = 50*f**3 + 5*f - 5. Does 13 divide r(1)?
False
Suppose -5*v - x + 68 = 0, -v + 0*v + 8 = 3*x. Let u = v + 33. Is u a multiple of 6?
False
Let g(k) = 21 + 1 - 4 + 2*k. Let y be g(-6). Is 4 a factor of (-204)/(-60) + y/10?
True
Let l = -152 - -16. Does 36 divide 9/((-36)/l) + 2?
True
Let d be (1 + 3)*-6 - 1. Let a = -115 - -116. Let r = a - d. Does 13 divide r?
True
Let y(c) be the third derivative of -c**4/24 + 7*c**3/3 + 17*c**2. Is 35 a factor of y(-21)?
True
Suppose -6*x + 5*x = -23. Suppose x*d - 20*d = 279. Suppose -2*m - m = -d. Is 10 a factor of m?
False
Let w(m) = -15*m**2 + m - 1. Let a be w(1). Let c(o) = o**2 - 14*o + 15. Let u be c(12). Is (-190)/a - (-6)/u a multiple of 6?
True
Let b be 2/2*1 + 2*1. Suppose 4*w - 8*w = -5*h - 169, -5*h + 83 = b*w. Is w a multiple of 4?
True
Let a = -5271 + 9250. Is 23 a factor of a?
True
Suppose 20*o = 23*o - 1812. Is 51 a factor of o?
False
Let u(a) = 46*a + 30. Does 13 divide u(2)?
False
Suppose -275 - 151 = -3*p. Let i = p + 16. Is 11 a factor of i?
False
Let l = -7 - -7. Suppose l = -x - 5*h + 131, -x + 3*h + 91 = 0. Let d = x - 16. Does 20 divide d?
False
Let q(h) = 2*h**2 + 17*h - 135. Is q(-24) a multiple of 42?
False
Suppose -19*w = -163 - 274. Does 15 divide w?
False
Suppose -2*n + 53 = -3*g, -5*n + 12 = -8. Does 11 divide 19 + (-1)/(5/g)?
True
Suppose -2*t - 3*t = 4*a - 4, -2*a = t - 2. Let g = a + 33. Is 25 a factor of g?
False
Let i = 6 - 2. Let s be 162 + -5 + 1 + i. Suppose 5*o + 3*q = 5*q + 191, 0 = -4*o - 3*q + s. Is 13 a factor o