ose 177 - 165 = 2*f. Let l be x(f). Does 4 divide 1/(-5) - l/175?
True
Suppose 26*o - 31*o = -160. Suppose -5*l - 313 = -3*k - o, -371 = -4*k + 3*l. Does 57 divide k?
False
Let g = 85 - 91. Let l be 0 + 51 - 24/g. Does 11 divide (14/(-35))/((-2)/l)?
True
Let i = -5 - 0. Let l be i/(-15) + (-248)/(-12) + -4. Let o = l - -95. Is o a multiple of 14?
True
Let m be ((-20)/(1 + -6))/(-2) + 12. Let z(r) = -6*r**2 + 83*r + 4. Does 18 divide z(m)?
True
Let v = -2845 + 4762. Suppose v = 10*p - p. Let s = -136 + p. Does 12 divide s?
False
Let n be 11/22 + (-15)/(-2). Suppose v - 5 = -2*k, 4*v + n + 8 = 4*k. Suppose k*y - 240 = 63. Does 38 divide y?
False
Suppose 304*a + 1149301 = 387*a. Is 61 a factor of a?
True
Let k(g) = 3 - 12*g**2 + 6*g + 9*g + g**3 - 28 - 30. Is 12 a factor of k(13)?
False
Suppose 103*y + 258 = 60*y. Suppose 0*r - 24 = -4*r. Is 8 a factor of (r - (-132)/(-8))/(y/32)?
True
Suppose -68175 = -5*c - 4*h + 30959, -c = 4*h - 19830. Does 46 divide c?
True
Suppose 2*n = -23*c + 20*c + 113, 3*c = -3*n + 162. Suppose -n*z + 11075 = -17835. Is z a multiple of 30?
False
Let o = -60 + 47. Let c be (-50)/o + 3/(39/2). Suppose -206 = -c*i - 66. Is i a multiple of 5?
True
Let x(m) = m**2 + 4*m + 17. Suppose 5*d = -0*j + j - 4, 0 = 3*d + 3*j - 12. Let i be (-18)/3 - d - (1 - -1). Is 24 a factor of x(i)?
False
Let f be (-4)/(32/(-12))*6. Suppose 2*q - f = -5*j - 31, -q = 1. Does 15 divide (-2 - -3) + j + 93?
True
Suppose 2*v + 4 = 8. Let d be 14 - v*(-3)/(-2). Let y = 63 + d. Is y a multiple of 22?
False
Let c = -3361 + 6355. Is 6 a factor of 6/(-8) - (-2 - c/24)?
True
Let h = 134 + -137. Does 61 divide -1*(h - 1*352)?
False
Suppose 7 = 5*z - 3*v, -4*v + 0 + 4 = 0. Suppose -b + 4*g + 18 = 0, -2*g = -z + 6. Does 5 divide b?
True
Suppose 2*f = -19 + 19. Suppose 2*c + 3*c - q - 282 = f, 278 = 5*c + q. Is c a multiple of 8?
True
Is ((-22)/66)/((-1)/297) a multiple of 7?
False
Suppose 0 = k - 2*r + 7*r - 29, -k - 4*r = -24. Suppose d - 683 = -3*z + 5*d, -z + 217 = k*d. Does 15 divide z?
True
Suppose y = -0*y + 4. Suppose 4*b - 5 = -3*z - b, -25 = -y*z - 3*b. Is z a multiple of 10?
True
Let o(p) = 68*p - 876. Is o(27) a multiple of 13?
False
Suppose c - 4*v = 6, 0*c + v - 4 = 3*c. Let a be (-12)/16*c*6. Does 20 divide 9*a - 1/1?
True
Suppose -2*v - 28*t + 46228 = -31*t, -v - 5*t + 23075 = 0. Is 32 a factor of v?
False
Suppose 3*s = 4*s - 10. Suppose 0 = 2*h - 0*h - s, -c = -2*h - 46. Suppose 3*b - 46 - c = 0. Does 4 divide b?
False
Is 8 a factor of -8 + (9 - -1060) - -13?
False
Is 7 a factor of (1 - -4)/((-170)/(-93908))?
False
Let i = 36381 - 34555. Is i a multiple of 83?
True
Let f = 788 + -769. Suppose 0*c + f*c = 7980. Is c a multiple of 15?
True
Let k be (-3)/15*-5*-1. Let t(c) = c**3 + c**2. Let g be t(k). Suppose 2*s + s - 111 = g. Does 37 divide s?
True
Suppose 467*u = 1113656 + 10017756. Is u a multiple of 40?
False
Let m(n) = -2*n**2 + 7*n + 22. Let x be m(-7). Let f = x + 141. Suppose 2*b - 2*g - f = -2, 5*g - 37 = -3*b. Is 2 a factor of b?
False
Let h(z) = z**3 - 7*z + 433. Let o be h(0). Suppose -67 = -4*v + o. Is 25 a factor of v?
True
Suppose 5*p + 5 = 0, -q + 8*p = 9*p - 5. Is 2/(-4)*(q + (-468 - -6)) a multiple of 20?
False
Suppose -2*h + 9638 = -2*s - 2118, 0 = 5*s - 10. Does 28 divide h?
True
Suppose 256512 = 3*n - 3*y, -834*n + 833*n + 85544 = 4*y. Is n a multiple of 21?
True
Let v = 56 - 56. Let w be (v + 2424/(-9))/(6/(-108)). Is 8 a factor of w/42 - 3/7?
False
Let s = 1480 - -659. Does 50 divide s?
False
Let r(v) = v**3 + 21*v**2 + 9*v - 45. Let i(f) be the first derivative of 5*f**2 + 30*f + 15. Let a be i(-5). Is r(a) a multiple of 16?
False
Let g be (-7 + -15 - 3)*(-15)/(-1). Let h be (-2)/(-3)*(g/(-10) + -3). Suppose -h*f + 30*f = 1274. Is f a multiple of 14?
True
Suppose -4*u = 5*d - 100, -3*u - u = 4*d - 104. Suppose 5*h = 5*a - u, -3 - 5 = -3*a - 2*h. Suppose 3*l - 425 = -l + q, 4*l = -a*q + 400. Is l a multiple of 15?
True
Let q(v) = -2142*v + 352. Is q(-2) a multiple of 41?
False
Suppose -5*j - o - o - 14 = 0, 4*o = j + 16. Let q(f) = f**3 + 4*f**2 + 2*f + 5. Let x be q(j). Does 3 divide 55 - (0/x + -1)?
False
Let c(k) = -k**3 + 9*k**2 - 16*k - 4. Let l be c(2). Is (-17)/((l/(-140))/((-168)/49)) a multiple of 12?
True
Let d(o) = 4*o + 29. Suppose -3*g - 2*c + 22 = g, 4*c - 9 = -3*g. Let r be d(g). Suppose -3*n - 7 + r = 2*s, -4*n + 105 = -5*s. Is 20 a factor of n?
True
Suppose 0 = d + 2*r - 444 - 131, -2300 = -4*d + 4*r. Is d a multiple of 5?
True
Let c = 76352 - 26660. Is c a multiple of 41?
True
Let h = -27 - -31. Suppose h*v = -t + 9, 5*t + v - 33 = -7. Suppose 10 = -t*b, 5*x - 5*b - 39 = 26. Is x a multiple of 8?
False
Suppose 5*o - 240 = 5*j, -5*j + 283 = 5*o + 93. Let l(g) = 28*g - 2376. Let m be l(85). Suppose -m*u + 245 = -o. Is 10 a factor of u?
False
Let r be 0*((-28)/8)/(-7) - -5. Suppose r*q - 15 = 2*q. Suppose 3*f + 230 = 2*o + f, -4*o + 415 = q*f. Is 14 a factor of o?
False
Let k = -11891 - -17663. Is 8 a factor of k?
False
Let v = -5231 - -9360. Is 5 a factor of v?
False
Let m = 878 - 273. Suppose -2*s + 5*l = -m, -160 = -s - l + 146. Is 50 a factor of s?
False
Suppose a = 4*o + 908, 37*a - 34*a = -5*o + 2605. Is a a multiple of 4?
True
Suppose 3*m - 5*m - 23094 = -4*q, -3*q + 17324 = 2*m. Is q a multiple of 14?
False
Is (-4496)/(-4)*18 - ((-32)/16 - -4) a multiple of 34?
True
Let d be 5/((-30)/(-201))*4. Let r be 3 + -2 + 3 + -4. Suppose -4*j - 3*p + d = j, r = -2*j - 3*p + 50. Is j a multiple of 4?
True
Suppose 0 = 8*v + 107 - 515. Suppose -v = -3*m - 3*d, m - 23 = 5*d + 24. Does 22 divide m?
True
Let q(s) = -57*s**3 + 55*s**2 - 29*s - 103. Is 53 a factor of q(-6)?
True
Let f = 9 - 6. Let b(m) = -26*m - 3 + 14*m - 5*m + 42*m. Is 6 a factor of b(f)?
True
Suppose -2*z - 3*n + 19483 = 0, -3*z + 38978 = z + 2*n. Does 55 divide z?
False
Let o = -63 - -352. Suppose 8*x - 7*x - 5 = 0, 0 = -g + 3*x + o. Is 19 a factor of g?
True
Suppose -28 + 83 = 11*r. Suppose r*v + 834 - 3576 = -3*h, 1642 = 3*v + h. Is v a multiple of 51?
False
Suppose -2*n + 3*l + 9223 = 0, 2*n - 2*l - 5572 = 3654. Does 8 divide n?
True
Let z(l) = -l**2 + 37*l - 66. Let t be z(35). Let s = 572 + t. Does 14 divide s?
False
Let x be (8/(-5))/((-32)/(-20) + -2). Does 24 divide 1 - (-277 - x) - -6?
True
Let l(h) = -3*h - 32. Let m be l(-12). Suppose -m*k = -15*k + 8*k. Suppose 5*y - 20 = k, 3*j + y = -y + 173. Does 14 divide j?
False
Suppose 2*t + 4 = 4*l + 8, 0 = -5*l + 5. Suppose -2*k = t*m - 946, 0 = 4*k - 2*m - 1294 - 598. Does 43 divide k?
True
Let a = -131 + 213. Suppose 5*d + 67 = a. Let f(i) = 4*i**3 - 4*i**2 + 2*i + 3. Is 16 a factor of f(d)?
False
Let d = 115 + 49. Does 9 divide 24/(-1*(-1 + 156/d))?
False
Let q(r) = -6*r - 2*r - 4*r - 6*r + 6. Let k be q(-3). Suppose 4*w = w + k. Does 7 divide w?
False
Suppose -8995 = 6*z - 20*z - 1715. Does 40 divide z?
True
Let k(y) = 0*y + 31*y**2 + 2 - 40*y**2 + 9*y. Let a(h) = h**2. Let r(v) = -4*a(v) - k(v). Does 22 divide r(5)?
False
Let p(f) = 1263*f - 3934. Does 31 divide p(12)?
True
Let p be 6/(-1) + -4*(14 + -18). Is 4 a factor of p/(-25) + 1487/5?
False
Let a(g) = -g**3 - 19*g**2 - 18*g. Let h be a(-18). Suppose h = -13*j - 0*j + 10959. Is 55 a factor of j?
False
Let f = 355 + -220. Let u = -58 + f. Does 31 divide u?
False
Suppose 5*w = 40 - 20. Suppose -3*s - t + 398 = 0, w*t = -3*s + 7 + 397. Let r = 372 - s. Does 32 divide r?
False
Let m(h) = -232*h - 59. Let v be m(6). Let c = v + 2075. Is 16 a factor of c?
True
Let u(z) = 2272*z - 10856. Is 12 a factor of u(8)?
True
Let s = 44 + -41. Suppose -2*j + 6 = s*o, 5*j + 3 = -12. Suppose 2*d + o*b - 412 = 0, 0*d = -4*d - 2*b + 806. Is 20 a factor of d?
True
Is 6 a factor of ((-1935)/150)/43 + 205926/20?
True
Let o = 15715 + -7987. Does 16 divide o?
True
Let c(x) = -7*x**2 + x + 22. Let y(n) = -8*n**2 + 19. Let v(s) = 5*c(s) - 6*y(s). Let p(i) = i**2 + 4*i - 8. Let h be p(-6). Is 34 a factor of v(h)?
False
Let x(k) = k**2 - 39*k - 84. Let w be x(30). Let y = w - -874. Is y a multiple of 10?
True
Let o = 28 - -30. Let i = o - 56. Let w = 122 + i. Is 16 a factor of w?
False
Suppose 25*q + 2*h = 23*q + 64, 0 = -5*q - 3*h + 154. Let g = q - -300. Is 7 a factor of g?
True
Suppose 7 - 45 = 4*x - 3*y, 4*x = 2*y - 36. Suppose 26*f - 88 = 24*f + 5*z, 0