 Suppose -c*s + 3*f = -123, -4*s - f = -6*f - 245. Is 5 a factor of s?
True
Let g = 1051 - 943. Does 5 divide g?
False
Suppose 12 = 3*h + 4*j - 14, -28 = -3*h - 5*j. Suppose -h*a = -3*a - 192. Is a a multiple of 32?
True
Let k = -3493 - -7507. Is 10 a factor of k?
False
Suppose -4*g = 2*g - 3060. Suppose 2*a + g = 7*a. Is a a multiple of 17?
True
Suppose -k + 26 = 2*s - 0*s, 2*k = -2*s + 28. Suppose 0 = 12*q - 9*q - s. Suppose 5*n - 130 = -2*p, q*p = 8*n - 4*n - 76. Is 24 a factor of n?
True
Let o(m) = -m**2 + 5*m + 1. Let x be o(4). Let w = x + -9. Does 11 divide (-3)/12 + (-109)/w?
False
Let w(y) = y**3 - 6*y**2. Let f be w(6). Suppose -3*v + f*i + 19 = 5*i, -4*v - 5*i = -22. Let b(x) = 3*x**3 - x**2 + 3*x. Is b(v) a multiple of 31?
False
Let w(d) = d**3 + 2*d**2 + 3*d + 4. Is 13 a factor of w(4)?
False
Suppose 0 = w + w - 4, 4*h + w + 218 = 0. Let x = -32 - h. Is x a multiple of 5?
False
Let o be (3 - (-3)/(-3)) + 26. Let g be -3 + (3 - 4 - o). Let t = 73 + g. Is t a multiple of 15?
False
Suppose -3*o + 993 = m, 2*m - 288 = 2*o - 942. Suppose -x - o = -4*x. Is 16 a factor of x?
False
Let k be (1110/(-12) + 3)/(2/(-12)). Suppose -r - 2*r = -k. Is r a multiple of 11?
False
Let o(m) = -2*m**3 - m**2 + 4*m + 5. Let i be o(-2). Suppose -2*p = -i - 55. Is 6 a factor of p?
False
Let g = 1432 + -872. Is g a multiple of 56?
True
Suppose 146*b - 342 = 144*b. Is 19 a factor of b?
True
Let t = -200 + 256. Is 7 a factor of t?
True
Let p = -9 - -5. Let b be 46/4 + 2/p. Suppose -5*u = -196 + b. Is u a multiple of 14?
False
Let m(v) = v**2 - 33*v + 202. Is 14 a factor of m(29)?
False
Let m be -1 + 0 + -1 - 1. Let s be (-1)/(93/(-30) - m). Suppose -6 = -13*f + s*f. Is f even?
True
Let p(r) = -r**3 - 15*r**2 - 2*r - 13. Let v be p(-15). Let j = v + -9. Suppose -5*c - 30 = -j*c. Is 4 a factor of c?
False
Let b be (123/2)/(4/8). Is (b - 0)*21/63 a multiple of 15?
False
Let u = -187 + 327. Is 10 a factor of u?
True
Let x(n) = n**3 + 10*n - 5*n**2 + 10*n**2 + 7 + 3*n**2. Let b be x(-8). Let t = -44 - b. Does 17 divide t?
False
Let h = -135 + 401. Is h a multiple of 14?
True
Let w(u) = -u**3 + 8*u**2 - u + 8. Let v be w(8). Let s(t) = 1 + v + 14*t - t. Is 7 a factor of s(1)?
True
Let h(g) = -14*g - 46. Let i be h(-6). Suppose 2*s - 3*s = 15. Let c = i + s. Does 7 divide c?
False
Let i(h) = 54*h**2 - 2*h - 1. Let p be i(2). Let v = p - -125. Is 42 a factor of v?
True
Let o(y) = y**2 + 2*y - 3. Let p be o(-4). Suppose 2*q - 7*q - 340 = -5*l, q = -3*l + 224. Does 14 divide l/5 + (-3)/p?
True
Let b(w) = -4*w + 2. Suppose 0 = -7*o + 2*o + 50. Let v(t) = t**2 - 9*t - 13. Let f be v(o). Is 3 a factor of b(f)?
False
Suppose 63 + 171 = 6*y. Does 23 divide y?
False
Suppose 7 = -o + 59. Let g be (1/(-3))/(10/(-120)) + -1. Suppose 160 = g*q + o. Does 12 divide q?
True
Let b(r) = 5*r**3 + 4*r**3 - 10*r + 3 - 10*r**3 + 7*r**3. Does 27 divide b(3)?
True
Suppose h - 42 = 5*p + 94, 3*h = -4*p + 313. Is 3 a factor of h?
True
Suppose 2*r + r - 381 = 0. Suppose 0 = 6*o - 125 - r. Does 8 divide o?
False
Suppose 4*i - 2*q = -0*i + 14, -4*i + 11 = -3*q. Suppose 0*v + 4*o - 120 = -3*v, -i*v + 186 = 2*o. Is 12 a factor of v?
True
Suppose 17*h = 15*h + 7666. Is 65 a factor of h?
False
Is 1/(-4)*7420/(-35) a multiple of 53?
True
Let c(k) = 3*k**2 + k. Let g(z) = -10*z**2 - 4*z - 1. Let q(o) = -14*c(o) - 4*g(o). Let y(h) be the first derivative of q(h). Is 7 a factor of y(-3)?
True
Let u(l) = 16*l**2 + 4*l - 6. Let o be u(2). Let x = o - -24. Does 18 divide x?
True
Is 19 a factor of 11 + (-3 - 8) + 19*6?
True
Suppose -5*p = -215 + 20. Suppose -7*k = -5*k + 14. Is k + p + 1 + -3 a multiple of 18?
False
Let z(t) = -t**3 + 27*t**2 - t - 81. Is z(25) a multiple of 26?
True
Let j = 117 + -93. Suppose 2*z + 16 = 3*q, 5 = -5*q - 3*z - 0. Suppose q*s = -5*c, -c - 10 - j = -3*s. Is 4 a factor of s?
False
Let q be (-40)/(-15) + 6/(-9). Suppose q*x = 3*x - 108. Does 27 divide x?
True
Suppose 4*l + 269 = 4*o - 3*o, 2*l - 1004 = -4*o. Does 11 divide o?
True
Let b = -1673 - -2711. Does 76 divide b?
False
Suppose 38*t = 45*t - 10346. Is t a multiple of 10?
False
Suppose 0 = -w - 2, 10 = 4*n - 4*w - w. Suppose m - 2*m + 4 = n. Suppose 529 = m*f + 193. Does 21 divide f?
True
Let k = -43 - -45. Suppose k*t = -4*y + 148, 3*t - y = 2*y + 177. Is t a multiple of 11?
False
Suppose -x - 4*b = -444, -x + 5*b + 542 - 53 = 0. Is x a multiple of 101?
False
Suppose -7*y + o = -6*y - 350, 3*y - 2*o = 1050. Is y a multiple of 5?
True
Let g(j) = -4*j**2 + 41*j - 5. Let d be g(10). Suppose 0*z = 4*z - 4. Let a = z + d. Is a a multiple of 6?
True
Let a be (-3)/(0 + (-1)/(-21)). Let k = a + 66. Does 3 divide k?
True
Let m be -5 - (1 + 3) - 3. Let h be 506/3 + 8/m. Suppose 0 = -4*y + 2*y + h. Is y a multiple of 14?
True
Let v(w) = -2*w - 21. Let f be v(-13). Suppose 3*g + a = 2*g + 115, -591 = -f*g - a. Is 17 a factor of g?
True
Suppose u = -3*u + 32. Let s be 12*2/u*3. Does 34 divide (-1)/((s/68)/(-9))?
True
Let l = 12 - -114. Suppose 8*a = a + l. Is a a multiple of 4?
False
Let x = 376 + -257. Is 11 a factor of x?
False
Suppose -40*b + 39*b = -2*l - 3851, -3857 = -b + 5*l. Is 12 a factor of b?
False
Let t(s) = -14*s - 4. Let m be t(-3). Let d = m + -41. Does 17 divide -3 - d - (-2 - 100)?
True
Suppose -5*b + 3*d + 3655 = 0, 2655 - 468 = 3*b - 3*d. Is 21 a factor of b?
False
Suppose -4*t + 5*w = -838, 86 - 502 = -2*t + 4*w. Is 13 a factor of t?
False
Suppose 0*o + p - 90 = -o, 0 = -2*p. Does 11 divide o?
False
Let o(n) = 99*n - 246. Is 14 a factor of o(8)?
True
Let c be -3*2*(-2)/12. Suppose -5*z + 5*o - 2*o + 6 = 0, 4*z = -2*o - 4. Does 2 divide 14/7 + z + c?
False
Let i(x) = x**2 + 18*x - 3. Let f be i(-8). Let o = -44 - f. Is o a multiple of 4?
False
Let x be (2/3)/((-28)/(-36) - 1). Let n(m) = -2*m**2 + 5*m - 3. Let v be n(3). Does 17 divide (-150 + x)*2/v?
True
Let c = 2 + -1. Suppose 0 = 5*j - 2*o + 1 - 17, 3*j = 3*o + 15. Is 7 a factor of 0 - j - (-16)/c?
True
Let l be (-1 - -111) + 14/7. Let k be l/6 - (-4)/(-6). Suppose x - k = 2*r + 7, -r = -2*x + 38. Is 6 a factor of x?
False
Suppose 3*s - r - 4192 + 378 = 0, 2 = -2*r. Is 41 a factor of s?
True
Suppose 3*p - 38 = -8. Let r = 13 - p. Suppose 0*i = r*i - 57. Is i a multiple of 16?
False
Let v(w) = 2*w**2 + w - 2. Let d be v(-4). Suppose 0 = 5*u - 15, 0*p + p - u - d = 0. Is 20 a factor of p?
False
Suppose 5*u = -5*t + 198 - 68, -u - 3*t + 22 = 0. Does 28 divide u?
True
Is 9/180*12 - (-1194)/10 a multiple of 5?
True
Suppose -8153 = -16*i + 1831. Does 48 divide i?
True
Suppose -i + 2245 = 4*t + t, -3*i - 4*t + 6691 = 0. Is 80 a factor of i?
False
Let x(q) be the first derivative of q**4/12 - 2*q**2 + q - 3. Let c(g) be the first derivative of x(g). Does 7 divide c(5)?
True
Let q(t) be the first derivative of -t**7/840 + t**6/45 - t**5/24 - t**4/24 + 13*t**3/3 + 2. Let p(f) be the third derivative of q(f). Is 8 a factor of p(7)?
False
Let c(q) = 2*q**3 - 3*q + 3. Let b be c(2). Let u = b + 75. Does 23 divide u?
False
Is 32 a factor of 678/7 - 120/140?
True
Let r(n) = n**2 - n. Let a(j) = 10*j**2 - 3*j - 3. Let x(w) = a(w) + 2*r(w). Is 7 a factor of x(3)?
False
Let v(a) = 4*a**3 - a - 2. Let x be v(-1). Let u(k) = -6*k - 4. Does 26 divide u(x)?
True
Let o = -10 + 27. Suppose o*j - 15*j = 280. Does 20 divide j?
True
Let r be (3 - 4)*-1 - 87. Let b = -19 - r. Is 12 a factor of b?
False
Let t be (-1 - (0 - -3)) + -2. Does 16 divide ((-912)/(-18))/((-4)/t)?
False
Let z(l) = -1 + 38*l + 71*l + 4 + l. Does 33 divide z(1)?
False
Let r = -218 - -99. Let y = 173 + r. Does 18 divide y?
True
Suppose -2394 = -7*v + 12166. Is 26 a factor of v?
True
Let j(u) = -4*u - 6. Let v be j(-3). Suppose -5*s = -v - 24. Suppose -10*a = -s*a - 72. Does 18 divide a?
True
Suppose -3*t = -4*k + 11, 2*t + 4*k - 30 = -4. Suppose 0*d - 84 = -i - t*d, 5*d = 4*i - 268. Is 6 a factor of i?
True
Let p = -27 - -37. Let a(m) = m + 14. Does 24 divide a(p)?
True
Suppose 0 - 4 = l - 4*g, -5*l = -g - 18. Is 8 a factor of ((-6)/l)/(21/(-434))?
False
Suppose -9*j + 4*j + 25 = 0. Is -2 - 4*j/(-2) even?
True
Suppose 8*d - 5*d = 312. Suppose 0 = -3*i + d + 148. Is i a multiple of 14?
True
Suppose 45*b - 48*b = -654. Does 25 divide b?
False
Is 10 a factor of (4 + (-2)/1)/(16/2808)?
False
Suppose 3*z + 4 = 10. S