. Is 7 a factor of b(g)?
True
Let d = 17 - 4. Let r(f) = -f**2 + 13*f + 13. Does 13 divide r(d)?
True
Let b(q) = q**3 + 4*q**2 - 4*q + 5. Let w = -23 + 11. Let f = w + 8. Does 21 divide b(f)?
True
Let j(d) = 23*d - 3. Let t be j(5). Suppose 10*y = 14*y - t. Is 14 a factor of y?
True
Let y = 78 - -9. Does 29 divide y?
True
Let s = 138 + -64. Is 29 a factor of s?
False
Let h(c) = -16*c - 2. Let i be h(1). Let s be (-4)/2 + -1*24. Let w = i - s. Does 4 divide w?
True
Let b(z) = 6*z + 3. Is 9 a factor of b(7)?
True
Suppose -m = 3*n - 7*n + 56, 4*n = 4*m + 68. Does 2 divide n?
False
Suppose -6 = 4*b - 5*b. Suppose -3*q + 5*q = b. Is 10/15 + 52/q a multiple of 10?
False
Suppose 8*s = 6*s - 144. Let g(j) = -j**2 + 5*j + 1. Let p be g(-4). Let o = p - s. Does 13 divide o?
False
Suppose 5*i - 5*b = 30, 5*i - b - 21 = 13. Let w = -5 + 26. Let g = w - i. Is 14 a factor of g?
True
Suppose 4*y - 1 - 3 = 0. Suppose -5 - y = -2*w. Suppose i + 8 = x, 5*x + w*i = -0*i + 24. Is x a multiple of 5?
False
Let d be (-20)/(-12)*(2 + 1). Suppose 20 = d*v - v. Suppose v*u - 4*f = 59 - 1, -4*f - 16 = -2*u. Is u a multiple of 7?
True
Let n be 38/14 - 4/(-14). Suppose 3*i + n = 5*m, 5*i - 3*i - m + 2 = 0. Is 17 a factor of (11 - i)*(-28)/(-12)?
False
Is 13 a factor of (-2)/(-3)*(-129)/(-2)?
False
Let v(p) = 4*p + 3. Suppose -5*i - 2*j + 26 + 29 = 0, 3*i - 33 = -5*j. Is 13 a factor of v(i)?
False
Suppose 3*o + o + 48 = 0. Let h be 1/((2/(-52))/(-1)). Let z = o + h. Is z a multiple of 7?
True
Let p = -224 - -360. Suppose 3*u - 7*u + p = 0. Is 12 a factor of u?
False
Suppose -4*o + 166 - 54 = 0. Is 3 a factor of o?
False
Let n(c) = 3*c + 64. Is n(-16) even?
True
Let a be (-70 - 1)/(2/(-4)). Suppose -a = -4*u + 6. Is u a multiple of 17?
False
Suppose -l + 145 + 64 = 4*t, -5*t + 265 = 5*l. Is t a multiple of 7?
False
Suppose -175 = -3*g + 5*o, g + 4*o = 5*g - 236. Does 9 divide g?
False
Let p(h) = 16*h. Does 14 divide p(1)?
False
Let g = -6 + 7. Suppose 2*m = -k + m + 17, g = m. Is k a multiple of 16?
True
Suppose u + 184 = 5*k - 86, -3*k - 5*u + 190 = 0. Let a = 90 - k. Does 20 divide 2/(-7) + 1025/a?
False
Suppose 4*w - 37 + 13 = 0. Is w a multiple of 3?
True
Suppose o + 4*o = -15. Let f = o - -4. Does 7 divide f + 11*(-2)/(-2)?
False
Suppose 0 = 5*b + 25, -4*d + 4*b + 21 = -3*d. Is (18 - d)/((-4)/(-4)) a multiple of 17?
True
Let j(b) = -5*b**3 - b**2 - b - 3. Let g be j(-2). Suppose 3*l - g = 67. Does 17 divide l?
True
Let r(a) = 6*a**3 + a**2 - 7*a + 19. Is 13 a factor of r(3)?
True
Suppose 0 = x + 3*x + 5*v - 82, -4*x - 4*v + 80 = 0. Does 18 divide x?
True
Let k be (1 - 1)/(-3 - -1). Suppose -s + 6 - 3 = k. Is 2 a factor of s?
False
Is 0 - (-1 - -1) - -20 a multiple of 9?
False
Let v(n) = -n**3 - 13*n**2 + 15*n + 19. Let b be v(-14). Does 11 divide (-642)/(-15) + 1/b?
False
Let l(d) = d**2 - 13*d + 8. Let q(u) = -u**2 + 14*u - 8. Let y(g) = 6*l(g) + 5*q(g). Let p be y(6). Let n = 2 - p. Is 3 a factor of n?
True
Suppose 0 = -w + 6*w. Suppose s = -w*s + 24. Is 8 a factor of s?
True
Let a(u) = -u**3 + 8*u**2 + u + 8. Let r be a(8). Let f = r + 17. Does 7 divide f?
False
Let d be ((3 + -15)*4)/(-1). Is d + -4 + (3 - 2) a multiple of 15?
True
Let f be (-1 - -3) + 12/(-3). Let w(v) = -6*v + 2. Is 7 a factor of w(f)?
True
Let l = 57 + -37. Is 4 a factor of l?
True
Let o(n) = -7*n**3 - n**2 + 4*n + 12. Does 4 divide o(-2)?
True
Let m = 107 - 87. Is m a multiple of 10?
True
Let r be (-6)/(-15) - 36/(-10). Suppose -r*g = -0*g - 8. Suppose 3*o - 37 - 43 = -4*d, -g = -d. Is 12 a factor of o?
True
Let m be -3*3/15*-25. Suppose 0 = -3*g - m, 3*g + 147 = -i + 4*i. Is i a multiple of 17?
False
Suppose 4*f - m = 249, -8*m + 173 = 3*f - 6*m. Does 4 divide f?
False
Suppose -7*z - 296 = -2*z + x, -3*z = -2*x + 188. Let d = 4 - z. Let v = d - 32. Does 16 divide v?
True
Suppose c = 21 + 29. Does 25 divide c?
True
Let h(k) = k**3 - 4*k**2 - 4. Let v be h(5). Suppose 3*o - 54 + v = 0. Does 7 divide o?
False
Let u(m) = m**3 - 4*m**2 + 2*m - 5. Is u(4) a multiple of 2?
False
Suppose 2*h + 3*b = -3*h + 96, -5*b - 8 = -h. Let x be (h/3)/2*-3. Let d = 10 - x. Does 8 divide d?
False
Let t(c) = 18*c**2 - 2*c - 1. Does 19 divide t(-1)?
True
Let z = 7 - 2. Let t = -5 + z. Suppose -2*c + 0 + 12 = t. Does 3 divide c?
True
Let d(y) = y**3 + y**2 + y + 2. Let s be d(0). Let j be (-14)/(-8)*(-2 - -6). Suppose s*r = -j + 25. Is r a multiple of 9?
True
Let p(j) = -2*j**3 - j**2 + 3*j - 3. Let y be p(-3). Let s(r) = r**2 + 12*r + 10. Let b be s(-11). Is 3 a factor of (-3)/(y/(-24) - b)?
False
Suppose -3*i + 308 = 4*o, -2*o = 4*i - o - 389. Is 48 a factor of i?
True
Let n(m) = m**2 - m. Let j(t) = -8*t**2 + 14*t + 3. Let b(v) = 2*j(v) + 18*n(v). Let l = -18 - -12. Is 9 a factor of b(l)?
True
Let r(l) = -2*l - 1. Suppose 9 = 2*u - 1. Let g be r(u). Let c(n) = -n - 9. Is c(g) even?
True
Let w = -10 + 15. Suppose 3*m = -5*j + 234, -312 = -4*m + 2*j - w*j. Is 13 a factor of m?
True
Let c = -1 + 3. Suppose -c = 2*k - 6. Is k a multiple of 2?
True
Suppose -5*m + 29 = 2*h, 4*h - h = 5*m - 19. Suppose -106 = -2*k - h*d, -3*d + 5*d - 206 = -4*k. Does 25 divide k?
True
Let x be (-32)/20 - 6/15. Is 11 a factor of 33/2*x/(-3)?
True
Let p(w) = 5*w**2 - 2*w + 4. Let y(i) = -9*i**2 + 5*i - 7. Let g(o) = -11*p(o) - 6*y(o). Is 12 a factor of g(-3)?
False
Let c = -48 + 80. Suppose 4*g - 3*b - c = 0, -3*g - b - b + 7 = 0. Does 5 divide g?
True
Suppose -2*p + 3 = -7. Suppose 4*s = -p*r + 68, 0 = 3*s - 5*s - 3*r + 32. Does 21 divide s?
False
Suppose 5 + 7 = x. Suppose -17 = -5*q + 4*t + 15, 0 = -4*t - x. Is q even?
True
Suppose 4*d = -2*v - v + 1541, 3*v = 2*d - 793. Is 22 a factor of d?
False
Suppose 4*k = k. Let m(t) = 28 - t - 2*t + 2*t. Does 17 divide m(k)?
False
Let b = 21 - 5. Does 4 divide b?
True
Let c(x) = -11*x + 5. Let h(m) be the first derivative of -6*m**2 + 6*m + 2. Let q(g) = 6*c(g) - 5*h(g). Is 15 a factor of q(-5)?
True
Let b = 106 - 62. Is b a multiple of 11?
True
Let y(x) = x**3 + 8*x**2 + 4*x + 4. Suppose -m + 22 = t + m, t + 5*m = 13. Suppose -4*z + 4*r - t = 0, 2*z - r + 14 = 4*r. Is y(z) a multiple of 18?
False
Suppose w - 16 = -2*f - 0, w = -5*f + 46. Let z = f - 5. Is z even?
False
Suppose -3*m - 4*j + 654 = -348, -3*m + 4*j = -1002. Does 9 divide m?
False
Let r(c) = c**3 + 3*c**2 + c. Let x be r(-2). Suppose x*l + 28 = 4*w, -l = w + w - 18. Does 3 divide w?
False
Let z(s) = -s**2 - 16*s - 7. Suppose -5*r = -4*f - f + 35, 0 = -4*r + f - 31. Is z(r) a multiple of 19?
True
Let s(v) = v**2 - 3*v + 7. Let o be s(6). Suppose -l + c + 47 = 4*l, -c = 3*l - o. Is 2 a factor of -1*(-6)/l*3?
True
Let z = 2 - 0. Suppose -5*t + 75 = 5*j, -3*j = j - z*t - 72. Is j a multiple of 9?
False
Let y(r) be the second derivative of -3*r + 7/2*r**2 - r**3 + 0 + 1/12*r**4. Is y(7) a multiple of 7?
True
Let y = 182 + -98. Is 11 a factor of y?
False
Suppose 3*v = -0*v + 6. Suppose 4*t - v*o - 18 = 0, 4 = -3*t - 4*o + 1. Is t a multiple of 2?
False
Suppose 0 = w + 4*w. Let t = w + 75. Is t a multiple of 25?
True
Let y = 7 - 11. Let s = y - -30. Does 10 divide s?
False
Let w(h) = 9*h + 3. Is w(6) a multiple of 19?
True
Suppose 14 = 5*u - 76. Suppose -156 = -2*k - u. Is 23 a factor of k?
True
Let y(d) = -d**2 - 6*d - 7. Let o be y(-5). Let c be (-3)/o*(-56)/(-6). Suppose 34 = 4*p - c. Is p a multiple of 4?
True
Let l(i) = -i**3 + 14*i**2 - 7*i - 18. Is l(13) a multiple of 10?
True
Suppose -3*n - 14 = -n. Let g = 11 + n. Suppose i = g*i - 84. Does 14 divide i?
True
Let x = 0 + 11. Let g = x + -7. Is 7 a factor of 5 + g/2 + 0?
True
Let t(b) = b - b - b + 2*b**3 - 2*b**2 - 2 + 0. Let p be t(2). Suppose 4 = p*m - 24. Is 2 a factor of m?
False
Let o = 16 - -14. Is o a multiple of 5?
True
Suppose 0 = -d - 3*i - 2 - 0, -3*i - 8 = 4*d. Let f be 0 - (1 + d) - -29. Suppose q + 4*q = f. Is 6 a factor of q?
True
Suppose -5*m - c + 237 = 0, 0 = -3*c - 2*c - 15. Is m a multiple of 24?
True
Let x = 3 - 5. Let r(m) = -17*m - 3. Does 11 divide r(x)?
False
Suppose 7 = 3*l - 4*l - 5*y, -2*l + 4*y + 14 = 0. Let h(c) = 2*c + 2*c - 2 + 3 - c**2 + 3. Is 2 a factor of h(l)?
False
Suppose -4*t + 40 = 4*x, -1 = x + 5*t + 1. Let j = x + 12. Suppose 0 = -s - 4*s + j. Does 5 divide s?
True
Suppose -3*f + 7 = 1. Suppose -f*z + 21 = -11. Is 8 a factor of z?
True