 0 - g?
False
Let f(k) = k**2 - 2*k. Let p be f(4). Let d(c) = p*c + 4 - 11*c + 2*c**2 - c. Is d(5) a multiple of 17?
True
Suppose -w + 59 = v, 0*v + 181 = 3*v + 4*w. Is 30 a factor of v?
False
Let u be (4/(-6))/(1/(-45)). Suppose 0 = d - u - 10. Does 20 divide d?
True
Suppose -208 = -4*k + 140. Let y = -11 - -70. Let j = k - y. Does 14 divide j?
True
Let j(p) = -709*p**2 - p. Let s be j(-1). Does 13 divide s/(-27) - (-2)/(-9)?
True
Let d(k) = k**3 - 20*k**2 + 19*k + 53. Is d(19) a multiple of 3?
False
Let o(p) = -16*p - 6. Does 21 divide o(-3)?
True
Let h = 95 + -45. Is 25 a factor of h?
True
Let n(i) = i**2 + 13*i - 16. Does 12 divide n(-17)?
False
Let c(p) = -p + 1. Let q be c(1). Suppose 2*x - 90 = 5*u - 17, q = -3*x - u + 67. Is 13 a factor of x?
False
Let x be 120/35 - 6/14. Suppose 0 = -5*h - 3*b + 21, 0 = -5*h - 0*b + x*b + 39. Does 4 divide h?
False
Let l = 111 + -59. Suppose r - l = 16. Is 17 a factor of (r/6)/(4/6)?
True
Let w = 9 + 10. Does 6 divide w?
False
Suppose 5*l + 42 = 102. Is l a multiple of 6?
True
Let j be (-40)/4 + (0 - -1). Let b be 2/j - (-56)/9. Let r(u) = -u**3 + 6*u**2 + 5*u + 8. Does 14 divide r(b)?
False
Suppose 1 = g + 5. Let p = g - -8. Is 2 a factor of p?
True
Let j be (-564)/52 - 2/13. Let b(l) = -4*l - 8. Is 12 a factor of b(j)?
True
Let d = -10 + 5. Let v(t) be the third derivative of -t**4/12 - 7*t**3/6 + 3*t**2. Is v(d) a multiple of 3?
True
Let n be 3 + -2 + -1 - -3. Is 8 a factor of 19 + 0 + n + -6?
True
Suppose o - 2*o = -84. Suppose 3*s = 24 + o. Does 12 divide s?
True
Suppose -4*i + 302 = -0*i - 2*g, 3*g + 228 = 3*i. Is i a multiple of 15?
True
Suppose -7*w + 2*k = -2*w - 85, 4*w - 35 = -5*k. Let a be 2/(0 + -3 + 5). Let j = a + w. Does 10 divide j?
False
Let m = -6 + 5. Let v be (m + 11)*1/(-2). Let d(h) = -3*h - 6. Is 4 a factor of d(v)?
False
Suppose -26 = 41*i - 42*i. Is i a multiple of 13?
True
Let f(o) = 4*o - 8. Is f(6) a multiple of 8?
True
Let l(a) = a**3 - 12*a**2 - 17*a - 10. Is l(14) a multiple of 36?
True
Let t = 138 + -75. Let z(j) = -j + 12*j**2 - t*j**3 - 12*j**2 - 1. Is 20 a factor of z(-1)?
False
Let v(u) = -4*u**3 + u**2 + 2*u. Let q(o) = 11*o**3 - 2*o**2 - 6*o. Let k(a) = 3*q(a) + 8*v(a). Let p be k(-3). Is 11 a factor of (2/p)/((-3)/72)?
False
Suppose -2*c = -4*c + 206. Let r = -65 + c. Does 19 divide r?
True
Let v be (-2 - -2)*(3 + -2). Is 9 + ((-9)/3 - v) a multiple of 5?
False
Is 12 a factor of (-4)/(-18) - 642/(-27)?
True
Let b(d) be the first derivative of -d + 1 + 7*d**3 - 3*d**2 - 2 + 8*d**3 + 2*d**2. Is 23 a factor of b(-1)?
True
Suppose -3*d + 231 = 2*d + 4*a, 0 = 4*d - 5*a - 193. Let o = d - 10. Suppose 4*n - 3*w = o, -5*w + 10*w - 5 = 0. Is 9 a factor of n?
False
Let x = 4 + -2. Suppose 0 = x*w - 4*w + 12. Does 3 divide w?
True
Let r be -4*(-1 + 21/12). Is 10 a factor of ((-34)/r)/((-4)/(-6))?
False
Let w(k) = -k**3 - 2*k**2 + 3*k - 3. Let u be w(-3). Is 3/(2 + u) + 40 a multiple of 10?
False
Let i(q) = -13*q - 28. Is i(-20) a multiple of 37?
False
Is -2 + 0/(-1) - (-234 - 39) a multiple of 44?
False
Suppose -c - 5 = -2*r + 2*c, 0 = 2*r - 2*c - 6. Is (r/6 - 0)*27 a multiple of 18?
True
Suppose 0 = 2*u + 10 - 0. Is ((-5)/(-3))/(u/(-15)) a multiple of 5?
True
Suppose 3*f - 5*r = 40, 5*f + 6*r - 2*r = 116. Suppose -6*i - f = -10*i. Is i a multiple of 4?
False
Let c = 24 - 19. Is c a multiple of 2?
False
Let w = 76 - 13. Is 16 a factor of w?
False
Let z(l) = -l**2 + 8*l - 10. Let f be z(7). Let o = 14 + f. Does 11 divide o?
True
Let m(h) = -h**2 + 19*h + 8. Is 4 a factor of m(19)?
True
Let a(z) = -3*z**2 - z - 2. Let y be a(-2). Let r be 0/(1*-2) - -32. Let v = r + y. Is 8 a factor of v?
False
Does 3 divide (1 - -2) + 7 + -2?
False
Let n be (-1 - 1*-3) + -1. Let q be n/(-5) + (-32)/(-10). Suppose -q*h = -8*h + 100. Does 10 divide h?
True
Let s be ((-3)/(-2))/((-3)/(-80)). Let m = -23 + s. Does 6 divide m?
False
Is 21 a factor of 2/4 + (-418)/(-4)?
True
Let j(q) = 5*q**3 + q**2 - 2*q + 3. Let f be j(2). Let d = 60 - f. Suppose 0 = 2*z + 5*l + d, 3*z = -2*z + 4*l + 40. Is z a multiple of 3?
False
Let g(w) = 7*w**2 + 6*w + 9. Let s(m) = -6*m**2 - 5*m - 8. Let z(d) = -5*g(d) - 6*s(d). Is 3 a factor of z(-3)?
True
Let j = -40 + 76. Suppose -d + 5*d - j = 0. Does 9 divide d?
True
Let i = 102 - 42. Is 10 a factor of i?
True
Suppose 3*q - 9*q + 48 = 0. Let b(v) = v**3 - 7*v**2 - 5*v - 6. Is 12 a factor of b(q)?
False
Suppose -q - 27 = 2*q. Does 8 divide (6/1)/(q/(-12))?
True
Let t be (-1003)/(-11) - 2/11. Suppose -3*i - m = -81, -4*i + 3*m + 30 = -t. Suppose 0 = -8*f + 7*f + i. Is f a multiple of 14?
True
Suppose 2*l + l - 21 = 0. Let q = -3 - -12. Suppose -2*a = -q - l. Does 4 divide a?
True
Let q = -2 + 32. Does 10 divide q?
True
Let o = -115 - -165. Does 25 divide o?
True
Suppose -4*b - 280 = b. Suppose -y + 410 = 4*y. Let u = y + b. Is u a multiple of 20?
False
Suppose -r = -445 + 13. Does 12 divide (r/(-84))/(1/(-7))?
True
Suppose -12 = 3*a - 7*a. Suppose -a*t = 4 - 16. Suppose -4*b - 26 = -v + 3, 129 = t*v - 3*b. Is 11 a factor of v?
True
Suppose 0 = -2*w + 14 + 10. Is w a multiple of 12?
True
Let g(b) = -2*b**3 + b**2 - 2*b - 5. Is 8 a factor of g(-3)?
True
Suppose -2*y - 3 = -25. Let h = -8 + y. Suppose 5*r = h*r - 2, 5*w - 4*r = 99. Does 19 divide w?
True
Suppose 0*j - a + 31 = -2*j, -5*j - 73 = 2*a. Let y = j + 45. Is 10 a factor of y?
True
Let n = 8 + -61. Let i = -23 - n. Is i a multiple of 15?
True
Let v = 15 - -27. Let f be (-2)/(-8) + (-142)/(-8). Let c = v - f. Does 12 divide c?
True
Let k = 133 - 90. Suppose k = 3*n - 17. Does 10 divide n?
True
Let z be 1*(-2)/((-4)/6). Let u = 7 + -7. Suppose u*a + 48 = z*a. Does 7 divide a?
False
Let g(u) be the second derivative of -u**5/20 - u**4/4 + 2*u**3/3 - 5*u**2/2 - 3*u. Is 18 a factor of g(-5)?
False
Let j = 5 + -2. Suppose -2*p - 22 = -j*p. Is 8 a factor of p?
False
Suppose -2*t + 3*r = 2*r - 30, -3*r = -5*t + 76. Let v = -9 + t. Suppose -i = -5*g + 144 + 54, v*i = -2*g + 63. Is 13 a factor of g?
True
Suppose 26 = 7*w - 37. Does 4 divide w?
False
Let p be 1 + -1 + 0 + -3. Let z(i) = -i**3 + i**2 + 4*i. Let q be z(3). Does 13 divide 22 - (-2)/(q/p)?
False
Suppose 0 = 4*v + 8 - 92. Does 7 divide v?
True
Suppose 5*f = -v + 65, 0*f - 4*v = 2*f - 44. Is f a multiple of 12?
True
Let z(x) = -5*x**3 + x**2 + x. Let q be z(-1). Does 2 divide 185/25 + (-2)/q?
False
Let t(c) = -142*c - 8. Is t(-2) a multiple of 46?
True
Let o = -4 - -8. Suppose 21 = l + o. Does 17 divide l?
True
Let k(n) be the first derivative of n**3/3 + n**2 + 2. Is k(4) a multiple of 9?
False
Let i = -21 + 25. Suppose -6*h + 3*h = -n - 33, -2*h - i*n = -8. Is 10 a factor of h?
True
Let n(s) = s**2 + 18*s + 31. Does 10 divide n(-19)?
True
Is ((-3)/(-2))/((-3)/(-12)) a multiple of 6?
True
Let o(f) = -2*f + 6. Does 6 divide o(-6)?
True
Is 0 - 1208/(-11) - 20/(-110) a multiple of 11?
True
Let j(n) = n**2 + 10*n - 9. Let a be j(-11). Suppose 0 = i - a*i + h + 24, 0 = -4*h. Is 20 a factor of i?
False
Let a(s) = 3*s**3 + 6*s**2 + 2*s. Is a(4) a multiple of 37?
True
Let r(y) = 11*y**3 + 2*y**2 - 4*y + 2. Suppose -3*c + 2*c + 2 = 0. Let p be r(c). Suppose -2*x - x = 3*i - 57, 3*x + p = 4*i. Is i a multiple of 7?
True
Suppose 4*k - 330 = -k. Is k a multiple of 22?
True
Suppose 0 = 2*j - 2*s - 2, 4*j - 2*s + 0*s = -6. Let z = j + 25. Is 7 a factor of z?
True
Suppose 4*x = -4*q, -3*q = 3*x - 2*x + 8. Let p = 57 + -32. Suppose -x*g + p = 1. Is g a multiple of 2?
True
Suppose -462 = -6*s + s - p, 183 = 2*s + p. Is 6 a factor of s?
False
Suppose 0 = 6*b - 29 - 67. Does 11 divide b?
False
Suppose 3*u + 9 = 54. Let j be 2*3*(-5)/u. Is 3 a factor of (14/4)/((-1)/j)?
False
Let b = -23 - -11. Does 20 divide ((-159)/b)/((-1)/(-4))?
False
Let f(w) = w**3 + 4*w**2 - 3*w + 5. Let x(g) = -g**3 + 2*g**2 + g + 2. Let r be x(3). Does 17 divide f(r)?
True
Suppose 4*v = -v + 45. Is 4 a factor of v?
False
Let t(q) = q**2 - 10*q + 2. Does 11 divide t(17)?
True
Suppose 4*m - 5*i - 2630 = 0, -4*m + 4*i + 3283 = m. Suppose 7*h - m = 2*h. Suppose -3*p = -5*q + h, -60 = -4*q - 3*p + 34. Is 12 a factor of q?
False
Let k = -5 + 10. Suppose -k*y - 5*a + 265 = 0, -2*a - 141 = -5*y + 89. Does 9 divide y?
False
Let a(p) = 16*p**3 + p. Let n be a(1). Let l = n - 3. Does 14 divide l?
True
Let g(d) 