 216. Is 3 a factor of c?
True
Let c(h) = -12*h - 7. Let u be c(-3). Suppose -5*n + u = i, -4*n - 6*i + i + 40 = 0. Suppose n*y - 286 = 19. Does 13 divide y?
False
Suppose -16 = -3*i - 5*s, 0 = 5*i - 0*s + 5*s - 20. Suppose r = -2*p - i*r + 343, 0 = 2*p - 2*r - 358. Is 8 a factor of p?
True
Let v = -337 - -342. Suppose 122 = -2*g + v*w + 652, 4*g + 2*w = 1036. Is g a multiple of 26?
True
Let s(g) = g - 3. Suppose -n - 10 = n. Let b be s(n). Does 2 divide (b/(-6))/(18/135)?
True
Suppose 11*o - 60 = o. Suppose -666 = -3*i + 2*d - o*d, -2*i - d + 444 = 0. Let m = -145 + i. Is m a multiple of 11?
True
Let p(r) be the first derivative of -r**4/4 - 4*r**3/3 + 5*r**2/2 + 7*r - 1. Suppose 15*b - 52*b = 185. Does 2 divide p(b)?
False
Is 25 a factor of ((-6)/(-9))/(((-16)/(-147000))/2)?
True
Suppose 4*i - 2*b = -9705 - 5613, -i - 5*b = 3846. Does 55 divide -5 - (i/5 - 2/(-10))?
False
Let w be -1*(-1 + 1 + (3 - 7)). Suppose 2*g + w = -3*x, 7*x = 2*x - 20. Suppose 7*n - g*n = 309. Does 16 divide n?
False
Let x be (60/(-18))/((-4)/(-216)). Let k = -67 - x. Does 10 divide k?
False
Let c(s) = 17*s**2 - 3*s - 696. Does 26 divide c(18)?
True
Let s(b) = b**3 - 28*b**2 + 61*b - 43. Let m be s(26). Suppose -543 + m = -11*g. Does 5 divide g?
False
Let q be -60 + 5 - (-4 + (1 - -1)). Let h be ((-39)/(-4))/(6/(-48)). Let n = q - h. Does 25 divide n?
True
Does 14 divide -18201*62/(-36) - (-12)/(-72)?
True
Suppose 632639 + 42631 = 87*l + 48000. Is 7 a factor of l?
True
Let p be (-124)/10*(0 + -5). Let s = -114 + p. Let b = 87 + s. Is 7 a factor of b?
True
Let k = -13 + 16. Suppose -3*h = 3*o - 7*h - 1276, 0 = -5*o - k*h + 2088. Does 5 divide o?
True
Suppose -u + 27548 = k, -111 = -2*k - 99. Does 94 divide u?
True
Suppose 0*n - 1289 = -2*l - n, -2*n = -l + 642. Is l a multiple of 46?
True
Suppose 0 = -5*p + 10*p - 3305. Let y = p - 409. Is y a multiple of 36?
True
Let r = -9012 + 22349. Is r a multiple of 9?
False
Suppose 8634 + 27186 = 426*n - 411*n. Is n a multiple of 12?
True
Let b be (-849)/18 - (-5)/30. Suppose -4*v = -v - 234. Let t = v + b. Is 6 a factor of t?
False
Suppose 3*b - 1501 = 2*i, -5*b - 3*i = -10*b + 2503. Let h be 440/(-15)*(-156)/8. Suppose -4*d = 5*a - b, -3*a + 188 = -3*d + h. Is 15 a factor of d?
False
Let s(z) be the third derivative of 247*z**5/60 - z**3/6 - 5*z**2. Is s(-1) a multiple of 33?
False
Is (-94940)/(-70) - 6/(-3)*(-1)/7 a multiple of 4?
True
Let g(i) = i**2 - 2*i + 1. Let v be g(4). Is 6/v + (-10450)/(-30) a multiple of 33?
False
Is 11/5 + -3 + (-42876)/(-270) a multiple of 3?
False
Does 36 divide 3*((-6)/45 + (-275429)/(-105))?
False
Let l = -4507 - -6343. Does 36 divide l?
True
Let g be (0 - -25)*(-11 + 23 + -13). Is (((-71640)/g)/(-12))/(2/(-5)) a multiple of 30?
False
Let d = -31 - -26. Does 6 divide 2 + (-550)/d + -2?
False
Let g(t) = 1088*t + 56. Is 7 a factor of g(3)?
False
Let r(s) = -s**3 - 2*s**2 - s. Let x be r(-2). Let g(c) = 8*c**2 - 5*c + 15. Is g(x) a multiple of 37?
True
Let o(c) = c**2 - 63*c - 1. Let z be o(21). Let p = -459 - z. Is 41 a factor of p?
False
Is (-9)/(-12) + 76744/32 + -2 + 7 a multiple of 228?
False
Let o = -106 + 112. Let i(d) = d**2 - d - 10. Is 20 a factor of i(o)?
True
Suppose 18 = -4*u - 3*z, 4*u + 3 + 1 = 4*z. Let i be (u/3)/(8/(-192)). Let v = i + -4. Is v a multiple of 20?
True
Let l(t) be the second derivative of -3*t**5/20 - 4*t**4/3 - 19*t**3/6 - 192*t. Is 5 a factor of l(-6)?
False
Let u(c) = 414*c + 102. Let y be u(16). Suppose -24*k + 1698 + y = 0. Is 39 a factor of k?
True
Suppose -137*u + 266553 = -362277. Does 15 divide u?
True
Suppose -6*o - 290 = -2*o + 5*t, -10 = -5*t. Suppose -57*g - 589 = -5*p - 61*g, -2*p + 18*g = -314. Let u = p + o. Is u a multiple of 18?
False
Let b(v) = 5*v**2 + 5*v + 4. Let i be b(-1). Suppose -3*x - i*o = -484 - 952, 3*x = -5*o + 1438. Is 28 a factor of x?
True
Suppose -26*r + 505 = -r + 55. Let v be (-19)/(-4) - (-1)/4. Let l = r - v. Is 2 a factor of l?
False
Let x(r) = r**3 - 59*r**2 + 7*r + 72. Is x(60) a multiple of 11?
True
Let m(k) = -302*k**3 - 3*k**2 - k + 3. Let s be m(1). Let v = -165 - s. Does 8 divide v?
False
Suppose -54300 + 185149 = 3*p + 14*p. Does 179 divide p?
True
Let j(q) = 342*q**3 + q**2 - q - 2. Let g be j(-3). Does 64 divide ((-8)/36 - 0) + g/(-36)?
True
Suppose -6*a = -16*a + 90. Suppose -a*x - 1781 = -22*x. Does 12 divide x?
False
Let n(w) = w**3 - 71*w**2 + 623*w + 194. Is n(61) a multiple of 3?
True
Let q(v) = 22*v**2 + 6*v. Let j = 66 + -73. Does 28 divide q(j)?
True
Let d = 858 - 426. Suppose 0 = 3*t - k + 930, 5*t - 1403 = -3*k - 2925. Let z = d + t. Is 7 a factor of z?
False
Let g(l) be the first derivative of -l**4/4 + 22*l**3/3 - 41*l**2/2 + 9*l - 57. Is g(19) a multiple of 5?
False
Let p(m) = m**3 + 15*m**2 - 55*m - 14. Let b be p(-18). Suppose -133 = -b*k + 859. Is 9 a factor of k?
False
Let o = 58082 + -39211. Is 69 a factor of o?
False
Suppose 0 = -2*v - 0*v + 14. Suppose -i + 535 = 3*k, -4*k + 2*i - 530 = -v*k. Suppose u - 4*u - 2*h = -k, u = -5*h + 73. Is 29 a factor of u?
True
Suppose 40*x - 47*x = -14. Suppose -x*y + 66 = g, -g + 9 + 52 = -3*y. Does 16 divide g?
True
Let i be 80/45 + ((-24)/(-27))/4. Suppose i*a - 3*a = -2. Suppose 0 = 5*p + 5*m - 145, -5*m + 79 = p + a*p. Is p a multiple of 3?
True
Suppose 4*w = 5*o + 585 + 111, -5*w + 5*o = -865. Is w a multiple of 2?
False
Suppose -164*c + 604453 + 213917 = -269934. Is c a multiple of 28?
True
Let s be (276/5)/(150/(-500)). Let m = 282 + s. Does 7 divide m?
True
Let b(f) = 5*f + 64. Let t be b(-12). Suppose -4*z = 2*v - 9*z - 54, -t*z + 102 = 5*v. Does 20 divide v?
False
Suppose -4*i - 4*z + 10019 = 1739, 2*i - 4145 = -z. Is i a multiple of 25?
True
Suppose -2*v + 3 = 4*i - 5, 3*v + 8 = -i. Let t be (372/8)/((-15)/12 - -2). Suppose 5*a = i*j + 163, j + 33 = 3*a - t. Is 10 a factor of a?
False
Suppose 64376 = -6*x + 14*x. Does 13 divide x?
True
Suppose 0 = -69*m + 65*m - 28. Let s(w) = 10*w**2 + 5*w - 7. Is s(m) a multiple of 14?
True
Suppose -12*f + 15228 - 2268 = 0. Suppose -f = 6*i - 10*i. Does 45 divide i?
True
Is 331233/57 - (-6)/57*-1 a multiple of 32?
False
Suppose -3*z + 62 + 57 = 4*o, 0 = 2*z + 2*o - 78. Suppose z*k - 30*k = 3843. Is k a multiple of 61?
True
Let u = 128762 + -88248. Does 47 divide u?
True
Suppose -2*t + 5 = -3*x - 5, 15 = 3*t + 4*x. Let b(g) = 16*g**2 + 11*g + 4. Is 51 a factor of b(t)?
True
Let k(x) = 3*x + 13. Let o(r) = r - 12. Let i be o(9). Let h be k(i). Suppose 4*w = -2*f + 1260, -h*f + 1224 = 3*w + 289. Is w a multiple of 48?
False
Suppose -y = 625 - 623. Is 4 a factor of (31 - 35) + (-174)/y?
False
Let f = -1075 + 1556. Is f even?
False
Let q be (1/((-3)/(-7)))/((-5)/(-15)). Suppose 675 = 5*x - 3*n, 4*x - q*n - 540 = -12*n. Is 31 a factor of x?
False
Suppose f + 0*x = 5*x + 38, f = -x + 26. Let i be 4/(-20) + f/(-10). Does 27 divide 62 + (10/i - 1/(-3))?
False
Let h = -5345 + 6113. Is 22 a factor of h?
False
Suppose 22*o - 340 = -32. Let y = 14 + o. Is y a multiple of 5?
False
Suppose 3*h - 246 = -231, -5*i - 4*h = -169235. Is i a multiple of 87?
True
Let y(z) = 207*z - 311. Suppose -6 = -p + 4*d, d = -5*p + 6*d + 30. Is y(p) a multiple of 6?
False
Let k(j) = j**3 - 9*j**2 - 14*j + 36. Let n be k(10). Is 26 a factor of n/(-48)*6*566?
False
Suppose -32*o + 66*o - 25*o - 130761 = 0. Is 20 a factor of o?
False
Suppose n + 12 = 4*a - a, 3*n - 3 = -4*a. Suppose 0 = -a*g + 63 + 993. Is g a multiple of 32?
True
Is (9325/1492)/(2 - (-423)/(-212)) a multiple of 53?
True
Let h = -28026 - -45146. Is 20 a factor of h?
True
Let r = -243 + 312. Let o = r - -69. Does 17 divide o?
False
Suppose 7*s - 51153 = 5*a - 6786, 3*s - 3*a - 19017 = 0. Is 22 a factor of s?
True
Suppose -x + 2 = 0, 0*x = 5*y + 5*x. Let q(n) = 2*n**2 - 2*n - 2. Let l be q(y). Let r(k) = -k**3 + 9*k**2 + 12*k - 2. Is 9 a factor of r(l)?
True
Let v = 989 + -32. Does 33 divide v?
True
Let z = -335 - -339. Suppose -2370 - 1198 = -4*f + z*i, f - 904 = -2*i. Does 16 divide f?
True
Suppose 22*u = 99*u - 90629. Is 39 a factor of u?
False
Let z(m) be the first derivative of m**6/360 + m**5/60 - 5*m**4/24 + 22*m**3/3 - 20. Let n(d) be the third derivative of z(d). Does 38 divide n(-15)?
True
Let r be ((-12)/(-3) - 7) + -18. Let x be -14*(12/r)/((-4)/14). Let j = x + 104. Is 