 o - 11 = -3*b + 2*o, 3*o + 7 = -4*b. Suppose -b*s = -3*j - 954, -8*j + 4*j - 1433 = -3*s. Does 21 divide s?
True
Let b(p) = 13*p**2 - p - 50. Let g(l) = 2*l + 23. Let v be g(-8). Is b(v) a multiple of 84?
False
Suppose 2*s + 109 = 2449. Is 6 a factor of s?
True
Let y(a) be the second derivative of 4/3*a**4 + 3*a + 10/3*a**3 + 0 + 12*a**2 - 1/20*a**5. Is 12 a factor of y(17)?
False
Let w = 19048 + -10748. Is 31 a factor of w?
False
Suppose 0 = -60*s + 214583 - 55703. Does 13 divide s?
False
Let b(a) = 6*a**3 + a**2 + 5*a - 42. Is 40 a factor of b(6)?
True
Let l(q) = 5*q**2 - 7*q + 67. Let d(v) = -v**3 - 14*v**2 + 14*v - 8. Let b be d(-15). Is l(b) a multiple of 8?
False
Let c(x) = x**3 + 8*x**2 + 5*x - 10. Let r be c(-7). Suppose 5*p - 30 + 10 = 0, -p + 208 = r*b. Suppose -b = -4*h + 29. Is 4 a factor of h?
True
Let u(d) = 4*d**2 - 39*d - 1341. Does 4 divide u(-31)?
True
Suppose 655049 = 180*y + 36*y - 3695407. Is 11 a factor of y?
True
Let c(v) = -44*v + 17*v + 21*v + 50. Let g be c(-15). Suppose -79 = -k + g. Is k a multiple of 28?
False
Let n = -281 + 281. Suppose 4*c + 5*a - 3813 = n, 6*c - c + a - 4782 = 0. Is 54 a factor of c?
False
Let h = -8 + 12. Let f be 1/2*(-6 + h - -8). Suppose -2*n + 138 = 2*g, -f*g + 211 = 3*n - 4*g. Is 10 a factor of n?
True
Suppose -r - 140 = -8*r. Let u(a) = a**3 - 16*a**2 - 22*a - 79. Is u(r) a multiple of 19?
False
Let i = -5917 + 23381. Is 87 a factor of i?
False
Is 84 a factor of 70*54*(-104)/(-39)?
True
Suppose -3*w = -4*u - 17, -13 = 4*u + u - w. Does 16 divide (2 - u/(-3))/(16/336)?
False
Let z(y) = 11*y - 85. Let a(o) = -9*o + 85. Let p(h) = 6*a(h) + 5*z(h). Is 18 a factor of p(-26)?
False
Let i(d) = -d**3 + 28*d**2 - 101*d + 168. Is 42 a factor of i(21)?
True
Suppose 61*a - 20*a + 102777 - 541026 = 0. Is 7 a factor of a?
True
Suppose -1771250 = -180*g - 38*g. Is 65 a factor of g?
True
Suppose 60 = -2*g + 118. Suppose 0 = -4*w + 5*p + 43, -5*p + 10*p = 2*w - g. Suppose 0 = -5*q - 15, -a + 186 = 11*q - w*q. Is 33 a factor of a?
True
Let h = -360 + 7955. Is 155 a factor of h?
True
Let x be 5/(-20)*-12*-29. Let o = x + 174. Is o a multiple of 29?
True
Suppose -24*t - 1969 + 118275 = -2446. Is t a multiple of 103?
False
Let z = 43 - 41. Suppose -14 = -z*m + 2*s, s - 53 = -3*m - 4*s. Let f(i) = -i**3 + 11*i**2 + 2*i - 12. Is f(m) a multiple of 5?
True
Let c = 114757 + -49212. Does 42 divide c?
False
Let w(t) = 2*t - t**3 + 2 + 5*t**2 + 3 - 7*t**2. Let k be w(0). Suppose -k*d + 692 = g, -d = -2*g - 143 + 9. Does 23 divide d?
True
Let s = 340 + -363. Let n(u) = -u**2 - 50*u - 71. Does 84 divide n(s)?
False
Suppose 3*z + 5*f - 29 = 0, -7*z + f + 2 = -5*z. Let g be z + 48/(-6) - -7. Suppose 55 = g*i - n, 46 + 85 = 4*i + 5*n. Is 3 a factor of i?
False
Let b(y) be the third derivative of -y**6/120 + 7*y**5/60 - y**4/12 - 5*y**3/2 + 24*y**2. Let i be b(-12). Is (-50)/(-40) + i/12 a multiple of 13?
False
Let c = 6606 - 5006. Is 16 a factor of c?
True
Suppose -5*b + 2*z + 291 = 65, 2*z - 4 = 0. Suppose -11*v = 2 - b. Suppose 0 = -0*o + v*o - 236. Is o a multiple of 12?
False
Let n(f) = f + f - 5*f + 9*f**2 + f - 2. Let g be n(-1). Suppose 18 = 3*j - j - m, 0 = -j + 3*m + g. Is 5 a factor of j?
False
Let h(o) = 2*o - 32. Let q(y) = 8*y - 128. Let d(c) = -26*h(c) + 6*q(c). Suppose -2*l = 5*u + 20, -3*l = -37*u + 34*u - 12. Is d(l) a multiple of 15?
False
Let h be -2*((-3)/(-1) - 5). Suppose k + 0 = -u + 1, h*k + 2*u - 14 = 0. Suppose -4*q = y - 100, -3*y - q + k*q = -351. Is 14 a factor of y?
True
Let t(a) = 4*a**2 - 7 + 3*a - a + 0*a + a**3 + 2. Let k be t(-3). Does 22 divide k + -1 + 5 + 218?
True
Suppose -19052 = -31*c + 30*c. Is 30 a factor of c?
False
Let u(z) = -11328*z - 288. Let p(o) = 197*o + 5. Let d(m) = 288*p(m) + 5*u(m). Let c be d(1). Let w = -42 + c. Is 18 a factor of w?
True
Let q(i) = 67*i + 198. Is 19 a factor of q(38)?
False
Let a(x) = 29*x + 35. Suppose -14*j = -11*j + 24. Let g be a(j). Let h = -89 - g. Is h a multiple of 27?
True
Does 24 divide (((-522)/(-15))/2)/(11/8745)?
False
Suppose 0 = -f + a - 0*a + 145, -3*f + 440 = -4*a. Suppose 5*q - 3*m = -8*m + f, -5*m = 4*q - 117. Suppose -i - 11 = -q. Does 3 divide i?
True
Is 56 a factor of 0 - 0 - (132 - 122 - (-16038)/(-2))?
False
Suppose 2*k - 17835 - 373717 = -131*k. Does 16 divide k?
True
Let k be ((-471)/628)/(1 - (-10)/(-16)). Does 53 divide (43/86)/(k/(-1484))?
True
Let k(t) = -5651*t - 33. Does 53 divide k(-1)?
True
Suppose -4*x + 4*v = -260768, 3*x - 203396 = -v - 7792. Does 23 divide x?
False
Suppose -44 - 238 = 3*y. Let j = y + 105. Let p = j + -5. Is 3 a factor of p?
True
Let x = 7873 + -7318. Does 3 divide x?
True
Let a(s) = 4*s + 12 - 17*s + 5*s + 7*s. Let b be a(18). Let y(w) = -35*w - 1. Is 19 a factor of y(b)?
True
Suppose -83*v + 152*v = 84*v - 11100. Is v a multiple of 5?
True
Let h(y) = y**2 - 16*y - 21. Let q be h(17). Let r be q/10 - -1 - 24/(-60). Is 2/r - (-95 + -2) a multiple of 33?
True
Suppose -40373 = -3*a + 2*u, -u = -94*a + 98*a - 53838. Is a a multiple of 10?
False
Let u be (-5)/((-20)/8)*(-11 + 13). Suppose 2*g + 3*c - 632 = 0, u*g - 1270 = -64*c + 61*c. Is 29 a factor of g?
True
Let g = -3929 + 4054. Is g a multiple of 83?
False
Suppose -4*o = 5*f + 5 - 16, -2*f = 4*o - 14. Suppose o - 1 = -s. Is (-50)/s*(-96)/(-40) a multiple of 5?
True
Let t = 12196 - 5311. Does 54 divide t?
False
Let k(s) = 5*s**3 - 52*s**2 - 46*s + 23. Is k(14) a multiple of 17?
True
Suppose 304 = 81*s - 77*s. Suppose -s*h + 94*h = 6318. Is 14 a factor of h?
False
Let v(g) = -g**3 + 4*g**2 - 15*g + 5. Let c be v(-8). Let i = c + -34. Suppose 421 + i = 8*j. Is j a multiple of 32?
True
Suppose -9*w + 461 = -25. Let s = 43 - w. Let l(j) = -j**2 - 12*j + 31. Does 14 divide l(s)?
True
Suppose 0 = 4*z - z + 2*h - 3, 3*z - 15 = 2*h. Suppose 2*u = -z*u + 105. Does 2 divide u?
False
Let s = -38 + 38. Let w be 1/(s - -4) + (-1484)/(-16). Suppose -5*g + w = 18. Is g a multiple of 5?
True
Let m = 5640 + -2364. Suppose -17*x = -29*x + m. Is 21 a factor of x?
True
Suppose 157 = 2*z - 5*o + 11, -z = -5*o - 78. Let s = 161 - z. Does 3 divide s?
True
Suppose 30 = -5*u, 479 = p + 14*u - 10*u. Does 55 divide p?
False
Let i(c) = c**2 + 7*c + 8. Let u be i(-6). Let y(b) = -5*b**u - 15*b + 0*b**3 + b**3 + 13*b. Is y(6) a multiple of 22?
False
Let a be (-130 + 4)/(-7) - 2. Suppose a*d = 15*d + 5*z + 368, -z + 758 = 2*d. Is 21 a factor of d?
True
Suppose 3*z + 3 = j + 4, -4*z + 12 = 0. Suppose -j = -t - 77. Does 22 divide -3 - (t + (-1)/(-2)*0)?
True
Let f(w) = w**3 + 46*w**2 - 56*w + 327. Does 15 divide f(-42)?
True
Let c(a) be the second derivative of 7*a**4/12 + a**3/2 - a**2/2 - 20*a. Is c(-6) a multiple of 12?
False
Let g(o) = 240*o**2 + 195*o - 2282. Is g(13) a multiple of 11?
False
Let n(b) = -5*b + 49. Let q be n(6). Suppose -q*w + 5511 + 1557 = 0. Is w a multiple of 30?
False
Suppose 2*k - 2892 = -3*b, -5*k - 2*b + 0*b = -7230. Suppose 18 = -7*i + k. Let x = i - 20. Is 13 a factor of x?
False
Let z = -18208 + 20135. Is z a multiple of 41?
True
Let o(q) = -q**3 + 58*q. Let i(d) = d**3 + 15*d**2 + 3*d + 35. Let a be i(-15). Is 21 a factor of o(a)?
True
Suppose -3*y + 0 + 15 = 0. Suppose -10*v = -y*v + 20, 859 = 5*p + 4*v. Is 19 a factor of p?
False
Suppose -3*t + 2724 = -v + 11432, -v - 5*t + 8668 = 0. Is 17 a factor of v?
False
Let z(k) = -1880*k**3 - 2*k**2 - 19*k - 18. Is 9 a factor of z(-1)?
False
Suppose -4*c = c - 755. Suppose 617 = 3*m - c. Does 57 divide m?
False
Let g(s) = -5*s**3 - 22*s**2 + 16*s**3 - 13 - 11*s - 10*s**3 - 24*s. Is g(24) a multiple of 6?
False
Suppose 4*n + y = -1041, -25 = 3*y + 2*y. Let o = 408 - n. Is 21 a factor of o?
False
Suppose 2*b - 10 = 0, -3*k - 5*b + 30978 = -67993. Is 46 a factor of k?
True
Let t be ((-3)/(-4))/((-2 + -2)/64). Let r be -2*t/18 + 29/3. Suppose -r*g + 1259 + 897 = 0. Does 40 divide g?
False
Suppose -2161 = -3*d - 499. Let z = d + -290. Is z a multiple of 17?
False
Let m(g) = -3286*g**3 - 6*g**2 + 12*g - 1. Does 27 divide m(-1)?
True
Let b(o) = -159*o**2 + o. Let v be b(1). Let x = -23 - v. Suppose -2*h - 4*p + 3*p + x = 0, 0 = h - 5*p - 40. Does 15 divide h?
False
Let l(s) = -76*s + 62. Let q be l(6). Let v = q - -785. Is 47 a factor of v?
False
Let j = 718 + -414. Let o = 322 - j. Is o a multiple of 9