 (-10)/(-65)?
True
Let h be 1*3/((-3)/(-17)). Let m(b) = -b**3 + 2*b**2 - 3. Let l be m(3). Let a = l + h. Is a even?
False
Let g = 538 + -366. Is 30 a factor of g?
False
Let y be (-5)/(2 + 39/(-19)). Let d = y - 23. Is d a multiple of 36?
True
Suppose -3*w = -8*w + 120. Does 8 divide w?
True
Let z be 6 - (4 - -1 - 2). Suppose a = -z*h + 25 + 31, 4*h = 3*a - 116. Is a a multiple of 17?
False
Let k = -16 - -92. Suppose 0 = 3*u - k + 283. Let w = -45 - u. Is w a multiple of 17?
False
Suppose -z = 3, 0*v - 3*v + 2*z + 162 = 0. Is 6 a factor of v?
False
Let n(x) = -x**2 - 11*x - 5. Let d be n(-10). Let c = 0 + d. Suppose 0 = 3*p + 2*s - 80, -6*s + s = c*p - 135. Does 13 divide p?
True
Let q(w) = -4*w - 5*w + 4*w + 4 + 4*w**2. Is q(4) a multiple of 16?
True
Let m be 2/3*-3 - -10. Suppose -m*w - 680 = -6*w. Is 2/(-12) + w/(-24) a multiple of 14?
True
Let t = -190 + 316. Is t a multiple of 14?
True
Suppose -2*h - 6*i = -i - 216, 0 = h + 2*i - 109. Does 18 divide h?
False
Suppose -5*s + g = -7 - 3, s + 3*g - 18 = 0. Let w be (-3 + 3)/(s*1). Suppose 2*v - 42 = -n, w*v + 2*v = 8. Is n a multiple of 14?
False
Let a = 15 + -10. Suppose -a*d + 135 = -2*d. Does 19 divide d?
False
Let c(l) = 47*l**2 - 1. Let i = 11 - 12. Is c(i) a multiple of 15?
False
Suppose 4*s - 2*p + 9 = 3, -2*s - 2*p = 0. Let y be 1/1*(-92)/(-4). Is 11 a factor of (s + 3)/(2/y)?
False
Suppose 6*r + 13 = 481. Is r a multiple of 13?
True
Let i = -6 + 9. Suppose -3*f = 6 + i. Is (0 - -1)/(f/(-45)) a multiple of 7?
False
Let r be 4/12 - 112/12. Let j = 22 + r. Does 4 divide j?
False
Is 9 a factor of 2/((-35)/36 - -1)?
True
Let v = 102 - 55. Let c = 67 - v. Suppose -2*y - c = -4*y. Is y a multiple of 7?
False
Let i(k) be the first derivative of 2*k**2 - 7*k + 2. Let r be 7/(-2)*(2 + -4). Is 10 a factor of i(r)?
False
Let l(i) = 49*i. Let u be l(1). Let w = u - 91. Let g = w - -70. Is 14 a factor of g?
True
Suppose 10 = 4*d - 3*d. Suppose 47 = -d*r + 11*r. Is r a multiple of 14?
False
Let k = 20 - 7. Is k a multiple of 13?
True
Suppose -3*g = -5*z - 166, -5*g + 2*g = 2*z + 79. Let j be (-56)/z*10/2. Is 2 a factor of 2/j + 14/8?
True
Let i be (-3)/(-2*(-9)/(-516)). Suppose -39 - i = -5*g. Is g a multiple of 9?
False
Suppose -6*c + 4*o = -5*c - 29, 3*c = -o + 22. Let v = c + -1. Does 16 divide (-1)/4 - (-210)/v?
False
Let g(z) = -z**3 + 5*z**2 + z + 4. Is 3 a factor of g(5)?
True
Suppose 0 = -q - h - 4 + 12, 2*h = -4*q + 28. Let k = q + -3. Suppose k*l - 2*c - c - 24 = 0, 5*l + 2*c - 26 = 0. Is 5 a factor of l?
False
Is (-31)/(((-2)/30)/(1/3)) a multiple of 31?
True
Suppose -c + 0*u = -2*u - 41, 2*c - 98 = -4*u. Is 15 a factor of c?
True
Suppose 255 + 87 = 3*p. Does 19 divide p?
True
Suppose k + 2*x = x - 59, -20 = -4*x. Let f = k - -110. Let c = f - 24. Is 19 a factor of c?
False
Let t = -139 - -240. Suppose -t = -3*j + 49. Is 25 a factor of j?
True
Let x be (-4 + 3)/((-2)/6). Suppose -77 = -3*v - 4*b, x*v - 66 = -v + 2*b. Does 5 divide v?
False
Is 14 a factor of ((-35)/14)/((-2)/20)?
False
Let f = 7 + -2. Suppose -4*w + 16 = -y - 10, -27 = -f*w + 4*y. Suppose 0 = -w*z + 4*z + 171. Is z a multiple of 19?
True
Let s be 3 - (7 + -1)/(-2). Suppose 0 = -r + s*r - 30. Is r a multiple of 4?
False
Let g be 11/3*1*-3. Let u = 15 - g. Is 10 a factor of u?
False
Let l be -3 - 144/(-3 - -6). Let t = -12 - l. Is 13 a factor of t?
True
Suppose -7*v = -10*v + 75. Is 2 a factor of v?
False
Suppose -j + 3*j = 68. Does 13 divide j?
False
Suppose -2*k + 104 = -88. Let x = 59 - k. Let g = -17 - x. Is 14 a factor of g?
False
Let v(p) = -4*p**2 + 6*p - 3. Let g(w) = w**2 - w. Let q(d) = -5*g(d) - v(d). Let l be q(-3). Let y(i) = i**2 - i - 1. Is y(l) a multiple of 10?
False
Let a(x) = -x - 2. Let o be a(-7). Suppose -3*m - 28 = -5*r - o, 0 = -2*r + 3*m + 11. Suppose r*t - 73 = -1. Is 9 a factor of t?
True
Suppose 3*m - 3*f = 57, -2*f + 15 = 5*m - 59. Suppose -4*b + m = -20. Is 3 a factor of b?
True
Let o(k) = k**3 + 9*k**2 + 3*k - 3. Is 29 a factor of o(-6)?
True
Let f(y) be the first derivative of -y**4/4 + 2*y**3 - 7*y**2/2 + 2*y - 2. Let o be f(5). Let l = o + 40. Is l a multiple of 16?
True
Suppose -2*q + 52 = a + a, 2*a - 58 = q. Suppose 4*j - a = -4. Is j a multiple of 6?
True
Suppose 2*c - c = 3. Suppose -c*b + 2*n + 52 = 0, -5*b + n + 0*n = -89. Does 13 divide b?
False
Suppose 3*o = 3*m + 39, -4*m - 6 = 2*o - 38. Is 7 a factor of o?
True
Let n = 33 - -2. Is n a multiple of 19?
False
Suppose 9*n = 8*n + 35. Does 15 divide n?
False
Suppose 3*z = 335 - 35. Is z a multiple of 10?
True
Suppose -2*o + 31 = -o. Is 16 a factor of o?
False
Let f(r) = -r**3 + 4*r**2 + 3. Let g(z) be the first derivative of -z**4/2 + 7*z**3/3 + z**2/2 + 5*z + 2. Let t(s) = 5*f(s) - 3*g(s). Is 3 a factor of t(3)?
True
Let p = 84 - 76. Does 8 divide p?
True
Suppose 5*o - 227 = -h, -4*h + 2*h = 6. Suppose 2*u = -0*u + o. Does 6 divide u?
False
Let d be 4/(-10) - 72/(-30). Suppose -d*v = -2, 1 = -2*b + 5*v + 48. Is b a multiple of 12?
False
Let t = 7 + -2. Suppose p + o + 77 = 3*p, 0 = -3*p + t*o + 112. Does 13 divide p?
True
Let m = 84 - 48. Is 9 a factor of m?
True
Suppose -3*r + 32 = -r. Does 2 divide r?
True
Suppose g - 2 = 5. Does 2 divide g?
False
Let f(w) = -w**3 + 6*w**2 + 2. Let j be f(6). Let v be (1 + (0 - j))/(-1). Suppose 0 = x + 2*k - 14 - v, -5*k - 25 = 0. Is x a multiple of 12?
False
Let u be (-36)/(-27)*3*1. Does 5 divide 34 + u + 32/(-4)?
True
Let k(r) = -4*r + 7. Let o(d) = -4*d + 6. Let y(p) = -2*k(p) + 3*o(p). Does 6 divide y(-4)?
False
Let l(k) = -62*k**3 - k**2 - k. Let h be l(-1). Suppose 0*y - 2*y = -h. Does 11 divide y?
False
Let n = 3 + -1. Is 6 a factor of (n - 0/1) + 4?
True
Let o(j) = -j**2 + 8*j - 10. Suppose -35 = -3*y - 2*y. Let c be o(y). Is 19 a factor of (-9)/(c/9*1)?
False
Suppose -g + 23 = 5*y + g, 4*y - g - 8 = 0. Suppose y = -4*v + 35. Is v a multiple of 8?
True
Let z(p) = 3*p**2 + 3*p + 9. Let i(l) = 4*l**2 + 2*l + 10. Let c(b) = 2*i(b) - 3*z(b). Let u be c(-8). Let r = u + 55. Is 6 a factor of r?
True
Let u be (-228)/(-39) + (-4)/(-26). Is -1 + 3 - (5 - u) even?
False
Suppose -3*a + 38 = -4. Is 10 a factor of a?
False
Let l = -6 + -67. Let o = l - -104. Does 8 divide o?
False
Let c(a) = -a**2 - 10*a - 7. Suppose 2 = 2*r - 2. Suppose r*h = 4*h + 14. Is 14 a factor of c(h)?
True
Let y be (-2)/(-8) - (-155)/20. Suppose -y = 4*b - 5*b. Is b a multiple of 8?
True
Suppose -3*m = -m + j - 34, -5*j = -4*m + 96. Is m a multiple of 5?
False
Let l(d) = -2*d - 6. Let v be l(-4). Suppose 3 = v*f - 25. Is f + (0/(-1) - -3) a multiple of 16?
False
Does 21 divide 30/4*16/(-12)*-12?
False
Suppose 0*d = 5*p + d - 119, -5*p = -2*d - 122. Let w = p + -17. Does 2 divide w?
False
Let y be (-24)/9*63/(-4). Does 14 divide (-3)/(((-27)/y)/3)?
True
Let p(q) = 2*q**2 + 2*q + 7. Does 13 divide p(-7)?
True
Let d(j) = 2*j + 3. Is d(8) a multiple of 7?
False
Let n = -1 - -5. Let i = n + -5. Does 4 divide (i + -6)/((-1)/2)?
False
Let h = -74 + 146. Is 32 a factor of h?
False
Let d = -13 + 18. Let l = 4 - d. Is 10/(l/(4/(-2))) a multiple of 8?
False
Suppose 4*m + 4*c - 348 = 0, -341 = -4*m + 4*c - c. Is m a multiple of 11?
False
Let t be -31*(-2 + 0/2). Suppose 0 = -2*b - 2*f + f + t, 3*b = 3*f + 111. Does 11 divide b?
True
Let d = 15 + -13. Suppose d*q - 4*q = -64. Is q a multiple of 6?
False
Let n = 123 + -17. Is 7 a factor of n?
False
Let s = 32 + -16. Is 8 a factor of s?
True
Suppose -3*y - 31 = -124. Is 10 a factor of y?
False
Let p be (-74)/(-14) - 2/7. Suppose -2*h - 5*f + 6*f + 26 = 0, p*f + 10 = 0. Is 6 a factor of h?
True
Let j = 4 + 0. Suppose 0 = -4*m + j*q + 168, -2*q - 2*q - 213 = -5*m. Does 15 divide m?
True
Let l = 5 + -10. Is 1/(-5) - 106/l a multiple of 7?
True
Let o(z) = z**3 - 3*z**2 - 17*z + 12. Is 20 a factor of o(8)?
False
Suppose 5 = y - 0. Suppose -2*n = -5*n + j + 11, 5*n - y*j = 35. Is 6 - (n + -4)/2 even?
False
Let p(j) = 8*j + 5 - j + j**3 - j + 5*j**2. Let x be p(-4). Is 2/x*(-27)/2 a multiple of 9?
True
Let v(h) = -h**2 - 34*h - 58. Is 21 a factor of v(-21)?
False
Suppose -2*t + 16 = 2*k - 0*t, 0 = 2*k + 3*t - 15. Suppose -3*m - k = -4*m. Is m a multiple of 9?
True
Let s(l) = 13*l - 5 + 9 + 3. Is 24 a factor of s(5)?
True
Let x = -17 - -1. Let l = x + -28. Let d = l - -66. Does 22 divide d?
T