 4*k - g = 2*k. Does 11 divide k?
True
Suppose 10 = -0*v + 2*v - 3*x, 0 = -v + 5*x + 5. Suppose v*w - 14 = 6. Suppose -4*b + 49 = -z, 0 = -w*b - 5*z + 58 + 9. Is 9 a factor of b?
False
Let g(u) = -u**2 - 6*u + 6. Let t = -5 - -7. Suppose 0 = -t*d - 0*d - 12. Does 3 divide g(d)?
True
Suppose 2*r + c + 30 = 7*r, 30 = 3*r - 3*c. Let f(m) = 2*m**2 - 7*m + 3. Is 15 a factor of f(r)?
False
Let p(d) be the third derivative of -1/60*d**5 - 11/24*d**4 + 0*d + 0 + d**2 + 1/6*d**3. Is p(-10) a multiple of 11?
True
Suppose 0 = 5*y + 3 + 7. Is 0 + (y - 0) + 22 a multiple of 18?
False
Let c(u) be the first derivative of u**3/3 - u**2 + u + 3. Does 12 divide c(-3)?
False
Let d be 7 - (3 - 3/3). Suppose -4*n = -3*n - d. Is 3 a factor of n?
False
Let c = -2 - -4. Suppose -2*y + 2 = 0, -c*m + m + 2 = 3*y. Is 9 a factor of (-24 + 4)*(-2 - m)?
False
Suppose 0 = -16*z + 15*z + 11. Is z a multiple of 2?
False
Does 13 divide 2/(1 - (-45)/(-47))?
False
Let w(t) = t**2 - 3*t - 2. Let a(x) = -x**2 + 2*x + 1. Let s(d) = 5*a(d) + 6*w(d). Let u be s(9). Is 4 a factor of u/9 + (-104)/(-18)?
False
Suppose 0*s - 4*s = -12. Does 4 divide 3 - ((-6)/s)/2?
True
Let m be 4/6 - (-115)/3. Suppose d + 3*b - 8 = 7*b, 4*d = -4*b + 132. Let k = m - d. Is 7 a factor of k?
False
Suppose -5*b - 4*c = -392, 3*b - 232 = -c - 3*c. Is 16 a factor of b?
True
Suppose -d - 5*z + 24 = -8, 0 = 5*d + z - 136. Let v = d - 14. Does 5 divide v?
False
Suppose 6*w = 5*w + 16. Is 13 a factor of w?
False
Let o(g) = 15*g. Let k(d) = 44*d. Let w(s) = 6*k(s) - 17*o(s). Let v = -1 + 3. Is 9 a factor of w(v)?
True
Suppose 7*w - 3*w = 160. Suppose 0*z - w = -4*z. Is 5 a factor of z?
True
Let k be -1*96 + (2 - 0). Let d = 136 + k. Suppose 0 = -3*a + 5*v + d, 28 = -2*a + 4*a - 4*v. Does 6 divide a?
False
Is 3 a factor of (-2 + (-3)/6)*(-48)/10?
True
Suppose i + 2*i - 2*k - 287 = 0, 4*k = i - 89. Is i a multiple of 12?
False
Let g(c) = -58*c**3 + c. Let n be g(-1). Does 12 divide n/5 + (-21)/(-35)?
True
Suppose j - 3*t = 48, -5*j + 108 = -3*t - 180. Does 12 divide j?
True
Let k = -8 + 8. Suppose k = -4*l + 9*l - 70. Does 14 divide l?
True
Let o be 3 + 0*(-3)/(-6). Let r(t) = t**2 + t - 1. Let b be r(2). Suppose i + o*y - 21 = 4*y, b*y = -5. Does 10 divide i?
True
Let z = -792 + 1166. Is z a multiple of 22?
True
Let x(g) = 10*g**2 - 6*g - 4*g**2 + 12 + g**3 - 3. Let f be x(-7). Suppose 0 = -0*y + f*y - 30. Is y a multiple of 15?
True
Suppose 0*o + o = 0. Suppose -3*t + o*t + 78 = 0. Does 13 divide t?
True
Let w(p) = 2*p**3 - 3*p**2 - p - 3. Let q(r) = r**3 - 2*r**2 - 2. Let n(y) = -5*q(y) + 2*w(y). Does 3 divide n(3)?
False
Let r be 3*1/(1/1). Suppose -r*x = -2*x. Suppose x*u + 60 = 5*u. Does 12 divide u?
True
Let n(s) = -s**2 - 11*s + 36. Is n(-10) a multiple of 11?
False
Suppose -25 = -2*m + 3*m + 5*y, 17 = -5*m + 2*y. Let j(u) = -2*u + 4. Does 14 divide j(m)?
True
Let o be 1*5*(-4 + 5). Suppose -o*a + 144 = -31. Let q = a - 2. Does 15 divide q?
False
Let i(u) = 6*u**2 - 10*u + 14. Is i(5) a multiple of 19?
True
Suppose 7*l - 75 = 51. Is l a multiple of 9?
True
Let f be (12/(-15))/(12/(-30)). Suppose f*s + 12 = 90. Is 13 a factor of s?
True
Suppose 6*k = 8*k - 50. Does 3 divide k?
False
Let d = 4 + -1. Suppose -187 = -d*s - 0*s - 5*j, -137 = -3*s + 5*j. Is s a multiple of 27?
True
Suppose 8*q - 75 = 3*q. Suppose -2*u = 3*u + q. Does 5 divide u*7*2/(-6)?
False
Let r(n) = n**2 + n - 2. Let l be r(-5). Is 27 a factor of 1/3 - (-642)/l?
False
Suppose i + x - 2*x = 57, -x + 238 = 4*i. Let y = 5 + 16. Suppose i = 4*r - y. Does 10 divide r?
True
Let q(u) be the second derivative of -u**5/20 + u**4/6 + u**3/6 - u**2/2 - 4*u. Let x = 4 + -6. Is q(x) a multiple of 13?
True
Is 6 a factor of 112/12*(-9)/(-6)?
False
Let z(s) = -s**3 + 12*s**2 - 14*s + 2. Is 28 a factor of z(6)?
False
Let i(g) = -5*g + 61*g**3 - g**2 - 1 + 7*g - g**2. Let s(m) = -m**3 + 6*m**2 + 8*m - 6. Let v be s(7). Is i(v) a multiple of 21?
False
Let k(l) = -6. Let p(g) = -g - 5. Let f(x) = 6*k(x) - 7*p(x). Suppose -6 + 3 = -h. Does 14 divide f(h)?
False
Suppose -m + 6*f - f = -16, 0 = -m + f + 12. Is 3 a factor of m?
False
Let c(i) = -4*i - 2*i**2 + 4*i**2 - i + 2. Let v be c(5). Suppose 0 = 5*a - 5*f + 4*f - 61, -3*a + v = -3*f. Does 9 divide a?
False
Suppose -4*t + 3*j + 644 = 6*j, 322 = 2*t + 3*j. Is 18 a factor of t?
False
Let h = 10 + -1. Suppose -90 = -h*m + 6*m. Does 15 divide m?
True
Let i(p) = p**2 + 6*p + 5. Does 10 divide i(-8)?
False
Let d(y) = 2*y**2 - 6*y - 5. Let a be d(5). Suppose 5*c + 5 - a = 0. Suppose 2*o - 30 = -2*o - c*m, -5*o = m - 42. Is o a multiple of 8?
False
Suppose -f - 18 = 2*i, f - 2*f + 4*i = -6. Let r be ((-4)/f)/((-3)/15). Is (-1)/1 + r + 31 a multiple of 14?
True
Suppose -z + 38 = -4*q, -4*z + 40 = -2*q - 56. Is z a multiple of 6?
False
Let b(a) = 2*a + 11. Let z be b(-8). Is 7 a factor of (-170)/z*2/4?
False
Is 8 a factor of 112*(-1)/(2 - 5 - -2)?
True
Suppose 4*u + t - 644 = 0, u - 18 = -4*t + 143. Let l = -59 + u. Suppose -5*a + 3*a + l = 0. Does 13 divide a?
False
Suppose 4*w = k + 5*w - 43, -5*w - 61 = -k. Is 46 a factor of k?
True
Let z be 2/7 - 1284/(-14). Let w(h) = 3*h**2 + 4*h + 2. Let l be w(-2). Suppose 0 = 2*a - l*a + z. Is a a multiple of 13?
False
Suppose 0 = 9*b - 6*b - 66. Does 4 divide b?
False
Suppose 0 = 3*d - 4*u - 72, -d - d - u = -37. Let l = 56 - 67. Let w = d + l. Is 9 a factor of w?
True
Let k(l) = 10*l - 46. Is k(21) a multiple of 8?
False
Let n(s) = -s**3 - 7*s**2 + 2*s**2 - s + 5 - 3*s. Let k be 1*-6*4/6. Is 5 a factor of n(k)?
True
Is (-4 + 7)*(35 - 1) a multiple of 12?
False
Suppose -4*j - 4 = 0, -1 = -3*u - 3*j - 4. Let v = 24 + u. Is 8 a factor of v?
True
Let c = -3 + 5. Suppose -7 - c = -w. Suppose -w + 81 = 2*n. Is n a multiple of 12?
True
Suppose 0 = 5*y + 5*y - 280. Is 4 a factor of y?
True
Suppose 566 = 5*p + 2*t - 90, 3*t = -6. Is p a multiple of 4?
True
Let h be (-60)/(-35) + 4/14. Suppose 5*o = -3*v + 104, -h*v - 45 + 129 = -4*o. Is v a multiple of 19?
True
Let w(x) = -6*x**3 - 2*x**2 + 4 + 4*x**3 + 0 + x. Let n be w(-4). Suppose -2*z = 2*z - n. Is 12 a factor of z?
True
Suppose -2*t + 4 = 3*m - 27, -4*t - 19 = -3*m. Let h(l) = l**3 - 10*l**2 + 10*l - 4. Is 2 a factor of h(m)?
False
Let r(x) = -3 - 3*x**3 + 4*x**3 - 2*x**3 - x**2 + 19 - x. Is r(0) a multiple of 8?
True
Let v(t) = 2*t**3 - 16*t**2 - 11*t - 21. Let r(j) = j**3 - 8*j**2 - 5*j - 10. Let b(f) = 5*r(f) - 3*v(f). Does 4 divide b(9)?
True
Let m be (1 + -3)/((-8)/12). Suppose 3*f = -2*f - m*s + 103, -f - 3*s = -23. Suppose -3*j = 2*n - f, -4*n = -2*j - j - 40. Does 10 divide n?
True
Let x(u) be the first derivative of -u**4/4 - 8*u**3/3 + 4*u**2 - 3*u - 5. Does 6 divide x(-9)?
True
Let k(l) = 0*l + 0*l - 6 - 2*l. Let a be k(5). Is 6 a factor of 2/(-8) + (-292)/a?
True
Suppose -3*r - 2 = -5*r, -p - 5*r + 9 = 0. Is 45/10*p/1 a multiple of 9?
True
Let o be (6/9)/(1/3). Let v be (-21 - -3)*(-3)/o. Is 6/v - 482/(-18) a multiple of 9?
True
Let k(j) = 8*j**2 - 4*j - 4. Is 28 a factor of k(3)?
True
Let i(g) = g + 8. Let d be i(-6). Suppose 0 = -d*z - 10, 3*v - 2*z = -0*z + 19. Does 10 divide (5/v)/((-1)/(-6))?
True
Let d(n) = -n**3 - 7*n**2 + 7*n + 12. Let h be d(-10). Is 12 a factor of (-2)/10 + h/10?
True
Suppose 10 = 2*f + 5*i - 43, 0 = -5*f + 3*i + 55. Does 7 divide f?
True
Let w(p) = p**3 + 4*p**2 + p - 3. Let n be w(-3). Suppose -k + 29 = n*c, 2*c - 4*k = -k + 1. Does 8 divide c?
True
Suppose s - 5*y - 12 = 0, -5*s + y = -0*s - 12. Suppose 7 = -5*c + s. Is c + (4 - 1 - 0) even?
True
Suppose 4*z - 2*z + 7 = 5*x, z - 4 = 0. Let v(k) = k**2 - 2*k. Let t be v(x). Suppose -t*d + 78 + 30 = 0. Is d a multiple of 14?
False
Suppose -4*v - 6 + 14 = 0. Let k(t) = t**2 - 2*t + 1. Let c be k(3). Suppose -4*w + 2*g = -3*g - 41, v*w - c*g = 28. Does 2 divide w?
True
Let i(y) = 6*y + y**3 - 2*y**3 - 5 + 2*y**3 + 8*y**2. Let x be i(-7). Does 15 divide (50/15)/(x/18)?
True
Let s(z) be the second derivative of 0 - 1/2*z**2 - 1/6*z**3 + 1/12*z**4 + z. Is s(-2) even?
False
Let h(r) = -r**3 + 7*r**2 - 7*r + 5. Let n be (3 - 1)/(-2)*-6. Let b be h(n). Is (-2)/((-6)/(-27)*b) a multiple of 9?
True
Suppose 0*q - 4*q = -t + 1, 0 = -3*t + q + 14. Let z(b) = -4*b**2 + 6*b - 5. Let c be z(t). Let s = c - -111. Is s a multiple of 18?
True
Let u(x) = 