. Let l be (s/(-3))/((-4)/210). Let n = l + -18. Does 17 divide n?
True
Let w = 20 - 17. Suppose 0*o = o + 5*i - 16, 5*o - 36 = -w*i. Is o a multiple of 6?
True
Suppose 0*o + 120 = 2*o. Let x = o + -15. Does 9 divide x?
True
Is (135/(-18))/(6/(-56)) a multiple of 24?
False
Let t = 32 - 21. Is 10 a factor of t?
False
Suppose 345 = 5*w - 2*w. Let p = w + -78. Is 10 a factor of p?
False
Let i = 17 - -3. Is 14 a factor of (i/5)/((-3)/(-42))?
True
Let q(a) = -3*a + 2. Let r(v) = 3*v**2 - 3*v + 1. Let l be r(2). Let z(u) = 8*u - 6. Let k(x) = l*q(x) + 2*z(x). Is 12 a factor of k(-2)?
True
Let q(j) = j**3 - 4*j**2 - 9. Is 11 a factor of q(6)?
False
Let z(i) = i**3 + 12*i**2 + 4*i - 21. Is z(-7) a multiple of 49?
True
Let o(z) = z**2 + 3*z - 5. Let i be o(-4). Is 2 a factor of 1 + 9 + i + -3?
True
Suppose -4*a + 10 = -d - 4*d, -a + 4*d = 3. Suppose -a*j - 9 = -29. Is j a multiple of 3?
False
Let v(q) = 3*q**2 - 6*q + 16. Does 10 divide v(4)?
True
Is 7 a factor of (-222)/(-7) + (-30)/(-105)?
False
Suppose 2*k - 4*g = 28 + 8, -5*k - 2*g = -150. Does 6 divide k?
False
Let k(r) be the second derivative of 1/20*r**5 + 1/3*r**3 - 11/12*r**4 - 3*r**2 + 0 - 4*r. Is 16 a factor of k(11)?
True
Let r(g) = -g**2 + g - 36. Let m be r(0). Let p = 14 - m. Does 18 divide p?
False
Let h(g) = g**3 - 12*g**2 + 8*g - 5. Is h(12) a multiple of 24?
False
Let n = 5 + -3. Suppose n*b + 26 = 88. Is b a multiple of 27?
False
Let a = -57 - -82. Suppose a = 4*u + u. Suppose u*h = -3*j + 37, 2*h - 54 = -0*j - 4*j. Is j a multiple of 7?
True
Let i be (4 + -22)/((-6)/52). Suppose 4*s - s = i. Is 9 a factor of s?
False
Suppose 6*x = 5*x + 39. Does 13 divide x?
True
Suppose -45 = q - 4*q. Let k(l) = l**3 - 9*l**2 - 14*l. Let u be k(10). Is ((-6)/4)/(q/u) a multiple of 4?
True
Suppose 0 = -2*g + 3*w + 11, -2*w + 6 = 2*g. Suppose -2*l + 21 = 3*y, g*l - 17 = 3*y - 2. Is 3 a factor of l?
True
Let p = -5 + 40. Is 28 a factor of p?
False
Suppose v = -3*v - 36. Let n(j) = j**2 + 3*j - 3. Does 31 divide n(v)?
False
Let w = -52 - 5. Let z = w + 34. Let s = 17 - z. Is s a multiple of 13?
False
Suppose -q - 55 = 5*d - 0*d, -2*q = -3*d + 71. Let j = q + 78. Is j a multiple of 7?
False
Let g = -11 - -22. Suppose -g - 7 = -m. Is m a multiple of 8?
False
Let d = -4 + 4. Suppose d = -4*t - 12, 2*y - 4*y - 4*t = -166. Suppose 4*h = h - n + y, -2*n + 149 = 5*h. Is h a multiple of 22?
False
Let y = -2 + 2. Let h = -6 - -8. Suppose y = h*n - 1 - 23. Is 6 a factor of n?
True
Does 7 divide -56*(-228)/136 - (-4)/34?
False
Suppose 2*d + 2*d = 64. Suppose -r - d = n - 5*r, 2*n + 4*r = 16. Suppose -s + 21 = -n*s. Does 10 divide s?
False
Let j = 6 - 0. Is 6 a factor of j?
True
Suppose -2*x + 29 + 95 = 0. Suppose 0 = 4*h + 2*c + 2 + 8, h + 15 = -3*c. Suppose -l - l + x = h. Does 12 divide l?
False
Suppose 47 = 4*u + 7. Suppose -5*d = -6*d + u. Is d a multiple of 3?
False
Let a(h) = 74*h**3. Let o be a(-1). Suppose y = -4*y + 2*p + 541, -4*y - p + 425 = 0. Let l = o + y. Is 12 a factor of l?
False
Suppose 0 = 2*c - 5*c. Suppose c = -0*r - 2*r + 132. Is 18 a factor of r?
False
Let y be 6*(3 - (-7)/(-3)). Suppose 5*c + 7 = x, -y*x + 0 = -3*c - 11. Suppose -3*l = 3*z - x*l - 68, 0 = -5*l + 25. Is 17 a factor of z?
False
Let x(q) = -36*q. Let t be x(-1). Suppose t = -0*r + 4*r. Does 8 divide r?
False
Let w(r) = -2 + 5*r + 4*r + 5 - 4. Does 21 divide w(3)?
False
Let j = 26 - 29. Is 18 a factor of (-259)/j + 12/(-36)?
False
Let g(h) = 3*h**3 - 5*h**2 + 2*h. Let i be 4/3*6/4. Let u(x) = x**3 - x + 1. Let j(f) = i*u(f) - g(f). Is j(3) a multiple of 4?
True
Let r = 34 - 88. Let a = r - -78. Is a a multiple of 10?
False
Suppose 0 = 5*m - 10, 0 = -q - 3*m + 45 + 12. Is q a multiple of 17?
True
Suppose 0 = -2*u + 8, 18 = d - 0*d + 4*u. Suppose -2*r - 3*r + 5*f + 110 = 0, d*r = f + 42. Is r a multiple of 8?
False
Let u(h) = 4*h**2 + 10*h + 9. Does 13 divide u(4)?
False
Let r = 199 + -113. Suppose -7*h = -40 - r. Is h a multiple of 6?
True
Suppose -2*d + 2*u + 72 = -114, 5*d - u - 481 = 0. Let z = d + -67. Suppose -z = -5*l - 3*w, -4*l + 24 = w + w. Is l a multiple of 4?
False
Suppose -2*q - 3*q - 30 = 0. Let u = 2 + q. Let s = -2 - u. Is s even?
True
Is ((-50)/75)/(2/(-90)) a multiple of 15?
True
Let s be 25497/63 + 2/7. Suppose 15*i - 10*i = s. Is 27 a factor of i?
True
Let m = 0 - -5. Let q(c) = 12*c + 4. Is q(m) a multiple of 13?
False
Let a = -45 - -99. Does 9 divide a?
True
Let j(m) be the first derivative of -9*m**2/2 - 3*m - 6. Does 14 divide j(-5)?
True
Suppose -n = -2*n + 34. Is 9 a factor of n?
False
Let n(g) be the first derivative of 7*g**2 - 2. Does 7 divide n(1)?
True
Suppose 0 = 2*m - 14 + 4. Suppose -140 = -0*w - m*w. Is w a multiple of 14?
True
Let i = 1 - 1. Suppose 0*d = 4*l + 2*d - 18, 2*l - 3*d + 3 = i. Let m = -1 + l. Does 2 divide m?
True
Let d = 5 - 1. Let t = -99 - -167. Suppose -116 = -4*n - r + 3*r, -d*r + t = 2*n. Is 13 a factor of n?
False
Let g be (-1 + 2)*(1 - -6). Let i = g + -6. Is 15 a factor of 44 + -2*i/(-2)?
True
Let i be 189/4 + (-1)/4. Let u = i + -17. Is u a multiple of 15?
True
Let u(k) = -k**3 - 5*k**2 + 5*k - 2. Let j be u(-6). Is j/3*(-372)/(-8) a multiple of 24?
False
Let v(f) = -f**3 - 6*f**2 - f - 8. Let w be v(-6). Let c be (1 + w)/(1/3). Is (2 + c)*-10 - -1 a multiple of 4?
False
Let j(p) = p**2 + 4*p + 2. Let z be j(-5). Is 4 a factor of (-4)/(-14) + 26/z?
True
Let r(a) = a**2 + 5*a + 6. Let p = -9 - -4. Is 3 a factor of r(p)?
True
Suppose 3*b - 8 = b. Suppose -2*a - 7 = -3*l, 6 = 5*l - b*l + 3*a. Is l even?
False
Suppose 0*q + 88 = -2*q. Let c = -2 + 1. Let m = c - q. Does 16 divide m?
False
Let z be -1 + -2 + 2 - -6. Suppose h - 3*n = -18, 13 = -z*h + 5*n - 37. Let s = h + 30. Does 12 divide s?
True
Let a = 480 + -210. Is a a multiple of 30?
True
Let l = 12 + -5. Is l a multiple of 2?
False
Suppose -5*o + 217 - 47 = 0. Is 7 a factor of o?
False
Let v(c) be the second derivative of c**4/12 - c**3 + 3*c**2/2 - 3*c. Is v(6) even?
False
Let r be 2 - (-1 + (-2 - -9)). Let t be -2 - r - 5/1. Does 14 divide 1/(-3)*t*14?
True
Let c(h) = 16*h + 1. Let f be c(3). Suppose -2*l + l = -f. Is 16 a factor of l?
False
Let j be (3/2 - 2)*-12. Let k(y) = 3*y - 3. Let c(a) = 3*a - 4. Let p(f) = -4*c(f) + 5*k(f). Is p(j) a multiple of 9?
False
Suppose -3*c + 2*p + 3 = -3, c + p = 7. Suppose c*j + 16 = 2*z, 6 = 2*j + 4*z - 6. Does 17 divide (-4)/j*46/4?
False
Suppose 5*u + 7 = f, 0 = 5*f - 4*u + 5*u - 9. Suppose 4*b = -w + 2, f*w + b = w - 4. Does 15 divide w/(-15) - 146/(-10)?
True
Suppose -4*r - 24 = -4*z, 2*z + 0 = -2*r + 4. Let j be (4/(-3))/(r/(-6)). Is (-27)/j + 3/12 a multiple of 6?
False
Suppose -40 = -5*h - 15. Is 5 a factor of h?
True
Let l(v) = 3*v**2 + v - 2. Let z = -4 - -6. Does 9 divide l(z)?
False
Let r(p) be the second derivative of p**4/6 + 3*p. Is 7 a factor of r(4)?
False
Let g(h) = h**3 + 10*h**2 - 13*h + 1. Does 22 divide g(-9)?
False
Suppose 16 = -4*o - 5*i + 39, 5*i - 13 = o. Suppose o*u + 3*u - 180 = 0. Does 18 divide u?
True
Let x = 215 + -111. Is x a multiple of 13?
True
Suppose 2*l + 8 = 0, 4*l + 322 = 3*q - 0*l. Suppose -5*b + q = -2*b. Is b a multiple of 18?
False
Let x be 32/(-2)*(-179)/2. Suppose 4*h - 468 - 230 = -2*y, -x = -4*y + h. Is 12 a factor of y/15 - (-2)/10?
True
Let m(t) = -t**3 - 2*t**2 + 6*t - 5. Let y = -5 + 0. Does 20 divide m(y)?
True
Let c(y) = 2*y**2 + 3*y + 2. Let s be (-2 - -1) + 4/(-4). Let p be c(s). Is 10 a factor of 39/4 + 1/p?
True
Let a(r) = -r**3 - r. Let o(d) = 5*d**3 - 6*d**2 - d - 3. Let m(n) = -4*a(n) - o(n). Does 19 divide m(6)?
False
Let m = -6 + 6. Is 12 a factor of 15 + (2 - m) + -3?
False
Let i(m) = 7*m - 3. Let h be i(6). Let l(v) = -v**2 - 13*v - 38. Let f be l(-8). Suppose -h = -f*g - g. Is g a multiple of 13?
True
Let o(k) = -5*k - 5. Let r be o(-3). Let q = 12 - r. Is q even?
True
Does 20 divide 204 - 27/45*(0 + -5)?
False
Suppose 2*f + 40 = -3*j, -j - 2*f + 5*f - 17 = 0. Let s = j + 26. Is 9 a factor of s?
False
Suppose 0 = -c + 3 + 3. Does 12 divide -2*(0 - 111/c)?
False
Let s(o) = -o**2 + 3 - 9 + 9*o - 3. Is s(6) even?
False
Suppose -4*q + 0*x = -2*x - 412, 5*q - 518 = x. Suppose 0 = -0*w - 4*w + q. Suppose -20 = 4*b, -b - w = 4*v - 69. Does 6 divide v?
True
Suppose 0 = 2*a + a - 54. Is 6 a factor of a?
True
Let p 