Does 4 divide 2/q*39/(-2)?
False
Let r(q) = 2*q - 6. Let h(f) = -f**3 - 5*f**2 + 3*f - 4. Let w be h(-6). Let n be w/8*20/5. Does 4 divide r(n)?
True
Suppose 5*s = 3*s. Suppose 3*r + 0 + 12 = s. Let d(a) = a**2 - 2*a + 4. Is 14 a factor of d(r)?
True
Suppose 2*c - l = 51, -4*c + 4*l + 15 = -85. Is 14 a factor of c?
False
Let a = 12 + -18. Let n = 8 + a. Suppose 3*o - 62 + n = 0. Is o a multiple of 14?
False
Let j(a) = -a - 1. Let p(w) = 3*w - 2. Let f(r) = j(r) - p(r). Let i be f(-5). Suppose y = -v + 3, -i = -2*v - 0*v + 3*y. Does 4 divide v?
False
Does 14 divide 12/20 + 292/5?
False
Let s = 4 + 3. Suppose -2 = z, -3*z - 79 = -m - s*z. Does 23 divide m?
False
Let t(u) = u**3 - 11*u**2 + u - 8. Let v be t(11). Suppose -v*i = -4*i + 5, -3*p = 3*i - 174. Suppose -3*w + p = b, -w - b - 37 = -3*w. Is 9 a factor of w?
True
Suppose 6*i = 5*i + 4*k - 1, -k = -4*i + 11. Suppose 53 = 2*m - 45. Suppose 5*o = -5*g + 70, -2*o = -i*g - 2*g - m. Does 17 divide o?
True
Suppose 5*c - 12 = -2*q + 2, -4*c - 5*q + 18 = 0. Suppose c*h = -2*r + 10 + 6, -5*r - 3*h = -30. Suppose -r*y = -4*y + 14. Does 7 divide y?
True
Let l be (-259)/(-2) + 2/(-4). Suppose 5*u = 4*s + l, -3*s - 3*u + 171 = -8*s. Let k = 62 + s. Does 9 divide k?
False
Suppose -3*u + u + 40 = 0. Is 10 a factor of u?
True
Suppose -18 = -4*u - 0*y + 3*y, -2*u + 8 = -2*y. Let g(z) = -z**3 + 8*z**2 - 8*z - 4. Is g(u) a multiple of 10?
True
Suppose -5*x + n = -4*x - 25, -4*x = n - 120. Does 2 divide x?
False
Let i = -11 - -8. Let h be 3/(-6) - i/6. Suppose h*w + 18 = 3*w. Does 3 divide w?
True
Suppose -4*y - 306 = -3*h + 505, -1305 = -5*h - 5*y. Is 53 a factor of h?
True
Let n(t) = t**3 - 4*t + 3. Let b be n(2). Does 14 divide (b/9)/((-2)/(-84))?
True
Suppose -5 - 1 = -u. Suppose 0 = u*d - 2*d - 392. Does 27 divide d?
False
Suppose -5*y + 115 = s, y - 5*s - 49 = -0*s. Does 4 divide y?
True
Suppose 7*b - 549 = -192. Is b a multiple of 3?
True
Suppose -2*d + 1 = -3. Suppose 30 = d*z - 18. Does 5 divide z?
False
Let p(c) = c**2 - 3*c + 3. Let r be p(4). Let m = r + -4. Is 2 a factor of m?
False
Let z(b) = b**2 - 10*b - 7. Let u be z(11). Suppose -5 = -u*y + 243. Is y a multiple of 18?
False
Let z = 20 - 53. Does 24 divide (12/9)/((-1)/z)?
False
Is 25 a factor of 3/18 + (-1576)/(-48)?
False
Let o be (-1)/((-27)/30 + 1). Let b = -8 - o. Is 3 a factor of (b + 1)*(6 + -5)?
True
Let m(u) be the third derivative of u**6/120 - 2*u**5/15 + u**4/12 + u**3/3 - 4*u**2. Does 15 divide m(8)?
False
Let c be (-2)/(-3) + (-56)/(-6). Let w(y) = y**2 + 11*y - 15. Let j be w(c). Suppose 5*b = 2*h + j, 0 = -0*b - b - 5*h + 12. Is 15 a factor of b?
False
Suppose -4*l - 18 - 126 = 0. Let q be (l/15 + 0)*-5. Let y = 29 - q. Does 17 divide y?
True
Let d = -51 - -57. Is 6 a factor of d?
True
Suppose 0 = -2*q - 2*q + 312. Let a = -40 + q. Is 12 a factor of a?
False
Let s(q) = -q**2 + 5*q - 4. Let o be s(4). Let a(f) = -f**3 - f**2 + 31. Does 18 divide a(o)?
False
Let q = 31 + -14. Is 17 a factor of q?
True
Let b(j) be the third derivative of -j**6/120 + j**5/10 + 5*j**4/24 - j**3/3 + 2*j**2. Is 10 a factor of b(6)?
False
Suppose -3*s - r = -0*r - 96, -4*s + 2*r = -138. Suppose -2*n + 75 = -s. Is n a multiple of 18?
True
Let w be -2*33/(-12)*-6. Is 8 a factor of w/(-44) - 186/(-8)?
True
Let k be (-153)/12 + (-3)/12. Let s = -1 - k. Is 4 a factor of s?
True
Suppose -5*i = 3*k - 379, 834 - 149 = 5*k - 5*i. Does 15 divide k?
False
Let o be (5/3)/((-2)/(-24)). Suppose o = -5*x, 2*l - 2*x - x = 104. Suppose 29 + l = 3*m. Does 10 divide m?
False
Let j(d) = d**3 - 4*d**2 - 2*d. Does 15 divide j(5)?
True
Let k(v) = v**2 + 7*v + 8. Let s be k(-6). Suppose 3*w = d + d + 10, w - 25 = 5*d. Suppose -3*b + 5*f + 172 = w, -s*b + 82 + 26 = -5*f. Is 18 a factor of b?
False
Let z(b) = 5*b + b - 5*b + 8. Let o be z(-6). Suppose -y - 7 = 3*i, -y + o*y = i + 9. Is y even?
False
Suppose -l - 4 = 0, 4*i + 9*l - 96 = 4*l. Does 18 divide i?
False
Let f = -7 - -5. Is (42/5)/(f/(-5)) a multiple of 4?
False
Suppose 3*g = 2*g + 2. Let v be 7 + g*6/(-4). Suppose -v*j + 60 = -72. Is 11 a factor of j?
True
Does 5 divide (20/(-14))/((-17)/119)?
True
Suppose 3*t + 0*t + 117 = 0. Let k = t + 56. Is 17 a factor of k?
True
Let m be 2/(-5) + (-81)/(-15). Does 18 divide 3*m*(-15)/(-5)?
False
Let x(l) = 15*l**2 + 2*l + 2. Is 22 a factor of x(2)?
True
Let r(l) = -l**2 - 11*l - 8. Is 10 a factor of r(-7)?
True
Suppose 2*a - 3*a + 27 = 0. Is a a multiple of 3?
True
Let s(n) = 67*n - 1. Let d be s(1). Suppose -d = -3*j + 3*f, 0 = -j - 3*j + 3*f + 86. Is j a multiple of 20?
True
Let o(h) = h + 27. Is 17 a factor of o(-10)?
True
Let g = -2 - -24. Let d = 52 - g. Is 10 a factor of d?
True
Let b be ((-10)/8)/(2/(-8)). Suppose b*m = 3*m + 20. Does 10 divide m?
True
Let m(t) = t**2 - 5. Suppose x = -3 - 1. Is 10 a factor of m(x)?
False
Suppose -13 = -5*p + 52. Suppose 0 = -5*g + 4*g + 5. Let w = p - g. Is w a multiple of 8?
True
Let k(y) = 8*y. Let s be k(1). Is (82/s)/((-1)/(-8)) a multiple of 12?
False
Let t(v) = 10*v**2 - 17*v + 11. Let k(j) = -3*j**2 + 6*j - 4. Let h(z) = 7*k(z) + 2*t(z). Let u be h(7). Does 12 divide u + 0 + (0 - -11)?
True
Suppose y = 110 + 55. Does 41 divide y?
False
Is 10 a factor of (-7 - -4) + 61 + 2?
True
Let g = 47 + 40. Is 29 a factor of g?
True
Suppose -3*s + 6*s = -2*k + 256, -4*k + 82 = s. Suppose 4 = 5*v - s. Is v a multiple of 8?
False
Let u(r) = r**3 - r. Let c(a) = 7*a**3 + 6*a**2 - 3*a. Let w(i) = c(i) - 6*u(i). Let b be w(-3). Let x = 30 - b. Is 8 a factor of x?
False
Let b(q) = -q**2 - 4*q. Let h be b(-3). Suppose o - 4*r = -h, -1 = r - 4. Is o a multiple of 3?
True
Suppose 32*a - 33*a = -15. Does 3 divide a?
True
Let i = -119 + 249. Is 12 a factor of (-12)/(-66) + i/11?
True
Let g(c) = -2 + c - 4 + 14 + 5. Is g(-10) a multiple of 3?
True
Let m be (3 + 1)*(-2)/(-8). Let t(w) be the third derivative of w**5/15 - w**3/6 + w**2. Does 2 divide t(m)?
False
Let h(p) = -p**3 - 4*p**2 - 2*p - 1. Suppose 3*y - 9 - 6 = 0. Suppose 5*f - y*c + 5 = 0, -2*c + 21 = -3*f - 5*c. Is h(f) a multiple of 5?
False
Is -1 - 4 - (-54)/1 a multiple of 28?
False
Let y = 42 + 6. Is y a multiple of 16?
True
Suppose 2*c = 5*p + 242 - 60, -4*c = 5*p - 364. Does 14 divide c?
False
Suppose -2*n - 4*v - 1 = -v, -4*n - 2*v = 22. Let d(x) = x + 16. Does 5 divide d(n)?
False
Suppose 0 = 5*u - 7*u + 500. Suppose 7*y - u = 2*y. Is 25 a factor of y?
True
Let r = 18 - -28. Is r a multiple of 23?
True
Let y be (4 - (5 + -3)) + -5. Is 4 a factor of (y - -3 - 22)/(-1)?
False
Suppose 170 = 5*a - 5*j, -a - 2*j + 19 = 2*j. Does 10 divide a?
False
Let u(x) be the second derivative of -x**5/20 - x**4/3 + x**3 - 3*x**2/2 + x. Let m be u(-5). Let y = 9 - m. Is y a multiple of 17?
True
Does 3 divide 20 - (-1)/(3/6)?
False
Let x = -35 - -71. Suppose x = 4*i - 12. Is 12 a factor of i?
True
Suppose 3*d + 2*d = 15. Let t be 182 - (-1 + (3 - 1)). Suppose -4*w - 2*y + 44 = -d*w, -5*w + 3*y = -t. Does 19 divide w?
True
Suppose i - 17 = -4*m, 4*m - m = i + 18. Is 20 a factor of -99*i*(-6)/(-27)?
False
Let z(f) = 20*f**2 + f. Let y(w) = w**3 + 6*w**2 + 1. Let r be y(-6). Does 4 divide z(r)?
False
Let d be (-9)/27 - (-7)/3. Suppose 2*p - 272 = -d*p. Is 18 a factor of p?
False
Suppose 329 + 831 = 4*m - u, 4*u = -m + 290. Is m a multiple of 29?
True
Let x = 9 + -17. Let u(c) = -2*c + 8. Is 16 a factor of u(x)?
False
Suppose -2*l + 25 = o, -42 + 2 = -4*o + 4*l. Does 5 divide o?
True
Let g be (1 - -1)/((-9)/(-9)). Suppose g*f = -5 + 41. Is 6 a factor of f?
True
Suppose -4*b - 32 = 52. Let q = -29 - b. Let r = 1 - q. Is 8 a factor of r?
False
Let g(x) = x + 10. Let z(j) = -3*j - 29. Let t(h) = -8*g(h) - 3*z(h). Let a be t(-7). Let k = a + 2. Is k even?
True
Suppose -14*z + 13*z + 40 = 0. Is z a multiple of 20?
True
Suppose t - 5 = 2*c, -4*t + c + 10 = -t. Let s = t + 9. Is 12 a factor of s?
True
Suppose -2*b - 12 = -2, d = 2*b + 42. Does 8 divide d?
True
Suppose -2*d = 19 - 3. Let n = d - -22. Is 8 a factor of n?
False
Let f(v) = 8*v - 6. Suppose 3*z - k = 4*z - 8, 0 = 3*z - 3*k. Is f(z) a multiple of 13?
True
Suppose 5*m - 138 = -g + 31, 0 = 2*m + g - 67. Is 11 a factor of m?
False
Suppose -4*r = -5*c + 363, -3*r - 373 = r + 5*c. Let v = -42 - r. Suppose -3*x - 2*x = -v. Is x a multiple of 10?
True
Is 50