rue
Let c(w) be the third derivative of w**6/120 + w**5/20 + w**3/3 + 8*w**2. Is c(-3) even?
True
Let j(t) = t + 3. Let x be j(0). Let u(m) = -m**2 + 8*m + 2. Let y be u(8). Suppose 105 = x*o + y*o. Is o a multiple of 9?
False
Let i = -52 + 124. Suppose 0 = -t - 4, 4*d = -6*t + t + i. Is d a multiple of 22?
False
Suppose 14 = 3*u + 2. Let t = u - -35. Does 13 divide t?
True
Suppose -2*o = 5*g + 10, -3*o - 3*g - 7 + 1 = 0. Suppose 5*p + 5*u = -10, o = p - 0*u + 2*u + 6. Suppose 3*j - 35 = -2*i - 0*i, i + 21 = p*j. Does 4 divide j?
False
Let v be 6/9 + (-32)/(-6). Let t(g) = g**3 - 5*g**2 - 5*g - 3. Let u be t(v). Suppose 0 = -u*n - 22 + 70. Does 8 divide n?
True
Suppose 5 = -21*r + 22*r. Suppose 0*i - r*i + 45 = 0. Does 4 divide i?
False
Suppose 9*r - 20 = 7*r. Let p(i) = -i**3 + 11*i**2 - 9*i - 9. Let a be p(r). Let o(u) = 6*u**3 - u**2. Does 5 divide o(a)?
True
Is -1*6/18*-522 a multiple of 29?
True
Let u(z) = -z**3 - 53. Let q be u(0). Let b = q + 98. Is b a multiple of 15?
True
Let x(m) = -2*m**3 - 7*m**2 - m + 6. Does 12 divide x(-5)?
False
Let a(y) = 34*y - 6. Is 22 a factor of a(4)?
False
Let j = -7 - -9. Let x(c) = -13*c**2 - 6*c**j - c**3 + 13 + 7*c**2 - 12*c. Does 15 divide x(-11)?
False
Let o(q) = 4 - 8*q - 2 - 4*q. Let z be o(-2). Let u = z + -13. Is u a multiple of 6?
False
Let c = -21 - -30. Suppose -4*p + 3 = -c. Suppose p*i = 4*h - 82 - 9, 2*h + 2*i - 28 = 0. Is h a multiple of 8?
False
Suppose 2*k + 5 = -7. Is ((-4)/k)/(1/33) a multiple of 11?
True
Let a(n) = n**3 - 4*n**2 + 7*n - 10. Is 13 a factor of a(6)?
True
Suppose 0 = 2*r - 112 + 16. Does 8 divide r?
True
Let i be (-1)/3*(-1 + 1). Suppose 2*k = i, -q + 6*q + k = 0. Suppose -3 - 29 = -2*n + 4*o, -4*n + 3*o + 54 = q. Is n a multiple of 12?
True
Let n(s) = 2*s**2 + 2*s - 1 + 2*s**2 - 5*s**2 + 2*s**2. Does 7 divide n(-4)?
True
Let f(w) = -14*w - 20. Is f(-5) a multiple of 12?
False
Let w(t) = t**2 - 4*t - 12. Suppose 11 = -4*l + 51. Does 24 divide w(l)?
True
Let w(b) = b**2 - 3*b + 3. Let l be w(3). Suppose 4*x - 20 = -v, -36 = -6*v + 2*v - 5*x. Does 2 divide (-3)/(l*(-1)/v)?
True
Let w(g) = 7*g**3 - 1. Let t be w(1). Let p be -2 + t + 2 + -2. Suppose i - 75 = -p*i. Does 15 divide i?
True
Let p(k) = -k**2 + 44. Is 10 a factor of p(0)?
False
Let b = -4 - -21. Is b a multiple of 8?
False
Suppose -2*j + 359 = 2*v + 3*j, 0 = -3*v + j + 564. Suppose -v = -4*z - 75. Is 7 a factor of z?
True
Suppose -3*r + 8 = -r. Suppose r*b + 18 = -5*l, -l + 5*b = -6*l - 15. Is 3 a factor of 38/6 - 4/l?
False
Suppose -5*o - u + 7 = -4*o, 3*o - 4*u - 35 = 0. Is 95/3 + o/27 a multiple of 16?
True
Let s(t) = -2*t**3 - 6*t**2 - 5*t + 3. Is 11 a factor of s(-4)?
True
Let a = 2 + 2. Let b(p) = 2*p**2 - 2*p - 4. Let s be b(a). Suppose 3*f - 13 - s = 3*r, 3*f = -2*r + 13. Is f a multiple of 4?
False
Suppose -v - 5*i = -35, 7*v - 2*v - 175 = -i. Does 2 divide v?
False
Suppose 0 = -4*f + 75 + 57. Does 11 divide f?
True
Let x(c) = -11*c**2 + 3*c + 2. Let i be x(-2). Is 18 a factor of 13/(-3*4/i)?
False
Let y(k) = k**2 - k - 3. Let i be y(3). Suppose -i*t - 82 + 250 = 0. Suppose -2*r = 4*l - t, -3*r + l - 3*l + 72 = 0. Is 11 a factor of r?
True
Suppose -5*l + 236 = -3*l. Suppose -5*x = -l + 33. Is x a multiple of 11?
False
Is 8/6 - 312/(-36) a multiple of 5?
True
Suppose -7 = -2*b - 1. Suppose b*p + 1 = 7. Does 7 divide 14 + (1 - p)/1?
False
Suppose 1 = -r + 6. Suppose 3*k - 90 + 426 = r*c, -5*c + 324 = 3*k. Is (-4)/10 + c/15 a multiple of 2?
True
Suppose 9 = r - 3*n, 5*r + 4*n = -6 - 6. Suppose -u - 2 = 5*p, 4*p + 7 = 2*u - 3. Suppose -u*x + 9 = -r*x. Is x a multiple of 2?
False
Let w = 4 + -4. Let x = 0 - w. Suppose 0*h + h - 13 = x. Is h a multiple of 5?
False
Let u = -377 - -601. Is 19 a factor of u?
False
Let u be (36/15)/(1/5). Does 13 divide ((-196)/u)/(2/(-6))?
False
Does 17 divide (230/(-1))/(-2)*(1 - 0)?
False
Suppose -3*i + 0 = -6. Suppose -i*o - 56 + 142 = 0. Is o a multiple of 16?
False
Suppose 2*a - 8 = -2*a. Let t be 6/(-4) - (-17)/a. Does 21 divide 1480/35 - 2/t?
True
Let v = 4 + 0. Suppose 48 = -0*x + v*x. Does 7 divide x?
False
Does 3 divide ((-9)/4)/(27/(-72))?
True
Let c(w) = 4*w**2 - 1. Let d be c(2). Is 12 a factor of (-3 - d)*(-2)/3?
True
Suppose -3*c = -z + 2*z - 57, z - 75 = -4*c. Is c a multiple of 9?
True
Let j(x) = x**2 + 9*x + 14. Does 21 divide j(-14)?
True
Suppose 2 + 2 = 3*y + 2*f, 0 = 5*y - 4*f - 14. Let d be 15/(-2)*(0 + y). Let k = d + 26. Is k a multiple of 11?
True
Suppose 7*h = 3*h - 4, -71 = -5*q - 4*h. Is q a multiple of 15?
True
Let b(d) = 4*d - 1. Let r be b(2). Suppose r*k - 20 = 2*k - 3*c, -c = -5*k + 20. Is k + (-1 + 1)/2 even?
True
Suppose -24 = -9*j + 4*j - s, -s = -4*j + 21. Suppose -4*x + b - 2*b + 100 = 0, -j*b - 52 = -3*x. Does 12 divide x?
True
Let h(q) = 6*q - 2. Let k be h(14). Suppose 4*a - 58 = k. Is 12 a factor of a?
False
Let m be (1 - 2 - -2)*18. Suppose 2*g = -y, m = -4*y + g + 63. Is y a multiple of 3?
False
Is 13 a factor of 7/7 + (64*1)/1?
True
Let s(b) = -b**2 + 11*b + 3. Let x be s(11). Suppose -153 = -2*o - 3*o - i, x*o = -i + 93. Is 15 a factor of o?
True
Suppose 0 = r - 3 - 0. Suppose -2*j + 12 = 4*k, -r*k + 12 = k - 2*j. Does 2 divide k?
False
Let g(w) = w**2 + 9*w + 8. Let p be g(-8). Let s = 19 - -15. Suppose l = -p*l + s. Does 14 divide l?
False
Suppose -54 = -11*p + 9*p. Does 13 divide p?
False
Let a(f) = -1. Let z(m) = m**2 + 3*m - 8. Let n(g) = -4*a(g) + z(g). Is n(-5) a multiple of 6?
True
Let f be 6/(-15) + (-231)/(-15). Suppose -5*b = 2*s + f, -5*b = -2*s - 2 - 3. Let c = 14 + s. Is c a multiple of 4?
False
Let f be (-2)/4*-4 + 1. Suppose f*d - d - 40 = 0. Does 20 divide d?
True
Suppose -29 = -3*u - 5*y, -3*u = -0*u + 4*y - 25. Is 12 + (u - 2) + 1 a multiple of 14?
True
Let x(b) = b**3 + 7*b**2 + 2*b + 2. Let g = 12 + -16. Is 14 a factor of x(g)?
True
Let p = 2 - -2. Suppose 0 = -4*z + 4 + p. Suppose -z*u = 5 - 13. Is 2 a factor of u?
True
Suppose 3*q - 4*q = -5*l - 60, -q + 90 = l. Is 13 a factor of q?
False
Let o be (9/6 - -3)*18. Suppose -3*w = 4*a + 2*w - 73, 5*a - 4*w = o. Is 6 a factor of a?
False
Suppose 4*o + w = 198, o - 40 - 2 = -4*w. Does 10 divide o?
True
Let f(x) = -x**2 - 7*x - 4. Does 3 divide f(-5)?
True
Suppose -3*w + 2*w = -4*f - 17, -2*f - 22 = 4*w. Let t(z) = -7*z**3. Let c be t(-1). Let l = c + w. Is l a multiple of 4?
True
Let o = -11 + 18. Let y be (-33)/(-1) - (o - 5). Suppose -t = -y - 4. Is t a multiple of 13?
False
Suppose 5*u = 3*x - 6*x + 19, 2*x = 4*u - 2. Suppose -7 - 13 = -u*z. Is 9 a factor of z?
False
Does 9 divide (-7)/((-28)/100) - (-5 + 3)?
True
Let d(c) = c**3 + 2*c**2 + 3*c. Does 27 divide d(4)?
True
Let a(u) = u**2 - 4*u + 5*u - 2 + 3*u**2. Is 6 a factor of a(-2)?
True
Suppose -3*a = -4*a + 2. Let n(w) = 3 + w**3 - 3*w**a - 4 + 3*w - w + 3. Is 10 a factor of n(4)?
False
Let u(k) = -2*k - 10. Let y be u(-7). Let p be (-1)/(1/(-2 - 7)). Suppose -p - 23 = -y*c. Is c a multiple of 4?
True
Suppose 2*w = -a + 5, -w - 10 = -2*a - 0. Suppose -a*g = 0, -3*g - 20 + 9 = -m. Is 7 a factor of m?
False
Let m(j) = 7*j**3 - 2*j - 1. Suppose -3 = 3*p - 3*i, -3*i + 0*i = 4*p - 17. Does 19 divide m(p)?
False
Let o = 2 - -23. Is o a multiple of 5?
True
Suppose -28*x + 32 = -27*x. Is 11 a factor of x?
False
Let k be 5*1*(-3 - -4). Let g(a) = 0*a - 5*a**2 + k + 3*a + 3*a**3 - 3. Does 20 divide g(3)?
False
Suppose -6 = -3*b - 0. Suppose -b*r + 24 = -r. Is r a multiple of 13?
False
Does 20 divide (-5)/((-156)/51 + 3)?
False
Let a(j) = j**3 + j + 6. Suppose 9 + 3 = 3*h. Suppose -4*w - h*s = 8, 4*s + 2 + 6 = -w. Is 5 a factor of a(w)?
False
Let u(h) = -3*h**2 + 11*h + 9. Let w(l) = -l**2 + 5*l + 4. Let y(s) = -3*u(s) + 7*w(s). Let k be y(2). Suppose -4*a + 19 = -k. Does 6 divide a?
False
Let u = -175 + 500. Suppose -359 = -4*s - 4*z - 75, -5*s + z = -u. Is s a multiple of 22?
True
Suppose 3*o - 8 = 2*o. Suppose -3*m - o = m. Let j = m + 9. Is 7 a factor of j?
True
Let b(i) = -16*i**3 + 2*i**2 + 5*i + 2. Is 16 a factor of b(-2)?
True
Is 20 a factor of (-400)/(-15)*6/1?
True
Let d = 6 - 4. Suppose -d = -2*k + 8. Is 3 a factor of (0 - 4/k)*-5?
False
Suppose -3*f - r - 1 = -6*r, -2*r - 8 = 3*f. Let z = f - -1. Does 17 divide (85/5)/(z/(-2))?
True
Suppose -5*t = -0 - 35. Let d = t - 0. Is d a multiple of 5?
False
Supp