c**2 + 2*c + 1. Let v be o(-1). Let b = -13 + v. Suppose 15 = 2*n - i, n + 2*n - b = -4*i. Does 4 divide n?
False
Let m(c) = -4*c**2 - 4*c - 5. Let l be m(-3). Suppose -2*g + 26 = -54. Let w = l + g. Is w a multiple of 11?
True
Let c(p) = -p**3 + 10*p**2 - 7*p + 10. Let f be c(9). Let u(z) = z**2 + z - 1. Let s be u(2). Suppose -18 = -s*q - 4*k, 4*q - f = 2*k + 2. Does 6 divide q?
True
Let u = -13 + 16. Suppose 0 = z - u*d - 7 - 34, 2*z - 74 = -2*d. Does 17 divide z?
False
Let z(d) = 5*d + 4. Does 11 divide z(18)?
False
Let g be (-15)/(-12) + 3/(-12). Let h = g - -13. Is 7 a factor of h?
True
Let n = 41 - 16. Let y = n - -1. Is 12 a factor of y?
False
Let g(a) = -a**3 - 10*a**2 - 10*a + 11. Is 20 a factor of g(-9)?
True
Let d be 1 + -2*18/(-4). Let s be 614/d + 8/(-20). Suppose 0 = p, 4*p + 124 = 5*m - s. Does 11 divide m?
False
Let y(j) = 13 - 7 + 21 - j. Let s be y(0). Suppose -5*q - 2 = -s. Is q a multiple of 3?
False
Let m = 148 - 5. Suppose 5*p - 17 - m = 0. Does 8 divide p?
True
Let s = -2 + -1. Let d = 39 - 32. Is 5 a factor of (d - s)/(3 - 1)?
True
Let d be 2/3*(2 + 4). Suppose -r - 6*a + a = -23, -2*r - d*a = -40. Is r a multiple of 7?
False
Let z be 12/(-66) - (-62)/(-22). Let d(i) be the first derivative of -i**4/2 - 5*i**3/3 - i**2/2 + 3*i + 3. Is d(z) a multiple of 5?
True
Suppose 5*s + 15 = 5*o, 0 = -s + 3*o - 2 + 1. Let j be ((-36)/(-8))/((-3)/s). Suppose 3*n - 15 - 7 = 2*a, -2*n - 3*a + j = 0. Does 5 divide n?
False
Suppose 3*s = 2*m + 27 + 1, -2*s + 3*m = -27. Let l(f) = -f - 8. Let i be l(-7). Let w = s + i. Does 3 divide w?
False
Let w(v) = 6*v**2 + 2. Let y = -5 - -7. Is w(y) a multiple of 7?
False
Let s = 66 - 0. Suppose -7*d = -5*d - s. Suppose d = r + 2*r. Is 4 a factor of r?
False
Let c(h) = 4*h - 39. Does 6 divide c(19)?
False
Let u = 42 - 23. Suppose u - 1 = -2*m. Is 3 a factor of (9/(-4))/(m/24)?
True
Suppose 2*v = -3*v. Suppose v = -0*a + 4*a + 48. Let s = a - -42. Is s a multiple of 10?
True
Let g(j) = -67*j**2 + 2*j + 3. Let x(y) = y**2 + y + 1. Let q(o) = g(o) - 3*x(o). Let i be q(-1). Let n = -43 - i. Is n a multiple of 12?
False
Let j(y) be the third derivative of -1/24*y**4 + 0 + 0*y**3 + 0*y - 3*y**2. Is j(-10) a multiple of 9?
False
Let x = -2 + 6. Let w be 0 + 0 - x - 0. Let b = w + 13. Is b a multiple of 9?
True
Let g(w) = 8*w + 2. Suppose -12 = -4*s - 0*s. Is 18 a factor of g(s)?
False
Suppose 0 = 5*n - 4*k - 22, 0 = -3*n - 3*k - 3 - 0. Suppose 0 = n*y - 78 + 4. Does 15 divide y?
False
Suppose -344 = -2*v + 4*v. Let n(k) = -14*k**2 - 3*k + 4. Let q be n(-3). Let t = q - v. Is 20 a factor of t?
False
Suppose b - 4*b + 297 = 0. Is b a multiple of 9?
True
Let s(q) = -q**3 + 12*q**2 + q - 6. Let w be s(12). Suppose -w*p = -3*p - 96. Is p a multiple of 16?
True
Let k(c) = -c**3 - 6*c**2 + 2*c + 4. Let u(q) = -3*q + 2. Let f be u(3). Is 13 a factor of k(f)?
True
Suppose 2*s = -3*c - 5, 1 = -c - 2*s - 2. Let a(q) = 5*q + 1. Let o(y) = 5*y + 1. Let x(j) = -4*a(j) + 3*o(j). Is 4 a factor of x(c)?
True
Let s(q) = -13*q - 3. Is 28 a factor of s(-6)?
False
Let q = -9 - -18. Is 4 a factor of q?
False
Let b = -4 - -4. Suppose -3*v - 2*v + 35 = b. Let t(q) = -q**3 + 8*q**2 - 5*q - 10. Does 3 divide t(v)?
False
Is 11 a factor of (-6)/9*3 + 18 + 6?
True
Let u(t) = -t**2 - 15*t - 1. Is 5 a factor of u(-7)?
True
Suppose -3*f = 2*f - 1125. Is f a multiple of 14?
False
Suppose -2 = 4*d - 10. Let u(f) = f + 13*f**d - 2 + 4 - 1. Is 10 a factor of u(-1)?
False
Suppose -3*t + 5*l + 92 = 0, 112 = 5*t - 0*l + 2*l. Does 12 divide t?
True
Let d be 2/7 - (-2988)/28. Is 6/(-21) + d/7 a multiple of 15?
True
Does 13 divide 0 + 29 - (-15)/(-5)?
True
Suppose 4*a + 96 = -2*l, 3*l = -2*a - 3*a - 121. Let k = 33 + a. Is k a multiple of 3?
False
Suppose -5*n - 36 = -8*n. Is n a multiple of 4?
True
Suppose -8*o + 4*o - 8 = 0. Let n be -34*1 - (-1 - o). Let s = n + 60. Does 9 divide s?
False
Let j(q) = -q**2 - 7*q + 8. Let u be j(-8). Suppose 4*k + u*m - m = 157, 2*m - 104 = -3*k. Is 12 a factor of k?
False
Let i be ((-1)/3)/(4/(-24)). Is 13 a factor of 20 + -1 + i - 3?
False
Suppose -5*l - g = -656, 0*l - g = -2*l + 268. Does 33 divide l?
True
Let c = -8 - -14. Suppose 5*w - 21 = -2*q, 4*w - 2*w - c = -2*q. Suppose -2*j + 0*j = 2*s - 26, 4*s = w*j + 34. Is s a multiple of 11?
True
Let u(x) = -3*x**3 - 5*x**2 + 5*x + 6. Does 21 divide u(-4)?
False
Let t be 2 + 0/(-3) + -3. Is 10 a factor of (0 - -15) + 3 - t?
False
Let w(s) = 2 - 5*s - 2 - 1 - 4*s - s**2. Is w(-5) a multiple of 19?
True
Suppose -42*u + 41*u = -67. Does 15 divide u?
False
Does 22 divide (1 + 23)*264/96?
True
Let r(b) = 162*b**2 - 3*b + 2. Is 23 a factor of r(1)?
True
Let f(z) be the first derivative of 4*z**2 - 23*z + 1. Is f(10) a multiple of 24?
False
Suppose -4*d + 0*d + z = 141, -z = -1. Let w = d + 50. Is w a multiple of 5?
True
Let p = 13 - 6. Let l(c) = -13*c - 31. Let f(x) = -7*x - 16. Let a(d) = 11*f(d) - 6*l(d). Is a(p) a multiple of 13?
False
Suppose 6*c = 4*c + 12. Let v = c - 3. Suppose 27 = 4*n + v. Does 2 divide n?
True
Suppose 2*i - 11 = 2*j - 1, 15 = 5*i + 5*j. Suppose 0 = a + i*a - 5. Is 11 a factor of 9/a*(-10)/(-3)?
False
Let o(f) = f**2 - 11*f + 14. Let j be o(10). Suppose -17 - 51 = -j*n. Is n a multiple of 4?
False
Let i(l) = l**3 + 2*l**2 - 4*l - 1. Let m be i(-3). Suppose m*j - 10 = 0, 0 = 3*s - 5*j + j - 31. Is 4 a factor of s?
False
Let o(r) = -r**3 + 3*r**2 + 2*r - 1. Let g be o(-2). Let c = 22 - g. Suppose -3*s + 2*s + c = 0. Is 4 a factor of s?
False
Suppose 8*g - 12*g + 220 = 0. Is g a multiple of 5?
True
Is 17 a factor of (-2)/(-9) + (-304)/(-9)?
True
Suppose -d - 2*d = 339. Let y = d - -65. Let v = -2 - y. Does 18 divide v?
False
Let y(g) = -g**2 + 11*g - 3. Let u be y(7). Suppose -u = -2*q + 5*w, -5*q - 5*w - 8 - 17 = 0. Suppose -d = -3*d + x + 32, q = 3*x. Is d a multiple of 8?
True
Let k(o) = o**3 - o**2 + 2*o - 2. Let u(p) = p**2 - 1. Let s(v) = k(v) - 4*u(v). Let y be s(4). Let g = 12 + y. Does 4 divide g?
False
Let i(c) = 7*c + 11 - 3 + c - 1. Is i(6) a multiple of 13?
False
Suppose 4*n - 119 - 193 = 0. Is n a multiple of 26?
True
Let c(q) = q**2 + q + 1. Let z(l) = 4*l**2 + 12*l + 17. Let x(g) = 5*c(g) - z(g). Is 6 a factor of x(9)?
True
Let t = 15 + -15. Suppose 2*o = -5*i + 6*o + 192, t = -i - o + 33. Is 9 a factor of i?
True
Let z(t) be the second derivative of 2*t**3/3 + 3*t**2/2 + 2*t. Let x be z(-2). Let s(y) = -y**3 - 4*y**2 - 5. Is s(x) a multiple of 20?
True
Let a = -127 - -90. Does 13 divide -1 - (2 + -4) - a?
False
Suppose 5*l - 3*l + 4*o - 300 = 0, -l + 150 = 5*o. Does 10 divide l?
True
Let t(h) = 6*h - 9. Is t(6) a multiple of 10?
False
Let d be 2/((-4)/(-8)*1). Suppose -y - 225 = -d*y. Is y a multiple of 16?
False
Let u(s) = s**2 + 9*s + 17. Is 5 a factor of u(-8)?
False
Let f(w) = w + 4. Suppose 3*r + 12 = 7*r. Is 7 a factor of f(r)?
True
Suppose -36 = -2*q + 50. Let i be (-1 - (-1 + 0)) + q. Let w = -8 + i. Does 10 divide w?
False
Let g = -126 - -192. Does 11 divide g?
True
Let a(h) = -h**3 + 11*h**2 - 10*h. Let z be a(10). Let c = z + 9. Is 3 a factor of c?
True
Let v = 132 + -85. Let j = v + -21. Is 13 a factor of j?
True
Suppose -3*x + 243 = 4*k, -4*k + 3*x - x + 218 = 0. Is k a multiple of 32?
False
Let c(r) = -7*r**3 - 9*r - 12. Let v(s) = 13*s**3 + s**2 + 17*s + 23. Let i(y) = 11*c(y) + 6*v(y). Is i(-4) a multiple of 13?
True
Let r = -71 + 101. Is 10 a factor of r?
True
Let i = 87 - 27. Is i a multiple of 20?
True
Suppose 0 = -3*n + 2*n + 4*d + 11, -4*n - 2*d = -134. Is n a multiple of 19?
False
Suppose 7 = 4*z - 5. Is -3 + -1 + 132/z a multiple of 20?
True
Let a = 6 + -4. Let t = 3 - a. Is 4 a factor of 15/((-2)/(-4) + t)?
False
Suppose 14 = 3*a - 4. Let o(g) = g**3 - 7*g**2 + 5*g + 6. Let n be o(a). Suppose 5*p + 4*b - 110 = n, p - 23 = -0*p - b. Is 6 a factor of p?
True
Suppose -p - 70 = -3*u + p, 3*p + 21 = u. Let h(k) = -k**3 + 7*k**2 - k - 6. Let q be h(7). Let d = u + q. Is 5 a factor of d?
False
Suppose y + y = 16. Suppose -y*s + 66 = -2*s. Is 4 a factor of s?
False
Let i(f) = -f - 9. Let c be i(-10). Is (-294)/(-12) + c/(-2) a multiple of 7?
False
Is (-31392)/(-112) - 2/7 a multiple of 35?
True
Let b = -6 + 12. Suppose 3*m + 0 = -b. Does 7 divide 32/3 - m/(-3)?
False
Suppose -2*i - 2*t + 16 = 0, -2*i = -t