 -m + o. Is y a multiple of 17?
True
Suppose -5*l + 61 = -4*w, -2*w - 2*w - 16 = 0. Let s = l + -7. Suppose -38 = -5*y + s. Does 4 divide y?
True
Suppose -1232 = 5*y + 23*y. Is 2 a factor of 89 - ((-8)/44 + (-8)/y)?
False
Let r be (0 - 14) + (-3)/3. Let p = 1287 - 1184. Let j = r + p. Is j a multiple of 17?
False
Suppose -x = 5*l - 7645, -17*l - x = 1780 - 27761. Is l a multiple of 4?
True
Let k = -229 - -272. Let h(t) = 24*t - 122. Is 26 a factor of h(k)?
True
Suppose -99*g + 83412 = -47*g - 24*g. Is g a multiple of 193?
False
Suppose h - 44 = 3*k + 53, k + 399 = 4*h. Let b = -93 + h. Is (-4 + b)*(205/(-3))/(-1) a multiple of 13?
False
Suppose -6*g - 2*g = -208. Suppose 0 = g*l - 44*l + 1872. Is l a multiple of 11?
False
Suppose 36 = w - 19. Let x = w + -50. Suppose -x*s - 7 = 7*t - 8*t, -15 = -5*s. Does 15 divide t?
False
Let s = 10935 - 9664. Is s a multiple of 17?
False
Let w(p) be the second derivative of p**4 - 17*p**3/2 - 29*p**2/2 + 4*p + 22. Does 12 divide w(14)?
False
Is 12 a factor of 2078016/288*(-1 - 33/(-6))?
False
Suppose 68*s + 115 = 63*s. Let g be ((-9)/(-2))/(s/230). Let x = 90 + g. Is x a multiple of 14?
False
Let q be 12238/12 - (-14)/84. Suppose 9*f + 4*g = 7*f + q, -5*f - 4*g + 2550 = 0. Is f a multiple of 102?
True
Does 27 divide (-2173920)/(-220) + 1/((-11)/(-6))?
True
Let y(k) = k**2 - 12*k + 5. Suppose -3*i = -2 + 11. Let p(a) = -11*a + 6. Let h(c) = i*p(c) + 2*y(c). Does 16 divide h(-10)?
False
Let x = -31145 - -56178. Does 117 divide x?
False
Suppose -57375 = -38*f - 11433. Is f a multiple of 6?
False
Suppose -2*p - 146 - 1021 = -5*y, -1170 = -5*y + 5*p. Let z = 939 - y. Is z a multiple of 102?
False
Suppose -2*i + g = -1706, 22*i - 4285 = 17*i + 5*g. Is i a multiple of 11?
False
Let v(m) = 3*m**2 + 56*m + 55. Let o be v(-1). Suppose 4*g + o*x = -g + 2380, 2*g - 952 = -x. Does 17 divide g?
True
Let f(k) = -k**3 + 16*k**2 + 4*k + 75. Suppose 3*i + 4*v - 55 = -v, 25 = i + 3*v. Is 65 a factor of f(i)?
True
Suppose -4*b = 3*h - 419 + 119, 5*b + 4*h = 376. Is b a multiple of 18?
True
Let r(n) = 3*n**3 + 8*n**2 + n. Let d be r(-3). Let i = 109 + -49. Let c = d + i. Does 12 divide c?
True
Let v(p) = p + 78. Let z be v(-21). Is 9 a factor of 7/(0 + 3/z)?
False
Suppose 0 = -3*i + 4*i + 6. Let b(n) = -n**3 - 4*n**2 + 10*n + 11. Does 9 divide b(i)?
False
Let k be (511/35 + -13)/((-2)/(-15)). Is (-8)/((-64)/k)*762 a multiple of 37?
False
Let v(u) = u**2 + 22*u + 43. Let r be v(-20). Suppose 0 = 2*w + r*w - 5*z - 55, -3*w + z = -25. Suppose 0*s = -w*s + 252. Does 4 divide s?
True
Let r be 25/(-35) - (-79)/(-7). Is (r - -7) + 11416/8 a multiple of 79?
True
Suppose 243*c + 290324 = -12*c + 2446349. Does 89 divide c?
True
Let k be (-9)/(45/(-10)) - -953. Suppose 5*q = 485 + k. Is 24 a factor of q?
True
Let i be 3/(5*6/90). Suppose -399 = -i*p + 636. Is p a multiple of 20?
False
Suppose 88 = -5*u + 23. Let h(d) = -3*d - 36. Let p be h(u). Suppose 270 + 190 = 2*t - p*r, 220 = t + r. Is 46 a factor of t?
False
Let m = -2553 + 4185. Is 32 a factor of m?
True
Suppose 3*j = 5*j + 44. Does 33 divide 3*2/3 - 7260/j?
False
Let y(f) = -11*f + 33. Let c(b) be the third derivative of -13*b**4/24 + 16*b**3/3 + 22*b**2. Let r(v) = 5*c(v) - 4*y(v). Is 28 a factor of r(-8)?
True
Suppose j + 6*j = 18655. Suppose -48*t + 2903 = -j. Is t a multiple of 29?
True
Let z(m) = -2*m + 8. Let t be z(11). Let b be 10/6*(-11 - t). Suppose -8*h = -b*h - 309. Is h a multiple of 11?
False
Let f be (42/(-56))/(2/(-1200)). Suppose -f = -4*n - o + 679, -3*o = -3. Suppose -138 = -12*j + n. Does 12 divide j?
False
Let o be (-8 + 11 + -2)/(1/(-3)). Let y(k) = -87*k + 35. Is y(o) a multiple of 18?
False
Suppose 0 = 6351*q - 6345*q - 9702. Is q a multiple of 77?
True
Let c(w) = -100*w + 24. Suppose -3*h = 4*v + 31, -3*h + 5*v - 2*v - 24 = 0. Is c(h) a multiple of 28?
True
Let k be 160/20*(-262)/(-8). Suppose 0 = 4*f + 4*s - 1092, s = -4*f + 836 + k. Is f a multiple of 22?
False
Let d be (-66)/44*(-1 - 3). Suppose -10*j = -d*j - 336. Is j a multiple of 21?
True
Is 2 a factor of (-16534)/56*-6*(1 + 1)?
False
Let y = 14509 - 9089. Does 20 divide y?
True
Let j = 4140 + 6471. Is j a multiple of 27?
True
Let w = 7854 + -6913. Is 63 a factor of w?
False
Let d = -1854 + 2811. Suppose -4*x - 3*w = -d, -4*w - 2 = -2*w. Is 20 a factor of x?
True
Let r = -110 - -106. Let u(p) = 37*p**2 - p - 2. Is u(r) a multiple of 12?
False
Let k = -133 - -137. Suppose 0 = k*i - 2*t - 1464, -5*t + 167 = 2*i - 541. Is 28 a factor of i?
True
Suppose 6*v + 9933 = 9*v + 3*h, h = 2*v - 6622. Does 43 divide v?
True
Suppose 4*y - u = 4*u - 5, -3*u + 3 = 0. Suppose 5*a = -3*l + 300, y = 3*a - 4*l + l - 204. Let b = a + -3. Does 10 divide b?
True
Let n = -16433 + 23153. Is n a multiple of 112?
True
Let z be -3 + 7/(7/128). Let b be -2 + (7 - (-368)/4). Suppose -b = -126*t + z*t. Is 4 a factor of t?
False
Let x be (-1708)/(-84) - (-1)/(-3). Suppose 49*z - x*z - 17400 = 0. Is 12 a factor of z?
True
Let x = 39821 - 22561. Is x a multiple of 20?
True
Suppose 4*u - 45*j = -49*j + 9032, 11284 = 5*u + 2*j. Is u even?
True
Suppose 8*z = 7*z + d + 1984, 0 = 3*z - 5*d - 5956. Suppose -490 = -12*q + z. Does 7 divide q?
False
Suppose -4*n - 4*v + 816 = -0*v, 0 = -4*n + v + 801. Suppose 5*c - 464 = n. Does 29 divide (c/(-7))/((-1)/5)?
False
Suppose 0 = 5*a - 1565 - 1550. Suppose 9*y = 16*y - a. Suppose -7 = -4*n + y. Does 12 divide n?
True
Let s be ((-576)/(-10) - 1) + (-44)/(-110). Let y = s + -52. Suppose 6*t - 4*t = -3*h + 134, -5*t + 215 = y*h. Does 6 divide h?
True
Suppose 4*a = -5*o - 8291, -3*o - 11*a - 4973 = -9*a. Let x = -915 - o. Is x a multiple of 10?
True
Let y = -29 + 37. Suppose 0 = r - y - 14. Suppose r = 4*v - 102. Is 14 a factor of v?
False
Suppose 8833*n - 8851*n + 200442 = 11658. Does 38 divide n?
True
Is (-8)/(22840/2856 + -8) a multiple of 68?
True
Let m(l) = -53*l**2 - 2*l + 1. Let u be m(-2). Let h = 678 + -981. Let p = u - h. Is 27 a factor of p?
False
Let b(a) = -15*a + 70. Let g(i) = -75*i + 345. Let r(f) = -33*b(f) + 6*g(f). Is r(38) a multiple of 35?
True
Let q(w) be the third derivative of 0*w + 23*w**2 + 19/24*w**4 + 0 - 1/3*w**3. Is q(1) even?
False
Let t be (-78)/10 + 3/(-15). Let a be (1 - -1)/t + (-90)/(-8). Suppose 0 = -8*r + a*r - 639. Is r a multiple of 43?
False
Let k(f) = -25*f**2 + 23 - 20 + 308*f**2 + 691*f**2 - f. Let w be k(1). Suppose 4*h + 2*v - w = 0, h + v = -3*h + 980. Is 41 a factor of h?
True
Let b(s) = s**2 + 23*s - 310. Does 34 divide b(-46)?
True
Let n be 0/6 + 5 + 0. Let k be (2/(-4))/(n/1290). Let z = -33 - k. Does 32 divide z?
True
Is (-210)/(-140) - (-29850)/4 a multiple of 12?
True
Let j = -23 + 7. Does 24 divide j*(-2 - (-11)/(-2))?
True
Let o(b) = -b**2 - 2. Let q be o(2). Let u(t) = -8*t**2 - 159*t + 21. Let f be u(-20). Does 9 divide f/(q/(-24)) - (1 - 145)?
False
Let z = -208 + 7822. Is 47 a factor of z?
True
Suppose -901 - 4071 = -z. Is 11 a factor of z?
True
Let p = 4259 - 4003. Let y be 8*(2 - 1) - 0. Suppose -y*l + p = -4*l. Is l a multiple of 16?
True
Let h = 132 + -49. Suppose -2*r - 243 = -5*o, -2*o + 2*r = 3*r - 90. Let t = h - o. Is t a multiple of 7?
False
Let h(k) be the first derivative of k**6/40 - k**4/4 - 26*k**3/3 + 19. Let w(s) be the third derivative of h(s). Is 5 a factor of w(-2)?
True
Let o be 2 + (-4194)/(-10) + 6/10. Suppose -13*n + o = -4063. Does 69 divide n?
True
Let z(s) = -35*s**3 + 96*s - 88*s - s**2 + 15 + s**2. Is z(-2) a multiple of 9?
True
Let w = -9494 - -15099. Is 95 a factor of w?
True
Let f(b) = -260*b + 291. Is f(-18) a multiple of 8?
False
Let k = 6 + -18. Let a(o) = o**2 + 13*o + 17. Let q be a(k). Suppose q*p = 237 + 123. Does 18 divide p?
True
Let w(t) = 56*t + 71. Let b(s) = 8*s - 48. Let g be b(7). Does 10 divide w(g)?
False
Let i(g) = 60*g**2 - 3*g + 4. Let k(p) = -5*p - 4 - 7*p + 14*p - 59*p**2. Let v(l) = -6*i(l) - 7*k(l). Does 26 divide v(-2)?
True
Is ((1188/(-8))/9)/(43/(-26058)) a multiple of 17?
False
Suppose 59436 = 14*t + 674 + 382. Is t a multiple of 5?
True
Let c(j) = -9*j**3 + 16*j**2 - 16*j + 56. Is c(-8) a multiple of 19?
False
Let k = 13 - -230. Let i = k + -27. Is i a multiple of 12?
True
Let u(h) = -h**3 - 27*h**2 + 11*h - 200. Is 104 a factor of u(-28)?
False
Let v = -46229 + 102225. Is v a