Is 13 a factor of 1*-3*(z + -6 + -3)?
True
Suppose 0 = -5*g - 5*v + 85, 4*g = 5*v - 16 + 48. Let f be (3/(-2))/(g/(-3588)). Does 3 divide (-1)/(-5) - f/(-30)?
False
Let x(u) = 3*u**2 + 2*u - 36. Let p(k) = -2*k**2 - k + 24. Let c(f) = 7*p(f) + 5*x(f). Does 4 divide c(-8)?
True
Let g = -61 + 374. Is g a multiple of 5?
False
Let r be 24 + (0 + 3 - 6). Let x be ((-12)/r)/((-4)/14). Suppose x*n + j - 39 = 0, -2*j + 0*j = -3*n + 41. Is n a multiple of 3?
False
Let c = -79 + 144. Let s = c + -40. Is 8 a factor of s + (1 - -2) + 1?
False
Let a be 18/(-10) + 2/(-10). Let z = 34 + -66. Let n = a - z. Is 14 a factor of n?
False
Let a(n) = n**2 - n - 3. Let y be a(-4). Suppose 7 = 2*k - y. Does 4 divide k?
True
Does 12 divide 6433/21 + -1 + (-2)/(-3)?
False
Suppose 0*d = -2*d + 2*s + 12, 6 = -d - 5*s. Suppose -p + 15 = 4*j, 0 = -d*p + 2*p + 2*j. Suppose -p*n + 4*n - 24 = 0. Does 8 divide n?
True
Suppose -2*s = 5*r - 7, 0*s + 2*s - 1 = -3*r. Does 27 divide r/(9/429 - 0)?
False
Let n = -48 - -48. Suppose 4*o + 4 = 6*o. Suppose -o*t = -n - 76. Does 10 divide t?
False
Let z(d) = d**3 + 35*d**2 + 51*d + 67. Does 23 divide z(-33)?
False
Suppose 3 = 3*u - 9. Let i(v) = -v**2 + 5*v. Let d be i(u). Suppose x = 19 - d. Is 15 a factor of x?
True
Suppose 9*i = 16*i - 525. Is i a multiple of 8?
False
Let g = -69 - -37. Is g/(-3) + 6/(-9) a multiple of 6?
False
Let d be 1 - 5 - (9 - 7). Is 14 a factor of (15/d)/(5/(-140))?
True
Let d = -13 + 17. Let n be (-3)/d + 622/8. Let o = n + -52. Is o a multiple of 6?
False
Let j(o) = -o**3 + o**2 - 46. Let m be j(0). Let q be (-1 - m/6)*-9. Does 12 divide (-1 - 0)*q/5?
True
Let i(x) be the first derivative of x**5/8 + 8*x**3/3 - 8. Let c(r) be the third derivative of i(r). Is c(6) a multiple of 21?
False
Suppose 5*a + 2*n - 50 = -n, -2*n = 0. Suppose -4*d - 1920 = -a*d. Does 13 divide d?
False
Suppose 0*u - 5*u + 5*h + 5 = 0, 5*h + 2 = 4*u. Suppose 4*k - 5 = u. Suppose -5*f + 90 = -5*a, -60 = -2*f - k*f + a. Is f a multiple of 3?
False
Let n = 204 + 11. Does 26 divide n?
False
Let t be -3 + (-23)/(-3) + 8/(-12). Suppose -t*z = -2*n + 116, -n = 5*z + 8 - 59. Is n a multiple of 16?
False
Let g = 2511 + -2043. Is 30 a factor of g?
False
Does 9 divide 2/((38/(-18) - -2)/(-3))?
True
Let s = 145 - -23. Is s a multiple of 28?
True
Let i(a) = -4*a - 18. Let p be i(-7). Let g be (12/(-8))/((-1)/p). Is g - (5 + 3 + -6) a multiple of 2?
False
Is 10 a factor of 2*2/((-8)/(-362))?
False
Let u = -15 + 19. Suppose 184 = 4*v - 4*o, -u*v = o - 2*o - 190. Is 6 a factor of (v/28)/((-4)/(-42))?
True
Suppose -14*t = -4*t - 20. Suppose 0*l = t*l + 3*h - 146, -2*l + 5*h + 146 = 0. Is 14 a factor of l?
False
Let v be 0/(1 - 0) + 3. Let y be (-6 + -2)/(-2 - -1). Suppose 0 = -g - s + 1 + y, v*s = 0. Does 9 divide g?
True
Let p be 34/10 - 3*6/45. Does 6 divide ((p - 3) + 33)/1?
False
Suppose 3*s - 13 = 17. Is (-738)/(-8) - s/40 a multiple of 23?
True
Let h(p) = 27*p**2 - 34*p + 236. Does 74 divide h(6)?
False
Let n(c) = 9*c**2 + 123*c + 42. Is 58 a factor of n(-28)?
True
Let n(s) be the second derivative of s**5/20 + 5*s**4/6 - 7*s**3/6 - 3*s**2/2 - 4*s. Does 15 divide n(-10)?
False
Is 615 + (30/(-9) - 17/(-51)) a multiple of 8?
False
Suppose -5*v = -5*s - 105, 3*s = 2*s. Suppose -v = 6*z - 51. Suppose 4*j - 6*b = -4*b + 86, z*j - 112 = 4*b. Is 20 a factor of j?
True
Suppose 2*q - 4*s = 60, 2*q - 40 = -3*s + 2*s. Suppose -q*m + 6*m = -3808. Is 32 a factor of m?
False
Suppose -5*d = 5*q, 5*q = -4*d - 0 - 2. Suppose 32 = 2*c - d. Is c a multiple of 13?
False
Suppose -m + 24 = 4*g, m - 6 + 27 = 5*g. Suppose 5*x - 221 = -m*b + 5*b, b = -3*x + 139. Is 9 a factor of x?
True
Let s be ((-21)/(-12) - 1)/((-5)/(-320)). Suppose 4*k - 2 - 6 = 0. Does 14 divide 1 - (-1 - s) - k?
False
Let g = 667 - 386. Is g a multiple of 14?
False
Suppose -205 - 213 = -11*h. Does 9 divide h?
False
Let a(o) = -7*o - 17. Let p be a(-7). Let m = 31 + 76. Suppose 2*j = -w + p, -2*j = -3*w + 3*j + m. Is w a multiple of 7?
False
Suppose 5*f = -z + 11607, -4*f = -0*f - 5*z - 9274. Is f a multiple of 18?
False
Suppose -4*m - 11 = -3*q, -4*q + 4*m = 1 - 21. Let u be (-2)/(-3) - 7/(-3). Let r = q - u. Is 4 a factor of r?
False
Suppose 4*d - 24 = 364. Let u = -62 + d. Is u a multiple of 7?
True
Let f(v) = -v**2 + 7*v - 3. Let a be f(6). Let t(s) = s**3 + s**2 - 4*s + 1 - s + s. Is 13 a factor of t(a)?
False
Suppose 7 = 4*v - 109. Let b = 190 - v. Is 15 a factor of b?
False
Suppose 0 = 7*o - o - 18. Suppose 2*g + 3*g + 5 = 4*u, 30 = 5*g + o*u. Suppose 77 = 5*q + 3*i, 5*q - g*i + 0*i - 83 = 0. Does 12 divide q?
False
Let y be (-1 + 0/1)*-3. Let n(f) = 3 + 2*f - 7*f**y + f**2 + f**2 - 2. Is n(-1) a multiple of 8?
True
Is 2 a factor of (9/(-18))/((-4)/224)?
True
Let x = -6 + 11. Is 9 a factor of (-3)/x + (12306/(-30))/(-7)?
False
Let u = -628 + 1069. Is 21 a factor of u?
True
Suppose -d = 2*o + 3*d - 40, -62 = -3*o - 4*d. Is o even?
True
Suppose -7*h = 2*h - 162. Let v = 1 - 1. Is 8 a factor of (v - -1) + 4 + h?
False
Is 3329/4 + (477/(-36) - -13) a multiple of 26?
True
Let w be ((-6)/18)/((-1)/6). Let p = w + -6. Let o(i) = -4*i + 5. Is o(p) a multiple of 9?
False
Suppose -5*q - 4*x + 3*x = -4732, 2*q - 5*x = 1882. Does 43 divide q?
True
Suppose 10*g - 50 = 8*g. Is 4 + (3 - 2) + g a multiple of 5?
True
Let v = 4153 - 1807. Is v a multiple of 22?
False
Suppose 0 = 5*s - s. Suppose -5*a + 0*a - 20 = s. Let i = 20 - a. Is 19 a factor of i?
False
Let c(q) be the first derivative of q**3/3 - q**2/2 + 51*q + 3. Let o = -2 + 2. Is 15 a factor of c(o)?
False
Suppose -15*f - 9*f + 2376 = 0. Is f a multiple of 11?
True
Suppose -2*d - 56 + 248 = 0. Does 6 divide d?
True
Let o(t) = -4*t - 4. Let m be o(-2). Suppose -m*b = b - 210. Is 21 a factor of b?
True
Suppose 13 - 167 = -7*c. Suppose 20*v - c*v = -28. Is 7 a factor of v?
True
Let m = 6 + -11. Let u = m + 10. Let l(n) = n**2 - n + 9. Is 26 a factor of l(u)?
False
Let h = 34 + 32. Let a = -23 + h. Let y = -31 + a. Is 4 a factor of y?
True
Let a(d) = -d + 2*d**2 + 2*d**2 - 21*d**3 - 4*d**2. Does 11 divide a(-1)?
True
Suppose 2*j = -j + 1350. Suppose 6*s - j = 4*s. Is s a multiple of 45?
True
Let o = -143 - -146. Suppose -5*h + 7*h - 39 = o*n, 0 = -3*h + 4*n + 56. Is h a multiple of 6?
True
Let l(u) = 11*u + 37. Is l(3) a multiple of 2?
True
Let t = -238 - -623. Does 23 divide t?
False
Let s(b) = 8*b**2 - 4*b**2 + 3*b - 5*b**2 + 12. Let r = -18 - -18. Does 6 divide s(r)?
True
Let n(j) = j + 48. Suppose 0 = g + 4*c - 41, c + 42 = 2*g - c. Is 5 a factor of n(g)?
False
Let s be (-1 - 2)*8/(-6). Suppose 0*d + 120 = s*d. Is d a multiple of 5?
True
Suppose 3*y = 229 + 29. Let b = -147 + y. Let z = -13 - b. Is 16 a factor of z?
True
Let i be (24/(-9))/((-4)/12). Suppose -5*x = -x - i. Suppose 124 = 4*c - 5*s, -3*c + 30 = -x*c - s. Is c a multiple of 6?
False
Suppose 0 = 2*q - 5*s - 7 - 9, 4*q - 32 = s. Let h = q - 6. Suppose h*m - 92 = -2*z, -4*z - 267 - 8 = -5*m. Is 17 a factor of m?
True
Suppose 23 = 5*z - 17. Suppose 392 = -r + z*r. Is 28 a factor of r?
True
Suppose 0 = 5*b + 283 + 277. Let q = -32 + 33. Is (-2)/(q - (-116)/b) a multiple of 28?
True
Suppose -177 = -135*a + 132*a. Does 59 divide a?
True
Suppose -3*g = 3*g - 24. Let b(z) = z - 1. Let u be b(g). Suppose u*j - 24 = -3*j. Does 2 divide j?
True
Let d = 131 - -144. Does 39 divide d?
False
Suppose -3*p = a - 28, 4*p = 3*p - 5*a + 28. Suppose -9*o + p*o + 182 = 0. Is 8 a factor of o?
False
Let t(d) be the first derivative of -d**3/3 + 7*d**2 + 11*d + 2. Does 17 divide t(10)?
True
Let d(c) = c**3 + 16*c**2 - c - 2. Suppose 1 = 3*s + 10. Let o be (3 + -6)/(s/(-16)). Is d(o) a multiple of 4?
False
Let r(b) = 221 - 10*b + 3*b - 15*b - 238. Does 34 divide r(-4)?
False
Let t(u) = u**2 + 6*u + 1. Let o be t(-7). Suppose 0 = -5*m - 0*m + 135. Let f = o + m. Is 11 a factor of f?
False
Let u = 15 - 12. Suppose -4*y + u*p = -471, -5*y = 2*p - 4*p - 594. Suppose 0 = -5*l, 0 = 4*a + 2*l + 2*l - y. Does 10 divide a?
True
Let u(k) = 221*k**2 + k + 1. Let r be u(1). Let j = 371 - r. Is j a multiple of 24?
False
Let r be (1 + -4)*(-10)/(-6). Is (-4 - 45/r) + 3 a multiple of 8?
True
Suppose -2*w = -5*w + 18. Suppose -5*d = a - 2, -3*d = 5*a - w*d - 10. Suppose a*q - 48 = 24. Does 9 divide q?
True
Let u(v) = -v**2 +