be b(4). Does 10 divide ((-20)/h + -26)/(-1)?
True
Let r = -2257 - -6932. Does 16 divide r?
False
Let a(l) = 33*l + 86. Let b(j) = -j + 2. Let f(d) = -a(d) - 5*b(d). Is 34 a factor of f(-18)?
True
Suppose 13*h = -18*h + 251233 + 63882. Is h a multiple of 100?
False
Let f(b) = -b**2 + b + 46. Let a = -7 - -2. Is 7 a factor of f(a)?
False
Let t = 1091 - 765. Let s = t + -255. Is 5 a factor of s?
False
Suppose 0 = 4*k - 3*z - 13, 2*k = 5*k - 2*z - 11. Suppose -k*r = 61 + 184. Let o = r + 45. Is o a multiple of 2?
True
Suppose -9*o + 4*s = -5*o - 19104, s = 3*o - 14322. Does 111 divide o?
True
Suppose -2*u = -t - 4092, 5*u - 77*t = -81*t + 10282. Does 205 divide u?
True
Suppose -18*m + 7*m - 28782 = 112*m. Suppose 0 = -2*v + 695 + 147. Let u = v + m. Does 55 divide u?
False
Suppose 17089 = 5*i + h - 9913, 3*h - 26996 = -5*i. Is i a multiple of 4?
False
Suppose 205 + 407 = 17*v. Suppose g + 1120 = 2*o, -1702 = -3*o - 40*g + v*g. Is o a multiple of 22?
False
Suppose 4*n = n + 120. Let k = 16 + n. Is k a multiple of 28?
True
Let r = 2060 - 740. Suppose 2*n - 660 = -c, -2*c = 9*n - 6*n - r. Is c a multiple of 6?
True
Let t(x) = 4*x**2 + 3*x - 36. Let r be 20/(-15)*(-30)/4. Is 21 a factor of t(r)?
False
Let h(x) = -x**2 - 16*x - 15. Let a be h(-15). Suppose -4*q + 7*q - 396 = a. Let g = 192 - q. Is g a multiple of 10?
True
Let w(o) = 9*o - 27. Let l be w(-15). Let k be 5*(0 - l/5). Suppose -2*j = v + 2*j - 101, 2*v - k = 2*j. Is v a multiple of 17?
True
Suppose 0 = -7*t + 12*t - 10. Suppose 1329 = 2*s - 5*p + 418, 6 = -t*p. Is 32 a factor of s?
True
Let u be (-12)/(35/7 - 3). Let y(d) = d**3 + 8*d**2 + 4*d - 22. Is y(u) a multiple of 3?
False
Let a = -547 + 567. Suppose -4 = 19*s - a*s, 5*d - 6959 = -s. Is 28 a factor of d?
False
Let r = 30 + -66. Let t be 370/(-8) + (r/(-16) - 3). Does 30 divide -10*((-20)/(-30) - t/(-3))?
True
Let v(n) be the second derivative of n**5/10 - n**4/4 - 7*n**2/2 - 2*n + 1. Is 22 a factor of v(4)?
False
Let t = 6 - -43. Let x(b) = 3*b**2 + 12. Let y be x(8). Suppose y = t*d - 45*d. Is d a multiple of 10?
False
Is 7 + 1402 - 3 - 2 a multiple of 76?
False
Let i = 116 + 15. Let g = 93 - i. Does 19 divide (-1)/(4 + 154/g)?
True
Let l(q) = 22*q - 34. Let h = 158 + -154. Does 10 divide l(h)?
False
Suppose 2*w = -3*d + 528, 3*d + 45*w = 42*w + 534. Is d a multiple of 4?
True
Let j(y) be the second derivative of -y**3/2 - 7*y**2/2 - 61*y. Is j(-15) a multiple of 2?
True
Let m(p) = 1524*p + 47. Does 63 divide m(2)?
False
Suppose -2*a + 5*a - 4*p - 44 = 0, 5*p = -3*a + 80. Let z(t) = -t**3 + 20*t**2 + t - 23. Let c be z(a). Let m = 41 - c. Is m a multiple of 12?
False
Let x = -2 + -1. Let z(w) = 0 + 9*w + 0*w**2 - 4*w + 6 + 4*w**2. Does 13 divide z(x)?
False
Is 136 a factor of 7812/189*(1 + 547/2)?
False
Let n = 38 + -2. Let g = 34 - n. Is 4 + (-2 - g) + 51 a multiple of 13?
False
Suppose 0 = -21*u + 13*u + 576. Let k = u - -35. Let g = k - 102. Does 2 divide g?
False
Suppose 0 = -188*x + 203*x - 7440. Is x even?
True
Let v(k) = 2291*k + 5583. Does 63 divide v(12)?
True
Suppose 0 = -16*l + 11*l. Suppose 2*r = -l*r - 6, 5*b - 5*r - 1540 = 0. Does 22 divide b?
False
Suppose g + 13 = -4*v, -5*g + 4*v - 15 = -v. Is 66 - 0 - (0 - (-3 - g)) a multiple of 34?
True
Is 202 a factor of 1/((-1)/(-1)) - (-12741 - 42)?
False
Suppose 0*o - 5*g - 67 = -o, -121 = -2*o - 3*g. Suppose 5*k = -s + 4*s - 101, -2*k + 4 = 0. Let q = o - s. Does 3 divide q?
False
Let v = 263 - 43. Suppose -b - 2*y + v = -0*b, 2*y = 0. Does 24 divide b?
False
Let u = -120 - -123. Suppose -u*v = 5*v - 1296. Is v a multiple of 18?
True
Suppose -12*z - 20*z + 22969 = -28007. Is 62 a factor of z?
False
Let u be 36/(-9) + (4 - 1). Let t(k) = k**3 - 6*k**2 - 6*k + 3. Let x be t(7). Let g = x + u. Is 2 a factor of g?
False
Suppose -20 = -20*x + 10*x. Suppose -x*f + q + 47 = f, -q + 43 = 3*f. Let g(v) = 5*v - 37. Is g(f) a multiple of 6?
False
Let f(y) = 1096*y + 294. Is f(5) a multiple of 28?
False
Suppose -48*c + 122458 = 5*c - 91079. Is 51 a factor of c?
True
Let m(h) = h**3 + 4*h**2 - 8*h - 6. Let d be m(-5). Let p(i) = -28 + 120*i - 10*i**2 - 272*i + 175*i + i**3. Is p(d) a multiple of 34?
False
Let x = 2072 - 362. Suppose -5*t - 6*s + 11*s = -x, -2*s - 343 = -t. Does 49 divide t?
False
Let c = -13551 + 17046. Does 15 divide c?
True
Suppose -1644*o - 19680 = -1660*o. Does 246 divide o?
True
Suppose 0 = n + 51 + 22. Let z be (n/146)/(-1 - 31/(-32)). Suppose -l + 6 = -z. Is 8 a factor of l?
False
Let y(v) be the third derivative of -v**4/3 - 47*v**3/2 + v**2 - 34. Is y(-30) a multiple of 5?
False
Suppose 425 = -6*y - 217. Let b = y + 395. Does 37 divide b?
False
Let f(t) = -7*t**2 + 7*t - 228. Let j(o) = -15*o**2 + 15*o - 456. Let v(r) = -13*f(r) + 6*j(r). Does 6 divide v(0)?
True
Let b(a) = a**3 - 5*a**2 + 4*a - 2. Let r be b(4). Let y(l) = 2 + 29*l**2 - 5 - 24*l**2 - 3*l - 4 - l. Is 2 a factor of y(r)?
False
Let h = 8 + -3. Suppose -d = -4*v - 27, h*d + 5*v = -5 + 15. Does 18 divide 1/(d/3) - (-5140)/28?
False
Let k be ((-235)/(-3))/(1/3). Let q = 14636 + -14630. Suppose -k = -q*v + 107. Does 19 divide v?
True
Suppose 11 = 5*s + 1. Suppose -s*g - 4 = -0*g. Does 21 divide 38/(4 + g/(-14)*-26)?
False
Does 145 divide (-9)/(117/143) - -6256?
False
Suppose 4*v + 15*v = 4*v. Suppose v = -0*u + 14*u - 616. Is 20 a factor of u?
False
Let u(m) = 8*m**3 + m**2 - 76*m + 698. Is u(8) a multiple of 12?
False
Let g(a) = 5254*a**3 - 4*a - 3. Let j be g(-1). Let s = j + 8311. Suppose 12*u = s + 74. Does 34 divide u?
False
Let v = 333 + -328. Suppose -4*c + 307 = x - 628, 4*c + v*x = 915. Does 5 divide c?
True
Suppose -14961*y = -14944*y - 253266. Does 26 divide y?
True
Let w = -14 - -18. Let r be ((-9)/(-2) + -6)*(-74 - 0). Suppose -r - 45 = -w*m. Does 13 divide m?
True
Let n = -1594 - -2186. Is 16 a factor of n?
True
Let o(f) = -3*f**3 - 121*f**2 - 78*f - 235. Is o(-41) a multiple of 55?
True
Let c(z) = 115*z + 349. Let l be c(5). Let g = l - 750. Does 2 divide g?
True
Suppose 41*s - 2020 = 37*s. Let z = s + -115. Is z a multiple of 19?
False
Suppose -4*c = 3*r - 15586, 3*r + 6436 + 1384 = 2*c. Does 11 divide c?
False
Let s be 9/36 - 4/16. Let x(b) = -b**3 + 11*b**2 - 4*b. Let p be x(6). Suppose -5*k - 2*h - 2*h + 195 = s, 0 = -4*k - h + p. Is 4 a factor of k?
False
Suppose -51 = 2*d - 1271. Suppose 0 = 2*z + 4*f - 260, -f = -5*z - 3*f + d. Does 10 divide z?
True
Let d(k) = -12439*k - 8559. Does 53 divide d(-5)?
True
Let s(t) = -15*t - 3. Let j be s(-6). Suppose -7 = l + x + 17, 4*l - 5*x + j = 0. Let u = 29 + l. Is u a multiple of 6?
True
Let y = 72 + -136. Let g = y + 68. Suppose -6*q + 22 = -g*q. Is 7 a factor of q?
False
Let b(y) = y**3 + 9*y**2 + 8*y - 137. Is b(7) a multiple of 47?
False
Does 63 divide 5/((-30)/1303074*-9)?
False
Let f(m) = -2*m**2 + 7*m + 30. Let i be f(6). Suppose i = -272*y + 268*y + 76. Does 2 divide y?
False
Let g(i) = 6*i**2 + 6*i + 5. Suppose -13*s = -14*s + 55. Let u = s - 56. Is g(u) a multiple of 3?
False
Is (-321822)/(-133) - 8/28*-1 a multiple of 11?
True
Suppose t = 3*b - 33723, 15752 + 6696 = 2*b + 5*t. Does 65 divide b?
False
Let t = -68 - -72. Suppose -2*q + 0*q + 2*m = -t, -4*m + 12 = 0. Suppose -217 - 323 = -q*z. Does 9 divide z?
True
Let z = 37 - 49. Let w(l) = l**2 + 9*l - 29. Let m be w(z). Suppose -4*s = -m*s + 90. Is 15 a factor of s?
True
Suppose 0 = -49*d + 543410 + 193556 + 125042. Is d a multiple of 24?
True
Let g(a) = -14*a + 72. Let o be g(5). Suppose 740 = 4*n + l, 360 = 2*n - o*l - 0*l. Is 46 a factor of n?
True
Let h = 33744 - 31395. Does 3 divide h?
True
Suppose -4*k + 7 = -9. Suppose 2*d = -j + 22, -d + 7 = k*j - 60. Is 7 a factor of (-13)/(-2)*(j - 2)?
True
Suppose 2222*a - 2210*a = 5928. Is 6 a factor of a?
False
Is 10 a factor of (-28)/(-266) - (-2 + 171604/(-38) + -2)?
True
Let h(s) = -169*s - 542. Let q(y) = -56*y - 179. Let t(x) = 2*h(x) - 7*q(x). Is t(21) a multiple of 17?
False
Let f be (4*4/32)/(2/8). Suppose 2*g = -5*p - 5, 8 = -f*g + p - 3*p. Does 19 divide -1 + 0 + (g - -134)?
False
Suppose 5*x + 25 = -0. Let p be (12/(-21))/(x/35). Suppose -5*m = -o - 138, 2*m - 41 - 23 = -p*o. Is m a multiple of 14?
True
Let t(s) = -s**3 + 5*s**2 + 39*s + 70. Is 96 a factor of t(-15)?
False
Suppose 39*q = 11*q - 19*q + 625758. Does 6