 270 = -14*f. Is f a multiple of 16?
False
Let z be (-2)/(-6)*3*234. Suppose -3*l - 2*v = 446, 8*l = 13*l - 4*v + 714. Let n = l + z. Does 8 divide n?
True
Let k(h) = h**3 + 12*h**2 - 655*h - 60. Does 13 divide k(27)?
True
Suppose 7*o + c - 12 = 2*o, 3*c = o - 12. Let w = -27 - -77. Suppose -o*u + 134 = w. Does 7 divide u?
True
Let w(a) = -1242*a - 4731. Is w(-18) a multiple of 25?
True
Let t = -24 - -28. Suppose 4*c = 5*z - 174, -t*z - 2*c + 140 = -6*c. Does 17 divide z?
True
Let h(z) = -z**2 + 13*z + 28. Let n be h(8). Let p = 100 - n. Suppose -p*b + 42*b - 360 = 0. Does 3 divide b?
True
Suppose -10*d - 13*d = -5727. Let h = d - 233. Is 5 a factor of h?
False
Let t = 6874 - -1511. Suppose 0 = 10*w - 53*w + t. Does 65 divide w?
True
Let r be (1456/(-3))/13*3. Let h = r - -427. Is 18 a factor of h?
False
Let t(u) = u**3 + 6*u**2 - 19*u - 7. Suppose 77 + 11 = -11*r. Is 17 a factor of t(r)?
True
Suppose 0 = -1163*m + 1142*m + 59892. Does 46 divide m?
True
Let x(y) = y**3 + 7*y**2 + y - 2. Let q be x(-7). Suppose 2*u + 5*z = 196, 0 = u + 9*z - 4*z - 88. Let c = q + u. Is 33 a factor of c?
True
Let k be (208/(-3))/4 - (-8)/24. Is 17 a factor of ((-806)/(-6))/(k/(-51))?
False
Let u(m) = m**2 + 3*m - 1. Let p be u(-4). Suppose k - p*o - 15 = -0*o, -23 = -k + 5*o. Suppose k*f + 15 = 7*f + 5*l, 0 = -f + 3*l + 25. Is f a multiple of 10?
True
Let f(o) = 336*o - 124. Let n be f(6). Suppose -1377 - n = -7*z. Is z a multiple of 30?
False
Let b(p) = p + 11. Let g be b(-4). Let m(d) = -d**3 + 8*d**2 - 6*d - 12. Let z be m(g). Let x(s) = -52*s - 21. Is 17 a factor of x(z)?
False
Suppose -2 + 24 = 2*l. Let w = -3 + l. Suppose -n + 0*n + 4*b = -w, 0 = 5*n + 3*b - 40. Is n a multiple of 4?
True
Suppose 2*t + h + 17672 = 51935, -2*t - 2*h = -34258. Is t a multiple of 121?
False
Let s(c) be the third derivative of -c**4/24 + 7*c**2. Let r be s(-2). Suppose -30 = -4*d + r*i, 0 = 5*d + 4*i + 9 - 66. Is d a multiple of 9?
True
Let v(w) = -7*w**2 - 11*w - 33. Let p(a) = -a**2 - 1. Let y(b) = 3*p(b) - v(b). Does 18 divide y(-6)?
True
Let w = 86731 + -51790. Is w a multiple of 19?
True
Let v = 300 + -305. Is -7*(-141 - (v - -6)) a multiple of 17?
False
Does 65 divide (-517412)/(-112) + (7/(-4) - -1)?
False
Suppose 0 = -d - 2*j - 5, -3*d - j = j + 15. Let w = 25 - d. Is 4 a factor of w?
False
Suppose 0 = 5*o - 3*z - 36, -25 = -4*o - z - 3. Suppose -95*r + 90*r + 3002 = f, 0 = 3*f - o. Is 40 a factor of r?
True
Does 20 divide -3*(-2 + 45/21) - (-122702)/14?
False
Let r(g) = 20*g + 18. Let j(v) = v + 2. Let i(x) = -3*j(x) + r(x). Is i(12) a multiple of 36?
True
Is (-66685)/(-11) + (-36)/11 + 3 a multiple of 4?
False
Let r(o) = 6*o - 26. Let t be r(13). Let h(p) = -1620*p + 11 - p**2 + 1600*p + t. Is h(-22) a multiple of 6?
False
Let g = 102 + -31. Suppose 197 - g = 7*y. Let m = y + 22. Does 10 divide m?
True
Let m = -104544 - -179650. Is m a multiple of 17?
True
Is 16 a factor of 97916/20 - (-40)/200?
True
Suppose v - 219 = -2*v + 2*l, 219 = 3*v - 3*l. Let k = v + 20. Is k a multiple of 31?
True
Let k be (2/4)/(-10 - 3393/(-338)). Suppose -5*t - 5*b = -145, -3*t - b = -64 - k. Is 4 a factor of t?
True
Let q be (216/20)/(-6)*5. Let s(z) = z**3 + 8*z**2 - 9*z + 4. Let t be s(q). Suppose -2*i + 34 + t = -4*v, -v = -3*i + 47. Is i a multiple of 15?
True
Let o(i) = -235*i**2 + 3*i + 20. Let b(y) = -233*y**2 + 2*y + 23. Let r(p) = 6*b(p) - 7*o(p). Does 73 divide r(-2)?
False
Let y(r) = r**3 - 12*r**2 - 2*r - 12. Let u(g) = 10*g + 214. Let i be u(-20). Is 15 a factor of y(i)?
False
Let i(n) = -n**3 + 16*n**2 - 55*n + 11. Let a be i(11). Suppose 0 = a*k - 27*k + 19504. Is k a multiple of 23?
True
Suppose 41*x - 37*x = 24. Let v be (4/x)/((-26)/(-39)). Let r(o) = 43*o**3 - 3*o**2 + 2*o. Is r(v) a multiple of 21?
True
Let v = 93 - 288. Let l = v - -685. Does 10 divide l?
True
Suppose 7 = -r + 3*l, -17*l = 4*r - 20*l + 1. Suppose 0 = -3*a - r*o + 360, a - 6*a + 5*o + 575 = 0. Does 8 divide a?
False
Let g(d) = -1438*d - 1538. Does 66 divide g(-8)?
True
Suppose -5*g = -5*h - 63 - 142, 4*h + 137 = -5*g. Let o = 55 + h. Does 17 divide ((-52)/(-5))/(o/15 - 1)?
False
Suppose 5*u + w = 13366, -2*w + 1617 + 3723 = 2*u. Is 49 a factor of u?
False
Suppose -41*g + 111107 = -18043. Suppose 5*j - g = -2*p, 0 = 5*j - 7*p + 3*p - 3150. Is j a multiple of 45?
True
Is 4 a factor of (5709/(-4))/(-3) + 488/1952?
True
Let z = -173 + 178. Suppose z*f = 5*i - 2155, -3*i = 2*i + 3*f - 2163. Is i a multiple of 16?
True
Let h(n) = 1117*n**2 - 2*n + 1. Let q be h(-1). Suppose -3*a + q = 4*j, 270 = 2*j - 2*a - 290. Is 20 a factor of j?
True
Let i = 35362 + -15439. Does 29 divide i?
True
Let c(m) be the first derivative of -m**5/20 - m**4/12 + m**3/3 + 12*m**2 - 20*m + 12. Let y(a) be the first derivative of c(a). Is y(0) a multiple of 6?
True
Let m(v) = v**3 - 2*v**2 + 6*v - 11. Let b be m(2). Let p(c) = -c**2 + 3*c + 6. Let n be p(6). Let a = b - n. Is a a multiple of 2?
False
Suppose 0 = 25*x + 15*x - 435440. Is 12 a factor of x?
False
Suppose 3800*h - 3797*h = 591. Let b = h + -48. Is b a multiple of 10?
False
Suppose g + 770 = 3*w, 2*w + 2*g = 4*w - 520. Suppose -256*a + 761 = -w*a. Is 8 a factor of a?
False
Does 186 divide -3255*(1/(9/(-2)) + (-6643)/819)?
False
Let p(l) = -7*l + 32*l + 9*l**2 - 5 - l**3 - 13*l. Let d be p(9). Let z = d + 11. Is z a multiple of 18?
False
Let c = 7090 + -6394. Does 12 divide c?
True
Let j(o) = 11*o**2 + 76*o + 303. Does 11 divide j(-5)?
True
Let c(p) = 2*p**2 + 4*p - 172. Let s be c(-13). Does 13 divide s/19 + (-118)/(-2)?
True
Suppose 10*r = 6*r + 144. Let c(i) = i**3 - 37*i**2 + 40*i - 50. Does 4 divide c(r)?
False
Suppose 5*v - 5*s = 725, 3*v - s - 124 = 305. Suppose -q - q - 379 = -5*o, 2*o + 4*q = v. Let u = 116 - o. Is u a multiple of 19?
False
Let l = -112 + 28. Let w = -86 - l. Does 3 divide (-44 + 0)*(w - (-1 - 0))?
False
Let f(v) be the second derivative of -v**4/24 + 11*v**3/6 + 7*v**2 - 8*v. Let a(q) be the first derivative of f(q). Is 19 a factor of a(-8)?
True
Let h = -13171 - -28421. Is 122 a factor of h?
True
Suppose -11*v + 10*v = 0. Suppose v*b + 5 = b. Let j = 40 + b. Does 5 divide j?
True
Suppose -5*r + 110 = -10*r. Let s be (-4)/r + 62/22. Suppose 0 = 6*q - s*q - 2*d - 492, -2*q + 328 = -2*d. Is q a multiple of 13?
False
Let z = -184 - -190. Let s be 0 + -1 + (-7 - -5). Is 14 a factor of -6*(s - 10/z)?
True
Let o = -5227 + 6567. Is 5 a factor of o?
True
Is 52 a factor of (93*(244 - -8) + 3)/(6/8)?
True
Let n(g) = 32*g - 45. Let d(x) = -162*x + 225. Let v(s) = 5*d(s) + 24*n(s). Does 17 divide v(-5)?
True
Let j(q) = 1420*q**2 - 2*q - 88. Is 20 a factor of j(-4)?
True
Suppose -4*a + 30*a - 20*a = 39780. Does 6 divide a?
True
Let d = -306 + 307. Is 27 a factor of (-1764)/8*((-24)/14)/d?
True
Let j be (-5 + -3 + -3)*(4 - -2). Is 2*6/(-5)*2860/j a multiple of 3?
False
Suppose 4*f + 16757 = 3*g, 22351 = -90*g + 94*g + 3*f. Does 24 divide g?
False
Let y = 247 - 243. Suppose 2*k - 4*z + 0*z - 90 = 0, k + y*z - 57 = 0. Is k even?
False
Let l(q) = 70*q**2 + 28*q + 46. Is l(10) a multiple of 37?
True
Let p(g) = -38*g - 1932. Is 52 a factor of p(-96)?
True
Is 2579 - (-2*(-13)/52)/((-4)/16) a multiple of 2?
False
Let d = -601 - -769. Does 7 divide d?
True
Let m(s) = 26*s + 539. Let g be m(-16). Suppose 3*o - 672 = -0*o. Let j = o - g. Is j a multiple of 33?
False
Let c(g) be the first derivative of 47*g**3 + g**2/2 - 197. Is 24 a factor of c(3)?
True
Suppose m - 1 = 2*m. Let n(h) be the second derivative of -2*h**5/5 - h**4/4 - h**3/6 + h**2/2 + 230*h. Is n(m) a multiple of 4?
False
Let k(t) = -t**2 - 25 - 70 - 40 + 44*t - 15. Is k(40) a multiple of 9?
False
Let r = 233 + -156. Let p be (4/(-7))/((-22)/r). Suppose -143 = -p*q + 5*x, -q + x + 74 = -x. Does 21 divide q?
True
Suppose -6*s = -52*s - 92. Does 14 divide s/(-8) - 10190/(-40)?
False
Suppose 2*k - 14 = 86. Suppose x + 0*a = 4*a - 10, 0 = 5*x + 5*a - k. Let t(o) = o**3 - 4*o**2 - 9*o + 11. Is t(x) a multiple of 29?
True
Let b be -5 + -1*(4 + -1). Let i(d) = 11*d**2 + 3*d - 50. Is 30 a factor of i(b)?
True
Let f = 391 - 3. Suppose -f*j + 382*j = -2388. Does 28 divide j?
False
Suppose 2*m - 20 = -5*r - 0, m + 12 = 3*r. Suppose m = -5*z - 2*q - 3*q + 695, 4*z = q + 561. Is 11 a factor of z?
False
Suppose 5*