32. Let u = -95 + r. Does 7 divide u?
True
Suppose -48*a + 49280 = -126784. Is 10 a factor of a?
False
Let o(u) = u**3 + 25*u**2 + 2*u - 81. Let l be o(-24). Suppose -4*i + 8 = 4, 2*g - i - l = 0. Does 16 divide g?
True
Let p be ((-542)/(-6))/((-1)/(-6)*2). Let n = 55 + p. Suppose -n + 101 = -5*m. Does 9 divide m?
True
Let i = -67 + 152. Suppose -l + 88 = 2*h, l + 0*h + 5*h - i = 0. Is l a multiple of 30?
True
Suppose 3*h = 4 + 2. Let f(c) = 10*c**h + 26*c + 14 + c**3 + 3*c**2 - 13*c. Is f(-12) even?
True
Suppose 0 = -2*f + 172 + 96. Suppose 0 = -p - 2*i + 280, -p + 158 = 5*i - f. Suppose 4*x - p - 52 = 0. Is x a multiple of 14?
False
Let i(u) = -4*u**2 + 124*u**3 + 26 - 31*u - 7*u**2 - 123*u**3 + 0*u. Is 30 a factor of i(14)?
True
Let h = 1876 + -3320. Let s = h + 2127. Suppose 4*k + 267 = s. Does 13 divide k?
True
Let m = 19058 - 9666. Is m a multiple of 8?
True
Let n(s) = 8*s + 168. Let l be ((-2)/8*-2)/((-57)/2166). Does 4 divide n(l)?
True
Let m(u) = u + 5. Let p = -40 + 35. Let t be m(p). Suppose 4*f + t*f - 81 = -3*n, 0 = 5*n + 5. Is f a multiple of 8?
False
Let o = -4 - -66. Let s = o + -62. Let b(l) = -l**2 + l + 150. Is 10 a factor of b(s)?
True
Let s(x) = -2*x**3 + x**2 + 50*x + 111. Is s(-21) a multiple of 8?
True
Suppose -21333 = -2*w + 5*j, -45543 = -3*w + 4*j - 13554. Is w a multiple of 209?
True
Let b(q) = 19*q**2 - 113*q - 2626. Is 23 a factor of b(-22)?
False
Let n(x) = -x**3 - 2*x**2 + 3*x - 7. Suppose 0*s - 7*s = 294. Let c = -47 - s. Is n(c) a multiple of 17?
False
Let y = 94 + -19. Suppose 4*a + 0*a = -3*o - 3, -2*o - a - 2 = 0. Is y/(2 - o) + 4 a multiple of 6?
False
Suppose 3*i - 387 = -3*f, 5*i + 119 = -3*f + 514. Does 48 divide (21*f)/5 + 3?
True
Let a be 486/(-63) + 8 - 108/(-14). Is (4/a*-806)/(-1) a multiple of 31?
True
Let f(j) = -38*j + 3720. Is f(-33) a multiple of 153?
False
Suppose -2*t + 940 = 4*w, 2*w - 458 = -10*t + 12*t. Suppose -25*j - w = -26*j. Does 6 divide j?
False
Suppose 5*y - 15 = 2*i, -6*i + 2*i + y = 39. Does 16 divide 4 - (-12 - -21)/(2/i)?
False
Let q be 5*2*(-115)/(-50)*2. Let v(m) = m**3 - m**2 - m + 118. Let y be v(0). Let a = y - q. Does 24 divide a?
True
Let y be (4*42/(-112))/(3/(-4)). Suppose 4*i - p - 5380 = -1709, y*p - 2 = 0. Is 51 a factor of i?
True
Suppose -16 = -22*l - 104. Let v(n) = -2*n + 13. Let b(w) = -w + 7. Let f(k) = -7*b(k) + 4*v(k). Is f(l) a multiple of 2?
False
Let l be (-156)/(-10) + (-13)/((-260)/(-12)). Suppose 0 = -4*i + 2*o + 1000, 11*o + 232 = i + l*o. Is 10 a factor of i?
False
Suppose 3*l - 3*r = 12, -9 + 1 = 5*l + 2*r. Suppose m + l*m - 103 = -3*f, -f - 359 = -3*m. Suppose -m = -6*t + 62. Is t a multiple of 3?
True
Let m(u) = 48*u - 56. Let j(s) = 24*s - 30. Let v(f) = 11*j(f) - 6*m(f). Is v(-11) a multiple of 3?
True
Let d = -236 - -229. Does 2 divide 5/((-15)/(-42))*(1 - d)?
True
Let n be 209/57 + (-2)/3. Does 16 divide n*(4 + (-400)/(-6))?
False
Suppose 7*v - 20 = -5*y + 2*v, 3*y - 5*v + 20 = 0. Suppose 5*u = -4*z + 361, -3*z - 4*u = -y*z - 272. Does 21 divide (z/(-10))/((-2)/20)?
True
Suppose -3*n - 28 + 16 = 0. Let q = 115 - 37. Is (q/12)/((-10)/n + -2) even?
False
Suppose 11*v = -5*v + 64. Suppose v*b + 1452 = 5*y, 0 = y - 3*y + 8. Is 44 a factor of (b*(-6)/6)/2?
False
Let y(k) = 7*k + k + 77 - 8*k + 7*k. Let s be y(0). Suppose q + 3*r = 2*q - s, -3*q + 3*r = -225. Does 6 divide q?
False
Let m = -24 - -27. Suppose m*x - 3 = 3. Is ((-6)/(-60))/(x/25)*48 a multiple of 15?
True
Suppose 19 = 2*c - 3. Suppose -3*g = -17 + c. Suppose t + 2*w - 1 = 9, -2*w = g*t - 24. Is t a multiple of 7?
True
Let b(r) = 18*r + 133. Let i = 332 + -288. Is b(i) a multiple of 63?
False
Suppose -3*v - 144 = 4*m - 1685, 1030 = 2*v + 4*m. Let a = v + -277. Is a a multiple of 20?
False
Suppose -2*w + 3 = -3*n, -w - 3 = 32*n - 35*n. Is n even?
False
Let a be (0 - -8)/((-10)/(-5)). Suppose 4*d = -a*b + 52, -12*d + 5*b = -8*d - 43. Is 12 a factor of d?
True
Let k(y) = -285*y**2 - 5*y - 4. Let w be k(-1). Let t = w - -570. Is t a multiple of 22?
True
Suppose 2*v = -3*m - m + 2, -32 = -4*m + 4*v. Suppose 512 = m*n - 2*j - 446, -5*n + 1630 = 5*j. Suppose 3*h = 29 + n. Does 15 divide h?
False
Is 117 a factor of (4 + -8584)/(48/(-72))?
True
Let z be (-2)/(2 + (-35)/15) + -3. Is 29 + z/(-9)*(-5 + -10) a multiple of 34?
True
Let f = -180 + 196. Is 248*((-28)/f + 3) a multiple of 10?
True
Let t be 44/(-1 + 3) + 4 + -8. Suppose -8*z + t*z - 2050 = 0. Does 5 divide z?
True
Let b be 4/(-34) + (8 - (-1134)/102). Let w = 266 + b. Is 19 a factor of w?
True
Let k(j) = 15*j**2 - 354*j + 82. Is k(25) a multiple of 3?
False
Suppose -5*w - 46 = -1. Let a be w/21 - 24660/(-63). Suppose -o - k + 102 = 3*k, k = 4*o - a. Is 14 a factor of o?
True
Suppose 134*z + 1075266 = 181*z. Is z a multiple of 31?
True
Suppose 0 = 12*d - 26*d - 12110. Let q = d - -994. Does 43 divide q?
True
Let l(n) = -282*n - 3337. Is l(-38) a multiple of 141?
False
Let n = -32 + 36. Suppose -c - q + 237 = -2*q, n*q + 476 = 2*c. Does 59 divide c?
True
Let f be (296/20)/((-2)/20). Let c = 643 + f. Suppose 5*b = -2*i + 243, -2*b + b = 4*i - c. Is 5 a factor of i?
False
Let l(n) = -n**3 + 51*n**2 - 50*n + 100. Is 41 a factor of l(42)?
False
Let x(g) = 22*g**2 - 54*g - 742. Is x(-17) a multiple of 60?
False
Let z = 83 - 81. Suppose h - 10 = -2*g, z*g = -h + 5*g - 5. Suppose 92 = 2*w + h*k, -9 = -w + k + 43. Does 25 divide w?
True
Does 75 divide (-122976)/(-1830)*(1 - 246/(-4))?
True
Let y = 2496 + 150. Is y a multiple of 27?
True
Suppose 3*x = 3*b - 2484, -5*b = -2*x - 5175 + 1020. Let f = b + -746. Is f a multiple of 13?
False
Let q = -2705 + 8585. Is q a multiple of 49?
True
Let j = 67 + -99. Let g = 32 + j. Suppose -d - 19 + 56 = g. Is d a multiple of 4?
False
Suppose 30654 + 36407 = 37*m - 4571. Does 54 divide m?
False
Suppose 19*l + 20568 = 72438. Is 70 a factor of l?
True
Let d(y) = -y**3 - 6*y**2 - 7*y - 8. Let o be d(-4). Does 2 divide (124/12)/((-4)/o)?
False
Suppose 16*o + 16 = -0*o. Is 4 a factor of (-5 - (215 - 0))/(-3 - o)?
False
Let o(t) = 36*t - 102. Suppose 56 = 2*r - 4*z, 14*z + 12 = 10*z. Is o(r) a multiple of 69?
True
Suppose 3*l = 13 - 4. Suppose -l*r = -0*r - 45. Suppose -4 = y - r. Is y even?
False
Let a(x) = -x**2 - 2*x + 103. Let g be a(-11). Suppose 0 = -g*i + 6*i - 562. Is i a multiple of 14?
False
Suppose 5*d = -2*o + 35420 + 4930, 12 = 2*d. Is 144 a factor of o?
True
Suppose -g + 4 + 8 = 2*n, -4*n = -3*g - 14. Let m be (-3 - 4/(-1))*68/g. Is 10/(-6)*(28 - m) a multiple of 2?
True
Let g be (-974)/60*-38 - (-152)/1140. Let l = -584 + g. Is 2 a factor of l?
False
Let x(l) be the first derivative of -7*l**2/2 - l - 3. Suppose 14*z - 9 = -23. Is x(z) a multiple of 3?
True
Is 116 a factor of ((-171232)/(-12))/4 + 10/180*-6?
False
Let n be 3 + -4 + -1 - 5. Is 12 a factor of 7248/84 - (-2)/n?
False
Let k = 21772 - -25135. Does 78 divide k?
False
Let o = -57 - 18. Let l = 77 + o. Suppose -5*a = 5*w - 535, l*w - 113 = -a + 3*w. Is a a multiple of 22?
True
Let s(b) = 43*b**3 - 7*b**2 + 13*b - 16. Is 19 a factor of s(3)?
True
Suppose 3766 = 9*f - 14549. Let l = -1440 + f. Is 9 a factor of l?
False
Suppose 37*u - 2592 - 3180 = 0. Is u a multiple of 26?
True
Let j(p) = -133*p + 73. Let r(w) = -1 + 13 - 30 + 33*w. Let i(u) = 2*j(u) + 9*r(u). Is i(4) a multiple of 36?
True
Is 20 a factor of 3 + (28382/92)/(2/4)?
True
Let w(p) = 19*p**3 - 8*p**2 + 14*p + 49. Let n(d) = -10*d**3 + 4*d**2 - 7*d - 25. Let z(h) = -7*n(h) - 4*w(h). Does 18 divide z(-3)?
True
Let l be -10369*(-4)/(-6)*(-21)/14. Suppose -11*c - 2702 = -l. Is 54 a factor of c?
False
Suppose -5*x = 5*g - 17080, -g + 27*x + 3411 = 23*x. Does 149 divide g?
False
Suppose -q + 1 = 0, q = -4*z - q + 506. Let k = -89 + z. Suppose -3*a = 5*c - k, -3*a = -2*c - 4*a + 14. Is c a multiple of 4?
False
Let o(z) = 41*z**2 - 3*z. Let q be o(3). Is 17 a factor of 5/((-10)/(-8)) - (1 - q)?
False
Let b = 102 + -71. Let y = 46 - b. Let i = 30 - y. Is i a multiple of 5?
True
Suppose 0 = -2*j + 8*j - 96. Is 7 - (j + -4) - -720 a multiple of 48?
False
Let m = 28 + 18. Suppose -6*c + 44 = -m. Suppose -6*w + d + 29 = -3*w, 5*w + 5*d = c. Is w a multiple of 4?
True
Let b(p) = p**3 - 7*p**2 + 4*p + 15. Let t be (-88)/(-15) - 2/(-15). Let s be b(t). Is (-2148)/(-36) - (-1)/s a multiple of 15