t v(s) = s**3 + 21*s**2 + 18*s - 38. Let n be v(-20). Suppose 19*d = 20*d - n. Is 11 a factor of (-36)/24*(d/(-1) - 24)?
False
Suppose -189*d = -181*d - 67184. Is d a multiple of 19?
True
Suppose 3460 = u + 5*w, 0 = -3*u + 18*w - 31*w + 10388. Is u a multiple of 29?
True
Let r(k) = k**3 - 2*k**2 - 5*k + 8. Let p(u) = -u**3 + 3*u**2 + 19*u - 2. Let l be p(6). Let v be r(l). Suppose v*f - 390 = 17*f. Is f a multiple of 10?
True
Suppose 486*t + 6259 + 11316 = 523*t. Is t a multiple of 19?
True
Let q = 0 + 5. Suppose 5*u = q*t + 8*u - 1076, 5*t + 4*u - 1078 = 0. Is 15 a factor of t?
False
Let y(o) = -3*o**3 - 2*o**2 + 13*o - 19. Let t(f) = -4*f**3 - 2*f**2 + 13*f - 18. Let k(m) = -2*t(m) + 3*y(m). Does 19 divide k(-7)?
True
Suppose -19*k = -4*y - 16*k + 7686, -3850 = -2*y + 5*k. Is 80 a factor of y?
True
Suppose 5*y = -11*y + 14*y. Let p = y + 6. Suppose 503 = p*i + 35. Does 19 divide i?
False
Suppose -5*h - 1051 = -3*k + 1487, 0 = k - 5*h - 856. Let t = k - 441. Does 7 divide t?
False
Suppose 2*z + 2*b - 724 = 0, 5*b - 643 = -4*z + 806. Is 23 a factor of z?
False
Suppose -18 = -2*i - 12. Suppose -3*f = -2*z + 828 + 182, 5*z = i*f + 1022. Let w = -221 - f. Is w a multiple of 30?
False
Suppose 4*w + 2*i = 16, 6*w - 10*w - 5*i = -22. Suppose 238 = -w*y + 8*y + 2*g, 2*y = -2*g + 100. Is y a multiple of 23?
True
Let v(q) = -q**2 + 5*q - 1. Let z be v(6). Let x(o) be the first derivative of -o**4/4 - 2*o**3/3 + 4*o - 4. Is x(z) a multiple of 15?
False
Does 20 divide ((-1752)/27)/((-560)/42 + 13)*75?
True
Suppose 18*i - 20*i = -7*l + 98112, i = 4*l - 56064. Is 146 a factor of l?
True
Suppose 3*r = 5*n - 17 - 12, 17 = 2*n - 3*r. Let l(a) = -a**2 + 4*a + 5. Let z be l(n). Suppose -3*x = -0*x + 5*i - 76, 138 = z*x - 3*i. Is x a multiple of 27?
True
Let a = -31 - 5. Let l be (8/a - (-958)/18) + -3. Suppose 4*d = -5*s + 55, -3*d - d - l = -2*s. Does 5 divide s?
True
Suppose -2*v + 4*b + 10254 = 0, 0 = -102*v + 106*v - 3*b - 20493. Is 55 a factor of v?
False
Let k(i) = 15*i + 14*i - 36*i + 15*i + 130. Is k(14) a multiple of 11?
True
Let s(b) = -13*b**3 - 12*b**2 - 4*b + 20. Let o(h) = 12*h**3 + 15*h**2 + 3*h - 19. Let r(n) = -6*o(n) - 5*s(n). Is r(-6) a multiple of 62?
True
Suppose -2*a + 10272 = 6*h, 0 = h + 94 - 86. Does 129 divide a?
True
Let h(r) = r**3 - 5*r**2 + 3*r - 1. Let l be h(4). Let z be (-1)/(l/15 - 0). Suppose -z*m = i + 2*i - 417, -2*i - m = -278. Is i a multiple of 26?
False
Suppose -4 = -4*j - 0, -2*b + 1861 = j. Is b a multiple of 62?
True
Suppose -r - 4*z - 13 = 0, -2*z = 2*r + 24 - 22. Suppose -r*d - 4*t = -554, 110 = d - 2*t - 88. Is 10 a factor of d?
True
Let y = -9604 - -14560. Is y a multiple of 42?
True
Let s = -25037 - -35486. Does 81 divide s?
True
Let a = -1171 + 2031. Suppose 5*n = -3670 + a. Is ((5 - 4)/2)/((-1)/n) a multiple of 34?
False
Suppose 50 = 3*k - 0*o + 2*o, k - 3*o = 2. Is (3 + 1967/k)*2 a multiple of 41?
True
Let o(x) = -46*x**3 - 7*x**2 - 6*x. Does 2 divide o(-1)?
False
Suppose -1 = -3*m - 22. Suppose -7*v - 10*v + 663 = 0. Let h = m + v. Is 8 a factor of h?
True
Suppose 4*a = 28, -54*a = 4*x - 56*a - 15494. Does 12 divide x?
False
Let x be (-78 - -36)*11/(-1). Suppose 10 = 2*o - 0*o. Suppose -f = o*f - x. Is f a multiple of 11?
True
Suppose -11*l + 158 = -40. Suppose l*k = 14*k + 216. Does 8 divide k?
False
Let p = -43 - -15. Suppose 2*s + 4*s - 36 = 0. Let z = s - p. Does 15 divide z?
False
Let w(p) = -5*p - 27. Let y be w(-6). Suppose 2 = y*o - 2*o. Suppose -5*a - o*t + 463 = 0, -4 = -2*t + t. Is a a multiple of 17?
False
Let x(r) = -2*r - 11. Let h be x(-8). Suppose -h*k + 3*b + 29 = 4*b, 2*b + 26 = 4*k. Suppose 2 = k*o - 538. Is 18 a factor of o?
True
Suppose 14*w - 856 = 6*w. Let c = w - 39. Is c a multiple of 17?
True
Let w(i) = -6*i**2 - 11*i + 14. Let r(k) = -6 + k**2 + 7 - k**2 - k**2 + k. Let f(t) = 2*r(t) - w(t). Does 18 divide f(-6)?
True
Let m be 6*(-4)/8 - -10. Suppose 0 = 9*u - m*u. Does 5 divide 17 - u - (4 - 2)*1?
True
Let r(y) = 3*y**2 + 3*y + 4. Let a be r(-5). Let c = -61 + a. Suppose -3*s + 92 = -4*i, 0 = c*s - 2*i - 0*i - 88. Does 15 divide s?
False
Let l be (-160)/(-1) + 36/(-12). Let i = l - -287. Does 12 divide i?
True
Suppose -3*z = 4*s - 19, 0 = -4*s + 3*z + 14 - 1. Suppose -s*r = -5*t - 1872, -27*t + 22*t = 0. Is 9 a factor of r?
True
Suppose -21*h = -18*h - u - 56526, 0 = 3*h + 22*u - 56388. Is h a multiple of 10?
True
Suppose 21003740 = 421*v - 6940135. Is 23 a factor of v?
False
Let a(s) = 1293*s**2 - 20*s - 68. Let c be a(-4). Suppose 46*l - 23*l = c. Is l a multiple of 51?
False
Let l be (-1)/10*-15*-40. Suppose 0 = 2*r - 3 - 7. Let p = r - l. Does 32 divide p?
False
Let d = 57 - 87. Let t(p) = p**3 + 29*p**2 - 37*p - 29. Let b be t(d). Suppose b = 10*k - 339. Does 30 divide k?
False
Let u be 67 + (0/(2 + -3))/1. Let n = u - 63. Suppose 560 = -0*q + 5*q + n*v, -3*v = -q + 112. Does 14 divide q?
True
Suppose h + 6*h + 5*h - 134700 = 0. Does 25 divide h?
True
Let j(o) = -o**2 + 6*o + 19. Let u be j(10). Let t = u + 115. Let s = 116 - t. Is 9 a factor of s?
False
Suppose 27*i = -51 + 159. Suppose -j = -3*g - g + 1760, 2*j = i*g - 1760. Does 40 divide g?
True
Suppose 5*z - 113*u - 113385 = -115*u, -3*u = 4*z - 90715. Does 14 divide z?
False
Let w be 3327/24 - 7/(112/(-6)). Let j = w - 20. Does 17 divide j?
True
Let t(m) = 437*m**3 + m**2 - 3*m - 1. Let r be t(1). Let x = -265 + r. Is x a multiple of 79?
False
Suppose -725*h = -726*h + 3138. Is h a multiple of 43?
False
Let c(g) = 36*g**2 + 36*g + 128. Is c(-12) a multiple of 40?
True
Suppose -4*a - 5*x = -146119, a = x + 47678 - 11146. Does 87 divide a?
False
Let d(q) = -q**3 + 4*q**2 + q + 8. Let c be d(4). Suppose 3240 = -9*r + c*r. Suppose 0 = -17*x - 3*x + r. Is x a multiple of 6?
True
Let m = -228 + 229. Is (2/(-12))/(m/(-138)) a multiple of 3?
False
Let d(q) = -q**3 + 41*q**2 + 79*q - 1019. Does 10 divide d(41)?
True
Let h = -4226 + 7901. Is h a multiple of 175?
True
Let b(j) = 1778*j**2 + 12*j - 1. Is 13 a factor of b(2)?
False
Suppose i + 15 = 2*i - 2*a, 0 = 5*a - 25. Suppose -6*x + x = -i. Suppose -x*g = k - 280, -g + 5*g - 1104 = -4*k. Is k a multiple of 37?
False
Let l = -62 + 176. Suppose -4*k + 1208 = 2*o + l, 0 = o - 4*k - 553. Is 25 a factor of o?
False
Let j(h) = -100*h + 4. Let w be j(-4). Let f = w - -32. Does 7 divide f?
False
Is (-9)/405*-6 + (-4573646)/(-255) a multiple of 103?
False
Let i = -2937 + 6122. Does 65 divide i?
True
Let s(f) = -2*f**3 + f - 26. Let b be s(-7). Let m = b + -257. Is 22 a factor of m?
True
Let h(f) = -20*f - 141. Let b be h(-35). Let r = b - -429. Is 11 a factor of r?
False
Let o be ((-48)/(-12) + 38/(-12))*6. Let k(n) = -4*n**3 + 20*n**2 - n + 2. Let r be k(o). Does 7 divide 15 - -3*1*(-4)/r?
False
Is (161728/24)/19*3 a multiple of 28?
True
Let n be ((-6)/(-4))/((-1)/542*1). Let o = n + 1177. Is 52 a factor of o?
True
Suppose -11*y = -10*y + 3*p - 1163, -5*y + 2*p + 5730 = 0. Is y a multiple of 7?
True
Suppose 610 = v - 5*c, -3*v + 5*c - 42 = -1812. Is v a multiple of 3?
False
Suppose 181*y = 213*y - 57184. Is 32 a factor of y?
False
Suppose -282*t = -2*o - 283*t + 5850, 0 = 2*o - 5*t - 5862. Does 4 divide o?
False
Suppose 2612 = 5*l - 3758. Let b = 2228 - l. Is b a multiple of 45?
False
Let p be 15 + -1 + 0 + 12/4. Suppose 128 = -15*n + p*n. Suppose 12*g = 8*g + n. Is g even?
True
Let i(l) = 305*l. Let v be i(-1). Let c = v - -600. Suppose -3*s + 0*s - 5*x = -137, 5*s - c = 5*x. Does 9 divide s?
True
Suppose 3*r - 611 = 6*v - 2*v, 5*r - 25 = 0. Let k = -76 - v. Is 11 a factor of k?
False
Suppose 484 - 468 = 2*p. Is 47 a factor of (1 - (-4)/p)*(-940)/(-15)?
True
Is 62 a factor of (2554/9)/(36/594) - (-8)/12?
False
Let j(y) = -y**2 + 40. Let v be j(-11). Is (6*27)/(-3 - v/18) even?
True
Suppose -2*b + 732 = -0*b. Suppose b = k - 2*y + 7*y, -5*y = 2*k - 757. Is k a multiple of 23?
True
Let n(c) = 26*c + 1954. Is 132 a factor of n(33)?
False
Let v(t) = -t**3 + t**2 + 6*t + 3. Is 2 a factor of v(-8)?
False
Let t(v) = 39*v**3 - 2*v + 1. Let a be 2*((-2)/3 - 63/(-54)). Is 2 a factor of t(a)?
True
Suppose -25*l + 272244 = 146704 - 305410. Is 26 a factor of l?
True
Is 3 a factor of 39/(-6) - 518161/(-158)?
True
Let v(n) = 17*n**2 + 54*n - 33. Is 130 a factor of v(-11)?
True
Let b be (1/(-3))/