832/h + 44/(-198)?
False
Suppose -102*m + 582567 = -55749. Is 21 a factor of m?
True
Let b(w) = -7*w + 43. Let m be b(-14). Suppose -2*g + 5*r + 6 = -4*g, 2*g - 2 = -r. Suppose -51 - m = -g*d. Is 16 a factor of d?
True
Let w(j) = -430*j - 889. Is 117 a factor of w(-6)?
False
Let u = 90886 + -64156. Is u a multiple of 27?
True
Let a = -403 - -474. Suppose -2*u = -3*u + a. Does 29 divide u?
False
Let x(w) = 1. Let n(f) = 58*f**2 + 2*f - 4. Let m(z) = -z**2 + 8*z - 12. Let b be m(4). Let s(p) = b*x(p) + n(p). Is s(-1) a multiple of 4?
True
Suppose -2*d = d + 12. Let h = d - 10. Let n(f) = -6*f + 12. Is n(h) a multiple of 19?
False
Is (850 + -855)*20636/(-10) a multiple of 154?
True
Suppose -u - 5*u = -30. Suppose 2*h = -4*d + 6*d - 10, -3*d - 41 = u*h. Does 8 divide (4/6)/(h/(-1260))?
True
Let n be ((-6 - -5)*4)/(-2). Suppose -p + 3*p + x - 365 = 0, n*p - x = 367. Is 20 a factor of p?
False
Let b be (-1)/8 - 100/96*-3. Suppose -b*u + 19 - 7 = 0. Suppose 5*m - u*o = -322 + 1309, 5*o = m - 210. Is m a multiple of 15?
True
Is 66 a factor of (186/(-2 - 177/(-66)))/(10/900)?
True
Suppose -6258 = -2*m - 2*a, 0*m + 5*m = -a + 15657. Is m a multiple of 58?
True
Is 72 a factor of 12/(-9)*((-1732383)/(-6))/(-23)?
False
Let x(c) = 7*c**2 - 119*c + 32. Let a(t) = 12*t**2 - 236*t + 63. Let q(f) = 6*a(f) - 11*x(f). Is 15 a factor of q(-18)?
False
Let a(d) be the first derivative of 21*d**2/2 + 19*d + 204. Let v(x) = x**2 + 3*x - 4. Let p be v(-5). Is 12 a factor of a(p)?
False
Let l(p) = p + 1. Let t(r) = 75*r + 55. Let f(z) = 110*l(z) - 2*t(z). Is 3 a factor of f(-2)?
False
Let u(x) = x**3 + 7*x**2 + 5*x - 3. Let n be u(-6). Suppose 0 = -6*h - n - 9. Is 7 a factor of (-26)/(h/1*1)?
False
Let y(w) = -530*w**3 - 3*w**2 - w + 12. Is y(-2) a multiple of 6?
True
Suppose 2*u = 3*y + 84, 2*u + 34 + 62 = -3*y. Is -78*4/10*y/24 a multiple of 3?
True
Suppose -3645 = -3*l - 2*b, -4*b - 2132 = -4*l + 2708. Let a = l + -459. Is 113 a factor of a?
False
Let s(z) = 2*z**2 + 9*z + 22. Let m(k) = -k**2 - 4*k - 11. Let p(i) = 7*m(i) + 4*s(i). Let d be p(-13). Let w = d + -71. Is w a multiple of 3?
False
Suppose -123 = -10*z + 147. Is 49 a factor of ((-9)/z)/((-1)/(-1563))*-1?
False
Let b(z) = -4*z**3 + 11*z**2 - 6*z - 16. Let w(t) = -5*t**3 + 13*t**3 - 1 - 9*t**3 + t. Let m(x) = -b(x) + 5*w(x). Does 4 divide m(-12)?
False
Suppose -42*k + 2775 = 33*k - 42300. Is 14 a factor of k?
False
Suppose 3*n - 155 = 2*c, -3*n + 82 = -n + 4*c. Suppose -n*b + 17255 = -14*b. Does 6 divide b?
False
Suppose -2*i = 3*l - 0*l - 74154, -24 = -4*i. Does 7 divide l?
False
Suppose 59 - 11 = 2*s. Let n be -3 - (s/16 + (-16482)/(-4)). Is (-6)/(-27) + n/(-27) a multiple of 19?
False
Suppose -5*b = 3*q - 6638, 4*b - 8816 = -4*q + 6*b. Is q a multiple of 3?
False
Let i = 6589 + 2663. Does 12 divide i?
True
Let g(r) be the second derivative of 5*r**3/3 + 49*r**2/2 + 44*r. Let p be g(-6). Is (-2)/p + (-262)/(-11) a multiple of 4?
True
Let k = -8853 + 14112. Is 19 a factor of k?
False
Suppose 112 = -3*b + 17*b. Let u be b*(18/(-8))/(-3). Let w(p) = -p**3 + 13*p**2 - 6*p + 15. Is 33 a factor of w(u)?
True
Let v(r) be the third derivative of r**6/120 - r**5/4 - 5*r**4/8 + 16*r**3/3 - 11*r**2 + 9*r. Does 12 divide v(16)?
True
Is (-3)/12*(-46266 - (-21 - -19)) a multiple of 49?
False
Let h(z) = z**2 - 26. Let x be h(5). Is 40 a factor of (x - -3)/(16/648) + -1?
True
Let b(o) = 3*o + 24. Let g be b(-7). Suppose -p = 5*n - 23, -18 + 5 = -p - g*n. Does 8 divide (p + -6)/(4/(-16)) + -2?
False
Suppose -4*l - 10*l = 3178. Is (-2)/3*(-24)/16 - l a multiple of 8?
False
Let u(p) = -26*p**3 + 69*p**2 + 72*p - 7. Does 28 divide u(-7)?
True
Suppose 801*v - 1482 = 795*v. Is 13 a factor of v?
True
Is 9/(36/42640) - (26 + -31) a multiple of 8?
False
Let q be ((0 - 3)/(-3))/((-1)/46). Let j = q + 92. Suppose 3*d - d - 4*a - j = 0, 5*a = 5*d - 135. Is 7 a factor of d?
False
Suppose 288 = 4*q - 4*x, 0 = 7*x - 11*x - 4. Suppose -4*h + 92 = 520. Let s = q - h. Is 15 a factor of s?
False
Let d be 38 + -5 - 3/(-6)*8. Let j = 13 + d. Is 25 a factor of j?
True
Let r = 25824 + -16272. Is 6 a factor of r?
True
Let l(s) = 4*s**3 - 2*s**3 - 2 - 8*s**3 + s + 4*s**3. Is l(-3) a multiple of 3?
False
Suppose -4*p - h + 3*h - 122 = 0, 0 = 5*p + 3*h + 125. Is 13 a factor of (8/p)/(6/(-714))?
False
Let i(p) be the second derivative of 0 - 13*p**2 - 14*p - 17/6*p**3. Is 7 a factor of i(-4)?
True
Suppose -2*c = k - 30111, -81 = -5*k - 46. Does 142 divide c?
True
Let w = 163 + 320. Let m = w + -148. Does 20 divide m?
False
Let g(c) = 68*c**2 - 2*c - 4. Let d be g(-4). Let y be (-132)/(-15) + (-45)/25 + 1. Suppose y*z + 92 = d. Is z a multiple of 22?
False
Suppose 134 = -4*t - 70. Let c(v) = -4*v**2 + 129*v - 87. Let y be c(42). Is 12 a factor of t/119 + y/(-7)?
False
Suppose b = 2*d - 1179, 0 = -4*b - 0*b + 2*d - 4698. Let a = b + 2262. Is 99 a factor of a?
True
Suppose -1 = -o - s, -2*o + 14 = s - 2*s. Suppose -j = -6*j - o. Is 9 a factor of (-3)/(1/j) + (-51)/(-1)?
True
Let h(w) = -27*w**2 - 7*w - 51. Let l(p) = 13*p**2 + 4*p + 25. Let z(g) = 3*h(g) + 7*l(g). Is 22 a factor of z(-4)?
True
Suppose 0 = -2*p + s + 14729 + 4664, -4*p = 5*s - 38737. Is p a multiple of 41?
False
Let t(s) = -28*s + 14. Is t(-31) a multiple of 147?
True
Let x(f) = 2*f**2 - 20*f - 2. Let k be x(10). Let l(t) = t - 3. Let i be l(k). Is i/((-50)/(-4))*-65 a multiple of 12?
False
Let o be 5 - ((-6)/10)/(1/(-30)). Is 7 a factor of (-12 - o - -19) + (-2 - 0)?
False
Suppose -11*v + 60793 - 12008 = -10505. Does 49 divide v?
True
Let b = 60 - -168. Let x(k) = 127*k**2 - 24*k + 24. Let n be x(1). Let c = b - n. Does 14 divide c?
False
Is 3/(8/(-9844)*(-9)/12) a multiple of 29?
False
Is 8912/(-12)*(1*-2 + 10/(-4)) a multiple of 29?
False
Suppose 5*i + 3*f - 2078 = -338, 348 = i - 2*f. Is 87 a factor of i?
True
Suppose -16 = -5*y - x, 0 = y - 38*x + 41*x - 6. Let w = 8 - 5. Suppose w*r = y*q - 87, 4*q = -q + 4*r + 147. Is q a multiple of 21?
False
Let r = -320 + 777. Let t = -417 + r. Is t a multiple of 20?
True
Suppose -7 = 2*a - 5*y + 10, -10 = -5*a + 2*y. Suppose a*v - 11 = 17. Does 2 divide v?
False
Suppose -u - 4*z + 17748 = -2*z, 0 = -3*u - 2*z + 53228. Suppose -16*d + u = -12212. Is 78 a factor of d?
True
Suppose 4*c = 11*c - 504. Is (9/(c/32))/((-1)/(-124)) a multiple of 62?
True
Let s = 152861 + -69483. Is s a multiple of 34?
False
Let k(w) = 63*w - 180. Let o = -184 + 195. Does 57 divide k(o)?
True
Suppose -3*t = 2*g - 65, 5*g - 116 - 9 = 5*t. Does 3 divide (g/(-21))/(4/(-69))?
False
Let r(m) = m**3 + 25*m**2 + 73*m - 24. Let w be r(-17). Suppose n + 2*n = 3*f + w, -2*f = 3*n - 1057. Is 9 a factor of n?
True
Does 176 divide 378/(-210) - 226395/(-25)?
False
Let j = -150 - -153. Suppose -1969 = -33*h + 29*h - 3*c, -1473 = -j*h - c. Does 14 divide h?
True
Let z(s) = -9*s**2 + 21*s - 5. Let q be z(2). Is (78/(-156))/(q/(-168)) a multiple of 6?
True
Let n(b) = -23*b**3 - 2*b - 3. Let y = 348 - 349. Does 2 divide n(y)?
True
Suppose -3*r + 8 = -5*i + 90, r = -4. Let a(x) = x**2 + 3*x - 14. Does 14 divide a(i)?
True
Let q = -40 + 43. Let d be (-2)/q + (-80)/(-30) + 2. Suppose -h + 2*t + 141 = -t, d*h + 3*t - 519 = 0. Is 22 a factor of h?
True
Let x = 3303 + -475. Does 34 divide x?
False
Let i(n) = 354*n**2 - 140*n - 656. Is 64 a factor of i(-4)?
True
Let w = 184 - 192. Does 22 divide 526/4 - (w + 60/8)?
True
Let g(h) = 3*h**3 - 84*h**2 + 62*h + 47. Let w(f) = -2*f**3 + 84*f**2 - 62*f - 48. Let x(n) = -4*g(n) - 5*w(n). Is 91 a factor of x(-43)?
False
Suppose 3*a = s + 237, -22 + 193 = 2*a - 5*s. Let x(k) = 15*k + 3. Let o be x(3). Let f = a - o. Is f a multiple of 10?
True
Does 18 divide 1482 - 0/(7 - (-6)/(-3))?
False
Let y(b) = 2*b**2 - 100*b - 1446. Is y(-25) a multiple of 48?
True
Let l be -1151 + (-8)/((-40)/(-15)). Let m = l + 287. Is 16 a factor of 4/(-24) + m/(-18)?
True
Let y be (2 - 16/6)/((-10)/42195). Suppose 0 = 36*d - 7*d - y. Is 2 a factor of d?
False
Is 62 a factor of 58983/(-5)*3315/(-1989)?
False
Let m(a) = a**2 + 5*a - 18. Let w = -68 + 71. Let k be m(w). Is 18 a factor of (4 + 0)/(k/129)?
False
Let q = 265 - 130. Does 13 divide 225/q + (-190)/(-3)?
True
Let c(d) = -d**3 - 3*d**2 - 6*d. Let h be c(-4). Let p be h*(-4)/6*-3. Suppose 78*z = p*z - 96. Is 6 a fa