 Does 13 divide b?
True
Suppose -k = -4 + 2. Suppose k*r = c + 21, -5*r = -0*c + 4*c - 46. Is 10 a factor of r?
True
Let z = -8 + 11. Suppose 2*l + 5*y - 25 = 0, l = -0*l - z*y + 15. Suppose -4*i + 2*m = -30, l = -i - m - m - 5. Does 2 divide i?
False
Let b be -1*(2*-1)/2. Does 4 divide 5 + b + (0 - -1)?
False
Suppose 0 = -3*z + 12. Suppose -w + 325 = z*w. Let k = w - 29. Is k a multiple of 15?
False
Let a be (-1)/2 + 3/6. Suppose -4*j = -a - 8. Suppose -2*n - 3*n + i = -20, 4*i + 26 = j*n. Is n a multiple of 3?
True
Suppose 0 = -j + 2*j - 4*r + 12, 2*j - 4*r = -20. Let w = j - -11. Is (-1)/(-1)*(19 + w) a multiple of 14?
False
Let v(s) = 17*s + 1. Suppose -4 = -4*y - 0. Let u be v(y). Is (u + -1)*(5 + -1) a multiple of 25?
False
Let c be (39/2)/(3/(-4)). Suppose -5*t + 0*t = -5*s + 220, 2*s = -5*t - 241. Let v = c - t. Is 19 a factor of v?
False
Let v be (2*-1 + 2)/(-1). Let x be v/((-5)/(10/4)). Suppose -48 = -3*z + 5*c, x = 5*z - 5*c - 16 - 54. Is z a multiple of 6?
False
Let o = -4 - -2. Let g = o + 6. Suppose -63 = -g*h - 7. Is h a multiple of 14?
True
Let o(r) = 8*r + 8. Let z be o(8). Let l be (-4)/(-6)*(2 + 1). Suppose p + l*p = z. Is p a multiple of 12?
True
Suppose 3*v = 3*h - 15, 0*h - 4*v = 2*h + 8. Suppose -h*f = p + 34 - 97, 2*f + 5*p - 83 = 0. Is 11 a factor of f - ((-2 - -1) + 0)?
False
Suppose 0 = -3*m + 3*l, 0*l + 9 = 2*m + l. Let v be -3*(4/m)/(-4). Let n(f) = 24*f**3 - 2*f**2 + 2*f - 1. Is 9 a factor of n(v)?
False
Let q(n) = -n - 1. Let z be q(-5). Suppose 0 = f - z - 6. Let j = f - 7. Does 3 divide j?
True
Suppose 2*a + 50 = -0*a. Let c = a - -51. Does 13 divide c?
True
Let s = -513 - -869. Does 13 divide s?
False
Is -22*(-1)/((-8)/(-4)) a multiple of 11?
True
Let g(l) = 6*l**2 + l. Let o be g(-1). Suppose -o*p + 35 = 2*s - 0*p, -2*s + p = -65. Is 12 a factor of s?
False
Let q = -1 + 2. Let n = 13 - q. Does 6 divide n?
True
Let k = -21 - -32. Is 11 a factor of k?
True
Let s = -7 - -1. Let o(u) = u**3 + 8*u**2 + 9*u + 5. Is o(s) a multiple of 20?
False
Suppose -18*b = -19*b + 9. Is 3 a factor of b?
True
Suppose -2*c = -7*c. Suppose -20 = 5*p, -2*p = a - c*a - 35. Does 18 divide a?
False
Let h(g) = -g**2 - g - 4. Let i(f) = -f**2 - f - 3. Let y(c) = 2*h(c) - 3*i(c). Let s be y(2). Suppose -5*m - s*r = -2*r - 30, -m = 4*r - 9. Is 2 a factor of m?
False
Let t = 64 - 33. Let v = t + -17. Is v a multiple of 3?
False
Does 12 divide (-17*8)/(-1 + 1/3)?
True
Let z be 1836/(-16) + 6/8. Let p = z - -161. Does 21 divide p?
False
Let n(j) = j**3 + 5*j**2 - 4*j + 1. Is n(3) a multiple of 12?
False
Suppose -4 = -v - 1. Suppose q = -2*q + 5*o + 40, 3*q = -v*o. Is q a multiple of 4?
False
Suppose -h = -3*d - 94, -5*d = -0*h - 2*h + 188. Is h a multiple of 20?
False
Let d(q) = -2*q - 2 - 2 - 9*q. Is 14 a factor of d(-6)?
False
Suppose 6 = -q + 21. Is q a multiple of 3?
True
Suppose -2*h - 21 = -43. Is h a multiple of 11?
True
Let q = -10 + 6. Is 11 + 2 + q/2 a multiple of 11?
True
Let p = -1 + 3. Let n = p + -11. Is (n/6)/((-1)/14) a multiple of 12?
False
Let n = -9 - -15. Is 16 a factor of 94/6 - n/(-18)?
True
Let x be (-2)/(-1)*1/1. Suppose 0 = x*n - 7*n - 50. Let t = -4 - n. Does 3 divide t?
True
Suppose -4*c = c - 5, -4*c = 2*g - 52. Suppose 2*t - 4*t + g = 0. Is 6 a factor of t?
True
Let j = 3 + -6. Let l be 20/6 - 2/j. Suppose -l*g = 4, -2*g + 4 = 2*m - 0. Is m a multiple of 2?
False
Let i = 3 - -12. Let g = i - 2. Is 5 a factor of g?
False
Let c be 320/(-5) - (1 - 1). Let d = -40 - c. Is d a multiple of 8?
True
Let r(h) be the first derivative of 13*h**2/2 + 3*h + 2. Let g = -5 + 9. Is r(g) a multiple of 21?
False
Let s be 0/(1*(0 - 1)). Let l(i) = 3*i**2 - 4*i - 1. Let o be l(-4). Suppose 5*d - 2*d - 3*b = o, -3*d - 2*b + 38 = s. Is 8 a factor of d?
True
Let n(g) = g + 9. Let l be n(-4). Suppose -s = 3*s + v - 81, 57 = 2*s - l*v. Does 3 divide 1/(0 + 3/s)?
False
Suppose 0 = -5*h + i - 5*i - 23, 3*i = h - 3. Let y(p) = p**3 + 3*p**2 - 5*p - 3. Does 5 divide y(h)?
False
Suppose -3*o = 3*w - 105, o + 3*w - 31 = -0*w. Does 12 divide o?
False
Let c = -1 + 5. Does 3 divide c?
False
Let f = 20 - 41. Let y = f - -37. Is 11 a factor of y?
False
Suppose 0 = 2*g - 52 - 20. Let i = g - 13. Does 10 divide i?
False
Let s(c) = -c**3 - 2*c**2 + 2*c. Let q be s(-4). Suppose 0 = 3*n + 5*m + 17, 4*n = 4*m - 0 - 12. Does 7 divide q - n/(8/(-6))?
True
Let w(y) be the second derivative of -y**5/20 - 13*y**4/12 + 7*y**3/3 + 9*y**2 - 3*y. Is 18 a factor of w(-14)?
True
Let k = -192 + 320. Let v = k - 77. Is 17 a factor of v?
True
Let q(y) = -6*y**3 - y**2. Let m be q(1). Let g = m + 15. Let s = g + 6. Does 7 divide s?
True
Let o be (-2)/(-3) + 20/15. Suppose 4*l - 5*h = o*l + 32, h = 3*l - 35. Is 6 a factor of l?
False
Let p be ((-2)/(-6))/((-10)/(-60)). Is 10 a factor of 4 + (p + -1 - -15)?
True
Suppose 4*o - 3*t = 97 + 21, 5*t = -10. Is 3/(0 - (-6)/o) a multiple of 7?
True
Let y(n) = -n**3 + 17*n**2 + 38*n + 39. Does 10 divide y(19)?
False
Suppose -10*s = -11*s + 14. Is 12 a factor of s?
False
Let k = 9 + -5. Let c = -8 + k. Let j = c + 12. Is j a multiple of 3?
False
Suppose -4*q = -5*k - 3*q, 2*k + 4*q = 22. Let s be (-5 - -6)/(k/61). Let m = -31 + s. Does 15 divide m?
True
Suppose -b = 5*f - 37, -5*b + 10 = 4*f - 28. Is f even?
False
Let t(i) = -i + 29. Does 4 divide t(17)?
True
Let k(m) = m**3 - 5*m**2 + 7*m - 5. Let x be k(4). Let a(r) = r**2 - 5*r - 4. Let i be a(x). Suppose -5*y = s - i, 3*y - y = 3*s - 81. Is s a multiple of 23?
False
Let o be -10*(1 + (-177)/15). Let q = o - 74. Suppose -2*j + 4*v = -12, 4*j + 0*j - q = -2*v. Does 8 divide j?
True
Let u = -6 + 6. Suppose u = -3*g + 55 + 17. Is g a multiple of 12?
True
Let d be 104*1 + 0/(-7). Let m = -53 + d. Is m a multiple of 14?
False
Suppose 59 + 69 = -2*x. Let p = -32 - x. Is 12 a factor of p?
False
Let r(o) = -o + 1. Let h(u) = -19*u**3 - 2*u + 3. Let x(a) = -h(a) + 3*r(a). Is 9 a factor of x(1)?
True
Suppose 3*b + 5*w = 170, b - 2*w = -19 + 83. Suppose b = 3*o + x - 3*x, 25 = o + x. Is 11 a factor of o?
True
Let f(g) be the first derivative of 4*g**3/3 - 3*g**2 + 3*g - 3. Is 14 a factor of f(4)?
False
Let h = 0 + -3. Let s be 1 - (-6)/h - -7. Is 9 a factor of 4*(1 + 21/s)?
True
Let i be 34/2 - 2/(-2). Is 20 a factor of 850/i - 6/27?
False
Suppose -136 = s - 0*s. Let g be (-30)/9*6/1. Does 12 divide (s/g)/((-2)/(-10))?
False
Let o = -10 - -14. Suppose -7 = -o*m + 13. Is 2 a factor of m?
False
Suppose d = -3*z + 203, -5*z + 4*z + 73 = -5*d. Is 17 a factor of z?
True
Let c = -39 - -108. Is c a multiple of 23?
True
Let x = 12 - 7. Does 2 divide x?
False
Let v = -8 + 14. Is 6 a factor of v/(-27) - 112/(-18)?
True
Let h(m) = m**3 - 2*m**2 + 6*m - 3. Suppose 0*s + 8 = 2*s. Let t be h(s). Suppose 4*u - 42 = -2*a, -5*u + 0*a = 3*a - t. Does 10 divide u?
True
Let v be -2 - -5 - -26 - 1. Suppose i + 2*i + 2*r = 22, 14 = i + 2*r. Suppose -i*j + 0*j + v = 0. Does 7 divide j?
True
Suppose 2*z = 4*z - 156. Does 6 divide z?
True
Let r be (106/4)/((-3)/(-6)). Let z = -15 + r. Does 19 divide z?
True
Let n = -72 + 122. Suppose -2*u + n = -26. Let a = u - 16. Does 11 divide a?
True
Let n(b) = b**2 + 8*b + 2. Let d be n(-7). Let p(f) = -20*f - 3. Let l be p(d). Suppose -l = -5*c + 23. Is 12 a factor of c?
True
Suppose 0 = -2*r - 2*r + 3*y + 15, -2*r + 5 = -y. Suppose q + 2 - 6 = r. Is q a multiple of 3?
False
Let k be 2/(-4)*-1*10. Suppose -61 - 39 = -k*v. Suppose -2*p + 3*f + v = 0, p + 4*f + 3 - 2 = 0. Does 6 divide p?
False
Let s(c) be the third derivative of c**4/24 + c**3/6 - 2*c**2. Does 4 divide s(3)?
True
Suppose 0 = w - 4. Let g be 2*(-1)/(-4)*w. Suppose g*z = 3*z - 21. Is z a multiple of 7?
True
Let i(g) = 3*g + 4*g + 2 - 6*g. Let q = -8 + 14. Does 7 divide i(q)?
False
Suppose -5*d + d - 12 = 0. Let z be -2 - -1 - 18/d. Suppose -z*o + 75 = -90. Is o a multiple of 11?
True
Let u(r) = -r**3 - 5*r**2 + 6*r + 6. Let j be 4/(-22) - (-64)/(-11). Let a be u(j). Let d(x) = 4*x - 4. Is 14 a factor of d(a)?
False
Let b = -48 + 88. Is b a multiple of 20?
True
Let z(d) = 0*d**2 + 2*d + 6*d**2 - 5*d**2. Is z(-8) a multiple of 24?
True
Let p(v) = -v**2 - 3*v + 3. Let q be p(-4). Does 8 divide (-4)/10*(q + -29)?
False
Let r(f) = -6 + 12*f + 0*f**3 - 11*f + 8*f**2 + f**3. Is r(-6) a multiple of 23?
False
Supp