ctor of i?
False
Let n(s) = -s**3 - 8*s**2 + 8*s + 5. Suppose -y + 7 = 16. Is 7 a factor of n(y)?
True
Suppose 0*u + 5*u - 5 = 4*n, 0 = -5*n. Let p(k) = 4 - 1 - 3 - 1 + 17*k. Is p(u) a multiple of 9?
False
Suppose -t = -4*t + 66. Is t a multiple of 16?
False
Suppose -3*f - 3*w + 172 = 2*w, 168 = 3*f + 3*w. Is 9 a factor of f?
True
Let i(j) = 11*j + 21. Let s(p) = -5*p - 10. Let l(f) = -4*i(f) - 9*s(f). Suppose 14*u = 15*u. Is l(u) even?
True
Let l be 2/(-5) + (-216)/(-40). Suppose 3*f + 3 = f - 3*s, l*f + s + 1 = 0. Is (f - -26)*(-1)/(-1) a multiple of 10?
False
Suppose 6*h - 44 = 2*h. Suppose -4*s = -37 - h. Is s a multiple of 12?
True
Let v(p) = -p**3 + 5*p**2 + p + 5. Let z(k) be the first derivative of -3*k**4/2 + k**2/2 - 1. Let w be z(-1). Is 10 a factor of v(w)?
True
Let m(r) = r - 6. Let h(c) = c - 1. Let o(w) = -2*h(w) + m(w). Let p be o(-7). Suppose 62 = x - 5*z, p*z - 6*z - 52 = -x. Is 15 a factor of x?
False
Let q = -29 - -14. Is (-123)/q - 1/5 a multiple of 4?
True
Let g(d) = -d**3 - 5*d**2 - 4*d + 2. Let u be g(-4). Suppose 150 = u*h + 3*h. Is 8 a factor of h?
False
Suppose m + m = -22. Let f = m - -15. Is f a multiple of 2?
True
Suppose 0 = -f + 3 + 142. Does 29 divide f?
True
Is 19 a factor of (0 - 0) + (0 - -32)?
False
Suppose 2*q - n = -3*q + 1388, -5*n + 288 = q. Suppose -4*z + q = -42. Suppose -3*o - 2*s = -3*s - 28, 5*o + 5*s = z. Is 4 a factor of o?
False
Suppose -69 = 2*i - b + 71, -5*i + 3*b = 349. Let h = -48 - i. Is 9 a factor of h?
False
Let u(y) = y**2 + y + 2. Let a(x) be the first derivative of x**3 + 2*x**2 + 6*x + 1. Let v(p) = -6*a(p) + 17*u(p). Does 8 divide v(-5)?
True
Suppose -3 = -a + 15. Is a a multiple of 18?
True
Suppose 6*a - 4*a = 0. Let b(n) = n**3. Let o be b(0). Suppose -4*m + o*m + 96 = a. Is m a multiple of 12?
True
Let u(d) = -38*d - 59. Does 31 divide u(-6)?
False
Let t(s) = s**2 - 4*s + 3. Let v be t(4). Let c(x) = x**3 + 10*x**2 + 11*x + 10. Let h be c(-7). Suppose 0 = v*p - p - h. Is p a multiple of 15?
False
Suppose 4*w + 16 = -g - 3*g, 0 = g - w + 14. Let s = g + 19. Is s a multiple of 6?
False
Let z = -27 + 43. Is 4 a factor of z?
True
Let c be 3*1 - 10/(-5). Suppose 2*q = -5*r - 16, 30 = c*q - 2*r + 12. Is 25 a factor of 24 + q/(-6)*-3?
True
Suppose -2*u + 3 = -g, 0 = 5*u - 0*u + 3*g + 20. Suppose -2*z + 5*p - 10 = 7, -13 = z - 4*p. Is z*(-1)/u*-12 a multiple of 6?
True
Suppose -5*q = -0*x - x - 5, -3*q = -4*x + 14. Let k be (-22)/(-4) - (-4)/(-8). Suppose 0 = -2*c - 0 + 6, -q*b - k*c + 59 = 0. Is 22 a factor of b?
True
Let i = 3 - 4. Let s be (-2)/(33/(-27) - i). Is 5 a factor of 3/s + 69/9?
False
Let y = 7 + -13. Let a(s) = -s + 7. Is a(y) a multiple of 5?
False
Let l = -5 - -1. Let g(m) = -m + 4. Does 4 divide g(l)?
True
Suppose 127 = -3*z - 5*g + 350, 2*z = 3*g + 155. Let n be z/(-18) + (-4)/(-18). Let i = n + 22. Is 14 a factor of i?
False
Is 2*((-1698)/(-12) - 2) a multiple of 19?
False
Let t = 17 + 18. Does 7 divide t?
True
Let r = -56 - -182. Is 21 a factor of r?
True
Suppose -5*t = -0*l - 5*l - 315, l + 193 = 3*t. Does 13 divide t?
True
Suppose n - 2*n + 4*c + 128 = 0, 0 = -n + 2*c + 130. Is n a multiple of 22?
True
Let s(f) = 7*f - 4. Let w(b) = 14*b - 8. Let a(r) = 7*s(r) - 3*w(r). Is 11 a factor of a(8)?
False
Let h = -67 + 32. Suppose b = -b + 98. Let w = b + h. Does 7 divide w?
True
Suppose 3*x - h - 217 = 0, 159 + 62 = 3*x + h. Is x a multiple of 12?
False
Let k(m) = -4*m**3 + 3*m**2 + m + 7. Let f(h) = 11*h**3 - 10*h**2 - 2*h - 20. Let x(c) = -3*f(c) - 8*k(c). Let v be x(5). Let s = -9 + v. Is 5 a factor of s?
True
Suppose -2 - 20 = -j. Is 22 a factor of j?
True
Suppose 10 = 3*d - 2*d - t, 5*d - 30 = -5*t. Suppose -d = k - 3*k. Suppose 21 = k*i - 19. Is 3 a factor of i?
False
Let w(r) = 6*r**2 + 4*r + 12. Let c(f) = 7*f**2 + 3*f + 12. Let v(y) = -5*c(y) + 6*w(y). Let b be v(-8). Is 14 a factor of (-1)/(-4) + 75/b?
False
Let p be 6/9 + 4/3. Suppose -5*z + 22 - p = 0. Suppose -5*v - r + 115 = -0*r, -91 = -z*v - r. Is v a multiple of 11?
False
Is 2 a factor of 0 - 426/(-27) - (-2)/9?
True
Let i(f) = 2*f + 10. Let m be i(-7). Let t = 0 - m. Suppose d = -2*y + 14, -t*d - 6*y = -y - 41. Does 4 divide d?
True
Let p(c) = c**2 - c + 5. Let m be p(0). Suppose -5*q = -m*k + 190 - 0, 5*q - 170 = -5*k. Is 9 a factor of k?
True
Let m(r) = 5*r - 2. Is m(10) a multiple of 6?
True
Is 30 a factor of 2 - 1*(-31 + 3)?
True
Let c = -12 - -27. Let a = 27 - c. Does 7 divide a?
False
Let r = 31 + -15. Let j = -23 + r. Is 19/1 - (-4 - j) a multiple of 13?
False
Let b(w) = w - 1. Let k(u) = 2*u - 8. Let z be k(6). Let t be b(z). Suppose f - 20 = 3*g, -4*f - 2*g + 58 = -t*g. Is 8 a factor of f?
False
Let c be 38/(-9) + (-12)/(-54). Let w(x) = 3*x**2 + 2*x - 4. Is w(c) a multiple of 18?
True
Suppose -9 = -3*z - 2*t, 7*z - 5 = 3*z - 5*t. Suppose z*n = -a + 11, 2*a - 4 = -4*n - 0*a. Suppose 0*y + n*y - 66 = 0. Does 11 divide y?
True
Let u(n) = n + 1. Let y be u(1). Suppose -76 = -y*k + 30. Is k a multiple of 16?
False
Let b = 92 - 10. Is b a multiple of 19?
False
Let q(h) = 11*h**2 + 3*h - 3. Let x be q(2). Suppose 73 + x = 4*k. Is k a multiple of 10?
True
Suppose 0*k - q - 2 = -3*k, 4*k + 2*q = -4. Let y be 1 - k*3/(-9). Is 9 a factor of (13/4 - y)*4?
True
Suppose -4*j + 0*j + 12 = 0. Suppose 2*x + 3 = q - 4, 0 = 3*q - j*x - 9. Is 8 a factor of (8 - (q + 1)) + 1?
False
Let g(b) be the second derivative of -3*b**5/20 - b**4/12 - b**3/3 - 3*b**2/2 - 20*b. Suppose 9*c + 10 = 4*c. Is g(c) a multiple of 21?
True
Suppose 0*i - 42 = -4*i - m, 2*i - 2*m = 16. Let j be (-67)/(-2) - (-5)/i. Suppose -4*c + 0*c + 44 = -2*o, 3*c - 2*o = j. Does 8 divide c?
False
Let o = -36 + 61. Is o a multiple of 25?
True
Let u(v) = 3*v - 2. Let y be u(2). Suppose -22 = -2*w - y*p, -p + 3 = 2. Does 9 divide w + -2 + (-4)/(-2)?
True
Let r be (-10 - -7) + 10*2. Let j = r - 11. Does 6 divide j?
True
Does 22 divide (-8)/2*121/(-22)?
True
Let l(c) be the first derivative of c**2/2 - 5*c + 4. Does 2 divide l(10)?
False
Let u(o) = 0 - o**3 + 2 + 6*o**2 - 1 + 0*o**3. Let r be u(6). Suppose l - 12 = r. Does 13 divide l?
True
Let m = 583 + -396. Is 24 a factor of m?
False
Is 14 a factor of (-33)/(33/(-6) + 4)?
False
Let n be (9 - 2)/((-1)/4). Let b(i) = i**2 - 2. Let a be b(7). Let o = n + a. Does 9 divide o?
False
Suppose -4*f = -5*f - 6. Let z = 8 + f. Suppose 5*x - 4 = -2*d, 0 = -z*d - 0*d + x + 4. Does 2 divide d?
True
Suppose 0*b - 3*b = -3*n - 9, -1 = b - 3*n. Suppose 0 = b*i - 9 - 66. Does 13 divide i?
False
Let t be 2/(-8) + 5/20. Suppose t = -2*y - 0*y + 4. Suppose 3*k - 75 = -y*k. Does 14 divide k?
False
Does 3 divide -3*(49/3)/(-7)?
False
Suppose t + 3*j - 174 = 0, 3*t = -j - 309 + 791. Is t a multiple of 10?
False
Let c(p) = -p + 64. Is 21 a factor of c(0)?
False
Suppose -5*g + 4*j + 553 = 0, 5*g + j - 96 = 472. Suppose -5*w + g + 37 = 0. Does 10 divide w?
True
Let o = -5 - -15. Is 2*(-1)/(-4)*o a multiple of 2?
False
Let g(r) = 2*r**3 + 3*r**2 - r. Let d be g(2). Let t = -14 + d. Does 6 divide t?
True
Suppose -2*o - 6 + 64 = 2*j, 2*o + 3*j = 59. Is o a multiple of 7?
True
Let x(k) = k**3 + k**2 - k. Let d(f) = 2*f**3 + f**2 + 3. Let n(q) = d(q) - x(q). Let r be n(3). Suppose 15 = 3*z - 2*u, 3*u - r = -3*z - 3. Does 7 divide z?
True
Let l = -88 - -208. Is 15 a factor of l?
True
Let s be ((-3)/(3/(-38)))/(-2). Let r = s - -27. Is r a multiple of 8?
True
Let o(l) = l**3 - 7*l**2 + 7*l - 1. Let h be o(6). Suppose 2*d + 13 = -5*c + 40, 0 = h*c - 2*d - 23. Is c a multiple of 2?
False
Let x = 92 + -50. Is 6 a factor of x?
True
Let z = 40 + -22. Is 2 + -1 + z - 1 a multiple of 9?
True
Let j(m) = -m - 12. Let z(b) = -b - 11. Let u(t) = 4*j(t) - 5*z(t). Let i be u(0). Suppose -p - 27 = -4*d, 3*d - i*p - 16 = -2*p. Does 4 divide d?
False
Let g(i) = i**2. Let z be g(-2). Does 16 divide 4*z/3*3?
True
Let i(j) = j**3 - 5*j**2 + 4*j + 5. Let z be i(4). Is -6*z/((-45)/24) a multiple of 8?
True
Suppose 0 = 2*z - 30 - 54. Does 21 divide z?
True
Let j = -32 + 139. Is j a multiple of 19?
False
Let g(o) = -o**3 + 7*o**2 + o - 3. Suppose a + 1 = 0, 23 = 4*u + 7*a - 2*a. Let d be g(u). Suppose 0 = 4*h + i - 40, 4*h - d*i - 38 = 2*h. Is 7 a factor of h?
False
Let t be 0*-1*(-3)/(-6). Let n = 3 - t. Suppose -2*w + n*c + 84 = c, -4*w = 2*c - 186.