+ 2*r - a*h - 92 = 0, 0 = -2*r - 5*h + 34. Does 22 divide r?
True
Let j = -13464 + 19104. Is j a multiple of 40?
True
Let u be 2/12 - (-1783)/(-6). Let a = -288 - u. Is 4 a factor of a?
False
Let n(d) = -d**3 - 16*d**2. Let z be n(-16). Suppose z*h = 4*h - 2*k - 18, 5*k = 15. Is 26 a factor of (-17 + -2)*4*h/(-6)?
False
Is 5 a factor of 2*(-2)/(-74) - (-18455310)/5365?
True
Suppose -582*w = -549*w - 109032. Is 56 a factor of w?
True
Suppose 0*a - 2*a = -16. Let h(j) = a*j**2 - j**3 + j - 11*j**2 + 12 - 6*j**2. Does 8 divide h(-10)?
False
Let z(g) = 2*g**2 - 43*g + 23. Suppose 0 = -2*v - 2*t + t + 51, 5*v - 122 = 3*t. Is 20 a factor of z(v)?
False
Suppose -8*q - 5*w = -13*q + 9370, 3*w + 3750 = 2*q. Is 6 a factor of q?
True
Let s be ((-35)/(-25))/(4/20). Suppose -624 = -5*k - s*k. Does 25 divide k?
False
Suppose f - 6*f - 11*f = -76624. Is f a multiple of 17?
False
Let x = -1605 + 2841. Is x a multiple of 12?
True
Let f(p) = 3*p**2 + 14*p + 12. Let n be f(-6). Is (n/(-2))/((-1)/37) a multiple of 37?
True
Let w = -1832 - -3849. Does 10 divide w?
False
Let j be 1/((-174)/22 - -5 - -3). Suppose -68 = -3*n - y, 90 = -j*n + 16*n - 3*y. Does 9 divide n?
False
Let m(s) be the third derivative of s**6/120 + s**5/5 - 13*s**4/24 - 25*s**3/3 - s**2 - 71*s. Is 10 a factor of m(-8)?
True
Let h be (172/(-8) - 4)/((-18)/600). Let i = h - 367. Is i a multiple of 21?
True
Is 18 a factor of (-84)/(-70) - 8448/(-10)?
True
Is 18144/(-945)*(-450)/4 a multiple of 216?
True
Let c(a) = 3*a**2 + 2*a + 27. Suppose q + 4*m + 15 = 0, 0 = -3*q + 4*m + 3. Is c(q) a multiple of 4?
True
Let f(w) = w + 2. Let i(z) = -7*z - 67. Let g(b) = -5*f(b) - i(b). Let u be g(7). Let o = u + -17. Is o a multiple of 6?
True
Let c(z) = 29*z + 7. Let k be c(38). Let t = k - 558. Is t a multiple of 23?
False
Let h(j) = 3*j + 8. Let i be -3 + 6/(-9)*-6. Let u = i + 8. Is h(u) a multiple of 5?
True
Suppose -456*j + 28213 = 2*t - 457*j, -5*t + 3*j = -70529. Does 11 divide t?
False
Suppose 3*c + 44 = 5*c. Suppose -c = -5*n + 3. Suppose -5*g = 20, 0*d - n*d + 331 = g. Is 5 a factor of d?
False
Let x(s) be the first derivative of s**4/4 + 5*s**3/3 + 2*s**2 - 5*s - 183. Does 9 divide x(7)?
False
Let f(v) = v**2 + 6*v + 21. Let j be f(-12). Let z = j + 51. Is z a multiple of 16?
True
Let w(y) = -y**3 + 3*y**2 + 3*y - 6. Let t be w(3). Let l = 11 - -190. Suppose 2*x - l = -z, -t*x + z - 6*z + 305 = 0. Is 25 a factor of x?
True
Suppose 6*r - 1007 - 745 = 0. Let n = 332 - r. Is n a multiple of 16?
False
Suppose 460*g - 455*g - 4890 = 0. Let c = g + -698. Is c a multiple of 35?
True
Suppose t - 3*i - i + 8 = 0, 5*t = -i - 40. Is 2 a factor of 2/t*-218 - (-15)/10?
True
Suppose 39*g - 199213 - 41760 = -38563. Is g a multiple of 77?
False
Let g(p) = 3*p**3 - 6*p**2 - 9*p - 6. Let y be g(-3). Let w = 127 + y. Does 6 divide w?
False
Let g(u) = 6*u**2 - 29*u + 23. Let m(z) = 5*z**2 - 28*z + 22. Let b(y) = -6*g(y) + 7*m(y). Let i be b(-22). Suppose -6*l + i = -50. Is 3 a factor of l?
False
Let t(i) = -1. Let l(s) = -s**2 + 5*s + 27. Let b(y) = l(y) + t(y). Let u be b(8). Suppose -46 - 22 = -u*q. Is 17 a factor of q?
True
Suppose -11*q = 2*q - 65. Suppose 10*y = 5*y - q*t - 15, -4*t + 30 = -3*y. Is (270/(-35))/(y/28) a multiple of 18?
True
Let v(y) = y**2 - 5*y + 3*y - 8 + 0*y. Let a be v(4). Suppose -5*s + 20 = -s, a = z + s - 51. Does 8 divide z?
False
Let x be ((-18)/(-8))/(-2 - (-30412)/15200). Suppose -4*f - 3552 = -5*h, 0 = 18*h - 22*h - f + x. Does 18 divide h?
False
Let u(m) = 9 + 7 + 19 - 3*m + m**2 + 9. Is u(11) a multiple of 3?
True
Let q(u) be the first derivative of 14*u**2 + 40*u - 113. Does 8 divide q(10)?
True
Let k(h) = 686*h + 426. Is 9 a factor of k(2)?
False
Suppose 1414 = 4*w - 0*w - 2*q, -1043 = -3*w - 2*q. Does 12 divide w?
False
Let t = 9862 - 6687. Let f = t - 2265. Is f a multiple of 70?
True
Let a = -181 - -168. Let j = a + 70. Is j a multiple of 7?
False
Let o(z) = 19*z + 1. Let j be o(1). Let v be ((-16)/j)/((-6)/(-15)) + -386. Let i = -186 - v. Does 11 divide i?
False
Let a be (4 + 2 - 3)/1. Let z(p) = 2*p**2 + 3*p - 5. Let r be z(a). Suppose 0 = r*n - 26*n + 180. Is 15 a factor of n?
True
Let q = 8 - -94. Does 18 divide ((-170)/q)/(10/(-2988))?
False
Suppose -52 + 42 = 5*q. Let n be (196 + -2)/(-3 - q). Let u = n - -348. Is u a multiple of 22?
True
Let d(q) = q**3 + 23*q**2 + 41*q + 10. Let u be d(-21). Let j(s) = -s**3 + 31*s**2 + 6*s - 10. Is 22 a factor of j(u)?
True
Suppose 0 = -49*z + 5602 + 5178. Does 13 divide z/6*(-162)/(-90)?
False
Let g = 18454 - 17849. Does 6 divide g?
False
Let k(d) = -4*d**2 + 22*d + 10. Let f be k(6). Let l(o) be the second derivative of -4*o**5/5 + o**4/6 + o**3/3 + 3*o**2/2 + 10*o. Is l(f) a multiple of 30?
False
Let a = -130 + 202. Suppose 0 = 4*r - 40 - a. Is -2 - (-7)/(r/60) a multiple of 7?
False
Let z(c) = 64*c**2 - 4*c - 3. Let q be ((-12)/(-28))/(1/7) - 4. Let i be z(q). Does 18 divide (270/i - 4) + (-362)/(-13)?
False
Suppose 0 = -3*i - 10*i - 6716 + 69831. Is i a multiple of 5?
True
Let d = 7 - 1. Suppose 5*b + d = 4*a, -3*a + 16 = a. Suppose b*z + 2*v - 9 - 9 = 0, -4*z = -2*v - 36. Is 2 a factor of z?
False
Suppose f - 8692 = -5*x, -2*f + 5 = x - 1737. Suppose -8*o + 684 = -6*o - 4*t, -5*o = -3*t - x. Is o a multiple of 50?
True
Let r(w) = 5*w**2 - 15*w + 10. Suppose 13*n - 143 = -39. Is 6 a factor of r(n)?
True
Is 6/8 + 1037554/296 + 5 a multiple of 18?
False
Suppose 12*z = 11*z. Suppose z = -3*w + 149 - 26. Let x = w - -1. Is 7 a factor of x?
True
Let s be (-2)/((-11)/((-132)/(-8))). Suppose 5*q + 5 = -5*z, -q + s*q = -4*z - 10. Suppose -c - q*r = -8*r - 215, -197 = -c - r. Is c a multiple of 35?
False
Let r = -50 + 64. Suppose -r*s + 460 = -4*s. Suppose -104 = -5*z + s. Is 30 a factor of z?
True
Let i be (1 + -1 - 55)*(7 + -8). Suppose 0 = i*z - 50*z - 460. Suppose -48 - z = -5*j. Does 7 divide j?
True
Let k = -5034 + 5482. Is 4 a factor of k?
True
Is 21 a factor of -18142*(-2)/24 + (-56)/(-336)?
True
Suppose 0 = 2*b + 4*z - 11 - 9, -z + 35 = 3*b. Is -20*(b - 3)*(-6)/12 even?
True
Let y be -7 + 31/4 - (-13)/4. Is 8 a factor of (-18)/72 + 481/y + 5?
False
Suppose -8*u + 7110 = -10*u + 7*u. Is 12 a factor of u?
False
Let i = 311 - 311. Suppose -g + 1750 = f - 5*g, i = -f - g + 1735. Is f a multiple of 36?
False
Suppose 4*r - 4*l - 16388 = 0, -17*r + 15*r = 3*l - 8194. Is 17 a factor of r?
True
Suppose -4*o + 274 = -s - 247, -2159 = 4*s - o. Let i = -307 - s. Does 18 divide i?
True
Let u(g) = g**3 + 21*g**2 + 6*g + 20. Let z(o) = 9*o + 34. Let j be z(-6). Is u(j) a multiple of 15?
True
Let h(g) = 107*g + 36. Let t = 285 - 282. Is h(t) a multiple of 17?
True
Is 24 a factor of (-4328692)/(-69) - (2/3 + -2)?
True
Suppose -5*f + 8185 = -17*z + 21*z, -3*z + 4*f + 6100 = 0. Is z a multiple of 24?
True
Let u(c) be the second derivative of -c**3 + 111*c**2/2 - 17*c - 1. Does 22 divide u(5)?
False
Let p(o) = 5*o - 45. Is p(45) a multiple of 15?
True
Suppose g - 11 = 5*b, -3*b + 2*b = 2*g - 44. Suppose 12*q + 3 = -g. Is 109 + (1 - 4/8*q) a multiple of 26?
False
Suppose -b = 3*b - 20. Let i(t) = -3*t**3 + 3*t**2 + 6*t + 2. Let a be i(-1). Suppose -196 = -4*l - 4*u, a*u = 3*u - b. Is 11 a factor of l?
True
Suppose u + s = 1102, -4*u + 5*s + 752 = -3683. Is 181 a factor of u?
False
Suppose -14167 = 14*o - 280503. Does 34 divide o?
False
Suppose 160*p - 163*p = 4*g - 65703, 2*g - 12 = 0. Is 134 a factor of p?
False
Let l(y) = -y**3 + 11*y**2 + 10*y + 25. Is 23 a factor of l(9)?
False
Let j(d) = -51*d - 108. Let a(l) = -8*l**2 - 6*l + 9. Let r be a(1). Is 21 a factor of j(r)?
True
Let p(h) = -57*h - 712. Does 45 divide p(-20)?
False
Let t = -3883 + 7224. Does 13 divide t?
True
Let k be 6/9*6 - -10. Suppose -2217 = -k*q + 975. Is 19 a factor of q?
True
Let l(r) = 19*r + 49. Let w be l(-9). Let a = 144 + w. Is a a multiple of 11?
True
Let f(o) = 3*o + 2*o - 3*o + 2*o**3 + 7 + 6*o**2 + 0*o. Let v be f(-4). Let u = v + 93. Is u a multiple of 23?
False
Let z be (18/(-12))/((-2)/4). Suppose -2*v - z*v - 30 = 0. Is 88 + (v/9)/(6/(-27)) a multiple of 13?
True
Suppose 2*g - 4*w - 1700 = 790, 4*g + 3*w - 5024 = 0. Is 48 a factor of g?
False
Let v(a) = 6*a - 94. Let i be v(16). Suppose 3*h + 12 = 0, -15*h - 1156 = -i*l - 11*h. Is l a multiple of 11?
False
Let 