 43 = -3*s + 4, -29 = -s - 5*v. Suppose -340 = -s*o + 1064. Does 26 divide o?
True
Let c(j) = 10*j**3 - 3*j**2 - 14*j + 329. Let q(g) = 6*g**3 - 2*g**2 - 9*g + 219. Let u(i) = -5*c(i) + 8*q(i). Does 3 divide u(0)?
False
Suppose -8916*c + 8964*c - 2497968 = 0. Is c a multiple of 79?
False
Is 12 a factor of ((-186)/(-12))/(4/376)?
False
Suppose -2*a + 77 = -3*b, -4*a + 63 = 4*b - 81. Let j = a - 37. Suppose 0 = -p - j*d - 5*d + 122, 5*d = 5*p - 640. Is 34 a factor of p?
False
Is 4 a factor of 214240/91 - (-13)/((-273)/6)?
False
Suppose -2*h - d = -330, -7*h = -4*h - d - 485. Let u = h - -137. Is 30 a factor of u?
True
Let a(c) = -63*c + 1016. Let s be a(16). Let m = 2241 - 1583. Suppose k + m = s*k. Is k a multiple of 12?
False
Suppose 6*n + 19 = 9*n - 4*r, -n = r - 11. Let p = -7 + n. Suppose 0 = -3*s + 4*t + 449, p*s + 4*t - 258 = 28. Is 10 a factor of s?
False
Suppose 41*k = -3*k - 2 + 2. Let j be ((-2)/(-6))/(2/402). Suppose 63*m - j*m + 952 = k. Is m a multiple of 24?
False
Suppose 88 - 8 = 4*v + 2*c, 5*v = -5*c + 105. Let k(w) = -w**3 + 20*w**2 + 7*w + 4. Is 47 a factor of k(v)?
False
Let f(j) = -j**3 - 11*j**2 + 47*j + 256. Does 25 divide f(-24)?
False
Suppose -6*l - 336 = 5*k - 7*l, 3*k + 184 = 5*l. Let u = k + 70. Suppose 0 = u*c - 2, 5*r - 15 = -5*c - 0*c. Is r even?
True
Let h(u) = u**3 - 5*u**2 + 12*u + 1144. Is 34 a factor of h(24)?
True
Let k = 1759 + -1767. Let y(a) = -5*a - 16. Let f(u) = -4*u - 17. Let g(d) = -4*f(d) + 3*y(d). Is g(k) a multiple of 6?
True
Suppose 3*u + i = -5 + 17, -34 = -5*u + 3*i. Suppose 3*y = -u*l - 80, -y = 2*y - 3*l + 96. Is 5*(-9)/(27/y) a multiple of 10?
True
Let w(x) = 2 + 13*x + 1 - 5*x. Let u be w(6). Suppose -3*c + u = 2*f - 47, -5*f + 5 = 0. Does 16 divide c?
True
Let c(t) = -43*t - 1788. Does 9 divide c(-51)?
True
Let b = -408 + 401. Let g = b + 262. Is 5 a factor of g?
True
Suppose 10 = 4*g - 2*n, -6*n + 2*n = -4*g + 4. Suppose -g*a + 9*a - 1110 = 0. Suppose 0*c - 34 = -o + 5*c, c = -5*o + a. Is 3 a factor of o?
False
Suppose 4*d + 3*u - 8*u = 2255, -3*u = -4*d + 2249. Suppose -6460 = -10*g - d. Is g a multiple of 59?
True
Let g(k) = 10*k**2 - 237*k - 59. Is g(-13) a multiple of 19?
True
Let h = 7478 + -2055. Is 14 a factor of h?
False
Let q = 1782 - 822. Suppose 157*m - q = 152*m. Does 32 divide m?
True
Is (-15)/(-12) - (-2083)/4 a multiple of 55?
False
Let i(k) = -4*k**2 - 9*k - 4. Let u be i(-2). Does 35 divide (-9*644/3)/u?
False
Let z(t) = 9*t**2 + 3*t - 2. Let v be z(1). Let k(d) = 5*d + 92. Is k(v) a multiple of 29?
False
Suppose -68*t + 217977 = -180639. Does 22 divide t?
False
Is (-30)/24*((-126040)/10 - 12) a multiple of 38?
True
Suppose -r + 1890 - 257 = 0. Let v = r + -1104. Is 10 a factor of v?
False
Let x(m) = 26*m**2 - 12*m + 14. Let b(t) = -t**3 + 7*t**2 - 7*t + 11. Let s be b(6). Does 12 divide x(s)?
False
Let v = 14487 + -8879. Is 44 a factor of v?
False
Suppose -2*k + 12146 + 4440 = 4*r, 4*r = -5*k + 41507. Does 39 divide k?
True
Suppose 5*l + 2723 = 7*l - 3*i, -6802 = -5*l + 2*i. Suppose 14*d = l - 380. Is 10 a factor of d?
True
Suppose -14*u + 57323 = -68822 + 14145. Does 40 divide u?
True
Suppose 0 = -41115*v + 41136*v - 275688. Is v a multiple of 18?
False
Suppose 7*v + 2*v - 18 = 0. Is 65 a factor of (7 - -448)/(-1 + v)?
True
Let x(g) = -45*g**3 + 49*g**2 - 38*g - 195. Is x(-7) a multiple of 38?
False
Suppose -15*d + 3405 = -2850. Is d a multiple of 14?
False
Let u be 16 + (32/(-18) - (-2)/(-9)). Suppose -u*l = -0*l - 1736. Is 31 a factor of l?
True
Let u(b) = -79*b + 104. Suppose -150*v + 147*v = 21. Is 73 a factor of u(v)?
True
Suppose 570 = 5*x + 14*x. Suppose -x*z + 1806 - 186 = 0. Does 27 divide z?
True
Suppose 0 = 2*n + 3*b - 969, -584*n = -582*n + b - 979. Is n a multiple of 27?
False
Let z = -64 - -67. Suppose 8*l - 25 = z*l. Suppose 8*x = l*x + 663. Is 41 a factor of x?
False
Let v be ((-306)/45 - -2)/((-1)/(-5)). Is (-2)/3 - -1*(-3448)/v a multiple of 5?
False
Let m(q) = -28612*q - 16. Let t be m(-6). Is (-2)/7 + t/301 a multiple of 59?
False
Let z = -24 - -48. Let d be 5/((-40)/(-17984)) - -8. Is z/156 + d/39 a multiple of 29?
True
Let n = -38775 - -94424. Is n a multiple of 11?
True
Let o(f) = 3*f**2 + 11*f - 37. Let s(z) = -4*z - 62. Let v be s(-18). Does 39 divide o(v)?
False
Let n = -133 + 137. Suppose -8*a = -n*a - 128. Suppose -31*t = -a*t + 25. Is 3 a factor of t?
False
Let x(u) = -u**2 - 11*u - 20. Let n be x(-9). Let v be (-48 + 50)*(0 + n)*5. Let o = 22 - v. Is o a multiple of 7?
True
Let q = -2 + 4. Let s(r) be the first derivative of 13*r**3/3 - 2*r**2 + 5*r - 5. Is 13 a factor of s(q)?
False
Suppose 4*k = -r + 2090 + 52376, -4*r = -3*k + 40878. Is k a multiple of 8?
False
Suppose 6*c + 20 = 11*c. Suppose -3*k + 4*k + 503 = 2*i, -3*i + c*k = -752. Does 3 divide i?
True
Let c(g) = g**2 + 33*g + 164. Let j be c(-27). Suppose 27*n - 30*n + 872 = a, 0 = j*n + 3*a - 572. Does 35 divide n?
False
Let w(n) = 3*n**3 - 3*n**2 - 129*n - 194. Is w(13) a multiple of 11?
True
Suppose p + 169 = 4*c, c - 4*p = 12 + 34. Suppose m - 14 = -49. Let o = c + m. Does 7 divide o?
True
Let t be (-417)/9*(1 - -2). Suppose -10*j + 58 = -12*j. Let k = j - t. Is 38 a factor of k?
False
Suppose 316216 + 243837 = 88*x + 120581. Does 22 divide x?
True
Let k = 166 + 288. Let z = -21 + k. Is 27 a factor of z?
False
Let h(g) = g**2 + g - 6. Let r be h(-3). Suppose -6*u - 9*u + 1875 = r. Does 11 divide u?
False
Suppose -18*k + 19*k = -959. Let v = k - -2037. Does 40 divide v?
False
Suppose 32679 + 125515 = 38*j. Is j a multiple of 181?
True
Suppose 5*z - 17 = -2*i + 4*i, 2*z - 5*i + 10 = 0. Suppose z*j + 9*j = 2926. Is j a multiple of 19?
True
Let j be (-428)/(-24) - 3/36*-2. Let x be (1 + -5)/(105/j + -6). Does 16 divide ((-128)/6)/((-8)/x)?
True
Let w(r) = -17*r + 93. Let p be w(5). Suppose -8905 + 1513 = -p*x. Does 12 divide x?
True
Let a be 3 - (-5 - (4 + 1 + -1)). Suppose a*i - 19915 = -2995. Is 47 a factor of i?
True
Let w = 2153 + 377. Does 46 divide w?
True
Let j(n) = -n**3 + 49*n**2 - 22*n + 336. Is j(41) a multiple of 20?
False
Let f = 551 + 4685. Does 53 divide f?
False
Suppose 0 = -11*a + 10*a - 2*x + 401, a - x = 392. Is a a multiple of 2?
False
Suppose -45 = 31*r - 34*r. Let v be 16/12 + 10/r. Suppose -427 = -v*c - 91. Does 14 divide c?
True
Let g be ((-2656)/6)/(-2) + (-8)/24. Suppose 231 = 4*f - 7*f. Let m = f + g. Is 29 a factor of m?
False
Suppose 3*a = -5*i + 16469, -69*i + 67*i = -3*a - 6575. Does 71 divide i?
False
Suppose z - 12480 = 14*b - 18*b, -b + 5*z = -3120. Does 13 divide b?
True
Let q = 319 - 320. Is (1 + q/2)*(5 - -245) a multiple of 4?
False
Let k(a) = -a**3 + a**2 - 1. Suppose -18 = -5*r + u, -4 = r + 2*u - 1. Let t(o) = -2*o**3 - 2*o**2 - 16*o + 7. Let j(g) = r*k(g) - t(g). Is 5 a factor of j(6)?
True
Suppose -450 = 43*w - 61*w. Let s(d) = 13*d - 200. Does 25 divide s(w)?
True
Does 20 divide (335/(-35) + 1)/((-21)/34594)?
True
Suppose 0 = 23*h - 136 - 48. Suppose t + h*f = 4*f + 415, -4*t + 1597 = -5*f. Is t a multiple of 15?
False
Let g(a) = 12*a - 3. Let d be g(-3). Let p = d + 40. Does 12 divide 13/p - 1/1?
True
Suppose z - 2546 = -2*j, 3*z - 7380 = 3*j + 258. Is 18 a factor of z?
False
Let c(o) be the third derivative of o**6/120 + o**5/5 + o**4/12 + 4*o**2 + 10*o. Is 15 a factor of c(-9)?
True
Let x(b) = 14*b**2 - 6. Let t(q) = q**3 - 11*q**2 - 14*q + 26. Let l be t(12). Suppose 0 = -5*c + 3*o - 24, 0 = -3*c - 5*o + 4 + l. Does 24 divide x(c)?
True
Does 17 divide (-22 + (-465927)/(-44))*4?
False
Suppose -4*d + 21096 = -4*m, -2*d - 166 = -5*m - 10702. Is 7 a factor of d?
True
Suppose 0 = 3*p - 12, u - 5*p - 413 = -1788. Let q = u - -2145. Suppose -3*f + q = -x - 187, -f + 315 = 5*x. Does 25 divide f?
True
Let b be 5/(-10)*12*2/(-6). Suppose -3*o + 19 = 5*q, 5*o - b - 5 = 4*q. Suppose 2*n + 5*h + 2 = o*n, -3*h = -n + 6. Is n a multiple of 5?
False
Let i be 12/24 - 1105/(-10). Does 54 divide i - ((-21)/28 - (-30)/8)?
True
Is 22 a factor of 11/((-77)/35) - -3459?
True
Suppose 3*h - 12228 = -5*g, -6*h - 9780 = -4*g - 9*h. Does 34 divide g?
True
Is (-908732)/(-539) - 20/(-490) a multiple of 28?
False
Let h(r) = r**2 - 24 + 4 + 0*r + r**2 + 7*r. Let y be h(-7). Suppose 0 = -2*d + 233 + y. Is d a multiple of 14?
False
Let n = 8 - 174. Let o = 185 - n