 divide c?
True
Suppose -11*n + 210 = 3*n. Let b be ((-3)/(n/2)*5)/(-1). Does 11 divide (b + 19/(-4))/((-12)/48)?
True
Suppose 0 = -3*t + 4*v + 871 + 5494, -5*v - 8486 = -4*t. Does 13 divide t?
True
Let j(r) = -r**2 - 4*r + 2. Let c be j(-5). Let q = c + -1. Is 4 - (-3 + 8/q + 4) even?
False
Suppose 3*v = v + 5*r + 18, -v + 4*r + 12 = 0. Let x(l) = 2*l - 4 + 12*l**2 - 4*l - 7*l + v*l. Is 6 a factor of x(-1)?
False
Let n(q) = -230 + 517 - 200 - 3*q. Is 2 a factor of n(-8)?
False
Let b(u) be the second derivative of u**5/20 + 5*u**4/4 + u**3/3 + 17*u**2 + 5*u + 36. Suppose -75 = p + 4*p. Is b(p) even?
True
Let w = -208 - -151. Let i = w + 122. Is i a multiple of 14?
False
Suppose -317*a + 288*a + 378740 = 0. Is a a multiple of 20?
True
Let x be 11/(1 + 0/(3 + -2)). Suppose 5 = -3*k + x. Suppose -3*n = 2*l - 83, 0 = 5*l - 7*n + k*n - 145. Is l a multiple of 3?
False
Let c(l) = l**2 + 9*l - 22. Let b be c(-11). Suppose 17*g - 51 = -b*g. Suppose -g*q + n = -170, -2*q + 3*n = q - 162. Does 22 divide q?
False
Suppose -24*o - 38*o = -17*o - 75465. Is o a multiple of 4?
False
Let d(n) = 1534*n**2 - 9*n + 11. Let v be d(1). Does 14 divide (-15)/(-2)*(v/30)/8?
False
Suppose -484 = 3*k - 14*k. Suppose k*z = 57*z - 624. Is z a multiple of 4?
True
Let q(v) = -v**3 - 5*v - 4. Let z(t) = t - 1. Let w(p) = -q(p) - 5*z(p). Let r(k) = k**2 + 16*k - 11. Let o be r(-17). Is w(o) a multiple of 19?
False
Does 8 divide 633763*(-31)/(-1209) - 10/3?
False
Let h = -274 + -578. Let n = -441 - h. Suppose 0 = -17*d + 150 + n. Does 9 divide d?
False
Let n(p) be the second derivative of p**5/20 - 5*p**4/12 - 2*p**3 + 21*p**2 - 32*p. Let x be n(7). Does 14 divide x/6*(-108)/(-8)?
True
Let y(i) = 2*i + 19 + 6 + 30 + 41. Let t = 3 + -3. Is y(t) a multiple of 8?
True
Let j = -567 + 544. Let w = -1 - -40. Let z = w + j. Is z a multiple of 4?
True
Let j = -24 - -27. Suppose -p + q = -j*q - 1029, -4*p + 4134 = 2*q. Is 73 a factor of p?
False
Is 3/(18277/18256 - 1) a multiple of 40?
False
Let y(u) = -43*u + 12*u + 19 - 24*u. Is 46 a factor of y(-3)?
True
Let q = 690 + -271. Let u = q + -311. Is 8 a factor of u?
False
Suppose 140*u - 61*u - 1202635 + 147511 = 0. Does 106 divide u?
True
Let z(n) = n**3 + 21*n**2 + 10*n - 453. Is z(-17) a multiple of 41?
True
Suppose -2*o = -3*o - 4. Let k be 345/60 - 1/o. Suppose -k*j = j - 133. Is j a multiple of 6?
False
Let j(w) be the third derivative of -7*w**4/24 - 2*w**3/3 + 20*w**2. Let l(f) = -1. Let x(d) = -j(d) - 6*l(d). Is x(4) a multiple of 13?
False
Let j(n) = n**3 + 20*n**2 + 15*n + 57. Let a(o) = -o**3 - 2*o**2 + 16*o + 19. Let b be a(-4). Is 14 a factor of j(b)?
False
Let c(s) = -s**3 - 3*s**2 + 6*s + 4. Let a be c(-4). Let p(u) = -6*u**2 - u - 6. Let x be p(a). Is (x/28)/((-2)/12) a multiple of 2?
False
Let f = -3549 + 8134. Is 4 a factor of f?
False
Suppose -18*f + 127481 + 33794 = -9437. Does 28 divide f?
False
Let t(s) = -s**3 + 9*s**2 - 5*s - 9. Let h be t(8). Let v(d) = d**2 - 21*d - 11. Let n(o) = -4*o + 1. Let m(j) = -4*n(j) + v(j). Is m(h) a multiple of 45?
True
Let y(o) = 19*o**2 - 3 + 3 + 7 - o**3 - 7*o**2. Let t be y(12). Suppose 0 = -t*d + 3*d + 224. Is 12 a factor of d?
False
Let y = -874 - -1846. Suppose y = 11*b - 865. Is b a multiple of 14?
False
Is ((-40)/25)/(4/(-7090)) a multiple of 7?
False
Let k be ((-4)/((-12)/531))/((-60)/(-40)). Suppose 90*i + 2352 = k*i. Does 4 divide i?
True
Suppose 6 = 277*p - 276*p. Suppose -419 = -p*h + 811. Does 5 divide h?
True
Let i be 2*3/14 + 8060/91 + -2. Suppose -725 = 5*z - 5*h, 0*z - z = 5*h + 145. Let j = i - z. Is j a multiple of 58?
True
Let r(y) = 2*y**2 + y - 87. Let g(c) = 3*c**2 + c - 88. Let w(l) = 4*g(l) - 5*r(l). Is 6 a factor of w(0)?
False
Let h = -13460 - -25601. Is h a multiple of 57?
True
Let h be 8/(-28) - 32/(-14). Suppose -8*f = -h*f - 12. Suppose -f*b + 5 = -3. Is 2 a factor of b?
True
Does 10 divide 0 + (-29804)/2*(-12)/120*5?
False
Suppose 0 = 3*a + 3, 2*k + 4*a + 0*a = -108. Let y be k/(-6) + 0 - 8/(-24). Let n = y - -63. Does 9 divide n?
True
Let j(r) = -131*r**3 + 2*r + 1. Suppose -3*t - 4 - 7 = -4*h, 5*h - 15 = 5*t. Let f be j(t). Suppose 4*i - f = 86. Is 23 a factor of i?
False
Let g = 26 - 22. Suppose 1658 = 4*x + 5*a, 0 = g*x - 4*a - 0*a - 1676. Is x a multiple of 12?
False
Let u be -3 - -42 - (3 - (1 + -2)). Suppose 0 = -u*z + 32*z. Suppose -5*s - 5*a + 42 + 588 = z, 5*s - 2*a = 616. Does 25 divide s?
False
Is 257 a factor of -13 + 4384 + 12/(-42)*7/1?
True
Is 62 a factor of (72/(-10))/((-6)/12600*5)?
False
Let a(y) = -8*y**3 - 2*y**2 - y. Suppose 5*g = -20, g = -11*p + 8*p - 10. Is a(p) a multiple of 36?
False
Let t = 36344 + -15739. Is t a multiple of 12?
False
Suppose 3*o - 4*n = 32096, -82*n - 10672 = -o - 86*n. Is 162 a factor of o?
True
Suppose 4*p + 4*j = 40, 14*j - 17*j = -2*p. Suppose -194 = -5*i + p. Is 13 a factor of i?
False
Suppose -2*s = 1426 - 8288. Does 73 divide s?
True
Let d(a) = 5*a**3 + 12*a**2 + 3*a - 3. Let p(j) = -6*j**3 - 13*j**2 - 3*j + 4. Let n(k) = -5*d(k) - 4*p(k). Let u be n(-8). Let o = 90 - u. Does 12 divide o?
False
Let q(f) = -4*f - 44. Let u(a) = -22*a + 78. Let z(g) = -7*g + 26. Let n(i) = 3*u(i) - 8*z(i). Let x be n(4). Does 4 divide q(x)?
True
Let c = -299 - -573. Suppose 2*u = 362 + c. Does 18 divide u?
False
Let d = -783 + 2115. Is d a multiple of 111?
True
Let b(q) = -10*q + q**3 + 14*q**2 - 3*q - 10*q + 0 + 15. Does 10 divide b(-15)?
False
Let y(i) be the second derivative of -2*i**3/3 - 10*i**2 + 18*i. Let d be y(-5). Let s(h) = -h + 142. Does 13 divide s(d)?
False
Suppose 0 = 6*p - 9*p - 6. Let n(u) = -2*u**3 - 3*u**2 - 4*u - 3. Let s be n(p). Suppose -2961 = -s*t - 0*t. Is 47 a factor of t?
True
Is 14 a factor of ((-41)/(-2) - (1 + 2))/(16/160)?
False
Suppose -2*f - 607 = g, -2*f - 6*g + g = 587. Let w = -170 - f. Suppose o = -o + w. Is 17 a factor of o?
True
Let v be (9/2)/3*940/6. Let f = v - 123. Does 7 divide f?
True
Suppose -17*c = -0*c - 374. Suppose c*p = 18*p + 120. Is 16 a factor of p?
False
Let t be -30*(-2 + 60/25). Let j be (t*3/(-10))/((-2)/(-35)). Let y = 32 + j. Does 19 divide y?
True
Suppose -46*w = -6522 - 15466. Is 6 a factor of w?
False
Is 21 a factor of 9276/2 - (60 + -69)?
False
Let h(z) = -114 + z - 6*z + 83*z + 2*z**2 + 2*z + 3*z. Does 21 divide h(-48)?
False
Let s(w) = 27*w - 40. Let t = -64 - -50. Let f be s(t). Does 15 divide 1 - (-6)/((-12)/f)?
True
Suppose 3*n + 2*o - 12754 = 0, -5*n = 3*o - 4*o - 21248. Suppose -44*b = -78*b + n. Does 9 divide b?
False
Suppose 814*c - 790*c - 220704 = 0. Is c a multiple of 76?
True
Let q = -365 + 323. Is (-13692)/(-63)*q/(-8) a multiple of 12?
False
Let u be (3 + -2*2)*0. Let n = 329 + -324. Suppose u = -4*x + 2*a + 82, -n*a = 3*x - 3*a - 51. Is x even?
False
Is 40 a factor of 892 - (44/55 + (3 - 3))*-5?
False
Let f(c) = 147*c**3 - 7*c**2 - 24*c + 47. Does 3 divide f(4)?
False
Let w = 4388 + -158. Is w a multiple of 90?
True
Suppose 101 - 69 = 8*o. Suppose 0 = -o*q - 4*s + 1812, 2*q - 438 = 4*s + 450. Is 50 a factor of q?
True
Let x = 662 - 467. Suppose -h = 5, 2*v - 7*v - 5*h + x = 0. Does 28 divide v?
False
Suppose 39*f = 27*f + 6012. Suppose 3*y - 675 = f. Is 44 a factor of y?
False
Let x be (-414)/(-48) - (-15)/40. Suppose b - z = -x + 243, 4*z = 3*b - 706. Is 48 a factor of b?
False
Let g = 596 + 950. Let b = g + -923. Is b a multiple of 42?
False
Suppose 0*z - 72884 = -12*z + 41308. Does 39 divide z?
True
Let o = -17 + 20. Suppose -o*w + 91 = -2*w. Suppose -7*c = -77 - w. Is c a multiple of 6?
True
Let x be 2 + -5 + 84/18*3. Suppose -x*h + 42 = -5*h. Suppose -12*a = -h*a - 355. Is a a multiple of 18?
False
Let q be 4/3*(-9)/(-4). Suppose -5*k = -3*t - 11, 0 = -5*t - q*k - 2*k - 5. Let w(s) = -13*s**3 - 3*s**2 - 7*s - 6. Is 25 a factor of w(t)?
True
Let d = 53 - -150. Let s = d + 210. Is 10 a factor of s?
False
Let o(r) = -r**3 - 31*r**2 + 30*r + 26. Let p be o(-32). Suppose 0 = -2*b + 2*k + 78, 0 = -2*b - k - k + p. Does 6 divide b?
True
Let f = -48 - -50. Let p(g) = -g**2 + 2*g + 4. Let h be p(f). Suppose -h = -3*l + 11. Is l a multiple of 2?
False
Suppose 9*b - 468 = 1341. Is b*(-15)/(-9) - -5*1 a multiple of 20?
True
Let k(t) = 2*t + 36. Let m be k(-17). Suppose 4*w + w - 16 = m*a, 5*a = -2*w - 11. Suppose 5*l + 4*q = 318, 342 = w*l