, 2*b - 13 = -2*z - 1. Does 19 divide 19/z*8/2?
True
Suppose -o + 8 = y + 3, -4*y = -2*o - 20. Suppose o = m - 4*m - 69. Let l = m - -53. Is 8 a factor of l?
False
Let t be (-12)/(1*(-1)/25). Suppose -3*j - 2*j = -30. Is 7 a factor of t/21 + j/(-21)?
True
Let d = 157 + -17. Does 28 divide d?
True
Let b = -3 + 4. Let l be (-127 - 2)/(-3) + b. Let p = 65 - l. Does 11 divide p?
False
Suppose -4*q + 152 = -0*q. Is q a multiple of 14?
False
Let q be (-2 - -2)/((-6)/(-3)). Let c(h) = h**3 - h**2 - h + 17. Let a be c(q). Let s = 44 - a. Does 13 divide s?
False
Suppose 4*f - 1 = -z, 5*z + 2*f - 6 = 17. Suppose -3*d - 5*t = d - 47, 2*d - z*t - 1 = 0. Does 5 divide (-84)/8*d/(-6)?
False
Let c(v) = -6*v - 12. Is 24 a factor of c(-10)?
True
Let i be -3 + 12 + -3 + -2. Suppose 4*q = 3*p + 67, 0 = -i*q - p - 4*p + 59. Does 8 divide q?
True
Let t(v) = v**3 + 10*v**2 + 6*v - 8. Is t(-9) a multiple of 11?
False
Suppose -438*b + 441*b = 72. Does 12 divide b?
True
Suppose 0 = -5*j - 4*y + 470, -6*j - y + 365 = -2*j. Does 30 divide j?
True
Does 16 divide (-1)/((-3)/135) + 3?
True
Let q(p) = 2*p**3 - 5*p**2 + 21*p - 11. Let f(i) = 3*i**3 - 7*i**2 + 32*i - 17. Let z(o) = -5*f(o) + 8*q(o). Is z(5) a multiple of 8?
False
Suppose 3*c = c - 22. Let i = -3 - c. Is i a multiple of 3?
False
Let l(j) = -j**3 + 7*j**2 - 6*j + 7. Let x be l(6). Let m be 0*((-15)/(-6))/(-5). Suppose -9 = -3*r + 5*b, -4*r + 3*b + 5 + x = m. Is r a multiple of 3?
True
Let s be 2 - (-1 - (-4 - -3)). Let w = -25 + 47. Suppose -s = 2*o - w. Is o a multiple of 5?
True
Let x(m) = 2*m**3 - 3*m**2 + m - 1. Let s be x(2). Let p be (-96)/(-15) + 3/s. Let n = p + 5. Does 12 divide n?
True
Let z(h) = -7*h**3 - 3*h**2. Is z(-2) a multiple of 11?
True
Let v = -42 - -70. Is 13 a factor of v?
False
Let n(d) = d**2 + 10*d + 6. Let b be n(-9). Suppose 0*z - z = -282. Does 9 divide z/9 + 1/b?
False
Let b be 206/12 - (-2)/(-12). Does 12 divide (7 - b)*(1 - 3)?
False
Let x(j) = -5*j**3 - 8*j**2 - 12*j. Let h(z) = z**3 + 2*z**2 + 3*z. Let d(u) = -9*h(u) - 2*x(u). Let t be d(3). Suppose t*n - 23 = -n. Is 23 a factor of n?
True
Let a(x) = 2*x**2 - 2*x + 2. Let s be a(1). Suppose 54 = -0*l + s*l + 5*g, 3*l - 55 = -g. Is 6 a factor of l?
False
Let j(k) = 12*k + 22. Is 14 a factor of j(6)?
False
Is (240/(-36))/(2/(-12)) a multiple of 8?
True
Does 11 divide 90 + (4*-1 - (2 - 4))?
True
Let x(l) = 3*l**3 - 5*l**2 + 2*l - 2. Let s be (-9 - -1) + (-18)/(-6). Let m be x(s). Is 2/(-7) - m/28 a multiple of 16?
False
Let f = 17 - -120. Is f a multiple of 23?
False
Suppose -5 = -w + 37. Is w a multiple of 7?
True
Suppose z - 4 = 2*z + 2*c, 5*z - 3*c = 19. Suppose -6 = -2*l + z. Suppose 2*p - 60 = -3*b, 0*b - 2*p = -l*b + 80. Does 20 divide b?
True
Let d be 10 - -1 - (5 + -4). Let n(h) = h**2 - 8*h + 3. Does 23 divide n(d)?
True
Suppose 2*l = 10, -4*l = 5*b - 7*l + 10. Does 2 divide (10/8)/(b/4)?
False
Suppose -3*g + 69 = -2*u, -5*g = 3*u - 0*u + 75. Let z = -56 - u. Is z/(-3) + (-2)/3 a multiple of 8?
True
Let c(a) be the second derivative of -a**3/3 - a**2 - 3*a. Does 3 divide c(-4)?
True
Let c(a) = -a - 34. Let v be c(0). Let y = 18 + v. Does 3 divide (-36)/y - (-6)/8?
True
Suppose -5*k + 9 = -2*j, 2*k - j = j. Suppose 1 = f - k. Suppose f*l + 7*u - 57 = 4*u, 4*u - 11 = -l. Does 8 divide l?
False
Let l(k) = k**2 + 4*k + 4. Let v be l(-6). Let h = 5 + v. Does 10 divide h + -2*(-1)/(-2)?
True
Suppose -217*p + 216*p = -208. Does 26 divide p?
True
Let a(m) = m**3 + 8*m**2 - m - 4. Let b be a(-8). Suppose s = -b*s + 10. Suppose s*w - 37 + 15 = 0. Is 10 a factor of w?
False
Let w(c) = 2*c - 13*c - c - 6. Let x be w(-4). Let r = x - 25. Does 10 divide r?
False
Suppose -5*d + 4*t + 35 = -0, 0 = -3*d - 2*t - 1. Let q be 57/9 - (-4)/6. Suppose d*x - q = 8. Is x a multiple of 5?
True
Let k(r) be the third derivative of r**7/2520 - r**6/180 + r**5/24 - r**4/24 - 2*r**2. Let n(w) be the second derivative of k(w). Is 10 a factor of n(5)?
True
Suppose -3*d + c = -173, -3*d + 5*c = 3*c - 172. Does 5 divide d?
False
Let h be (-30)/4*(-16)/10. Let k = -2 + h. Let i = 15 - k. Is i a multiple of 2?
False
Let v be (-372)/(-5) + (-6)/15. Let y = 10 + v. Suppose -4*u + y = 4*l, 2*l + 5 = -5*u + 59. Is l a multiple of 12?
False
Suppose -3*d = 5*f - 277, f + 4*d = 46 + 23. Does 7 divide f?
False
Suppose 160 = 5*z - 2*d - 0*d, -5*z = 5*d - 195. Is z a multiple of 17?
True
Let t be 0/3 - (-52 + -2). Let r = 21 + t. Is 4/(12/r) - 1 a multiple of 13?
False
Let d = 129 - 29. Is d a multiple of 20?
True
Let a(d) = d**2 - 9*d + 6. Let t(s) = -s**3 + 7*s**2 + 2*s - 5. Let f be t(7). Let r be a(f). Suppose -r = -g + 6. Is g a multiple of 4?
True
Let i(y) = y - 1. Let q be i(3). Suppose -q*w + 4 = -0. Is w even?
True
Let v = -85 + 166. Is 4 a factor of v?
False
Let k be ((-12)/14)/((-4)/(-28)). Let a = 14 + k. Is a a multiple of 3?
False
Suppose 4*z + 28 = -4*n, 4*n + 6 = z - 2. Does 17 divide (820/30)/(z/(-6))?
False
Suppose 0 = 5*h - 330 - 10. Does 18 divide h?
False
Let r(z) = -z**3 - z**2 + z + 3. Let t be r(0). Suppose -t*s + 36 = s. Does 11 divide 1 + 11 - (10 - s)?
True
Suppose 1 = 2*p - 3. Let s(a) = 2*a**2 + 7*a + 9 - a**2 - p*a. Is 23 a factor of s(-7)?
True
Let y be (2 + -5)*22/6. Suppose -6 = 5*f - 1. Let u = f - y. Does 5 divide u?
True
Let m = -2 - 4. Let b be 4/m + (-20)/15. Is 1/(b/((-18)/3)) a multiple of 2?
False
Let l = 4 - 4. Let x be 122/2 - (l - -1). Suppose q - t - 16 = 0, -3*q + q = 5*t - x. Does 14 divide q?
False
Let c(l) = l**2 + 8*l + 10. Let k(o) = -2*o**2 - 16*o - 21. Let g(p) = 13*c(p) + 6*k(p). Let n be g(-6). Let x(d) = d + 14. Is 3 a factor of x(n)?
True
Let z = 64 - -2. Is z a multiple of 10?
False
Let q(v) = v**3 + 4*v**2 + 2*v - 1. Let b be q(-2). Let l = b - 2. Is 15 + 4 + (-1)/l a multiple of 13?
False
Suppose 0 = r + 4*r + 105. Let s = -9 - r. Is 4 a factor of s?
True
Is 11*(-4 - 14*-2) a multiple of 41?
False
Let l = 1 + 1. Suppose -2*v = 5*d - 10, -l*v = 2*d - 7*d - 10. Is 12 + (-1 - d) + 1 a multiple of 6?
True
Let j = 10 + -2. Is 7 a factor of j?
False
Let g = 1 - 8. Let u be (-3)/2 - (-1)/2. Let x = u - g. Is 3 a factor of x?
True
Let y(t) = 2*t**2 + t - 3. Let d be y(-5). Is (-7)/(-14) - d/(-4) a multiple of 11?
True
Suppose -9*f + 162 = -7*f. Is 27 a factor of f?
True
Let i be (-5)/((-1)/1) + -2. Suppose -88 = -i*b - b. Is b a multiple of 16?
False
Let j(b) = -11*b**3 + 2*b**2 + 2*b - 1. Let x(v) = -12*v**3 + 2*v**2 + 2*v - 2. Let q(t) = 3*j(t) - 2*x(t). Let a be (1/3)/(3/(-9)). Does 6 divide q(a)?
False
Suppose -432 + 126 = -2*p. Is 20 a factor of 12/30 + p/5?
False
Let o = 43 + 46. Suppose 3*c - 3*b - 168 = -7*b, -2*c + 5*b + o = 0. Does 13 divide c?
True
Let t be (3*4)/(1 + 0). Suppose 3*k = 12, -2*k + 3*k - t = -4*m. Does 6 divide 2*(10 + (0 - m))?
False
Let g(t) = 9*t**2 + t - 2. Suppose m = 4*u - 16, -2*u + 5*u - 2*m - 7 = 0. Let h = u - 3. Is g(h) a multiple of 20?
False
Suppose 5*v = -4*w + 117, 4*v + 111 = 5*w - 2*w. Does 31 divide w?
False
Let v be ((-60)/16)/((-1)/8). Suppose -b + 2*i + v = 4*i, i + 83 = 3*b. Is b a multiple of 7?
True
Suppose 5*l + 0*u = -u + 543, 0 = 4*l + u - 435. Does 23 divide l?
False
Let f(y) = -26*y**3 + y**2 - y - 1. Does 12 divide f(-1)?
False
Let z(g) = -6*g**3 - g**2 + g - 1. Let x be z(1). Let b(t) = -t**2 - 8*t + 1. Is 4 a factor of b(x)?
True
Let u = -16 - -10. Let l be (1 - u/3) + 2. Suppose -4*v - l*q = -215 + 19, -3*v = 2*q - 147. Does 20 divide v?
False
Suppose -20 + 2 = -3*n. Suppose -n*q = -q - 835. Suppose -5*c = 52 - q. Is c a multiple of 15?
False
Suppose -536 = n - 2*n. Suppose -3*o + n = o. Let x = o + -94. Does 19 divide x?
False
Let b(y) = y**3 - 8*y**2 + 3. Let g be b(8). Suppose 3*r = -x - 2*r - 14, 0 = -g*r - 9. Suppose -5*i + 11 = x. Is i a multiple of 2?
True
Let r(u) be the first derivative of -3*u**2/2 + 4*u - 1. Suppose 0 = -2*k - 7 + 1. Is 6 a factor of r(k)?
False
Let p = 5 - 2. Suppose 0 = c - 2, -c = -3*o + 2*c + p. Suppose -o*m = -m - 6. Is 3 a factor of m?
True
Does 10 divide ((-22)/(-8))/(((-35)/260)/(-7))?
False
Let n(p) = -9*p - 1. Let r be n(-2). Suppose f + h + 3 = 0, f = 5*f + 5*h + r. Suppose 4*a - 60 = f*a. Is a a multiple of 10?
True
Let s = 4 + -2. Let k be -8*s/(-1*4). Suppose -3*j = -k*j + 12. Does 6 divide j?
True
Let l(g) = g**2