+ 3*b**2 + b + 3. Let c be v(-3). Suppose -4*n = 16, -2*n + c = 5*k - 73. Does 9 divide k?
True
Let f = 180 - 20. Suppose f = 3*i + 16. Suppose 3*o - o = i. Does 12 divide o?
True
Suppose -2*c + 58 = -0*c. Does 8 divide c?
False
Suppose 0 = 7*a - 9*a + 5*r + 497, 3*r - 276 = -a. Is a a multiple of 29?
True
Suppose -3*z + k + 4 = -90, -3*z = -3*k - 102. Does 15 divide z?
True
Is (-2 - (-24)/11) + (-17990)/(-154) a multiple of 39?
True
Is 12 a factor of (-252)/(-5) + 5 - (-3)/5?
False
Suppose 5*s - 7 = 18. Let q be ((-4)/(-6))/((-6)/144). Let p = s - q. Does 7 divide p?
True
Suppose 3*f - 86 = x, 5*x + 122 = 7*f - 3*f. Does 28 divide f?
True
Suppose -2*d = -3*d + 17. Let s = d + -10. Is s a multiple of 6?
False
Let q(a) = -93 + 0*a + 96 + 2*a. Is q(8) a multiple of 15?
False
Let k(x) = 2*x**3 + 3*x**2 - 3*x. Let p(g) = -g + 2. Let o be p(10). Let d be (-3)/12 + (-18)/o. Is 11 a factor of k(d)?
True
Suppose -5*f + 7 = -2*s - 38, 0 = -2*f + 3*s + 7. Is 4 a factor of f?
False
Let j(l) = -l**3 + l**2 - l + 147. Let z be j(0). Let g = z + -55. Does 20 divide g?
False
Let c = 18 + -11. Let t be (-2)/7 - (-163)/c. Let h = 13 + t. Is 17 a factor of h?
False
Let a(v) be the third derivative of v**5/60 + v**4/4 - 5*v**3/6 - 2*v**2. Let o be a(-7). Let m(x) = 3*x**3 - x + 2. Is m(o) a multiple of 8?
True
Let q(i) = -7*i + 3. Does 19 divide q(-5)?
True
Let q = -14 + 0. Let f be (-1 - 2/(-4))*q. Suppose -4*j = -f*j + 33. Is j a multiple of 5?
False
Let l(j) = 2*j + 5. Let k(d) be the third derivative of -5*d**4/24 - 5*d**3/2 + 2*d**2. Let g(s) = -4*k(s) - 11*l(s). Does 12 divide g(-5)?
False
Let m(a) be the third derivative of a**5/60 - a**4/3 - 4*a**3/3 + 9*a**2. Suppose 0*u = -u + 10. Is 8 a factor of m(u)?
False
Let t = 76 - 42. Let s = 2 - -1. Suppose -k - t = -s*k. Is 17 a factor of k?
True
Let p(l) = 9*l**2 - l. Let i be 4/14 + (-5)/(-7). Let m be p(i). Suppose -3*y - 1 = -6*v + 2*v, -3*v + 4*y = m. Is 4 a factor of v?
True
Is ((-161)/(-4))/(34/8 + -4) a multiple of 23?
True
Let s(w) = -6*w + 5. Is s(-10) a multiple of 13?
True
Suppose 2*x = -x + 12. Let s = 17 - x. Is s a multiple of 13?
True
Suppose -r = -0*r - 3. Suppose r*c - c + 82 = 2*w, 5*c = 3*w - 121. Is 21 a factor of w?
True
Let a(r) = -46*r + 20. Is 31 a factor of a(-4)?
False
Let l = -3 + 30. Suppose l = 5*x - 43. Is x a multiple of 9?
False
Let m(v) = -v + 3. Let s be m(0). Suppose n = -0 + s. Suppose -h - c + 27 = 0, -n*c - 75 - 61 = -4*h. Is h a multiple of 13?
False
Let c be (-4)/(-10) - 6/15. Suppose c*i + 2*i = 4. Suppose -5*x - 25 = 0, i*x + 3*x - 105 = -5*z. Is 9 a factor of z?
False
Suppose 4*b - 3*m + 4 = 0, -2*b - 19 = 2*m - 3. Let j(a) = -13*a - 3. Is 18 a factor of j(b)?
False
Let h = 445 + -165. Suppose -h = -5*p + p. Does 10 divide p?
True
Is 2 a factor of 5/(-4 - 13/(-2))?
True
Suppose -2*u + 2 = -4*x, 0 = -2*u - 2*u - 2*x + 14. Suppose 0 = -5*f - 2*s + 88 + 83, -u*f = s - 103. Is 7 a factor of f?
True
Let i(k) = k. Let a be i(-3). Is 6/(-9) + (-23)/a a multiple of 7?
True
Is 2/6 - (-791)/21 a multiple of 19?
True
Suppose 17*f = 11*f + 354. Is 6 a factor of f?
False
Suppose l - 3*u - 21 = 0, -2*l + 0*u = 2*u - 18. Let m = 27 - l. Is m a multiple of 5?
True
Suppose -z + 24 + 216 = 0. Is z a multiple of 16?
True
Let d = 22 + -17. Let q = -2 + d. Is q even?
False
Let v(o) = o**2 + 6*o - 4. Let h be v(-7). Suppose -h*c + 98 = -3*t - 193, 2*c - t = 189. Suppose -3*j = j - c. Does 11 divide j?
False
Does 26 divide (-808)/(-16)*2/1?
False
Let l(j) = 3 - j + 2*j + 10*j**2 - 3*j - 2*j. Does 21 divide l(3)?
False
Suppose 4*n + 4*l + 243 = 5*l, -75 = n - 5*l. Let t = n - -89. Is t a multiple of 5?
False
Let g be ((-129)/6)/((-2)/4). Suppose -q - q + 4 = 0. Suppose -g = -q*b + 33. Is 19 a factor of b?
True
Let q be -1 - (-29)/(-1) - 0. Let o(s) = -s**2 + 5*s - 8. Let r be o(6). Let n = r - q. Does 8 divide n?
True
Suppose -k = k - 68. Suppose p + 2 - k = -4*h, 3*h + 2*p - 24 = 0. Is 8 a factor of h?
True
Suppose -5*s = -s - 372. Let i = s - 62. Is i a multiple of 8?
False
Let v = 4 - 11. Let i(d) = -d**2 - 8*d + 9. Does 9 divide i(v)?
False
Suppose -240 = -8*d + 4*d. Is d a multiple of 12?
True
Let m(p) = -p - 2. Let i be m(-7). Let u = i - 0. Is (1/(-3))/(u/(-105)) a multiple of 6?
False
Suppose 5*f - 57 = 48. Let j be 3/(-2 - -11)*12. Suppose 2*w + 2*n = 3*n + f, -52 = -j*w + 4*n. Is 5 a factor of w?
False
Is (-502)/(-8) + (-1)/(-4) a multiple of 21?
True
Let d(q) = q + 10. Let j be d(-7). Suppose -35 = -8*b + j*b. Is 7 a factor of b?
True
Let c(j) = j + 14. Let t be c(-10). Suppose y + 47 = 3*u - 0*y, -t*u - 5*y = -69. Does 8 divide u?
True
Suppose 0 = -4*v + n + 4 + 7, -2*n = v + 4. Is v even?
True
Let f(o) = -o**2 - 10*o + 9. Let n be f(-10). Let x = n - 4. Is x a multiple of 5?
True
Let z = -30 + 78. Is 16 a factor of z?
True
Suppose 159 = 3*z - 3*p, -5*p = -2*z + 62 + 56. Does 19 divide z?
False
Let f(o) = -16*o**3 - 1. Is 15 a factor of f(-1)?
True
Let s(a) = -26*a - 82. Is s(-8) a multiple of 18?
True
Let x(f) = 3*f**2 - 9*f - 2. Let u(h) = 7*h**2 - 19*h - 5. Let p(s) = 2*u(s) - 5*x(s). Does 3 divide p(5)?
False
Let z(w) = w**3 - 5*w**2 - 4*w + 4. Let u be z(5). Is 8 a factor of u/(-40) + 113/5?
False
Suppose -3 = 3*n + 9. Let r be 1/n - 68/(-16). Suppose r*d = -0*d + 40. Does 10 divide d?
True
Suppose -2*j = 6, 4*g - 2*j - 41 = -g. Let x(w) = g*w + 2*w + 0*w. Is 27 a factor of x(3)?
True
Let r(i) = -24*i - 50. Is 8 a factor of r(-5)?
False
Suppose 12 = 2*g + 2. Is 3 a factor of g?
False
Let x(z) be the first derivative of 55*z**3/3 + z + 8. Is x(1) a multiple of 14?
True
Suppose -5*u - 2*r = -59, -u + r + 53 = 4*u. Is u a multiple of 11?
True
Let m(q) be the second derivative of q**3/2 + 3*q**2 + 2*q. Let o be m(7). Let f = o + -19. Does 8 divide f?
True
Is (-5 - -6)/((-2)/(-94)) a multiple of 31?
False
Let t = -16 - -17. Is (-61 + t)/(3/(-3)) a multiple of 12?
True
Let q(d) = 6*d**2 + 2 - 3*d + 2*d + d**3 - d**2. Suppose 6 - 1 = -r. Is q(r) a multiple of 7?
True
Suppose 48 = 2*w + 2*w. Let v = w + -8. Suppose 0 = -v*l + 6*l - 36. Is l a multiple of 7?
False
Let u be (-3 - -2)/(1/12). Let i be ((-9)/u)/((-2)/(-8)). Suppose -3*m - 24 = -i*s - 0*s, -4*s + 8 = 2*m. Does 2 divide s?
True
Let x be -1*18*(-2)/6. Suppose -2*o + x*o = 168. Does 14 divide o?
True
Let u be (-40 - 5)*(-2)/3. Let v = -2 + u. Is v a multiple of 13?
False
Suppose 3*g + g - 20 = 0. Suppose g*o - 11 = -1. Is 3*o/(2 - 0) even?
False
Let a = 95 + -140. Let g = a - -84. Is 12 a factor of g?
False
Let i = 0 - 15. Does 5 divide (-366)/i + 6/(-15)?
False
Let a = 121 - 61. Is 12 a factor of a?
True
Suppose 2*k = 5*s - 43, -3*s + 6*k - 4*k = -29. Is s a multiple of 5?
False
Suppose -5*k + 2*k + 15 = 0. Suppose 0 = -k*o - 4*w + 30, 4*o - w - 25 = -4*w. Is 10 a factor of o?
True
Let k be (-9)/(-6)*10/3. Let c be (-1)/2 + 483/6. Suppose -5*t + 24 = x - 2*t, -k*t = -5*x + c. Does 9 divide x?
True
Let n be (-8)/(-12) + 76/(-6). Let c be n/(-4) + (-95 - 2). Let l = -65 - c. Is l a multiple of 11?
False
Let o = 7 + -8. Let m be (-5 + o)*(-2 + 3). Let v(j) = j**2 + 3*j - 8. Is v(m) a multiple of 5?
True
Let b = -11 - -13. Suppose b*m = 3*m - 39. Does 13 divide m?
True
Let r = -380 - -220. Is 23 a factor of (48/(-10))/(12/r)?
False
Suppose 10*m - 315 = m. Is m a multiple of 9?
False
Let n(z) be the first derivative of -z**3/3 + 5*z**2 - 6*z - 2. Is 6 a factor of n(4)?
True
Let n = 19 + -19. Suppose -5*m + 25 = 0, n*b + 4*m = -5*b + 125. Is b a multiple of 6?
False
Let j(o) = 8*o**2 - 8*o. Does 15 divide j(-5)?
True
Suppose 410 = 2*h + 160. Does 25 divide h?
True
Let d(s) = 117*s. Does 26 divide d(2)?
True
Suppose 6*s + 2*t + 16 = s, -2*s = -t + 10. Let k(v) = -22*v - 5. Is k(s) a multiple of 23?
False
Let w be (12/10)/(6/(-80)). Let m = w - -32. Is m a multiple of 11?
False
Suppose 5*g = -15, 3*g + 39 = p - 2*g. Does 11 divide p?
False
Suppose p + 21 = -3*z, 0*p = -p - 4*z - 26. Does 13 divide (-18)/(-54) - 310/p?
True
Let s(t) be the first derivative of t**2 + 1/3*t**3 + 2 - 2*t. Is 13 a factor of s(3)?
True
Let b = -110 + 119. Is 3 a factor of b?
True
Let j = -18 + 20. Suppose 2*p - 3*q - 43 = -j*q, 3*p - q = 67. Does 6 divide p?
True
Let p = 11 + -18. Let x be -4 - p - (2 + -1). Suppose o - 76 = -x*o + s, 4*s = 3*o -