es 19 divide (-278)/(-3) - s/w?
False
Let k = -30 - -36. Suppose -k*v = -3*v - 3. Let z = v + 6. Is 3 a factor of z?
False
Let g = 1061 - 575. Is g a multiple of 32?
False
Let p(b) = -b**2 + 11*b + 9. Let u be p(12). Let m = -22 + u. Does 14 divide ((-10)/m)/(1/50)?
False
Let x = -3 + 1. Let b(j) = -j - 1. Let u(i) = 3*i**2 - 2. Let s(y) = -2*b(y) + u(y). Is s(x) a multiple of 3?
False
Let i(f) = -f**3 - f**2 - f - 7. Let v be i(0). Let d(w) = -17*w - 19. Let g(m) = 20*m + 22. Let x(u) = 3*d(u) + 2*g(u). Is 16 a factor of x(v)?
True
Let s = -21 + 21. Suppose a + 3*a - 24 = s. Suppose a*y = 3*y + 84. Does 14 divide y?
True
Suppose 5*j + 22 = -13. Let o = 131 - j. Does 29 divide o?
False
Suppose m - 3*y - 1999 = 0, 13*y - 15*y - 2000 = -m. Is m a multiple of 91?
True
Suppose 93*w = -15020 + 66170. Is 17 a factor of w?
False
Let g(c) = 4*c - 29. Let q be g(0). Let j(k) = k**2 + 12*k - 87. Does 58 divide j(q)?
True
Suppose -884 = -3*x - 269. Let t = -107 + x. Does 11 divide t?
False
Suppose 11*u - 4*m - 115 = 6*u, 86 = 3*u + m. Does 9 divide u?
True
Let c be (-10)/2 + (-18)/9. Let q be (6/(-4))/(c/14). Is 1 - (6 - q) - -42 a multiple of 13?
False
Does 4 divide (((-3)/1)/3)/(10/(-3090))?
False
Let u(v) = -v**3 - 6*v**2 - 7*v - 1. Suppose 0 = 4*t - 12, t = -4*c - 2*t - 11. Let k be u(c). Suppose 115 = -k*x + 14*x. Does 7 divide x?
False
Let r be (4/8)/(1/(-10)). Is 13 a factor of 8/(9/(-11) + 6 + r)?
False
Suppose 0 = -8*s + 2*s + 24. Suppose 5*p = -s*p + 576. Is p a multiple of 8?
True
Suppose 4*f - m - 19 = 0, 2*f + f + 4*m = 0. Suppose -11 - 9 = -f*i. Suppose 0 = 2*g + 4, 3*b - i*g - 45 = -2*b. Does 6 divide b?
False
Let j(x) be the third derivative of 17*x**5/20 + x**4/24 + 25*x**2. Does 5 divide j(-1)?
True
Let v = 32 - 39. Does 5 divide ((-12)/v)/(6/63)?
False
Let s(t) = 3*t + 50. Let z be s(-13). Let q(j) = -5*j**3 + 15*j**2 - 4*j - 3. Let n(f) = f**3 - f**2 + f - 1. Let p(g) = -4*n(g) - q(g). Does 4 divide p(z)?
False
Suppose -2*l + 46 = p, -2*l - 24 = -p + 2. Suppose i - 3*r - p - 53 = 0, -r - 87 = -i. Does 27 divide i?
False
Let b(r) = 1 - 3 + 14 - r + 2. Let o be b(5). Does 32 divide o/(-12) + 431/4?
False
Let w = 4 + 0. Let u = w + -1. Is 19 a factor of u/3 + (-37)/(-1)?
True
Let f be 1432/11 + 2/(-11). Suppose 0 = 3*s + 1 - f. Is 13 a factor of s?
False
Suppose -2*q - 2 = -3*x, 0*x - 2*x = 3*q - 23. Let u = -91 + 140. Suppose -229 = -q*j - u. Is 14 a factor of j?
False
Let t(h) = -3*h**3 + 5*h**2 + 8*h + 1. Let w be t(-3). Suppose -i + 112 = 3*c, 7*i = 2*c + 2*i - w. Is 7 a factor of c?
False
Let z(y) = 2*y**3 - 5*y**2 + 4*y + 1. Let d = 73 + -69. Is z(d) a multiple of 6?
False
Suppose -z + 2474 = 2*a, -1421 = -2*z + 4*a + 3551. Is z a multiple of 124?
True
Suppose 0 = -2*p - 3*p. Is 10 a factor of (-63)/2*(p + 6/(-9))?
False
Suppose y - 3*h = -65, -4*h = -3*y + y - 130. Let o = y - -341. Is 12 a factor of o?
True
Suppose 0 = 5*z - 10 - 0. Suppose 0 = 4*d + 4*b, 0*b = -3*d + b + 8. Suppose 160 = d*g + z*g. Does 14 divide g?
False
Let z(l) = -3*l**3 - 10*l**2 + 13*l + 12. Does 16 divide z(-9)?
False
Let g(b) = b - 9. Let p = 18 - 12. Let t be g(p). Is 6/4*(-46)/t a multiple of 14?
False
Suppose -4*u = a + u - 50, -a + 20 = -u. Let v = a + -15. Does 5 divide v?
True
Let n = -52 - -50. Is (-2*(-3)/(-2))/(n/76) a multiple of 19?
True
Let y(k) = k**3 - 6*k**2 - 15*k + 22. Does 13 divide y(9)?
True
Let h(x) = -x**2 - 5*x + 8. Suppose -4*j = -j - 5*s - 47, -5*j + 5*s = -95. Suppose -5*q = -q + j. Does 2 divide h(q)?
True
Let r = -56 + 364. Is r a multiple of 22?
True
Let l(j) = j**3 - 6*j**2 + 111*j + 24. Is 11 a factor of l(12)?
False
Suppose 0 = -2*a + h + 4*h + 474, h = a - 234. Does 29 divide a?
True
Let v(t) = 7*t**2 + 6*t - 13. Suppose 12*a = 10*a - 12. Does 29 divide v(a)?
True
Let y(i) = -i**3 + 14*i**2 - 21*i + 17. Is 7 a factor of y(9)?
False
Suppose 0 = -5*k + 3*l + 9907, 2*k + l = -2*k + 7929. Is k a multiple of 11?
False
Let u = 3321 + -2466. Is 13 a factor of u?
False
Suppose 5*i - 41 = 209. Suppose -77*h = -78*h - 36. Let t = h + i. Does 11 divide t?
False
Is (56/(-3))/((-19)/((-30723)/(-14))) a multiple of 49?
True
Let t(o) = o**2 - 6*o - 7. Let b be t(10). Suppose 0 = 4*i + 5 - b. Suppose 16 = 5*d - d, -2*d = -5*a + i. Is 2 a factor of a?
False
Let r(z) = z + 8. Let v(t) = -8. Let f(h) = -3*r(h) - 2*v(h). Let x be f(-4). Suppose -54 = -x*n + 2*n. Is n a multiple of 9?
True
Suppose 5*n + 30 = 5*b, -4*n + 5*n + 18 = 5*b. Suppose -b*r = 2*h - 180, -r + h = -27 - 28. Is r a multiple of 29?
True
Let a(x) = x**3 - 4*x**2 - 8*x - 3. Let c be a(6). Let g = c - -3. Is g a multiple of 8?
True
Suppose -5*a + 989 = 3*f, -2*f - 26*a = -22*a - 662. Is f a multiple of 19?
True
Suppose -25*x + 3303 + 9147 = 0. Is x a multiple of 34?
False
Let r = -15 - -20. Suppose -10*l + r*l + 20 = 0. Suppose -l*z = -92 - 116. Does 13 divide z?
True
Suppose -31 = -4*t + 289. Suppose 0 = -v + o + t, v - 20 = -4*o + 45. Is v a multiple of 11?
True
Let b be ((2 - 10) + 2)*1. Suppose -8 = -3*s - 14. Is 12 a factor of 3/s*(b - 10)?
True
Let t be 4 + -7*(2 + 1). Is 2*t*50/(-20) a multiple of 17?
True
Let o(p) = -3*p**2 - 2*p - p - p**3 + 4*p + 3. Let v be o(-3). Suppose y + y - 28 = v. Is 6 a factor of y?
False
Let t be 0/(0 - -1) - -181. Let j be 222/(1 - -1)*1. Let o = t - j. Does 10 divide o?
True
Suppose 0 = -n - 5*p - 20, n - 4 = 4*n + p. Suppose n*m = 2*m. Suppose -d + r - 2*r + 35 = m, -d + 3*r = -51. Is 10 a factor of d?
False
Suppose 0 = 4*o - 10 + 18, 4*o - 8968 = -3*i. Is i a multiple of 17?
True
Let z = 289 - 323. Let x = 145 + -94. Is 24 a factor of 147/2 + x/z?
True
Let v(b) = 26*b**3 + 6*b**2 - 6*b + 2. Let d be v(2). Suppose -y - 3*h = -242, y - h - d = h. Does 22 divide y?
False
Suppose 2*p - 348 = -4*p. Is 3 a factor of p?
False
Let k(u) = 10*u + 204. Is 42 a factor of k(11)?
False
Let k be ((-48)/21 + 4)*(-14)/(-4). Is 16/12*k*10 a multiple of 59?
False
Let c(r) = r**3 + 5*r**2 - 20*r + 18. Is c(-7) a multiple of 6?
True
Let a = 33 + -24. Let t(b) = 9*b + 22. Is 23 a factor of t(a)?
False
Let k(v) = -v**2 - 5*v. Let u be k(-4). Is 2 a factor of (2 - -1) + u/4?
True
Suppose -2 = -l - 2*b, 3 - 14 = -l + b. Suppose 0 = i + i. Does 6 divide (-8 + i)*(-28)/l?
False
Suppose 5*c + 2*i = -3*i + 5, 4*i = c + 4. Does 33 divide (13 + -1)*11 - c?
True
Let n = 85 - 4. Suppose -4*h + n = -127. Does 13 divide h?
True
Is 15 a factor of 4605/18 + 10/60?
False
Let y(x) = -2*x**2 + 3*x + 281. Is 7 a factor of y(0)?
False
Let v = -16 + 18. Suppose l - 2*l + v*n = -66, l + n - 57 = 0. Is 8 a factor of l?
False
Let r be -6 + (-2)/(-1) + 76. Suppose -6*b = -10*b + r. Is 6 a factor of (-27)/b - 27/(-2)?
True
Suppose -20*v + 1248 = 3*q - 19*v, 2*q - 5*v = 832. Is 9 a factor of q?
False
Let o(m) = -84*m + 20. Does 22 divide o(-33)?
False
Let l = 6 + -4. Suppose 0*p + 124 = p + 5*m, -l*p = -5*m - 203. Is 20 a factor of p?
False
Let l be ((-8)/(-10))/((-2)/55). Let i = l - -53. Is 7 a factor of i?
False
Suppose a + 13 = 18. Suppose 2*j = 4*h - 172, -a*h - 2*j + 224 = -0*h. Is 22 a factor of h?
True
Does 38 divide (-2)/8 + 18225/36?
False
Let v(p) = -p**3 + 14*p**2 - 25*p + 30. Is v(10) a multiple of 4?
True
Let f = -22 - -23. Suppose 0 = i - f, 3*q - 6*q + 129 = -3*i. Is 11 a factor of q?
True
Let s(v) = -2*v**2 + 12 + 3*v**2 - 6*v**2 - 9*v + 4*v**2. Is 4 a factor of s(-8)?
True
Let b(a) = -a**3 - 13*a**2 - 12*a - 2. Let p be b(-12). Let j be -3 + (0 - p) + 3. Suppose u + 43 = j*u. Does 12 divide u?
False
Let h(d) = -48*d**3 - d**2 + 1. Let q be h(-1). Let i = -91 + q. Let j = i + 89. Is j a multiple of 15?
False
Suppose 0 = -5*v + v - 156. Let z be (-6)/v - (-189)/39. Suppose 5*b + d - 40 = 4*d, 2*b - z = -d. Does 4 divide b?
False
Suppose 4*h = q + 12, 6*q - 2*q - 22 = 2*h. Suppose -288 = 2*t - q*t. Does 16 divide t?
True
Let w = 40 + 12. Suppose -9 = -3*z, 0*p - w = -5*p - 4*z. Let y = p + 8. Is 8 a factor of y?
True
Suppose -i - 74 = 3*o, 3*i = 3*o - 131 - 79. Let h be -1*((-1)/1 + i). Let m = h + -44. Does 14 divide m?
True
Let f = -24 - -29. Suppose 2*l + 117 = 5*m, 0 = f*m - 2*m - 5*l - 55. Does 7 divide m?
False
Let m(r) = -r**2 - 13*r + 16. Suppose z - p = -15, -65 = 5*z + p + 4*p. Let b be m(z). Is 13 a factor of 12 - (-3 + 4 - b)?
True
Let x be (16/3)/(8/(