 -s - 15. Does 11 divide i/s - (-14)/21?
True
Does 6 divide 910/(-20)*132/(-14)?
False
Suppose -209 = 2*z + 5*v, z + 2*v = -z - 200. Let r = -64 - z. Does 15 divide r?
False
Suppose 3*t + 3*s + 18 = -0*t, 0 = -4*s. Let v = -2 - t. Let k(l) = 3*l**2 - 2*l - 2. Is 14 a factor of k(v)?
False
Let b be -4 + 8 + -1 - -2. Suppose 3*v - 55 = -b*f, -11 = -f - 2*v + v. Is 2 a factor of f?
False
Let i(z) = 2*z**2 - 29*z - 11. Let s(a) = -a**2 + 10*a + 4. Let w(q) = -3*i(q) - 8*s(q). Is w(5) a multiple of 5?
False
Suppose 2*n = -n - 3*n. Suppose -v = g - 144, n*v = -3*v + g + 444. Is v a multiple of 21?
True
Let q be (1 - -3)*(2 + -1). Suppose -q*r - 261 = -857. Suppose 15 = -2*x + r. Is 14 a factor of x?
False
Let a(m) = -5*m - 16. Let c be a(-4). Suppose -c*t + 480 = -0*t. Is t a multiple of 30?
True
Let o = -7 - -7. Suppose o = -3*b + 12, -3*g - 5*b = 2*g - 60. Is g a multiple of 8?
True
Let w(q) = 52*q**2 - 3*q - 72. Does 101 divide w(-6)?
True
Let z(f) = -354*f + 18. Is 22 a factor of z(-2)?
True
Suppose 3*l + 5*b = -7 + 163, -3*l - b = -168. Let i = -37 + l. Is 4 a factor of i?
True
Let r(w) be the third derivative of -w**4/3 + 4*w**3/3 + 2*w**2. Is r(-5) a multiple of 24?
True
Suppose 7103 = -17*h + 23287. Is h a multiple of 11?
False
Is 4 a factor of (4/(-112)*-8)/(1/1561)?
False
Suppose 0 = -2*x - 4*n + 6*n, 4*x + 4*n - 24 = 0. Suppose i - 12 = x*j - 307, 3*i + 395 = 4*j. Is j a multiple of 14?
True
Let q = -104 - -244. Is 10 a factor of q?
True
Let n(l) = -2*l**3 + 31*l**2 - 3*l. Is n(15) a multiple of 4?
True
Suppose -2*b + 1270 = 4*t, -b + t - 87 = -707. Does 5 divide b?
True
Let v(w) = w**2 + 20*w + 10. Let t(g) = 2*g**2 + 41*g + 20. Let k(p) = -6*t(p) + 11*v(p). Is 9 a factor of k(-17)?
False
Let b(r) = -r**3 - 10*r**2 + r + 14. Let k be b(-10). Suppose 2*m - 342 = -k*o, -4*o + 0 = 12. Is m a multiple of 39?
False
Let x(a) = 146*a**3 - 35 + 18*a + 150*a**3 - 295*a**3 + 25*a**2. Does 22 divide x(-24)?
False
Let x be (-2)/3 - (1500/18)/(-2). Is 4 + -4 + 2 + x a multiple of 8?
False
Suppose 0 = q - 132 - 264. Is 33 a factor of q?
True
Let n be (-4)/(-7) + 128/(-28). Let p = 76 + n. Is 35 a factor of p?
False
Suppose -3*s + 6*s = 3*d + 3, -5*d - 2*s + 16 = 0. Suppose 7 = -d*j - 5*l - 2, 5*l = -4*j - 3. Is j a multiple of 3?
True
Suppose 4*b - 8 - 8 = 0. Suppose -2*h + 4*z + 332 = 0, 6*h - 3*h + b*z - 448 = 0. Is 9 a factor of h?
False
Let o(l) = l**3 + 14*l**2 + 8*l - 17. Is o(-13) a multiple of 8?
True
Let o = -25 - -9. Is 16/(1 + (-4)/o*-3) a multiple of 28?
False
Let m = 15 - 13. Let k(j) = -6 + 2*j - 1 - m*j - 3*j. Does 3 divide k(-6)?
False
Suppose c + 7*h - 6 = 4*h, 2*c = -3*h + 9. Suppose 0 = -c*q + 3. Let w = 6 + q. Does 7 divide w?
True
Let o(d) = -d**2 + 87*d - 384. Does 26 divide o(43)?
True
Let x = 169 - -90. Is 10 a factor of x?
False
Suppose -o + 205 = b, -153 = -5*b - o + 856. Is 72 a factor of b?
False
Suppose 0 = 3*a - 5*b + 97, 2*a + 2*a = 4*b - 140. Let m(u) = 2*u - 33. Let s be m(-31). Let k = a - s. Does 12 divide k?
False
Let t = 1944 + -824. Is 16 a factor of t?
True
Let j be 1/(24/180*(-10)/(-12)). Let d(k) = 2*k**2 - 15*k + 15. Is d(j) a multiple of 14?
True
Let v(d) be the first derivative of -8 - 13*d - 3/2*d**2. Is 20 a factor of v(-11)?
True
Let i be (-9)/(-18) - 22/(-4). Suppose 3*n - 5*m + i = 46, -2*m + 8 = 0. Is 6 a factor of n?
False
Suppose 4*s + 2*q = 6345 - 607, 3*s - 4314 = -5*q. Is 37 a factor of s?
False
Suppose -34*j + 5040 = -31*j. Does 15 divide j?
True
Let v(z) = -37*z + 4. Is 4 a factor of v(-4)?
True
Let i(w) = 3039*w**2 + 48*w + 47. Is 62 a factor of i(-1)?
True
Let k = -24 + 45. Suppose 3*n + 566 = 2*j, 2*n = 5*j - 413 + k. Let b = -123 - n. Does 21 divide b?
True
Let i = -119 - -179. Is 38 a factor of i?
False
Let h(w) = 2*w**3 - 5*w**2 - 10*w + 65. Is h(5) a multiple of 14?
True
Let f(j) = -j**2 + 8*j - 4. Let k be -1 - 11/(11/(-6)). Is f(k) a multiple of 11?
True
Suppose 350 = 3*w + w - 2*h, 2*h - 259 = -3*w. Suppose -3*y + w + 21 = 0. Is y a multiple of 12?
True
Suppose -2*t - 18 = 4*t. Is (1 - (-65)/(-20))*80/t a multiple of 12?
True
Let c(v) = v**3 + 4*v**2 + 3*v. Let l be c(-3). Let i be (-3 + (3 - l))*-1. Does 5 divide (-7*(i + 1))/(-1)?
False
Let l = -3 + 8. Suppose l*x = x. Let a = x - -4. Is a even?
True
Let b(j) = 11*j - 136. Is b(26) a multiple of 10?
True
Is 6/(-4) - (-1573)/2 a multiple of 21?
False
Let v(n) = 45*n**3 + 2*n**2 + 3*n + 2. Let b be v(-1). Let x = b + 90. Is x a multiple of 21?
False
Suppose 14 = -3*i + i. Let r(d) = 3*d + 27. Does 3 divide r(i)?
True
Let n be ((-9018)/26)/(-1) - (-10)/65. Suppose -u - 5 = 0, -3*u + 4*u - n = -4*s. Is s a multiple of 8?
True
Suppose -25*i = -17*i - 3224. Is 13 a factor of i?
True
Let m = 1914 - 926. Does 38 divide m?
True
Suppose -4*y = 3*p - 22, p + 20 = 5*p + 3*y. Let k(a) = -4*a**p - 4*a + 5*a**2 - 4 - 11. Is 26 a factor of k(12)?
False
Let y(h) = -h**3 + 15*h**2 - 14*h + 4. Let r be y(14). Suppose -r*n + 416 = -108. Suppose -3*x = -n - 34. Does 14 divide x?
False
Let i be ((-12)/5)/((-8)/300). Suppose -3*f + 2*f = 2*m + 27, -i = 4*f - m. Let j = f + 33. Does 5 divide j?
True
Let w(p) = p**2 + 2*p + 3. Let m be w(5). Let a be ((-8)/6)/(6/63). Let j = m + a. Does 8 divide j?
True
Let p be (1 - (4 - 3))/3. Suppose p = k, 0 + 2 = -2*q + 2*k. Is (55/(-10))/(q/2) a multiple of 8?
False
Let v = -6 + 4. Let a be (0 - (1 - 1))/v. Suppose -p = -a*p - 15. Is p a multiple of 15?
True
Is 82 a factor of 1142053/987 + (-4)/42?
False
Suppose -10 = -7*c + 11. Suppose -3*o = c*o + 270. Let h = 63 + o. Is h a multiple of 18?
True
Suppose -8*j + 2786 = -3070. Is j a multiple of 61?
True
Let v(f) = 15*f**2 - 3*f - 75. Does 21 divide v(9)?
True
Let w = 1986 + -1090. Does 32 divide w?
True
Suppose 0 = u + 1 - 5. Suppose 6 + 15 = 3*z + 5*s, u*s - 22 = -5*z. Suppose 0 = -0*i - z*i + 26. Is i a multiple of 13?
True
Let u(l) = -34*l - 354. Is u(-27) a multiple of 6?
True
Let m = -424 + 484. Is m a multiple of 10?
True
Suppose 22*k + v + 3472 = 24*k, 8680 = 5*k + 5*v. Is 124 a factor of k?
True
Suppose 38*q = -82*q + 18480. Does 11 divide q?
True
Let b(h) = -24*h - 2. Let o be b(3). Let n(i) = 2*i**2 + i - 42. Let a be n(0). Let z = a - o. Does 12 divide z?
False
Suppose -2703 = 18*d - 7275. Is d a multiple of 39?
False
Suppose r = -q - 1, -2*q + 1 + 3 = -r. Let p be (9/12*4)/q. Suppose 0 = -p*a + 50 - 20. Is 5 a factor of a?
True
Suppose -4*d + 5*g + 3817 = 0, -4*d + 2*g + 5818 = 2016. Is d a multiple of 66?
False
Is 34 a factor of (-3)/(-5) - 38226/(-115)?
False
Suppose 4*b = 5*j + 1379, -4*j = 5*b - 1527 - 207. Suppose -281 = -4*w - m, -5*w + 5*m = m - b. Is w a multiple of 12?
False
Let q(i) = -i**3 - 12*i**2 - 2*i - 18. Let x = 29 + -41. Is q(x) even?
True
Let m be 5/3*(-84)/(-70). Let h(l) = 7*l**3 - l**2 - 2*l - 5. Is h(m) even?
False
Suppose v - 109 = -5*z, -47 = -2*z + 2*v + v. Suppose 86 - z = t. Suppose 0*w = w - t. Is w a multiple of 16?
True
Let i be ((-4)/(-8))/(2/300). Let p = i - -34. Suppose 2*l = -9 + p. Is 25 a factor of l?
True
Let j(s) = -19*s + 131. Does 5 divide j(-6)?
True
Let f(m) = 5*m**3 - m**2 - 2*m - 1. Let h be (-2)/(1 - (-4 - -3)). Let t be f(h). Is 11 a factor of (24/t)/(21/(-70))?
False
Let n(m) be the second derivative of -m**4/12 - 2*m**3 - 3*m**2/2 + 13*m - 3. Let u(p) = -p**2 + 3*p + 2. Let q be u(5). Does 14 divide n(q)?
False
Let v(r) = r**2 - r - 4. Let u be v(-2). Suppose -u*x + n = -358, x + 5*n = 3*x - 350. Is 15 a factor of x?
True
Let v(o) = 2*o - 29. Let d be v(16). Suppose -d*k = -129 - 48. Is k a multiple of 13?
False
Suppose -3*k + 4*k - 4*i = 11, -4*i = 4*k + 56. Let n = k + 13. Is n a multiple of 4?
True
Suppose 0 = 3*a + 15, -3*a - 30 = 3*l - 96. Let j = -1 + l. Does 14 divide j?
False
Let i be 290/40 + 1/(-4). Suppose -11 = -2*f + i. Is 9 a factor of f?
True
Let v(f) = -28 - 7*f - f**3 + 6*f**2 + 13 + 15. Let r be v(5). Let l(k) = k**2 - 12. Is l(r) a multiple of 22?
True
Does 18 divide (480/(-280))/((-2)/1680)?
True
Suppose -5*h + b + 1391 + 771 = 0, 0 = 5*h + 4*b - 2152. Does 12 divide (h/(-18))/(-2*1)?
True
Suppose 0 = -3*w - 4*h + 409, -3*w - 4*h - 735 = -8*w. Let c = -71 + w. Is c a multiple of 24?
True
Let u = -1035 - -1052. Is 17 a factor of u?
True
Let f = 2642 + -2250. Is 2 a factor of f?
True
