 + 3*m - 10 = 2775. Does 38 divide h?
True
Let f be -1*4/(4 - 0) + -13. Let d(y) = -37*y + 34. Let k be d(f). Suppose k = 5*v - w, v - 5*w = 4*v - 320. Is v a multiple of 22?
True
Let f(r) = -9*r - 8. Let u(p) = p**2 + p + 1. Let v(s) = -f(s) - 3*u(s). Let h be v(-3). Does 13 divide 15*9/((-108)/h)?
False
Suppose -39 = 5*f + 4*m, 2*f = 7*f - m + 34. Let w(u) = -4*u - 25. Let k be w(f). Suppose -84 = -2*g + k*q + q, -129 = -4*g - 5*q. Does 15 divide g?
False
Suppose 2*v - 5*a = 50 - 20, 3*v = -a + 45. Let k = v + -11. Is 13 a factor of (-4 - 114/k)*-2?
True
Suppose -4*l = 3*a - 26, -5*l + 0*a + a = -23. Let y(g) = -38*g + l*g - 4 - 34*g. Is 42 a factor of y(-3)?
False
Suppose 2*u + 2 = -22. Let g be -3*((-16)/u - 2). Suppose f - 99 = -g*v + 40, -4*v + 287 = 5*f. Does 34 divide v?
True
Suppose -18 = 3*m + 3*q, 2*m - 3*m - 2 = 5*q. Let t(c) = 30*c**2 + 20*c + 30. Does 125 divide t(m)?
False
Suppose -14 = -21*j - 182. Let u(d) = -35*d - 120. Is u(j) a multiple of 5?
True
Let n be 18 + -16 - (-2)/2. Suppose 0 = -2*c + 4*k + 348, n*c + 5*k - 39 = 483. Does 16 divide c?
False
Let d(o) = -2*o**3 + 2*o**2 + 4*o + 3. Suppose -3*h + 2*b = 12, -h + b = -0*h + 5. Is d(h) a multiple of 5?
False
Suppose 0 = -2*s + 5*h - 146, 0 = 5*s + h - 2*h + 319. Let p = s + 67. Does 5 divide (468/(-20) - -3)/(p/(-10))?
False
Let u(f) = 30*f**3 - 11*f**2 + 17*f - 26. Is 11 a factor of u(5)?
False
Suppose 836 = 14*t - 21844. Suppose 977 = 7*f - t. Is 7 a factor of f?
True
Let m(r) = -3*r**3 - 198*r**2 - 59*r - 57. Is m(-66) a multiple of 146?
False
Let b(c) = 4*c**2 + 286*c + 15. Is 5 a factor of b(-74)?
True
Let u = -2301 + 3433. Does 3 divide u?
False
Let l(n) = -n**2 + 65*n - 130. Let z be l(31). Is (10/10)/(4/z) a multiple of 21?
True
Let w be (-6 + -2 + 6)*(-5)/2. Suppose -3*d - 17 = -2*h, 7*h - w*h - 2 = -2*d. Does 27 divide 31 - (h + 4)/2?
True
Let k(d) = -d**3 - d**2 - 2*d + 6. Let v be k(5). Let o = v - -753. Suppose -5*i = 2*w - 232, -5*w + i = 4*i - o. Is w a multiple of 11?
True
Suppose 28*x - 241 = 235. Suppose -x*f + 12*f + 635 = 0. Is 46 a factor of f?
False
Let s = -1619 + 5382. Suppose 15*u - s - 257 = 0. Does 17 divide u?
False
Suppose 3*u - 2*u + g + 413 = 0, -5*u = 4*g + 2070. Let q = -141 - u. Is q a multiple of 6?
False
Let a(v) = 222*v**2 + 7*v + 6. Is 55 a factor of a(-2)?
True
Let k be 50/125 - 13/(-5) - -229. Let h = k - -125. Is 17 a factor of h?
True
Let v(i) = i**3 + 8*i**2 - 8*i - 1. Let r be v(6). Suppose r = 4*s - 11*s. Is (-1 + s + 0)/((-7)/21) a multiple of 22?
True
Suppose -5*i + 15 = 3*w - 16, -25 = -5*i. Suppose 2*o = -2*t - 0*o + 600, w*o - 895 = -3*t. Is t a multiple of 59?
True
Does 14 divide 2/10 + 393/(-20)*(163 + -215)?
True
Let w(b) = 5016*b + 261. Is w(3) a multiple of 27?
True
Suppose -208*d + 60390 = -199*d. Does 15 divide d?
False
Suppose -79827 = -11*i + 22203 + 3702. Is 31 a factor of i?
False
Let a(o) = -92485*o**3 + 92484*o**3 - 7*o + 0*o**2 - 7 - 4*o**2. Suppose -z + 2*p - 4 = 0, 0 = -0*z + 2*z + 4*p + 16. Is a(z) a multiple of 49?
False
Let a be 4490/4*(-6 + 32/5). Let j = a + -366. Is j a multiple of 7?
False
Let a = 9413 + -7199. Is 54 a factor of a?
True
Let k = 27 - -2. Let s = -25 + k. Suppose s*g - f = -3*f + 170, -4*f = -4. Is 14 a factor of g?
True
Is -26*20/(-104) + (-4)/((-12)/89073) a multiple of 16?
True
Let k(o) be the first derivative of o**3/3 + 10*o**2 + o + 66. Is k(-28) a multiple of 15?
True
Let x be (-140)/(-25) - (-6)/(-10). Let q = -87 + 130. Suppose -q = -x*s + 167. Is 7 a factor of s?
True
Suppose 5*o = -3*n + 238, -3*o - 4*n + 30 = -115. Suppose 5*u - 2*z - 101 = 0, -7*u + o = -5*u - 3*z. Does 2 divide u?
False
Does 33 divide ((-745)/(-5))/((-57)/(-11286))?
True
Let b(c) = -5*c**2 - 11*c - 14 - 6*c**2 - 4*c**2 + 5*c**2. Let v be b(-6). Let u = -184 - v. Is u a multiple of 22?
False
Does 109 divide 137/(-3014) + 155871/22?
True
Let j = -1053 - -6818. Is j a multiple of 6?
False
Is -4*4*((-694)/5)/((-112)/(-70)) even?
True
Let a = -28 + 94. Let r = a + -133. Let s = -42 - r. Is s a multiple of 6?
False
Suppose 2*o - 36 + 12 = 0. Let c be ((-6)/(-8))/(3/o). Suppose q = 2*n - c*n + 107, -337 = -3*q + n. Is 14 a factor of q?
False
Is 2 - ((-205280)/6 + 336/(-504)) a multiple of 182?
True
Let r(c) = -31*c + 712. Is r(7) a multiple of 33?
True
Does 15 divide (31 + (25 - 26))/(2/950)?
True
Let q(g) = 4201*g**2 - 251*g + 2. Does 19 divide q(1)?
True
Suppose 1338 = 5*v - 2172. Let c be (56/(-12) - -2)*-3. Is v/c - 6/8 a multiple of 29?
True
Let u(n) = -23*n**2 + n**3 - 21 + 14*n + 3 + 16*n**2. Let z be u(5). Suppose z*j - 8*j = -756. Does 18 divide j?
True
Let w(j) = 6*j**2 + 107*j + 152. Let g be w(-17). Suppose 0 = 5*a - 2*a - 543. Let d = a - g. Is d a multiple of 17?
False
Suppose 103*o + 960042 = 2785202. Does 40 divide o?
True
Let k be (((-12)/3)/(-4))/(3 - 4). Let b(n) = 109*n**2 + n. Does 18 divide b(k)?
True
Suppose 4*l = 3*w - 0*l - 68566, 8*w - 182747 = -3*l. Does 30 divide w?
False
Does 36 divide ((-684)/266)/(2/(-2688))?
True
Suppose -9*h = -6012 + 2484. Is h a multiple of 7?
True
Let v be ((-5)/(-2))/((-11)/154). Let x = v + 39. Suppose o = x*j + 22, -4*o - 2*j + 48 = 2*j. Is o a multiple of 7?
True
Suppose -3*h - 16 = -4*k + 10, 2*k - 2*h = 12. Let i = k - 5. Suppose -20 = -z - 0*z - i*n, 0 = -5*z + 2*n + 32. Is 5 a factor of z?
False
Let c(b) = 2*b**3 + 13*b**2 - 9*b - 14. Let m be c(-7). Suppose m = -0*l + 12*l - 960. Is l a multiple of 24?
False
Let n = 37 - 87. Let b = n + 42. Does 16 divide (b + -4)/(3 + (-123)/39)?
False
Let g be (-3 + -5)*(-4 - 9/(-2)). Is (7 + 203/(-21))*717/g a multiple of 19?
False
Let a = 170 + -80. Let i be (-54)/5 + (-12)/(-15). Does 9 divide (a/8)/(-1 + i/(-8))?
True
Let r(m) = -13 - 41*m + 12 - 18. Let h = -647 - -644. Does 13 divide r(h)?
True
Let v = -1447 + 2264. Suppose -2*j = -5*d - v, -j - 2*d = 3*j - 1622. Is j a multiple of 9?
False
Let i(z) = -z**3 + 109*z**2 - 550*z + 157. Is 68 a factor of i(103)?
False
Let s be 2/16 + (-1295)/56. Let l = s - -25. Suppose k + 2*q = -2*k + 645, -k + l*q = -207. Is k a multiple of 41?
False
Suppose -145*m = -93*m - 78*m + 524836. Is m a multiple of 77?
False
Suppose -739*o + 778*o - 76284 = 0. Is o even?
True
Let g = 637 + -652. Does 55 divide (-1 + g/9)*(-3960)/8?
True
Let t(d) = -2455*d**2 - 1. Let m be t(-1). Is 25 a factor of 6 - (-45)/(-7) - m/14?
True
Suppose 5*d - 18 = -2*z, 3*d - 19 + 7 = 0. Let q(o) = -24*o**3 - 4*o**2 - 4*o - 2. Is q(z) a multiple of 3?
False
Let q(j) = j**2 - 6*j + 22. Let d be q(4). Suppose -d*s + 10 = -19*s. Does 18 divide (s + (-5)/(-2))*(5 + 67)?
True
Suppose 42*m - 37*m - 11522 = -2*t, -24 = 4*m. Does 152 divide t?
True
Let x(n) = -2*n**2 + 44*n + 16. Is 8 a factor of x(10)?
True
Let i(g) = g**2 - g - 1. Let f be i(3). Let r(q) = 3*q**2 - 13*q - 6. Let t be r(f). Suppose -t + 13 = 3*x - 4*k, 2*x - 3*k - 5 = 0. Is x even?
False
Let d(y) = 4*y**2 - 26*y - 5. Let a be d(14). Suppose -7*r + a - 128 = 0. Let j = r - -102. Is 33 a factor of j?
False
Suppose -f = 3*a - 3021 - 18525, a + 2*f - 7182 = 0. Does 3 divide a?
True
Let k = -58 - -54. Let c be 9/((-9)/(-248)) - k. Suppose -c = 23*o - 29*o. Is o a multiple of 3?
True
Suppose -4*i + 2*j = -11294, i - 7*j = -8*j + 2831. Does 51 divide i?
False
Suppose 5*z = f + 12840, -4*f = 11*z - 7*z - 10272. Suppose 4*x + 5*l - 2580 = 0, -4*x - 2*l + z = -0*l. Is x a multiple of 8?
True
Let m be (-9 - 1)*((-288)/(-15) - -2). Let r = m + 225. Does 11 divide r?
False
Let m = -111 - -119. Suppose -m*u + 11*u = 2*b + 62, 2*u - b = 41. Does 4 divide u?
True
Suppose h - 6932 - 845 = -3*u, 2*u = -2*h + 5186. Does 15 divide u?
False
Let o be 10/8 - 44233/(-28). Suppose 2*a - o = 5*d, -2*a - 3*d + 2509 = 952. Does 27 divide a?
True
Let i(c) = 9*c - 149. Let v be (96/20)/(-6)*-30. Does 40 divide i(v)?
False
Let m(w) = -4*w**2 - 5*w - 1. Let x(f) = -4*f**2 - 5*f - 1. Let z(v) = -7*m(v) + 6*x(v). Let k be z(-7). Suppose -2*i = i - k. Is 18 a factor of i?
True
Let y = -14518 - -28686. Does 11 divide y?
True
Let q(g) be the first derivative of 25*g**3/6 - 6*g**2 - 14*g - 19. Let h(c) be the first derivative of q(c). Is h(3) a multiple of 21?
True
Let s = 21 - 15. Suppose 6 = -s*q - 6. Is ((-52)/10)/(q/5) a multiple of 2?
False
Suppose 14*t - 196794 = -64*t. I