a factor of 9*1 - (4 + b)?
True
Let i(s) = 0*s - 2*s**2 - 2*s + 8*s**2 - 4. Let q be i(4). Suppose -2*z + 4*f = -16, f = -2*z - 3*z + q. Is z a multiple of 13?
False
Is 38 a factor of -5*(-2 - 312/15)?
True
Suppose 0 = -5*i + 1144 - 229. Suppose 319 = 5*z + 2*m, 3*z - 2*m = -6*m + i. Is z a multiple of 10?
False
Let c be (-1 - -1) + 16/(-2). Let m be (c/(-10))/(2/5). Suppose -v = -m*v + 5. Does 5 divide v?
True
Suppose z + 4 = -3*z. Does 9 divide (z + (-4)/2)*-3?
True
Suppose -i + 13 = 2*h, 3*h = 2*i + 6*h - 21. Suppose i*l + 114 = -21. Let g = -26 - l. Is g a multiple of 11?
False
Let y(r) = r**2 - 15*r - 16. Does 39 divide y(-10)?
True
Let p(j) = -j**3 + 13*j**2 - 9*j - 3. Is 11 a factor of p(12)?
True
Is 14 a factor of -2 + 1244/28 - 6/14?
True
Let v(m) = m - 4. Let d be v(6). Suppose 5*b - 227 - 26 = -d*k, -5*b + 250 = 5*k. Is b a multiple of 17?
True
Let g = -4 + 1. Let p(x) = -7*x - 7. Does 8 divide p(g)?
False
Let j(d) = -d**3 - 6*d**2 - 3*d + 12. Let n be j(-5). Suppose -4*m = 2*i + i - 164, 112 = n*i + 2*m. Is 15 a factor of i?
True
Let x(b) be the second derivative of -5*b**3/3 - 2*b**2 - 2*b. Is 13 a factor of x(-3)?
True
Let d(g) = -g**3 - 13*g**2 - 15*g + 16. Does 13 divide d(-12)?
True
Suppose 0 = i + 2*i - 5*l - 86, -4 = -2*l. Is i a multiple of 15?
False
Let i(y) = y**3 - 4*y**2 - 7*y + 7. Let c be i(5). Does 22 divide -1 + 16*3 + c?
True
Does 16 divide 32*(-4)/(-4 - 4)?
True
Let i = 5 - 3. Suppose -i*j = -j - 21. Suppose 0*y - 3*y + j = 0. Is 5 a factor of y?
False
Let l be (7/(-7))/((-1)/5). Suppose 4*f - 218 = -l*x - 30, -x - f = -38. Does 18 divide x?
True
Let w = -1 + 2. Let n be (w - 0)*-1 - -21. Suppose 4*z = -2*y + n, -10 = -y - z - 2*z. Does 4 divide y?
False
Let c = 38 - 17. Does 7 divide c?
True
Let r(n) = n**3 - n**2 + 4*n - 2. Let m be r(3). Let q = m - -8. Does 12 divide q?
True
Suppose z + 4*a + 5 = 0, 0*z + 5*a = -5*z - 100. Let c = -6 - z. Is 19 a factor of c?
True
Is 3 a factor of (66/(-9))/(2/(-3))?
False
Let h = 14 + -9. Let t be 2/20*-4*h. Is 3 + (-54)/(-1 + t) a multiple of 7?
True
Let n(z) be the third derivative of 1/6*z**4 + 1/3*z**3 - 2*z**2 + 0*z + 0. Is 11 a factor of n(5)?
True
Let z(o) = o**3 - 11*o**2 - 11*o - 10. Let g be z(12). Is 4 a factor of (3 + (-11)/g)*-6?
False
Let n(q) = q**3 - 6*q**2 + 2*q - 8. Let x be n(6). Suppose -4*h = x*b - 96, -2*b + 130 = 3*b - 5*h. Is b a multiple of 13?
False
Let s(v) = v**3 - 4*v**2 - 5*v - 6. Is 9 a factor of s(6)?
True
Let n(u) = -6*u**3 - 2*u**2 + 2*u + 1. Is n(-2) a multiple of 11?
False
Let g(p) = -11*p + 2. Let c(d) = -d - 3. Let o be c(0). Let s be g(o). Let n = s - 15. Is 10 a factor of n?
True
Suppose 2*y + 2*b - 7 = 127, -2*y = -2*b - 138. Is y a multiple of 15?
False
Suppose -4*p + 62 = -94. Let l = -20 + p. Is l a multiple of 7?
False
Let s = 1 + 1. Suppose -x = 4*k - 15, k - 5 = s*x + 1. Suppose 3*b + 2*f - 84 = 0, 7*b + 3*f - 87 = k*b. Is 13 a factor of b?
True
Let f(b) = b**2 + 2*b - 5. Let r be f(5). Let l = -16 - 3. Let m = l + r. Is 5 a factor of m?
False
Let c(u) be the first derivative of -2 - 4*u - 3/2*u**2. Does 3 divide c(-3)?
False
Suppose 2*x + 50 = 7*x. Does 3 divide x?
False
Let y(d) = 2*d**3 + 2*d**2 - 7*d + 7. Is 29 a factor of y(3)?
True
Suppose 3*l = -4*q + 867, q - 3*q + 287 = l. Does 32 divide l?
False
Let y = 0 - -3. Let j = y + -5. Is j/(-9) + (-636)/(-54) a multiple of 12?
True
Let v be -4*21/(-24)*2. Let w = v - -5. Is 12 a factor of w?
True
Let u(y) = y**3 + 5*y**2 + 7*y - 6. Let x be u(-6). Let d = x + 44. Is d/3*27/(-12) a multiple of 11?
False
Suppose 5*c = 43 + 292. Is c a multiple of 13?
False
Let a be -4 - -1 - (-2 - -2). Let r(n) = n**3 + 6*n**2 + 2*n - 5. Is r(a) a multiple of 13?
False
Let h = -8 - -17. Suppose -11*f = -h*f - 100. Is 12 a factor of f?
False
Suppose -2*r = -5*p - 62, -r - 4*r + 155 = 5*p. Suppose -m = -0*m - 4*c - 46, -m = -c - r. Is 13 a factor of m?
True
Suppose -105 = -2*m + 77. Let g = m - 30. Is g a multiple of 13?
False
Let s = 153 - 33. Is 24 a factor of s?
True
Suppose -99 = -3*m + 3*f, 0*f - 2*f = -4. Does 5 divide m?
True
Let d(n) = n**2 + n + 2*n - 2 - 6*n + 4*n. Does 27 divide d(7)?
True
Let d be 3/5 - (-9)/(-15). Let k = 1 - d. Is 0/k - (-30 - 3) a multiple of 20?
False
Let q be ((-7)/((-7)/8))/2. Does 14 divide q/(-8) - (-186)/4?
False
Is 13 a factor of ((-230)/(-4) + 0)*2?
False
Suppose 0 = 2*h + 8, 2*u = -u - 5*h - 92. Is 23 a factor of 46*2*(-6)/u?
True
Suppose -5*p - 13 = 2*i, -p = 4*p + 25. Let b = 18 - i. Is b a multiple of 12?
True
Suppose -6*n = -n + 3*r - 17, -2*r + 12 = 4*n. Let c(j) be the second derivative of 2*j**5/5 - j**4/12 + j**3/6 - 2*j. Does 3 divide c(n)?
False
Is 11 a factor of (-8)/2*(1505/10)/(-7)?
False
Suppose 0*h - 4 = 4*h. Let r(o) = 2*o - 1. Let q be r(2). Does 17 divide (h/q)/(1/(-51))?
True
Suppose -4*t + 115 = 5*q, -112 = -4*t - 5*q + q. Does 25 divide t?
True
Let w(s) be the second derivative of s**5/20 + 5*s**4/12 - s**2/2 - 2*s. Does 12 divide w(-4)?
False
Let n(o) = o**2 + 15*o - 16. Is n(-19) a multiple of 10?
True
Suppose 4*a = 3*t - 28, -a + 25 - 9 = 5*t. Let l(g) = -t + 0*g - g - 11*g + 3. Is l(-2) a multiple of 14?
False
Let h = -56 + 151. Suppose -100 - h = -5*a. Does 12 divide a?
False
Suppose 10*y - 9*y = 5. Is 2 a factor of y?
False
Let f be (2 - 5*-3)*-1. Let p(g) = -g**2 + g - 2. Let n be p(-5). Let h = f - n. Is h a multiple of 15?
True
Let y = -19 + 7. Is 12 a factor of (-196)/y - (-1)/(-3)?
False
Is 15 a factor of 47/((7 - 4) + -2)?
False
Let u be 1/(-1 - 0) - -25. Suppose s + u = 3*s. Does 12 divide s?
True
Let t(k) = k**2 - 9*k + 7. Let l be t(6). Let b(z) = z**3 + 12*z**2 + 6*z - 7. Does 16 divide b(l)?
True
Let y(a) = -a**2 - a + 72. Let c be y(0). Suppose -2*u - u + c = 0. Is u a multiple of 13?
False
Let g(a) = -5*a**3 - 10*a**2 - 6*a + 4. Let q(s) = -11*s**3 - 21*s**2 - 13*s + 9. Let r(f) = -13*g(f) + 6*q(f). Let h be 0 + 0 + 3 + 0. Is 5 a factor of r(h)?
False
Let b(i) = -i**2 - i + 12. Let u be b(0). Let x = u + -10. Is 2 a factor of x?
True
Let m = -5 + 3. Let q(r) = -r**2 + 3*r - 1. Let c(b) = b**2 - b. Let k(l) = 6*c(l) + 2*q(l). Does 7 divide k(m)?
True
Suppose 2*a - 3*a = -21. Let w = a - 13. Does 4 divide w?
True
Suppose 0*g = -2*g - 4. Let y = g + 4. Suppose 0 = -2*u + 2*b + 6, -4*u + 4 + y = 2*b. Is 2 a factor of u?
True
Let i be 8/5 - 12/20. Let o(s) = 7*s**3 + 2*s**2 - 1. Is 3 a factor of o(i)?
False
Suppose 0 = -5*r + 302 + 108. Does 13 divide r?
False
Suppose 0 = -4*j + 63 + 81. Suppose h - 25 = j. Is 23 a factor of h?
False
Let n(v) = 45*v + 35. Let f(r) = -5*r - 5. Let w(x) = 2*x + 2. Let i(s) = -3*f(s) - 7*w(s). Let p(j) = -70*i(j) + 2*n(j). Is 23 a factor of p(3)?
False
Suppose -2*w + 86 = 4*x - 4*w, 5*x - 120 = 5*w. Is 7 a factor of x?
False
Let r = 303 + -183. Is 8 a factor of r?
True
Let t(p) = 10*p + 1. Let a be t(1). Suppose a = 5*c - 4*k, -2*c - 2 = -c - 5*k. Suppose 5*v - 120 = -4*j, c*v = 4*j - 33 - 55. Is 13 a factor of j?
False
Suppose -3*p + 3 = -6. Suppose 3*s - 105 = -p*c, 152 = 4*s - 3*c + c. Is s a multiple of 19?
False
Suppose 7 = 2*y - 1. Suppose 5*a = 5*s - 20, 5*a + y*s + 0*s + 2 = 0. Does 3 divide (-1)/a*-14*-1?
False
Let s(z) = -22*z - 1. Let t be s(-2). Let b = 2 - 19. Let w = b + t. Does 26 divide w?
True
Suppose 5*w - 8 = 2. Is w/3 - (-182)/6 a multiple of 11?
False
Let q = 4 - -16. Suppose -34 = -z + q. Does 11 divide z?
False
Suppose -3*w = -6, 3*w - 28 - 13 = 5*b. Let q(o) = -o + 3. Is 6 a factor of q(b)?
False
Let z(l) = -l**3 + 8*l**2 + 16*l - 17. Is z(9) a multiple of 9?
False
Let o be (0 - 0) + (-4)/(-2). Is (-426)/(-21) + o/(-7) a multiple of 10?
True
Suppose p - 6*p = 0. Suppose p = -4*x + 5*x + 4. Is 3*(2 + x/(-6)) a multiple of 8?
True
Let a be (-68)/(-12) + (-8)/12. Suppose s + 2*s = -5*v + 67, -50 = -a*s + 4*v. Does 14 divide s?
True
Let k(j) = -j + 7. Does 6 divide k(-8)?
False
Let d be ((-6)/(-15))/(2/(-30)). Let z be (-8)/(-6)*d/(-4). Let y(w) = 8*w**2 - 3*w. Does 13 divide y(z)?
True
Let b = -10 + 11. Is 9 a factor of -34*(b + -5)/4?
False
Let p(n) = 31*n**2 - 2*n - 2. Let u(x) = -92*x**2 + 6*x + 5. Let s(t) = -8*p(t) - 3*u(t). Does 16 divide s(1)?
False
Let o = 222 - 102. Is o a multiple of 12?
True
Let r(o) = -o**3 + 14*o**2 - 6*o - 17. Is r(13) a multiple of 23?
