 c**4/12 + c**3/3 - 2*c. Let g be q(6). Suppose g = a + a. Is 10 a factor of a?
False
Is 3/9*58*6 a multiple of 29?
True
Is 13 a factor of 6*(-4)/8*26/(-6)?
True
Let g = 801 - 544. Is g a multiple of 10?
False
Suppose -4*m + 20 = -2*m. Suppose 6*a = a - v - 14, 3*v + m = a. Is (36/8)/((-1)/a) a multiple of 9?
True
Let x(b) = -b**2 + b**2 - 3*b**2 + 2 + 0 + b**3 + 4*b. Is 13 a factor of x(4)?
False
Let a(j) = -j**3 + 3*j - 4. Let b be a(3). Let o = -13 - b. Does 9 divide o?
True
Let t be 9/(-6)*(-1 - 1). Suppose 0 = -2*v - t*v + 170. Is 17 a factor of v?
True
Let k(i) = 2*i - 6. Let p be 0/3*1 - -1. Let a = 6 - p. Is 2 a factor of k(a)?
True
Suppose -2*s = 3*s - 5*g - 245, -5*s = 2*g - 238. Suppose 2*j = -j + s. Is 4 a factor of j?
True
Let n = 9 + -5. Suppose -n*a + 2*a = -34. Is a a multiple of 12?
False
Suppose -k = 2*d - 94, 3*d + 220 = 8*d - 5*k. Is d a multiple of 10?
False
Suppose -2*y + 4*y + 5*u - 20 = 0, -y - 3*u + 11 = 0. Suppose -5*r - y*b + 295 = -0*b, -3*r - 4*b = -179. Is 19 a factor of r?
True
Suppose 4*p - 3*p = 78. Is p a multiple of 34?
False
Suppose -g - 3*s + 20 = 0, 7*s - 107 = -4*g + 4*s. Let n = 5 + -3. Suppose 2*x - 60 = -b, n*x - x = -b + g. Is x a multiple of 8?
False
Suppose 2*v = -v + 2*m + 248, 0 = 3*v + 3*m - 273. Suppose -3*a + v = 5*n - n, 4*a = -2*n + 48. Does 10 divide n?
True
Suppose t - 655 = -5*b, -2*b + t + 265 = 2*t. Does 21 divide b?
False
Suppose 0 = 3*v - 29 - 28. Let t = v + -13. Is 5 a factor of t?
False
Let z(g) = -9*g - 7. Does 6 divide z(-12)?
False
Let w be ((-1)/2)/(4/48). Let k(p) = p**3 + 6*p**2 - 4*p + 5. Is k(w) a multiple of 18?
False
Let v = 224 - 154. Does 15 divide v?
False
Let i(c) = c**2 + 3. Let f be i(-6). Let w = f + -22. Is w a multiple of 17?
True
Let f(s) = s**2 + 5*s + 9. Let x be f(-8). Let j = x - 7. Suppose 0 = 3*g - 2*g - j. Does 13 divide g?
True
Suppose 4*l + 4 = -4, 2*x + 3*l = -2. Suppose 2*z + 0*g + g - 15 = 0, 5*z - x*g - 42 = 0. Is z a multiple of 4?
True
Let u = -6 + 10. Suppose 0*t - 31 = -5*n + t, -28 = -u*n + 4*t. Does 2 divide n?
True
Let r(d) be the first derivative of 3/2*d**2 + 1 - 8*d. Is 16 a factor of r(8)?
True
Suppose 3*g = -139 + 10. Does 12 divide -4 - -1 - (g - 0)?
False
Suppose 5*k - 142 = -4*l, 2*k - 5*k - 4*l = -82. Does 8 divide k?
False
Let g = 13 - 9. Let f(w) = 3*w + 1. Is 3 a factor of f(g)?
False
Let r be ((-3)/2)/(8/736). Let v = -47 - r. Does 16 divide v?
False
Suppose 4*c - 76 = -0*c. Let y = c - -6. Suppose 0 = -2*q + 7*q - y. Is q a multiple of 5?
True
Let q be (6/(-2))/((-2)/(-26)). Is (1 - q)*6/8 a multiple of 13?
False
Let x(m) = 2*m - 8. Is x(10) a multiple of 4?
True
Suppose -5*f + 1 = -4. Let q(n) = 3*n**3 - n**2. Let g be q(f). Suppose -h - x = -7, g*x = 3*h + 4*x - 21. Is 7 a factor of h?
True
Let t(m) = -5*m**3 - 11*m**2 - 13*m - 10. Let k(x) = -6*x**3 - 11*x**2 - 13*x - 11. Let s(g) = -4*k(g) + 5*t(g). Is 12 a factor of s(-10)?
True
Suppose 5*d - t = 99 + 346, 3*d - 245 = 5*t. Does 30 divide d?
True
Let k = -7 - -13. Is 4*(1 - 3/k) even?
True
Suppose -q - 5 + 7 = 0. Is 88 - (q - 4/4) a multiple of 29?
True
Let k(l) = -l**2 - 5 - 2 + 6*l + 3 + 2*l**2. Is 12 a factor of k(4)?
True
Suppose -5*c = -3*n - 1, -n + 5*c = 3*n - 2. Suppose -n*u - 52 = -7*u. Is 6 a factor of u?
False
Suppose 0 = -0*f - 5*f. Let u = f + 2. Is u even?
True
Suppose -2*d - 2*a + 16 = 0, -3*a = 2*a - 10. Is 6 a factor of d?
True
Let q(c) = -7*c - 1. Let u be q(2). Let b be u/12*(-8)/(-1). Is 6 a factor of ((-5)/b)/(2/68)?
False
Suppose 3*y - 20 = -y. Suppose 0 = -4*q + 2*v + 2 + 10, 0 = 5*q + 4*v - 41. Suppose r = d - y, -q = -5*r + 5. Does 2 divide d?
False
Suppose 10 = 2*b + 2. Let l be (-7)/(-2) + 2/b. Suppose 186 - 54 = l*u. Is u a multiple of 13?
False
Let g be 8/5 + (-8)/(-20). Suppose 0 = -3*a + 4 + g. Suppose -x + 30 = a*x. Is x a multiple of 6?
False
Let n(s) = -5*s**3 - 1. Let x be n(-1). Suppose -4*g = x*r - 112, 5*g = 2*r - 0*r + 126. Is g a multiple of 12?
False
Let f = -1 - -1. Suppose -b - 3 = 3*m - m, -3*b - 3*m = 6. Does 9 divide 17 + (2 + b - f)?
True
Let z = 100 - 58. Is z even?
True
Let z(y) be the second derivative of -13*y**3/6 + y**2/2 + 6*y. Does 13 divide z(-4)?
False
Suppose 2 - 9 = -g. Is 7 a factor of g?
True
Is 55 a factor of 5 + -1 + 301 + 5?
False
Suppose -2*j + 65 = s + 4*s, 5*s = -5*j + 140. Is 11 a factor of j?
False
Suppose 4*n - 2*p = -7 - 1, 2*n = 4*p - 4. Does 9 divide (-53)/n - 3/(-6)?
True
Suppose -i = -2*y - 5 + 20, 5*i = y - 30. Let r = i + 5. Suppose r = -5*h + 19 + 16. Is h a multiple of 7?
True
Let p(a) = a**2 - 4. Let g be p(0). Let x(c) = -2*c**3 - 5*c**2 + 3*c + 3. Is x(g) a multiple of 18?
False
Let b be (-2)/7 - (-852)/42. Suppose -j - b = j. Is 2 a factor of (-2)/(j/4 - -2)?
True
Suppose -3*y - 3*h = -4*h + 14, 22 = y + 5*h. Is 12 a factor of y/(-5) - (-207)/5?
False
Let h(p) = p**2 - 8*p - 7. Suppose 5*j - 2 - 5 = -3*g, j + 22 = 2*g. Let s be h(g). Suppose -6*k + s*k = -112. Is k a multiple of 15?
False
Let z(d) = d - 2. Let g be 8/3 - (-6)/(-9). Let x be z(g). Let n(m) = m**2 - m + 21. Is 6 a factor of n(x)?
False
Is (1 - 2)/(24/(-192)) a multiple of 3?
False
Let n(j) = -6*j**2 + 2*j + 0 - 14*j**3 + 15*j**3 + 0. Let y be n(6). Is 4 a factor of -3 + (y - (0 + 1))?
True
Let f = 20 - 13. Is 3 a factor of f?
False
Let c(k) = -7*k**2 + 4. Let p be c(2). Let i = 61 + p. Is i a multiple of 8?
False
Let f(j) = 3*j - 9. Let h be f(-7). Let g be 6/h - 16/(-5). Suppose 8 = n - g. Is 11 a factor of n?
True
Suppose -3*b = 2*b - 1100. Suppose -a - 3*a = -b. Is 16 a factor of a?
False
Suppose -5*v + 2*b + 1315 = 0, 2*b = -6 - 4. Is 29 a factor of v?
True
Suppose -3*a + 90 = 2*a. Let v be 662/a + (-6)/(-27). Suppose -2*r + v + 3 = 0. Is 7 a factor of r?
False
Suppose -o - o = -28. Is 14 a factor of o?
True
Is 8*2*5/10 a multiple of 8?
True
Suppose n - 2*i - 1 = -0*i, -2*n - 2*i + 14 = 0. Let z(l) = -3*l**2 - l - 12. Let a(s) = s**2 + s + 6. Let g(v) = -5*a(v) - 2*z(v). Is 4 a factor of g(n)?
True
Let f be 14/21*63/2. Is 13 a factor of 7/(f/12) - -48?
True
Let n be (-42)/(-35)*30/4. Suppose -3*m + n = -5*f, -3*f + 3 = -7*f + m. Suppose 5*g = -f*g + 60. Does 10 divide g?
False
Let h(g) be the first derivative of -g**2/2 - 2*g - 2. Let t be h(-5). Suppose 6 = -3*x, 2*i + 1 = t*x + 81. Is 13 a factor of i?
False
Suppose 2*d + 34 = u, -5*u + 3*u - 5*d = -104. Is 7 a factor of u?
True
Let s(v) = v. Let i(u) = -u - 11. Let d(r) = i(r) - 4*s(r). Let b be d(-10). Suppose b = -0*j + 3*j. Does 6 divide j?
False
Suppose 0 = -5*d + 3*d + 60. Does 10 divide d?
True
Suppose -3*u + 0*r + 181 = -2*r, -4*u - 4*r = -268. Is 21 a factor of u?
True
Suppose 0 = 2*g - 604 + 50. Is 30 a factor of g?
False
Let v(h) = 5*h - 1. Let j be v(2). Let g(z) be the second derivative of -z**3/6 + 19*z**2/2 - 3*z. Does 10 divide g(j)?
True
Suppose -4*b - 24 = -8, -b - 4 = -3*l. Suppose 5*k - 76 - 94 = l. Is k a multiple of 12?
False
Let z be (-20)/(-9) + 4/(-18). Suppose -3*t + 3*v + 38 = z, 64 = 5*t - v. Is t a multiple of 13?
True
Let i(t) = -t**2 - 12. Let s be i(-9). Let n = -65 - s. Is 11 a factor of n?
False
Suppose -6*c + 70 = -c. Suppose 0 = 8*u - 9*u + 3. Suppose -5*k = -u*d - 211, 2*k - c = 3*d + 65. Does 12 divide k?
False
Let n = 35 - 9. Suppose -2*f - 2*i = -6*f + n, -5*f + 3*i = -33. Is f even?
True
Let y(k) = 32*k - 17. Let t(f) = 11*f - 6. Let l(o) = -8*t(o) + 3*y(o). Let z be l(6). Suppose -5*c - 5 = -z. Is c a multiple of 5?
False
Suppose 8*q = 1983 + 25. Does 43 divide q?
False
Suppose -3*h + 294 = -0*h. Suppose 3*u - h = o - 6, -4*o + 22 = u. Suppose 55 = 5*j - u. Does 14 divide j?
False
Is (-431)/(-4) - 3/4 a multiple of 18?
False
Let n = 20 + 40. Suppose n + 5 = 5*p. Does 13 divide p?
True
Suppose 5*p = -4*p + 621. Does 12 divide p?
False
Let b = -39 + 65. Is b a multiple of 11?
False
Let i(j) = j**2 - 8*j - 4. Is 16 a factor of i(-6)?
True
Is 10 a factor of 36 + 0 - 1/(-1)?
False
Let t be -23*(-1 + 0) + 1. Suppose -t = 2*a + a. Let h = 21 + a. Does 13 divide h?
True
Suppose 5*h = 4*v + 13, -2*h - 3 = -5*v + 2. Suppose -h*x - 170 = -5*u - x, -2*u + 4*x + 56 = 0. Is u a multiple of 9?
False
Is 11 a factor of (-6)/33 - 5096/(-77)?
True
Suppose 0 = w - 3 - 0. Let i = 2 + w. Is (-2 + 0 - -3)*i a multiple of 5?
True
Let f(a) = -a**2 - 9*