r of b?
True
Suppose -y + 10 = -3*y. Let o(k) = -k**3 - 5*k**2 - 4*k - 12. Does 8 divide o(y)?
True
Let n(u) = 2*u**2 + 4*u - 1. Does 16 divide n(7)?
False
Suppose -4*d - 3*t + 121 = 0, -2*d + 2*t = 4*t - 62. Is 4 a factor of d?
True
Let j = 14 - 24. Let l = j - -23. Is 8 a factor of l?
False
Let b(h) = -16 + 0*h - h**3 + 16*h + h - 2*h - 10*h**2. Is 34 a factor of b(-12)?
False
Let o(m) = m + 30. Does 4 divide o(24)?
False
Let j be (-2 + 1)*1*-4. Suppose -j*g + 170 = g. Does 17 divide g?
True
Suppose -y = -f + 3*f - 74, -4*y - 3*f + 291 = 0. Does 9 divide y?
True
Suppose 6 = 6*r - 3*r. Suppose -176 = -r*o - 50. Does 21 divide o?
True
Does 17 divide 74 - 4/(-1) - 4?
False
Suppose -6 = -3*p + 2*d, -5*p + 21 + 5 = 2*d. Let y(c) = -c - 5. Let u be y(p). Does 3 divide (-16)/(-6) - 3/u?
True
Suppose -2*g + 9 = -5*g. Let l = g + 5. Suppose -30 - 33 = -l*y - 3*j, -3*y + 66 = -5*j. Is 13 a factor of y?
False
Suppose -25*t = -28*t + 735. Does 35 divide t?
True
Does 13 divide (-3)/(-4) - ((-7965)/20 - -2)?
False
Let r(s) = -s**3 - 18*s**2 - s + 10. Does 28 divide r(-18)?
True
Suppose d - 1 - 1 = 0. Suppose -4*q = u - 0*u, 2*q = -d*u. Suppose q = v - 6 - 7. Is 13 a factor of v?
True
Let k(c) = c**2 - 8*c - 7. Let r be k(9). Suppose -28 = -2*j - l, 3*j - r*l = l + 42. Let z = j - -7. Is z a multiple of 17?
False
Let g be (-12)/(-8)*(-4)/3. Is g/(-8) + 435/20 a multiple of 11?
True
Let o(k) = -k**3 - 11*k**2 - 6*k + 13. Let z be o(-11). Suppose -4*g + 81 = -z. Does 20 divide g?
True
Is 11 a factor of 2*3/2 - -30?
True
Is 8 a factor of (-10)/(-5) - (-16 - -2)?
True
Let w = 36 + -1. Is 35 a factor of w?
True
Is 2 a factor of ((-13)/2 - 1)*(-52)/65?
True
Let h be ((-6)/(-2 + -1))/(-1). Let o = h - -11. Is o a multiple of 2?
False
Suppose -5*n = -9*n + 264. Does 6 divide n?
True
Let i(n) = -3*n**3 + n**2 + 4*n + 2. Let l be i(-3). Suppose -4*j = -r + 12 - 61, 0 = -5*j + 5*r + l. Is j a multiple of 4?
False
Let s(y) = -5*y + 3. Let t be s(3). Does 2 divide 34/6 + 8/t?
False
Suppose -1091 - 745 = -17*l. Is 9 a factor of l?
True
Does 21 divide (1 + -2 - -5) + (204 - 19)?
True
Suppose -6*x + 72 - 12 = 0. Is 6 a factor of x?
False
Suppose -10*c + 31 = -19. Does 2 divide c?
False
Suppose -29 = -4*u + 179. Is u a multiple of 10?
False
Suppose r - 60 = 4*t - 3*r, 5*t - 2*r = -72. Is 21 a factor of (-18*1)/(4/t)?
True
Suppose -4*w + 3*a + 61 = -2*w, -a + 101 = 4*w. Is w a multiple of 7?
False
Suppose -h + 914 = 3*x, 0 = -5*x - h + 1493 + 31. Is x a multiple of 41?
False
Let a(p) = p**3 - 4*p**2 - 4*p - 2. Let l be a(5). Suppose -l*n + 41 = -22. Is 6 a factor of n?
False
Suppose 0 = -2*c - 2*c + 180. Is c a multiple of 25?
False
Suppose 0 = 2*x - 0*s + 4*s - 94, 4*s + 77 = x. Let m be 3*(-1)/((-3)/37). Let o = x - m. Is 7 a factor of o?
False
Let z(d) = d - 1. Let y be z(6). Let j be 1/(1/y + 0). Suppose -g = 4*n - 17, 0 = j*n + 2*g - 7*g + 10. Is n a multiple of 2?
False
Let b(c) = 2*c**2 + 3*c - 3. Suppose -2*o - 5*k - 17 = -0*o, 2*k = -3*o - 31. Let a = o + 7. Does 11 divide b(a)?
False
Suppose 0 = -19*l + 14*l + 150. Is l a multiple of 15?
True
Let r(m) = 4*m**2 + 4*m + 6. Let j be r(-4). Let o = j + -30. Is o a multiple of 12?
True
Let h be 88/20 + 4/(-10). Let f(c) = c**3 + 0*c + 4*c - 2*c**3 - h + 6*c**2. Is f(6) a multiple of 14?
False
Suppose -4*b + 6*b = 102. Is b a multiple of 13?
False
Is 13 a factor of 18*(3 + 8/(-6))?
False
Let u(m) = -29*m - 3. Let g be u(-2). Let v = -31 + g. Is v a multiple of 8?
True
Suppose 4*j - 9*j + 105 = 0. Does 7 divide j?
True
Let w be 84/(-35)*70/(-2). Suppose n - w = -n. Is 21 a factor of n?
True
Suppose 0 = 3*g + 10 - 58. Let i = 2 + g. Does 9 divide i?
True
Is 8 a factor of (-40)/(-6)*96/20?
True
Let d(z) = -265*z**3. Let y be d(-1). Suppose -5*p - 5*r = -y, 0 = 4*p - 2*p + r - 108. Let l = p - 38. Is 7 a factor of l?
False
Suppose 3*y - 3 + 33 = 3*l, 5*y - 2*l + 35 = 0. Let z = y - -9. Suppose 0 = 4*p + 8, 2*b + p = -3*p - z. Does 2 divide b?
True
Let v(b) = -3*b**2 + 20*b - 6. Let x(q) = -q**2 + 7*q - 2. Let r(i) = 6*v(i) - 17*x(i). Let a be r(0). Is 5 a factor of (-3 - a)/(2/(-10))?
True
Is (3/9*-2)/((-4)/288) a multiple of 6?
True
Suppose -l - 9 = -4*l. Suppose -2*o = l*o - 105. Is 14 a factor of o?
False
Suppose -135 = d + 2*d. Let c = 75 + d. Is 15 a factor of c?
True
Let g = 4 + 1. Is g/25 + 258/10 a multiple of 10?
False
Let i = 13 - 8. Suppose 0*r = i*r - 230. Is r a multiple of 23?
True
Let p be ((-188)/10)/(2/(-10)). Let g = 19 - -46. Suppose -2*s - g = -2*v + 3*s, -4*s = -3*v + p. Is 15 a factor of v?
True
Let y(q) = 7*q**2 - 1. Does 4 divide y(1)?
False
Let s = 3 + 77. Is s a multiple of 13?
False
Suppose -525 - 1395 = -10*s. Does 48 divide s?
True
Let y(x) = x + 23. Does 10 divide y(17)?
True
Let p = 4 + -2. Does 7 divide -2*(-7 + p + 1)?
False
Suppose 4*i = -3*r + 724, 0 = -2*r - r - 12. Is 23 a factor of i?
True
Let f = -1 + 2. Does 22 divide f*2*(-44)/(-2)?
True
Let x = 3 - 1. Suppose -4*f + x*u + 52 = 0, -f + 5*f - 50 = 3*u. Is f a multiple of 5?
False
Let h = 6 - 7. Is 14 a factor of (1/2 + h)*-32?
False
Suppose -3*u = 5*a + u - 905, 3*a - 3*u - 570 = 0. Does 14 divide a?
False
Let n = -6 + 6. Suppose v + 6 = -v, n = -4*k + 5*v - 73. Let i = k - -52. Is 10 a factor of i?
True
Let z = 8 - 4. Is z a multiple of 3?
False
Let y = 2 + -2. Suppose 200 = -y*i + 5*i. Let b = i - 20. Does 16 divide b?
False
Suppose a - 3*a + 10 = 0, 4*f + 2*a = 174. Is f a multiple of 8?
False
Let y(l) = 12*l + 11. Does 21 divide y(4)?
False
Let j be -1*6*-1*7. Suppose 0*r + 2*r = j. Does 12 divide r?
False
Suppose -8 = -5*o - 3. Let f be (-5)/(-10)*4/o. Suppose 0 = z + f*z - 90. Does 11 divide z?
False
Let x(o) = 67*o**2 + 2*o + 2. Does 22 divide x(-1)?
False
Suppose 3*x - 4*a + 67 = 186, 0 = -x - 4*a + 61. Does 15 divide x?
True
Let h(x) be the first derivative of x**4/4 - 17*x**3/3 + 9*x**2 - 24*x + 6. Is 6 a factor of h(16)?
False
Suppose 3*k + 15 = 0, 30 = 3*y + 2*k + 94. Let u = 29 + y. Is 3 a factor of u?
False
Suppose 2*p - 111 = -p. Suppose 3*d - 145 = -p. Is 12 a factor of d?
True
Let n = -7 - -5. Let a = n + 36. Suppose s + 140 = 6*s + l, 2*s = 4*l + a. Is s a multiple of 6?
False
Suppose 2*s = -3*c + 169, -95 - 39 = -2*c + 4*s. Does 14 divide c?
False
Let c = 8 + -4. Is c a multiple of 4?
True
Suppose -5*n + 6 = -3*n. Suppose -z - 48 = n*s - 4*z, 0 = 5*s - 3*z + 72. Let t = -6 - s. Does 6 divide t?
True
Let f = -10 + 21. Suppose -4*l - 4*n + 36 = 0, -f + 61 = 5*l + 4*n. Is 11 a factor of l?
False
Let d(f) = -5*f**2 + 7*f + 1. Let i be d(5). Let n be i/(-1) - (-1 + 2). Suppose -c - 3*c + n = 0. Is 12 a factor of c?
False
Suppose 0 = 4*n - 183 - 169. Is n a multiple of 11?
True
Let b(s) be the third derivative of -4/3*s**3 + 0 + 0*s - s**2 + 1/6*s**4. Is b(6) a multiple of 8?
True
Suppose -5*d + 10*d - 550 = 0. Is 55 a factor of d?
True
Suppose 3*a - 10 = c - 2*c, -3*a + 5*c + 40 = 0. Let f(g) = -g**2 + 7*g + 3. Is 6 a factor of f(a)?
False
Let j be (2 - 8/3)*36. Let s = j + 52. Does 13 divide s?
False
Let q(r) = -5*r**3 + r**2 + 2*r - 4. Let a = 2 - 5. Let p be q(a). Let n = p - 85. Is n a multiple of 20?
False
Suppose -x + 2*i = -217, -5*x + 1109 = -i - 3*i. Is x a multiple of 49?
False
Let f(u) = 3*u**2 - 2*u**2 + 2*u**2 - 2*u**2 - 4 - u. Is 3 a factor of f(4)?
False
Let g = -67 + 138. Is g a multiple of 34?
False
Suppose -r + 7 = 5. Suppose r*p + 5*d = -11, 3*p - d = 7 + 19. Does 4 divide p?
False
Let n(z) be the second derivative of -z**5/20 - 5*z**4/12 - z**3/6 - 2*z**2 + 3*z. Let u be n(-5). Suppose -3*l + 55 = u. Is l a multiple of 9?
True
Suppose 4*n + 7 = d, -45 = -4*d + 3*n + 9. Let a be (0/(-1) - -1)*-11. Let l = d + a. Is 4 a factor of l?
True
Let z = 500 + -318. Is 39 a factor of z?
False
Suppose -4 = 3*i - 1. Is 5 a factor of 3 - (-2 - i)*2?
True
Let h(l) = -48*l**2 + l - 1. Let d be h(3). Does 12 divide (-2)/7 + d/(-35)?
True
Let z(g) = -g**3 + 8*g**2 - 8*g - 6. Let l(q) = -2*q. Let b be l(-3). Does 6 divide z(b)?
True
Suppose m - 1 = g - 2, 6 = g + 4*m. Let u = g - 6. Is 3 a factor of (-1)/2 + (-26)/u?
True
Suppose 3*a - h = 25 + 11, -2*h - 12 = -a. Let j = -6 + a. Is j a multiple of 6?
True
Let m(p) = p**3 - 4*p**2 - 4*p + 2. Let v be m(5). Let c(n) = -n**2 + 9*n + 2. Is 6 a factor of c(v)?
False
Su