 of h?
True
Suppose -5*z = 0, 3 = j - 4*z + 2. Let f = j + -6. Let m(q) = q**2 + q + 2. Does 17 divide m(f)?
False
Suppose -2*n + 8 = -8. Suppose 0*o = o - n. Does 8 divide o?
True
Let l(j) = -j**3 - 4*j**2 + 4*j. Let k be l(-5). Let i be (0/(2 - k))/(-2). Suppose -2*c + 0*c = i, 0 = 3*h - 5*c - 78. Is h a multiple of 13?
True
Does 6 divide 12/(-9)*(-18)/4?
True
Let i(f) be the third derivative of f**6/120 + f**5/12 + f**4/8 + f**3/2 - 2*f**2. Let t be i(-5). Let k = 22 + t. Is 8 a factor of k?
False
Suppose 2*s = 2*u - 10, 11 = 4*u - 9. Suppose -f = -s*f + 2*t + 6, 4*t = f - 18. Suppose -6*a + 152 = -f*a. Does 13 divide a?
False
Let g = -12 + 14. Suppose -2*l - 18 = g*b - 132, -2*b = -6. Does 16 divide l?
False
Let r(w) = 2*w + 1. Let n be r(2). Let k(i) = 2*i**2 - 2*i - 7. Is k(n) a multiple of 17?
False
Let z(p) be the third derivative of -11*p**4/24 + 7*p**3/6 - p**2. Is z(-8) a multiple of 19?
True
Let w = 307 + -201. Is w a multiple of 25?
False
Let v(g) = -g - 8. Let f(k) = -k - 2. Let h(d) = d + 1. Let m(j) = -6*f(j) - 5*h(j). Let q(s) = 5*m(s) + 4*v(s). Is 8 a factor of q(5)?
True
Let g be (-1356)/(-10) - (-10)/25. Suppose -4*a - g = -4*q, 4*q - 161 = -2*a + a. Is q a multiple of 13?
True
Let s = 5 + -3. Suppose u - 3*d - 28 = -7*d, 0 = -s*u + 2*d + 16. Is 6 a factor of u?
True
Suppose y = -3, 5*y = -4*f - 24 + 105. Is f a multiple of 8?
True
Suppose 30 = -2*z + 5*z. Let r = 19 - z. Does 9 divide r?
True
Let t(a) = -a**2 - 7*a. Let b be t(-7). Suppose -4*k + 16 = -b*k. Suppose -14 = -k*n + 2*n. Does 7 divide n?
True
Let s = -3 + 18. Suppose 6*f = f + s. Suppose 0 = -f*c + 5*o + 37, 18 = 5*c - o - 51. Does 8 divide c?
False
Let t = 39 - 27. Does 12 divide t?
True
Let q be 4/6 - 8/3. Does 17 divide (17/q)/(18/(-180))?
True
Let n be ((-4)/(-12))/((-2)/6). Does 2 divide (-4 - 4)*n/2?
True
Suppose -5*n + 17 + 28 = 0. Is n a multiple of 9?
True
Let b = -88 - -98. Does 6 divide b?
False
Let u = -8 - -30. Suppose -f + 72 = 3*r - u, 4*f = 2*r - 44. Let p = r - 15. Does 15 divide p?
True
Let t = 275 + -185. Is t a multiple of 16?
False
Is 5 a factor of (-3)/(-2) - 9*3/(-6)?
False
Let k = -22 - -61. Suppose 5 = 3*q - 4*p - k, 0 = 3*q + 5*p + 1. Does 8 divide q?
True
Let r = -42 - -22. Let j be (-12)/(-18) + r/(-6). Suppose -j*s = 12 - 32. Is s a multiple of 3?
False
Let k(p) = -2*p**2 - 13*p - 1. Is k(-6) even?
False
Suppose -4*y - 2*r + 638 = 0, -4*y + 5*r = -0*r - 645. Is 14 a factor of y?
False
Suppose h - 11*h = -300. Is h a multiple of 10?
True
Suppose 0 = -i + 3*g - g - 4, 12 = -i + 4*g. Suppose -i*p = -20, -5*q + 0*p + 60 = 5*p. Is q even?
False
Suppose -p = 3*p - 176. Does 6 divide p?
False
Let i = 147 + -83. Suppose i = 3*y - 8. Suppose 0 = -n - 3*n + y. Does 4 divide n?
False
Let v(g) = -g**2 + g + 59. Suppose 6*j = 9*j. Does 15 divide v(j)?
False
Is 31 a factor of 33 + (1 - (-3 + 6))?
True
Let m = -1 - 1. Let x be m/(-3) - 80/(-6). Suppose -x = -4*z + 2. Does 2 divide z?
True
Suppose -2 = 5*y - 12. Let x(j) = -8*j - 1. Let m(k) = 32*k + 4. Let b(p) = -4*m(p) - 18*x(p). Is b(y) a multiple of 9?
False
Let m = -30 - -54. Let l = -13 + m. Is l a multiple of 6?
False
Let g(v) = -v**3 - 4*v**2 - 3*v - 3. Let s(z) = -z**2 - 9*z - 4. Let i be s(-9). Is g(i) a multiple of 7?
False
Let h be 8/(-12) + 64/6. Let z(y) = -y - 6. Let q be z(-7). Let s = h + q. Does 7 divide s?
False
Let r(v) be the first derivative of v**3/3 + v**2 + 5*v + 1. Let g = -3 - 2. Is 10 a factor of r(g)?
True
Let o be (-4)/(-26) - (-145)/(-13). Let h = o + 30. Is h a multiple of 9?
False
Let p(h) = 5*h**3 - 23*h**2 - 2*h - 8. Let b(y) = 2*y**3 - 8*y**2 - y - 3. Let k(s) = -8*b(s) + 3*p(s). Does 6 divide k(-6)?
True
Suppose -42 - 63 = k. Let u = k - -58. Let w = -8 - u. Is 20 a factor of w?
False
Let b(g) = -g**3 - 2*g**2 + 3*g + 3. Let y be b(-3). Suppose -v + 48 = 3*v - 5*h, -y*h = 0. Let q = 22 - v. Does 4 divide q?
False
Suppose -3*x + 3*m + 39 = 0, -3*x + 30 + 30 = 4*m. Let k be 16*(5/2 - 2). Let o = x - k. Is 8 a factor of o?
True
Let z be (-22)/(-12) - 3/(-18). Suppose 5*l + 3*o = z*o + 280, l - 2*o = 56. Is 22 a factor of l?
False
Let b = -60 - -112. Suppose -2*p = -6*p + b. Is 10 a factor of p?
False
Suppose -2*j + 4*j = -3*z + 81, -5*j = -z - 194. Does 13 divide j?
True
Let k(n) be the third derivative of 0 + n**2 + 0*n + 1/8*n**4 + 1/3*n**3. Is 10 a factor of k(6)?
True
Let q be (0/3)/(-4 - -2). Suppose -5*x + 10*x - 240 = q. Is 20 a factor of x?
False
Suppose 0 = 4*l - 5*z - 177, 0*l + 2*l - 93 = z. Is 8 a factor of l?
True
Suppose p = 2*p + 2*k - 207, p = 2*k + 199. Is p a multiple of 29?
True
Suppose -t = -2 - 2. Suppose -t*b + 5*b = 26. Is b a multiple of 14?
False
Suppose 0*q + 27 = q. Let f(o) = -o**2 + o - 56. Let t be f(0). Does 10 divide (q/(-18))/(3/t)?
False
Suppose -3*d = 3*i - 15, i - d - 2*d = -7. Let t be 1 - (-5 + i - 122). Suppose -3*f = -0*f - t. Is f a multiple of 21?
True
Let v(p) = p - 7. Let o be v(6). Let m be -3 - -3 - o*1. Is ((-34)/(-1))/1*m a multiple of 17?
True
Let l be (-1)/(6/9 - 1). Suppose -5*t = 25, 0 = 3*q - q + l*t - 37. Is 7 a factor of q?
False
Let t = -168 + 324. Does 13 divide t?
True
Let k(c) be the first derivative of c**4/4 + 7*c**3/3 - 7*c**2/2 - 3*c - 2. Let q be k(-8). Let p = 41 + q. Is 12 a factor of p?
False
Suppose 3*t + 5*s + 0*s = 144, -203 = -5*t + 4*s. Suppose 2*q + x - 63 = 20, -x = -q + t. Suppose 0 = j - 2*j + q. Is 14 a factor of j?
True
Let m(a) = a**3 + 10*a**2 + 3*a + 12. Let p be m(-10). Suppose 0 = -5*t + 4*k + 140, 12 - 37 = -5*k. Let y = p + t. Is 14 a factor of y?
True
Suppose 0 = v + 2 + 2. Let s = -5 - v. Is 2 a factor of s/(-2) - 18/(-4)?
False
Let n(g) = 2*g + 24*g**3 - 23*g**3 - 5*g**2 + 0*g. Does 12 divide n(6)?
True
Suppose -46 = 3*z - z. Let p = z + 38. Is p a multiple of 4?
False
Let u(f) = f + 6. Let z be u(-8). Is 13 a factor of (1 + -3)/(z/26)?
True
Let o(f) = f + 9. Let x be o(-7). Suppose 7 = x*a + 1. Suppose 0 = 4*q - 3*c - 15 - 7, 0 = -a*q - 5*c + 2. Is 3 a factor of q?
False
Suppose -5*b - 5*n = -10, n = 6*n. Let f be (3/(-6))/(b/(-28)). Suppose 40 = 3*t + 2*a, -5*a = 5*t - f*a - 88. Is 8 a factor of t?
True
Suppose 7 = -2*r - 13. Let s be (-3)/(2 + 18/r). Does 7 divide (-6)/s + 68/5?
True
Let r(f) = -4*f**3 - 7*f**2 - 13*f - 1. Let i(c) = -c**3 - c - 1. Let h(w) = 5*i(w) - r(w). Let d be h(7). Suppose -4*o + d = -56. Is 13 a factor of o?
False
Let b be -7*(0 + 3)*-1. Let h = b + 49. Suppose -g - 4*g + h = 0. Does 14 divide g?
True
Suppose -s = 2*a - 24, -a = -2*s - 2*s + 51. Let z be 0 - (4 + -3 - s). Suppose z = u - 4*m, m + 4 = u - 9. Does 5 divide u?
False
Suppose -2 = y + 5. Let l(w) = -w**3 - 7*w**2 - 4*w + 10. Does 15 divide l(y)?
False
Suppose 3*b = 5*y - 0*b - 315, 260 = 4*y - 4*b. Does 25 divide y?
False
Let v(o) = 2*o**2 + 6*o + 4. Let b = -6 - 0. Does 20 divide v(b)?
True
Suppose 0 = t - 2*t. Let k = t - 0. Suppose -30 = -k*u - u. Is u a multiple of 15?
True
Suppose -1 = 5*d - 11. Suppose -4*g + 5*a = -50, -13 = -d*g + 3*a + 13. Is g a multiple of 10?
True
Suppose 2*z - s = 0, 3*z + 4*s = -0*z. Let t = z - 2. Is 15 a factor of -2 + (t - -5) - -29?
True
Does 26 divide (-15)/(-5) + 71 - -4?
True
Let t = 7 - 13. Does 11 divide (29/2)/((-3)/t)?
False
Let k(g) be the first derivative of g**6/90 - 2*g**3/3 + 2. Let t(n) be the third derivative of k(n). Is t(1) a multiple of 3?
False
Let j(v) = -v**3 - 2*v**2 + v + 144. Does 24 divide j(0)?
True
Does 31 divide (53/(-2))/(7/(-98))?
False
Let p(m) = -m + 7. Let z be p(6). Let r be 5 + -4 + (5 - z). Let i = 5 + r. Does 6 divide i?
False
Let s(t) = t**3 + 15*t**2 + 13*t - 11. Let z be s(-14). Suppose 0 = z*j + 2*j - 35. Is 4 a factor of j?
False
Let r(x) = x**3 + x**2 - x + 71. Let z be r(0). Suppose 8*v + 96 = 6*v. Let k = v + z. Is 23 a factor of k?
True
Suppose h - 1 = -0*h. Let p be 12/(-8)*(h - 3). Suppose -6*u + 27 = -3*u + 3*b, -u - 3*b + p = 0. Does 6 divide u?
True
Suppose -c = -4*r + 14, 22 = -r + 6*r + c. Is 3 a factor of 22/r - 8/(-16)?
True
Let n(a) = -4*a**2 + 2*a - 1. Let w be n(1). Is ((-8)/w)/((-8)/(-36)) a multiple of 6?
True
Suppose j - 5*r - 65 = 0, 2*j = 3*j - r - 49. Does 15 divide j?
True
Let q(r) = r**3 + 11*r**2 + 9*r + 5. Let h be q(-10). Let z = 18 - h. Does 3 divide z?
True
Suppose -s + 123 = 3*u,