+ p - 8. Let s be k(5). Suppose 0*j - j = -s. Does 8 divide j?
False
Let p(k) = 14*k + 10. Let s = -25 - -48. Suppose 25 = 3*x + 2*b, 2*x + 3*b - 2 = s. Does 20 divide p(x)?
True
Suppose 0 = -5*v - 25 + 315. Let z = 12 + v. Is 14 a factor of z?
True
Let o(n) = -8*n. Suppose -4*f - 4*a - 24 = 0, -f + 8 - 15 = 2*a. Let k be o(f). Suppose -3*g - 2*g = -k. Is g a multiple of 8?
True
Suppose 0 = -15*n + 20 - 500. Let i = n + 226. Is 40 a factor of i?
False
Suppose 0 = 4*w + 2*k - 6890, -4*k = k + 15. Is w a multiple of 110?
False
Suppose -3*s + 15 - 2 = -r, -1 = s + r. Suppose -297 = -s*x + 4*f - 55, 2*f - 386 = -5*x. Is x a multiple of 13?
True
Suppose 2*r - 1198 = -q, 7*q = 3*r + 9*q - 1797. Does 9 divide r?
False
Suppose 4*j - 3*j + 23 = -5*u, j + 3 = 0. Let r be u + 1 + 87 + -3. Suppose y + r = 4*y. Is 9 a factor of y?
True
Let o(c) = c**2 - 9*c + 17. Let j be o(7). Suppose -9 - 15 = -j*v. Does 3 divide v?
False
Suppose -4*s + 22 = j, -4*j + 2*s + s + 126 = 0. Let k be j/(-2 + 4 - 1). Suppose 4*t = 5*a + k, 0 = -5*a + 2*a + 6. Does 5 divide t?
True
Let g be (-40)/15 - (-3)/(-9). Does 16 divide 47*(g + 4) + 0?
False
Let a = 69 - -327. Is 11 a factor of a?
True
Is 5 a factor of (-126)/(-4)*(-192)/(-36)?
False
Is 29 a factor of ((-87)/6*1)/(6/(-48))?
True
Does 109 divide 1 - (15/60 + (-28658)/8)?
False
Is 677/5 - (-62)/(-155) a multiple of 15?
True
Suppose 6*f = 4*s + 10*f - 688, 4 = f. Is s a multiple of 42?
True
Suppose 57*n - 2889 = 54*n. Does 88 divide n?
False
Let x(v) = -15*v**3 - v**2 - v. Let p be 6/4*(-8)/12. Let c be x(p). Does 14 divide -4 + (12*c)/3?
True
Suppose 41*c - 12*c = 11165. Is 52 a factor of c?
False
Let l(r) = r**3 + 8*r**2 - 11*r - 6. Suppose -2*m + 3 + 4 = -f, 0 = -2*f + m + 1. Suppose -p - 4 = -5*t + 9, -p + f*t = 11. Is l(p) a multiple of 22?
False
Let q = -32 - -37. Suppose 0 = -2*y + 3*x + 251, 2*y + 106 = 3*y + q*x. Is y a multiple of 19?
False
Suppose p + 243 + 111 = b, -1422 = -4*b + p. Is 9 a factor of b?
False
Let c(x) = 4*x**2 - 16*x + 10. Let n be c(6). Let g = n + -1. Is 17 a factor of g?
False
Let a = -1405 + 2073. Does 14 divide a?
False
Suppose -7*a + 3 = -6*a. Suppose q - 4*q - 540 = -5*b, 2*q - 305 = -a*b. Is b a multiple of 25?
False
Let w(v) = 37*v + 3. Let h be w(4). Let y = h - 51. Does 20 divide y?
True
Suppose -4 = 3*y - 1. Let b be 4/y*(-36)/(-8). Is 2 a factor of ((-18)/(-4))/(b/(-24))?
True
Suppose 4*u - 7 = 1. Let m be 458/u + (-28)/7. Suppose 309 + m = 6*x. Is x a multiple of 14?
False
Suppose 0 = m - 3*w + 8 + 28, -w = -3. Is 4 a factor of 84/(-1)*(m/18 + 1)?
False
Let b(j) = -53*j - 9. Let v be b(-3). Is 19 a factor of 4/30 + 11530/v - 1?
True
Let v = 63 - 63. Suppose -c + 2*c + 410 = 3*d, 3*d + 3*c - 390 = v. Is d a multiple of 17?
False
Let r(m) be the third derivative of m**5/15 - m**4/3 + 17*m**3/6 + 22*m**2. Is r(7) a multiple of 16?
False
Is (96/192)/(-1 + 1025/1024) a multiple of 32?
True
Let g be (-2)/(-5 - 54/(-10)). Is 29 a factor of (-66 + 15/g)*-1?
False
Suppose -6*s = -201 - 105. Is 24 a factor of s?
False
Let t(y) = 217*y**3. Does 6 divide t(1)?
False
Let o(r) = 45*r**2 + 49*r - 58. Does 26 divide o(-9)?
True
Suppose -2*f = 11 - 21. Suppose -55 = -0*s - f*s. Is 2 a factor of s?
False
Let t(k) = k**2 - k - 1. Let r(n) = 44*n**2 + 4*n + 4. Let w(v) = r(v) - 3*t(v). Is w(-1) a multiple of 12?
False
Let v(p) = 6*p - 24. Let a be v(4). Does 5 divide ((-17)/((-102)/(-396)))/(a - 2)?
False
Let h be 2*(0 + (-9)/6). Let w(i) = -46*i - 1. Let p be w(h). Suppose 0 = -4*q + p + 175. Is 20 a factor of q?
False
Let y(m) = -m**3 + 15*m**2 + 17*m - 11. Let p be y(16). Suppose -9*g + 720 = -p*g. Is g a multiple of 30?
True
Suppose 4*m - 9700 = -5*d + 8*d, 2*m - 3*d - 4856 = 0. Is m a multiple of 70?
False
Let k(m) be the third derivative of 1/120*m**6 + 0*m - 1/6*m**3 - 1/8*m**4 - 3*m**2 - 1/20*m**5 + 0. Is 17 a factor of k(5)?
True
Let v = 11 - 3. Suppose j = 3*b + 2*j - v, -4*j = -20. Does 19 divide (-168)/(-3) - (b - 2)?
True
Suppose 665 = 8*o - 1239. Is 7 a factor of o?
True
Suppose 39*i - 51*i = -1440. Is i a multiple of 4?
True
Let n(m) = 3*m**2 + 23*m - 20. Let l(y) = 2*y**2 + 11*y - 10. Let q(i) = -5*l(i) + 3*n(i). Suppose 0 = 5*x - 214 + 164. Does 13 divide q(x)?
False
Suppose q - 29 = -3*v, -4*q + 31 - 27 = -2*v. Is 8 a factor of v?
True
Let y = -273 + 286. Is y a multiple of 10?
False
Suppose 0 = 14*s - 104 - 148. Is 5 a factor of s?
False
Suppose 39*y + 15427 = 69169. Is y a multiple of 13?
True
Let h(s) = s + 23 - s**3 + 3*s + 11*s**2 - 10 - 3. Let l be h(10). Suppose 5*j + 0*j = l. Does 15 divide j?
True
Let s be ((-3)/(-2))/1*-10. Let m = s + 34. Does 4 divide m?
False
Let s(y) = -y**3 + 12*y**2 - 11*y + 6. Suppose -4*t + 0*t + 2 = 2*k, -5 = 5*t + 4*k. Suppose t*o + 11 = q, 3*o = -q - 4*q + 55. Is 5 a factor of s(q)?
False
Let c be (8 - -51)/(2/12). Suppose 3*o - 2*n - 6 - 9 = 0, 0 = 5*o - 4*n - 25. Suppose -c = -o*z - 109. Does 15 divide z?
False
Suppose 20 = l - 6*l, -l - 19 = -5*p. Suppose y - h - 17 = -5, p*y = 2*h + 40. Is 3 a factor of y?
False
Let b(m) = 44*m**2 + 3*m + 1. Let k(r) = 45*r**2 + 4*r + 1. Let t(j) = 4*b(j) - 3*k(j). Is t(-1) a multiple of 7?
True
Suppose 75*w - 60344 = -w. Does 40 divide w?
False
Let k(y) = -2*y**3 - 5*y - 5. Let c be k(-5). Does 15 divide (-8)/(-3)*c/8?
True
Let k(w) = -w**3 - 12*w**2 + 10*w + 32. Let l be k(-14). Suppose 3*b - 138 = -7*v + 5*v, 4*v = -2*b + l. Is 9 a factor of v?
True
Let f = -45 + 49. Suppose -4*q + 197 = 4*g - 3*q, -2*g = -f*q - 94. Is g a multiple of 4?
False
Does 23 divide 367 - (54/(-9) - -5)?
True
Suppose 0 = 3*y - 3*v - 741, 10*v - 5*v = -2*y + 501. Does 8 divide y?
True
Let j = 514 - 253. Is j a multiple of 14?
False
Let h(i) = -i**3 + 6*i**2 - 3*i + 2. Let q = 60 - 55. Is 12 a factor of h(q)?
True
Let v(y) = y**3 + 5*y**2 - 11*y - 15. Let a be v(-6). Let i = a - 1. Is 2 a factor of (-150)/(-35) + (-4)/i?
True
Suppose -175 = 13*v - 14*v. Does 39 divide v?
False
Suppose 4*z + 2 = -3*g, -3*g = -4*g + z - 3. Is -1 - g/(-4)*(-91 - -5) a multiple of 21?
True
Let o be -11 + 13 - (-1)/1. Suppose 0 = -0*n - 5*n + 10. Suppose n*y - 160 = -o*y. Is y a multiple of 16?
True
Let s(j) = -128*j - 260. Does 63 divide s(-19)?
False
Let z(b) = -3*b + 6. Let f be z(7). Let l(h) = h**3 + 15*h**2 + 5. Let w be l(f). Suppose 0 = -8*i + 3*i + 20, 0 = -w*m + i + 86. Does 9 divide m?
True
Let a(b) be the first derivative of -b**4/4 - 11*b**3/3 + 4*b - 7. Let r be a(-11). Suppose -u = -r*j - 55, -2*u + 2*j = 5*j - 66. Is u a multiple of 7?
False
Let x = -12 + 16. Suppose 5*b - 4*m = 44, x*b - 2*m = m + 36. Is 17 + 3/(9/b) a multiple of 9?
False
Suppose 0 = 27*n - 28*n + 1260. Is 35 a factor of n?
True
Suppose -4*c + 860 = 524. Does 12 divide c?
True
Suppose 0 = -z + 5*z - 144. Is z a multiple of 9?
True
Let s(w) be the second derivative of -w**5/20 - 7*w**4/12 - 5*w**3/6 - 9*w**2/2 - 4*w. Let h be s(-6). Is h/(-10)*(-44)/(-3) a multiple of 11?
True
Suppose -21*u = -24*u + 33. Suppose 0 = u*g - 12*g + 55. Is g a multiple of 5?
True
Suppose 9*j = 11*j. Suppose 5*o - 4*o = j. Suppose o*k - 12 = -4*i + 2*k, i + 2*k = 8. Is 2 a factor of i?
True
Let h(q) = -q**3 - 5*q**2 + 10*q + 2. Let a(m) = m. Let p(y) = 3*a(y) - h(y). Is 11 a factor of p(-5)?
True
Let x(l) = 3*l + 20. Let h be x(-5). Suppose -3*r - 14 = -h*r. Does 7 divide r?
True
Suppose 32*m - 36*m + 2220 = 0. Let n = 799 - m. Is n a multiple of 16?
False
Let d(n) = 2*n**2 + 6*n. Let o be d(5). Suppose 6*t - 418 = o. Is 16 a factor of t?
False
Let k be -5*(2 + (-11)/5). Suppose -3*i - k + 64 = 0. Suppose -4*g + i = -g. Is g a multiple of 3?
False
Suppose 10 - 26 = -4*d. Suppose 0 = -q - 3, 2*q + 1069 = d*u - q. Is u a multiple of 49?
False
Is (47 + -50 - 322/(-8))*4 a multiple of 12?
False
Let a(v) = -174*v**3 + v**2 + v + 1. Let d be a(-1). Suppose 4*b + r - 22 = 0, -1 = -4*r + 7. Suppose 85 = b*n - d. Is 10 a factor of n?
False
Suppose 5*w = 5*i - 178 - 7, -w - 189 = -5*i. Is 19 a factor of i?
True
Does 70 divide 741 + (5 - 8 - -7)?
False
Let u = -551 - -2764. Is u a multiple of 43?
False
Let n(o) = -4 + 1 + o**2 + 6 - 2*o. Let j = 175 + -170. Does 5 divide n(j)?
False
Let q be 5 - (2 - 2)/(-1). Suppose 0 = -q*g - l + 110, -2*g + 0*g + 44 = -l. Let d = 46 + g. Is 17 a factor of d?
True