 2*b - 44 - 36 = 0. Suppose l + b = 6*l. Let y = 2 + l. Is y a multiple of 9?
False
Let r be -7 - 1*(-1 - 1). Let y be (-23)/r + 6/15. Let p = y + 9. Does 8 divide p?
False
Suppose r - 92 = 4*b, -b - 70 = -r + 31. Does 32 divide r?
False
Let i be (1 - (-2)/2) + 12. Suppose 3*j = i - 5. Suppose 0 = j*b + 2*o - 4*o - 52, 10 = b + 3*o. Does 16 divide b?
True
Let v = -10 - -15. Suppose 5*j + 3*c = -17, 3*c - 16 = v*j + 7*c. Is 2/j*2 + 6 a multiple of 5?
True
Let b = 27 + 1. Suppose 12 = p + p + j, 4*j - b = -3*p. Is 4 a factor of p?
True
Let b = -8 - -5. Let o(c) = 3*c**2 + 7*c - 1. Let t(i) = -4*i**2 - 10*i + 1. Let g(a) = 7*o(a) + 5*t(a). Is 5 a factor of g(b)?
True
Suppose -2*s + 4*s - 2 = 0. Let z(m) = 8*m**3 - m. Is 7 a factor of z(s)?
True
Suppose 4*g - 2*g - 42 = 0. Does 8 divide g*1 - (-5 - -3)?
False
Let b be 2/8 - (-1518)/8. Suppose 0 = h + 4*h - b. Is 21 a factor of h?
False
Suppose -5*r = 5*v - 90, 3*r - 7 = -4*v + 70. Suppose -5 - 2 = -x. Suppose 0 = q - v - x. Is q a multiple of 15?
True
Is 16 a factor of -1 + 8*10 - (7 + -8)?
True
Let p(n) be the second derivative of n**3/6 + 3*n**2/2 - n. Let w be p(-3). Suppose 0 = c + b - 19, 4*b + 36 = 3*c - w*b. Does 8 divide c?
True
Suppose 4*j - 105 = -j + 5*i, 5*i = -4*j + 102. Does 7 divide j?
False
Let w(q) = q**2 + 11*q + 6. Is w(-11) a multiple of 5?
False
Let x = -11 + 15. Suppose 14 = -x*o + 5*o. Is o a multiple of 7?
True
Suppose 4*u - 289 = 327. Suppose 2*o + u = 4*o. Is o a multiple of 13?
False
Let p(z) = -2*z + 2*z - 2*z - 1. Let b be p(3). Let n = b - -21. Is n a multiple of 13?
False
Let u = -14 + 35. Is u a multiple of 21?
True
Suppose 4*y + 72 = 5*n - 3*n, n - 56 = -3*y. Is 11 a factor of n?
True
Let v(b) = b**3 - 6*b**2 + 5*b - 3. Let l be v(5). Is 13 a factor of 11/(-33) + (-82)/l?
False
Let o(r) = -r**2 + 7*r + 11. Let j be o(8). Suppose j*h = -h + 72. Does 11 divide h?
False
Suppose -4*w + 50 = 5*h - 9*w, h + 3*w = 10. Is 2 a factor of h?
True
Suppose h = 2*h + 26. Let o = 59 + h. Is o a multiple of 11?
True
Let l = 3 - 0. Does 14 divide (-3)/2*(-28)/l?
True
Let l(o) be the second derivative of -o**7/2520 + o**5/10 - o**4/4 + 3*o. Let q(s) be the third derivative of l(s). Does 6 divide q(0)?
True
Suppose -3*x = -x - 10. Suppose -2*b - x*u = -4*b + 119, 0 = b + 5*u - 52. Is b a multiple of 12?
False
Is 27 a factor of (162/(-30))/((-1)/5)?
True
Suppose 0 = 5*y - 2*y + 15, 0 = -2*g + 3*y + 47. Does 8 divide g?
True
Suppose 7*d - 13 = 8. Suppose -h = -c + 17, d*c - 55 = -2*c - h. Is 6 a factor of c?
True
Suppose 5*w + 46 + 9 = 0. Let b = w + 16. Suppose 0 = -3*o + 2*t + 148, -o = -3*o - b*t + 105. Does 17 divide o?
False
Suppose 407 = 3*v + 122. Does 12 divide v?
False
Let x be (-5 + -5)*4/10. Is 14 a factor of (6/x)/(18/(-600))?
False
Let o(l) = -l**2 + 6*l + 8. Let a be o(7). Suppose 5*u = a - 6. Let h(m) = m**2 + 1. Is 2 a factor of h(u)?
True
Suppose -30 = -2*t - p, 7*p - 3*p = 0. Suppose -g + 5*i = 4*g + t, 5*i - 35 = -5*g. Is ((-59 + -1)/(-3))/g a multiple of 10?
True
Suppose -5*m - 3*d + 210 = 2*d, -3*d + 40 = m. Let k = m + 22. Let q = k - 45. Is 17 a factor of q?
False
Let k = 29 + 35. Let j = -14 + k. Is j a multiple of 12?
False
Let h be (-86)/(-6) + (-5)/15. Is 11 a factor of (-8)/(-2)*119/h?
False
Suppose -3*x = -4*n - 16, -2*n + 4 = -3*x - 3*n. Suppose x*z = -2*z. Suppose 2*c - 28 = -5*g - 6, z = 5*g - 4*c - 46. Is g even?
True
Let t = 3 - 3. Suppose -3*y - 5*v + 23 = t, -2*v + 10 = 2. Does 4 divide ((-8)/(-16))/(y/16)?
True
Suppose -5*x = -3*j - 603, -5*j + 2*j - 123 = -x. Is 42 a factor of x?
False
Suppose 3*w - 231 = -30. Is w a multiple of 3?
False
Let y be (-2)/(-8) - 174/(-8). Suppose y = 3*k - k. Does 5 divide k?
False
Let d be (-5 + 2)*(-28)/(-6). Let n = d + 26. Is 12 a factor of n?
True
Let s = -169 + 256. Does 12 divide s?
False
Is ((-2)/2)/(5/(-140)) a multiple of 28?
True
Let a(x) = -x**2 - 13*x. Let p be a(-13). Suppose o - 46 = -4*i - p*i, 0 = -5*o - i + 325. Is o a multiple of 13?
False
Let c be 6 + (2 - (5 - 1)). Let k = c + -2. Suppose -4*n - 2*b = -124, -k*n + 95 - 37 = 3*b. Is n a multiple of 14?
False
Let r = 4 - 2. Let m(b) = 12*b - 3. Let x be m(r). Suppose -v = -x - 0. Is 14 a factor of v?
False
Suppose 2*i + 11 = 5*n - 22, 5*i + 39 = -2*n. Let v(l) = 3*l. Let j be v(i). Let r = -16 - j. Does 11 divide r?
True
Let o(n) = -n**3 + 4*n**2 - 3*n + 1. Let g be o(2). Let y = -24 - -34. Suppose -y - 86 = -g*x. Is x a multiple of 13?
False
Let c = 127 + -7. Does 20 divide c?
True
Suppose -2*p + 3*w + 2*w = -102, 3*w = 2*p - 110. Is 14 a factor of p?
False
Let j(a) = -a**3 + 2*a**2 + 4. Let v be j(3). Let q be (6/15)/((-1)/v). Suppose -3*f + 74 = u, 4*f - 91 - 9 = -q*u. Is f a multiple of 8?
True
Suppose 6*l + 2*r = l, 3*r = -15. Suppose -6 + l = -c. Suppose -c*m + 26 = -22. Does 4 divide m?
True
Let p be 1 - (-1 - 1)*1. Let u be 1/p*(-6)/2. Does 8 divide u/(-4) - 110/(-8)?
False
Let z(g) = -g**3 + 7*g**2 - 5*g + 3. Is 7 a factor of z(5)?
True
Let r be ((-168)/(-49))/(2/21). Suppose -3*x + r = -132. Is 28 a factor of x?
True
Suppose 4*z - 28 = -2*s + s, z - 2 = s. Is 6 a factor of z?
True
Suppose -5*t - k = 23, -4*t - 21 = -t + 3*k. Let u = 3 + t. Is (13/2)/(u/(-2)) a multiple of 5?
False
Let z(g) be the first derivative of g**2 - 2*g + 5. Does 3 divide z(3)?
False
Let o = -135 - -363. Is 13 a factor of o?
False
Suppose 0 = 3*z - 6*z + 2*x + 50, 2*z + 4*x - 12 = 0. Is 2 a factor of z?
True
Is 11 a factor of (4 - (-3 - -40))*-1?
True
Let c = -3 + 38. Does 7 divide c?
True
Let z be 6 + -1 - (2 + -3). Let t be (-5 + z)/((-1)/(-18)). Let d = -9 + t. Is 9 a factor of d?
True
Let y(q) be the first derivative of q**7/840 - q**6/60 + q**5/60 + q**4/4 + 2*q**3/3 - 2. Let z(s) be the third derivative of y(s). Is z(6) a multiple of 13?
False
Suppose -2*h + 19 = -115. Suppose 2*j + 2*j = 3*v - 76, 3*v + 5*j = h. Is 8 a factor of v?
True
Suppose -3*k - 7 = -2*f, 4*k + 4*f + 6 = -10. Let t be (-14)/k - (-4)/12. Let x(i) = i**2 - 4*i + 5. Does 5 divide x(t)?
True
Let x(v) = v**2 + 2*v + 1. Let r be x(-1). Suppose 0 = b - r + 2. Is 3 a factor of 270/63 - b/(-7)?
False
Let x = -276 - -484. Is 52 a factor of x?
True
Is 1236/18 - 8/(-6) a multiple of 10?
True
Let i = -17 - -35. Is 6 a factor of i?
True
Suppose -2*i + 0*i = -4. Suppose -5*p = -i*h + 35, -5*h = -4*h - 3*p - 15. Is 15 a factor of h?
True
Let h be 4/10 + (-16)/(-10). Let q(b) = -b**3 + 3*b**2 - b. Let c be q(h). Suppose 0*s = -c*s + 26. Is 6 a factor of s?
False
Let w(t) be the first derivative of -t**2/2 + 19*t + 3. Suppose -4*k = -6*k. Does 7 divide w(k)?
False
Let l be (2 + 1)/(3/4). Suppose 2*k + 30 = l*k. Suppose 49 = 4*p - k. Does 16 divide p?
True
Suppose -72 = -3*u - u. Is u even?
True
Suppose -35 = -5*f + 5*v, -5*v - 11 - 9 = 0. Suppose -3*s - s + 204 = w, -140 = -f*s - 4*w. Is 13 a factor of s?
True
Let d be 1/((-3)/9*1). Let f = -1 - d. Let z(g) = 2*g**3 - 2*g**2 + 2*g - 1. Is 10 a factor of z(f)?
False
Suppose 4*f + 1 = -3*o, 3*o - 2 = f - 13. Let i = f - -1. Suppose i*p + 62 = 5*v - 92, -5*v - p = -162. Is 16 a factor of v?
True
Suppose -15 + 0 = -3*i. Let f = -8 + i. Let g = f - -15. Is g a multiple of 8?
False
Suppose 4*s = 1 + 11. Suppose s*q - 87 + 33 = 0. Is 18 a factor of q?
True
Let c = 58 - 54. Let w(t) = 16*t. Let i be w(1). Is 37/c - (-12)/i a multiple of 8?
False
Let q be -5*(-2 - (-1 + 0)). Suppose -s = 5*l - 65, -20 = -q*l - 4*s + 30. Does 14 divide l?
True
Suppose -u + 0*u + 15 = -5*l, 0 = 2*l + 6. Suppose f + 16 = 5*a - 9, 4*a + 5*f + 9 = u. Suppose -7 = -a*z + 17. Is z a multiple of 3?
True
Does 18 divide -2 + (-40)/(-12)*15/2?
False
Let b(m) = m**2 - m. Let c be b(3). Let h be c*(8/6 - 1). Suppose -2*k + 3*k = -h*v + 92, 92 = 2*v + 4*k. Does 19 divide v?
False
Let n = 33 - -31. Does 21 divide n?
False
Suppose 0 = -0*d - 3*d. Let c = d - -4. Is c a multiple of 2?
True
Suppose -3*x - 2*r + 7*r = -607, -812 = -4*x + 4*r. Is 17 a factor of x?
True
Let h(n) = n - 8. Let g be h(6). Let y be (-1 - (4 - 4))*-12. Is 7 a factor of (0 - 1)*g + y?
True
Suppose 2*z + 2*c = 422, -417 = -2*z + 2*c - 3*c. Suppose -3*t + b + z = -0*b, 0 = 3*b - 3. Is 23 a factor of t?
True
Suppose 2*x + 0*x = 5*r - 29, -x + 8 = 2*r. Suppose 0 = 10*a - r*a - 105. Is 21 a factor of a?
True
Suppose -3*j + 