 = -w**3 + 3*w**2 + w - 1. Let x be p(4). Let a = x + 8. Is f(a) a multiple of 3?
True
Suppose 3*x - 5*q + q - 24 = 0, 0 = -x + 5*q - 3. Let o be 1/(-3) - (-76)/x. Suppose -o*z = -2*z - 52. Is 5 a factor of z?
False
Suppose -26 = 5*w + 24. Let b(g) = g**2 + 15*g - 2. Let o(z) = -z. Let h(i) = -b(i) - 3*o(i). Is 11 a factor of h(w)?
True
Does 18 divide (-651)/(-9) - (50/15 - 3)?
True
Let d = 63 - 23. Is 10 a factor of d?
True
Suppose x = -3*x + 12. Suppose x*f - 92 = -f. Is 18 a factor of f?
False
Let b = 3 - 3. Suppose b = -2*a + 4*z + 20, 2*a - 9 = 5*z + 9. Does 7 divide a?
True
Suppose -130 = -3*g - 2*t, 48 = -4*g + 5*g + 3*t. Does 21 divide g?
True
Let y = -116 - -46. Let l = -29 - y. Is 14 a factor of l?
False
Let f(j) = 0 + 3 + j + 3*j. Let m be f(-2). Is 5 a factor of (1/3)/(m/(-75))?
True
Let y(a) = a + 12. Let f be y(-9). Suppose -5*c + 0*u = 5*u - 95, 4*c + f*u = 73. Does 16 divide c/((-9)/(-6) + -1)?
True
Suppose -3*x - 8 = -2, 4*x - 2 = -2*a. Suppose 2*d = 4*q + 78, 3*q - 13 = -a*d + 130. Is 10 a factor of d?
False
Suppose 3 = -3*o + 6, 2*d + 1 = 5*o. Suppose 5 = 5*h, -4*a + 28 = 2*h + d. Suppose 0 = x - a*x + 120. Does 8 divide x?
True
Let b = -4 - -6. Suppose 2*l + 20 = b*y - 0*l, -5*l - 25 = 0. Suppose 5*z - y*i + 1 = 6, 0 = -5*z - 2*i + 12. Is z a multiple of 2?
True
Let q be (1/(-3))/(2/(-12)). Suppose 4*n - 16 = -4*f, 6*f - f = 4*n + 11. Suppose -f*a + 160 = q*a. Does 11 divide a?
False
Let t(m) = -m**3 + 6*m**2 + 6*m + 4. Let l(x) = -6*x**3 + 30*x**2 + 31*x + 20. Let j(g) = -2*l(g) + 11*t(g). Does 14 divide j(-4)?
False
Suppose -3*d - 2*d + 35 = 0. Let k = 12 + d. Does 19 divide k?
True
Let l(a) = 127*a. Let d be l(1). Let g = 117 + d. Suppose 66 = 5*f - g. Is 21 a factor of f?
False
Let n(y) = -y**3 - 3*y**2 - 3*y + 4. Let w(k) = -3*k + 4. Let s be w(-6). Let j be s/(-6) + 3/(-9). Does 14 divide n(j)?
False
Suppose -8 = -t - 3*t. Suppose -7*p + 130 = -t*p. Suppose 0*c = c - p. Is 9 a factor of c?
False
Let o(y) = -y**3 + 5*y + 0 - 4 + 9*y**2 + 2*y**3. Suppose -5*a + 6*a = -8. Is 10 a factor of o(a)?
True
Suppose 3*t + 556 = 190. Let z be t/(-4) + (-1)/2. Suppose z = o + 2*k + 2*k, -4*o + 3*k = -82. Is 11 a factor of o?
True
Let v(h) = -h**3 + 5*h**2 - h + 2. Let p be v(5). Let l(i) = 3*i**2 - i - 1. Is l(p) a multiple of 21?
False
Suppose -25*a + 23*a = -4. Suppose -a*k + 21 + 99 = 0. Is k a multiple of 12?
True
Let l(a) = 2 - a + 2*a + 2*a**3 - 4*a**2 + 0. Let y be l(2). Suppose y*d = 40 + 32. Is 5 a factor of d?
False
Suppose -3*s + 61 - 1 = 0. Suppose -5*v + s = -90. Suppose -3*m = -2 - v. Does 4 divide m?
True
Let m = -71 - 0. Let j = m - -120. Is 19 a factor of j?
False
Let v be (-1)/(-1)*(-4 - -38). Let i = v + -22. Is 12 a factor of i?
True
Let c = 118 - 66. Does 13 divide c?
True
Suppose 0 = -9*j + 4*j - 30. Let h(k) = k + 14. Is 7 a factor of h(j)?
False
Let b be 0/(1 - (-6)/(-2)). Suppose -a - 3*w + 2*w + 22 = b, -4*a = -4*w - 64. Is a a multiple of 7?
False
Let u = -15 - -23. Is u even?
True
Let l be 1/(-2*(-1)/(-38)). Is (l + 1)*1/(-2) a multiple of 3?
True
Let i(p) = -p**3 - 8*p**2 + 2*p - 13. Is i(-9) a multiple of 25?
True
Is -1 + 2 - 1785/(-15) a multiple of 10?
True
Is (-53)/(-2) + (-4)/((-8)/3) a multiple of 14?
True
Suppose f + p = -3*p + 19, -5*p = 3*f - 64. Does 3 divide f?
False
Let c(x) = -x**2 - 4*x + 4. Let i be c(-4). Suppose 0*p - 2*p = i*h - 16, -3*p + 68 = -5*h. Does 8 divide p?
True
Let m be -1*1 - 2/(-2). Suppose -3*f + 6 = -m*f. Suppose i + 3*j = 55 - 12, 0 = -f*i + j + 51. Is 11 a factor of i?
False
Suppose 2*m = -5*m + 518. Does 10 divide m?
False
Let b be (9 - 6)/((-3)/(-7)). Suppose 3*t = -5*z + 581, -4*z + 460 = -3*t + b*t. Is 24 a factor of z?
False
Let x(v) = v**3 + 5*v**2 + 2*v - 2. Let r be x(-3). Suppose -4*o = -5*o + r. Does 10 divide o?
True
Suppose q - 36 = -3*q. Suppose 4*z - q*z = -55. Is z a multiple of 11?
True
Let u be (-5)/10 + (-394)/4. Let t be (u/6)/(1/(-2)). Suppose 5*l + 22 = p - t, -5*l + 170 = 4*p. Is 15 a factor of p?
True
Let j(o) = -o**2 + 12*o - 21. Is j(4) a multiple of 2?
False
Let b(m) = 2*m**2 + 2*m + 4. Let y be b(-4). Let j = y + -16. Is j a multiple of 6?
True
Suppose -3*x + 420 = 2*x. Suppose x = 4*b + 5*c, 0*b + 3*b + c - 74 = 0. Is b a multiple of 10?
False
Let n be 2/(-4) + 15/6. Suppose 0 = -n*i - 3*x + 12, 3*i = 5*i + 4*x - 10. Suppose 5*h + 2*y = y + 33, i = 3*h - 3*y. Is 3 a factor of h?
True
Is 0/(-3) - 2 - -28 a multiple of 16?
False
Let b(c) = 2*c - 3. Let z be 5 + (3 - 5) + 3. Is 4 a factor of b(z)?
False
Suppose 0 = -0*u + u - 4, -4*u = -5*y + 834. Suppose 0*z + y = -5*z. Let s = z + 74. Is 20 a factor of s?
True
Suppose -5*q - 3*f = 56, 3*q - 3*f + 54 = 2*f. Does 7 divide 1/(((-1)/q)/1)?
False
Suppose -6*t = -4*t - 54. Let a = t - 18. Is a a multiple of 2?
False
Suppose -14*r - 160 = -19*r. Is r a multiple of 22?
False
Let u(g) = 2*g + 8. Let c(b) = b**3 + 10*b**2 - 13*b - 14. Let r be c(-11). Let w be u(r). Does 12 divide (-3 + 4)/(2/w)?
True
Let s = 0 + -6. Let y be 151/s - (-2)/12. Is 1 - (-2 + y/1) a multiple of 14?
True
Let m = 1 - -3. Let k = 13 - m. Is 3 a factor of k?
True
Let w(m) = 8*m**3 - 2*m**2 - 3*m + 2. Let z be w(2). Let a = 154 - z. Let c = 150 - a. Does 17 divide c?
False
Suppose y = 3*h + 4, -3*h = 4*y - 6*h - 16. Suppose y*c = 65 + 99. Does 19 divide c?
False
Suppose 0 = -b - 0*b + 6. Is 3 a factor of b?
True
Suppose 11*x = 128 + 37. Does 6 divide x?
False
Let v(r) = r**2 + 6*r - 6. Let s be (-296)/36 + 4/18. Let x be v(s). Suppose -5*b + x*b = 25. Does 2 divide b?
False
Suppose -2*x + 2*b = -0*x, 0 = -4*x + 3*b + 4. Suppose -3*v + x*v - 6 = 0. Is v even?
True
Let v(h) = 3*h - 1. Let f be v(1). Suppose 0 = -5*y + f*y + 135. Is 12 a factor of y?
False
Let q be 1/3 - (-2)/(-6). Suppose q = k - 2*k + 11. Is k a multiple of 3?
False
Is 7 a factor of (1*(-14)/21)/((-4)/198)?
False
Let y be 0/(2/((-6)/(-9))). Suppose -3*b + 18 = -y*b. Is b a multiple of 6?
True
Suppose 3*z + 30 = 8*z - 2*g, 5*g = 2*z - 33. Suppose -z*f = o - 28, -2*o = -2*f - 46 - 10. Does 7 divide o?
True
Let h = -9 - -52. Is 3 a factor of h?
False
Let x(j) = j - 3 - j**2 + 10*j + 5. Let h be x(5). Let n = h - 0. Is n a multiple of 14?
False
Suppose -w + 0 + 2 = 0. Suppose 18 = -w*g + 144. Does 26 divide g?
False
Let z(p) = 13*p**2. Let x = -2 - -1. Is 13 a factor of z(x)?
True
Let i = 18 - 11. Does 5 divide i/(-21) + (-46)/(-3)?
True
Suppose 54 + 210 = 2*p. Does 11 divide p?
True
Suppose 44 + 45 = o + 5*b, -3*b = -4*o + 241. Is o a multiple of 8?
True
Let n be ((-24)/(-10))/((-5)/(-50)). Suppose 5*p - 70 = -3*b, 4*p - 4*b = -0*b + n. Is p a multiple of 11?
True
Let i(a) = 44*a**2 - a + 2. Is 26 a factor of i(-2)?
False
Suppose 7*b - 3*b = 188. Let u = -27 + b. Suppose -u = -5*m + m. Is 2 a factor of m?
False
Let x(m) = m**3 + 4*m**2 + 4*m - 4. Let f be x(-4). Let t = 31 + f. Is t a multiple of 10?
False
Let y = -4 - -108. Let x = -2 + 2. Suppose -5*g + 136 + y = x. Does 17 divide g?
False
Let b be (-1510)/(-15) - 2/3. Suppose -b = -4*t + 3*v, 4*v + 74 = 3*t + 2*v. Does 11 divide t?
True
Let f(w) = w**3 - 4*w**2 - 9*w + 8. Does 23 divide f(7)?
True
Let f(p) = p**2 - 2*p + 13. Is f(4) a multiple of 3?
True
Suppose 4*c - 137 = -5. Does 19 divide c?
False
Let m be -1 + 2 - (-1 + 1). Suppose -2*w + 39 + m = 0. Suppose -w - 19 = -3*g. Is g a multiple of 13?
True
Is 160/9 + 12/54 even?
True
Suppose -n + 35 = 130. Let v = -63 - n. Does 14 divide v?
False
Suppose 5*v = -3*u + 402, 3*u = u - v + 268. Is u a multiple of 17?
False
Suppose -k = -3*t + 66 - 24, 3*t - 4*k = 33. Is 15 a factor of (-9)/t - (-1440)/25?
False
Let y be (-6 - -2)*5/4. Let m(q) = 5*q**3 + 5*q**2 - 6. Let j(a) = -a**3. Let c(t) = -4*j(t) - m(t). Is c(y) a multiple of 3?
True
Suppose 0 = -3*z - 3*u + 19 + 128, u - 2 = 0. Is 10 a factor of z?
False
Let c be (14 + -13)*6/2. Suppose -4*i - 2*y + 68 = 0, 38 = -2*i + 4*i + c*y. Is 7 a factor of i?
False
Suppose 2*t = 201 + 23. Suppose 0 = 6*l - 32 - t. Is 8 a factor of l?
True
Let j(y) = y**2 + 3*y - 3. Let x(w) = -2*w + 10. Let u be x(7). Let m be j(u). Let g(a) = 18*a**2 - a. Is 5 a factor of g(m)?
False
Let n = 648 + -413. Does 13 divide n?
False
Suppose -8 = -5*f + 3*f. Let t(l) = 6 - f*l + 8 + 3*l. Does 7 divide t(0)?
True
Let p(a) = -a**2 + 3*a.