
True
Let g(v) be the second derivative of -v**4/12 - 7*v**3/6 + v**2 - v. Let t be g(-7). Let u(x) = 13*x - 2. Does 12 divide u(t)?
True
Let i(v) = -4*v - 11. Let n(d) = -d - 16. Let t be n(-8). Does 9 divide i(t)?
False
Let k = 90 + -42. Is k a multiple of 19?
False
Let i(s) = -s**3 - 5*s**2 - 5*s + 7. Let u = 3 - 3. Let w = -5 - u. Is 13 a factor of i(w)?
False
Let m(h) = -9*h + 4. Let k be -7 - -5 - (3 + -1). Let x be m(k). Suppose -3*s = 0, b + 3*s + x = 3*b. Is 8 a factor of b?
False
Let p(v) = -2*v + 16. Does 16 divide p(-4)?
False
Suppose -3*h - k + 238 = 0, 5*h - 5*k - 257 = 173. Is 17 a factor of h?
False
Suppose 4*t + a = -a + 14, 2*t - 5 = a. Suppose 2*f + 0*n = 4*n + 36, -t*n - 7 = f. Is 10 a factor of (45/12)/(1/f)?
True
Let l = -9 - -12. Let r = -4 + 2. Is 9 a factor of r/l - 77/(-3)?
False
Let m = -268 + 513. Suppose 3*l - m = -2*l. Does 17 divide l?
False
Suppose n = -4*f - 30, -5*n = -2*f - n - 6. Let x(k) = -k - 2. Let p be x(f). Suppose 227 = 5*u + 3*d, -3*u + 5*d - 87 = -p*u. Is 17 a factor of u?
False
Let y(v) = 5*v**2 + 2*v. Is 4 a factor of y(-2)?
True
Let a(q) = -6*q - 12. Suppose -4*x = -5*d + 17, 0*d - 2*d = -x - 2. Is 12 a factor of a(x)?
True
Suppose -b = 4*b. Suppose 4*p = -v + 13, b*p + 5*p - 32 = 4*v. Let u(n) = 6*n - 3. Is 21 a factor of u(p)?
True
Let y(a) = 38*a**2 - 2*a. Is 6 a factor of y(1)?
True
Let u(x) = x**2 - 1 - 2 - 1. Let y be u(-3). Suppose 10*n = y*n + 90. Is 7 a factor of n?
False
Let n = 92 - 42. Is 10 a factor of n?
True
Is 0 + 0 + (-300)/(-10) a multiple of 15?
True
Let p(m) = 5*m - 1. Let f be p(10). Suppose -2*u = -2*s - u + f, 2*u - 118 = -4*s. Does 9 divide s?
True
Suppose -13 = 5*b - 6*b + s, 23 = 3*b + s. Suppose 3*g + 5*r - 51 = 0, g - 2*g + r = -b. Is 3 a factor of g?
True
Suppose 4*g + 6 = 22. Suppose -6*z - g*i + 62 = -3*z, -5*z + 3*i = -113. Is z a multiple of 13?
False
Suppose -2*c + 2431 + 2297 = 0. Let s be 2/(-7) + c/42. Let q = s + -32. Does 13 divide q?
False
Let n(i) = 12*i**2 + 2*i - 4. Let w be n(-3). Suppose -2*f + w = 2*r, -2*f - f = 9. Is 13 a factor of r?
True
Let p = -23 + 25. Is 15 a factor of p - ((-8)/4 - 41)?
True
Let x(r) = r**3 + 4*r**2 - 3*r + 4. Let i be x(-5). Let v = 3 + -2. Does 3 divide (i + v)*(-6)/10?
True
Let p(i) be the first derivative of i**2 - 7*i - 1. Let m be p(5). Suppose -5*w - 3*b + 38 + 103 = 0, -111 = -4*w - m*b. Is 22 a factor of w?
False
Suppose 0 = 3*b - 0*b - 108. Suppose -4*i + 8*i - b = 0. Is i a multiple of 3?
True
Let w be (-17)/(-4) - (-9)/(-36). Let p(q) = q - 2. Is p(w) even?
True
Suppose 5*f - 4*f = 31. Is 19 a factor of f?
False
Let d(z) = -3 + 0 + 13*z - z**2 + 2. Let x be d(6). Suppose -c + x = 6*s - 3*s, -c + 2 = 0. Does 13 divide s?
True
Let h(k) = k + 13. Let v be h(-11). Suppose 3*g - g - 10 = -2*f, f + v*g = 0. Is f a multiple of 4?
False
Suppose -5*i - 178 = -643. Is i a multiple of 31?
True
Let i(z) = -z**3 - 6*z**2 - 3*z + 4. Let x be i(-5). Let k be (-128)/x*(-6)/(-4). Suppose -2*n - 2*n + k = 0. Does 8 divide n?
True
Suppose -2*b + 330 = 3*b. Let a = b + -27. Is a a multiple of 16?
False
Suppose 1 = -c + 2*c. Is (-16*3/(-3))/c a multiple of 12?
False
Let a(x) = x**3 + 6*x**2 - 7*x + 4. Let z be a(-7). Let q be -1*1 - (-1 + 0). Suppose 3*h + 15 = 0, q*s + z*s + 2*h = 62. Is s a multiple of 9?
True
Let l be 9/4*48/(-18). Let i = l + 17. Is 8 a factor of i?
False
Suppose 2*s + 24 = -2*s. Does 14 divide 3/(9/s) - -41?
False
Suppose 750 + 634 = 8*h. Does 24 divide h?
False
Let c(o) = -44*o + 1. Does 21 divide c(-1)?
False
Suppose s + s = 450. Suppose 6*u = 3*u + s. Let g = u - 45. Is g a multiple of 16?
False
Suppose -6*w + 5*f = -w - 30, 3*f + 12 = 0. Suppose -2*c - 6 = -4*z, -3*z - w*z - 2*c = -21. Suppose -z*q + 3*p + 0 = 3, -4*q + 28 = 4*p. Is 3 a factor of q?
True
Let z(c) be the third derivative of c**6/180 - c**5/24 - c**4/8 - 2*c**3/3 - c**2. Let w(n) be the first derivative of z(n). Is 8 a factor of w(5)?
False
Let l(j) = -j + 6. Is 11 a factor of l(-5)?
True
Let h = -13 + 23. Is 4 a factor of h?
False
Suppose 0 = a - 2*a - 43. Let x = a - -63. Is x a multiple of 20?
True
Let r(n) = n**3 - 8*n**2 - 9*n + 4. Let c be r(9). Suppose 48 = c*f - 184. Suppose -3*d + d = -f. Does 10 divide d?
False
Suppose 5*c - 43 = 12. Suppose f - q + 9 = 2*f, -c = f - 3*q. Suppose -m - 2*s = -10 - 14, 0 = m - 2*s - f. Is 7 a factor of m?
True
Let b = 78 - 18. Is b a multiple of 15?
True
Is 9 a factor of 6/45 - (3 - 448/15)?
True
Suppose -4*o = 4*b - 552, 4*o = b + b - 276. Is 23 a factor of b?
True
Does 8 divide (-21 - -1)*(-10)/5?
True
Let d = -4 - -7. Suppose 108 + 73 = 4*y - 3*a, -y - d*a = -49. Is y a multiple of 12?
False
Suppose 4*p = -6*x + x + 12, -14 = 3*p - 2*x. Let g = p - -31. Is 10 a factor of g?
False
Suppose 0 = -f - 0*f + 66. Is f a multiple of 8?
False
Let v(q) = 4*q + 4. Let y(n) = -7*n - 7. Let g(j) = -5*v(j) - 3*y(j). Suppose -z + 14 = 2*w, 0 = 4*w - 0*w - z - 16. Is g(w) a multiple of 6?
True
Let f = -34 - -81. Does 18 divide f?
False
Suppose -1 = -2*x + 3. Suppose j - 10 = 5*k, 6*k = x*k. Does 10 divide j?
True
Does 6 divide 4/10 - 236/(-10)?
True
Suppose 3*o - 262 = -4*n, 3*n - 8*n - 10 = 0. Is 5 a factor of o?
True
Let g(o) = o**2 - 15*o + 16. Let t be g(14). Is 10 a factor of (-117)/(-12) - t/(-8)?
True
Suppose -5*m = -12 - 8. Let r = 1 - -3. Suppose -w + 5*x - m*x = -7, 5*w + r*x - 53 = 0. Does 9 divide w?
True
Let m(i) = i**2 - i + 4. Is m(3) a multiple of 5?
True
Let a be 6/9 + 7/3. Suppose -r + 3*v = -26, 0 = v + a*v - 4. Is r a multiple of 11?
False
Suppose 2*v - 2*q = -2*v + 42, 27 = 2*v + q. Let t = -18 + v. Is (-2)/(1*t)*69 a multiple of 9?
False
Let o(x) = x + 2. Let g be o(3). Suppose -6 = 4*t + g*d + 10, -d = -2*t + 6. Is 2*3*t - -2 a multiple of 4?
True
Let b(g) = -g**3 + 3*g**2 + 6*g - 1. Let r be b(4). Is 1 + 0/3 + r a multiple of 4?
True
Suppose -4*o + 30 = 10. Suppose -o*a + 8*a = 285. Does 19 divide a?
True
Let r(j) = 9*j**2 - 4*j + 13. Is r(3) a multiple of 14?
False
Let j be (-1)/((-4)/(1*40)). Suppose u - 3*u = 0, -4*k + 16 = 5*u. Does 4 divide ((-32)/(-10))/(k/j)?
True
Let b(u) = 2*u**2 - 4*u - 3. Does 4 divide b(-3)?
False
Suppose -4*i = -0*i - 28. Let q = i + 9. Is q a multiple of 16?
True
Suppose -2*r + 0*m = 2*m - 58, 99 = 3*r - 3*m. Does 14 divide r?
False
Let y = 9 + 35. Does 17 divide y?
False
Suppose 0 = -4*x + 2*s + 119 + 107, -s + 49 = x. Suppose 2*a + 0*a + 2*j - x = 0, -3*a - j = -87. Is 11 a factor of a?
False
Let z = 21 - 16. Does 2 divide z?
False
Let o(x) = -x**2 + 5*x + 13. Is o(5) a multiple of 2?
False
Suppose 108 = p - 0*p. Let k = -71 + p. Suppose -34 = -5*c - q, 5*c - 5*q - k = -3*q. Does 5 divide c?
False
Let g = 12 + -5. Does 7 divide g?
True
Suppose -4*j - 20 = -9*j. Suppose j + 17 = -l. Let x = l + 36. Is 9 a factor of x?
False
Let v = 11 - 11. Suppose v*u + u = 0. Suppose 2*r - 44 = -u*r. Is r a multiple of 16?
False
Suppose 2*g = -a + 48, 347 - 95 = 4*a - 4*g. Is 13 a factor of a?
False
Suppose -v + 5 = -12. Suppose v + 35 = 4*g. Let r = g + -4. Does 4 divide r?
False
Let j = 126 + -82. Is j a multiple of 6?
False
Let w be (99 + 1)*1 + 0. Suppose -4*r = -4*m - 116, -w - 15 = -4*r + 5*m. Does 14 divide r?
False
Suppose 2*o = 3*o - 88. Is 17 a factor of o?
False
Let d(z) = -z - 3. Let b be d(-6). Suppose -3*y = -3*h + 33, 4*h - b*y = -2*y + 47. Does 13 divide (-2)/8 - (-315)/h?
True
Suppose -j - j = 3*u + 20, -3*u - 3*j = 24. Let s(a) = -3*a - 7. Let l(i) = 12*i + 29. Let y(c) = 2*l(c) + 9*s(c). Does 5 divide y(u)?
False
Let v(q) = 4*q**2 - 10*q - 10. Let n be v(8). Let i = n - 96. Let o = i + -35. Does 16 divide o?
False
Suppose -5*b + 25 = -50. Suppose 135 = 6*u - b. Does 25 divide u?
True
Suppose 50 = 5*f - 4*y, 44 = 4*f - y - 3*y. Let g(c) = 15*c**2 + 3*c + 10. Let o(b) = 7*b**2 + b + 5. Let n(v) = -6*g(v) + 13*o(v). Is n(f) a multiple of 11?
True
Let h(t) = -t**2 - 6*t - 1. Let c be h(-7). Let g = 12 + c. Suppose -b - 4*d + 27 = 0, -b + 3*b = g*d + 18. Is b a multiple of 15?
True
Let w(j) = -j**2 - 11*j - 10. Let i be w(-10). Suppose i = -0*h - 2*h. Suppose h = -2*c - 3*c + 250. Is c a multiple of 15?
False
Is 48 a factor of (-30*4)/((-5)/10)?
True
Let q = 139 - 69. Is 4 a factor of q?
False
Let v(b) = -11*b**2 - 2*b - 1. Let w be v(3). Let t = -74 - w. I