 2*c + 7931, -498*y + 502*y - 31739 = 3*c. Does 3 divide y?
False
Suppose 2*l - 2828 = -4*v, -11*l = -34*v + 33*v + 638. Does 10 divide v?
False
Let h be 0 - -1 - (-16 - -20) - 11. Is (138/(-5))/(h/525) a multiple of 45?
True
Suppose -8*n + 13*n = 3*t + 196, 0 = -4*n + 3*t + 155. Suppose 44*i - 192 = n*i. Suppose i = -17*m + 18*m. Is 3 a factor of m?
False
Suppose 15*o = -19*o + 238. Suppose a = -5*t + 275, -o*a + 11*a = 5*t + 1150. Is 19 a factor of a?
True
Let q(n) = -2333*n - 653. Does 115 divide q(-3)?
False
Let j be 18 - 0*(-2)/(-10). Let d be 4/j + (-11)/((-99)/16). Suppose -182 - 8 = -d*z. Does 19 divide z?
True
Let p = -4371 - -5811. Is p a multiple of 3?
True
Let a = 393 - 628. Let t = 45 - a. Let f = -160 + t. Is f a multiple of 20?
True
Is 44276 - 119/(-51)*(-24)/56 a multiple of 275?
True
Suppose 276 = a - 3*o, 1119 = 4*a + 3*o - 10*o. Does 61 divide a?
False
Let a(i) = i**3 + 12*i**2 - 11*i + 17. Let t be a(-13). Let b = 1 + t. Let o(p) = -12*p - 16. Does 40 divide o(b)?
True
Suppose -49 = -u + n, -u - 2*u + 143 = n. Suppose 0 = 46*h - u*h + 450. Suppose 120*d = 115*d + h. Is d a multiple of 11?
False
Suppose 46*j - 84 - 54 = 0. Suppose -5*f + 234 + 145 = j*r, -4*f = 5*r - 623. Is r a multiple of 41?
True
Suppose -12 = -i + 5*u, -2*i + 22 = 5*u - 2. Suppose i*n - 1275 = 1173. Is n a multiple of 17?
True
Let q be (5 - 20/4)/1. Suppose q = 11*b - 15*b + 1368. Is b a multiple of 19?
True
Suppose -u + 3 = -6. Suppose 3*o + u = 0, q = 3*q - 4*o - 24. Does 19 divide (q*(-95)/10)/(-1)?
True
Let s = -4380 + 21712. Does 14 divide s?
True
Let l be 5/15 + (-126)/(-27). Is 3 a factor of 4 + (l - (66/(-3) + -2))?
True
Suppose h + 4*k + 20 = 2*h, h + 10 = -2*k. Suppose h = -3*c - 4 + 13. Suppose c*y - 62 - 13 = 0. Is y a multiple of 8?
False
Let a = 178 + -87. Suppose 0 = 4*b - a + 19. Is 1300/b + (-2)/9 a multiple of 36?
True
Let n = -27 + 32. Suppose -152 - 928 = -n*c. Suppose -5*w - w + c = 0. Is 19 a factor of w?
False
Let c(b) be the third derivative of -61*b**7/5040 + b**6/144 - b**5/30 + 32*b**2. Let w(h) be the third derivative of c(h). Is w(-4) a multiple of 12?
False
Let d be 308/49 + 6/(-21). Suppose 0 = x - 2*h - 2, -x - 1 = -3*x + h. Suppose d*a - 43 - 347 = x. Is 23 a factor of a?
False
Suppose 22*g - 26*g + 14528 = 2*w, -3*w + 10893 = 3*g. Is 71 a factor of g?
False
Does 209 divide 531274/62 + (690/465)/23?
True
Let o be ((-3)/(-2))/(2/(-436)). Let x = 497 - 681. Let n = x - o. Is 18 a factor of n?
False
Does 9 divide 1*-4*(-5174)/39*6?
False
Suppose -40 = -2*i + 4*t, 0 = 3*i - 5*i - 4*t + 16. Suppose 15*m = i*m + 427. Suppose -247 = -3*g - 4*b, -b = -g - 4*g + m. Is g a multiple of 50?
False
Suppose 2*a + 5*x = -3, -2*a - 3*x - 4 = -3*a. Suppose 0 = -l - 5, 3*l - a + 0 = -4*h. Is (21*-1 + 3)*h/(-6) a multiple of 9?
False
Let r be ((-16)/3 - -2)/(2/6). Let d be (-22)/r + 22/(-110). Is 3 a factor of -3*(-54)/(6/d)?
True
Suppose -26*c + 22*c = -33728. Does 62 divide c?
True
Let l = -691 + 1139. Let j = 1440 - l. Does 16 divide j?
True
Let g(i) = i**2 - 8*i + 12. Let h be g(6). Suppose h = -4*z - 130 - 370. Let a = -102 - z. Is a a multiple of 12?
False
Let t = -4 + 772. Suppose -4*y = 128 - t. Is y a multiple of 10?
True
Does 127 divide (-39)/429 - (1/2 + 553238/(-44))?
True
Let p be (-16)/(-72) + (-1076)/(-18). Suppose -23*i - p = -22*i. Let u = 262 + i. Is u a multiple of 23?
False
Suppose -26 + 26 = -2*g. Suppose g = 7*q + 2*q - 1098. Suppose -3*d + 364 = -q. Is 27 a factor of d?
True
Suppose 4*b = 5*t - 149, 37*t - 4*b = 38*t - 1. Let u(x) = x**3 - 13 + 15*x + 10*x**2 - 36*x**2 + 13*x. Is 26 a factor of u(t)?
False
Does 29 divide -13*(1808/(-52) - 6)?
False
Let h = -4716 + 5436. Is 19 a factor of h?
False
Let j(v) = -v**3 + 25*v**2 + 66*v + 60. Let p be j(28). Is 56 a factor of -8 - p*24/9?
True
Suppose -15 = -p + 6*p + 4*f, 0 = 2*p - 3*f - 17. Suppose -p = 5*u - 26. Let s = u - 0. Does 5 divide s?
True
Let z = -32 + 52. Let u(r) = 24*r - 19. Is 21 a factor of u(z)?
False
Let i(b) = 2*b + 83. Let l be i(0). Let w = -81 + l. Suppose 2*h = -u + 47, -w*h + 0*u = -u - 53. Does 5 divide h?
True
Let o(z) = 33*z + 84. Suppose -25*q + 368 + 132 = 0. Is o(q) a multiple of 31?
True
Suppose -3*k + 3899 = -v, 13*k + 3*v = 9*k + 5216. Does 57 divide k?
False
Suppose 2*h - 1824 = -4*l + 1108, 0 = -2*h - l + 2929. Suppose 8*u - h = 3272. Is u a multiple of 37?
True
Suppose -26 = -4*v + 3*z, 0 = -v + 3*v - z - 12. Suppose -v*g - 3*g + 208 = 0. Suppose -4*x + g = -46. Does 5 divide x?
False
Let g be 1 + -87 + 3 + -4. Let d = g + 179. Suppose -d = -2*o + 5*x, 200 = 5*o - 2*x - 3*x. Is o a multiple of 6?
True
Let y(g) = -14 + 427*g + 40 - 220*g + 22 + 5. Is y(1) a multiple of 3?
False
Is (-51866423)/(-2212) - (26/(-8) + 1) a multiple of 35?
True
Suppose h + 36 - 40 = 0. Let d be (-24)/(-16)*h/3. Suppose -2*k + d = -42. Does 8 divide k?
False
Let w = 2082 + -1854. Is 57 a factor of w?
True
Let v(l) = l**2 + 5*l - 2. Let i(d) = 1. Let b(p) = 3*i(p) - v(p). Let y be b(-6). Is y/(-5) - (-4351)/95 a multiple of 11?
False
Suppose 34*q - 31*q = 15. Suppose 2*z - q*k = 99, -4*k = -z + 74 - 23. Let f = 63 - z. Does 4 divide f?
True
Suppose z = -r - 3, -5*r - 9 = 5*z - 6*r. Let n be (z/7)/(2/(-14)). Suppose -4*c + 80 = n*v, -75 - 73 = -4*v - 2*c. Is 36 a factor of v?
True
Let y be (-580)/87*(-6)/4. Let k be (2752/(-80))/((-4)/y). Does 24 divide k + 14 + (-4 - 0)?
True
Let p be (-7 - -8)/((-3)/(-9)). Suppose 0 = -5*k + g + 2020, 0*g = p*g. Is 29 a factor of k?
False
Let w be 5*(12/(-5) + 3). Suppose 5*d - 2*p + 73 = p, w*d + 38 = -4*p. Let m = -6 - d. Is 2 a factor of m?
True
Let k(v) be the third derivative of -v**5/30 + 25*v**3 - 55*v**2. Does 6 divide k(0)?
True
Let q(y) = -91*y + 4033. Is 72 a factor of q(-75)?
False
Let k = -92 + 89. Let i be -5 - (-5)/k*-3. Suppose -4*h = -0*x - 4*x - 880, -3*h + 2*x + 656 = i. Is 24 a factor of h?
True
Let o(u) = -u**3 + 6*u**2 - u + 6. Let m be o(6). Suppose m = -j - 8 + 11. Suppose -5*k + 7 + j = 0, -f + 5*k = -110. Does 12 divide f?
True
Let l(g) be the first derivative of g**3/3 - 2*g**2 - 47*g - 75. Does 6 divide l(17)?
True
Suppose -5*b + 2125 = -5*o, 2*b - 308*o - 850 = -310*o. Is b a multiple of 17?
True
Suppose -s - 2 = 42. Let i = 53 + s. Is 8 a factor of 3*(7 + -4 + i)?
False
Let d(i) = -10*i - 20. Let y be d(-3). Suppose -1006 = y*z - 4146. Does 25 divide z?
False
Let j = -178 + 180. Suppose -2*b + 78*u + 114 = 83*u, j*b - 98 = -u. Does 7 divide b?
False
Let j(u) = -6*u + 36. Let l be (122/(-4))/((-4)/(-8)). Let y = -64 - l. Does 6 divide j(y)?
True
Suppose 734522 = 15*o + 14*o - 1199488. Is 57 a factor of o?
True
Suppose 0 = -2*h - 4*z + 15278, -5*z + 22922 = 31*h - 28*h. Does 32 divide h?
False
Let a be 4/14 - ((-741)/(-21))/(-13). Is ((-624)/(-18))/(a - 25/9) a multiple of 52?
True
Suppose -3136389 - 271659 = -184*z. Is 14 a factor of z?
True
Let t(h) = 24*h - 3. Let g be t(-12). Let w = 444 + g. Let y = w + -103. Is 22 a factor of y?
False
Let u = 1273 + -753. Let m = -232 + u. Is -1*(m/(-3) + 3) a multiple of 31?
True
Let l(c) = 11*c**2 + 0*c - 26 + 5*c + 12*c**3 - 11*c**3 + 2*c. Let a be l(-10). Does 3 divide (-8)/2*a/((-32)/60)?
True
Suppose -17 = 4*t - 45. Let y be ((-4)/(-3))/(t/21). Suppose 4*h = -0*j - j + 32, -5*h = -y*j - 40. Is 8 a factor of h?
True
Suppose 10*s - 955 = 3*j + 5*s, -2*j - 640 = -4*s. Let l = -196 - j. Is l a multiple of 3?
True
Suppose 0*t + 385 = -11*t. Let w = t + 4. Let m = w + 37. Is 2 a factor of m?
True
Suppose h = 4*m - 4, -3*h = -4*m - 5 + 1. Suppose -1783 = -3*s + h*v, s - 3*v - 2990 = -4*s. Does 50 divide s?
False
Suppose -7*m + 10*m = -3*h - 495, 4*m + 685 = h. Let i = 298 + m. Does 7 divide i?
False
Let r = -3 - -4. Let h be (2 + -3)/(r/(-11)). Let t(x) = x - 5. Does 6 divide t(h)?
True
Let a(c) = 2*c**2 + 39*c + 14. Let h = -476 + 446. Does 28 divide a(h)?
True
Is 55 a factor of (-1 - (0 - 0))*(-117 - 6978)?
True
Let w(t) = 13*t - 4. Suppose -5*z = -4*z - 1. Let m be w(z). Is m/(-15) + (-76)/(-10) a multiple of 2?
False
Suppose -2*q + 1735 = 3*q + 5*a, q - 4*a = 327. Let f = -238 + q. Is f a multiple of 7?
True
Let g = 2225 + -1333. Let w = g + -269. Is w a multiple of 7?
True
Let k(c) = 12*c**2 + 102*c + 950. Is 5 a factor of k(-27)?
False
Let a(r) = r**2 -