+ a + 2*z - 24 = 0, 3*z = -5*a - 40. Let q be (1/(-4))/(a/1504). Suppose 54 = k - 2*x, 5*k - x - q = 196. Does 12 divide k?
True
Let o be 0 - -118*424/8. Suppose -o = -7*r + 151. Does 61 divide r?
True
Let l(i) = 161*i**2 - 45*i + 22. Does 257 divide l(9)?
False
Let x = 20099 - 8956. Is 96 a factor of x?
False
Suppose 44*k - 29673 - 59043 = -17612. Is k a multiple of 8?
True
Is (-1 - -10)/(-1)*-621 a multiple of 23?
True
Suppose 307 = 10*f - 183. Suppose -5*g - f = -6*g. Let s = -39 + g. Is 10 a factor of s?
True
Let o(d) = d**2 - 4*d + 1. Let q be o(-16). Let f = q + -105. Is 18 a factor of f?
True
Let o(f) = 1306*f**2 - 79*f + 3. Is 137 a factor of o(2)?
True
Suppose 265*x - 243*x = 289234. Does 4 divide x?
False
Suppose -d - 34 = -3*d. Suppose 0 = -d*c + 6*c - 11. Does 45 divide 4 - 6 - (c + -127)?
False
Let a = -3294 - -4207. Is a a multiple of 25?
False
Let w = 11376 - 3277. Does 30 divide w?
False
Let q(k) = -k**3 + 9*k**2 + 2*k + 6. Let i(b) = -b**2 - 15*b - 17. Let t be i(-13). Is q(t) a multiple of 12?
True
Let a(w) = w**3 + 26*w**2 - 59*w + 40. Let p be a(-28). Let h = p + -116. Does 4 divide h?
True
Let h(p) = -3*p**2 - 31*p - 138. Let z be h(-18). Does 12 divide ((-1)/(-2) - 2)/(3/z)?
True
Let q(x) = 7*x**2 + 6*x + 29. Does 11 divide q(11)?
False
Does 14 divide 3*(331 - 11/((-66)/30))?
True
Let p(r) = r**3 + 32*r**2 - 35*r - 66. Let o be p(-22). Suppose -8*h = 3*h - o. Is h a multiple of 28?
True
Let t = -41215 + 71326. Is t a multiple of 196?
False
Suppose -3 = f + a, 2*f - 9 = 6*f + 5*a. Let c = 12 + f. Suppose -996 = -c*n - 0*n. Is n a multiple of 38?
False
Suppose -6*w = -7*w + 3, 0 = -3*r - 3*w + 786. Let n = 368 - r. Let a = n - 23. Is 11 a factor of a?
False
Suppose 43*m - 25*m + 55398 = 32*m. Does 29 divide m?
False
Let f(v) = -8*v + 99. Let a be (-4 + 54/12)/(1/(-44)). Is f(a) a multiple of 13?
False
Is 2474/(-4)*(103 + -117) a multiple of 7?
True
Let t(b) be the first derivative of b**6/120 + b**5/60 - 5*b**4/24 + b**3/2 + 6*b**2 + 15. Let n(d) be the second derivative of t(d). Is 12 a factor of n(3)?
True
Let k(s) = 7*s**2 + 26*s + 3. Let z be k(-5). Suppose -w + 322 = -z. Is w a multiple of 10?
True
Let z(h) = -2*h**3 + 8*h**2 + 61*h - 289. Is z(-15) a multiple of 71?
False
Let j be (-4)/(-26) + (-8703)/39. Is 41 a factor of (1 + j)*7/(-14)?
False
Suppose 0 = -19*j + 24*j + 35. Let w(p) = 11*p**2 + 36*p - 19. Does 3 divide w(j)?
False
Suppose 896*v - 882*v - 5824 = 0. Is v a multiple of 32?
True
Let j = -21899 - -22639. Is j a multiple of 148?
True
Let h = -8103 + 14183. Is 53 a factor of h?
False
Suppose 30 = 5*u - 5*h - 40, 5*h = 3*u - 46. Let t be 0 - -185 - u/3. Let i = t + -109. Is 4 a factor of i?
True
Suppose -s = -93 - 49. Let g = s + -57. Let i = g - 27. Is i a multiple of 15?
False
Suppose -13394 = -26*y + 18757 + 39583. Is y a multiple of 23?
False
Let c be 0 + 1*3/(-3)*-302. Let m = 589 - c. Does 41 divide m?
True
Let y(d) = 5 - 2*d**2 + 1 + 15*d + 2 + 7*d**2 - 6*d. Is y(-6) a multiple of 3?
False
Let t(b) = -4*b**2 + 24*b - 19. Let z be t(5). Is 1107 - -2 - (0/z - -5) a multiple of 69?
True
Suppose 5*b + 15 = 0, 7911 + 985 = 5*h - 2*b. Suppose 19*z = 5*z + h. Is z a multiple of 6?
False
Suppose -1680*j + 1545*j + 1022085 = 0. Does 64 divide j?
False
Let m = 331 + -46. Let l = m + 285. Suppose 3*t - 541 = -p, -2*t + l = 2*p + 216. Does 13 divide t?
True
Suppose 5*a = 2*s - 5369, -a - 2*a - 4*s = 3211. Let v = -585 - a. Is (v/12 + -6)*(-6)/(-4) a multiple of 12?
False
Let d be 5*(-114)/(-12)*1*-2. Does 15 divide (d/38)/(1/(-252))?
True
Let t be (-10 + 518/49)*70/4. Does 6 divide ((-62)/t)/(4/(-40))?
False
Is 19 a factor of ((3/(-2))/((-5)/5))/((-6)/(-175516))?
False
Let o = -79 + 76. Let s be o/((-3)/(-4)) - 4. Is 135/12 - (2/(-1))/s a multiple of 3?
False
Suppose -2*w = -3*w + 112. Suppose -4 = -4*x + 2*u, -5*u = 4*x - 48 + 16. Suppose 5 + w = x*p. Is 12 a factor of p?
False
Is 88 a factor of -13*(-16004)/286 + 12/22?
False
Let j(o) = -1077*o - 2423. Is j(-30) a multiple of 13?
True
Suppose -5*p - 3*t + 19497 = 0, 71*p = 67*p + 3*t + 15603. Is 12 a factor of p?
True
Let o = -35 - -39. Let p be -108*(-6)/o*1. Let j = p - 90. Is 9 a factor of j?
True
Let p = 388 - 801. Let g = p - -749. Is 14 a factor of g?
True
Suppose -4*w = l - 233, w + w - 112 = -2*l. Suppose 2*r = -4*v - 2*r, -2*v = 5*r. Suppose t - 81 + w = v. Is 22 a factor of t?
True
Let c(u) = -u**2 - 16*u + 18. Suppose 0 = 13*j - 5*j + 136. Let h be c(j). Is 3 a factor of (-1 - -9)/(-1)*(h - 2)?
False
Let g = -289 - -194. Let z = 671 + g. Does 24 divide (-6)/21 - (z/7)/(-1)?
False
Let r(z) = -112*z + 1369. Does 5 divide r(-23)?
True
Suppose -5*y + 2*t + 56386 = 0, -30662 = -5*y + t + 25731. Does 12 divide y?
True
Suppose 2*g - a + 5*a - 6 = 0, 2*g - 6 = 4*a. Let w be ((-2)/(-4))/(-1)*(-1038)/g. Suppose -5*y + w = 4*p - 129, -5*y + 4*p + 318 = 0. Is y a multiple of 31?
True
Suppose -2*c + 2382 = -5*z - 1789, -2*z = -4*c + 8334. Let s = c - 1469. Does 38 divide s?
False
Suppose 3*s = -s - 72. Let n(x) = -x**3 + x**2 + 1. Let m(r) = 5*r**3 + 15*r**2 + 22*r + 15. Let a(o) = -m(o) - 4*n(o). Is 21 a factor of a(s)?
False
Let g(w) = w + 10. Let a(c) = -3*c**2 - 11*c. Let t be a(-4). Let m be g(t). Suppose -7*n = -m*n - 152. Does 31 divide n?
False
Does 13 divide 18/((-1350)/(-65355)) - 4/10?
True
Suppose -7977 = 20*v - 1357. Let h = v + 356. Is h a multiple of 5?
True
Let p(w) = 27*w**3 - 8*w**2 + 6*w + 3. Let x(j) = 55*j**3 - 14*j**2 + 11*j + 5. Let s(r) = 11*p(r) - 6*x(r). Is s(-3) a multiple of 26?
True
Let a(m) = -m**2 - 11*m + 3. Let f(c) = c**2 + 10*c - 4. Let j(y) = 5*a(y) + 4*f(y). Let l(g) = -g**2 + 16*g - 70. Let p be l(8). Does 11 divide j(p)?
False
Suppose 3*x = -p + 69 + 74, -3*p = -5*x + 229. Suppose 3*c + x = 2*z - 78, -2*c = -4*z + 262. Is z a multiple of 16?
False
Let f(x) = -x**3 - 29*x**2 - 32*x - 2. Let a = 20 + -48. Let l be f(a). Suppose 0 = -k - 5*g + 115, k - l = -0*k - 4*g. Is k a multiple of 28?
False
Let h(f) be the second derivative of f**4/12 + 17*f**3/6 + 51*f**2/2 + 40*f + 1. Is 11 a factor of h(-15)?
False
Let a(c) = 2*c**2 + 88*c - 588. Is 61 a factor of a(50)?
False
Let m = 411 + -815. Let l = 954 + m. Is l a multiple of 55?
True
Let c(a) = -2*a**2 + 7*a - 28. Let b(w) = -2*w**2 + 6*w - 27. Let t(q) = -4*b(q) + 3*c(q). Let i be t(-19). Suppose 5*g + 238 - i = 0. Is g a multiple of 11?
False
Let p = 81 + -81. Suppose s - 3*x - 373 = p, -2*s - 3*s + 1848 = 2*x. Suppose -2*t = 5*f - 176, -5*f - s = -5*t - 0*t. Is t a multiple of 13?
True
Let a be 20/(-50) + 154/10. Let i be 9/a + 831/15. Does 8 divide (i/12 + -2)*3?
True
Let m be -4*(-1 + 4)*14/(-3). Suppose 53*j + 12 = m*j. Suppose -40 = -3*x - 3*g + 296, x - j*g = 92. Does 18 divide x?
True
Suppose 2*i - c + 625 = 0, -2*c = -2*i - 799 + 179. Does 44 divide (i/25 + -3)/(4/(-150))?
False
Let s be 5 + (3/8 - 12/32). Suppose -s*z - 4*v = -7984, -5*z - 7*v + 7988 = -4*v. Is 100 a factor of z?
True
Suppose 476*n = 482*n - 30528. Is n a multiple of 53?
True
Let t(o) = 12*o**2 + o + 33. Let n be t(-6). Suppose 0 = -5*a - 4*m + 407 + n, 2*a - 3*m - 351 = 0. Is a a multiple of 6?
True
Let n(u) = -u**3 + 2*u**2 - 16*u - 2. Let s(w) = 4*w - 28. Let p be s(6). Is 20 a factor of n(p)?
False
Suppose 4*g + 543 = 7*g. Let c = 217 - g. Is c a multiple of 18?
True
Suppose -4*a + 2 = -2, 2*a = -2*h + 6. Let s(o) = 5 - 104*o + h + 2*o**2 + 186*o - 103*o. Is s(12) a multiple of 4?
False
Let a(h) be the second derivative of -h**5/20 + 9*h. Let j(n) = -9*n**3 - 3*n - 12. Let r(c) = 6*a(c) - j(c). Is 28 a factor of r(4)?
False
Let y = -769 - -1550. Suppose 0 = -5*v + y + 1894. Is v a multiple of 47?
False
Let z = 108 + -106. Does 31 divide (z - (-55)/(-10))*-62?
True
Suppose 44 + 324 = -8*w. Is w/69*(2932/(-2) + 2) a multiple of 16?
True
Let y(z) = z**2 + 36*z - 97. Let u = 110 + -150. Does 9 divide y(u)?
True
Is 12 - (-2)/(-3)*-2679 a multiple of 6?
False
Let b = 15741 - 4765. Is b a multiple of 28?
True
Let z be 2/(-1)*(-5 + 25/10). Suppose -z*g + 282 + 158 = 0. Does 14 divide g?
False
Let j(v) = -21*v + 75. Let t(q) = 5*q - 33. Let z(w) = -3*w + 17. Let m(u) = -2*t(u) - 5*z(u). Let s(h) = 2*j(h) + 9*m(h). Is s(13) a multiple of 6?
True
Let u = 64 - 72. Is 4 a factor of u*(15/10)/3 + 80?
True