?
True
Suppose s - z = -2, -6*s + 3*s = 4*z - 22. Is 14 a factor of 37 + -1 + (1 - s)?
False
Let h(p) = p**2 + 2*p + 2. Let z(a) = -3*a**2 - 5*a - 5. Let b(s) = 5*h(s) + 2*z(s). Let q be b(0). Suppose q*f - 24 = -4*f. Does 6 divide f?
True
Let y(q) = -q**3 + 12*q**2 + q + 5. Is y(12) a multiple of 11?
False
Let x = -5 - -10. Suppose -48 + 328 = x*z. Is 18 a factor of z?
False
Let a(m) = -2*m + 12. Let z be a(10). Let n be 24/(-9)*78/z. Suppose 0 = -w + n - 4. Does 22 divide w?
True
Is 4 a factor of 1/(((-1)/(-15))/((-1)/(-1)))?
False
Let p be 182/6 - (-2)/(-6). Suppose m + 5*n + 3 = 23, -p = m - 5*n. Does 9 divide 94/10 + 2/m?
True
Let m be 50/(-4)*1*-4. Suppose 5*o = -3*u - 23 + 93, 5*u = 5*o + m. Is u a multiple of 6?
False
Let f = -16 - -14. Is 18 a factor of 1/(((-8)/284)/f)?
False
Let k(h) = h**2 - 4*h + 1. Suppose 5*u - 2*u + 21 = -3*w, 0 = w + 4*u + 16. Does 11 divide k(w)?
True
Suppose 0 = -4*t + 18 - 2. Suppose t*j = 3*j. Does 15 divide -2*(2 - j - 21)?
False
Let p be (-9)/7 + (-4)/(-14). Let j be (-26)/p - 2/1. Suppose -3*a = -4*v + a + 72, -v = 5*a - j. Is v a multiple of 17?
False
Let v = -7 + -3. Let m = -19 - 8. Let w = v - m. Is w a multiple of 17?
True
Suppose b = -4*l + 15, -2*b - 2*b = -3*l - 22. Does 7 divide b?
True
Let i(b) = b - 1. Let a be i(4). Suppose -10 = -a*d + 35. Is 14 a factor of (-40)/6*(-72)/d?
False
Let h = 0 - -7. Let a = h - 4. Suppose 0 = -0*o - a*o + 84. Does 14 divide o?
True
Suppose 4*m = -0*m, 0 = j - 5*m + 8. Is 16 a factor of (-130)/j + 1/(-4)?
True
Let k be -1 - 2 - -2 - -4. Let o be (12/(-10))/((-3)/170). Suppose -76 = -k*v + o. Is 19 a factor of v?
False
Suppose 0 = 63*i - 60*i - 168. Does 28 divide i?
True
Let r(q) = 4*q - 4. Let w be r(6). Suppose 6*a - w = 2*a. Suppose 0 = -u + a*u - 88. Is 11 a factor of u?
True
Suppose 7*w = 236 + 534. Is w a multiple of 11?
True
Let k(w) = w**2 + 4*w + 3. Let a be k(-4). Suppose 0 = a*d - c, 0*c = -c. Suppose -5*m + s + 215 = -2*s, 2*s = d. Is 16 a factor of m?
False
Suppose -2*x = 2 - 12. Let f(u) = -2*u. Let q be f(x). Does 5 divide q*(1 + 6/(-3))?
True
Let b = -2 - -4. Let y = b + 2. Suppose -4*c = -4, -y*p + 5 = -3*p - 5*c. Is p a multiple of 5?
True
Suppose 0 = -m - 0*m - 4*f + 125, -3*m + 5*f + 341 = 0. Is m a multiple of 13?
True
Suppose 0*s = -4*s. Is 16 a factor of 0/(-2 + s) - -48?
True
Let q = -2 + -2. Let p = q - -10. Is 3 a factor of p?
True
Let i(z) = z**2 - 16*z + 16. Is 11 a factor of i(17)?
True
Suppose -13*s = -646 - 4086. Does 14 divide s?
True
Let p = 10 + 2. Let d = 22 - p. Is d a multiple of 10?
True
Does 11 divide (-1)/3*0 + 11?
True
Let g(b) = b**2 + b + 1. Let m(a) = 19*a**2 + 6*a + 5. Let c(w) = -6*g(w) + m(w). Does 4 divide c(1)?
True
Let a be (-3)/2 - (-5)/10. Let p(v) = 15*v**3 - 6*v**2 + 6. Let w(t) = t**2 - 1. Let o(u) = -p(u) - 5*w(u). Does 15 divide o(a)?
True
Let f(h) = 2*h**2 - 4*h. Let m be f(3). Let z(q) = 3*q - 9. Let v be z(m). Suppose -2*i - 3*c + 14 = -67, 0 = 3*c - v. Is i a multiple of 18?
True
Suppose -2*y - 20 = 2*y. Let p(l) = -l**3 - 4*l**2 + l - 2. Does 9 divide p(y)?
True
Suppose o = -5*c + 776, 0 = -2*c - 0*c + 5*o + 332. Is c a multiple of 39?
True
Let k(z) = -15*z + 1. Suppose -20 = 5*x + 4*q, 2*q + 6 - 2 = -x. Is k(x) a multiple of 21?
False
Let o = 11 - 3. Is o a multiple of 5?
False
Let d be 2*(5/2 + -3). Is 6 a factor of d/(-2)*(56 - -2)?
False
Let o = 5 - 3. Let f = -21 - o. Let n = 35 + f. Does 12 divide n?
True
Let k(v) = -v**3 - 9*v**2 - 13*v - 18. Let y be k(-8). Let d = 49 - y. Does 6 divide d?
False
Let c = -7 + 32. Suppose 3*q + 2*q - c = 0. Is q a multiple of 5?
True
Suppose 3*j - j - 16 = 0. Let o = 17 - j. Suppose l + 2*l - o = 0. Is l a multiple of 3?
True
Suppose -u + 5 = -5. Suppose 4*k = -k - u, k = z - 44. Suppose a = -4*a, 3*i - z = a. Is 14 a factor of i?
True
Let w(x) = -x**3 + x**2 + 3. Let k be w(0). Suppose -2 = k*b + 2*n, b - 3*n = -0*n + 14. Suppose 3*j - 91 = -5*v, 5*j + 25 - 1 = b*v. Does 10 divide v?
False
Let u be 2/5 + (-54)/(-15). Suppose 4*t + 4 = 2*t. Let g = u + t. Is 2 a factor of g?
True
Let b = -62 + 100. Is 9 a factor of b?
False
Let o be (2/6)/((-2)/(-18)). Let r(j) = 4*j**2 - 1 + 0*j - j**3 + 0*j. Is r(o) a multiple of 4?
True
Let d be 8/(-4 - 18/(-4)). Suppose 0 = -2*r + 3*j + 58, -3*r = j - 61 - 15. Let u = r - d. Is u a multiple of 10?
True
Let p(z) = -z**3 - 4*z**2 + 11*z + 6. Let c(g) = -3 + 8*g**2 + 3 - 9*g**2 + g. Let m(x) = -4*c(x) + p(x). Is m(-4) a multiple of 21?
True
Does 6 divide 5 - (-53 - (-4 + 0))?
True
Suppose -4*w = -q + 19, 3*q + 2*w = 4 - 3. Does 3 divide q?
True
Is ((-228)/(-8))/((-5)/(-10)) a multiple of 19?
True
Let n = 37 + 31. Let m = -35 + n. Suppose 2*t - 45 = -4*b + m, t = 2*b - 41. Is 10 a factor of b?
True
Let b(p) = -p + 1. Let s be b(-1). Let a(o) = 2*o**3 - 2*o**2 + 3*o - 1. Is 13 a factor of a(s)?
True
Let u(i) be the second derivative of i**3/2 - 3*i**2 - 2*i. Let o be u(5). Suppose 0 = 3*t + o - 36. Does 4 divide t?
False
Does 24 divide 28*(-4 + 64/7)?
True
Let d = -15 - -127. Is 14 a factor of d?
True
Is 10 a factor of (-2)/6 - (-362)/6?
True
Suppose -4*f - b + 24 = -64, f = -4*b + 22. Is f a multiple of 11?
True
Suppose 0 = -3*b - 354 - 123. Let v = -93 - b. Suppose -v = -s - s. Is 11 a factor of s?
True
Let k = 14 - 7. Suppose -k = z + 7. Does 3 divide z/(-3) + (-4)/6?
False
Let s = 2 + -8. Let c = -2 - s. Suppose -c*i + 55 = 5*q, -6*q - 4*i + 41 = -3*q. Is q a multiple of 3?
False
Let j = 1 - 1. Suppose m + 8 = 5*m. Suppose j*q = -m*q + 44. Does 11 divide q?
True
Let p(w) = -7*w - 2. Let b be p(-3). Suppose 0 = c - b + 6. Is c a multiple of 13?
True
Is 18 a factor of 641/9 + 4/(-18)?
False
Is 11 a factor of 119 + -1 - (-2 + -1)?
True
Let u(r) = -r**2 - 14*r - 23. Does 3 divide u(-11)?
False
Let b(o) = -o**3 + 10*o**2 - 8*o + 9. Is b(9) a multiple of 9?
True
Let o = -124 + 192. Let h = o + -42. Suppose -h = -2*t + 16. Is 14 a factor of t?
False
Suppose -4*i = -5*i + 4. Suppose 0 = u + i*u + 5. Is 5 + -4 - (-31 - u) a multiple of 11?
False
Let l(w) be the third derivative of -w**5/60 - w**4/6 - w**3/3 + w**2. Let n be l(-4). Is 4 a factor of 7 - n*3/(-6)?
False
Suppose 8*k - 3*k = 3*o + 167, 2*k = -4*o + 46. Suppose 0 = g - 9 - k. Is g a multiple of 20?
True
Let n(f) = -f**3 - 5*f**2 - 1. Is n(-6) a multiple of 35?
True
Let y = 1 - -2. Suppose 5*p + 7 = 7*f - y*f, -5*f - 4*p = -60. Is 22 a factor of (-1)/(-4) + 462/f?
False
Let r = 27 + -8. Let d(l) = l**2 + 5*l + 4. Let k be d(-3). Let i = k + r. Does 7 divide i?
False
Let z be 2/(-2) - (10 - 8). Let k = 9 + z. Does 6 divide k?
True
Let f = 6 + 69. Is 15 a factor of f?
True
Let n(y) = 24*y**2 - 3*y - 6. Is 48 a factor of n(-2)?
True
Suppose -3*a + 5*v + 36 = 0, 0 = 4*a - 3*a - 4*v - 19. Suppose 5 + a = 2*h. Is h a multiple of 2?
True
Let o be (4 - -12)/(-1 - -2). Let u = o + -6. Is u a multiple of 5?
True
Let c(x) = x**2 - 16*x - 13. Let r be c(17). Let o(z) = 2*z. Does 4 divide o(r)?
True
Suppose 4*q = -0*q + 16. Let l be ((-342)/4)/((-2)/q). Is 7 a factor of (2/(-6))/((-3)/l)?
False
Let z(v) = v**3 + 4*v**2 - 6*v - 7. Let s be z(-5). Is ((-1020)/50)/(s/5) a multiple of 17?
True
Let c = 2 - -1. Let a be (2 - c) + 42/2. Suppose l + 3*l = a. Does 2 divide l?
False
Suppose o - 9 = -49. Suppose 2*r + 4 = -k + 4*r, 5*k = 3*r - 20. Is 7 a factor of (-7 - k)/(6/o)?
False
Let v = 8 - 57. Is 2/(-2) - v - -2 a multiple of 25?
True
Let o(u) = 0 + 3 - 1 - 7*u - u**2. Is 12 a factor of o(-5)?
True
Let g(s) = -2*s**2. Let b be g(-1). Is 8 a factor of 23 + b*1/(-2)?
True
Suppose -3*y + 63 = 4*z, -4*y + z + 4*z = -115. Is 5 a factor of y?
True
Suppose -3*c = 2*z - 35, 4*z + 5*c - 20 = 55. Does 16 divide z?
False
Let w(h) = h**3 + 8*h**2 + 5*h - 1. Does 6 divide w(-6)?
False
Let x(j) = -12*j + 4. Let b be x(-7). Suppose -4*g + 3 = -4*v + 163, 2*v + 2*g = b. Is 15 a factor of v/(-4)*24/(-9)?
False
Let x = -12 + 4. Is 13 a factor of (x - -24) + 3/(-1)?
True
Let g(r) be the second derivative of -r**3/6 + 13*r**2/2 + r. Let p be g(9). Suppose 32 - p = 2*n. Does 14 divide n?
True
Let u be (-2)/(-10) - 16/(-20). Let n = 27 - u. Is n a multiple of 9?
False
Is -3*(-4 + (-2)/(-3)) a multiple of 8?
False
Let p be ((-8)/(-6))/(-1)*-18. Suppose -u = 4*l - 12, -3*l + 5*u = -5*l + p. Let k = l - -6. Is