). Is j(o) a multiple of 6?
False
Let s = -98 - -487. Does 33 divide s?
False
Suppose -8 = -2*c + 2. Suppose c*u + 19 = -4331. Is 22 a factor of u/(-40) + (-2)/(-8)?
True
Suppose -46*z - 10080 = -56*z. Does 48 divide z?
True
Suppose 1403 = 3*a - 1798. Does 18 divide a?
False
Let c(l) = -l**2 - 10*l + 5. Let b be c(-10). Does 21 divide (3 + 171 - 3) + (2 - b)?
True
Let m(y) = 15*y + 846. Is 69 a factor of m(26)?
False
Let p = 13 + -10. Suppose -p*v = 758 - 53. Is 13 a factor of v/(-6) - 1/6?
True
Let s(k) = -7*k + 613. Is s(29) a multiple of 10?
True
Let n = 5 + -4. Let w(u) = -8*u. Let q be w(n). Let y(b) = -4*b. Is 32 a factor of y(q)?
True
Does 16 divide (-14)/(-147) - (-13432)/84?
True
Suppose -6*j + 10*j = 712. Suppose 20 + j = 3*t. Suppose t = -s + 3*s. Is 11 a factor of s?
True
Let u(y) = 31*y**2 + 2*y + 1. Let d be (-4 + 6 - 2) + -1. Let k be u(d). Does 2 divide -2*(-5)/k*18?
True
Suppose 2*q = -q + 1290. Suppose 0 = 7*a - 11 - q. Is 21 a factor of a?
True
Suppose -2*c = 5*n - 215, -176 = -3*c + 3*n + 199. Suppose c = 4*u + u. Let y = -11 + u. Does 12 divide y?
False
Let h be 6/(-27)*-3*3. Let q be ((-3)/6*0)/h. Is 8 a factor of 1 + (11 - (q + -1))?
False
Suppose -2*b = 23 + 49. Let l = b + 74. Is l a multiple of 5?
False
Let r(o) = -o**3 - 22*o**2 - 41*o - 12. Let t be r(-20). Let i = -7 - -11. Suppose 4*x = i + t. Is 2 a factor of x?
False
Suppose -2*q = 4*q - 7032. Suppose 0 = 2*v + 4*y - 786, -v + y + q = 2*v. Is 19 a factor of v?
False
Suppose -2*q + 10 = -5*c + 3*q, -24 = -4*c - 4*q. Suppose 0 = -6*x + c*x. Suppose 4*i + x*i - 228 = 0. Does 14 divide i?
False
Suppose 0 = -3*d - u + 354, d - 102 = 5*u + 32. Does 13 divide d - ((-2)/(-2) + 1)?
True
Let k = 67 + -62. Is 6 a factor of (-2450)/(-125) + (2/k - 1)?
False
Let u(a) = 3*a**2 - 3*a - 4. Suppose -3*n = -4*j + 27, 0 = n + j + j - 1. Is 27 a factor of u(n)?
False
Does 21 divide (-7560)/2*(88/(-16) - -5)?
True
Suppose 3*i - 7 - 161 = 0. Does 7 divide i?
True
Let f = -712 + 1388. Is f a multiple of 34?
False
Let h = -610 - -1103. Is h a multiple of 18?
False
Let v(k) = -4*k**3 - 17*k**2 + 9*k - 7. Is 10 a factor of v(-5)?
False
Let u be (1/(-2))/((-1)/(-4)). Let x be (-1)/(u + (-45)/(-21)). Let j = 15 + x. Is j a multiple of 3?
False
Is 6 a factor of ((-12)/15)/(7 + 9771/(-1395))?
True
Suppose -4*m - 8379 = -10671. Is 12 a factor of m?
False
Let j(q) = 31*q + 1. Suppose 2*x = -5*x + 7. Is 16 a factor of j(x)?
True
Suppose 0 = 9*p - 241 - 200. Is p a multiple of 3?
False
Let f = 66 - 66. Suppose -s + t + 14 = f, -s + 3*t = t - 9. Does 3 divide s?
False
Does 8 divide 88 + -29 - (1 - (-2)/1)?
True
Let t = -8 - 13. Let p = t - -30. Suppose -p = -5*v + 121. Is 26 a factor of v?
True
Is 7 a factor of 17/((-170)/(-160))*(0 + 3)?
False
Suppose 4*p - 12*g = -16*g + 12720, 0 = -4*p + 2*g + 12750. Is 65 a factor of p?
True
Suppose 0 = 5*c + n + 867, -3*c - 5*n = -4*c - 163. Let p = c + 448. Is p a multiple of 25?
True
Suppose 3*f - 802 = -127. Let w = -155 + f. Let o = -34 + w. Does 18 divide o?
True
Does 12 divide (126/24)/((-24)/(-224))?
False
Suppose -9*z + 8*z + 25 = 5*c, -c = 3*z - 75. Is 13 a factor of z?
False
Is (-4)/(-42) - (-16 + (-357930)/378) a multiple of 14?
False
Let w = -543 + 1248. Is w a multiple of 57?
False
Does 32 divide (1632/9)/(4*(-7)/(-84))?
True
Suppose -5*v + 4*v = -4. Let w(r) = -4*r + 12. Let b(i) = i + 1. Let s(m) = 8*b(m) - w(m). Is s(v) a multiple of 11?
True
Let p be (2/(-10))/((-3)/15). Suppose -4*c - 12 = -4*o, -c = -0*c + p. Is o a multiple of 2?
True
Suppose -11*d + 33 = -9*d + 3*i, -5 = 5*i. Let n be 4/3*18/4. Suppose -b + 5*w = -d, b + n*w - 9 = 2*w. Is 13 a factor of b?
True
Let v(d) = 37*d**2 + 5*d + 3. Let p be (40/6 - 7) + (-2)/3. Is 5 a factor of v(p)?
True
Let i(k) = k**3 + 13*k**2 - 2*k + 14. Let v be i(-13). Suppose -l + 2*u + 50 = -v, -2*l - 5*u + 153 = 0. Is l a multiple of 21?
True
Let p(v) = -v**3 + 8*v**2 + 7*v - 10. Is 3 a factor of p(4)?
False
Let p be -12*(4/12)/(-1). Suppose -p*k = -6 - 34. Is k even?
True
Suppose 3*c + 388 = 5*r + 5*c, 5*c = -4*r + 324. Suppose -3*b + 68 + r = 0. Does 6 divide b?
True
Let x(i) = 36*i + 8. Let c be x(-1). Is 42/c*(310/(-6) + -1) a multiple of 20?
False
Let i(v) = v + 15. Suppose 0 = -3*q + q - 18. Let z be i(q). Is (0 + z)*3/6 a multiple of 3?
True
Let y(c) = c**2 - 12*c - 12. Let a be y(14). Let n = 12 - a. Does 13 divide 2*3*(-10)/n?
False
Let p be (9 - 5)/((-2)/(-4)). Let a(t) = p + t**2 + 0*t**2 + 11*t - 11*t. Is 17 a factor of a(5)?
False
Suppose -2*q = 3*q + 4*m - 216, -4*q + 175 = m. Let t = 68 - q. Is t a multiple of 12?
True
Let o = -30 + 46. Suppose -4*n = -88 - o. Suppose 0 = 3*v - 2*d - n - 103, -2*d + 6 = 0. Does 15 divide v?
True
Let p(s) = -s**2 - 9*s + 7. Let h be p(-10). Let g be ((-12)/18)/(1/h). Is (32 - 5) + (g - -1) a multiple of 15?
True
Let n = -12 + 10. Let c(j) = 6*j**2 + 3*j - 1. Let i(q) = -q. Let m(l) = c(l) + 5*i(l). Does 27 divide m(n)?
True
Suppose -z + 154 = -r - r, z - 154 = 3*r. Let k = -118 + z. Does 36 divide k?
True
Let l = 1136 + -1060. Does 19 divide l?
True
Suppose 166 = -z + 3*q + 487, 0 = 2*z + q - 677. Is z a multiple of 29?
False
Let x = -374 + 770. Is x a multiple of 24?
False
Let i(o) = -13*o + 5. Let q be i(-1). Suppose 4*s - k = 41, -2*s - 3*k + 13 = -q. Is 8 a factor of s?
False
Let h(r) = 13*r**2 + 35*r - 104. Does 12 divide h(5)?
True
Suppose 3*o - y = 122, -o - 96 = -3*o - 3*y. Suppose o = 3*f + 3. Suppose f*j = 9*j + 256. Is j a multiple of 16?
True
Suppose -3*t = q - 726, 629 = 5*t + 4*q - 581. Is 8 a factor of t?
False
Let h = 131 - 90. Suppose -2*q + 129 = 5*t + h, -3*q + 123 = 3*t. Suppose -5*j + q = -1. Is j a multiple of 3?
False
Let n(q) = 162*q**3 - q + 1. Let l be n(1). Let h be (-5)/(-15) - (-2)/(-6). Suppose h = -0*o + 3*o - l. Is o a multiple of 15?
False
Suppose 3*f - 601 = -4*c, 4*f - 484 = -5*c + 267. Suppose -2*d + 159 + c = 0. Is d a multiple of 16?
False
Suppose 0 = -5*f + 28*g - 20*g + 1128, 5*g - 443 = -2*f. Is f a multiple of 3?
False
Does 13 divide -9*(-6)/18 - -686?
True
Suppose 5*w = o + 2474, 3*w + 3*o - 1858 = -388. Is w a multiple of 13?
True
Let s(w) be the first derivative of -w**4/4 - w**3 - w**2/2 - 2*w + 3. Let t be s(-3). Let n = 7 + t. Does 4 divide n?
True
Suppose 9 = 5*q + 2*y, q - y - 10 = -4. Suppose q*p = -3*a - 3, 2*a + 2 = 2*p - 5*p. Does 4 divide -2 + 42/2 + p?
False
Let h = -368 - -462. Is h a multiple of 9?
False
Suppose 20 = 8*i - 3*i. Suppose -4*a + i*y + 160 = -4, -4*y = 4*a - 172. Is 7 a factor of a?
True
Let z = 607 - 271. Does 21 divide z?
True
Suppose -247 - 581 = -12*t. Is t a multiple of 7?
False
Let z(d) = 155*d**2 - 4*d - 2. Is z(-1) a multiple of 5?
False
Suppose -4*u - 3*s + 3 = 16, -u = s + 3. Let r = 6 - u. Is 6 a factor of r?
False
Suppose -3*q + 4*q - 7 = 0. Suppose 38 = o + q. Suppose -p = -o - 16. Does 10 divide p?
False
Let v = -510 + 858. Does 29 divide v?
True
Let p(r) = 23*r**2 - 7*r + 50. Is 25 a factor of p(6)?
False
Let d(v) = -v + v**2 - 2*v**2 - 3*v**2 - 3*v**3. Let c be (-1)/(-3)*(-54)/6. Does 12 divide d(c)?
True
Let n(l) = 6*l - 5. Let h be n(6). Suppose 4*r - h = -5*c, 5*c - 22 = -7. Does 25 divide -6 + r + 0 + 60?
False
Suppose 6*o - 5401 = -217. Is o a multiple of 10?
False
Let g(b) = 6*b**2 - 3*b - 3. Suppose 3*w = -35 - 13. Let r = -19 - w. Is g(r) a multiple of 15?
True
Let t = 5 + 3. Let k(u) = 14*u - 11. Let i be k(t). Let z = i + -36. Does 13 divide z?
True
Let i = -257 + 565. Suppose -5*o + i = 4*v, -124 - 168 = -4*v - o. Is 36 a factor of v?
True
Let y(a) = 60*a**2 - a. Let m be (2 + 0 - 2)/2. Suppose m*c - 3 = -3*c. Is 16 a factor of y(c)?
False
Suppose 0*v = -4*v + 4*r + 8, -r = -2*v. Let z(a) = -a - 23. Let l be z(-8). Does 6 divide (v - -2)/4 - l?
False
Is 4 a factor of 1734/22 - ((-217)/(-77) - 3)?
False
Suppose -2*p = 2*p + 5*l - 3, 4*p - 4 = -4*l. Suppose p*b = -2*b + 200. Does 11 divide b?
False
Let z(j) = -22*j + 4. Let c be z(2). Let t = 14 - c. Is t a multiple of 18?
True
Suppose 0*z - 23 = -3*a + z, -5*a + 5*z = -45. Let l(g) = g**3 - 7*g**2 + 5*g - 4. Is 31 a factor of l(a)?
True
Let z(s) = -6*s**3 - 2*s**2 + 16*s + 56. Is 28 a factor of z(-7)?
True
Is 34 a factor of (-9 + 2)/(-2*(-6)/(-408))?
True
Let c = 26 + -40. Let x be 4/3*(-21)/c. Suppose -r