 16*w - k*w + 9. Does 27 divide v(-3)?
True
Let w = -30 + 59. Let h(d) = d**2 - 29*d + 19. Let u be h(w). Suppose 2*c = -u + 129. Is c a multiple of 11?
True
Let q(t) = 4*t**2 - 6*t + 8. Suppose 0 = -2*g - 283 + 299. Is 18 a factor of q(g)?
True
Let j(d) = -9*d - 5. Let o be j(-27). Let c = o + 97. Is 12 a factor of c?
False
Let u(h) = h**2 + 17*h - 394. Is 22 a factor of u(-42)?
False
Let n(i) = -i**3 + 57*i**2 + 7*i - 42. Is n(49) a multiple of 91?
False
Let j be (-30)/(-9)*(2 - (-14)/(-4)). Let q be 152*((-20)/8)/j. Suppose 3*z = -2*v + q, v + v = 4*z + 48. Does 17 divide v?
False
Suppose -3*b + 74 = 18*x - 13*x, -2*x - b = -30. Is 15 a factor of (486/(-5))/(x/(-40)) + -3?
True
Let k(g) be the second derivative of g**4/4 - g**3/6 - g**2/2 - 10*g. Let n be k(-1). Is 3 a factor of n/(-5) + (-390)/(-25)?
True
Let h be ((-160)/640)/((-1)/(-24)). Let c(n) = n**2 + 50*n + 37. Let m(s) = 17*s + 12. Let u(t) = 3*c(t) - 8*m(t). Is u(h) a multiple of 13?
True
Is 30 a factor of (-1095 + -5 - 16)/((-1)/15)?
True
Let g(j) = 42*j**2 - 65*j + 680. Is g(16) a multiple of 12?
True
Let q(a) = 30*a**2 - 2*a - 4. Let c be q(-2). Let p = c + -52. Suppose -2*v = 2*v + 16, -4*v = -4*g + p. Is 2 a factor of g?
False
Is 15 a factor of (-2 - -2167)/((1/6)/((-6)/(-36)))?
False
Suppose -5*t + 13072 = 76*t - 22649. Is t a multiple of 7?
True
Suppose -4*c + c = -3*x - 6, -2*c = 5*x - 11. Suppose 280 = 4*n - c*n + 5*d, -3*n = -2*d - 840. Is 17 a factor of n?
False
Suppose -22299 + 13618 - 200623 = -51*w. Does 24 divide w?
True
Suppose 0 = -4*y + y - 3*d + 114, -5*d = 2*y - 73. Let t = y + 145. Is t a multiple of 46?
True
Let n = 52636 + -32658. Is 6 a factor of n?
False
Suppose 31608 = 29*s + 7*s. Suppose 0 = -4*k - 4*j - 0*j + 1192, -s = -3*k + 5*j. Is k a multiple of 70?
False
Let t = 56 + -53. Suppose -b + 15 = 3*y, -8*b = 5*y - t*b - 35. Suppose -z - y = -52. Is z a multiple of 17?
False
Let z = -1187 + 3466. Does 15 divide z?
False
Let z = -2139 + 3240. Is z a multiple of 29?
False
Let a(h) = -2*h**3 - 4*h**2 + 5*h - 7. Let q = -108 + 103. Is 59 a factor of a(q)?
True
Suppose a + 4 = 0, -4*a + 5861 - 584 = n. Does 79 divide n?
True
Suppose -10*l - 65*l + 235985 = -184015. Does 160 divide l?
True
Let k = 23230 - 16855. Does 17 divide k?
True
Let x be 0 - 204/(1 - 4). Let s = -65 + x. Suppose s*t - 2*t = 22. Is 3 a factor of t?
False
Suppose 44*t = 14*t - 24*t + 201204. Is t a multiple of 69?
True
Suppose 3*j - 4*d = -1, -6*d + 2 = -j - 3*d. Is 2 + (-7 - (j - 3)) + 69 a multiple of 6?
True
Suppose 2133 + 2997 = -9*v. Let o = 68 - v. Is o a multiple of 58?
True
Let l(c) = -19*c + 8. Let y(x) = -x**2 + 9*x - 18. Let g = 51 - 44. Let z be y(g). Is 15 a factor of l(z)?
False
Let r = 105 + -107. Let a be r + 4 + -78 - (1 - 5). Let d = a + 105. Is 11 a factor of d?
True
Let a = 97 + 354. Let v = 772 - a. Is 40 a factor of v?
False
Let a(l) = -18*l + 69. Let h be a(-16). Let m = h - 79. Does 5 divide m?
False
Let i be 4 - (-8)/(2 - 4). Suppose -3*w - 3 = i, 331 = -8*x + 9*x - w. Is x a multiple of 15?
True
Let p = -4439 - -12119. Is p a multiple of 40?
True
Is -1 + (-46*633)/(-6) a multiple of 14?
False
Suppose -n - 3*t + 0*t + 90 = 0, n = 3*t + 66. Suppose -6*b - n = -8*b. Suppose 41*l - 120 = b*l. Does 18 divide l?
False
Let k = 351 + 1549. Suppose 2*x = -0*u - 3*u + k, -2*u + 3*x = -1245. Does 35 divide u?
True
Let k(v) = -3*v - 53. Let c be k(-25). Let f(y) = y - 26. Let r be f(c). Is 14 a factor of 59 + (4 - (-16)/r)?
False
Suppose 1212 = 3*a - 3*d, -2*a - d = -4*a + 810. Suppose 13*h + h = a. Does 18 divide h?
False
Does 31 divide 150/(-350) - 177005/(-7)?
False
Let i be (4/6)/(2/(-1161)). Let g = i - -514. Is 34 a factor of g?
False
Let y(r) = 4*r**2 - 10*r + 49. Let d(w) = w**2 - 7*w + 14. Let t be d(6). Does 25 divide y(t)?
True
Suppose 15*a + 359152 = 143*a - 283152. Does 26 divide a?
True
Let i(b) = -26*b**3 - b**2 - 2*b - 5. Let c(o) = o**2 - 10*o + 7. Let f be c(9). Does 29 divide i(f)?
True
Is -4 + (-1790)/(-10) - -10 a multiple of 7?
False
Let f(p) = 3*p + 44. Let r be f(-13). Suppose r*i - 487 = -127. Is 18 a factor of i?
True
Let c = -70 + 76. Suppose -v + 4*v = 414. Suppose 3*p + v = c*p. Is p a multiple of 46?
True
Does 2 divide (-480)/50 + 9 + 1033/5?
True
Let o(x) = 4*x + 16. Let u be o(6). Let a(b) = -4*b + 210. Does 10 divide a(u)?
True
Let s(b) = 29*b**2 - 5*b. Let m be s(-4). Suppose -4*n + 22 = 2*y, 17*n - 19*n - 43 = -5*y. Does 3 divide (m/y - 0) + 2/9?
True
Suppose -374 + 419 = 5*a. Suppose a*q - 738 = 72. Is q a multiple of 6?
True
Suppose 5*q + 2*q = -2*q. Suppose 5*o + 10 = q, -k + 4 = -2*k - 3*o. Suppose -k*h = 3*i - 30, -5*h - 3 = 2*i - 23. Does 5 divide i?
True
Let f be 0 - (2330/(-40) + 1/4). Suppose 0 = -4*i + 12, -3*i - f - 1229 = -2*o. Is 14 a factor of o?
False
Suppose -2*v + 2*u - 3*u + 7 = 0, 2*v - 5*u + 11 = 0. Let w = 6052 + -6015. Suppose -2*a + 106 = 4*z, -v*a + 95 = 5*z - w. Does 3 divide z?
False
Let i = 14839 + 19055. Is 54 a factor of i?
False
Does 12 divide -5 + 63*(-12)/(-4) + -6?
False
Suppose -2*a - 2*j + 180 = 2*a, -2*a + 82 = -3*j. Let d be 3/(24/22) + (-33)/a. Suppose 4*i + d*k = 88, -4*i + i + 4*k + 88 = 0. Is i a multiple of 8?
True
Suppose -q = 6*q - 14. Let c(f) = -f**2 - 10 - q + 29*f - 1 - 1. Is c(22) a multiple of 35?
True
Let r(q) = 14*q + 4. Let w(a) = -13*a - 5. Let i(u) = -2*r(u) - 3*w(u). Let n be i(-7). Let c = 10 - n. Is c a multiple of 16?
True
Let o(w) = -w**2 + 1. Let u(z) = -2*z**2 - 10*z - 1. Let m(i) = o(i) + u(i). Let r be m(-7). Let b = 221 + r. Does 36 divide b?
True
Let l(h) = h**3 + h**2 - 23*h - 167. Does 28 divide l(24)?
False
Suppose -7*n + 3*w = -3*n - 8085, -2*w - 2030 = -n. Is 4 a factor of n?
True
Let c(y) = 11*y**2 - 7*y - 32. Let a be c(-9). Suppose 2*s - 662 = 4*q, -4*q = -4*s + 386 + a. Is s a multiple of 19?
True
Let g(w) = 2*w**2 + 22*w + 15. Let y(i) = -i**2 - 11*i - 8. Let d(n) = 2*g(n) + 5*y(n). Let z be d(-10). Suppose z = -19*k + 20*k - 14. Does 7 divide k?
True
Suppose 5*b + 7 = -3*o + 4*o, o + 4*b = -2. Suppose 41 = -s - o*s + q, 5*q - 49 = 2*s. Let p(c) = -c**3 - 12*c**2 - 2*c - 8. Is p(s) even?
True
Suppose 5*k = 88378 - 20478. Suppose 14*p = -6*p + k. Is 13 a factor of p?
False
Let s(f) = 9*f**2 - 21*f - 8. Is s(8) even?
True
Suppose 2*g - 828 = 2*b, 4*b - 289 - 110 = -g. Let m = 780 - g. Is m a multiple of 15?
False
Let f(w) = -2*w**2 - 25*w - 65. Let h be f(-23). Is 11 a factor of h*(-6)/(-36)*-3?
False
Let o = -9 - -11. Suppose -d - 29 = -4*d + 5*c, 10 = o*d - c. Suppose 0 = -g - 5*x + 62, -g - d*x = x - 64. Does 3 divide g?
True
Let n(m) = -m**2 + 19*m + 54. Suppose 3*i = 3*s + 31 + 35, -4*s + 110 = 5*i. Let g be n(i). Does 26 divide g/(5/10 + (-5)/6)?
False
Let n(c) = 5*c**2 - 13. Let a be (-2)/12 + 82/(-12). Is 31 a factor of n(a)?
False
Let h = -262 + 249. Let v(q) be the first derivative of q**3/3 + 11*q**2/2 - 23*q - 2. Does 3 divide v(h)?
True
Let d(m) = 480*m - 11430. Does 15 divide d(24)?
True
Let f(r) = r**3 + 1. Let k(i) = -6*i**3 + 5*i**2 - i - 10. Let o(l) = 5*f(l) + k(l). Let h be o(3). Suppose -2*p = -p - h. Is 2 a factor of p?
True
Let a be 2/4 + (-255)/(-30). Suppose -3*h - f = 4*f - 42, -3*f + a = 0. Suppose -h*r + 64 = -5*r. Is 4 a factor of r?
True
Let r(m) = m**2 - 20*m + 21. Let f be r(19). Suppose -5*s = g + 887, f*g = -5*s - 631 - 1138. Does 47 divide (g/10)/((-12)/40)?
False
Let c(a) be the first derivative of 13*a**5/120 + 5*a**4/6 + 15*a**3 + 27. Let b(m) be the third derivative of c(m). Is 15 a factor of b(10)?
True
Suppose -l + 5112 = 3*o, -2*l + 3*o + 10196 = 2*o. Is 51 a factor of l?
True
Let w(y) = y**2 + 11*y + 10. Let i(h) = 2*h. Let x(g) = -4*i(g) + w(g). Let v = -9 - -5. Is 6 a factor of x(v)?
False
Suppose 7889 = 5*y + 2*l, -y + 34*l + 1567 = 38*l. Does 17 divide y?
False
Suppose -i = 4*r - 17, 4*r + 0*r + 2*i = 18. Let q(m) be the third derivative of m**4 + 3*m**3/2 + 103*m**2. Is q(r) a multiple of 25?
False
Suppose 3 = -6*b + 33. Suppose 215 = l - 3*h, -b*l + 8*h + 1101 = 6*h. Is 17 a factor of l?
True
Let i(v) = -3*v + 52. Let y be i(19). Let d be 50 - ((-3)/y)/(2/(-10)). Suppose x - 172 = d. Does 25 divide x?
True
Let b be 22/110 + 26/(-5). Let x(k) = -15*k + 38. Is 13 a factor of x(b)?
False
Let h(f) = 146*f**2 + 16*f + 39