(1/(-2)))/s. Does 3 divide -9*1*t/3?
True
Let f be 4/(-16) + 57/4. Suppose 0*u + 12 = -x - 3*u, 0 = -3*x + u + f. Suppose 2*z + 4*o + 14 = x*z, z + 5*o = 14. Does 7 divide z?
True
Suppose -4 = -3*f - 1. Does 5 divide (f/(-2) - 0)*-46?
False
Let v = -375 - -204. Let k = -109 - v. Is k a multiple of 16?
False
Let c be 4/(-14) - 2/(-7). Suppose t + t + 12 = c. Is ((-4)/t)/(6/36) a multiple of 4?
True
Let k be 3 + -7 + 39 + 3. Let r = 3 + -1. Suppose r*x = 40 + k. Is 15 a factor of x?
False
Let m(j) = 30*j + 5. Let s be m(6). Suppose 0 = -4*c - 53 + s. Is c a multiple of 11?
True
Suppose 5 = 5*n + 2*d, 6*n - 3*n + 1 = -2*d. Let j(k) = 5*k**2 + 1. Let v be j(n). Let w = v + -24. Does 9 divide w?
False
Suppose -w = 2*y + y - 15, 5*w = -4*y + 31. Let i(h) = h**2 - h + 2. Let r be i(2). Suppose -4*q + 15 = 2*n - 25, q + r = -y*n. Is q a multiple of 6?
True
Let c = 105 + -59. Suppose 0 = -2*j - 4*b + c, 7*b - 41 = -2*j + 2*b. Is j a multiple of 11?
True
Let k(f) = 2*f - 6 - 4*f + 0. Let p be k(-6). Suppose 0 = -2*a + 6 + p. Is a a multiple of 6?
True
Suppose 3*b = -k - 18, -3*b - 6 = -3*k - 0*k. Suppose -o - 18 = -3*g - 1, -4*o - g - 3 = 0. Does 2 divide o/b - (-16)/10?
True
Let m(l) = l**2 + 2*l - 2. Let a be ((-32)/(-24))/(1/3). Is 22 a factor of m(a)?
True
Let w be 6/(-3*1) + 0. Let g be 1*(-1 - -4) + w. Is g*(31 - 3/3) a multiple of 15?
True
Suppose -8 = 3*o - o, -4*h + 3*o + 380 = 0. Does 23 divide h?
True
Let n(f) be the second derivative of f**3/6 + 7*f**2 - 4*f. Does 8 divide n(-6)?
True
Let m(n) = -3 - 7 - 2*n + 6 - 4*n. Is 14 a factor of m(-3)?
True
Suppose 0 = 6*o - 123 - 141. Is 11 a factor of o?
True
Let t(d) = -6*d - 2. Does 9 divide t(-4)?
False
Let t(z) = 2*z**3 - z**2 + z. Let q be t(1). Let k(d) = 12 - q*d**2 + 2*d**2 + d**2 - 5*d. Is k(8) a multiple of 15?
False
Let y be (-15)/5 + (-1 - 1). Let z(s) be the third derivative of -s**5/60 - s**4/3 - 5*s**3/6 + s**2. Is 5 a factor of z(y)?
True
Let b(s) = -s - 2. Let v be b(-6). Is 50/v*2 - 2 a multiple of 12?
False
Suppose j = -3*j + 4, 4*t - 2*j - 222 = 0. Is t a multiple of 14?
True
Let b = -14 - -15. Let m(w) = 31*w + 1. Is 16 a factor of m(b)?
True
Let x(u) be the third derivative of u**5/24 - u**4/8 + u**3/6 - u**2. Let b(k) be the first derivative of x(k). Is 5 a factor of b(3)?
False
Is 3 a factor of -1*1 + 84/21?
True
Is 12 a factor of (-2)/(-4)*0 - -48?
True
Let n(k) = -k**2 - 5*k**3 + 5*k**2 - 3*k**2 - 2 - 2*k**3. Is n(-2) a multiple of 13?
False
Suppose 109 = 2*f + o, -195 = -3*f + o - 39. Let z = f - 31. Does 11 divide z?
True
Suppose 60 = y - 4*z - 0*z, -y = 5*z - 33. Is 8 a factor of y?
True
Let i = 2 + -2. Suppose 2*w - w - 38 = i. Is w a multiple of 15?
False
Let h(a) = 68*a + 17. Is h(3) a multiple of 36?
False
Let g = 152 - 88. Is g a multiple of 38?
False
Let q(m) = -24*m + 2. Does 13 divide q(-1)?
True
Let p(m) = -m**3 + 11*m**2 - 4*m - 3. Does 8 divide p(9)?
False
Let o(f) = 5 - 3*f**3 - 4*f**2 + 2*f**3 + 7*f - 2*f**2. Let m be o(-7). Suppose m = -v + 50. Does 23 divide v?
False
Suppose 2*t = -2*t + m + 62, 4*t + 5*m = 74. Suppose 5*c = t - 1. Does 9 divide 7/(14/12)*c?
True
Let v(i) = i**3 - i + 5. Let b be v(0). Suppose b*z = 11 + 14. Suppose 3 = 3*w, -3*w + 96 = z*k - 27. Is k a multiple of 16?
False
Suppose -v + 8 = -2. Suppose 4*c - 10 - 39 = -3*u, -2*c - v = 0. Is u a multiple of 4?
False
Let z(s) be the first derivative of 1 + 2/3*s**3 - s - 4*s**2. Does 11 divide z(6)?
False
Let n = 6 + 1. Suppose 2*t = -10, 3*g - 5*t + n*t = 32. Suppose -2*f + 12 = -g. Is 13 a factor of f?
True
Let p be -1 + 1/(1/19). Suppose 4*j + 2*q - p = 0, 4*j - 3*q = -1 + 4. Is j a multiple of 2?
False
Suppose -5*f + 3*j + 34 + 0 = 0, 0 = 2*f + 3*j - 22. Suppose 3*b = -2*d + f, d + 3*b = 4*b - 1. Let x = d + 11. Does 12 divide x?
True
Let b = 11 - 1. Let q = -16 - -15. Is 9 a factor of q + (1 + 0)*b?
True
Let p(v) = v**2 + 2*v - 3. Let a be p(2). Let g(d) = 7*d**2 - 3. Let q(l) = 6*l**2 - l - 3. Let i(w) = 5*g(w) - 6*q(w). Does 8 divide i(a)?
True
Let t(x) = 2*x + 1. Is t(17) a multiple of 3?
False
Let q(j) = j - 18. Let n be q(12). Let b = n - -5. Let y = b - -19. Is 18 a factor of y?
True
Suppose 5 = 5*w, 2*n - 2*w - 28 = -3*n. Let x(d) = d + 7. Is x(n) a multiple of 5?
False
Let q = -4 + 6. Suppose 7 = q*y + 3. Is y even?
True
Is 17 a factor of (-236)/(-6) - (-2)/12*-2?
False
Let x be 64/(-40)*(-10)/4. Suppose v + 11 - x = 0. Let p = v - -22. Is 15 a factor of p?
True
Suppose -2*y - 3*y = 0, -5*u = 2*y - 20. Does 20 divide (-42)/1*u/(-3)?
False
Suppose 0 = s - 2*i - 73, 21 = s - 5*i - 37. Does 25 divide s?
False
Let s be (-6 + 4)/((-6)/(-99)). Let f = -25 - s. Is f a multiple of 7?
False
Suppose 23 = w - 5*y, -4*w + 3*y + 28 = -y. Suppose -2*t + 171 = w. Is 34 a factor of t?
False
Let y be -20*(-3)/6 + -1. Suppose 74 = -y*l + 10*l. Does 18 divide l?
False
Let l = 948 + -633. Is 15 a factor of l?
True
Suppose 4 = -4*l, -3*v - 3*l = -1 - 2. Suppose -3*c - 3 = 0, v = 2*j + c - 11. Is j a multiple of 7?
True
Let f = 108 - 51. Is f a multiple of 7?
False
Suppose -3*a = 3*b + 93, -2*b = 2*a + a + 88. Let d be 64/(-6) - (-1)/(-3). Let n = d - a. Does 7 divide n?
False
Suppose -8*u + 155 = -3*u. Suppose -4*j + 97 + u = 0. Does 8 divide j?
True
Let a(h) = h**2 + h. Let g be a(1). Let t(j) = 2*j**2 - g*j**2 - 16*j**3 - 3*j + 4*j. Is 15 a factor of t(-1)?
True
Let z = -60 + 106. Does 7 divide z?
False
Suppose w - 2*k = -16, -3*w = -3*k + 24 + 9. Let d be 4/w + 4/6. Suppose 2*c = -d*c + 32. Does 16 divide c?
True
Suppose 5*z - 208 = 157. Suppose 5*h - 2 = z. Is 8 a factor of 6/h*7*5?
False
Let g(i) = -i**3 + 9*i**2 + 10*i + 6. Let u = -4 - -14. Is g(u) a multiple of 4?
False
Suppose 0 = -4*s - i + 3*i + 262, 0 = 3*i + 9. Is 32 a factor of s?
True
Suppose 0 = -0*f - 2*f + 6. Let z be -1 + 1 + -1 + f. Does 5 divide (-13)/(-2*z/4)?
False
Suppose 0 = -3*v, 2*v - 10 = l - 77. Does 15 divide l?
False
Suppose 2*a - 7 = 27. Suppose -2*c + 1 = 2*g - 9, 5*c - a = 3*g. Suppose -y + 3*y - c*u - 134 = 0, -2*y = u - 119. Does 27 divide y?
False
Suppose -4*i = -4*p - 376, -3*i = 2*p + 205 - 7. Is 16 a factor of (p/10)/(2/(-10))?
True
Let s(p) be the third derivative of -p**7/840 + p**6/360 - p**4/12 - p**3/3 - 2*p**2. Let c(i) be the first derivative of s(i). Does 5 divide c(-2)?
True
Let u be 3 - ((-1 - -1) + 0). Suppose -u*b - 3*y - 3 = y, 0 = -2*y. Is 5 a factor of 0/((-3)/b) + 10?
True
Let g(l) = l**3 + 2*l**2 - 3*l - 1. Is g(3) a multiple of 35?
True
Let j be (-206)/3 - 7/21. Let t = -48 - j. Is 10 a factor of t?
False
Suppose 0*m + 7 = -i + 2*m, -2*i + 11 = m. Suppose -4*f - f = 2*u - 108, -i*u + 141 = -3*f. Suppose 5*c - 11 = u. Is 12 a factor of c?
True
Let x(f) = -4*f**2 + f**3 + 6 + 2*f**2 - 4*f**2 - f. Let d be x(6). Suppose 2*l + 8 = 4*n - 26, -3*n + 2*l + 26 = d. Is 3 a factor of n?
False
Let p(s) = -s**3 - 10*s**2 - 11*s + 9. Suppose 4*o + 0*o = -36. Is 9 a factor of p(o)?
True
Suppose 3*u + 4*o = 8*o + 264, 0 = 3*u + 4*o - 240. Does 21 divide u?
True
Let k = -1 - -6. Suppose 5*m - k*h = -h + 87, -5*h + 10 = 0. Does 19 divide m?
True
Let c be (-17)/3 + 3/(-9). Let y be (c + 7)/(1/2). Suppose 0*k - 48 = -y*k. Is 12 a factor of k?
True
Let l(s) = -s**3 - 6*s**2 - 4*s + 7. Suppose -5*o = 2*y + 27, 25 = -3*o - 3*y + 7. Let c be l(o). Is 3*(c + 0 - 0) a multiple of 3?
True
Let s(y) = 3*y - 2. Let h be s(2). Suppose 4*j = 2*c - 92, 197 = 5*c - h*j - 21. Is -2*(c/4)/(-3) a multiple of 4?
False
Is 21 a factor of (-171 - -3)*3/(-6)?
True
Let p(x) be the third derivative of -x**4/24 + 5*x**3/3 - 5*x**2. Is 14 a factor of p(-8)?
False
Let m be 1*-34*(-3)/6. Let x = m + -12. Suppose k - 2*k = -5*t - 14, -2*t + 70 = x*k. Is k a multiple of 7?
True
Let p(d) = d**3 + 8*d**2 - d - 3. Let r be p(-7). Suppose -4*k - 2*u + 244 = 0, k - 4*u - r = -1. Is k a multiple of 15?
True
Let l = -7 - -10. Suppose -l*y + 6 = -3*g, 0 = 3*g + g + 4*y - 8. Suppose g = 4*b + 53 - 133. Is 13 a factor of b?
False
Suppose 3*c - 156 = -c. Let f = 64 - c. Is f a multiple of 8?
False
Suppose -5*k + 2*t + 27 = 0, -10 = 5*t - 30. Let p(g) = -10*g + 11 + 5 - g**3 + 3*g**2 + k*g**2 + 2*g**3. Does 5 divide p(-11)?
True
Let a(w) = -w**2 + 5*w - 2. Let j be a(2). Suppose -j*f - 20 = 0, -4*g + 4*f = -255 - 169. Is 5 a factor of (-8)/44 - 