rue
Suppose -2*b - 4*l = 16, -2*b - 8 = 2*b - 4*l. Does 9 divide 25 + (-5)/(10/b)?
True
Suppose -2*a = -1 - 5, 2*m = a + 3. Suppose 240 = 2*s + m*s. Does 12 divide s?
True
Suppose -4*i - 13 = -5*a - 44, -4*i = 2*a - 10. Suppose 4*k - i*g = 9*k - 50, -g = 5. Does 14 divide k?
True
Suppose 5 = k, d = -2*k - 3*k + 13. Let i = 38 - d. Is i a multiple of 19?
False
Let h = -23 + 131. Does 9 divide h?
True
Let b(a) be the first derivative of -a**2/2 + 2*a - 2. Let s be b(-3). Suppose -2*y - s*o - 3 = 16, 2*o = y - 13. Is y a multiple of 3?
True
Suppose 4*l - 48 = -3*m, 2*m - 6*m - l + 51 = 0. Does 5 divide m?
False
Let m(u) = -4*u**3 + u - 1. Does 11 divide m(-2)?
False
Let v = 4 + -1. Let s be -6*(-2 - (-5)/v). Suppose s*h - 4 = -0*h, 0 = -5*r + h + 48. Does 10 divide r?
True
Suppose -3*i - a = -13, 0 = 4*i + 4*a - 0*a - 28. Suppose g + f - 28 = -g, i*f + 36 = 2*g. Is g a multiple of 5?
True
Let l(m) = 58*m**2 + m - 2. Suppose 2 = -2*o - 2*a, o + 11 = -3*a + 4. Let r be l(o). Suppose 5*p = r - 37. Is p a multiple of 13?
True
Let l be (-3)/(-2)*(-6)/9. Let h be 34*1 + l/(-1). Suppose h = 2*i + 3*i. Is 4 a factor of i?
False
Let m = -31 - -63. Does 32 divide m?
True
Let d(l) = 8*l - 4 + 7*l - 16*l. Is 2 a factor of d(-6)?
True
Let h = -6 + 19. Suppose 3 = -2*x - h. Let c = 1 - x. Is 9 a factor of c?
True
Suppose -5*r + 145 = -2*r + 2*o, -4*o - 227 = -5*r. Is r a multiple of 8?
False
Let f(z) be the first derivative of z**4/4 - z**3 - 2*z - 2. Let j be f(2). Is 17 a factor of (-1 - (j + 3)) + 15?
True
Suppose -2*a + 0*a = -2. Let o(i) = 2*i**3 - 2*i**2 - 1. Let d be o(3). Suppose a = 2*s - d. Is 7 a factor of s?
False
Suppose 307 = 2*m - 3*l, 5*l + 350 + 265 = 4*m. Let p = -99 + m. Is p a multiple of 20?
False
Let m = -3 - -93. Does 15 divide m?
True
Suppose 0 = q - 5*q + 12. Is 7 a factor of q/15 - (-44)/5?
False
Suppose 0*d + 64 = 2*d. Let h = 4 - 4. Suppose p = -4*m + d - 1, p + 3*m - 26 = h. Is 11 a factor of p?
True
Let v(k) = -k**3 + 3*k**2 - 2*k + 3. Let c be v(2). Suppose -c*d = -7 - 5. Suppose -j = -d*j + 60. Is j a multiple of 12?
False
Let s = 7 + -4. Suppose -3*n + s = 0, -5*g - n + 31 = -3*g. Is g a multiple of 11?
False
Let n(y) = y**3 - y. Let o be n(1). Suppose 0*l + l - 1 = o. Is 4 + (-2 - l*-2) a multiple of 2?
True
Let p = -102 - -124. Is 22 a factor of p?
True
Suppose 5*k + 24 = -3*p, 16 = -7*k + 3*k - 4*p. Let s = k + 30. Does 2 divide (-10)/(-4)*s/10?
True
Suppose 3*m - 4*a = -96, -m - 5*a = -2*m - 43. Let b = m + 7. Let r = -5 - b. Is r a multiple of 8?
True
Let c = 10 + -5. Let m = -1 + c. Is m even?
True
Let p(g) = g - 2. Let i be p(-4). Let r(d) = d**2 + 3*d + 4. Is r(i) a multiple of 11?
True
Let g(w) be the first derivative of -w**3/3 - 6*w**2 - 10*w + 2. Is 11 a factor of g(-9)?
False
Let q(j) = -8*j - 4. Let d be q(7). Let u = 123 + d. Suppose 4*h = h - 4*c + u, -h = 3*c - 26. Is h a multiple of 9?
False
Let x be 1 - ((-12)/2)/(-2). Let v be (-18)/(-14) + x/7. Is -15*(3/(-15) - v) a multiple of 18?
True
Suppose 4*i + i = 3*x + 42, 3*i + 4*x - 2 = 0. Let f be (i/4)/(2/20). Let k = -5 + f. Is k a multiple of 4?
False
Let d(a) = -a**3 - 6*a**2 - 11*a - 8. Let c(n) = -n**3 - 5*n**2 - 12*n - 7. Let r(g) = 3*c(g) - 4*d(g). Is r(-8) a multiple of 6?
False
Suppose 0 = -3*a + 2*a + 6. Let x = 11 - a. Suppose x*z = 32 + 28. Does 12 divide z?
True
Let u be 0 + -1*(2 + -5). Suppose q + u*q = 0, -x = -3*q - 32. Is x a multiple of 11?
False
Let b(c) = 29*c + 41. Is 43 a factor of b(6)?
True
Suppose 8*w - 121 = 3*w + v, 3*w - 76 = 4*v. Suppose -2*z + w = -182. Does 25 divide z?
False
Let o(p) = -25*p - 1. Let f be o(1). Let j = f + 44. Does 10 divide j?
False
Suppose -54 = 3*l - 3*g, -3*l - 3*g - 54 = -2*g. Let j = -8 - l. Does 3 divide j?
False
Let m = 70 - 5. Is 5 a factor of m?
True
Let w(v) = 72*v**3 + 2*v**2 + 2*v + 1. Let o be w(-1). Let j = o - -113. Suppose -60 = -2*x + j. Does 17 divide x?
True
Let q(a) = 4*a**2 - 4*a - 2. Does 28 divide q(5)?
False
Let p = 29 - 17. Suppose 0 = y - 4 - p. Suppose 0 = -2*v + y - 0. Is v a multiple of 4?
True
Let q be (-60)/(-4) - (-1 - -1). Let v = 25 - q. Is 10 a factor of v?
True
Suppose -15*u + 3 = -117. Is u a multiple of 4?
True
Let x(p) = 2*p**3 - 8*p**2 + 4*p + 4. Does 14 divide x(5)?
False
Suppose -w - 2*b + 149 = 3*b, w - 5*b - 139 = 0. Does 18 divide w?
True
Suppose 2*i - 8 = -0*i. Suppose -3*y + 3 = -4*y, 0 = -i*f - 5*y + 73. Is f/12 + 1/6 a multiple of 2?
True
Let z = 48 + 34. Suppose 5*d - z = 48. Let s = d - 18. Does 8 divide s?
True
Let n be 20/(-25) - (-18)/(-15). Is 2/(-4) - 47/n a multiple of 5?
False
Let g(z) be the first derivative of -19*z**2/2 + 1. Let b be g(-3). Let v = b - 39. Is v a multiple of 9?
True
Let m = -30 - -44. Suppose -m = -2*u + 10. Does 5 divide u?
False
Let g(x) = x**2 + 1. Let a(j) = 5*j**2 - 10*j + 18. Let b(y) = a(y) - 6*g(y). Does 12 divide b(-10)?
True
Let l be 2/((-5)/(700/(-8))). Let x = 33 - 8. Let j = l - x. Is j a multiple of 5?
True
Let l be (-2)/3*(-6 + 3). Suppose -5*g - l*j - 6 = 0, -5*j + 0 = 3*g + 15. Suppose -5*p - 2*m + 93 = 0, 0*p - p - 2*m + 25 = g. Is 9 a factor of p?
False
Suppose 2*s + 18 = 4*n, -12 = -4*n + n. Is 12 a factor of -64*(1/2)/s?
False
Let b = 1 - -7. Let p be 36/b*2/3. Suppose -5 = -z, -z = -p*u - 2*z + 47. Is u a multiple of 14?
True
Suppose -2*m = 3*w - 330, 5*m - 3*m = 3*w - 318. Suppose 17 = 5*k - w. Is k a multiple of 7?
False
Let j be (0 - -18)*6/9. Suppose 3*l - 2*l + 3 = -t, -4*l = -3*t - 9. Let f = t + j. Does 7 divide f?
False
Let o(n) = 63*n**2 + n - 1. Suppose 2*x = -0*x + 2. Is o(x) a multiple of 14?
False
Suppose 0 = -4*y + 4 + 28. Let w(b) = -b**3 + b**2 + b. Let s(i) = -3*i**3 + 9*i**2 + 9*i - 11. Let m(v) = -s(v) + 2*w(v). Is m(y) a multiple of 10?
False
Suppose -5*n - g + 122 = -3*g, 14 = n - 3*g. Suppose w + 3 = n. Suppose -4*o + w = -65. Does 11 divide o?
True
Let r(s) = -s**3 - 7*s**2 - 5*s + 1. Let y be r(-7). Suppose 5*x = 3*k - 19 - y, 0 = -k + 2*x + 18. Is 5 a factor of k?
True
Let h(s) = s**2 - 10*s - 17. Is h(13) a multiple of 6?
False
Suppose -s + 3*p + 11 = -0, -12 = -2*s + p. Suppose 3*t + f - 3*f = 44, 2*t = -s*f + 42. Is 8 a factor of t?
True
Let d(h) = 3*h - 3. Suppose 10*j - 5*j - 3*w - 49 = 0, -3*w - 33 = -3*j. Is d(j) a multiple of 7?
True
Suppose -4*j - j + 1 = -l, 5*l + j = 21. Suppose 4*u + l*s = -u + 51, 0 = 5*u - 4*s - 59. Is u a multiple of 4?
False
Let j be (156/15)/((-1)/(-15)). Suppose -q = 2 + 3, -3*z = 3*q - j. Is z a multiple of 19?
True
Let m be (-10)/(-3) - 6/(-9). Let f = 6 - m. Is 2 a factor of f?
True
Let s(q) = q + 17. Is 3 a factor of s(-5)?
True
Let i = 98 + -18. Suppose -5*j = -s - 3*s + i, -95 = -3*s - 5*j. Is 25 a factor of s?
True
Let n = 169 + 103. Let b = -4 - 4. Is n/9 - b/(-36) a multiple of 13?
False
Let w(u) = u**3 - 5*u**2 + 4*u + 3. Let p be w(4). Suppose 1 = p*x - 5. Is 12 a factor of 1*(13 - x - -1)?
True
Let x = -136 - -235. Suppose 169 + x = -4*s. Let q = -41 - s. Is 13 a factor of q?
True
Let c(g) = 16*g**2 + 2*g - 1. Let s(t) = -t**2 - 7*t - 4. Let o be s(-6). Let w be c(o). Let z = w - 25. Does 14 divide z?
True
Suppose 0*h + 5*h - 35 = 0. Is h a multiple of 7?
True
Let i = -56 + 130. Let g = -46 + i. Does 8 divide g?
False
Suppose -10*l = -9*l - 6. Is l a multiple of 3?
True
Let x(b) = -5 - 2*b + 5 + 1 + 21*b**3. Does 4 divide x(1)?
True
Suppose 25 - 67 = -3*z. Is z a multiple of 7?
True
Let i(m) = -m - 42. Let r(w) = -2*w - 83. Let p(d) = -7*i(d) + 4*r(d). Let n be p(0). Is (-5 - -3 - -1)*n a multiple of 19?
True
Let w(q) = 20*q + 3 - 3. Does 10 divide w(1)?
True
Suppose 86 = -4*l + 5*z, 0*z + 34 = -l - 5*z. Let j = 34 + l. Does 7 divide j?
False
Suppose 2*s + 22 + 0 = -2*o, 2*s - 22 = 2*o. Is 12 a factor of (-4)/(-22) - 207/o?
False
Suppose 0*n = -n + 27. Let q = 38 - n. Is q a multiple of 11?
True
Let w(i) = i - 2. Let t be w(6). Suppose 0 = t*a - 2*g - 56, 4*a + 5*g - 13 = 15. Suppose 0 = -2*b + b + a. Does 6 divide b?
True
Suppose 3*s - 12 = 6. Let m(x) = 1. Let r(q) = -q + 7. Let d(o) = 6*m(o) - r(o). Is 2 a factor of d(s)?
False
Suppose -q = -2*g - 34, 5*q - 188 = g + 3*g. Let l = q + 34. Is l a multiple of 27?
False
Let h be 0 - (-3)/(-1) - -18. Does 6 divide 1 + h - (-2)/1?
True
Let p(s) = 12*s**2. Let m be p(-1). Suppose 2*f - f - 3