-7. Suppose -48*b = -f - 36491. Is 62 a factor of b?
True
Let i(c) = 8*c + 44. Let s be i(-5). Suppose -6*k = -s*k - 48. Does 2 divide k?
True
Let s = 19759 - 7235. Is s a multiple of 31?
True
Let d be (-4)/6*(-999)/74. Let i(r) = 14 + r**2 - 23 - 35 + d. Is i(10) a multiple of 13?
True
Suppose -21*v + 76030 - 22938 = 5*v. Does 30 divide v?
False
Let u = -10275 - -13412. Is u a multiple of 206?
False
Suppose 6*o = -0*o - 12. Let q be ((-1)/o)/((-1)/151)*-2. Let s = q - 83. Is s a multiple of 6?
False
Suppose 1566 = 15*t - 21*t. Let i = 155 - t. Is 8 a factor of i?
True
Let p be ((-2)/2)/((-9)/9). Let b be p + 5 + -5 - (-1 - 0). Suppose -5*j = 4*i - 28, b*j = -i - 4 + 11. Is 2 a factor of i?
False
Suppose 3*c - 6*m = -c + 9486, 2*m - 6 = 0. Does 8 divide c?
True
Suppose 0 = 4*f + i - 14, -4*i = 3*f + 4 - 8. Let x(t) = 3*t**3 - 4*t**2 - 10*t + 17. Is x(f) a multiple of 10?
False
Suppose 0 = -2*t + 3*j + 3628, 3*j + 1805 = t + 6*j. Suppose 9*d - t - 2239 = 0. Does 32 divide d?
False
Let x(c) = c**2 + 13*c + 28. Let v be x(-15). Let q = -51 + v. Suppose -2*y = -2*k - 6, -3*k = -3*y + k + q. Does 5 divide y?
True
Let c(y) = -389*y + 2750. Is 13 a factor of c(6)?
True
Suppose 2*n + 640 = -680. Let u = n + 1017. Is u a multiple of 51?
True
Let p(s) = -s - 12 - 15 - 2*s - 3*s. Is p(-7) even?
False
Let s = 777 + -766. Suppose 0 = -4*n + 3*c + 1497, 15*n - 1495 = s*n + 5*c. Does 9 divide n?
False
Suppose -100*k = -25*k - 1181700. Is 26 a factor of k?
True
Let h = -1297 + 883. Let m = 441 - h. Is m a multiple of 59?
False
Suppose 3*w - 1867 = -2*i, -i - 1233 = 4*w - 6*w. Let d = w - 466. Is 7 a factor of d?
False
Suppose f + 9 = 10*f. Let p be 5 + 1 + f + -3. Suppose k = p*k - 4*i - 141, -k = 5*i - 47. Is k a multiple of 7?
False
Let a(d) = -846*d + 782. Does 33 divide a(-6)?
False
Let a(o) be the first derivative of -o**3/3 - 21*o**2/2 - 10*o + 5. Let r = 79 - 90. Does 10 divide a(r)?
True
Let g = 10679 + -25490. Is 37 a factor of -2 + g/(-21) - (-12)/(-42)?
True
Let v = -81 + 86. Suppose -v*n - 3*p = -26 + 201, -4*n = -3*p + 140. Let q = n - -401. Is 46 a factor of q?
False
Let g(x) = -52*x + 2. Let r be g(-3). Suppose 63 = 4*s - y + 18, 0 = -4*s + 4*y + 60. Suppose -z = -s - r. Is z a multiple of 24?
True
Let p = 5055 - 1167. Is 9 a factor of p?
True
Let p = -37 + 43. Let g(n) = -n + 11. Let b be g(p). Suppose b*o - 5*u - 440 = 0, 3*o - u + 4*u = 288. Does 23 divide o?
True
Let a = -93 - -87. Let l(w) = -w**2 - 4*w + 20. Let s be l(a). Suppose -s*r = -118 - 570. Is 12 a factor of r?
False
Suppose -19*r + 6*r + 269715 = 2*r. Is 20 a factor of r?
False
Let i = 511 - 173. Let t = i + -230. Is 6 a factor of t?
True
Suppose -405*x + 194059 = -2644574 - 2761707. Is 14 a factor of x?
False
Is 9 a factor of (-4)/(-48)*3*(0/2 - -43828)?
False
Suppose 68*w - 112*w = -68068. Is 38 a factor of w?
False
Let w(m) = 2*m**2 + 28*m + 2. Let s be w(-14). Suppose -s*d = 8*a - 3*a - 31, -a - 2*d = -11. Suppose 3 = -3*v, -a*n + 5*v + 397 = 3*v. Is n a multiple of 10?
False
Is 57 a factor of 588530/771 - (10/(-6) - -2)?
False
Suppose h = 0, 2*h - 85 = -2*q - 3*q. Let l = q + -2. Let p = 45 - l. Is p a multiple of 30?
True
Is 942/(-40)*(-88 - 314) + 2/(-20) a multiple of 54?
False
Suppose -2*l + l + 3 = 0. Suppose -a = l*a - 664. Suppose -j - a = -3*n, -213 = -n - 3*n + 3*j. Is 19 a factor of n?
True
Let m(a) = -605*a - 4934. Does 12 divide m(-20)?
False
Let v(n) = -3*n + 120. Suppose -3*r + 7 = -11. Let b(w) = w - 6. Let f be b(r). Is 24 a factor of v(f)?
True
Let s be ((-155)/25 + 5)/(6/(-20)). Let w be 40/12*-6*(-2)/s. Let c = w + 123. Does 24 divide c?
False
Suppose 328*r = 333*r + 4*q - 103891, -2*r = -2*q - 41542. Is r a multiple of 195?
False
Let r(n) = 16*n - 54. Let d be r(8). Suppose -77*u + d*u = -24. Suppose -532 = -12*f + u*f. Is f a multiple of 7?
True
Suppose -4*s + 3*h = -h - 320, -4*h + 261 = 3*s. Let x = 61 + -33. Let f = s - x. Is f a multiple of 7?
False
Suppose -83*x - 2401 + 85069 = 0. Is x a multiple of 4?
True
Let h(t) = 4*t**2 + 2*t - 4. Suppose 0 = 3*v - 36 + 6. Suppose -3*z + x + v = 0, x + 8 = 4*z - 4. Is h(z) a multiple of 8?
True
Does 164 divide 15588*(-15 + (-189)/(-12))?
False
Let m(k) = 3*k**2 + 18*k + 2. Let a be (-120)/18*6/(-5). Suppose -2*v + a = -3*v. Does 10 divide m(v)?
True
Suppose 0 = 5*m + b - 182532, -2*b + 150950 = 4*m + 4916. Does 5 divide m?
True
Suppose 3*p - 4*o - 62254 + 13229 = 0, 4*o - 49033 = -3*p. Does 116 divide p?
False
Let i(r) = -5*r**3 + 15*r + 208. Is i(-12) a multiple of 11?
True
Let o(y) = 11141*y + 3460. Is o(4) a multiple of 23?
True
Let l be (6 + (-488)/12)*30/8. Let r = 147 + l. Suppose 18*j = r*j + 84. Is j a multiple of 8?
False
Suppose 26*w - 593922 = -39*w + 44*w. Does 26 divide w?
False
Suppose -i = -3, -2*i + 12 = 2*b - 12. Suppose 0 = 8*f - b*f + 47. Is f a multiple of 12?
False
Suppose -10*k - 2 = -9*k, 4*j - 4*k - 5268 = 0. Suppose 6*x - j = 1121. Is 43 a factor of x?
False
Suppose 2*t - 6434 = -3*h, -722 = -2*h - 2*t + 3570. Is 14 a factor of h?
True
Let w be 5 - ((-1630)/11 + (-4)/(-22)). Let n = 625 + w. Does 18 divide n?
False
Let k(y) = y + 115. Is k(-69) a multiple of 17?
False
Suppose -2*l + l - 4*k - 16 = 0, -2*l + 2*k = 2. Let d be l/14 + (-3144)/(-28) + -7. Let r = d + -45. Does 5 divide r?
True
Suppose q - 7770 = 4*o, -71*o - 7770 = -q - 66*o. Does 39 divide q?
False
Suppose 0 = 6*p - 2 - 28. Suppose 4*o - 1556 = y - 495, -3*y - 1321 = -p*o. Does 6 divide (-1)/5 - 13/((-65)/o)?
False
Let p = -710 + 719. Suppose -p*x + 918 = -540. Is 4 a factor of x?
False
Suppose 2*p = -5*y + 18, 2*p = -2*y + 6*y. Suppose y*o - 657 = 5*a + 131, 4*o + 2*a = 1528. Does 48 divide o?
True
Suppose 3*y + 36 = 7*y. Let w = 31 - y. Does 2 divide w?
True
Let a(o) = o**3 + 7*o**2 - o + 17. Let k be 1 - (-1 + (-3 - -12)). Let s be a(k). Suppose 19*d = s*d - 70. Does 14 divide d?
True
Let y = -4725 + 7761. Is y a multiple of 69?
True
Let v be (16/(-4) - -1)/(-1). Suppose 0 = v*f + 5*b + 335, -364 = 4*f + 4*b + 88. Let x = f + 249. Is 27 a factor of x?
False
Let c = 2520 + -1521. Does 21 divide c?
False
Let c be -4 + 2 - -6 - (-8 + 10). Suppose 2*d = 3*x + 570, 345 = c*d + 5*x - 257. Is 22 a factor of d?
False
Suppose 4*v = t + v - 139, t - 4*v - 135 = 0. Suppose -112 = f - 4*f + d, d = 4*f - t. Is f a multiple of 4?
False
Suppose 5*d = 16 - 21. Is 38 a factor of (d - 2) + -3*(-2465)/15?
False
Suppose -a = -55*w + 52*w - 22100, 66300 = 3*a - 4*w. Does 136 divide a?
False
Suppose 0 = 7*l - 44 - 5. Let x(s) = 3*s - 17. Let g be x(l). Suppose g*i + 14 = 778. Does 43 divide i?
False
Let f(q) = -28*q + 252. Let i be f(9). Suppose i = 24*r - 20*r - 5520. Is r a multiple of 14?
False
Let s = 88 + -82. Suppose -2*d + 1512 = s*d. Is (108/(-14))/((-27)/d) a multiple of 18?
True
Let t(b) = -b**3 - 16*b**2 - 11*b + 34. Let g be t(-15). Let a = -141 - g. Let h = 163 + a. Is h a multiple of 12?
True
Suppose 5*h = -4*y + 15, -4*h + 12 = 2*y + 2*y. Suppose -a - h*o - 12 = 0, 0 = -3*o - 0 - 15. Suppose -3*v + c = 2*c - 126, 3*c = a*v - 126. Is 9 a factor of v?
False
Let q(o) = 13*o**2 - 3*o - 78. Let h be q(-11). Suppose 4*c - h = 72. Is 40 a factor of c?
True
Let z(x) be the first derivative of -x**4/4 + 5*x**3/3 - 7*x**2/2 + 6*x + 20. Let l be z(4). Let y(j) = j**3 + 8*j**2 - 13*j + 7. Is 20 a factor of y(l)?
False
Is 81 a factor of (5 + -12 + -1694)*-23?
True
Is 21 a factor of 3002 - (-22 + (1 - -14))?
False
Let k be (20/4 - 6)*-15. Suppose -43*z = -45*z - y + 19, -k = -5*y. Does 2 divide z?
True
Suppose 0 = -i + 7 - 1. Let o be 20/12*(-60 + 9). Does 8 divide 2/i*(8 - o)?
False
Is 33 a factor of 13648/6 - 4/(-12) - (9 + -11)?
True
Let s(b) = 8*b**2 - 24*b - 35. Suppose -6*k + 58 = -8. Does 18 divide s(k)?
False
Suppose -4*o - 5*d + 13 = 0, 0*o + 4*d = -4*o + 12. Let w = o - -29. Does 10 divide w?
False
Let w be (-1 - -11)*(5/(-10) - 0). Let j(c) = c. Let t(p) = -p - 28. Let d(i) = -2*j(i) - t(i). Is d(w) a multiple of 11?
True
Let a(y) be the second derivative of -y**5/20 - y**4/6 - y**3/6 + 27*y**2 + 45*y. Is a(0) a multiple of 6?
True
Let y = 3 + -1. Let f be 8305/77 + (-4)/(-28). Suppose 0*u + 39 = 2*n + 5*u, -5*n - y*u + f = 0. Is n a multiple of 16?
False
Suppose 3*l + 37*l = -20*l + 1233540. Is 27 a factor of l?
False
Let