 - 2 + 598*t - 304*t + 11*t**2. Is o(x) a multiple of 5?
True
Let h be -2*((-52)/117 + (-14)/9). Suppose 3*n = -3*d + 600, h*d = 3*n + 499 + 301. Does 7 divide d?
False
Suppose 4*d = -22*k + 26*k - 48216, 12074 = k + 3*d. Does 20 divide k?
False
Let p = 70164 + -48706. Is 94 a factor of p?
False
Let u be (-8)/(-40) - ((-29552)/(-10))/(-4). Let y = -203 + u. Let j = y + -365. Is j a multiple of 18?
False
Let s(w) = w**3 + 6*w**2 - 6*w + 9. Let q be s(-7). Suppose -g + q*g = -2. Does 7 divide 5/2*(g + 8)?
False
Suppose -4*d = 5*i - 32, -4*d - 2*i + 5*i = 0. Suppose -4*u = -d*t + 2823, 3*t - 2805 = 73*u - 75*u. Does 30 divide t?
False
Let f be 2/(-3)*(5/(-1) - -2). Suppose 3*w = 2*w + f. Suppose 0 = 5*c - k - 707, -c = w*c + 3*k - 417. Is 20 a factor of c?
False
Let n(u) = 649*u**2 + 71*u - 365. Is n(5) a multiple of 12?
False
Let k = -3627 - -6411. Is 37 a factor of k?
False
Let t = 41025 + -22197. Is 51 a factor of t?
False
Suppose 44*l = 651 + 2077. Suppose -x + 13 = -l. Is x even?
False
Let q(x) = -149*x**3 - 2*x**2 + 63*x + 241. Does 67 divide q(-4)?
False
Does 5 divide (4 - 3)/(4/12) + 6321 + -16?
False
Let a = -9995 - -13251. Does 37 divide a?
True
Let c(g) = 5*g**2 + 7*g - 2. Let p be c(6). Suppose 5*n - 1165 + p = 0. Is 23 a factor of n?
False
Suppose -2*p + 6*p = s - 24, -5*s + 5*p + 45 = 0. Does 49 divide (-490)/s*(-180)/50?
True
Let q(x) = 266*x**2 - 10*x + 38. Is 34 a factor of q(3)?
False
Suppose 0 = 4*o + 3*h + 17 + 4, 2*o + 17 = 5*h. Let r(p) = -p**3 - 4*p**2 - p + 15. Let f be r(o). Suppose 4*d - f = 103. Does 9 divide d?
False
Let m(h) = 17*h + 89. Let k be m(-4). Suppose k*r - 13*r = 960. Is r a multiple of 15?
True
Let o(w) = -1 + 5782*w - 2 - 5784*w + 12*w**2 - 2*w**3. Does 6 divide o(5)?
False
Is 12/(-26) - (-2107026)/702 a multiple of 4?
False
Suppose -4*v + 2*i + 2130 = 0, 0*v - 4*i = -4*v + 2124. Suppose 5*h - 15 = 0, -3*h = -4*q + v + 257. Is 10 a factor of q?
True
Suppose -3*l - 123 + 7 = 5*y, 4*l + 193 = y. Let a = l + 94. Suppose -2*s = -163 + a. Does 34 divide s?
False
Let c = -1447 - -2757. Suppose -59*s - c = -64*s. Is s a multiple of 8?
False
Suppose v + 5*m = 19776, -v + 3*m = -3205 - 16603. Does 49 divide v?
True
Let i be (116/(-3) + 3)/((-5)/60). Let c = 0 - -5. Suppose 2*s - 3*t - t - 176 = 0, -c*s + 4*t + i = 0. Does 14 divide s?
True
Let g(p) = -3*p - 3. Let s be g(-2). Let t be s - (-3 + 4 + 2). Suppose 4*h - 44 = -w, -4*w = -3*h - t*h - 252. Does 7 divide w?
False
Suppose 35*q = -536 - 304. Is 20 a factor of (-1514)/(-2) - -6*(-20)/q?
False
Let y(x) be the third derivative of -x**4/6 + 28*x**3 - 10*x**2 - 2*x. Does 58 divide y(26)?
False
Let p = 4110 - 3158. Does 149 divide p?
False
Let x(w) = -1 - 23*w - 1 - 46*w + 5*w. Is 41 a factor of x(-1)?
False
Let h = -5386 + 7588. Suppose a + 4*b - 1116 = 0, 11*a + h = 13*a - 2*b. Is 12 a factor of a?
True
Let u = 151 + -8. Suppose 2*m - 449 = -u. Does 9 divide m?
True
Let f be -3*(1 - 0)*5. Suppose 2*p + 5*i - 225 = -73, 0 = 5*p + 3*i - 342. Is (-25)/1*p/f a multiple of 10?
True
Suppose 0 = -244*k + 241*k - 2*f + 38143, -3*f - 38118 = -3*k. Is 19 a factor of k?
True
Let s = 21605 - 678. Is 117 a factor of s?
False
Let s = -21173 - -30673. Is 25 a factor of s?
True
Let s(m) = 239*m - 300. Let r(x) = -232*x + 301. Let k(v) = -5*r(v) - 6*s(v). Does 11 divide k(-4)?
False
Let d(t) = -t**2 - 14*t + 17. Let l be d(-15). Suppose z - k = l*k - 12, 28 = z + 5*k. Suppose -128 = -z*v + 337. Is 16 a factor of v?
False
Suppose -3*x + 63 = 3*g, 90 = 5*x - 4*g + 6*g. Suppose -12*z = -x*z. Suppose 2*a = -3*r - 3*a + 552, -a + 3 = z. Is 26 a factor of r?
False
Let w = 540 - 573. Let p(x) = x + 109. Does 12 divide p(w)?
False
Let a = -509 - 46. Let z = -345 - a. Is z a multiple of 15?
True
Suppose 19*k + 225 = 14*k. Let q be (-4)/18 + 1*485/k. Does 14 divide 6/33 - 2616/q?
True
Let l(t) = -52*t - 143. Is 93 a factor of l(-39)?
False
Suppose -143*j + 93062 = -124*j. Is 25 a factor of j?
False
Let w(b) = 27*b - 43. Let j(m) = -28*m + 43. Let o(p) = 4*j(p) + 5*w(p). Does 9 divide o(5)?
True
Suppose -8 = -4*y + 12. Suppose -3*q + 12 + 0 = 3*l, y*q = 5*l. Suppose 0*h - 2*x + 100 = h, 5*h - 468 = -q*x. Is h a multiple of 23?
True
Let x(z) = -56*z - 1211. Does 3 divide x(-23)?
False
Suppose -r + 3 = 3*v, 5*v - 4*r - 22 = -0*r. Suppose -v*k - 20 = -5*f - 4, -4 = -f. Suppose -3*a + 5*x = -32, 5*a - 2*x = k*x + 49. Does 3 divide a?
True
Is -16*(-400)/(-32)*(-560)/25 a multiple of 14?
True
Let d = 6843 - -259. Does 48 divide d?
False
Let z = 44 - 40. Suppose 0*p + 2*v = -3*p + 11, v - 8 = -z*p. Is 9 a factor of (-2)/(-2*p/36)?
True
Suppose 10 = 5*n + 2*w, 3*w + 16 = -n - w. Is 1274/n - (14/(-4) + 2) a multiple of 58?
False
Let q be (4 - (-90)/(-21)) + (-5282)/(-14). Suppose -6*v + 2593 = -q. Does 38 divide v?
False
Let r(m) = -48*m**3 - 3*m**2 + 2*m + 2. Let u be r(2). Let j = u + 502. Is 14 a factor of j?
True
Suppose -5*u = -5, 0 = -0*w - 5*w - 4*u - 491. Let d = w - -161. Does 6 divide d?
False
Let c(l) = -l - 21. Let h be c(-15). Is 18 a factor of 71*5/(-15)*h?
False
Suppose 54*w = 42083 - 13355. Is 7 a factor of w?
True
Let f(v) = 3*v**2 + 66*v + 508. Let t be f(-13). Let d = -42 + 9. Let s = t + d. Is 26 a factor of s?
False
Let y = -1011 + 83. Is 6 a factor of 20/(-110) - y/22?
True
Let c = -11 - -16. Let a(p) = 8*p + 29. Let l be a(-3). Suppose 6*b = c*q + 3*b - 232, -l*b - 196 = -4*q. Is 11 a factor of q?
True
Let k = 12862 - 8606. Is k a multiple of 13?
False
Suppose 14*q - 11*q = 0. Suppose q*y - 5 = -y. Suppose y*s - 74 = 3*s. Is s a multiple of 5?
False
Does 48 divide (-337)/(14/18*-3) - 15/35?
True
Let d = 819 + -1230. Let a = 781 + d. Does 10 divide a?
True
Suppose 0 = -p - 5*h + 30, -2*p + 4*h = -0*p - 18. Suppose 0 = p*w - 16*w + 3. Suppose -23 - 274 = -w*g. Is 17 a factor of g?
False
Let h be (10 + 154/(-4))/((-6)/40). Let l = h - 106. Is l a multiple of 42?
True
Let i(b) = -318*b - 916. Is 2 a factor of i(-5)?
True
Let i(b) = 4*b - 80. Let m be i(21). Suppose 4*s - s = m*p + 649, -5*p - 867 = -4*s. Is 12 a factor of s?
False
Let v be (-191980)/(-150) - (-14)/105. Let q = -209 + v. Is q a multiple of 102?
False
Let l(g) = -12 + 18*g + 16*g - 33*g. Let f be l(7). Is 12 a factor of (-122)/f + 10/(-25)?
True
Let d = 2100 + -1267. Is d a multiple of 7?
True
Suppose 4*w = 5*c - 18 - 29, -3*w = -2*c + 23. Suppose 9*g + 11 = -c. Is g/(-1) + 6 + 55 a multiple of 21?
True
Let t(g) be the third derivative of 35*g**4/12 - 23*g**3/3 - 81*g**2. Does 22 divide t(6)?
True
Let f = -125 - -127. Let u(v) = -2*v**2 - v**3 + 10*v**2 - v**f. Is 36 a factor of u(6)?
True
Let f(r) = r**3 + 38*r**2 + 11*r + 197. Does 4 divide f(-37)?
False
Is 22 a factor of (-5 + 222/42)/(16/50512)?
True
Let t(a) = 314*a + 1654. Is t(-3) even?
True
Suppose 9*y + 64 = 91. Suppose t - 1086 = -2*h - 181, -y*t + 2719 = 5*h. Is 21 a factor of t?
False
Does 10 divide ((-63)/15)/(9/(-52485)) + 21/3?
True
Let y(r) be the third derivative of 49*r**5/60 + 7*r**4/24 - 2*r**3/3 - 6*r**2 + 3*r. Is y(1) a multiple of 4?
True
Suppose -5*b = -2510 + 160. Suppose 9*u - 340 = b. Does 45 divide u?
True
Let a(l) = -2*l**2 - 17*l + 12. Let w(q) = -q**2 + q. Let j(m) = -a(m) + 4*w(m). Let p be j(9). Suppose -12 - p = -y. Is y a multiple of 10?
False
Suppose 14*t - 63 = -21. Suppose -2*f + 1056 = 5*m, -8*f + 12*f = t*m + 2138. Is 47 a factor of f?
False
Let u be ((-36)/15)/(-6) + (-26)/(-10). Let w be (20 + (-12)/u)*9/4. Let x = 72 - w. Is x a multiple of 8?
False
Let i(l) be the second derivative of -l**5/20 - l**3/2 + 129*l**2/2 + 7*l - 6. Is 7 a factor of i(0)?
False
Suppose 0 = -r - 5*x + 404, 0 = -r + 4*r - 2*x - 1127. Suppose 3*m + r - 631 = 0. Is m a multiple of 3?
True
Let x(u) = 5*u**2 - u. Let s = -16 - -20. Suppose 2*k + 5*n - n = -18, -s*n = -3*k - 17. Is 14 a factor of x(k)?
True
Is ((-28)/(-20) - 1)/(11 - (-4007290)/(-364300)) a multiple of 38?
False
Suppose -3*g = h - 4769 - 75, 3*g + 4*h - 4841 = 0. Does 85 divide g?
True
Let b(m) = m**3 + 13*m**2 + 10*m + 30. Let i be b(-12). Let k be 2/9 - 12/i. Suppose -4*n = 2*t - 152 + 24, 4*n + t - 126 = k. Is n a multiple of 31?
True
Let x = 321 + -319. Suppose -12*w = -7*w + 5*c - 455, x*c + 198 = 2*w. Is w even?
False
Is 14 a factor of (14/3)/((4/33)/(-1 - -87))?
False
Let 