93 + 4*k. Does 2 divide n(22)?
True
Suppose -4*t - 3*f = -8563 - 3875, -2*t - f = -6222. Is t a multiple of 18?
True
Let q(o) = 7*o**2 + 182*o - 97. Is q(-59) a multiple of 6?
False
Let a(q) = -q**3 + 10*q**2 - 12*q + 7. Let o be a(5). Let g = 76 - o. Suppose 3*b - 162 = j, 3*b - g*j - 174 + 21 = 0. Is 18 a factor of b?
False
Let c(y) = -6*y + 25. Let q be c(10). Let g = -23 - q. Let u(z) = 4*z + 12. Is u(g) a multiple of 15?
True
Let c be (-27)/12*2*14/(-21). Let d(v) = 26*v**2 + 2*v + 6. Is d(c) a multiple of 24?
False
Let m = -21385 + 37573. Does 213 divide m?
True
Let k(x) = x**2 - 13*x + 12. Let s be k(15). Is 26 a factor of 1/(-2)*(-2732 + s)?
False
Let s be (-64)/(((-4)/8)/(1/2)). Let y = s + -46. Let k = y + 8. Does 13 divide k?
True
Let w(f) = 7*f**2 + 50*f - 17. Let j be w(-17). Suppose 3*a - j = -5*p - 135, 3*a = -p + 197. Is p a multiple of 41?
False
Let u(m) = -m**3 - 15*m**2 + 17*m + 28. Let a be u(-16). Suppose -l + 4*l + a = 0, -4*w = l - 724. Is 26 a factor of w?
True
Suppose 78*m = 76*m + 10. Suppose 0 = 4*p + 16, -31 = -m*k - 3*p + 182. Does 9 divide k?
True
Let l be 6/8 - (-12)/32*-2. Suppose 11*o = -l*o + 99. Suppose 0 = -t - 5*x - o, -10*t = -8*t + 4*x. Is t even?
True
Let f = 262 - 138. Let w(c) = -50*c + 4. Let k be w(-4). Let n = k - f. Is 13 a factor of n?
False
Suppose 0 = -4*y - 3*l - 91 - 275, 190 = -2*y + 2*l. Let j = 129 + y. Is j even?
True
Suppose 2*i + 3*y = i + 1, 19 = 5*i + y. Suppose i*v + 5*t - 24 = 0, -2*v + 3 = 2*t - 11. Suppose 0 = -v*m - 60 + 1710. Does 15 divide m?
True
Let q = 1191 - -1635. Does 18 divide q?
True
Let r be (-2 - (-6)/9)*-6. Is (5/r - 1) + 134101/1336 a multiple of 5?
True
Let i be 12588/15 - 25/125. Suppose 4*r + 1370 = 5*j, -i = -3*j - 6*r + 5*r. Is j a multiple of 6?
False
Let p(k) = -4*k + 25. Let c be p(7). Let s be (44/12 - 4)/(c/(-9)). Let h(n) = -103*n**3 - n**2 - 3*n - 2. Is h(s) a multiple of 15?
False
Let t = -15374 + 19192. Is t a multiple of 46?
True
Suppose 0*o + 148 = o. Let t = -1512 - -1515. Suppose 5*k - t*k + x = o, 367 = 5*k + 4*x. Does 40 divide k?
False
Is 21 a factor of 42920/20 - (-4 - -4 - 6)/2?
False
Suppose 222657 + 29485 = 146*d. Does 11 divide d?
True
Let a = 11 + 4. Let n(c) = -c**3 + 18*c**2 - 18*c - 10. Let k be n(a). Suppose 0 = 2*q + 5*w - 4 - 154, 0 = 5*q + 2*w - k. Is q a multiple of 15?
False
Let c(q) = -q**3 - 6*q**2 + 25*q + 14. Let y be c(-11). Suppose 3*o + y = 512. Is 4 a factor of o?
True
Suppose -4*n + 6189 = -1647. Is n a multiple of 19?
False
Let w(r) = 1369*r - 307. Does 76 divide w(3)?
True
Let u(y) = -6*y**3 + 12*y**2 - 6*y - 20. Let i(s) = -5*s**3 + 13*s**2 - 7*s - 20. Let n(r) = 5*i(r) - 4*u(r). Is n(16) a multiple of 15?
True
Let a be (17 - 1)/(2*1). Let i(t) = -a*t**3 - 50*t**3 - 1 - 9*t + 7*t. Does 12 divide i(-1)?
False
Let f(a) = a**2 - 549*a + 25275. Is 337 a factor of f(0)?
True
Let h(p) be the third derivative of 0*p - 15*p**2 - 1/2*p**3 - 19/24*p**4 + 0. Is 17 a factor of h(-10)?
True
Suppose -19*l + 29*l = 212410. Suppose -6839 = -54*s + l. Does 26 divide s?
True
Let f(k) be the first derivative of -7*k**2 + 36*k + 13. Does 15 divide f(-6)?
True
Let d = 33 + -23. Let u = -183 - -184. Does 5 divide 16/u + (9 - d)?
True
Let f(c) = -c**3 - 6*c**2 + 6*c - 4. Let l be f(-7). Suppose -1226 = -4*h + 2*z, -3*h + 0*z + 921 = -l*z. Does 9 divide h?
True
Suppose 3*z + 3*x + 3 = 0, 0 = z - 4*z + 3*x - 9. Let d be (-6 - -4) + -5 - z. Does 8 divide 297/((-9)/(-3)) - (9 + d)?
False
Let j(h) = h**3 + 4*h**2 - 5*h + 5. Let v be j(-5). Suppose -v*t + 37 + 123 = -2*d, 4*d = 0. Suppose 6*b - 5*b - t = 0. Does 8 divide b?
True
Suppose -4*m + 60 - 191 = -3*x, 0 = 3*x + 3*m - 138. Let q = 133 - x. Suppose -5*u = -7*u + q. Is u a multiple of 7?
False
Let r = -5 - -8. Suppose 0*f = -3*o - 4*f + 10, 0 = -4*o - f + 9. Suppose v = -o*d + 52, -4*v + r*v = 5*d - 124. Is 5 a factor of d?
False
Let r(b) = -10*b**3 + 5*b**2 - b - 10. Let w(f) = -11*f**3 + 7*f**2 - 11. Let m(a) = -6*r(a) + 5*w(a). Is m(5) a multiple of 16?
False
Suppose -57*i + 2*u - 33681 = -60*i, -i = -5*u - 11244. Does 125 divide i?
False
Let o(j) = 8*j**2 - 7*j + 8. Let n be ((-351)/(-65) - 7)/(2/(-10)). Is 16 a factor of o(n)?
True
Let v = -26223 - -58065. Is 57 a factor of v?
False
Let v(y) = -y**3 - 18*y**2 - 15*y - 14. Let z be v(-17). Is 33 a factor of 132/(-2)*1*312/z?
True
Suppose f - 30 = -25. Suppose -3*g + f*i = -137, -4*g + 5*i + 190 = 2*i. Let c = -6 + g. Does 6 divide c?
False
Let b(t) = 34*t**3 + 3*t**2 - 6*t + 121. Is 92 a factor of b(5)?
True
Let d(j) = -4*j**3 + j**2 - 17*j + 23. Let q be d(5). Is 8 a factor of (18/27)/((-2)/q)?
False
Let i be 136/(-340) + 418*(-6)/(-20). Suppose -7*r + i = -6399. Is 42 a factor of r?
False
Suppose 4*s + 36 = 2*d, -d + 18*s - 14*s + 24 = 0. Suppose 11*m - 6716 = -d*m. Is 5 a factor of m?
False
Let d = 39 - 35. Suppose w - d*s = -3, 2*w + 2*s - s - 12 = 0. Suppose -5*y + 119 = 2*a, -a + w*y - 213 = -5*a. Is 10 a factor of a?
False
Let o = 3 - 3. Let k = -344 - -348. Suppose o = i - 137 + k. Does 10 divide i?
False
Suppose -4*p - 3*r + 19 = 0, -4*p + 2*r + 21 = 7*r. Suppose -2*i - i = 5*y - 25, -p*i = -2*y + 10. Suppose i = l - 3*l + 182. Is 33 a factor of l?
False
Does 28 divide ((-797)/3)/(413/(-12390))?
False
Suppose -25 = -5*o + 3*r, 2*r = -0*o - 3*o - 4. Let x(h) = o*h**2 - 13 + 14 + 13*h + 5. Is x(9) a multiple of 15?
True
Let h = 13262 + -7907. Does 119 divide h?
True
Let y(z) = -5*z + 31. Let w be y(13). Let j = -32 - w. Suppose j = -3*k + 26. Is k even?
True
Let i(d) = -d**3 + 5*d**2 + 13*d - 1. Let a(w) = -6*w**3 + 31*w**2 + 78*w - 6. Let x(l) = 6*a(l) - 34*i(l). Does 14 divide x(-5)?
True
Let k(l) = 60*l - 58. Let n be k(9). Suppose 2*u - 803 = -5*a, 3*a - n = u - 2*u. Does 7 divide a?
True
Let j = -396 + 226. Is 34/j - (-10312)/10 a multiple of 15?
False
Let h(n) = 5*n + 34. Let x be ((-60)/(-36) + 0/(-2))*-30. Let z be 145/x + (-1)/10. Does 6 divide h(z)?
False
Is (525/630)/(3/4878) a multiple of 26?
False
Let b = 48 - 45. Suppose 4*h - 191 = b*h. Is h a multiple of 26?
False
Let r = 40 + -40. Is 40/(-32) - r - 1805/(-4) a multiple of 45?
True
Suppose 5*r = 4*v - 12397 - 30039, 24*r - 21218 = -2*v. Does 44 divide v?
False
Let d(g) = -16*g - 381. Is d(-45) a multiple of 109?
False
Suppose -5*v = -m + 37353, -3*v + 2165 + 35220 = m. Is m a multiple of 41?
False
Let s(r) = -2*r**3 - 133*r**2 - 104*r + 200. Does 20 divide s(-70)?
True
Let x(r) be the first derivative of 2*r**3/3 + 5*r**2/2 + 1. Let p = 1175 - 1181. Is x(p) a multiple of 7?
True
Is 9 + -8 + -2*(-2 + (-27294)/12) a multiple of 22?
True
Does 45 divide (-9585)/(-4 + 65/26)?
True
Let c be (-35)/(-28)*8/2. Suppose -c*b - 742 = -12*b. Suppose -51 = -3*p + 2*a + b, 4*p - 5*a - 200 = 0. Does 11 divide p?
True
Let n(i) = 5*i - 13. Let j(d) = -11*d + 27. Suppose 4*u + 22 = 2*u + q, -u + q - 11 = 0. Let g(a) = u*n(a) - 6*j(a). Is g(9) a multiple of 18?
False
Is (-1)/((-4 - (-224274)/56068)*-2) - 3 a multiple of 13?
True
Let b = -4093 - -12981. Does 40 divide b?
False
Let p = -124 + 333. Let l = p + 79. Is 15 a factor of l?
False
Let o(v) = -v**2 + 14 - 16*v**2 + 27*v + 61 - 5*v**2 - 7*v**2 - v**3. Is o(-30) a multiple of 11?
True
Let f be 1*(-60)/7*24024/(-208). Suppose -178*m + 183*m = f. Does 11 divide m?
True
Suppose 63*l - 13585 = 52*l. Does 9 divide l?
False
Let q = -31462 + 68062. Does 120 divide q?
True
Let t(z) be the second derivative of 275*z**4/12 - z**3/6 + z**2/2 - 50*z. Is t(1) a multiple of 11?
True
Suppose 4*f + 4 = -2*m, -2*m - f = 4*f + 6. Suppose m*i = -44 + 292. Suppose -x + p = x - 92, 0 = 3*x - 5*p - i. Is 16 a factor of x?
True
Let a = -274 + 193. Let o(c) = 4*c**2 + 4*c + 7. Let m be o(5). Let u = m + a. Is 24 a factor of u?
False
Does 16 divide 8/68 - (-11)/((-1122)/(-314964))?
True
Let k(q) = -q**2 - 14*q + 6. Let j(s) = -s**3 + 3*s + 4. Let a = 5 - 2. Let x be j(a). Is 2 a factor of k(x)?
True
Suppose 0*f = f - 4. Let r be (-56)/f*-42 + 0. Suppose m = -4*m - 4*o + r, 3*m - 354 = -2*o. Is m a multiple of 12?
True
Let o = 6875 + -5783. Is 6 a factor of o?
True
Suppose 0 = -5*t + 10*t - 975. Suppose 16*u = 15*u - t. Let h = 339 + u. Is h a multiple of 16?
True
Is ((-155960)/168)/(35/(-714)) a multiple of 68?
False
Let a = 108 + -105. Does 10 divide