 Let x be v(6). Suppose -3*r = -6*r + x. Does 5 divide r?
True
Let n = -51 + 141. Let s = -54 + n. Is 12 a factor of s?
True
Is (-17)/(1/7 + 4/(-14)) a multiple of 24?
False
Let u(a) = 2 + 11 + 3*a - 12. Let k be u(1). Let z = 8 - k. Is 2 a factor of z?
True
Let y(t) = -t**3 + 6*t**2 - t + 14. Is 3 a factor of y(6)?
False
Suppose 0 = -p + 1 + 3. Suppose -2*z = p*d - 78, 4*z - 99 - 48 = -5*d. Is 11 a factor of z?
True
Let q = 20 - -112. Does 33 divide q?
True
Let c = -45 - -67. Let l = c - 16. Is l a multiple of 6?
True
Let n(g) = 0*g - 3 - 2*g + 3 + 5*g**3 + 1. Suppose -4*h + 4 + 0 = 0. Is n(h) a multiple of 2?
True
Suppose 3*l + 130 = 4*l - 3*x, 5*l = 3*x + 662. Is l a multiple of 17?
False
Let u(l) = -l**2 + 2*l - 2. Let q be u(2). Does 2 divide (q + (7 - 0))*1?
False
Does 7 divide (-16)/(-12)*(-333)/(-6)?
False
Is 4 + 37/(1/(-1))*-1 a multiple of 3?
False
Let j(a) be the second derivative of -a**5/120 + 13*a**4/12 + a**3/3 - a. Let o(y) be the second derivative of j(y). Is o(0) a multiple of 10?
False
Let g = -200 - -350. Is 23 a factor of g?
False
Suppose 3*j + 4*d - 94 = 0, -2*d = -4*j - 0*j + 140. Is j a multiple of 18?
False
Suppose -k - 2*k + 270 = 2*c, -k = 0. Is 45 a factor of c?
True
Let n be 1 - -1 - (1 - -49). Is 21 a factor of 4/(-2) + n/(-1)?
False
Let n be 3 - ((-1 - 1) + -849). Is (-4)/(-22) + n/22 a multiple of 13?
True
Let j be 10/(-2*2/(-4)). Suppose -48 = -2*k - 14. Let m = k - j. Does 7 divide m?
True
Let q(o) = o**3 - o**2 + 2*o - 5. Let t be q(4). Let f = 71 - t. Is 16 a factor of f?
False
Let f = -5 - -6. Is 22/f - (-1 - -1) a multiple of 8?
False
Let y = 2 - -1. Let n = y - -9. Is 12 a factor of n?
True
Suppose 4*x - l - 494 = 0, -l = -2*x - 5*l + 256. Is x a multiple of 7?
False
Let i(n) = -n**2 + 5*n + 1. Let d(g) = 2*g + 1. Let m(f) = 5*d(f) - 2*i(f). Let u(w) be the first derivative of m(w). Is 7 a factor of u(2)?
False
Let r = 25 - -9. Is 17 a factor of r?
True
Suppose -15 = 2*d - 63. Suppose -2*c + j - 24 = -0*c, -32 = 2*c + 3*j. Let m = d + c. Does 11 divide m?
True
Suppose 3*s = -s + 116. Suppose -3*z = -s - 1. Is 6 a factor of z?
False
Let k = -105 + 28. Let l = 133 + k. Does 7 divide ((-6)/4)/((-6)/l)?
True
Let m(g) be the third derivative of -g**6/120 + g**5/15 - g**4/8 - 2*g**2. Let i be m(2). Suppose 0 = i*s - 1 - 55. Is 14 a factor of s?
True
Suppose -20*p + 1280 = -10*p. Does 32 divide p?
True
Suppose 5*h + 248 = -4*l, 5*l = 2*l + 2*h - 163. Let v = l - -33. Let t = v - -53. Is 13 a factor of t?
False
Let m(z) be the third derivative of -z**6/60 + z**5/60 - z**4/24 - z**3/3 + 4*z**2. Let h be m(-2). Is 12 a factor of (-2)/5 - (-328)/h?
False
Let p be (-2)/(-2 + 240/123). Let w = -26 + p. Does 15 divide w?
True
Let t be 3/((-9)/6) - -105. Suppose 5*v - 117 - t = 0. Does 22 divide v?
True
Let f(n) = -n**3 + n**2 + 1. Let p(r) = -7*r**2 - 5 + 3*r**3 + r + 0*r**3 + 2*r**3. Let o(x) = 6*f(x) + p(x). Is 8 a factor of o(-3)?
True
Let s(f) be the second derivative of 0 + 1/3*f**3 + 3*f - 5*f**2. Is s(7) even?
True
Let j(y) = -11*y + 1. Let u be j(-10). Suppose u = 3*h + 3*o, 4*o - 2 + 10 = 0. Does 15 divide h?
False
Let g = -2 - -5. Let l = 16 - g. Does 13 divide l?
True
Let h(a) = -47*a**2 + 6*a + 3. Let w(r) = -16*r**2 + 2*r + 1. Let x(k) = -4*h(k) + 11*w(k). Does 9 divide x(-1)?
False
Let m = 49 + 31. Is 16 a factor of m?
True
Suppose p - x + 4*x = 10, 4*p + 5*x = 40. Suppose -c - 8 = -4*g - 4, -3*g = c - p. Suppose -4*i - 24 = 2*z - c*z, -3*i + 31 = 2*z. Is 12 a factor of z?
False
Suppose -43 - 62 = -5*b. Let v = -17 + 11. Let g = b + v. Does 4 divide g?
False
Let y be ((-3)/2)/(-3)*0. Suppose -4*r - x = x, 5*r = 2*x. Suppose -b + y + 12 = r. Is 7 a factor of b?
False
Suppose -6*h + 4*h = -48. Is h a multiple of 15?
False
Let s(t) = -2*t**2 - 3. Let w be s(4). Let b = w + 57. Let j = b + -13. Does 4 divide j?
False
Let g(y) = -y**3 + 4*y**2 - 2*y + 2. Suppose 0 = -d - 0*d + 5. Let b = d - 2. Is g(b) a multiple of 5?
True
Let x(l) = -l + 10. Let v be x(9). Let g be -1 + (-3)/(0 - v). Suppose g*f = -2 + 20. Is 4 a factor of f?
False
Let h(p) = p**2 - 6*p + 1. Let f(y) = 3*y**2 - 19*y + 3. Let w(a) = -4*f(a) + 14*h(a). Is w(6) a multiple of 13?
True
Suppose -4*m - 170 = -9*m. Does 13 divide m?
False
Suppose 0 = -5*f - 4*n + 189, -5*f - 5*n = -0*n - 190. Suppose 5*w = -2*y + 213, y + f = w - 0*y. Suppose 4*d + w = 105. Is d a multiple of 8?
True
Suppose -i - 4*c - 1 = 0, 0 = 3*i + 2*c - 7*c - 14. Suppose -q + 3*d = -13, i*q - 5*d - 39 = -4. Is q a multiple of 3?
False
Let v(c) = -4*c**3 + c**2 + 4. Suppose j - 3*j - 4 = 0. Does 15 divide v(j)?
False
Let t(y) = -4*y**2 + 29*y - 2. Let j(p) = p**2 - 10*p + 1. Let z(l) = 7*j(l) + 2*t(l). Is z(-10) a multiple of 14?
False
Is 19 a factor of -9*(48/(-9) - 1)?
True
Let w(f) = -f**2 + 8*f - 8. Let j be w(7). Let r be (-4)/10*5/j. Suppose 0 = -r*b + 45 - 7. Is b a multiple of 16?
False
Let f(t) = 43*t**2 + 9*t - 15. Is f(2) a multiple of 25?
True
Suppose -2*f = 36 + 40. Let i = f + 108. Is i a multiple of 14?
True
Let q = -120 + 180. Does 6 divide q?
True
Let x(c) = c**3 + 5*c**2 - 4*c - 4. Let s be x(-5). Suppose 6 = t - s. Suppose y - m - 10 = -2*m, 3*y - 5*m - t = 0. Is 9 a factor of y?
True
Suppose h - 6*h = 90. Is 12/(-2)*12/h even?
True
Let p(x) = x**2 + 6*x - 5. Let c be p(-7). Let s be -2 + (c - 0/2). Suppose 30 = m - s*m. Does 15 divide m?
True
Let k = 250 - 102. Is 13 a factor of k/4 + 2*1?
True
Let i = 125 + -113. Is i even?
True
Let s be (3/4)/(3/(-60)). Let z be s/(-10)*8/6. Suppose -44 = -3*b - 2*f, z*f - 80 = 3*b - 8*b. Is b a multiple of 9?
True
Let d(m) be the second derivative of 1/2*m**2 + 0*m**4 - 1/3*m**3 - 2*m + 31/20*m**5 + 0. Is d(1) a multiple of 14?
False
Suppose 0 = -3*y - 17 + 65. Is y a multiple of 8?
True
Suppose 4*k + 28 = 5*j + 9, -k + 11 = 4*j. Suppose x - 98 = -5*v + 3*x, -j*x = -v + 30. Is 6 a factor of v?
True
Suppose 5*w + 3 = 38. Let o be (-1 + 3)*7/w. Suppose 48 = 2*j + o*u - 4*u, -2*j - 3*u + 58 = 0. Does 13 divide j?
True
Is (-9)/(27/(-114)) + -3 a multiple of 7?
True
Let i(d) = 13*d**2 - 5*d - 12. Does 17 divide i(-3)?
False
Suppose -4*r = -3*c - 95, -5*r + 4*c + 28 = -90. Does 26 divide r?
True
Let j(r) = 3*r**2 + 3*r + 10. Is 34 a factor of j(-7)?
True
Let m be 4/(-18) + 11/9. Let t(j) be the second derivative of 3*j**5/5 + j**4/12 - j**3/3 + j**2/2 - j. Is 12 a factor of t(m)?
True
Let h(j) = j**2 - 6*j - 4. Is h(9) a multiple of 4?
False
Let h(i) be the third derivative of i**4/24 + 3*i**3 - 2*i**2. Let g be h(0). Let n = g + -13. Is 5 a factor of n?
True
Suppose -2*m + 1 = -p, 5*m - 13 = -5*p + 12. Suppose -3*t + x + 11 = -t, -2*x = m*t - 14. Does 3 divide t?
True
Let w = 73 + -41. Does 17 divide w?
False
Let p be 1*-2 + (-3 - -1). Let m be 0/(p/(-2))*1. Suppose g + 2*g - 84 = 2*w, m = 4*g + w - 112. Is 14 a factor of g?
True
Let h(q) = 5*q**3 - 3*q**2 - q + 5. Is h(3) a multiple of 9?
False
Let s be 4/4*(-1 - -3). Is s/3 + (-194)/(-6) a multiple of 16?
False
Let f be ((-3)/4)/((-6)/48). Is 3 a factor of (-3 + 1)/((-2)/f)?
True
Let z be -10 - 2/4*-4. Let h(g) = g**3 + 7*g**2 - 10*g - 5. Does 4 divide h(z)?
False
Suppose -5*g + 877 = -263. Is 20 a factor of g?
False
Suppose 4*b = 3*o + 2*b - 14, 4*b + 14 = -o. Suppose -2*j + 3*f = -j + 4, o*j - 25 = -5*f. Suppose 2*m = -j*z + 11, -m + 2*z + z + 33 = 0. Is m a multiple of 9?
True
Let c be -1 - -3 - (4 - 4). Let r = c - 0. Suppose r*b - 7 = 9. Does 4 divide b?
True
Let d be (-2)/1*-1 - 2. Suppose -2*y + 27 + 115 = d. Suppose 0 = -4*r + 5*o + y, -11 = -4*r + 3*o + 70. Is r a multiple of 13?
False
Let p = 3 - 3. Suppose -2*f - f - 861 = p. Is 6 a factor of (-2)/(-6) - f/21?
False
Let q(w) = -w**2 + 14*w - 7. Is q(12) a multiple of 4?
False
Let g be 6 - (0 - 2)/(-1). Suppose 0 = l - 2*o + 2, 2*l = 7*l + 4*o + 10. Is (l/g)/((-2)/152) a multiple of 17?
False
Let f(h) = -2*h**3 - h. Let j be f(-1). Suppose -j*g + 5*w + 83 = -57, 2*w = 2*g - 96. Is g a multiple of 22?
False
Is 529/9 + (-112)/(-18) + -6 a multiple of 12?
False
Let d(u) = 0 + u + 4 + 0*u. Let h be d(3). Let o(j) = j**3 - 8*j**2 + 8*j + 6. Is 13 a factor of o(h)?
True
Is 14 a factor of 5*28*-1*6/(-5)?
True
Suppose -3*w = 2*x - 0*x + 4, 0 = -4*x - 5*w - 4. Suppose q - 56 - x = 0. Suppose 6*b = 4*b + q. Is 15 a facto