t j = -101 - -173. Is j a multiple of 8?
True
Let p(o) = o**3 - 6*o**2 + 6*o - 5. Let t be p(5). Suppose 3*a + t*a = 9. Suppose -5*g + 142 = -3*w + 28, a*g - 4*w = 64. Does 12 divide g?
True
Let p = -8 + -2. Is -2 - (p - (3 - 1)) a multiple of 4?
False
Let v(m) be the third derivative of -m**5/60 - m**4/2 - 7*m**3/6 - 3*m**2. Does 14 divide v(-5)?
True
Let x(f) = 3*f**3 + 2*f**2 + 1. Let b be x(2). Suppose b = t + 4. Is t a multiple of 14?
False
Suppose 2*v - 3*i = 121, 2*i + 22 = v - 40. Does 14 divide v?
True
Let n = 13 - 8. Suppose 2*u + 9 = x - 0, n*x - 5*u - 45 = 0. Is x a multiple of 9?
True
Let k(l) = -l**3 - 8*l**2 - 6*l + 7. Let j be k(-7). Suppose -5*z + 75 = -j*z. Does 13 divide z?
False
Suppose -k - 2*k - 9 = 0. Let s be 2 + (19*k - -1). Does 10 divide (s/(-4))/(3/6)?
False
Let k(c) be the third derivative of -c**6/80 + c**5/40 + c**4/24 + c**2. Let s(w) be the second derivative of k(w). Is 20 a factor of s(-4)?
False
Let j(u) = u + 1. Let o be j(1). Suppose 5*m - m = -4*w + 184, o*w - 4*m = 80. Is w a multiple of 29?
False
Suppose -3*x - x + 3*l = -127, -152 = -5*x - 3*l. Is 21 a factor of x?
False
Suppose 5*o + j - 15 - 12 = 0, -36 = -5*o + 2*j. Suppose -2*i + 0*i - 6 = -4*p, -15 = -p + 5*i. Suppose -4*y + o*y - 50 = p. Does 9 divide y?
False
Let g(i) be the second derivative of 5/6*i**3 + 0 - 2*i - 11/2*i**2. Does 17 divide g(9)?
True
Let u(p) = -p**3 - 4*p**2 + 7*p - 6. Is 17 a factor of u(-6)?
False
Let q(z) = 7*z + 5. Let s be q(5). Suppose 4*p + s = 304. Is p a multiple of 23?
False
Let b(o) be the third derivative of -o**4/12 - 2*o**3/3 - 2*o**2. Is 7 a factor of b(-10)?
False
Suppose 0*i + 147 = i. Suppose -5*n = -0*n - b - i, -n = 4*b - 21. Is 9 a factor of n?
False
Let k(o) = -o + 1. Let d be k(2). Does 2 divide d/(-5) - (-14)/5?
False
Let c(i) = i**3 + 5*i**2 + 5*i + 3. Let y be c(-3). Let h be 29/9 - y/27. Suppose -5*b + 63 = h. Does 5 divide b?
False
Let z(r) = 5*r - 1. Let t(n) = 24*n - 5. Let y(g) = -2*t(g) + 11*z(g). Is 6 a factor of y(2)?
False
Suppose 2*m - 442 - 114 = 4*d, d = -4*m + 1085. Is m a multiple of 24?
False
Let m = 32 - -28. Suppose 3*d + m = 6*d. Let r = d - 10. Does 3 divide r?
False
Suppose -2*i - 24 = 2*i. Let n = -23 + 38. Does 21 divide 2/i + 545/n?
False
Is 9 a factor of (1 - 2)*(-18 - 9)?
True
Let i(t) = -t**3 - 3*t**2 - 3*t. Let c be i(-2). Let d(x) = -1 - 3 + 7*x**2 - x + 3. Is d(c) a multiple of 18?
False
Suppose 168 = -2*x + 4*x. Suppose 3*y - 84 = x. Is y a multiple of 18?
False
Suppose -5*b + 15 = -95. Is b a multiple of 6?
False
Let h(k) = -k - 4. Let z be h(-7). Suppose -z*y = 214 - 652. Is 15 a factor of y/9 + (-8)/36?
False
Let u = -14 - -17. Suppose 102 = h + d + 14, -u*h - 4*d + 259 = 0. Is 31 a factor of h?
True
Suppose a = 3*a - 44. Let g(o) = -o**3 - 3*o**2 - 2*o - 6. Let m be g(-3). Suppose 5*d + x = 84, m*d + 5*x = d - a. Is 6 a factor of d?
False
Let w be (-3 + 5/2)*2. Let x be 29 + (0 - w - 0). Let m = x + -6. Does 8 divide m?
True
Let z = 14 - 23. Let g = z - -26. Is 14 a factor of g?
False
Let u(v) = -v - 1. Let l(c) = -23*c - 5. Let y(w) = -l(w) + 6*u(w). Let t be 3*1/6*2. Is 8 a factor of y(t)?
True
Suppose 0 = l + 4*z - 19, 6*l - 2*l = -4*z + 16. Does 21 divide l*21*(1 + -2)?
True
Let y(j) = -j**3 + 12*j**2 - 5*j - 6. Does 12 divide y(11)?
True
Suppose -253 + 25 = -3*a. Let q(p) = p - 14. Let s be q(-14). Let c = a + s. Is 18 a factor of c?
False
Let i = 3 - 1. Let d = -54 + 96. Suppose 4*c = -2*o + d, 0 = -c - i*o + 11 - 2. Is c a multiple of 8?
False
Let s(t) = 2*t**2 + 2*t - 2. Suppose 12 = -4*n + 4*m, -m = -4*n - 3*m - 12. Let d = -1 - n. Is 6 a factor of s(d)?
False
Suppose -3*n - 12 + 3 = 0. Suppose 3*s - 7 - 7 = k, -56 = 4*k - s. Let i = n - k. Is i a multiple of 11?
True
Let n(s) be the first derivative of -s**4/4 + 4*s**3 - 11*s**2/2 + 10*s - 1. Is n(11) a multiple of 10?
True
Let h(r) = 2*r + 12. Let f be h(-8). Let b be 22/6 + f/6. Let l(w) = w**2 + 5*w - 2. Is 9 a factor of l(b)?
False
Let g(f) = f - 5. Let d be g(-7). Let o(w) = w**2 + 13*w + 16. Is 3 a factor of o(d)?
False
Let q(x) = 7*x + 2. Let m(u) = 8*u + 3. Let w(b) = 5*m(b) - 6*q(b). Let j be w(6). Let k = 7 - j. Is k a multiple of 8?
True
Let m be (-14)/(-5) + 4/20. Suppose m*g = -0*j + j - 6, 5*j + 4 = -2*g. Let p = j - -26. Is p a multiple of 13?
True
Let n be 0/(-2 - -3)*-1. Suppose n = 4*j - 13 - 7. Suppose -j*u = -4*u - 6. Is 3 a factor of u?
True
Suppose -2*d = 5*m - 18, -m = 4*m - 5*d + 10. Suppose m*g - 5 = g. Is g a multiple of 5?
True
Suppose g = 3*g. Suppose 6*a - a + 50 = g. Is a/(-6) - 1/(-3) even?
True
Let i be (1 - 0)/((-4)/(-12)). Let c be 39 + (3 - (3 + i)). Suppose -4*d = 4*l - 0*d - c, -9 = -3*d. Is l a multiple of 3?
True
Let m = 46 - -11. Suppose -3*p - 34 = -2*p. Let f = p + m. Is f a multiple of 18?
False
Suppose 131 = 5*g + 36. Is g a multiple of 3?
False
Let s be (-69)/(-21) - (-4)/(-14). Suppose -y = -s*y + 84. Is 11 a factor of 2/2 - y/(-2)?
True
Let x(j) be the second derivative of 5*j**4/12 - 7*j**3/6 - j**2/2 + 6*j. Does 17 divide x(4)?
True
Suppose 4*p = 16, -3*m - 5*p + 0*p + 20 = 0. Suppose -i - 4*i + 70 = m. Does 7 divide i?
True
Suppose -h = -4*h - 3, m - h - 3 = 0. Let d be 1/(m/54) + 1. Suppose -5*s + 6 - 1 = 0, 3*b - d = -4*s. Is 4 a factor of b?
True
Suppose -4*i + 2344 = 5*t, -3*t = -5*t + 5*i + 964. Is t a multiple of 59?
True
Let j = 31 - 14. Suppose -4*t + 35 = -j. Is t*((0 - 0) + 2) a multiple of 13?
True
Suppose u + 4 - 9 = 0, -3*u = 2*p - 25. Let q be p/(-2)*8/10. Is 15 a factor of (-4 - -3)/(q/90)?
True
Let x(u) = u - 1. Let r be x(1). Let d be -1 + r + (-32)/4. Let a = -5 - d. Does 2 divide a?
True
Suppose 78 = 3*g - 0*g. Is 13 a factor of g?
True
Let p(j) = j + 2. Let a be (-1 + 4)*(-10)/(-6). Let x be p(a). Suppose -x = -q + 1. Is q a multiple of 6?
False
Let x = 272 - 57. Does 27 divide x?
False
Suppose -12*g + 672 = -8*g. Is g a multiple of 21?
True
Let v = -52 + 94. Suppose i = -0*i + v. Does 15 divide i?
False
Suppose 0*b - 5*b = -4*v + 16, -20 = -5*v + 4*b. Let n = 0 + v. Is n/(-14) + (-396)/(-14) a multiple of 14?
True
Is 3 a factor of 6/(-4) + 27/6?
True
Let h(d) = d**3 + d**2 - d - 1. Let q(v) = 3*v**3 + 7*v**2 + 3*v - 1. Let y(n) = 2*h(n) - q(n). Let t be y(-4). Suppose -2*x = -t*x + 20. Does 20 divide x?
True
Let l(y) = -y**3 - 3*y**2 + 3*y + 1. Let p be l(-4). Suppose -2*d + p + 9 = 0. Suppose 2*j + d = 2*r + r, -3*j = -3*r + 3. Is 4 a factor of j?
True
Let i = 14 - 13. Is 20 a factor of 37 + 3*(0 + i)?
True
Let x = -10 + 46. Suppose -14 = -5*g + x. Is g a multiple of 10?
True
Suppose 4*m - 5*s = 75, -s + 0 = -5. Does 5 divide m?
True
Let r be 6/(-4)*4/(-3). Suppose r*z - 7 = 47. Does 8 divide z?
False
Is 21 a factor of 8*89*((-24)/16)/(-3)?
False
Let o be 5/(-15) + (-560)/(-6). Suppose 3*r = 5*s + o, -s + 5 - 22 = -r. Let z = s + 53. Is 16 a factor of z?
True
Let l be -6*((-56)/(-12) + -3). Let f = 58 + l. Is 12 a factor of f?
True
Suppose -3*c - 2 = -2*u + 2, -c = -2*u + 8. Suppose -m = u*b, -4*m - 27 - 27 = 2*b. Is m/(-18)*3*2 a multiple of 2?
False
Let f(a) = 44*a**3 + a**2 - 2*a + 1. Is 11 a factor of f(1)?
True
Suppose 2*v - 3*t = 7, -4*t - 16 = 2*v + 2*v. Let r be (v + (-1 - 10))*1. Is 6 a factor of (r/10)/((-3)/30)?
True
Suppose 2*q - 3*s - 30 = -q, -s = q. Suppose 0 = l - 5*a + 23, -2*l + a + 24 = q*a. Is l even?
True
Let j be ((-1)/(-3))/((-1)/(-6)). Does 14 divide 28 - (-1)/j*0?
True
Let p = 16 + -11. Let g be 5/(-2)*(3 - p). Suppose 2*v = 0, g*s + 2 = 5*v + 87. Is s a multiple of 7?
False
Is 21 - 4 - 4 - 1 a multiple of 2?
True
Let l(v) be the first derivative of 13*v**4/2 + 2*v**3/3 - v**2 + v + 2. Let a be l(1). Let z = -11 + a. Is 10 a factor of z?
False
Suppose 4 = 4*a - 64. Is 17 a factor of a?
True
Let z = 3 + 5. Does 8 divide z?
True
Let w be (1 + 0)*1 - 2. Let x be (w - 0) + (-2 - -5). Suppose x*t = 10 + 12. Is t a multiple of 11?
True
Let n = 698 + -464. Is 26 a factor of n?
True
Let d = -38 + 63. Is d a multiple of 8?
False
Let c(x) = x**3 + 3*x**2 - 3*x + 1. Let b be c(-4). Is (b - (-13)/(-2))*-4 a multiple of 19?
True
Let f(x) be the second derivative of -x**7/2520 + x**6/90 + x**5/40 - x**4/3 - 2*x. Let l(m) be the third derivative of f(m). Is l(7) a multiple of 5?
True
Let n(o) = -o**2 - 22*o + 2. Does 43 di