s 19 a factor of (-4 + (-3 - -5))*-19?
True
Suppose 7*v - 2*v - 3*d = 144, 0 = -2*v - 2*d + 64. Does 6 divide v?
True
Let d(j) = -j**3 - j**2 + 10. Does 6 divide d(0)?
False
Let z(h) = -h**2 - 5*h - 3. Let c be z(-6). Let r(l) = l**3 - l**2 - l + 1. Let p(w) = -w**3 + 11*w**2 + 2*w + 7. Let x(u) = p(u) + 2*r(u). Does 3 divide x(c)?
True
Let r(k) = -k**3 + k**2 - 3. Let q be (-10)/((-3 - 0)/3). Suppose 0 = -4*a - 20, q = 5*b - 2*a - 3*a. Does 11 divide r(b)?
True
Suppose -5*u + 124 = 4*w - 56, -2*w + 108 = 3*u. Is 7 a factor of u?
False
Let c(a) = 53*a**3 - a**2 - a + 1. Let y(t) = t**2 + 6*t - 8. Let m be y(-7). Let h be m/1*(-7 + 6). Does 16 divide c(h)?
False
Suppose -6*f = -f - 20. Suppose f*w - 71 = 9. Does 14 divide w?
False
Suppose -5*d + 2*t = -0*t - 6, 2*d - t - 2 = 0. Suppose 0*j = -3*j - 3*n - 15, 0 = 4*j - 2*n + d. Let q(g) = 2*g**2 + 2*g + 1. Does 3 divide q(j)?
False
Let m be (1 - 1 - -2) + 22. Let z(o) = -o + 3. Let h be z(3). Suppose -2*w - 2*w + m = h. Does 3 divide w?
True
Suppose 3*h = 4*h - 42. Is h a multiple of 14?
True
Suppose -15 + 63 = 4*f. Let o be 2/6 + -1 + (-39)/9. Let s = o + f. Is s a multiple of 7?
True
Let b be (-2)/2 + (1 - 2). Let j be b/(-3) - (-2)/(-3). Suppose 4*m = -j*m + 84. Is m a multiple of 17?
False
Suppose -9 = -5*x + 36. Is x a multiple of 9?
True
Suppose -23 - 37 = -2*n. Is n a multiple of 7?
False
Let i = -1 - -3. Suppose -i + 4 = -g. Let j(h) = 5*h**2 - 2. Is 9 a factor of j(g)?
True
Is ((-10)/(-15))/((-2)/(-156)) a multiple of 24?
False
Suppose 10 = -3*i + 5*i. Suppose d = i*d + 8. Let c = d + 8. Does 3 divide c?
True
Let o be (-2*87)/((-6)/(-12)). Does 11 divide ((-2)/3)/(8/o)?
False
Let g(m) = m**2 + 8*m - 5. Let a be g(-10). Suppose f - 2*f + a = 0. Does 6 divide f?
False
Suppose 4*u + 5 - 13 = 0. Suppose u*f - 8 = -2*f. Let h = 16 - f. Does 14 divide h?
True
Suppose 2*c - 6 = j + 15, c - 5*j = 33. Is 2 a factor of c?
True
Suppose 7*p = 5*p + 4. Let l = 180 + -83. Suppose -2*c = -2 - 0, l = 5*w + p*c. Does 19 divide w?
True
Is 2 a factor of 14 - 25/10*(-8)/10?
True
Let q = 2 - 1. Suppose 0 = -3*a - q - 2. Let n = a - -4. Is n a multiple of 2?
False
Let u(v) = -1173*v**2 + v. Let c be u(-1). Let b be (-12)/54 + c/(-18). Let q = 91 - b. Is 8 a factor of q?
False
Let m(q) = 13*q**2. Let s be m(1). Let y be (-2)/(-4)*(1 - s). Does 8 divide ((-32)/y)/((-8)/(-12))?
True
Let s(c) = 2*c**2 + 14*c - 46. Is s(-13) a multiple of 19?
False
Let q(i) = 21*i + 1. Let k be q(5). Let f = -74 + k. Suppose 2*z - f = -3*a, 4*z + a - 19 - 55 = 0. Does 19 divide z?
True
Let n(s) be the first derivative of s**4/2 + 2*s**3/3 - s**2 + s + 4. Let d be n(4). Suppose g = -2*a - a + 51, 0 = -3*g - 3*a + d. Is g a multiple of 22?
False
Let m = 274 - 136. Does 46 divide m?
True
Suppose 5*d - 2*j = -0*j + 16, j + 3 = 0. Let t = 28 - d. Does 13 divide t?
True
Suppose -2*l = -4, -4*a - 295 = -l - 1037. Does 31 divide a?
True
Let i(m) = 2*m + 0 + 0*m + m - 6. Is i(4) a multiple of 2?
True
Suppose 18 - 8 = 5*f, 3*f = 5*b + 11. Let l = 17 - 32. Let j = b - l. Is j a multiple of 14?
True
Suppose -p - 3 = 2*p. Let a(r) = -5*r + 1. Does 4 divide a(p)?
False
Let v be (-34)/(-3) + 2/(-6). Let n = 31 - v. Is n a multiple of 10?
True
Suppose a + 2*a - 5*i - 9 = 0, 5*a + 4*i = 15. Suppose -4*t = -0*t - w - 35, a*t - 15 = 3*w. Suppose -v = -3 - t. Does 13 divide v?
True
Does 9 divide 1 - -1 - ((0 - -5) + -20)?
False
Suppose 18*h = 15*h + 39. Is 5 a factor of h?
False
Let l(g) be the third derivative of 31*g**4/24 - g**3/6 + 29*g**2. Let o(d) = d**3 - 6*d**2 + 6*d - 4. Let b be o(5). Does 15 divide l(b)?
True
Suppose -5*c + 16 = -2*c - 4*j, -36 = -4*c - 2*j. Suppose 4*w = 40 + c. Does 12 divide w?
True
Let v = 125 + -67. Is 43 a factor of v?
False
Suppose -p + 3*d = 12, -3*p + 0*d - d = 6. Let x be (-6)/(-4)*(-4)/p. Suppose x*f - 15 = f. Is 15 a factor of f?
True
Suppose -d + 40 = 4*d. Suppose -u + d = -18. Is 9 a factor of u?
False
Let z(v) = v**2 - v. Let k be z(-1). Suppose 18 = 5*j - p, k*j - j = 5*p - 6. Suppose a + a = j. Is a even?
True
Suppose 0*m + m + 3 = 0. Let v = m - -75. Is 20 a factor of v?
False
Suppose -5*y - 17 - 26 = -3*r, -3*r + 3*y = -33. Let i be (-105)/(-9) + 2/r. Does 14 divide 1*i - (-8)/4?
True
Suppose -2*y - 4*q = 2*y - 524, 5*y - 4*q - 655 = 0. Suppose 0 = -3*u + y + 94. Suppose -5 + u = 5*w. Does 6 divide w?
False
Let j = -3 - -3. Suppose j = -h + 14 + 3. Is 6 a factor of h?
False
Suppose -13*t = -8*t - 150. Does 10 divide t?
True
Let h(d) = -d**2 + 15*d - 18. Let b be (-9)/(-21) - (-32)/7. Let x = 8 + b. Is 5 a factor of h(x)?
False
Let a(k) = -k**2 - 4*k + 3. Let j be a(-4). Suppose 7 = -j*u + 19. Is 4 a factor of u?
True
Let f(c) = c**2 - 6*c + 5. Let k be f(5). Suppose b + y - 7 = k, 3*b - 2*y + 32 = 7*b. Does 9 divide b?
True
Let p(f) = -f**3 + 4*f**2 - f. Let n be p(3). Let a be 2*n*(-45)/(-18). Is ((-2)/(-5))/(2/a) even?
True
Let u = -7 - -9. Suppose 2*k = u*r - 0*k - 10, 5*k = -25. Suppose r*y + 2*l - 10 = -2*y, y = 3*l + 17. Does 8 divide y?
True
Let f = 3 - 3. Suppose f*p + 87 = 3*p. Let m = -18 + p. Is 4 a factor of m?
False
Let i(t) = 3*t - 37. Is 8 a factor of i(15)?
True
Let i = 68 + -54. Suppose -l + 26 = 5*s - 9, 3*l - 118 = -2*s. Let w = l - i. Is 11 a factor of w?
False
Suppose -3*i + 28 = -i. Let y = i - 8. Does 6 divide y?
True
Let h(t) = t**3 + 7*t**2 - 11*t - 15. Is 11 a factor of h(-4)?
True
Let t = 10 - 4. Let r(g) = -g**2 + 8*g - 5. Is 2 a factor of r(t)?
False
Let r(o) = 3*o**2 - o + 2. Is r(1) a multiple of 3?
False
Let z(f) = f**3 - 6*f**2 + 6*f - 7. Does 2 divide z(6)?
False
Let g = -4 - -4. Suppose g = j + 3*j. Suppose j = y + 15 - 68. Is y a multiple of 23?
False
Let x(m) = 2*m - 3. Let b be x(4). Suppose -2*p + p = -r, -b*r - 5*p + 40 = 0. Is r a multiple of 3?
False
Suppose 6*x - 2*x - 80 = 0. Is 5 a factor of x?
True
Is 111 - (-30)/(6 - 0) a multiple of 7?
False
Suppose 92 = 2*v - 208. Does 10 divide v?
True
Suppose 0 = b + 2*x - 90, 3*b - x - x = 294. Let o = b + -54. Is 14 a factor of o?
True
Let z = -3 + 26. Suppose -3*m + 27 = 3*o, -6*o + 2*o + z = 3*m. Is 5 a factor of m?
False
Let k be (0 + -1)/(2/198). Is 25 a factor of 4/(-22) - 4968/k?
True
Let w(z) = -3*z**3 + 9*z**2 + 8*z - 3. Let h(p) = -p**3 + 5*p**2 + 4*p - 2. Let q(f) = 5*h(f) - 2*w(f). Is q(-5) a multiple of 7?
False
Let m(z) be the third derivative of -z**6/120 + 11*z**3/3 + 3*z**2. Is m(0) a multiple of 11?
True
Let g be (-4 - (-2 + -1)) + 3. Is 11 a factor of -37*(-1 - (g + -2))?
False
Let x be (-4)/(-6)*19*9. Let q = 160 - x. Does 10 divide q?
False
Let b(q) = 5*q + 9. Let z be b(-8). Let m = -1 - z. Does 15 divide m?
True
Let v(b) = 4 + 6*b - 2*b + 4*b - 4*b. Let y be 237/33 - (-4)/(-22). Is v(y) a multiple of 16?
True
Let x(o) = 8*o**2 - 9*o + 1. Let z(i) = 3*i**2 - 3*i. Let h be (-2)/(-1 + (-15)/(-21)). Let u(q) = h*z(q) - 2*x(q). Is u(-2) a multiple of 12?
True
Suppose -2*w + 1 = -3*w. Let c be (-37)/1 + (-1)/w. Is 5 a factor of c/(-2) - 6/6?
False
Let q(g) = 53*g - 1. Is q(1) a multiple of 26?
True
Let y(r) = r + 6. Let u be y(-6). Suppose t - 39 = -u*t. Suppose 5*w + t - 109 = 0. Does 5 divide w?
False
Let a be (26/3)/(1/3). Suppose -s + 3*v + v + 37 = 0, -a = -2*s - 4*v. Is s a multiple of 13?
False
Suppose -4*f + 2*f = 6. Let w(a) = 4*a**2 + 4*a. Is 6 a factor of w(f)?
True
Suppose 5*s + 143 = -4*q + 8*q, -114 = -3*q - 3*s. Is q a multiple of 14?
False
Suppose -3*j - 16 = -l, 3*j - 142 = -5*l + 28. Suppose -3*f + l = -14. Is f a multiple of 5?
True
Let u(a) be the second derivative of a**4/12 + 17*a**2 - 7*a. Is 16 a factor of u(0)?
False
Is (109 + (-1 - 0))*2/3 a multiple of 12?
True
Let x(u) = -u**2 - 6*u - 1. Does 2 divide x(-5)?
True
Let l(y) = 3*y - 3. Let i be l(-5). Let w be 86/i - 2/9. Let b = w - -26. Is b a multiple of 6?
False
Suppose 0 = 5*k - 0 - 10. Suppose -2 - 16 = -k*d. Does 2 divide d?
False
Let s(d) = -7*d + 3. Suppose 3*l = 5*g + 1, -4*l + 3*g = 2 + 4. Does 12 divide s(l)?
True
Let h = 38 - 66. Does 10 divide (-8)/h + (-348)/(-7)?
True
Let r = 4 - 0. Let h(n) = 5*n**2 - 6*n - 3. Let f(p) = -6*p**2 + 7*p + 3. Let i(w) = 4*f(w) + 5*h(w). Is 2 a factor of i(r)?
False
Let y be (-4)/6 - (-58)/(-3). Let d = -66 - -101. Let h = y + d. Does 5 divide h?
True
Let f = 268 + -414. Let s