 b + 1?
False
Let s(j) = 59*j**3 + 1. Does 11 divide s(1)?
False
Suppose 3*w = -2*m + 10, -7*w + 2*w = -4*m - 2. Suppose -w*k + 89 = 3*c, k + 86 = c + 2*c. Does 9 divide c?
False
Let f = -6 + 4. Is (-167)/(-7) + f/(-14) a multiple of 13?
False
Let q(c) = -c**3 - 6*c**2 + 8*c + 9. Let s be q(-7). Suppose -s*f - l - 134 = 0, 0 = l - 2 - 2. Does 5 divide (-6)/(-15) + f/(-15)?
True
Suppose f + m = -2*f - 17, -5*f = 5*m + 15. Let x(d) = 4*d**2 - d**2 - 8*d**2 + 9*d + 3 - 7 - d**3. Is 13 a factor of x(f)?
False
Suppose -40 = -5*v + 5*k, 2*v + 0*v + 3*k = -4. Suppose -4*w = m - 1, 8*w - v*w = -20. Is m a multiple of 13?
False
Is 6 a factor of 12/8 + (-66)/(-4)?
True
Suppose 3*y - 32 = y. Is 14 a factor of y?
False
Suppose -2*m = -0 - 2. Let b be m/(-2) + 11/(-2). Is 16 a factor of b/(-27) - 392/(-18)?
False
Let j(w) be the second derivative of w**3/6 + w**2/2 + 2*w. Is j(1) even?
True
Let g = -5 - -8. Suppose -2*v - 10 = g*v. Let p(k) = -10*k. Does 8 divide p(v)?
False
Suppose -11*u = -16*u + 180. Does 9 divide u?
True
Let c be (4/(-10))/((-1)/10). Suppose 0*p = -c*p + 68. Is 17 a factor of p?
True
Let b be (-2)/(-7) - 5135/(-35). Let l = b + -98. Suppose l = 3*p + i + 11, -4 = p - 3*i. Is p a multiple of 4?
False
Let k(h) = -7*h + 7. Let v(p) = -4*p + 6. Let y(n) = -16*n + 25. Let g(u) = -26*v(u) + 6*y(u). Let i(r) = -7*g(r) - 6*k(r). Does 14 divide i(-2)?
True
Suppose 8*s - 3*s = 15. Suppose v = 5*b + s + 2, 5*b + 25 = 5*v. Does 2 divide v?
False
Suppose 13*y = 312 + 39. Does 3 divide y?
True
Suppose 6*q - 264 = -0*q. Does 11 divide q?
True
Let s(y) = -y**3 - 13*y**2 + 14*y + 8. Is s(-14) a multiple of 7?
False
Let k(s) = 17*s - 9. Is k(2) a multiple of 5?
True
Let x(t) = -t**3 + 3*t**2 - 2. Let k be x(2). Is (-64)/(-6) - k/(-6) a multiple of 3?
False
Let a(z) = 28*z - 1. Is a(1) a multiple of 13?
False
Suppose 0 = 2*h - h - 92. Is h a multiple of 23?
True
Is 41 a factor of 2 - (-3 - -1) - (-120 + -5)?
False
Let g = -30 + 57. Is 9 a factor of g?
True
Let z(t) = -4*t**3 - 2*t - 1. Let m be z(-1). Suppose -20 = 5*a, q - 21 = -2*a + m*a. Is 5 a factor of q?
False
Let g = -30 - -47. Is 4 a factor of g?
False
Let h be ((-1)/(-2))/(4/16). Suppose h*c = -c - 90. Let n = -6 - c. Is n a multiple of 12?
True
Let v = -277 - -397. Does 12 divide v?
True
Suppose -183 - 313 = -8*j. Is 12 a factor of j?
False
Suppose -55 = -6*r + 89. Is 24 a factor of r?
True
Does 17 divide 3 + -2 + (-1 - -28)?
False
Suppose 212 = 5*n - n. Suppose -b = l + 4*l + 217, l + n = 3*b. Does 21 divide 2/(2 - l/(-23))?
False
Let q = 1118 - 666. Is q/14 + 8/(-28) a multiple of 16?
True
Let w = -4 - -4. Suppose 27 = c - 0*c. Let z = c + w. Is z a multiple of 9?
True
Let m be (1 - (2 + 0))*-2. Let t = m - 10. Let f = 6 - t. Does 8 divide f?
False
Let j = -950 + 520. Let g be j/(-6) + 6/18. Is 5 a factor of (-1 - 0)/((-4)/g)?
False
Suppose -5*w = -3*b - 3*w + 137, -2*b + 82 = w. Is b a multiple of 21?
False
Let l be (4 - 5) + (-1 - -4). Suppose l*q - q - 10 = 0. Is q a multiple of 5?
True
Is 11 a factor of 0 + 2/4*88/1?
True
Let l = -4 + 2. Let o be 23 - (0 + 1 + l). Let r = o - 11. Does 12 divide r?
False
Suppose -2*a - 2 = 0, 3*y - 56 = -a - 9. Suppose t = 4*o + 14 + 3, -t = -3*o - y. Is 13 a factor of t?
True
Suppose -2*r = -0*r + 12. Let f(v) = -2*v - 14. Let a be f(-6). Is (18/a)/(r/6) a multiple of 4?
False
Suppose -5*m - 4*j = -333, -2*m + 6*j = 3*j - 147. Is 10 a factor of m?
False
Let f(r) = -5 - r + 5 + 1 + 4. Is f(-6) a multiple of 11?
True
Let l(d) = -d**3 + 4*d**2 - 4*d - 1. Suppose 5*n - 6 = -2*m, -3*m = -0*m + 4*n - 9. Let y be l(m). Let h = y - -9. Is 3 a factor of h?
False
Suppose 4*g = 2*g - d, 3*g = -4*d. Let z = g - -4. Suppose -3*p + z*a + 31 + 14 = 0, -2*p + 28 = -2*a. Does 4 divide p?
False
Suppose 73 = f - 3*o + 8*o, 4*f - 3*o - 177 = 0. Does 12 divide f?
True
Suppose 3*f + 0*f + 5*q = 87, 4*f + 5*q = 111. Let v = 48 - f. Does 24 divide v?
True
Let c(x) = x + 3. Let s be c(0). Is 15 - (s/3 - -2) a multiple of 3?
True
Is (1 - 3 - 49)/(-1) a multiple of 17?
True
Is ((-6 + -4)*2)/(1/(-2)) a multiple of 20?
True
Suppose 0*r = 5*r - 20. Suppose -r*g = -5*a - g + 28, g + 1 = 0. Is 5 a factor of a?
True
Let q be 2/4*(-256)/(-4). Suppose -5*a - q = -9*a. Let v = a - 4. Is 2 a factor of v?
True
Let w(q) = q**2 + q - 9. Is w(-6) a multiple of 4?
False
Suppose 50 = 2*q + 2*v, -q - v + 52 = q. Does 10 divide q?
False
Suppose 2*b - b - 34 = -5*g, 5*b + 2*g - 124 = 0. Does 12 divide b?
True
Let p be (-1)/((-2)/4*2). Suppose 2*r - 3 - p = 0. Suppose r*n = -n + 24. Is 4 a factor of n?
True
Let p(b) = -2*b - 5. Let w be p(-4). Let h(t) = w*t**2 + 3*t**2 - 4 - 4*t**2 + 3*t. Is 5 a factor of h(-3)?
True
Let u be (1 + 0 + -1)/(-2). Suppose -k + 3 = -u*k. Suppose 0 = 5*b - 20, f + k*b - 47 = -7. Is 14 a factor of f?
True
Suppose -21 = -5*l - 6. Suppose 9 + 12 = l*y. Suppose 2*c - y*c + 70 = 0. Is c a multiple of 8?
False
Let g(h) = 8*h - 3. Let c be g(4). Let v = c - 4. Let x = v + -1. Is 8 a factor of x?
True
Let n be (-3)/((-6)/23)*-2. Suppose -3*u + 0*b + 121 = b, u - 39 = b. Let d = n + u. Is d a multiple of 13?
False
Let h(r) = -r**2 + 16*r + 18. Is h(16) a multiple of 6?
True
Let m = -1 + -1. Is m - 5*(0 + -3) a multiple of 7?
False
Suppose 5*p + 2*f = 176, 0 = 6*f - f - 15. Let r = p + -1. Is 14 a factor of r?
False
Suppose l - 7 = -2*u - u, 0 = -l - 2. Let p = 5 - u. Does 7 divide ((-6)/8)/(p/(-24))?
False
Suppose 4*g = 2*g + 3*a + 39, 3*g - 56 = 2*a. Does 16 divide g?
False
Let a be (-176)/(-12)*6/(-4). Let n be (8*6)/((-4)/a). Does 13 divide 8/(-20) + n/10?
True
Let i = 6 + 5. Is 3 a factor of i?
False
Let b be (-45 - (2 - 0))/(-1). Let c = b - 22. Suppose -2*y - c = -3*y. Does 17 divide y?
False
Is 43 a factor of 2*(5 + 4)*14?
False
Suppose 4*p + 18 = 3*p. Let l = p - -46. Does 14 divide l?
True
Suppose -3*t + l = -673, 0 = -0*t + t - 5*l - 229. Is t a multiple of 14?
True
Let u(i) = i**3 - 3*i**2 + 4*i + 3. Is u(3) a multiple of 15?
True
Let j be 20/15*(-9)/6. Is (-138)/(-8) - j/(-8) a multiple of 6?
False
Suppose 391 = 6*d - 41. Does 8 divide d?
True
Let y(j) = 3*j + 1. Let z(c) = 4*c + 1. Let u(n) = 7*y(n) - 5*z(n). Is u(3) a multiple of 5?
True
Let u(z) = -z**2 - 7*z - 1. Let k(c) be the second derivative of -c**5/5 + c**3/6 + c. Let g be k(1). Is 11 a factor of u(g)?
True
Suppose 3*k + 35 = -5*o - 11, o + 23 = 4*k. Let t = -3 - o. Let l = t - -11. Does 19 divide l?
True
Let t(c) = c**2 + c - 1. Let b be 32/18 - (-4)/18. Suppose -b*x = -x + 6. Is 13 a factor of t(x)?
False
Does 13 divide 1248/(5 + -1)*(-12)/(-9)?
True
Is (-2)/(-7) - (-21520)/140 a multiple of 31?
False
Let x(l) = -4*l - 3. Is x(-4) a multiple of 12?
False
Let l(m) = m**3 - m**2 + m + 8. Let q(y) = 5*y**3 - y. Let n be q(1). Is l(n) a multiple of 11?
False
Let j(s) = s**3 - 5*s**2 - 2*s + 9. Let h be j(6). Let l = -11 + h. Is l a multiple of 7?
False
Let d(v) = 3*v**2 - 4*v**2 - 2*v - 3*v**2 + 5*v**2. Let a be d(6). Let z = -13 + a. Does 5 divide z?
False
Let v(w) = 10*w**2 - w. Let i be v(1). Suppose 5*f + 106 = -i. Let h = f + 45. Is h a multiple of 11?
True
Let m(x) = x**3 - 2*x**2 - 6*x + 2. Suppose t - 13 = -5*q - 2*t, -2*t - 18 = -2*q. Is 17 a factor of m(q)?
False
Let s = 26 - 15. Suppose -2*z + 22 = -3*g, 3*z - 4*z - 2*g + s = 0. Is 4 a factor of z?
False
Let k be 8/(-28) - 103/7. Let f = 18 - k. Is f a multiple of 11?
True
Let m be (-12)/(-9)*9 - 1. Let d = -7 + m. Is 2 a factor of d?
True
Suppose -3*l + 76 + 179 = -3*j, 0 = -2*j. Does 4 divide l?
False
Let i = 3 - -3. Suppose -2*u + 10 = -i. Is 8 a factor of u?
True
Let k(f) = -f**2 - 19*f - 15. Is k(-10) a multiple of 25?
True
Does 3 divide (6/18)/(2/36)?
True
Suppose 3*v + j = 87, -4*v + 156 = v - 2*j. Is v/(1 - (-1)/2) a multiple of 12?
False
Suppose 2*o - 29 = -3*t + 36, 3*t - 2*o - 49 = 0. Is t a multiple of 4?
False
Let f = -16 + 16. Suppose 3*j + 5*z - 99 = f, -6*j + 3*j + 69 = -5*z. Is 14 a factor of j?
True
Suppose 0 = -4*q + 5*o + 21 - 3, 0 = -5*q - 5*o. Suppose -5*s = -2*b + 13, 4 = -4*b - q*s + 42. Is 12 a factor of 1 + 29 - b/3?
False
Suppose b = 7 + 20. Does 6 divide b?
False
Suppose -3*o + 1 = i, -2*o - 2*i + 4 = 2*i. Does 25 divide (50/4 - o)*2?
True
Suppose -d = 3*h - 44, 0*d - d + 40 = 2*h. Does 8 divide d?
True
Let b be -1 +