4*g - x. Is 6 a factor of g?
True
Let y(z) = z**2 - z - 3. Let i be y(5). Let d(u) = u**3 - 15*u**2 - 32*u - 10. Let h be d(17). Let n = h - i. Is n a multiple of 2?
False
Let z = 374 + -91. Let x = -166 + z. Is x a multiple of 15?
False
Let v = -3 + 13. Suppose -4*w + v = 50. Is (-194)/(-4) + 5/w a multiple of 15?
False
Let i(l) = 6*l**2 + 10*l. Let u be i(-9). Suppose 3*f + 25 = 4*c - 505, u = 3*c - 3*f. Suppose -4*m + 30 = -c. Does 11 divide m?
False
Suppose 9*v - x - 1 = 12*v, -3*x + 6 = 0. Suppose 0*p = -4*p + 16. Is v*27*p/(-6) a multiple of 12?
False
Suppose 3*z = 12, i - 6 = -2*z + 13. Let n = i + 33. Does 11 divide n?
True
Let a = 2958 - -1970. Is 34 a factor of a?
False
Let n be (-9)/(2/8*-6). Suppose -n*f = -5*f - 36. Is 23 a factor of f?
False
Let r(g) = -51*g + 188. Does 5 divide r(-2)?
True
Let w(u) be the first derivative of u**6/45 - u**5/120 + u**4/8 - 2*u**3/3 + 5. Let y(q) be the third derivative of w(q). Does 24 divide y(3)?
True
Let f(d) = d**3 - d**2 + 4*d + 2. Let p be f(-5). Is 2 a factor of p/(-30) + (-4)/(-10)?
True
Suppose 25 = 3*u - 2*f - 0*f, 5 = u - 4*f. Suppose -i + 71 - u = 0. Is i a multiple of 8?
False
Suppose 4*w + 3*l - 38 = 0, -4*l = -2*w + w. Is 9 a factor of (-3 + 5 - (-2)/8)*w?
True
Let r(m) = 914*m**2 - 17*m - 42. Does 8 divide r(-2)?
True
Suppose d - 2*x = -3, 3*d - 4*x + 7 = -0*x. Let w be d/((-1)/10) - 2. Let g(m) = 4*m + 3. Is 29 a factor of g(w)?
False
Is 70 a factor of (-773 + 1)/(-1) - 0 - 2?
True
Suppose -3*c - 5418 = -12*c. Is 14 a factor of c?
True
Let o(c) = c**3 - 13*c**2 - 13*c - 2. Let d be o(14). Let y = 31 - d. Is y a multiple of 19?
True
Let i = 82 + 516. Does 18 divide i?
False
Suppose -4*a + 3*v + 0*v = -14, -a = -4*v - 10. Suppose -2*r - r = -2*q - 242, 3*r + a*q - 238 = 0. Is 16 a factor of r?
True
Suppose 0*y = -2*y - 40. Let m be y/(-6)*36/24. Let d = m + 51. Is d a multiple of 14?
True
Let g = 2255 + -1480. Does 9 divide g?
False
Let i(l) = 39*l. Let c be 1/((-2)/(-6)) + -2. Let b be i(c). Suppose 2*s - b = -3*g, -3*s + s = -2*g - 34. Does 9 divide s?
True
Let k be -2 + (15 + -13)/((-1)/(-13)). Suppose -27*v + k*v = -51. Is v a multiple of 10?
False
Let z = -21 + 25. Suppose -z*k + 0*k + 268 = 4*b, 3*b = -k + 69. Does 15 divide k?
False
Let s = 10770 + -7538. Is 101 a factor of s?
True
Let u(a) = 6*a**2 - 7*a - 16. Let g = -109 - -117. Is 24 a factor of u(g)?
True
Let f = -161 + 233. Does 7 divide f?
False
Suppose -5*k + 3412 = -4*j, -5*k - 5*j = -2*j - 3391. Suppose -5*h = 3*p - 0*h - k, -4*h = -p + 238. Is p a multiple of 46?
True
Let z be (-2)/5 - (16/10 + -3). Let k = z - -51. Is k a multiple of 5?
False
Suppose 4*c - 51 = 69. Suppose -3*q - 5*v = -c, -4*v - 68 = -4*q + 4. Does 8 divide q?
False
Suppose -6499 = -10*x - 749. Does 13 divide x?
False
Suppose -4*p = -2*f + p + 23, -4*p - 23 = 3*f. Let h be (-2 - 0)*4*f. Suppose 0 = -5*g + h*g - 189. Does 24 divide g?
False
Suppose 0 = -2*x - 4*x - 18. Is 3 a factor of x - 1 - 32/(-2)?
True
Let m(x) = x**3 - 21*x**2 - 21*x - 22. Let v be m(22). Suppose v = -26*w + 20*w + 504. Is 21 a factor of w?
True
Let h be 300 - 0*1/5. Suppose h + 12 = 3*c. Let k = -63 + c. Does 19 divide k?
False
Let a be 30/80 + 250/16. Suppose 4*o = -9*q + 4*q - 12, 4*q + a = 0. Does 7 divide o - -34 - (6 - 6)?
False
Suppose 2*w + 768 = -0*w. Let v = 642 + w. Is 8 a factor of 8/(-28) - v/(-21)?
False
Let o(b) = -3*b + 38. Let q be o(14). Does 40 divide (-801)/q + 4/(-16)?
True
Suppose 2*g + 3*g - 5*v - 225 = 0, -g - 2*v + 30 = 0. Let m = -36 - -64. Suppose 2*y + 2*z = 5*y - m, z = -3*y + g. Does 3 divide y?
True
Suppose -42*w = -49*w - 1323. Let d = -114 - w. Is 15 a factor of d?
True
Let g(r) = -r**3 + 22*r**2 + 16*r - 8. Is 27 a factor of g(22)?
False
Let g(n) = 4*n + 2. Let p be g(-2). Let z = 105 + -109. Is -20*p*(-2)/z a multiple of 15?
True
Suppose -2*j + 538 = -2*u, 3*u - 2*j = 2*u - 266. Let x = -154 - u. Does 14 divide x?
False
Suppose -n = 4*q - 740, 14*q - 15*q = 0. Does 77 divide n?
False
Let y be ((-262)/(-2))/((-30)/(-90)). Let i = -261 + y. Does 11 divide i?
True
Let j = -7 + 5. Let c(v) = 17*v**2 + v + 1. Let h(s) = -35*s**2 - 2*s - 1. Let y(p) = -5*c(p) - 3*h(p). Is 30 a factor of y(j)?
False
Let a = 0 + 17. Let j = 181 - a. Suppose -2*q + 6*q - j = 4*d, -2*q = -d - 77. Does 18 divide q?
True
Let k = -24 - -16. Let x = k + 17. Suppose x*z = 4*z + 440. Does 25 divide z?
False
Suppose 40*j + 6 = 42*j. Is j/(-5 - (-1063)/212) a multiple of 38?
False
Let g be (-24)/(-4) + -4 + -6. Let c(t) = -25*t - 16. Is c(g) a multiple of 12?
True
Suppose 1210 = 7*r - 1114. Is r a multiple of 13?
False
Suppose -2*c + 4 = 0, -3*n + 2*n = -c - 38. Suppose -279 = -4*o + 5*b - 77, -n = -o - 4*b. Does 12 divide o?
True
Suppose -27 = -4*h + a, -2*h + 3*a + 13 = 2*a. Suppose 4*p - 5*p - 3*m - 7 = 0, -m = 5*p - h. Suppose -x + p = -3. Is 5 a factor of x?
True
Let f = 116 + 154. Is f a multiple of 54?
True
Let a = 1773 - -388. Is 69 a factor of a?
False
Suppose -7*n = -0*n - 287. Let i = n - -52. Is i a multiple of 20?
False
Is (-38)/(-8)*4/(-8)*-8 a multiple of 2?
False
Suppose -8*r + 278 = 110. Let v = 21 - 14. Is 2/v - (-603)/r a multiple of 11?
False
Let r(i) = 25*i + 3. Let j be r(3). Let o = -54 + j. Does 12 divide o?
True
Let d(u) = -63*u**3 + 4*u**2 - 3*u - 35. Does 29 divide d(-3)?
True
Suppose 9*s = 10*s + 2. Is 17 a factor of 4/8*249*(-4)/s?
False
Does 74 divide -6*(-2 - (-608)/(-24))?
False
Suppose 0*i - 2*i = -244. Suppose -24*t + 193 = 73. Suppose 3*v + t*j - i = 0, 3*j = -2*v + 6*j + 94. Is 6 a factor of v?
False
Suppose 0 = -2*g - 3*c + 2103, -4*g + 3*c + 5252 - 1037 = 0. Is g a multiple of 39?
True
Suppose -2*s = -2*t - 12, -2*t - 7 = -1. Suppose z + s*o - 10 = 0, 8*z = 3*z + 4*o + 12. Suppose -4*j - z = -24. Does 5 divide j?
True
Suppose 3*y - y - z = 459, 3*y = -4*z + 672. Is y a multiple of 19?
True
Let r(m) = m**3 + 11*m**2 + 14*m + 18. Suppose -3*b = 7 + 20. Let j = 0 + b. Does 16 divide r(j)?
False
Let l(c) = -97*c**3 - 5*c**2 - 14*c + 3. Is l(-3) a multiple of 18?
False
Let q(i) = i**2 - 11*i + 20. Let l be q(9). Let t = 16 - l. Does 14 divide t?
True
Suppose -1050 = 3*s - 10*s. Does 25 divide s?
True
Let a(n) = n**3 + 17*n**2 + 9*n + 155. Does 6 divide a(-16)?
False
Suppose 0 = w + w - 12. Suppose 4*o - s = -2*s + 50, -s + 24 = 2*o. Let y = o - w. Is y a multiple of 5?
False
Suppose 17*o - 10084 = 5284. Is 8 a factor of o?
True
Suppose -279 = -4*r + 297. Let g = r - 82. Does 2 divide g?
True
Let n(u) = 6*u**3 - 9*u**2 + 3*u + 11. Is 11 a factor of n(6)?
True
Let a(t) = -t**3 + 27*t**2 - 36*t + 24. Does 3 divide a(25)?
False
Let g be 110/(-44)*(-79 - 1). Suppose 2*f - 3*f = -g. Does 50 divide f?
True
Let m(w) = 29*w + 67. Does 27 divide m(7)?
True
Let v(h) = -h**3 - 39*h - 32. Is 22 a factor of v(-6)?
True
Suppose -7*v - 968 + 3404 = 0. Is v a multiple of 22?
False
Is 37 a factor of -1*(-2331)/(-14)*(-8)/6?
True
Suppose -3*x - 3*y + 6*y + 3 = 0, -5*x = -3*y - 9. Does 29 divide (-60)/18 + x - 296/(-6)?
False
Does 20 divide 2*(35/(-5) + 297)?
True
Suppose -3*o = -225 + 60. Suppose -m + 3*q = -0*m - o, q - 165 = -3*m. Is 11 a factor of m?
True
Let i(t) = 48*t. Let g be i(-1). Let k = -26 - g. Is 8 a factor of k?
False
Let f(d) = 4*d + 67. Suppose -8*m = -11*m. Does 18 divide f(m)?
False
Let s be (4/(-3))/((30/(-9))/5). Suppose -s*l - 5*r = 2*l - 293, 2*r = 2. Is 9 a factor of l?
True
Let f(h) be the second derivative of -3*h**4 + 7*h**3/6 - h**2 + 3*h. Let m be f(4). Is 4 a factor of 2/7 + m/(-35)?
True
Let j(g) = 3*g**2 - 14*g - 12. Suppose 4 = -s - 3*p, -3*p - 7 = -4*s + 37. Does 4 divide j(s)?
True
Let u(y) = -y**3 + 7*y**2 + 6*y + 19. Let m be u(8). Suppose -b - m*b = -t - 390, 2*t - 287 = -3*b. Does 18 divide b?
False
Let v(g) = -15*g - 49 - g + g. Does 42 divide v(-20)?
False
Let v(n) = -15*n**2 + 2*n - 4. Let h be v(-4). Is 8 a factor of 2/9 - 3976/h?
True
Is -1 - 11 - (-79 + -19) a multiple of 21?
False
Suppose 2*g - g + 5*o + 34 = 0, g - 5*o = 16. Let d = 63 + g. Is d a multiple of 9?
True
Suppose 9 = 4*w + 4*r - 3*r, -3*w + 2*r + 15 = 0. Suppose -5*z + 240 = 5*u, -w*u - z = -u - 95. Is 24 a factor of u?
False
Let f(m) = 43*m + 6. Let j(p) = -21*p - 3. Let t(s) = 4*f(s) + 9*j(s). Let o be 7/(-2) - (-3)/6. Is t(o) a multiple of 12?
T