c(a) = 3*a**3 - 2*a**2 + a + 2. Suppose f + 0*f = -5, 18 = -b - 4*f. Is 10 a factor of c(b)?
True
Suppose -94 = -4*s + 230. Does 9 divide s?
True
Let b(y) = y + 4. Let o(m) = -3. Let l(s) = 3*b(s) + 4*o(s). Let q be l(2). Let g(z) = -z**3 + 7*z**2 - 6*z + 7. Is g(q) a multiple of 7?
True
Does 17 divide 5*2*(1 - (-90)/12)?
True
Let x(q) = 25*q**2 + 5*q + 2. Let y be x(-3). Suppose 4*d - y = -2*s - d, s = -5*d + 106. Suppose 0 = -3*w - 4 + s. Is 12 a factor of w?
False
Let g(v) = -v**3 + v**2 + 2*v - 1. Does 7 divide g(-2)?
True
Let p(d) = d**3 + 13*d**2 + 9*d + 6. Is p(-12) a multiple of 7?
True
Let x(b) = b + 2. Let p be x(6). Let n = p - -42. Is 13 a factor of n?
False
Let s(i) = i**3 - 2*i**2 - 6*i + 5. Is s(4) even?
False
Let i(l) = -l**2 + 1. Let u be i(-1). Suppose -w = -3*z + 6, 4 + u = 2*z. Suppose w = -3*j + 60 + 27. Is j a multiple of 13?
False
Let j(n) = n + 8. Let q be ((-8)/(-6))/4*3. Suppose -5*h - q = 19. Does 2 divide j(h)?
True
Suppose -3*i - 5*z + 38 = 2, 0 = 2*i - 2*z - 8. Let g = -16 + i. Let b(d) = -d**2 - 12*d - 11. Is 16 a factor of b(g)?
True
Suppose 1 - 4 = 3*u. Let z(x) = -1 + 12*x**2 - 3*x + x + x + 0*x**2. Is 12 a factor of z(u)?
True
Let x(p) = -25*p - 3. Does 18 divide x(-3)?
True
Is 20 a factor of (-20)/35 - (-424)/7?
True
Let c(j) = -37*j - 12. Does 37 divide c(-6)?
False
Suppose -5*r + 5*k + 625 = 0, 5*r = -2*k - 0*k + 611. Suppose 3*j = a + 101, 7*j - 3*j - r = -a. Is j a multiple of 16?
True
Suppose 0 + 18 = 2*i. Let l(q) = q**2 - 8*q - 9. Let y be l(i). Suppose 5*x = 5*p + 136 + 19, 3*x + 3*p - 63 = y. Does 13 divide x?
True
Let m be (-18)/(-10) - (-1)/5. Suppose 4*h = m*a - 18, -3*h + 2 = 2*a - 2. Does 12 divide 23 - (1 - h)/(-3)?
True
Let z(o) = -o**3 - 5*o**2 + o - 4. Is z(-6) a multiple of 11?
False
Suppose 0 = 3*k + 1 + 2, -4*s + 73 = -k. Is s a multiple of 2?
True
Does 18 divide 216/20*(6 - (-3)/(-3))?
True
Let n(k) = -k**3 + 3*k**2 - k + 3. Let p be n(3). Is 2 a factor of (1 - p)/1 - -4?
False
Suppose 0*p = p - 43. Is p a multiple of 13?
False
Let l be ((-196)/(-35))/((-2)/(-10)). Suppose -t + 0*t = -l. Is 15 a factor of t?
False
Let r be ((-18)/(-12))/((-3)/(-8)). Suppose -108 = -r*p - 4*u, -p = 2*p - 2*u - 76. Is p a multiple of 8?
False
Suppose -n = 4*n + 80. Let r = 0 - n. Is 8 a factor of r?
True
Let w(m) = 2*m**2 + 10*m - 8. Let p(r) = r - 1. Let a be p(-7). Does 8 divide w(a)?
True
Let r be 3 - 1 - 1/(-1). Let m be (-1 - -76) + 0 + -1. Suppose -m = -4*v + 4*l + 42, -3*l + 75 = r*v. Does 11 divide v?
False
Let c be 8/4 + (-4)/(-2). Let v be c + 2 + 3/(-1). Suppose -v*q + 32 = -22. Does 9 divide q?
True
Suppose -5*p - 3*r = -178, 4*r = p - 0*p - 31. Is p a multiple of 22?
False
Suppose 4*s + 2*d - 7*d = -1, 5*d - 25 = 0. Is 5 a factor of s?
False
Let v(s) = s**3 - 5*s**2 - 11*s + 5. Is v(7) a multiple of 13?
True
Let p(m) = -5*m - 3. Let y be p(-5). Let h be y + (-1 + 1)/(-2). Let b = h + 0. Does 9 divide b?
False
Let d(a) = a**2 + 13. Suppose -n = -4*n - 24. Let f(y) = y**2 + 8*y. Let o be f(n). Is d(o) a multiple of 13?
True
Let g(t) = 9*t**2 + 3*t. Is 33 a factor of g(-4)?
True
Is (2/4)/(4/192) a multiple of 8?
True
Let q = 3 - -16. Let w = 52 - q. Does 11 divide w?
True
Suppose -4*f = f - 25. Suppose 3*g + 28 = f*c, -8 = -4*c - 2*g + 10. Suppose 0 = 4*t + 2*d - 160, -3*d + 72 = -3*t + c*t. Does 17 divide t?
False
Let d = -9 + 8. Is 8 a factor of -2 + 5 + d - -6?
True
Suppose 12*c - 20*c = -640. Does 19 divide c?
False
Suppose 0 = -5*j + p - 3*p + 113, 2*j = 2*p + 34. Is 9 a factor of j?
False
Is (14/6)/((-13)/(-39)) even?
False
Let r be ((-3892)/((-4)/(-2)))/(-2). Is r/13 + (-4)/(-26) a multiple of 15?
True
Suppose 2*l = 104 - 40. Is 10 a factor of l?
False
Suppose -4*h = -9*h + 360. Suppose 96 = 4*v - h. Is 14 a factor of v?
True
Suppose 116 = t + 3*t. Is (0 + 0 - 1) + t a multiple of 14?
True
Let o(v) = -5*v**2 - 2*v - 1. Let k be o(-1). Let l be 3 + k - (0 + -5). Suppose -l*b + 12 = -b. Does 3 divide b?
False
Let f be (8/(-6))/(2/(-75)). Let z(k) = 3*k**2 + k - 12. Let s be z(-3). Let h = f - s. Is 19 a factor of h?
True
Let n(r) = -r**3 - 9*r**2 + 12*r - 16. Is n(-11) a multiple of 17?
False
Let i(o) = 36*o**2 - o - 1. Let v be -2 - 3/(-4 - -1). Does 12 divide i(v)?
True
Let m = 1 - -17. Is 6 a factor of m?
True
Suppose 3*r + 4*a = 19, -5*r + 2*a - 2 - 1 = 0. Let c be r + -2 + 0 - -4. Suppose 5*h + c*n = 80, 2*n = -h + 15 + 8. Is h a multiple of 13?
True
Let s = 4 - 0. Suppose -3*l = 4*d + 2*l - 7, -d + l = -s. Let m(f) = 6*f - 4. Does 12 divide m(d)?
False
Suppose i = -i - 6. Is (-3)/((-81)/(-30) + i) a multiple of 5?
True
Let c(o) = -o**3 + 2*o**2 + 3*o - 1. Let z be c(3). Let l be (-21 - (-3 + 1))/z. Suppose -5*k + 21 = -l. Is 3 a factor of k?
False
Is 2/(6/(-237)*-1) a multiple of 7?
False
Suppose -3*p = -4*m - m + 81, 5*p + 3 = m. Is 9 a factor of m?
True
Let n(m) = -m**2 - 2. Let z be n(2). Let f = z - 7. Let d = 31 + f. Does 18 divide d?
True
Let x be 3*-1 - 240/5. Let s = 71 + x. Is 7 a factor of s?
False
Let t(n) = 2*n**2 - 6*n - 5. Let l be t(5). Let m be (l/25)/(2/(-10)). Is (-1 - -37)*(-2)/m a multiple of 12?
True
Is 26 a factor of (-6)/(-21) + (-180)/(-7)?
True
Suppose 0 = -4*t - k + 3386, -5*t + 4238 = 6*k - 2*k. Is (-4)/10 - t/(-15) a multiple of 28?
True
Let m(s) = -12*s + 1. Let u be m(-10). Suppose -4*f = -u - 3. Let j = f + -7. Does 8 divide j?
True
Let j = -49 + 69. Is 3 a factor of j?
False
Let w(o) = 3*o**2 + 1. Let m(l) = 2*l**2 + 1 + l - l**2 - 4*l**2 + 1 - l**3. Let c be m(-3). Is w(c) even?
True
Let b be 1*-3 + (1 - -29). Is 4/(-18) + 1383/b a multiple of 17?
True
Suppose 43 = i + 23. Is 20 a factor of i?
True
Let v(z) = z**2 - 2*z + 5. Let n(j) = -2*j - 1. Let h be n(2). Is v(h) a multiple of 20?
True
Let b(v) = v**3 + 3*v**2 - 2*v. Let u = 0 - -2. Suppose a - 4 = -u. Is 6 a factor of b(a)?
False
Let u = 14 + 22. Is 9 a factor of u?
True
Suppose -z - 13 = -4*z + 4*f, -2 = -z - f. Let p = z - 3. Let r = p + 13. Is 9 a factor of r?
False
Suppose 0*c + 4*c - 1080 = 0. Let a be (-2)/(-8) + c/8. Suppose 0 = 4*b + a - 98. Is b a multiple of 8?
True
Suppose u = -1 + 2. Let k(f) = -f**2 + 1. Let w(s) = -3*s**2 + 9*s + 9. Let l(t) = u*w(t) - 2*k(t). Does 15 divide l(8)?
True
Let c(z) = 37*z - 4. Let y be c(3). Let r = y - 53. Does 18 divide r?
True
Let p(w) = w**3 + 5*w**2 - 6*w + 3. Let j be p(-6). Suppose 4*z = -j*o + 44, 3*z + 40 = o - 2*z. Is o a multiple of 10?
True
Suppose 4*r - 90 - 10 = 0. Let t = 59 - r. Is t a multiple of 12?
False
Suppose -2*u = -7*u - 135. Does 11 divide (-1 + -3)/(6/u)?
False
Let w = -3 - -21. Suppose 3*t - 5*q = 64, 2*t - t - 5*q = w. Is 8 a factor of t?
False
Suppose 25 = -2*f - 3*b, -3 = 2*f - 2*b + 37. Let r = -12 - f. Suppose -3*t + 5*u = -69, u - 149 = -r*t - 2*u. Is t a multiple of 14?
True
Suppose -2*o - 76 = -2*s, 3*o = 4*s + 43 - 199. Is 14 a factor of s?
True
Let m(o) = -6 - 3*o + 5*o + 0*o. Let a be m(4). Is 13 a factor of 9*3 + a + -3?
True
Let t(j) = -41*j + 3. Is t(-1) even?
True
Let v be (2/(-5))/((-2)/(-10)). Let r(d) be the third derivative of -d**4/24 - 3*d**2. Is r(v) a multiple of 2?
True
Let y be ((-12)/15)/(6/(-150)). Let v = -15 + y. Is v a multiple of 5?
True
Let s = -55 - -125. Is s a multiple of 15?
False
Let w(z) = 22*z - 1. Let g(s) = -s. Let q(k) = 4*g(k) + w(k). Is q(1) a multiple of 17?
True
Let b = 12 - 5. Suppose 2*a = -4*x + a + 15, 3*x + 5*a = b. Suppose x + 11 = 3*j. Is j a multiple of 5?
True
Let w(b) = -b + 6. Let m be w(8). Let f be 2*((0 - m) + 3). Is ((-12)/f)/(1/(-5)) a multiple of 3?
True
Suppose -11*a = -16*a + 155. Does 10 divide a?
False
Let b(j) be the second derivative of j**6/360 + j**5/20 + j**4/6 + j**3/2 - 2*j. Let p(y) be the second derivative of b(y). Is 2 a factor of p(-6)?
True
Let r(j) = -j**3 - 4*j**2 + 2*j + 1. Let f be r(-5). Let h(v) = 2*v - 17. Does 6 divide h(f)?
False
Suppose -5*h = -9*h + 288. Suppose 6*w - h = 3*w. Is w a multiple of 14?
False
Let x be 23/4 + (-15)/20. Suppose -c - 140 = -x*c. Does 8 divide c?
False
Let r(j) be the second derivative of j**6/360 + j**5/40 + j**4/6 + j**3/3 + 3*j. Let p(k) be the second derivative of r(k). Is 16 a factor of p(4)?
True
Suppose 3*u - 3*k - 270 = 0, 0*k + 4*k - 4 = 0. Is 16 a factor of u?
False
Let j(t) = -2*t**3 - 11*t**2 - 1