 4*g + 41215 = 214102. Is 25 a factor of y?
True
Let d(k) = 708*k - 18472. Is 16 a factor of d(78)?
True
Let b(t) = t**2 + 7 - 4 - 7 - 14 + 13*t. Let a be b(-14). Does 33 divide 2119/(-13)*(-2)/2 - a?
False
Suppose 4*k - 3724 = 4*x, -2*k = 4*x - 2724 + 880. Does 5 divide k?
False
Suppose -5*c + 82 = -103. Let v = -29 + c. Is 3 a factor of -50*4/(v/(-1))?
False
Suppose 8*b + 2 - 26 = 0. Suppose -4*u = 3*c - 227, -b*c = c - 3*u - 336. Is (-842)/(-8) - (-2 + c/36) a multiple of 48?
False
Let d(n) = 71*n + 9. Let a be d(-1). Let k = -62 - a. Suppose r - u - 146 + 18 = k, 3*r + 3*u = 372. Does 21 divide r?
True
Let a(v) = 39*v**3 - 2 - 5*v + 0 - 38*v**3 + 2*v**2. Let q be a(-3). Suppose m = -4*p + 364, -q*p + 0*m + 4*m + 344 = 0. Is 30 a factor of p?
True
Suppose -5*v + 5*w - 3106 = -32026, 3*v + 3*w - 17364 = 0. Is v a multiple of 56?
False
Suppose 0 = -5*p + 3*l - 237 - 102, -5*p - 337 = -4*l. Let i = 246 + -88. Let g = i + p. Does 20 divide g?
False
Let r = 463 - 363. Is r even?
True
Let x = 2737 - -9737. Is x a multiple of 7?
True
Suppose -4*t - 456 = 4*j, 0 = -3*j - t - t - 338. Let z = j - -364. Is z a multiple of 10?
False
Let k be (-2646)/(-22) + (-21)/77. Suppose 126*i = k*i + 6630. Does 13 divide i?
True
Let o = -54 + 70. Suppose -o*t + 2*t + 294 = 0. Suppose t + 15 = w. Does 6 divide w?
True
Suppose -v + 3*v = -166. Let x = 77 - 127. Let r = x - v. Is r a multiple of 11?
True
Suppose -44*c = -1740819 - 410253. Does 66 divide c?
False
Let i = -59 - -179. Is 28 a factor of (339/15 + 3)/(8/i)?
False
Let b be (-1)/(3/(-120) + 0). Suppose -16 = -4*p, 5*j + 5*p - b = -0. Suppose -2*c = -7*c - 2*v + 364, -j*c + 296 = 4*v. Is 17 a factor of c?
False
Let z = -378 - -750. Suppose -4*f + 388 = -z. Is 10 a factor of f?
True
Suppose 25*i + 4008 = i. Let c = i - -225. Is c a multiple of 27?
False
Suppose -124 = -4*r - 3*f, 4*r - f - 140 = -0*r. Is 18 a factor of (199 + -1)*34/r?
True
Let m = -48 - -145. Let q = m + -33. Does 36 divide q?
False
Let l(b) = -9*b - 135. Let r(d) = -2*d - 27. Let h(o) = -4*l(o) + 21*r(o). Let p(u) = 24*u + 107. Let f(g) = 9*h(g) + 2*p(g). Does 6 divide f(-10)?
False
Let o(n) = -44*n + 4224. Is 88 a factor of o(-36)?
True
Let l be (-3 - 3)/(-1) + 0. Let w(y) = 2*y**2 - 20*y - 47. Let f be w(-19). Suppose 0 = -s + l*s - f. Is s a multiple of 27?
False
Let s be (30 - -3117) + -2*4. Suppose -12*w + s + 10721 = 0. Does 78 divide w?
False
Suppose -9487116 = 32*l - 50*l. Is 60 a factor of (-10)/12 + l/372?
False
Let x(i) = -27*i - 6. Let w(c) = c**3 - 4*c**2 - 14*c + 6. Let z be 6/((-2)/(-1) + (-1 - 0)). Let t be w(z). Is x(t) a multiple of 21?
False
Suppose 5*n + 2*f - 8 = 0, 2*n - f + 2*f - 3 = 0. Suppose -12*s + 7440 = -n*s. Does 24 divide s?
True
Suppose 452 = -6*r - 352. Let z = -62 - r. Is z a multiple of 24?
True
Suppose -13*g + 2*g = -19459. Let k = g - 1026. Does 22 divide k?
False
Suppose 2*x + 4*u - 8 = 0, -x + 2*u + 2 = -6. Let n(h) be the first derivative of h**4/2 - 2*h**3 - 5*h**2/2 + 4*h - 11. Is 10 a factor of n(x)?
True
Let a be (1 - -6) + (-2 - 1). Suppose -c = -3*c + 2*o + 2086, 5*o - 4190 = -a*c. Is c a multiple of 75?
False
Let u(i) = i**2 - 3*i - 5. Suppose 2*t - r + 20 = -0*r, t + 4 = -r. Is u(t) a multiple of 28?
False
Let y(d) = -48*d - 107. Let p be y(-6). Let x = p - -35. Does 9 divide x?
True
Let d(r) = r**3 + 4*r**2 - 5. Let s be d(-2). Is 25 a factor of (76 + 7)*(-2)/(-6)*s?
False
Let i(z) = 32*z**3 - 49*z + 194. Is 93 a factor of i(4)?
True
Let q be (-2)/((-2)/13) - 6/(-3). Let s(a) = -2*a**2 + 31*a - 18. Let l be s(q). Is 12 a factor of -1*(-31 - (l + 3))?
False
Let t(j) = -j**3 - 13*j**2 - 4*j + 142. Does 4 divide t(-21)?
False
Let q = 43 - 34. Suppose -20 = -q*i - i. Suppose i*u = 53 + 91. Is 11 a factor of u?
False
Let w = -10134 + 18680. Is w a multiple of 15?
False
Let z(m) = -26*m + 1. Let f be z(-2). Let i = -189 - -238. Let k = f - i. Is 4 a factor of k?
True
Suppose 0 = -8*u + 83 + 29. Suppose 0 = u*p + p - 8355. Suppose 4*a + 12 = 0, -4*m = a - 0*a - p. Does 14 divide m?
True
Let a(g) = g**3 + 2*g**2 + 47*g - 79. Is a(13) a multiple of 77?
False
Let w(d) = -d**3 + 12*d**2 - 12*d + 6. Let k be w(11). Is -2 - (k - (-21 + 0)/(-1)) a multiple of 12?
True
Let m = -50 + 55. Does 20 divide 2 + 501 - m - (-2 + 0)?
True
Let w(r) = -2*r**3 + 51*r**2 + 24*r + 58. Let h be w(26). Suppose -1501*z + h = -1500*z. Is 6 a factor of z?
True
Suppose 7*k - 12 = 3*k. Suppose -656 = -3*b + k*g + 190, g = -3*b + 838. Suppose 2*z - 2*s = 142, -3*s = -4*z - s + b. Is z a multiple of 15?
False
Let m(t) = 2*t**2 + 26*t - 87. Let d be m(18). Suppose -2*g = -3*b + d, 8*b = 6*b + 3*g + 691. Does 11 divide b?
True
Let d = -46 + 53. Let o be (1 - d)*(-1)/2. Suppose 0*g = -g - o*i + 49, -i = -2*g + 133. Is g a multiple of 16?
True
Let u be 274 - (-36)/(-6) - 6. Let r = -49 + u. Does 14 divide r?
False
Let p = 57313 + -22538. Does 107 divide p?
True
Let a be -3*(-88)/36*(3 - 0). Suppose -3*p + 10 = a. Is 6/p + 82*(-5)/(-20) a multiple of 17?
False
Suppose 5*v + 703 = 3*r, -2*v - 3*v = -4*r + 934. Suppose 3*o = 3*k + r, 15*o = 17*o + 3*k - 129. Is 14 a factor of o?
False
Suppose 1223*s - 438210 = 1178*s. Does 145 divide s?
False
Suppose 1574 = 4*s + d, -155 - 645 = -2*s + 6*d. Is s a multiple of 4?
False
Let b = 17 + -14. Suppose -u - b*u = -28. Is 23 a factor of -4 + u - 140/(-2)?
False
Suppose 77 = n - 2*m, -4*m + 627 = 5*n + 200. Suppose 76*j + 280 = n*j. Does 5 divide j?
True
Suppose 3*v + 2*d = v + 12, 0 = 3*v + 5*d - 22. Suppose k = 5*a - 0*a + 1, v = -2*k + 4*a. Is 7 a factor of 729/18 + (-6)/k?
True
Suppose 241*g - 64*g - 5734800 = 0. Is g a multiple of 54?
True
Suppose 6*u + 4 = 124. Let g(f) = 2*f**3 - 40*f**2 + 17*f - 50. Is 6 a factor of g(u)?
False
Does 20 divide (505/21 - (-6)/21)/((-28)/(-4032))?
False
Let o(y) = 6473*y - 15604. Is o(8) a multiple of 27?
True
Let x(v) = -v**2 + 26*v - 57. Let k be x(23). Let q(z) = -3*z + 87. Does 17 divide q(k)?
True
Let f = 9738 + -1698. Is 10 a factor of f?
True
Suppose o - 3*v + 220 = 0, -3 = v + 2. Let w = o + 646. Suppose 156 = -5*n + w. Does 12 divide n?
False
Suppose 0 = -202*r + 201*r + 5*q + 2678, -2694 = -r - 3*q. Is 14 a factor of r?
True
Suppose 1 = -u - 5. Let d be (16/u)/(5/(-3) + 1). Suppose -9*n + 150 = -d*n. Is n a multiple of 3?
True
Let p = 1752 - 1272. Is 16 a factor of p?
True
Is 27 a factor of 42/(-14) + (115908/(-3))/(-7 + 5)?
False
Is 1173 - 1/2*(-8)/36*-9 a multiple of 4?
True
Let b = 277 - 300. Does 24 divide (-12)/(-5)*(b + 143)?
True
Let z(j) = -j**3 - 11*j**2 - 4*j + 8. Let r(n) = -n**3 - 10*n**2 - 3*n + 7. Let d(t) = 5*r(t) - 4*z(t). Let p be d(-6). Does 4 divide (p/5)/(88/90 - 1)?
False
Let z(r) = r**3 - 51*r**2 + 147*r - 94. Is z(51) a multiple of 27?
False
Let x(j) = -3454*j + 2314. Is 150 a factor of x(-5)?
False
Suppose 12 = -5*m - 2*q, 3*m = 5*q - 4 + 3. Let j be -1*m/(-2) - (-363 + 1). Let d = j + -157. Does 18 divide d?
False
Suppose 0*d + 2*d = 4*r + 14, -5*r - d - 28 = 0. Let k be ((-96)/20)/(r/50). Suppose -82 - k = -o. Is o a multiple of 34?
False
Let b(z) = -3*z + 68. Let w be b(20). Suppose -132 = -3*s - 3*g, w*s - 12*s + 3*g = -148. Does 5 divide s?
True
Suppose -4*a + 5 - 337 = 0. Let q = a - -85. Suppose -5*l - 11 = -h, -q*l - 5 = 3*l. Is 4 a factor of h?
False
Let u be (-6)/((-12)/(-10)) - 1. Let z(y) = -7*y - 12. Let v(o) = -1. Let m(r) = 6*v(r) + z(r). Does 9 divide m(u)?
False
Suppose -2*s + j = 4, s + 4*j - 16 = -2*s. Let r be 2 - (1 + -1 + -1). Suppose r*u - 360 + 117 = s. Is u a multiple of 19?
False
Suppose 0 = 32*d - 42*d - 10. Let r(v) = -49*v + 2. Is r(d) a multiple of 7?
False
Let x be (3 - 3)/(-3 - -4). Suppose -3*n + 3*c + 339 = x, -2*c + 105 = n + c. Suppose 4*p = -n + 451. Is 22 a factor of p?
False
Let f be (-4)/10 + (-72)/(-30). Suppose -11*o = -f*o. Suppose o = -4*y + 2*x + 122, 3*x = 2*y - 6*y + 147. Is y a multiple of 33?
True
Let p(u) = u**3 + 31*u**2 - 84*u - 29. Is 26 a factor of p(-28)?
False
Let j = 22830 + -12491. Does 146 divide j?
False
Let u(l) = 2*l**2 - 7*l - 9. Let q be u(10). Suppose 598 = -q*w + 123*w. Is 23 a factor of w?
True
Let r(o) = o**2 + 2. Let y be r(-4). Let u be (-45)/y*8/(-5). Suppose 4*i - 2*x - 112 = 0, 101 = u*i - 5*x - 5. Is i a multiple of 5?
False
Suppose 0*f + 141 = 5*