7 divide f/(-5) + 38367/145?
False
Suppose 10*c - 2749 - 10091 = 0. Is c a multiple of 15?
False
Let n(g) = 3*g**3 + g**2 - 1. Let k be n(1). Let l = -4 + k. Let u = 24 - l. Is 9 a factor of u?
False
Let p = 386 + -260. Is 40 a factor of p?
False
Suppose 0 = -h - h + 60. Is 15 a factor of h?
True
Suppose 96 = -3*f + 2*i + 2*i, f + 2*i = -22. Let p = f + 28. Suppose 7*d - 266 = -p. Is d a multiple of 10?
False
Let z be 2/4*23*20. Suppose -z = -5*x + 3*x. Suppose 7*b - 2*b = x. Does 12 divide b?
False
Let l be 7/(14/(-12)) - 0. Let g(q) = q**3 + 6*q**2 - 4*q - 2. Is g(l) a multiple of 11?
True
Suppose -3*y - 83 = -u - 215, -2*y = -u - 87. Suppose -z + 7 = -60. Let q = z - y. Is q a multiple of 22?
True
Suppose -4*c - 38 = 2*h + 16, -5*h - 2*c - 151 = 0. Suppose 4*g - 7*g = -45. Is 2/4*(g - h) a multiple of 7?
False
Let z(y) = y**3 - 28*y**2 + 11*y + 7. Is 12 a factor of z(28)?
False
Let p(j) = -j**3 + j**2. Let l be p(0). Suppose -4*g - 2*u + 142 = -l*u, 4*u - 119 = -3*g. Let a = g - -19. Does 13 divide a?
True
Let b(x) be the third derivative of x**6/120 + 11*x**5/60 + x**4/6 + 5*x**3/2 + 32*x**2. Does 18 divide b(-5)?
False
Suppose -258 = -41*r + 40*r. Does 11 divide r?
False
Does 13 divide 26*(1650/(-12))/(-11)?
True
Is 86 a factor of (44/(-154) - 8/70)*-2705?
False
Let d(y) be the third derivative of y**5/30 - 5*y**4/24 - 11*y**3/6 + 6*y**2. Is 16 a factor of d(-6)?
False
Let y be (4/((-24)/465))/((-1)/2). Suppose g - 4*k - 124 = -2*g, 4*g + 5*k = y. Does 10 divide g?
True
Suppose -3*f + 2*l - 584 = 0, 2*f - 8*l = -3*l - 404. Let i = f - -302. Suppose -k + i = 4*k. Does 5 divide k?
False
Suppose 4*o - 18 = 3*m + 9, 0 = o + 5*m + 22. Suppose o*i - 3 = 3*s, -2*s + 6*s + 3 = 5*i. Let f(h) = -7*h**3 + 2*h**2 + h. Does 8 divide f(i)?
True
Suppose 2*s - 2*a + 8 = 0, s - 4*s - 3*a = 24. Let o(b) be the second derivative of b**5/20 + 3*b**4/4 + 7*b**3/6 - 3*b**2 + 2*b. Is o(s) a multiple of 15?
True
Let h(b) = -b**3 + 3*b**2 + 9*b - 2. Let v be h(6). Let a be (-2 + 4)*v/1. Is (-7 - -4)*a/6 a multiple of 22?
False
Let q be 12/9 - (-4)/6. Suppose 0 = 2*c - q*s + s - 10, -3*c = s - 5. Suppose -4*l + 15 = -c*l. Does 12 divide l?
False
Let y(p) = 13*p**2 - 4*p - 1. Does 6 divide y(-3)?
False
Suppose -5*q + 2*s + 1702 = 0, -q - 23*s + 20*s + 337 = 0. Is q a multiple of 10?
True
Suppose 4*t = g - 0*t + 75, -4*g = -t + 300. Let d = g + 114. Is d a multiple of 13?
True
Let g(j) = j**3 + 6*j**2 - 2. Suppose w - 4*u + 2 = 0, w + w - 5*u + 7 = 0. Let s be g(w). Is (-1)/(s*2/24) a multiple of 6?
True
Let f be 26/6 - 4/(-6). Suppose 5*m - 160 = -f. Suppose 0 = 3*h - 5*c - 104, -h + 0*c + m = 2*c. Is 11 a factor of h?
True
Let j be -201 - 5/((-20)/(-8)). Does 5 divide (j/(-28))/((-2)/(-8))?
False
Let y = -75 + 80. Let r(j) = -2*j**3 + 10*j**2 + 6*j - 7. Does 7 divide r(y)?
False
Let n(r) = 15*r**2 + 2*r + 1. Let l be 2 + -4 - (-7 - 5). Let q(b) = -2*b + 19. Let v be q(l). Does 3 divide n(v)?
False
Does 38 divide -5 + (-43)/((-3)/(123 - 6))?
True
Suppose 70 - 2 = h. Let n be -3 - (3 - (h + -1)). Is -1 + (n - 1 - -4) a multiple of 16?
False
Let z = 9 - 3. Suppose 3*u = z*u - 12. Suppose -u = -4*t, 4*t = -3*b - t + 50. Is 15 a factor of b?
True
Suppose 2*z + z = -5*w + 13, 4*z + 4*w - 20 = 0. Suppose 4*b + z = 150. Let h = b + 13. Is h a multiple of 25?
False
Suppose -2*l + 0*g = -3*g - 223, 0 = -5*l - g + 515. Let x = l - 56. Does 16 divide x?
True
Let o(q) = -q + 132. Let c(t) = 3*t - 60. Let j be c(20). Is 11 a factor of o(j)?
True
Let a(k) be the first derivative of k**6/120 - k**5/15 - k**4/12 - 2*k**3 + k**2/2 + 2. Let p(c) be the second derivative of a(c). Is p(6) a multiple of 10?
False
Let f be (-2 + 6 - 1) + 15. Suppose w + f = n - w, 64 = 3*n + 4*w. Suppose 0 = b + 4*b - n. Is b a multiple of 4?
True
Suppose 2*d - 7*d = 30. Let w(s) = 3*s + 8. Let u be w(d). Let m(a) = a**2 + 8*a + 4. Does 5 divide m(u)?
False
Let z(x) = -13*x - 9. Let u = -9 - -16. Let f(g) = 7*g + 4. Let b(r) = u*f(r) + 3*z(r). Is 17 a factor of b(5)?
True
Let u = -2323 + 3043. Is u a multiple of 32?
False
Let c = -669 - -972. Does 10 divide c?
False
Let w be 120/(-28)*(12*7)/3. Let y = 240 + w. Does 15 divide y?
True
Suppose 2*u + u + 1540 = 4*l, -5*u = -4*l + 1540. Suppose 2*d = -4*t - 2*d + 36, t = -3*d + 17. Suppose t*n - l = 110. Is 16 a factor of n?
False
Suppose -2*g = -6*g + 4. Let s = 22 + g. Does 7 divide s?
False
Let x = -27 - -22. Let l = 2 - -2. Let d = l - x. Is 3 a factor of d?
True
Suppose 0 = 2*x + 3*t - 14, -5*x - 3*t + 9 = -17. Let f(k) = -9*k - 12 + 18*k + 3*k. Is 18 a factor of f(x)?
True
Suppose 0 = 36*c - 40*c + 5856. Is 11 a factor of c?
False
Is 0 - (-24)/6 - -6 a multiple of 5?
True
Let o be ((-2)/(-2))/((-12)/(-24)). Suppose 2*k + o + 2 = 0. Is 9 a factor of -2*(-1)/k*-9?
True
Let h = 1448 - 776. Does 56 divide h?
True
Suppose 7*y - 2*y - 125 = 0. Suppose y = -5*s, 2*s = 4*c - 32 + 2. Suppose -m + 40 = 3*i, m + 0*i = -c*i + 50. Is m a multiple of 10?
False
Suppose -12 = -3*o + x - 1, 21 = 3*o - 3*x. Let v(t) = t - 12. Let j be v(5). Is o/(-7) - 254/j a multiple of 18?
True
Suppose 2*p - 16 = 2*q, 3*q + 3 + 5 = -p. Suppose p*m = 169 + 139. Is m a multiple of 19?
False
Let f(y) = 3*y - 17. Let d(v) = v**3 - v**2 - 3*v. Let l be d(3). Is 10 a factor of f(l)?
True
Let w = 3 - 18. Let b = w - -168. Suppose 3*a + g - b = 0, 99 - 4 = 2*a + 3*g. Is a a multiple of 9?
False
Suppose 0 = 5*l + 39 - 569. Let v be ((0/1)/(-2))/(-4). Suppose 3*s - 5*b - l = v, -4*s = -8*s + b + 130. Is s a multiple of 9?
False
Suppose 329 + 287 = v. Does 45 divide v?
False
Let w(t) = -482*t - 1224. Does 116 divide w(-10)?
True
Let i(g) = g**2 - 6*g + 6. Let q be i(4). Let c be (q + 0)/((-7)/21). Suppose -5*l + 21 = c. Is l a multiple of 3?
True
Let n(s) = -18*s + 12. Let w(z) = -z**2 + 8*z - 1. Let i be w(4). Let f(b) = b. Let g(h) = i*f(h) + n(h). Is g(-9) a multiple of 13?
True
Suppose 3*i + 1 = 2*i. Let c be ((-3 - -4)*i)/(-1). Is -2 - (0 + c) - -29 a multiple of 13?
True
Let b(w) = -w**2 + 16*w + 13. Suppose 0*g - 4*g + 180 = 0. Let r = g - 29. Is 10 a factor of b(r)?
False
Does 12 divide 635 + (-2 - (-10 - -9))?
False
Suppose -10*x - 96*x = -57134. Is x a multiple of 33?
False
Let c(n) = n**3 - n**2 + 10*n**2 - 2*n**2 + 0 - 5*n - 5. Does 5 divide c(-7)?
True
Let g = -67 + 70. Suppose -w + d + 92 = -33, -2*w - g*d + 270 = 0. Is w a multiple of 13?
False
Let p(k) = -2*k - 22. Let u be p(10). Let x = u - -78. Is x a multiple of 4?
True
Let u(j) = -j**2 - 12*j - 8. Let i be u(-11). Suppose i*k = -5*k + 864. Does 22 divide k?
False
Suppose -3*i = b - 183, -52*i = 3*b - 53*i - 549. Is 6 a factor of b?
False
Suppose -30*g + 328 + 1412 = 0. Is 50 a factor of g?
False
Let f = -7 - -12. Suppose -8 = 3*x - f*x. Is 13*(-2)/x*-4 a multiple of 13?
True
Let o = 277 - 37. Does 40 divide o?
True
Suppose -x - 3*x - 8 = 4*d, 2*x + 28 = 4*d. Let w(y) = -23*y + 1. Does 14 divide w(x)?
False
Suppose -501 + 2437 = 22*i. Is i a multiple of 62?
False
Let i(m) = -5*m + 9. Suppose -a + 4*j + 9 = 0, -2*a + a + 3*j + 7 = 0. Let b be (-1)/(a + 12/(-14)). Is 22 a factor of i(b)?
True
Let l = 419 - -1023. Does 36 divide l?
False
Suppose -27*m + 29*m - 208 = 0. Let j be 22/3 + 2/3. Suppose -4*u = -j*u + m. Is 10 a factor of u?
False
Suppose -2*m + y - 4 = 0, -3*m + y + 2*y - 3 = 0. Is -5 + 1 + 190 + m + -1 a multiple of 26?
True
Suppose -11 = -f - 6. Let x be 24/14 + 16/56. Suppose -w - 5*j + 97 = 0, f*w - x*j = -0*w + 377. Does 11 divide w?
True
Let w(f) = -f - 8. Let s be w(-3). Let g = s - -57. Is 26 a factor of g?
True
Suppose -j - y - y = 18, -3*j = 4*y + 50. Let f = 15 - j. Let t = 69 - f. Is t a multiple of 11?
False
Suppose 0 = -11*d + 20*d - 1656. Is 3 a factor of d?
False
Suppose 3*c - m = -18, 2*m = -3*m. Let u be (c/(-7))/(16/56). Suppose i = u*i - 128. Does 32 divide i?
True
Let l be (-1 + 5)/(24/36). Suppose 641 = l*v - 13. Is v a multiple of 22?
False
Let u(p) = p**2 - 2. Let k be u(5). Suppose 93 = 2*m + k. Is 13 a factor of m?
False
Let x = 83 - 90. Does 5 divide 7/(x/(-9)) - -1?
True
Suppose -9 = 21*z - 24*z. Suppose z*h = 26 + 55. Is 6 a factor of h?
False
Suppose 18 = -3*b - 3*m, -2*b = -4*b - 4*m - 16. Let j = -16 + 7. Let k = b - j. Is k even?
False
Let p = 4 + -2. Suppose 0 = 4*v - p*b - b -