)?
False
Let v = 12 + -4. Let r = v + -6. Suppose 5*u + h - 73 = 1, -r*u - h = -32. Is 7 a factor of u?
True
Let u = -10 - -11. Let c(q) = 8*q + 1. Is c(u) a multiple of 4?
False
Let s(m) = -m**3 + 7*m**2 - 6*m + 12. Is 4 a factor of s(6)?
True
Let q be -4 - 1*(-2)/2. Let s(o) = -o**3 - 2*o**2 - o + 3. Let t be s(q). Suppose -x - 2*r = -9 - 1, t = 5*r. Does 3 divide x?
False
Let k(n) = 4*n**2 + 2*n. Let v be k(2). Let i = 13 - 11. Suppose -i*h + 14 = -v. Is h a multiple of 17?
True
Let d(q) = q**3 + 3*q**2 - 2*q - 2. Let k be d(-3). Suppose 21 = -o + 3*v, -k*v + 0*v - 63 = 3*o. Let i = o + 33. Is 12 a factor of i?
True
Let g = 29 - 55. Is 18 a factor of (1 - g) + 1 + -1?
False
Suppose -f = 2*v - 12, f - 2*f = -4*v - 12. Suppose 7 = y - 3*j - f, 3*y - 75 = 3*j. Does 14 divide y?
True
Let o(i) = -3*i. Let z be o(1). Let t(b) = -b**3 - 2*b**2 + b - 4. Let c be t(z). Let x(d) = d**3 + 2*d**2 - 3*d + 2. Is x(c) a multiple of 12?
True
Suppose -4*n + 20 = 4*j, 3*n - 18 = 2*j - 2*n. Let u be 2/(-4) - j/(-2). Suppose u = 3*d - 47 - 4. Is 5 a factor of d?
False
Suppose 3*m = 11 + 31. Let u(k) = -2*k + 16. Let y be u(7). Let s = m + y. Does 8 divide s?
True
Let y = 10 + 0. Let k(o) = -o**3 + 11*o**2 - 14. Let n be k(y). Is n/8*(-3 - -7) a multiple of 12?
False
Let m(y) = 2*y - 1. Let z be m(3). Suppose -3*b + 5*d = -23 - 8, 21 = -2*b - z*d. Does 17 divide b*34/4*2?
True
Suppose 4*t - 4*z - 272 = 0, 7*z - 4*z = 4*t - 267. Suppose -4*h + h = -t. Is h a multiple of 10?
False
Suppose -7*o + 3*o - 176 = 0. Let r = o - -84. Is 12 a factor of r/6*(-72)/(-20)?
True
Let k(x) = 2 + 6 + 8*x + 0. Does 16 divide k(6)?
False
Is 42 a factor of 18/15*(-2150)/(-15)?
False
Let t be 0/(-1 + 0 - 1). Suppose 4*g + 2*m = 20, t = 2*g + 4*m - 11 + 1. Suppose 4*y + 2*l = -0*l + 36, 2*l = -g*y + 46. Does 10 divide y?
True
Suppose 7*l + 57 = 10*l. Is l a multiple of 10?
False
Suppose -i = -5*h + 36, -h + 5*i = h + 4. Is 2 a factor of h?
True
Suppose -c = 4*c - 15. Let h be ((-4)/c)/((-2)/6). Suppose -h*s = -9*s + 210. Does 21 divide s?
True
Let m(p) = p**2 - 2*p + 10. Does 25 divide m(5)?
True
Suppose 5*x = -4*o - 603 + 1659, 3*x = 2*o + 616. Is x a multiple of 26?
True
Let z be 10/6 + 4/(-6). Suppose z = -t - 26. Let l = -14 - t. Is l a multiple of 7?
False
Suppose 45 = 6*m - 3*m. Is 7 a factor of m?
False
Let y(r) = -8*r**2 + r. Let l be y(3). Let a be -2 - (-1 + (l - 2)). Suppose -3*m = v - a, -3*m + v + 4*v = -82. Is m a multiple of 12?
True
Suppose -c = -4*c - d - 128, 2*c + 77 = d. Let q = c + 95. Is q a multiple of 16?
False
Let v = -5 + 14. Does 2 divide 2*(-4)/((-12)/v)?
True
Does 19 divide 15/90 + (-305)/(-6)?
False
Suppose -4*d - 2*g + 266 = d, 4*g = -5*d + 272. Is d a multiple of 13?
True
Suppose -2*k + 2*l + 4 + 36 = 0, 0 = k - 5*l. Let h = -13 + k. Does 11 divide h?
False
Let g be (12/(-5))/((-6)/15). Suppose -5*w + 3*u = 2*u + 2, -3*u + g = 3*w. Suppose 5*n = v - w*v + 52, -3*n + 32 = -v. Does 5 divide n?
True
Suppose -n - 1 = -3. Suppose n*o = -0*o + 6. Suppose a = 3*h - 11, h - 18 = -o*h + 3*a. Does 3 divide h?
True
Let t be 0 + 2/(-1) + 6. Suppose l + 75 = t*l. Does 9 divide l?
False
Suppose 25 = 5*v, v + 24 = 2*j + 5*v. Let h(y) = 5 - 2*y + y + y**j - 3. Is h(5) a multiple of 11?
True
Let j(d) = -25*d - 5. Let h be j(11). Is 20 a factor of (12/7)/((-8)/h)?
True
Suppose 269 = 5*m + 2*g, 2*g - 125 = -3*m + 38. Let k = m - 23. Does 10 divide k?
True
Suppose -13*i + 15*i - 24 = 0. Is i a multiple of 7?
False
Let w(o) = 3*o - 7. Let j be w(-7). Suppose 3*x = 2*m - 104 - 3, -20 = 4*x. Let v = m + j. Does 9 divide v?
True
Let t(i) = 21*i**3 - i**2 - 3*i - 3. Let n be t(-2). Let p = 25 - n. Suppose 3*q + a = -0*a + 123, 5*q - 2*a = p. Is 14 a factor of q?
False
Let k(m) = -m**2 + 8*m + 5. Let l be k(7). Suppose 3*c + 0*c = l. Suppose -3 = -c*s + 5*o + 4, 8 = s + 5*o. Is 2 a factor of s?
False
Let r = 11 - 7. Let w = 7 - r. Suppose -4*q = -4*c - 0*c - 68, 0 = -4*q + w*c + 73. Does 11 divide q?
True
Let l be -6*(-1 - (-1)/2). Let r(z) = z**3 - 2*z**2 - 3*z + 4. Let x be r(l). Suppose 0 = -x*m - u + 36, 5*m - 5*u - 66 + 21 = 0. Does 9 divide m?
True
Let w = 12 + -9. Let q(d) = 2*d**2 + 6*d + 2. Let u be q(-5). Is 3 a factor of (u/(-6))/((-1)/w)?
False
Let j be (-3 + 0)/((-3)/2). Suppose j = 2*a - 4*g, -g = 5*a - 4*g - 12. Suppose u - 5*w - 16 = 0, -a*u = -w - 5 - 15. Is 2 a factor of u?
True
Let t(y) = 2*y**3 - 5*y**2 - 3*y + 6. Is t(4) a multiple of 14?
True
Let w = 1 - 0. Suppose -62 = -4*j + 5*z, -5*j + 95 + w = 3*z. Is 11 a factor of j?
False
Suppose 2*j = -q + 2, 9 = -4*j - 3. Is q even?
True
Let b = 80 + -150. Let s = b - -18. Let z = -34 - s. Does 6 divide z?
True
Does 9 divide (-2*(-12)/40)/(1/135)?
True
Suppose -5*p - 2*y = -112, 4*p - 4*y = 37 + 75. Suppose -4*x - 37 = 3*h, h = 3*x + 2*h + p. Let c = 21 + x. Does 4 divide c?
False
Suppose -4*c = -16 - 4. Suppose 3*x - 2*x - 2*d = c, 4*x + 3*d = 20. Suppose -x*k + 42 = -2*k. Is k a multiple of 12?
False
Let j(n) = 23*n - 4. Let v(w) = -12*w + 2. Let t(s) = 4*j(s) + 9*v(s). Let c be t(4). Let h = -34 - c. Does 14 divide h?
True
Let u = -73 + 135. Is 10 a factor of u?
False
Let s be 3*6/(-27)*6. Is -2 + (11 - s/2) a multiple of 3?
False
Let k(r) = r**3 - 14*r**2 + 14*r + 6. Does 3 divide k(13)?
False
Suppose 0 = 2*c - 16 - 20. Let n = c - 13. Is 3 a factor of n?
False
Suppose 138 + 128 = 14*z. Is 2 a factor of z?
False
Is 6/((-7)/((-147)/6)) a multiple of 7?
True
Let z(x) = -x**2 - 12*x + 3. Let p be z(-11). Let u = p - -1. Does 7 divide u?
False
Let y = 33 + -28. Is y even?
False
Suppose -i + 56 = 11. Let b = i + -12. Does 11 divide b?
True
Let p = 6 - 0. Let d(i) = -i**3 + 6*i**2 + i - 2. Let b be d(p). Suppose -64 = -b*k - 0*k. Does 9 divide k?
False
Let v = -120 + 176. Suppose 0*d - v = -4*d. Is 14 a factor of d?
True
Let k(n) = -2*n**2 - 21*n - 12. Let m(o) = 3*o**2 + 31*o + 18. Let a(u) = -7*k(u) - 5*m(u). Is a(-6) a multiple of 6?
True
Let r(t) = t**2 + 9*t - 2. Let d(c) = 3*c**2 + 27*c - 7. Let k(j) = 2*d(j) - 7*r(j). Does 7 divide k(-7)?
True
Let c = -61 + 89. Does 11 divide c?
False
Let z(o) be the first derivative of -o**4/4 - 8*o**3/3 - 4*o**2 + 10*o + 1. Let j be (-4)/16*-4 + -8. Is 17 a factor of z(j)?
True
Let v be (-9)/((-27)/84)*2. Suppose 0*u - v = -2*u. Does 7 divide u?
True
Let v(i) = -i**3 - 15*i**2 + 2*i + 10. Let j be v(-15). Let c = 34 + j. Does 14 divide c?
True
Let g(q) = -11*q + 3. Suppose 5*f + 30 = -3*s, 3*s - 2*s - 2*f = 1. Is g(s) a multiple of 26?
False
Let o(v) = 5*v**3 - 5*v**2 + 3*v - 3. Let d be o(3). Suppose 4*j - d = -16. Is 10 a factor of j?
True
Suppose b + o + 11 = 0, b - o + 5 = -0*b. Let l be (25/20)/((-2)/b). Suppose -q = l*z + 20, -2*q = -4*q - 4*z - 10. Does 5 divide q?
True
Does 13 divide 132 + -2 - (-4 + -1 - -5)?
True
Does 7 divide ((-28)/(-12))/((-2)/(-6))?
True
Let s = -1 - -25. Does 6 divide s?
True
Let g(f) = 20*f + 1. Let n = -9 - -12. Is g(n) a multiple of 25?
False
Suppose 0*p + p = 19. Is 8 a factor of p?
False
Suppose 5*u + 12 + 3 = 0, 0 = -5*k - 2*u + 504. Does 20 divide k?
False
Let r be 14 + (6/3)/(-2). Let c be ((-172)/10)/(2/(-5)). Suppose -c = -5*n - r. Is 3 a factor of n?
True
Let r(b) = 2*b + 2. Let w be r(-3). Let j = -3 - w. Let m(f) = 8*f + 1. Is m(j) a multiple of 9?
True
Let s = -20 + 8. Is (9/s)/((-3)/60) a multiple of 5?
True
Suppose -198 = -5*i + 2*i. Let f = -42 + i. Is 12 a factor of f?
True
Suppose 12 = -4*s - 0*s. Let t = 6 + s. Let f = 23 - t. Is 20 a factor of f?
True
Let v(z) = -11*z + 4. Let f be v(-9). Suppose f = 4*u + 35. Is 6 a factor of u?
False
Let h(q) = 3*q**2 + 4. Let i be h(-3). Suppose f = -i + 2. Let n = -15 - f. Is n a multiple of 5?
False
Let w be (-6)/(-9) - (-832)/12. Let m = -42 + w. Is 11 a factor of m?
False
Let b be 4/10 + 399/15. Suppose -76 = -m - b. Does 16 divide m?
False
Suppose 0 = 5*b - f - 337, 5*f - 92 = -2*b + 32. Let s = b + -15. Is s a multiple of 26?
True
Suppose 2*d - 248 = -2*k, 2*d - 376 = -3*k + d. Does 42 divide k?
True
Let q(z) = -z + 8. Let d be q(6). Suppose h - 3 = d*h. Is 7 a factor of 19 + 2 + 0 + h?
False
Let q = 4 - 0. Let c = 28 - 18. Suppose c = 5*u - 4*x, -4*x + q = -0*u + 2*u. Is u even?
True
Let v(o) = -o**3 + 22*o**2 + 27*o + 20. Does 16 divide v(23)?
True
Let t(a) = a**3 - 6*a**