10*s - 555 = -3*g + p*s, -g = 5*s - 175. Is g a multiple of 34?
False
Suppose -5*c = -4*o - 33057, -33*c + 37*c - 2*o - 26442 = 0. Is 14 a factor of c?
False
Let b(d) = -d**2 - 20*d - 42. Let j be b(-12). Suppose -5*r - 15 = 0, -2*r - j = -3*o + r. Suppose 192 = -o*h + 17*h. Does 12 divide h?
True
Let b be (-2 + -87)/(6/(-12)). Suppose 6*q - b = 6236. Does 18 divide q?
False
Suppose -5*t = 81 - 141. Is 6 a factor of (-6)/(-3 + 4) + t?
True
Suppose -8*z + 222 + 146 = 0. Is (-426)/(-4) - 115/z a multiple of 6?
False
Suppose 0 = -3*c + 10*z - 12*z + 8, 2*c + z - 5 = 0. Suppose -3*x - 29 + 6 = -h, -3*h + 124 = c*x. Does 2 divide h?
True
Suppose 0 = 2*y - 5*m - 43358, -2*y - m = -53525 + 10155. Is y a multiple of 12?
True
Let b be (-1 - -3) + 6/3. Suppose 198 = 5*q - 3*w, 3*w = -q + 47 + 7. Suppose b*n + q = 7*n. Is n a multiple of 11?
False
Let j(w) = -56*w**2 + 14*w + 1. Let k(x) = -168*x**2 + 41*x + 4. Let y(m) = 17*j(m) - 6*k(m). Let v be y(-2). Let n = v + -139. Is 47 a factor of n?
True
Let n be ((-5)/2)/((-29)/(-174)). Let l be 5/(10/(-4))*n/(-10). Does 30 divide (3 + 0 + l + -111)/(-1)?
False
Let r be (-5)/(-2) + (-3)/(-2) + -3. Let z be (138 - -2) + -2 + -4 + r. Suppose -f + 2*f - 3*m - 25 = 0, z = 5*f - 5*m. Is 14 a factor of f?
True
Suppose 0 = -0*w + 4*w. Suppose -3*m - 4*c + 1 = w, 2*m + 0*c - c + 3 = 0. Is 166/3 - 4/6*m a multiple of 8?
True
Let a = 93 - 94. Let g be (a*1/3)/(42/15246). Is (-31)/186 - g/6 a multiple of 2?
True
Let u be 0 + -12*((-85)/20 + 4). Suppose -3*l + j + 761 = 0, -3*l + 5*l = u*j + 512. Is l a multiple of 23?
True
Suppose 6*q + 16643 = -37945. Is (-1)/(-7) - q/14 a multiple of 25?
True
Suppose -24 = -48*d + 44*d, 0 = 2*x - d - 5550. Is x a multiple of 7?
False
Let h(d) = -15*d + 168. Let y be h(11). Suppose -y = 3*w, -5*s + 5392 = 3*w + 540. Is s a multiple of 50?
False
Does 8 divide (((-129045)/2)/7)/(-12) + (-22)/176?
True
Let a(p) = -2*p + 1. Let o(n) = 10*n - 114. Let j(m) = -a(m) + o(m). Is 15 a factor of j(23)?
False
Suppose 0 = -5*i + 15, 4*t + 95*i - 98*i = 84311. Is 11 a factor of t?
False
Suppose 0 = -426*f + 2246667 + 1159203. Is 41 a factor of f?
True
Let q(z) = 2*z**2 + 3*z - 69. Let b be q(5). Is 10 a factor of ((-17)/b)/((-39)/(-1092))?
False
Let w(j) = 6*j**2 - 3*j - 6. Is 78 a factor of w(-10)?
True
Let q be 2/4*0 + -8. Let p = 918 - 888. Let s = p - q. Is s a multiple of 24?
False
Suppose 4*v = s - 8315, -29528 = -4*s - v + 3613. Is 53 a factor of s?
False
Let l(d) = 10*d**2 + 7*d + 7. Let k be l(-1). Suppose -k*g + 4906 = g. Does 10 divide g?
False
Suppose 8*q - 2 = 6. Let z(h) = -h**2 - 19*h + 42. Let o be z(-12). Suppose -o + q = -5*j. Is 2 a factor of j?
False
Let x(v) = -2*v + 11. Let f be x(7). Let q be f/((-6)/20*2). Suppose 0 = -q*g - 5*d + 500, 3*d + d = -2*g + 206. Does 16 divide g?
False
Suppose 0 = 4*h + 3*n - 25, -2*h + 7*h - 17 = n. Suppose -7*b + 6*b + 129 = h*v, -b - 2*v = -123. Does 39 divide b?
True
Let j(d) = 25*d + 53. Let m(a) = -13*a - 27. Let t(r) = -3*j(r) - 5*m(r). Is t(-32) a multiple of 14?
False
Let k be (-14)/10 + 1 + (-12)/(-5). Suppose 0*s + 430 = -k*t - 3*s, 2*t - s = -438. Let o = -58 - t. Is o a multiple of 8?
True
Let g(t) be the second derivative of -15/2*t**2 + 0 - 5/6*t**4 + 19*t + 1/6*t**3 - 1/20*t**5. Does 29 divide g(-11)?
False
Suppose p - 314 = -316. Does 58 divide (36/(-21))/(p/469)?
False
Let p(n) be the second derivative of n**4/4 - 13*n**3/6 + 3*n**2 - n + 9. Does 6 divide p(5)?
False
Let f(o) = 19*o**2 - 4*o - 27. Let l(v) = 19*v**2 - 6*v - 28. Let i(h) = 3*f(h) - 2*l(h). Is i(-5) a multiple of 18?
True
Let a be (15/20)/(2 - (-75)/(-36)). Let q(h) = h**3 + 12*h**2 - 30*h - 9. Is 14 a factor of q(a)?
True
Suppose -3*n + 7*b - 2*b = -32, -5*b = -5*n + 40. Is ((-198)/(-24))/(3/n) a multiple of 2?
False
Let c(u) = 5*u**2 - 2*u + 1. Let a be c(1). Let w(m) = 68*m**3 - 22*m**3 + 3*m**2 - 7*m - 45*m**3 + 1 + 5. Is w(a) a multiple of 30?
True
Suppose -96*a - 2*w + 117746 = -93*a, -5*a + w = -196226. Is a a multiple of 33?
False
Let m(f) = 293*f + 3183. Is 28 a factor of m(5)?
True
Let x(i) = i**3 - 15*i**2 + 78*i - 88. Does 12 divide x(20)?
False
Suppose -3*h + 5*x + 2256 = -0*h, -3760 = -5*h - 3*x. Suppose -3*d - 7535 = -h. Is 40 a factor of d/(-28) + 3/(-4)?
True
Let m = 1513 - 2404. Let f = 936 + m. Does 15 divide f?
True
Let c(d) = 15*d**2 - d + 2. Let o be c(1). Is o/600*-5 - 32/(-15) a multiple of 2?
True
Let g(y) = 11*y**3 + y**2 - 4*y - 16. Let n(q) = 9*q**3 - 4*q - 15. Let d(z) = -4*g(z) + 5*n(z). Is 15 a factor of d(7)?
False
Suppose -1117*m + 1086*m + 15996 = 0. Is 86 a factor of m?
True
Suppose -369855 = 83*d - 1601575. Is d a multiple of 10?
True
Suppose 0 = -5*h - 0 + 20. Let o = h + -4. Suppose -8*t + o*t = -64. Is t a multiple of 6?
False
Let n(m) be the third derivative of -m**5/30 + 17*m**4/24 - 7*m**3/3 + 49*m**2. Does 16 divide n(6)?
True
Suppose 0 = -5*n + 9*n - 12. Suppose -288 = n*f - 15*f. Is f a multiple of 7?
False
Let c be (-8)/((7 + (-119)/14)/54). Let j = 473 + -275. Let u = c - j. Does 15 divide u?
True
Suppose -18 = -5*g - p + 16, 4 = g + 3*p. Suppose -4*j - 378 = -g*j. Suppose j = -3*h + 4*h. Does 37 divide h?
False
Suppose 4*k - 6*k + 33014 = t, -4*t = 4*k - 132028. Does 25 divide t?
True
Let l = -420 - -899. Is 42 a factor of l?
False
Suppose u + 15 = 5*k - u, -4*k + 3*u = -12. Is 10 a factor of (-5 + k)*(-435)/3?
True
Let o(v) = -v**2 - 14*v - 43. Let q be o(-5). Suppose -7264 = -5*i - 3*t - t, 0 = -q*t - 8. Is i a multiple of 16?
True
Let x = -42605 - -62135. Does 84 divide x?
False
Let h be 5*(55/(-1))/1. Let q = 557 + h. Does 47 divide q?
True
Suppose 251106 = -217*t + 895596. Is 13 a factor of t?
False
Suppose 0 = 68*v - 19*v + 71 + 27. Let p(i) be the third derivative of -i**6/20 + i**5/60 - i**4/8 - i**3/2 + i**2. Does 5 divide p(v)?
True
Is (1 - -1)/(59/61891) a multiple of 17?
False
Let q(c) = c**2 + 4*c + 1. Let y be q(-5). Let u be ((-6)/5)/(y/(-45)). Suppose u*i - 12*i = -102. Is 22 a factor of i?
False
Is 33 a factor of -9*-476*(-77)/(-42)?
True
Does 158 divide ((-1152)/80)/18 - 334976/(-20)?
True
Let l be (28 - -2)*(-92)/(-115). Suppose -4*h + 5*c = 118 - 841, 2*h = -4*c + 368. Let t = l + h. Is t a multiple of 11?
False
Let y(t) = 89*t**2 + 2*t - 15. Let r be ((-4)/(-6))/((-42)/189). Let b be y(r). Suppose b = 3*n + 2*n. Is 26 a factor of n?
True
Let k(h) = -2*h**3 - 39*h**2 - 35*h - 37. Let a be k(-19). Let p = -247 + a. Is p a multiple of 20?
True
Let j(t) = 16*t + 137. Let h be j(-8). Does 71 divide h/(-30) - 191745/(-150)?
True
Let t be 2/(3 - (-1104)/(-369)). Let p = t - 219. Does 9 divide p?
True
Let f(r) = 1402*r + 10012. Is f(-6) a multiple of 6?
False
Suppose -a + 4*c = -4372, -24*a + 13146 = -21*a - 2*c. Does 8 divide a?
True
Suppose 17 = -5*q + 37. Suppose -5*f + 752 = q*h, -4*f + f = -2*h + 398. Is 10 a factor of h?
False
Let u(q) be the first derivative of 2*q**2 + 42*q + 170. Is 18 a factor of u(3)?
True
Let p be (502110/(-12))/(-5) - (-3)/(-6). Suppose 7362 = 22*a - p. Does 70 divide a?
False
Is (-19)/(57/136)*-72 a multiple of 51?
True
Let k(q) be the third derivative of -14*q**6/15 - q**4/24 - q**3/3 - 6*q**2. Let i = -95 + 94. Does 37 divide k(i)?
True
Let d(t) = t**3 - 6*t**2 + t + 1766. Is d(0) a multiple of 76?
False
Let x = 680 + -678. Is (24/10)/(12*x/800) a multiple of 20?
True
Suppose 5*y + 20 = -106*d + 111*d, d = -3*y + 12. Suppose -4*a = -4*x + 648, a - d*a + 470 = 3*x. Is 16 a factor of x?
True
Let d be 62 + 1 + (-6)/2 + 4. Let n = d - -29. Let s = -68 + n. Is 8 a factor of s?
False
Suppose -4*p - 3*s + 16101 = 0, -9*p + 4*p - 4*s + 20127 = 0. Does 9 divide p?
True
Let v(m) = -83*m**2 + 31*m + 25*m + 2*m**3 - 12 + 3*m. Is v(41) a multiple of 13?
False
Let d(s) = 6*s**2 - 21. Suppose -2 = u + 3*g - 18, 30 = 4*u - 5*g. Let t be d(u). Let f = -403 + t. Is 17 a factor of f?
False
Let f(s) = -7*s - 45. Let m(k) = -21*k - 133. Let z(b) = 14*f(b) - 5*m(b). Is 72 a factor of z(11)?
False
Let g = 32865 + -23325. Is g a multiple of 108?
False
Suppose -46*z + 334450 + 217550 = 0. Is 20 a factor of z?
True
Let m(q) = -q + 6*q + 118 - 3*q + 2*q. Let t(x) = -5*x - 119. Let o(c) = 3*m(c) + 2*t(c). Does 14 divide o(0)?
False
Suppose 309*u = 331*u - 3586. Is u a multiple of 36?
False
Suppo