Suppose -x + 9 - 16 = 0. Let o(d) = d**3 + 6*d**2 - 15*d + 10. Does 11 divide o(x)?
True
Let t(l) = 3*l + 129. Let z be 4/(-6) - (-4 + (-24)/9). Let a be z/(-4) + 6 + (-45)/10. Does 18 divide t(a)?
False
Let w(c) = -2*c**2 - 1 + 3*c + 281*c**3 - 242*c**3 - 2*c. Is 69 a factor of w(3)?
False
Suppose 4*p + 42 = -2*f + 7*f, -4*p = 2*f. Let s(l) = 12*l - 10*l + 10 - 4*l**2 + 10*l**2 - l**3. Does 11 divide s(f)?
True
Let n(h) = 5*h**3 + 28*h**2 + 139*h - 6. Let d(w) = -4*w**3 - 27*w**2 - 138*w + 5. Let t(c) = -4*d(c) - 3*n(c). Is t(-10) a multiple of 24?
True
Let n(j) = 13*j - 106. Let u be n(9). Suppose -u*o - 15*o + 15470 = 0. Is o a multiple of 35?
True
Let u = 150 - 145. Suppose -81 = u*t - 3*r - 1707, 4*t = -4*r + 1288. Is t a multiple of 18?
True
Let n(v) = -v**3 - 18*v**2 + 7*v + 22. Let x be 2/((-5)/((-25)/10)) + -20. Is 25 a factor of n(x)?
True
Does 36 divide 3744386/221 + 13 - (-5)/65?
True
Suppose 0 = 9*q + q. Let r be 42 - q*(-6)/(-18). Is (-4 - -8)/(2*2/r) a multiple of 7?
True
Suppose 122*d - 17453 = 75511. Is d a multiple of 6?
True
Let f(i) = -2*i + 1. Let x be 31/124 - 1/((-4)/7). Let t be f(x). Is 15 a factor of (-25)/((-1)/(-9)*t)?
True
Let h(l) = -10*l - 3*l - 5*l - 58 - 34. Is h(-32) a multiple of 32?
False
Let z(b) = 12*b - 31. Let n be z(21). Let u = n - 167. Does 6 divide u?
True
Let z(o) = -15*o - 17. Let q be z(-5). Let j = 84 - q. Let r = 36 + j. Is 8 a factor of r?
False
Let f = 120 - 127. Let l = -4 - f. Is 2 a factor of l?
False
Let q(s) = -s**3 + 11*s - 4. Let b be q(3). Suppose b*t - 10*t + 416 = 0. Let z = t + -7. Is 5 a factor of z?
True
Let p be (-115)/(-2) - (-2)/4. Suppose -367 - p = -5*z. Suppose -2*q - z = -3*q - 4*m, -4*m = -4*q + 280. Is 14 a factor of q?
False
Suppose -s = -4*w + 14688, -3*w - 3*s - s = -10978. Does 6 divide w?
False
Let x = -9 + 11. Suppose n = -3*k - 1, -x*n = -k - 7*n - 5. Suppose k = -2*j + 38 + 68. Does 13 divide j?
False
Does 3 divide (3*4/(-24))/(4883/(-4882) + 1)?
False
Suppose -95553 = -12*t + 154251. Does 65 divide t?
False
Let w be 985/2*((-36)/(-10) - 2). Suppose -j - 20 = 4*j, -3*j + w = 4*s. Suppose -4*l + s = 4*x, 0*x = -4*l - 5*x + 200. Is 5 a factor of l?
True
Let j = 7 - 7. Suppose j = 5*o - 8*o + 30. Suppose -o*f + 5*f = -115. Is 3 a factor of f?
False
Let d(n) = 142*n + 41. Suppose -18 = 37*l - 92. Does 34 divide d(l)?
False
Suppose 3*a = 8*a + q - 29, 5*a = 5*q + 5. Suppose 3*u + 5 = 5*r, -a*r - u = -0*u - 25. Suppose 3*z - 32 = -z - 4*o, 0 = r*z - 2*o - 62. Does 2 divide z?
False
Suppose 436*h - 152892 = 424*h. Is h a multiple of 31?
True
Let z(x) = -x**2 + 19*x - 17. Let j be ((-6)/(-39) - 0) + 2330/65. Suppose -j = -2*m - 3*l, 3*m + l - 17 = 23. Does 36 divide z(m)?
False
Let z(u) = -401*u - 1167. Is 5 a factor of z(-7)?
True
Let l be (7/21)/((1/45)/(-1)). Is 7 + -3*530/l a multiple of 21?
False
Let z(x) = x**3 - 5*x**2 - 14*x + 7. Let i be z(7). Let y(l) = -2 + 6*l**2 + 17 + 2 - i*l. Is y(5) a multiple of 12?
True
Suppose -379*o + 373*o - 10074 = 0. Let i = o - -2563. Is i a multiple of 16?
False
Let d be 3 + (-3)/(60/(-2195))*8. Suppose -2*i - d = -2*k - k, -3*i = -6. Is k a multiple of 31?
False
Let c(s) = -s**2 + 3*s + 21. Let f be c(6). Is 3/(537/(-180) - (0 - f)) a multiple of 45?
True
Let n(x) = 32*x**3 - 16*x**2 + 9*x + 21. Is n(5) a multiple of 78?
True
Suppose -278 = -3*u - a, -5*u = -0*a + 3*a - 458. Let c = 246 - u. Does 38 divide c?
True
Let j = 9793 + -5653. Is j a multiple of 6?
True
Suppose -224*o + 232*o = 28304. Is 58 a factor of o?
True
Suppose 88*k - 12*k = 24*k + 433420. Is 31 a factor of k?
False
Suppose -10*c = -3*c + 6*c - 44772. Does 43 divide c?
False
Let i(n) = -35*n - 48. Let k = 377 - 396. Is i(k) a multiple of 37?
False
Let j(t) be the second derivative of 4*t - 1/20*t**5 + 0*t**3 + 0 - 1/4*t**4 + 15/2*t**2. Is j(-6) a multiple of 17?
False
Let u = 4529 + 8328. Is u a multiple of 13?
True
Suppose -76*x = -28*x + 28*x - 5472. Does 6 divide x?
True
Let k(u) be the second derivative of 11*u**4/6 + u**3/6 + u**2 - 9*u - 21. Let r = -1 - 0. Is k(r) a multiple of 4?
False
Suppose -10671 = -19*y + 9886 - 132. Does 5 divide y?
True
Let d(w) be the first derivative of w**4/4 + w**3/3 + 8852*w - 10. Let j be d(0). Is j/44 - (-2)/(-11) a multiple of 34?
False
Suppose -5*t - 4*u + 1563 = 0, -5*t + 3*u + 563 = -1021. Let i = t - 224. Let x = -60 + i. Is x a multiple of 31?
True
Suppose -i = 2*i + 54. Let w = i - -21. Suppose 0*a = -2*a + 5*f + 208, -2*f - 312 = -w*a. Does 26 divide a?
True
Is 10 a factor of (532530/2328)/((-6)/(-80))?
True
Suppose 0 = 4*u - 59 + 15. Suppose 25*b = -u*b + 17496. Does 9 divide b?
True
Suppose -8*m - 12 = -11*m. Suppose -9 + 77 = m*n. Let s = n + -9. Is s a multiple of 8?
True
Let b(p) = -p**2 - 64*p - 782. Does 12 divide b(-42)?
False
Let x(f) = -f**3 - 15*f**2 + 8*f - 6. Let u(c) = c**3 - 20*c**2 - 2*c + 25. Let b be u(20). Let t be x(b). Let n = t + 315. Is 63 a factor of n?
True
Suppose -r + 3 = -2*z - 9, z = -3*r + 57. Let k be (1 + (-14)/6)/((-12)/r). Suppose -k*f + a + 25 = 0, 3*a = 2*a + 1. Is 2 a factor of f?
False
Suppose 681 + 659 = -3*c - 2*s, -451 = c + 5*s. Let o = 742 + c. Does 69 divide o?
False
Is 346*(2 - -1 - 1813/(-98)) a multiple of 43?
True
Let k = -112 + 1520. Is 16 a factor of k?
True
Suppose -j = 2*y - 1273 + 354, -3*y + 1843 = 2*j. Suppose 4*f - 4 = 0, -2*f = 5*o - f - 1956. Suppose o = 6*b - j. Does 20 divide b?
True
Let c be (-169)/3 - (-3)/9. Let g = c - -57. Is g/(-3) - ((-940)/3)/4 a multiple of 26?
True
Suppose 3*q - 2*n - n = 13278, 10*n + 20 = 0. Is q a multiple of 79?
True
Let i be (-4)/(-3)*(-33)/(-4). Suppose 0 = -i*k + 8*k. Suppose 5*y + 237 - 762 = k. Does 15 divide y?
True
Let a(z) = 11*z**2 - 28*z + 485. Is 72 a factor of a(24)?
False
Let f = 51 + -28. Suppose f*s - 20*s - 6 = 0. Suppose 425 = 5*c + 3*q, -s*c - 3*q + 132 + 29 = 0. Does 22 divide c?
True
Suppose -5*s = 3*n - 5645, 3*n - 8246 = s - 2571. Is n a multiple of 378?
True
Suppose 178*s - 1064225 + 220406 - 2137325 = 0. Does 39 divide s?
False
Suppose 5*d - 3*b + 19 = -204, -4*b - 84 = 2*d. Let a be 2/(((-4)/10)/1). Let w = a - d. Is 13 a factor of w?
True
Suppose -2*i - 4 = 4*k, -2*i + 0*k = 3*k + 2. Suppose 0 = -5*n - 3*b + 854 - 28, -6 = i*b. Does 28 divide n?
False
Does 51 divide 16/264 - (-68372)/66?
False
Suppose 1120 = 2*s - 4*v, 5*s - 2709 = -732*v + 729*v. Is s a multiple of 24?
False
Let p(f) = -f - 18*f**2 + 48*f**3 - 49*f**3 + 88 - 31. Is 12 a factor of p(-18)?
False
Let c = 14712 + -11929. Is 3 a factor of c?
False
Let d(i) = -13*i - 7. Suppose -11 = v - 6. Let f(x) = -90*x - 48. Let n(w) = v*f(w) + 36*d(w). Is n(-5) a multiple of 13?
True
Let d(m) = 2*m + 17. Let u be d(-7). Suppose u*f = 5*f + 4, -5*s = -3*f - 26. Suppose 52 = 2*k + s*i - 94, 0 = 5*k - i - 376. Does 12 divide k?
False
Suppose -6 = -3*h, -257*y + 114290 = -253*y - h. Is y a multiple of 10?
False
Let s(a) = -a**3 - 16*a**2 + 22*a + 6. Let g be s(-17). Let o = g - -37. Let w = 114 + o. Is 10 a factor of w?
False
Let f(v) = -6*v**2 - 15*v. Let k(q) = 5*q**2 + 14*q. Let j(c) = -6*f(c) - 7*k(c). Let x be j(8). Suppose x = 9*m - 5*m - 320. Is 10 a factor of m?
True
Let j be -6*4*20/(-40). Suppose 0 = -j*u + 2740 - 436. Is 20 a factor of u?
False
Let s be 2 - (-3705)/(-10)*-2. Let n = s - 507. Is 54 a factor of n?
False
Let k = 1405 - 1400. Let m(r) be the third derivative of r**5/60 - r**4/24 - 3*r**3/2 + r**2. Is 11 a factor of m(k)?
True
Suppose 53*o - 319 = 52*o. Let u = o - 286. Does 2 divide u?
False
Suppose -21*b - 162282 + 491895 = -4*b. Does 69 divide b?
True
Let j(r) = r**2 + 18*r - 2. Let l be j(-15). Let d = -63 - l. Let c = 4 - d. Does 20 divide c?
True
Let j = -677 - -681. Suppose 8 = -4*m, -m + 3305 = j*t - 1661. Is 69 a factor of t?
True
Suppose -5*b + 129 = -2*b. Suppose m + 2 = -0*y + y, -3*y + 6 = 5*m. Suppose s = x - b, 0 = -x - 2*s - y*s + 28. Is 6 a factor of x?
False
Suppose 4*i = 3*w + 12 + 29, -34 = 2*w + 4*i. Is 25 a factor of (-10)/w*(152 - (-6 + 2))?
False
Let c = -2887 - -2045. Let o = c + 1574. Is 50 a factor of o?
False
Let x be 1*78/2 - -3. Suppose -5*p + 2 = x. Does 6 divide (-36)/p + 3/2?
True
Let p(g) = -367*g + 429. Is 15 a factor of p(-18)?
True
Let h = 5099 + -3184. Suppose h = 5*w - 920. Is w a multiple 