?
False
Let h(r) = -r - 2. Let j = 3 - 6. Let f be h(j). Does 10 divide (-18)/(-2) + 0 + f?
True
Let x(h) = -51*h**2 - 6*h - 5. Let a be x(-5). Is 26 a factor of (-4)/32 + a/(-16)?
True
Let x = 196 - 135. Does 29 divide x?
False
Let p = 3 - 0. Suppose -p*o + 9 = 0, 0*k - 3*k + 138 = -2*o. Is 24 a factor of k?
True
Let s(j) = -4*j - 11*j**2 + 8*j**2 + 7*j**2 + 2. Does 24 divide s(3)?
False
Let r(y) = y**3 + 3*y**2 - 2. Let i be r(-3). Let d = 4 - i. Is 2 a factor of d?
True
Let l(w) = 57*w**3 - 2*w**2 - 5*w. Let u(k) = 36*k**3 - k**2 + 0*k**2 - 7*k**3 + k - 3*k. Let h(r) = 2*l(r) - 5*u(r). Is h(-1) a multiple of 20?
False
Suppose 0 = -3*y - 4*g + 72, 5*y - 2*g - 85 = 3*g. Is 10 a factor of y?
True
Suppose -2 = -2*h + h. Suppose 0*z + h*z = 50. Does 10 divide z?
False
Let o(v) = -v**3 + 8*v**2 - 2*v - 8. Let c be o(6). Let y = 90 - c. Let w = y + -23. Is w a multiple of 14?
False
Let m(f) = 41*f - 2. Does 14 divide m(2)?
False
Let z = 147 + -42. Does 35 divide z?
True
Suppose 0 = 4*c + 4, w + 22 = -0*w - 5*c. Let p = 4 - w. Is p a multiple of 5?
False
Suppose -g - 6*g = -77. Is g a multiple of 5?
False
Let z(s) = -s**3 - 4*s**2 - 5*s + 1. Is z(-6) a multiple of 14?
False
Let c = 219 + -114. Is 21 a factor of c?
True
Suppose o - 18 = 5*r, -2*o - o - r + 6 = 0. Is (16/(-1))/(o/(-12)) a multiple of 16?
True
Let r(p) = -p - 2. Let k be r(-4). Suppose 4*h - 2*x - 2*x - 120 = 0, -5*h = 5*x - 110. Does 5 divide h/k + (-4 - -6)?
True
Suppose 3*f - 3*u = 852, 0 = -f - u - 21 + 309. Is f a multiple of 13?
True
Let u = 4 - 1. Let r be (7 + -3)/(2/u). Suppose -4*z = n - 99, 3*z + r*n = 3*n + 63. Does 13 divide z?
True
Let z(f) = 6*f**2 + 4*f + 3. Let k be 2*-2*(-1)/(-2). Does 9 divide z(k)?
False
Suppose x - 4 + 2 = 0. Suppose x*b + 40 = 6*b. Is b a multiple of 10?
True
Let s(i) = -2*i + 7. Let m be s(-5). Let b = m + 37. Is 18 a factor of b?
True
Suppose -3*h - 50 = 2*h. Let v be (-224)/h + 2/(-5). Suppose -2*p = 2*o - 20 - v, 2*o + 10 = 0. Is p a multiple of 12?
False
Suppose 0*x = -5*g + 5*x + 130, -5*g - 2*x = -165. Is g a multiple of 4?
False
Let b = 102 + -57. Is b a multiple of 15?
True
Suppose 2*m - 7 = -3. Let x = m - 3. Let b(a) = -29*a**3 + 2*a**2 + a. Does 23 divide b(x)?
False
Suppose 0 = -8*z + 407 - 55. Is 3 a factor of z?
False
Suppose -5*p + 267 + 48 = 0. Is 21 a factor of p?
True
Let m(o) = -o**3 - 7*o**2 - 12*o + 1. Let c be m(-9). Suppose -4*w + c = 63. Is w a multiple of 13?
True
Does 12 divide -12*(-5)/(-6)*-3?
False
Let i(w) = w**2 - 6*w - 7. Let n be i(6). Let t = n + 28. Is 6 a factor of t?
False
Let z(m) = 2*m - 4. Let s be z(4). Suppose 0 = -4*f + s*a + 12, 0 = -0*f - f + 4*a + 3. Is f a multiple of 3?
True
Let a be 3 + 3/(-3) + -3. Let j be 0 + -2 + (2 - a). Let m(c) = 17*c. Is 17 a factor of m(j)?
True
Suppose -3*n + 46 - 7 = 0. Let x = n + 8. Does 11 divide (x/(-9))/((-2)/18)?
False
Let l be 922/6 - (-6)/(-9). Suppose -630 + l = -3*y. Suppose 0 = -2*s + 10, 5*f - y = -5*s - 59. Does 5 divide f?
True
Let m = -65 + -21. Let d be 3/(-9)*(-1 + -2). Is 17 a factor of (2*d)/((-4)/m)?
False
Suppose -5 = -3*m - 2. Let v = m + 2. Suppose -w = v*w - 32. Is 8 a factor of w?
True
Let y = -7 + 3. Let t = -4 - y. Suppose 4*d - 2*w - 28 = 0, -3*d + 3*w + 9 + 9 = t. Is 8 a factor of d?
True
Suppose 20 = 6*h - h. Suppose -2*a + 18 = 2*d, -30 = -h*a - 5*d + 4. Let f = a + 19. Is f a multiple of 15?
True
Let z(k) = k**3 - 4*k**2 - 5*k + 7. Suppose t + 12 + 11 = 5*l, -4*t = 5*l - 33. Suppose m = -t*m + 3, 4*m = d - 1. Is z(d) a multiple of 7?
True
Suppose 0 = -2*n - 0*n - 188. Is 6/(-15) - n/10 a multiple of 6?
False
Suppose 0*w + 138 = 3*w. Is 4 a factor of w/3 + (-20)/(-30)?
True
Let t(a) = 3*a**2 + 3*a. Let p be (-16)/(-6) + 6/18. Does 18 divide t(p)?
True
Suppose -50 = -4*a - t, -3*a = -5*t + 19 - 68. Let f = a - 9. Is f a multiple of 3?
False
Let p be (-6)/4*(-2 + 4). Let n = 10 + p. Is n a multiple of 6?
False
Suppose -26 = 7*k - 208. Does 26 divide k?
True
Suppose -3*f = -8*f + 35. Suppose f + 15 = 2*z. Does 11 divide z?
True
Suppose 2*x + 145 = 553. Does 21 divide x?
False
Let w = 53 - 23. Let l = 43 + -25. Suppose l = 3*y - w. Is y a multiple of 16?
True
Let d = 84 + -34. Is d a multiple of 22?
False
Let k = -7 + 11. Let y be 10/4 - (-2)/k. Suppose a - 52 = -y*a. Is 13 a factor of a?
True
Let v(n) = -4*n**3 - 9*n**2 - 6*n - 3. Let u be v(-6). Is 2/(-10) + u/15 a multiple of 12?
False
Let y(k) = 4*k**2 + 10*k + 6. Let p be y(-6). Suppose p = 5*j + 2*z, 3*j + 6*z - 3*z = 63. Does 11 divide j?
False
Is 8 a factor of 58 - (6 - (1 - -1))?
False
Let r = -3 - -2. Let i be -1*r/1 - 1. Suppose 2*s - 36 = -3*x, i = 5*s + x - 15 - 75. Is 18 a factor of s?
True
Suppose 12 = -4*d, -4*m + d = -3*d - 492. Is 12 a factor of m?
True
Let c = 0 + 26. Is c a multiple of 26?
True
Suppose 2*v - 4*o - 2 = 0, -19 = -3*v + 3*o - 5*o. Suppose -v*m - 6 + 46 = 0. Is 6 a factor of m?
False
Suppose d + 48 = 5*d. Let o = -2 + -2. Let z = d + o. Is z a multiple of 3?
False
Suppose -3*q + 0 = -3. Let d = 3 - q. Suppose -o + d*o = 47. Does 19 divide o?
False
Let k = 15 + -8. Let y be 7/k*(1 + 3). Is 11 a factor of (60 + -2)*2/y?
False
Let f = -2 - -4. Let k be 2 - (2 + 2 + -2). Suppose -f*r = -k*r - 28. Is 14 a factor of r?
True
Let n be 2/8*(-20)/(-5). Let k = n + 7. Is 4 a factor of k?
True
Let h be (-1)/(-6) + 106/12. Let t(u) = u**3 - 8*u**2 - 6*u + 3. Is t(h) a multiple of 10?
True
Let h(k) = k**3 - 2*k**2 - 4*k - 4. Let v be h(5). Suppose -d = -4*d + v. Does 17 divide d?
True
Let f(s) = 2*s**2 + 5*s. Let l be (-6 - -3)*(-4)/(-3). Does 12 divide f(l)?
True
Suppose 48 = 19*q - 16*q. Suppose q + 4 = t. Is 10 a factor of t?
True
Suppose 3*b - 2*x + x = 92, 0 = -4*b - 2*x + 116. Does 11 divide b + (2 - 0/(-3))?
False
Suppose p + 4*w + 5 = -0*p, 4*p - 3*w = 37. Let n(i) = 4*i - 6. Does 9 divide n(p)?
False
Let n = -5 + 28. Is 5 a factor of n?
False
Suppose -11*u = -5*u - 366. Is 3 a factor of u?
False
Suppose c = 126 - 37. Is 23 a factor of c?
False
Suppose 0*o + 3*n = -5*o + 369, 0 = -o - 4*n + 67. Does 26 divide 1564/30 + (-10)/o?
True
Let j(v) = -v + 1. Let x be j(1). Suppose -a + 9 + 11 = x. Suppose -28 - a = -2*l. Is 12 a factor of l?
True
Let f(v) = -6*v + 2*v**2 + 4 + 0 + 0*v**2. Let d = 7 - 3. Is 8 a factor of f(d)?
False
Let f be (-1 - 1)*(-13 + 1)/(-3). Let g(b) = -9*b**2 - 11*b - 12. Let u(l) = -l**3 - l. Let w(a) = g(a) + u(a). Is w(f) a multiple of 6?
False
Suppose 3*y + 28 = -2*z - 3, 4*z = y + 29. Let n = y + 4. Is 1 - (n + 1)*2 a multiple of 14?
False
Suppose 0 = -2*m + 4 - 0. Suppose -m*r + 4*r + 5*t - 59 = 0, -r + 4*t + 10 = 0. Does 7 divide r?
False
Let d(u) = -18*u + 21. Is 21 a factor of d(-7)?
True
Let s = 1 - 0. Suppose 0 = 2*i - 2*o, 0 = o - 2 - s. Let f = i - -10. Does 11 divide f?
False
Let w(v) = -v**3 + 5*v**2 + v + 5. Suppose 0 = 4*a - 8. Suppose 15 = -f + 5*o, -5*f + 7 = -2*f - a*o. Is 4 a factor of w(f)?
False
Let d(g) = -g + 13. Is 3 a factor of d(10)?
True
Let a(n) = -n**3 - 4*n**2 - 3*n - 4. Is 8 a factor of a(-4)?
True
Is 10 a factor of 5 + 1 + -4 + 60?
False
Suppose -4*t + 3*a + 133 = 0, -5*t - 3*a + 210 = 2*a. Let n = t + -25. Does 12 divide n?
True
Suppose 3*n = -5*i - 2, -n - n = i + 6. Suppose -i*x = -s - 24 - 29, 0 = 2*s + 6. Is x a multiple of 11?
False
Let j be 5 + -4 - -2*6. Let b = 29 - j. Does 7 divide b?
False
Let a(y) = -4*y + 3. Let s be a(2). Let r(k) = k - 2. Let q be r(-7). Let z = s - q. Is z a multiple of 2?
True
Suppose -64 = -3*a + 38. Suppose -5*g + 86 + a = 0. Is g a multiple of 12?
True
Let l(r) = -r**3 - 7*r**2 + r + 8. Let c be l(-7). Suppose n + c = 5. Suppose -n*u + 19 = -25. Is 11 a factor of u?
True
Let h(z) = -z**2 + 6*z + 6. Let i be h(8). Let q = -9 - i. Let f = q - -4. Is 5 a factor of f?
True
Let h be 52/8 - 9/(-6). Suppose -23 = -3*c - h. Is 2 a factor of c?
False
Is (-26)/(-3) + 20/(-30) a multiple of 2?
True
Let j(h) = h**2 + 9*h - 6. Let q be j(-10). Suppose q*k - k = 9. Suppose -k*y = 4*d - 55, -y - 8 + 37 = -4*d. Is 13 a factor of y?
False
Let c = -5 - -13. Let t = 13 - c. Suppose -2*k - t*w = k - 8, -2*k + 2*w + 32 = 0. Does 11 divide k?
True
Suppose 2*r - 100 = 2*p, -3*r + 2*p = -0*p - 151. Is r a multiple of 17?
True
Suppose -2*k + 7*x - 3*x - 24 = 0, -x = -k - 7. Let b be (1/2)/(k/(-12)).