-2*u - 1 + 22 = -5*a, -3*a = 9. Suppose 4*q + 36 = -4*r, -4*q = -u*q - 2*r - 6. Is 10 a factor of -15*(3/(9/(-10)) + q)?
True
Let r = 18 - 13. Suppose -r*k - 2*i = -190, 3*i - 4*i = -k + 45. Suppose -k*u = -37*u - 24. Is u a multiple of 8?
True
Let n = -273 + 277. Suppose 5*t - 1825 = 3*g, 3*g - n*g = -t + 363. Is t a multiple of 14?
False
Let f(x) = -x**3 + 9*x**2 - 3*x + 14. Let z be f(8). Suppose 53*r - z*r + 10 = 0. Is 20 a factor of 1 - ((-2)/r + 359/(-5))?
False
Let h = 2005 - 1137. Is h a multiple of 4?
True
Suppose 0 = -493*m + 511*m - 138240. Is m a multiple of 8?
True
Let o(f) = 6*f**2 + 5*f. Let i(y) = -y + 16. Let c be i(15). Let d be 2/(-8) + c/4 - 4. Does 15 divide o(d)?
False
Let w = -99 - 15. Let t = -104 - w. Is 385/t - 1/2 a multiple of 19?
True
Let n = 256 + -233. Is (-54 + -6)*n/(-2) a multiple of 20?
False
Let q(v) be the first derivative of 5*v**4/4 + v**3/3 - 2*v**2 + 10*v - 3. Is q(5) a multiple of 9?
False
Suppose 42 = 8*v - 86. Suppose v = 3*g + 7. Suppose g*o = -3*o + 1188. Is o a multiple of 22?
True
Suppose 10 = -20*p + 19*p. Let k(x) = 7*x**2 + 42*x - 18. Does 54 divide k(p)?
False
Suppose 164 = 5*r - 16. Let y be (-15)/((-180)/(-50) - 3). Let s = y + r. Is s a multiple of 11?
True
Suppose v = -v + 8. Suppose 4*t = -h - 3*h + 328, 2*t = 5*h + 199. Suppose -399 = -4*c + 5*b, 3*b + t = v*c - 306. Is 32 a factor of c?
True
Suppose -8*o = -12*o + 8. Suppose 4*l - 438 = o*l. Let h = l - 110. Is 14 a factor of h?
False
Suppose 20 = 2*q + 2*q. Suppose -2*x - 2*x - 2*t - 46560 = 0, -4*x + q*t - 46560 = 0. Does 29 divide x/(-100) + (-4)/10?
True
Suppose -23*c = 15259 - 152155. Suppose -11*w - w + c = 0. Is w a multiple of 18?
False
Let o = -277 + 814. Let x = -2 + 5. Suppose -o = -5*v - x*g, -2*g + 5*g = 3*v - 327. Is 9 a factor of v?
True
Let p be (-2)/((-1)/(-10) - 18/(-45)). Let k(i) = -4*i**3 - 5*i**2 - 4*i - 9. Does 6 divide k(p)?
False
Let h(k) = 2*k**3 - 38*k**2 + 58*k + 380. Does 44 divide h(26)?
True
Suppose -12*z - 23*z = -40*z + 17395. Does 2 divide z?
False
Let r(y) = -y**3 - 4*y**2 - 6*y + 3. Let q be r(-5). Let z = 56 - q. Does 33 divide 2190/66 - z/(-11)?
True
Suppose 0 = 18*y - 11*y + 3143. Let h = y + 879. Is 10 a factor of h?
True
Let u(o) = o - 6*o + o**2 + 2 + 2*o. Let w be u(8). Suppose 4*r = 18 + w. Is r even?
False
Suppose -a = -15 + 13. Suppose -a*c + 3*c + 3*f - 58 = 0, -4*f + 248 = 4*c. Let z = c + -14. Is z a multiple of 11?
False
Suppose 3*v + 4*l - 2636 = 0, -5*v = -l - 3933 - 422. Suppose 8*p - 3*p - 2*o - v = 0, -5*p = 4*o - 896. Is p a multiple of 30?
False
Let x be 74/(-5) + 36/45. Let g be ((-108)/42)/((-3)/x)*-10. Suppose -r - g = -5*r. Is r a multiple of 3?
True
Let i(c) = -c**2 - 38*c + 14. Let f be i(-38). Let x = 6 - 10. Is 5/(f/x - -4) a multiple of 6?
False
Suppose -728 = -24*y + 20*y. Suppose -11*s = -9*s - y. Is s a multiple of 3?
False
Let q(t) be the second derivative of -t**3/3 + 25*t**2/2 + 2*t. Let l be q(11). Let r(a) = 28*a - 12. Is r(l) a multiple of 6?
True
Let m = 80277 + -49645. Is m a multiple of 143?
False
Suppose 3*o - 7 = 2*t, -4*o + 11 = -0*o - t. Suppose -h + 0*h + 164 = -o*j, -2*h + 2*j + 312 = 0. Is 9 a factor of h?
False
Suppose -b = -2*b - 5*i + 286, 4*b + 3*i - 1076 = 0. Suppose 979 = 3*j - b. Suppose 3*a - j + 67 = 0. Is 29 a factor of a?
True
Let y(n) = -n**3 - 3*n**2 + 3*n - 2. Let f be y(-4). Let o(g) = -8 - 45*g**2 + 44*g**f - 14*g + 2. Is 9 a factor of o(-6)?
False
Let y = -19 + -17. Let t be 14/(-6) + 2 - (-5136)/y. Let q = -59 - t. Is q a multiple of 12?
True
Suppose -3*l - 21 = -3*o, 5 = -0*o - 5*o - 5*l. Let m be ((-4)/o)/(56/(-126)). Suppose -2*x - 33 = -m*x. Is 33 a factor of x?
True
Suppose 0 = -0*u - 5*u - 85. Let b = 33 - u. Suppose -b - 142 = -2*x. Is x a multiple of 16?
True
Let x(l) = -l**3 + 4*l**2 - 2*l - 1. Let m be x(3). Let i be ((-2)/3)/(3*m/(-18)). Suppose -i*s + 13*s - 715 = 0. Is 5 a factor of s?
True
Let s = 4497 - 1403. Is s a multiple of 26?
True
Let n(y) = y**3 - 10*y**2 + 20*y + 12. Let z be n(7). Suppose 0*j - 2*j = -2*k + 346, -3*k - z*j + 495 = 0. Is 40 a factor of k?
False
Let b be (-2 - (-2)/(4/3))*-8. Suppose -3*p - l = l - 1360, -b = l. Suppose -5*c + 4*y + p - 42 = 0, 2*c - 168 = y. Does 22 divide c?
False
Suppose -4*o - z + 93131 = 0, 3*o + 46565 = 5*o + z. Is 9 a factor of o?
True
Let u(l) = 1545*l**2 - 22*l - 23. Let p(o) = -1546*o**2 + 21*o + 22. Let n(y) = -6*p(y) - 5*u(y). Does 50 divide n(-1)?
True
Let n(d) = -2062*d + 5520. Is n(-9) a multiple of 23?
False
Let w(m) = 4*m**2 - 16*m + 384. Is w(19) a multiple of 12?
True
Let m = 6123 + -4085. Suppose -2*g = 5*c - 3*g - m, -4*g = -c + 400. Is 11 a factor of c?
False
Suppose 2*p + 44362 = 4*v, 14*v + 3*p = 9*v + 55425. Is v a multiple of 21?
True
Let o(r) = -r**3 + r**2 - r + 30. Let s be o(0). Let p = -318 + 304. Let t = s + p. Is 4 a factor of t?
True
Does 22 divide (933/1244)/((-6)/(-3664))?
False
Suppose 232*p - 9700992 = -267*p - 5*p. Is p a multiple of 154?
False
Let f(l) = -l**2 + 9*l + 29. Let i be f(11). Suppose -i*s + 357 = -14*s. Let t = s - -63. Is 6 a factor of t?
True
Let n(x) = 3*x**2 + 560*x - 117. Is n(39) a multiple of 78?
True
Suppose 0 = -3*k - 38*n + 33*n + 85374, 4*k - 3*n = 113861. Does 33 divide k?
False
Suppose 771507 = 13405*b - 13396*b. Is b a multiple of 24?
False
Suppose 564 = m + 555, 0 = -f - 3*m + 53487. Is 165 a factor of f?
True
Let c(p) = 1881*p**2 - 1. Is 8 a factor of c(1)?
True
Let d = 22 - 20. Suppose y + 1 = -2*p, -5*p + 7*y + 35 = d*y. Suppose 26 = p*t + o - 34, -120 = -4*t + 2*o. Is 15 a factor of t?
True
Suppose x - 7505 = -4*n, -4*x - n + 12453 = -17567. Is x a multiple of 79?
True
Let l(p) = 3*p**3 + 6*p**2 + 2*p + 5. Let i(f) = -8*f + 101. Let k be i(12). Does 27 divide l(k)?
True
Suppose 0 = -15*d + 18*d - 18. Suppose 22 - 4 = d*s. Does 2 divide s?
False
Let l be ((4 - 44/12)*0)/1. Is 5 a factor of 24/6 - (-132 + l + -2)?
False
Let b = -2788 + 2917. Does 15 divide b?
False
Let u(k) = 4*k**2 - 64*k + 612. Is 174 a factor of u(-44)?
False
Let d(a) = 48*a + 1503. Is 15 a factor of d(-22)?
False
Suppose 0 = 4*g - r + 17, 0 = -g - 5*r + 2*r - 14. Let z be 5 - (g + 2 - -2). Is (-3)/z*(-2*22)/2 even?
False
Let s = 10452 + -9610. Does 31 divide s?
False
Let v(h) = -h + 57. Let i(b) = 6*b - 284. Let u(a) = 3*i(a) + 14*v(a). Let o be u(18). Is 1176/o*(-3)/(-2) a multiple of 15?
False
Suppose y + w = -14, 5*y + 0 + 40 = 5*w. Let t = 54 - y. Suppose 3*g - 4 - t = 0. Does 6 divide g?
False
Suppose 4*f = 12, 0 = -2*u - f - 4*f + 109. Suppose 19 = -2*j - 19. Let z = u + j. Is z a multiple of 3?
False
Is (-2)/(-4) + 13019*(-2)/(-4) a multiple of 93?
True
Let y = -423 - -726. Suppose 3*a - y - 242 = -2*n, n - 1 = 0. Is 4 a factor of a?
False
Suppose -9*c + 1001 - 713 = 0. Let h = 268 - c. Is 66 a factor of h?
False
Let q be 1/(-4)*(-24 + 16). Suppose -2 = q*y, 2*y + 267 = 2*z - 3*y. Is 17 a factor of z?
False
Let k = 745 - 635. Let q = 194 + k. Is q a multiple of 38?
True
Let r(i) = 185*i**3 - 3*i**2 + 3*i + 4. Let m be r(2). Suppose 22*x - 20*x = m. Is 10 a factor of x?
False
Suppose -13*w = -11*w - 2128. Suppose w = 2*i - 2*d - 0*d, i - 3*d = 540. Is i a multiple of 8?
True
Let y(d) = -455*d**3 + 6*d**2 - 3*d - 4. Let v(x) = 2*x**3 - x**2. Let q(h) = 6*v(h) + y(h). Is q(-1) a multiple of 10?
False
Suppose 224*w = 238*w + 15274. Let p = -373 - w. Is p a multiple of 34?
False
Let f(x) = 8*x**2 + 138*x + 2577. Is 142 a factor of f(-66)?
False
Let m(v) = -10*v - 28. Let b be m(-3). Suppose 4*a + 2*l - 245 = 381, -b*a + 5*l + 319 = 0. Does 12 divide a?
False
Let c(a) = a**2 - 5*a - 6. Let v be c(6). Suppose -186 = 116*m - 113*m. Does 15 divide v - m/(-4)*-4?
False
Suppose 3*w = -0*w + 15. Let a be (246/(-656))/((-3)/16). Suppose j = a*k + 16, 70 + 58 = w*j + 2*k. Is j a multiple of 8?
True
Suppose 4*g + 4*x - 2*x - 1636 = 0, 3*g = -2*x + 1226. Let j = g + -287. Is 16 a factor of j?
False
Let p be ((-1)/(4/(-8)))/1. Let w be 13/(390/5112) - p/5. Is (1 - 0)*(w/5 + 1) a multiple of 9?
False
Suppose 0 = -0*g - 4*g + 8. Suppose 3*z + 73 = -g*z + 4*c, 0 = -4*z - 3*c - 46. Does 11 divide 1722/39 - (-2)/z?
True
Suppose w + 95 = 5*d, -w - 2*w = 15. Suppose -4 = h + 2*j + 2, -2*h + 2*j = -d. Suppose 2*l + 32 = 3*l + i, -h*i = -l + 22. Is 11 a f