2 - 1. Does 24 divide c(6)?
False
Is 3 a factor of 31491724/33648 + 2/48*2?
True
Does 8 divide (-507608)/(-642)*21/4?
False
Suppose 22*v + 26*v - 42*v = -2028. Suppose s + 2390 = -4*s. Let m = v - s. Is m a multiple of 7?
True
Suppose 5*v + 1719 = 4*d, -d - 306 - 392 = 2*v. Let g = v + 655. Is g a multiple of 22?
True
Let i be 6/(-12)*2*-722. Let r = i - 213. Is 21 a factor of r?
False
Suppose -5*l = k - 7*l - 2945, -4*l + 5890 = 2*k. Does 6 divide k?
False
Let q(u) = u - 7. Let x be q(9). Let i = 269 - 265. Suppose 0 = c + 5*f + 7, 5 = i*c - 3*c + x*f. Does 2 divide c?
False
Let d(l) = l - 2. Let n be d(5). Let w(m) = -2*m + 6. Let b be w(n). Is (-1 - b)*(-6 + 1) a multiple of 2?
False
Let r(w) = 12*w**2 + 13*w**2 + 0 + 20*w**2 - 42*w**2 - 16. Is 27 a factor of r(5)?
False
Let h(y) be the third derivative of y**6/120 - 4*y**5/15 + 11*y**4/6 + 5*y**3/6 - 8*y**2. Does 17 divide h(16)?
False
Let s(i) = 7*i - 11 + 5*i + i**3 - 14*i**2 + 5*i - 9. Let x be s(12). Let y = x + 153. Is 9 a factor of y?
False
Let o(u) = -676*u - 5714. Is 17 a factor of o(-77)?
False
Let q = -6221 - -9791. Does 35 divide q?
True
Suppose 4293 = 3*p - 3*n + 1233, -n = 5*p - 5088. Does 15 divide p?
False
Let y(a) = -a - 7. Let z be y(-3). Let o be 0/((z + 1)*-1). Is (-29 - -12)*(-1 - o) a multiple of 17?
True
Let x = -136 + 156. Let w(q) = q**3 - 21*q**2 + 27*q + 14. Is 14 a factor of w(x)?
True
Let b(p) = p**2 - 13*p - 12. Let u be b(14). Suppose 2*q = o - u*o + 81, 135 = 2*o - 5*q. Is 25 a factor of o?
True
Let y = -25210 - -51511. Is 20 a factor of y?
False
Let l(m) = 141*m - 195. Is 111 a factor of l(123)?
False
Suppose -196*d + 3074846 = 308110. Is 83 a factor of d?
False
Suppose -4*s = 0, i - 3*i - 2*s + 0*s + 3100 = 0. Does 25 divide i?
True
Suppose 3*i + i = -192. Is 72/i + (-274)/(-4) a multiple of 3?
False
Is 18 a factor of ((-17)/2 - (-72)/16) + 1618?
False
Let h be ((-12411)/15)/(-1) + 78/130. Let z = 1305 - h. Does 101 divide z?
False
Let a(t) = -2965*t**3 + 2*t**2 + 3*t + 3. Is 73 a factor of a(-2)?
True
Let n(u) be the second derivative of 7*u**5/60 - 5*u**4/24 + 10*u**3/3 - 17*u. Let x(i) be the second derivative of n(i). Does 14 divide x(10)?
False
Let q = -24 - -21. Let k be (-362)/(-6) + q/9. Let c = 28 + k. Does 11 divide c?
True
Suppose -6 - 70 = -c + z, 218 = 3*c + 2*z. Does 37 divide c?
True
Is 50 a factor of (-1 + (-309)/(-9))/((-36)/(-19494))?
True
Let y(k) = -486*k - 7. Let r be y(-2). Let g = r - 535. Is 16 a factor of g?
False
Let r(b) = -37*b**2 + 5*b + 17. Let c be r(-5). Let d = -259 - c. Does 42 divide d?
False
Let u = -118 + 114. Does 28 divide 3 + (-5988)/(-52) + u/26?
False
Is -7432*(-474)/816 - 2/17 a multiple of 9?
False
Suppose 200*b + 161*b - 6126482 = -2198441. Is b a multiple of 8?
False
Let l(v) = 27*v + 58. Let h(k) = -19*k - 39. Let f(o) = 7*h(o) + 5*l(o). Is 39 a factor of f(20)?
False
Suppose -3*t = -0*t - 414. Suppose 0 = 3*c + 3*q - 1314, 2*q + t + 300 = c. Does 38 divide c?
False
Let s = 86 - 76. Suppose -16*c - 60 = -s*c. Is 6 a factor of (117 - -2) + (-10)/c?
True
Let u = 64 - 99. Let m be ((-28)/u)/((-4)/(-2030)). Suppose 514 + m = 5*i. Does 23 divide i?
True
Does 62 divide 2282 + (28/63 - (-312)/27)?
True
Let h = 53 + -114. Let s = h - -53. Does 11 divide (-2)/s + 522/24?
True
Is ((-1484)/(-636))/((-98)/(-18)) - (-196442)/14 a multiple of 151?
False
Suppose 45*h + 2*h = -12*h + 158002. Is h a multiple of 60?
False
Let c(w) = -w**3 + 17*w**2 - 36*w + 90. Is c(11) a multiple of 70?
True
Does 14 divide 163/(-2282) - -25565*(-1)/(-14)?
False
Suppose -52560 = -510*t + 494*t. Is 7 a factor of t?
False
Let l(a) = 263*a - 4437. Does 13 divide l(36)?
True
Suppose -168*p = -123118 - 888242. Does 7 divide p?
True
Let y(i) = 231*i - 3684. Is 75 a factor of y(39)?
True
Let l(h) = -3*h**3 + 2*h**2 + 2*h + 1. Let p be l(-1). Suppose -z + 2*w + 183 = 3*w, p*z = -w + 720. Suppose -5*c + 126 + z = 0. Is 17 a factor of c?
False
Let x be (-1)/2*2 - (-58 - 4). Let p = x + -20. Suppose -6*a + 61 = -p. Is 3 a factor of a?
False
Let c(m) = -m**3 - 12*m**2 + 3*m - 13. Let u be c(-10). Let a = -19 - u. Is a a multiple of 17?
False
Let t(z) = 6*z**3 - 2*z**2 - 7*z + 23. Let n be t(4). Suppose -4*s + g + 695 = 0, 2*s - 28*g = -27*g + n. Is 58 a factor of s?
True
Let w(z) = -32*z + 19. Let o be ((-30)/225)/((-1)/3)*-15. Is w(o) a multiple of 13?
False
Let t = -252 + 389. Suppose -t + 1067 = 5*p. Is 15 a factor of p?
False
Suppose 8*z - 22*z - 293284 = -33*z. Is 35 a factor of z?
False
Let r = 7019 - -6625. Is 36 a factor of r?
True
Suppose -3*p = x - 803, -3*p = -x + 5*x - 818. Suppose -p = 16*t - 23*t. Does 19 divide t?
True
Let p = 7 - 0. Suppose 0 = -p*w + 8*w - 5. Suppose -31 = -w*d + 289. Is d a multiple of 16?
True
Let m(r) = 4*r**3 + 212*r**2 + 277*r + 7. Does 47 divide m(-51)?
False
Let w(x) = -x**3 - 6*x**2 - 6*x - 1. Let r be w(-5). Let q be 5*(1 - (-15)/(-25)). Suppose j = -q*d + 261, 4*d + r*j - 648 = -d. Is 12 a factor of d?
True
Suppose 59*c - 12788 = -33*c. Does 3 divide c?
False
Let g = 34760 + -23656. Is 8 a factor of g?
True
Let t(q) = -3*q + 2*q + 36*q - 222 + 6*q**2. Is t(13) a multiple of 98?
False
Suppose 44*d - 37*d = 35. Suppose -2*q = -d*j + 158, -2*q = -0*q - 2. Is 32 a factor of j?
True
Suppose 10*v - 112125 = c + 8*v, 5*c + 5*v + 560700 = 0. Is c/(-60) + -7*3/(-252) a multiple of 21?
True
Suppose 0 = -26*v + 111 + 45. Suppose -v*w + 192 = -408. Is w a multiple of 9?
False
Let z(c) = -c**2 + 12*c + 1. Suppose -s = 4*s - 45. Does 14 divide z(s)?
True
Suppose -2*i - 14 = 3*v - 4*v, 0 = -2*v + i + 25. Suppose 0*x + 34 = x. Suppose x = l + v. Is l a multiple of 22?
True
Let o(m) = 2282*m - 2071. Is 29 a factor of o(6)?
False
Let c be ((8/5)/2)/(6/(-60)). Let x(u) = u**3 + 8*u**2 - u - 6. Let t be x(c). Suppose -145 - 26 = -t*v - 3*p, -5*v + p = -419. Is 6 a factor of v?
True
Let p = -142 + 152. Let g(f) = 11*f**2 - 34*f + 15. Does 31 divide g(p)?
True
Let d = -1151 - -2433. Let j = -260 + d. Is 14 a factor of j?
True
Let l = -726 + 497. Let x = l - -394. Let f = x + -101. Is f a multiple of 18?
False
Let h = 42 + -39. Suppose -8*s + h*v + 105 = -3*s, 5*s - 105 = -v. Let z = s + 8. Is 10 a factor of z?
False
Is 27 a factor of 1349468/140 - 24/420?
True
Let v = 331 - 165. Suppose -474 = -7*o - v. Suppose 2*g - o = 58. Does 18 divide g?
False
Suppose 127*r - 122*r = -20. Does 23 divide (-552)/r*3/9?
True
Suppose 6*p + 7 - 1 = 0. Let c be 117/6*(p + (-28)/(-12)). Suppose -2*f - c = -106. Does 10 divide f?
True
Suppose -791 = -134*z + 30565. Is 3 a factor of z?
True
Let s be 1/2 + (-301)/(-14). Is 7 a factor of (-54)/(-297) - (-1228)/s?
True
Let y(s) be the first derivative of -s**3/3 + s**2 + 11*s + 40. Let t be y(4). Suppose 799 = -0*p + 4*p - t*z, -z = 4*p - 811. Does 33 divide p?
False
Let q(j) = j + 1. Let u(i) = -7*i - 15. Let o(m) = -18*q(m) - 2*u(m). Let a be o(3). Suppose a = -3*w - 3*r + 42, 3*w + r - 4*r = 48. Is 15 a factor of w?
True
Let v = 6507 - 3314. Is 31 a factor of v?
True
Suppose 4*w = o - 278614, -6*w + 9*w = o - 208960. Is 19 a factor of 4/3*w/(-104)?
True
Let o(b) = -1048*b**3 - 2*b**2 + 5*b - 4. Let d be o(1). Is -2*d/10 + 22/110 a multiple of 26?
False
Let b(f) = 5*f - 1 - 11*f + 5*f. Let i(q) = 80*q + 48. Let m(d) = 40*b(d) + i(d). Does 8 divide m(2)?
True
Let x(d) = -d**3 + 7*d**2 - 8*d - 6. Let j be x(6). Let n = -14 - j. Suppose -n*t - 153 = -7*t. Is 17 a factor of t?
True
Suppose -2*j = -4*c - 270, -4*j - 584 = -8*j - 3*c. Let a = j - 25. Is a a multiple of 8?
False
Suppose t = 3, 0 = -3*n - 0*t - 2*t + 489. Suppose m - n = -4*r, 4*r - 37 = -5*m + 128. Does 7 divide r?
False
Suppose -998*u = -1018*u + 698400. Is 136 a factor of u?
False
Let a(w) = -4 + 21*w**2 - 12*w**2 - w**3 + 5*w + 2. Let c be a(10). Is (-5733)/c - (-1)/(-4) a multiple of 29?
False
Suppose -6*a = -2809 - 971. Let i(b) = -b**3 - 2*b**2 + 7*b + 5. Let u be i(-4). Suppose -u*p + 4*p + a = 0. Is 21 a factor of p?
True
Let z(t) = 12439*t**2 + 85*t + 87. Does 33 divide z(-1)?
True
Let t(k) = -4*k - 87. Let u be t(-23). Suppose -2*g = f - 299, -u*g = -5*f + 164 - 949. Is g a multiple of 8?
True
Let f(s) = 210*s**2 + 2534*s + 22. Is 20 a factor of f(-21)?
False
Suppose -s + 5*m + 29289 = 0, -32*s + m = -28*s - 117213. Does 99 divide s