or of x?
False
Let y(f) = 2*f**3 - 5*f**2 + 2*f + 2. Let n be y(3). Let k be -4*(n/(-4))/1. Is 17 a factor of -1*(2 - 3)*k?
True
Let q = 6 - 2. Suppose 2*a - 6*a - 5 = -5*d, -a + 4*d - q = 0. Is 11 a factor of 0 - (-1 - (a + 10))?
True
Suppose 0*w + 10 = 5*w. Suppose -5*t + 3*h + 29 = w*h, -4*t + h = -24. Suppose -2*n - 1 = -7, -2*n = -t*p + 29. Does 4 divide p?
False
Let o be 39 - (1 + 0 - -2). Does 10 divide 1448/o + 6/(-27)?
True
Suppose 2*a + r = -0*r + 5, -5*a + 2*r + 26 = 0. Let b(n) = -n**3 - 6*n**2 - 2*n + 2. Let u be b(-6). Suppose -a*o + u = -3*o. Does 7 divide o?
True
Suppose 4*u + 0*u + 4*m = 652, -5*m + 479 = 3*u. Suppose -5*w + u = -4*x - 30, 4*w = 4*x + 156. Is 22 a factor of w?
False
Suppose 18*s - 152 = 14*s. Is s a multiple of 10?
False
Let m(b) = -2*b**2 + 13*b - 1. Let c(f) = 3*f**2 - 25*f + 3. Let p(l) = -3*c(l) - 5*m(l). Is 3 a factor of p(-11)?
False
Suppose -3*o = m - 31, 2*m = 4*m + 2*o - 50. Does 22 divide m?
True
Let h be 3 + (1 - -2 - 3). Suppose -d = -u - 11, d - 74 = -h*d - 2*u. Does 8 divide d?
True
Let d be (-6)/4*(-88)/12. Let w(f) = f**3 - 11*f**2 + f + 6. Is w(d) a multiple of 4?
False
Let v(w) = -w**2 + 13*w - 8. Let n be v(12). Suppose 3*x = -j + 1, 4*j - j - 33 = -3*x. Suppose -3*t = -t - 2*g - j, -n*t = 4*g - 32. Is 6 a factor of t?
False
Let y = -220 - -330. Suppose -z = 4*z - y. Is z a multiple of 9?
False
Let h = 158 + -108. Does 8 divide h?
False
Let u(m) = -6*m + 16. Does 32 divide u(-8)?
True
Suppose 0*q - 228 = 4*q. Let s = q - -34. Let w = s - -37. Is w a multiple of 7?
True
Suppose 108 = -2*k + 380. Does 17 divide k?
True
Let y be 3*(-2)/(18/(-15)). Suppose 5 + 10 = -y*l. Is 64/2 - l/3 a multiple of 12?
False
Let n be (2/(-6))/(3/(-522)). Let u = -30 + n. Is u a multiple of 14?
True
Suppose -129 = 6*u - 3*u. Let g = u + 71. Suppose -h = -5*h + g. Does 4 divide h?
False
Let n be 4/6 - 1256/(-24). Let q = n - 23. Does 8 divide q?
False
Suppose -2*o = -4*g - 106, -64 - 97 = -3*o + 4*g. Is o a multiple of 11?
True
Suppose 5*c - 13 = 2. Suppose 12 = c*m - 18. Is m a multiple of 8?
False
Let a(h) = -25*h**3 - h - 1. Suppose -m + 0*m - 1 = 0. Is 7 a factor of a(m)?
False
Suppose 5*f + 8 + 57 = 3*v, 0 = -3*v + 4*f + 67. Is 10 a factor of v?
False
Suppose -5*s + 256 = -4. Suppose -2*p + 0*p + 2*y = s, -4*p - 4*y = 136. Is p/(-7) + 12/(-42) a multiple of 3?
False
Suppose 5*k - 3*k + 255 = l, 1015 = 4*l - 3*k. Does 23 divide l?
True
Suppose 5*k = i - 138, 3*i = 6*i - 2*k - 388. Suppose -i = -4*p - 16. Does 13 divide p?
False
Suppose 21 = 2*p + 15. Suppose -4*q + 126 = -p*i + i, -i + 82 = 3*q. Does 8 divide q?
False
Let w = -57 - -99. Is 21 a factor of w?
True
Suppose 5*r + 4 = 24. Suppose -4*v = -0*h - h - 21, 0 = -r*h - 20. Is (v - 1) + (-58)/(-1) a multiple of 19?
False
Does 9 divide 1479/15 + 4/10?
True
Let v(r) = r**3 + 7*r**2 - 8*r - 15. Does 15 divide v(-6)?
False
Suppose 6*x - 516 = 156. Does 8 divide x?
True
Let q = -1 - -5. Suppose -2*z = -0*z - 3*n - 28, 60 = q*z - 5*n. Is z a multiple of 7?
False
Suppose 2*f + f - 54 = 0. Let n = f - 9. Does 6 divide n?
False
Let a = -61 - -110. Is a a multiple of 7?
True
Suppose 5*o = 42 + 38. Is 6 a factor of o?
False
Let j = -4 + 24. Let u = j - 13. Is u a multiple of 7?
True
Suppose d = 11*p - 7*p - 1221, -d - 613 = -2*p. Does 38 divide p?
True
Suppose 5*a = 30 - 0. Let s(g) = g**2 - 6*g + 3. Let k be s(a). Suppose -m + 26 = 2*b, k*m = -b - 4*b + 64. Is b a multiple of 7?
True
Let g = -62 - -134. Suppose -w + g = 2*w. Is w a multiple of 12?
True
Let n = 17 - -39. Suppose 10 = 2*z, -7*z = 4*r - 3*z - n. Is r a multiple of 7?
False
Suppose 3*x - 7 = 5. Is -2 + 184/x - 0 a multiple of 11?
True
Suppose -4*n - 3 - 3 = 2*w, -4*n + 15 = -5*w. Suppose -3*s + 2*s + 11 = n. Is s a multiple of 4?
False
Suppose -2*w - 150 + 390 = 0. Suppose 0*y + 3*y = 5*i + w, -2*y - 2*i = -96. Does 11 divide y/4 - 4/16?
True
Suppose -j = -3*m - 6, 4*j + 5*m - 9 = 15. Suppose -3*w + j*w = 33. Is w even?
False
Suppose -48 - 57 = -7*u. Is 3 a factor of u?
True
Suppose -14 = -d - 5*g, 3*g = 4*d - 1 - 9. Suppose -43 - 29 = -d*f. Does 6 divide f?
True
Let l = -18 - -11. Let n(f) = -f**3 - 6*f**2 + 6*f + 3. Does 10 divide n(l)?
True
Suppose 0 = 5*u - 6*u. Suppose f - 9 + 1 = u. Does 5 divide 3 + f + (-2)/2?
True
Suppose -15*n + 11*n = -144. Is 9 a factor of n?
True
Let d(r) = -r**3 - r**2 - 3*r - 2. Let f be (-2)/(-4) - 11/2. Let i be (2/f)/((-2)/(-10)). Is d(i) a multiple of 3?
False
Suppose 2*g - 84 = h - 1, 4*g + 4*h - 172 = 0. Does 21 divide g?
True
Suppose -116 = -36*m + 32*m. Is 10 a factor of m?
False
Suppose -c + 5 = 0, 2*n = -4*c + 6 + 26. Let d = n + -4. Is 11 a factor of ((-10)/(-3))/(d/12)?
False
Let n be (-183)/(-2)*(-4 + 6). Suppose -3*q + 5*p + 75 = -2*q, p + n = 3*q. Is q a multiple of 20?
True
Let v be (2/(-5))/(3/1125). Is 20/(-6)*v/20 a multiple of 7?
False
Let t = -48 + 30. Let y = 15 + -10. Let i = y - t. Is 8 a factor of i?
False
Let d(k) = -3*k + 3. Let h be d(2). Let v = -1 - h. Is (-47)/(-2) + 1/v a multiple of 8?
True
Let h(t) = t**3 + 4*t**2 - 3*t - 6. Let c(o) = o**2 - 1. Let a(g) = -6*c(g) + h(g). Let r be a(3). Is 6 a factor of -9*(-8)/6 + r?
True
Suppose -2*h - 635 = -5*d, -d - 2*h + h + 120 = 0. Suppose 10 = -5*f, -42 + d = 5*u + f. Suppose 0 = -3*a + u + 1. Is 3 a factor of a?
True
Suppose 4*s - 6 = s. Is -87*(-3)/(7 + s) a multiple of 9?
False
Suppose 4*j = 6*j - 26. Does 3 divide j?
False
Let p(f) = -65*f. Does 13 divide p(-1)?
True
Does 2 divide ((-7)/4)/(9/(-4) - -2)?
False
Let u(v) = v**3 + 2*v**2 - 1. Let l be u(-1). Suppose -2*g + 4*g + 2*y - 4 = 0, l = 4*g + 3*y - 10. Is 4 a factor of g?
True
Is 6 a factor of 903/39 - 1 - 2/13?
False
Suppose -4*r + 96 = -0*r. Is 18 a factor of r/(-14)*(-1 - 41)?
True
Suppose 13*k = 12*k + 24. Does 8 divide ((-4)/(-4))/(1/k)?
True
Let g(h) = -2*h**2 - 10*h - 1. Let n(o) = -4*o**2 - 21*o - 2. Let b(f) = -13*g(f) + 6*n(f). Does 18 divide b(-7)?
False
Suppose -s + 115 = -4*m, m = -3*s - 41 - 4. Let q = 48 + m. Is q a multiple of 13?
False
Let v be ((-78)/(-18))/((-2)/(-30)). Let n = v + -21. Is 22 a factor of n?
True
Let z be (-9)/18*(13 + 1). Let k(f) = -f**2 - 13*f - 6. Is k(z) a multiple of 18?
True
Let s(i) = i**2 - 13*i + 6. Is s(13) a multiple of 3?
True
Suppose 0 = 5*o + c - 94, -2*o - 2*c + 62 = o. Suppose o = -0*k + 3*k. Does 4 divide k?
False
Let r(o) = o**2 - 8*o + 18. Is r(10) a multiple of 19?
True
Let h(b) = 0*b + 13*b - b**2 + 2 + 10 + 0*b**2. Is 7 a factor of h(13)?
False
Let g(p) = -p**2 - 7*p - 1. Suppose -5*s + 6*i - 16 = 2*i, 3*s + 8 = 4*i. Let w be g(s). Suppose 0 = 4*x + 5*t - 84, -t - 71 = -4*x - w. Is x a multiple of 16?
True
Is 16 a factor of (-862)/(-6) + (-5)/(-15)?
True
Let w(m) = -3*m. Suppose 2*q - 25 = -3*q. Suppose 4*y + 35 + q = 0. Is w(y) a multiple of 15?
True
Suppose -4*r - 3*c + 26 = 0, -2*c = -3*r - 3*c + 17. Let m(v) = v + 2. Let q be m(r). Suppose -i + q + 1 = 0. Is i a multiple of 8?
True
Suppose 153 = 3*b - u, -5*b + 5*u = -142 - 103. Suppose b = 5*n - 33. Does 11 divide n?
False
Let w = 99 - 9. Is 22 a factor of w?
False
Let b(g) = -g**3 + 11*g**2 - 10*g + 3. Let v be b(10). Let w(y) be the third derivative of 5*y**4/24 + y**3/2 + y**2. Is 9 a factor of w(v)?
True
Let y = -9 + 39. Suppose -5*z + 5*h - 85 = 0, -5*h = z - 2*z - 25. Let p = y + z. Does 13 divide p?
False
Let c(l) = 3*l**2 - 17*l - 11. Let j(o) = -o**2 + o. Let u(n) = -c(n) - 5*j(n). Does 17 divide u(-8)?
False
Suppose g + a = -1, -4*g - 1 = -a - 17. Suppose 5*v + 3*r = 3*v + 8, 10 = 4*v + g*r. Is 10 a factor of 15/(-2)*(v - 3)?
False
Suppose -3*k + 42 = 3*t, -3*k = -5*t - 26 - 16. Is k a multiple of 7?
True
Suppose -g - 624 = -4*h, -312 = -2*h + 5*g - 0. Is h a multiple of 39?
True
Let z = 14 + 6. Does 3 divide z?
False
Let q(o) = -51*o + 1. Let d be q(3). Let l = -97 - d. Let k = 81 - l. Does 13 divide k?
True
Let w(y) = 3*y + 54. Does 18 divide w(0)?
True
Let d be (-6)/(-15) - 2/5. Suppose d*j + 168 = 3*j. Suppose -j = -h - h. Is 14 a factor of h?
True
Suppose -2*h = -0 + 4. Does 4 divide -1*(-16 - (-2 - h))?
True
Let f(a) = 6*a. Suppose 3*x + 3*y = 2 + 16, -5*x - y + 14 = 0. Suppose 5*g - 20 = -w - 5, x*g - 4*w = 28. Does 17 divide f(g)?
False
Let m(u) be the second derivative of -u**3/3 + 11*u**2/2 - u. Is m