**3 + 3*w**2 - 2*w + 3. Let p be c(2). Let v be 206/8 - p/4. Suppose 3*y - v = y - 3*h, -y + 8 = 3*h. Does 14 divide y?
False
Let k = 116 + -77. Is 3 a factor of k?
True
Let z = 129 - 54. Does 12 divide z?
False
Suppose 3*x + 20 = 4*k, -3*x + 4*x + 15 = 3*k. Suppose -312 = -4*l - x*l. Does 16 divide l?
False
Let x = -4 - -24. Does 5 divide x?
True
Suppose 4*i - 228 = -0*i. Does 13 divide i?
False
Let f be 1/(3 + (-28)/8). Does 20 divide (f + 32)/(15/20)?
True
Let k be 0/(-1) + (-1 - -11). Let l = -4 + k. Is (-2 - -1*l)*6 a multiple of 12?
True
Let a = 335 + -189. Is 7 a factor of a?
False
Let k = -5 + 7. Let u be 3 + 4 + -3 + -2. Suppose -k*h + u*i + 34 = -3*i, 10 = -5*i. Does 12 divide h?
True
Let x(g) = 2*g**3 + 37*g**2 - 22*g - 10. Is 47 a factor of x(-19)?
True
Let b(a) = -1. Let g(h) be the third derivative of h**5/60 - h**4/24 - h**3/2 - h**2. Let p(d) = -5*b(d) + g(d). Is p(6) a multiple of 11?
False
Let c(l) = -1 - 3 + 2*l + l**2 + 2*l**3 + 0 - 3*l**3. Is c(-3) a multiple of 13?
True
Let h(y) = -y**2 + 4 + 0*y**2 + 0*y**2 + 8*y. Let g be h(8). Suppose -g*d + 112 = -12. Does 13 divide d?
False
Let l = -458 - -742. Suppose -l = -8*w + 4*w. Is 27 a factor of w?
False
Let k(q) = q**3 - 15*q**2 + 25*q + 18. Is k(13) a multiple of 2?
False
Let t(k) = 2*k**2 + 4*k - 1. Let d(c) = 15*c. Let z be d(1). Suppose 2*h - 7 = 3*b + 2, -4*h - z = 5*b. Is 5 a factor of t(b)?
True
Let v = -95 + -63. Let p = -112 - v. Is 16 a factor of p?
False
Let u = -34 + 133. Is 33 a factor of u?
True
Let j(f) = -f + 10. Let i be j(8). Suppose 6*y = i*y + 92. Does 9 divide y?
False
Suppose 4*f = 2*f + 4, 3*z + 3*f = 738. Suppose 5*k + 5*p - 244 = k, 0 = 4*k - 5*p - z. Let w = -37 + k. Does 12 divide w?
True
Let j(b) = -b**3 + 21*b**2 + 3*b - 3. Is j(21) a multiple of 6?
True
Let x be (-2)/(-9) + (-14)/(-18). Is 4 + (x - 3/1) a multiple of 2?
True
Suppose -2*f - 16*f + 2232 = 0. Is f a multiple of 31?
True
Is 16 a factor of 110 + 0 + 6/3?
True
Suppose 6 = -2*d, 0 = 5*p - 5*d - 45 - 90. Does 8 divide p?
True
Let l(o) = -o**2 - o + 88. Does 22 divide l(0)?
True
Suppose 0 = 5*l - 0 + 5. Let w = -1 + l. Is 0 + 14*w/(-2) a multiple of 7?
True
Let p = 21 + -12. Does 7 divide p?
False
Suppose -9*h + 333 = -153. Is 14 a factor of h?
False
Suppose -5*u + 10*u = 25, y - 7 = -3*u. Let o(d) be the first derivative of -d**3/3 - 4*d**2 + 4*d - 2. Is o(y) even?
True
Suppose -2*j + f = -j - 5, 0 = -f - 3. Let u be -2 - j*(-10)/2. Is 4 a factor of (1*u)/(3/3)?
True
Let s(c) = -7*c - 6. Is s(-5) a multiple of 17?
False
Suppose -14*j = -13*j - 27. Is 14 a factor of j?
False
Suppose -7 = -h - 0. Suppose -4*s - h - 21 = 4*g, -2*g + 2*s = -2. Is 2/3 + (-52)/g a multiple of 8?
False
Let q(p) = -p**2 + 8*p - 8. Let r be q(6). Suppose -r*h = -20, 2*x - 31 - 19 = -2*h. Is 12 a factor of x?
False
Does 34 divide (9/(-2))/((-13)/390)?
False
Let z = 3 + 3. Is z a multiple of 6?
True
Does 20 divide ((-330)/21)/(4/(-28))?
False
Let l(u) = -2*u**3 + 3*u**2 + 2*u - 3. Let j be l(3). Let n = j + 17. Does 7 divide 1*n*2/(-2)?
True
Let v = 1 + -2. Does 6 divide 13 - (v/(-1) - -2)?
False
Let i be 42/9 - (-2)/6. Let l(s) = -i*s - s**3 + 17 + s**2 + 5*s. Is l(0) a multiple of 11?
False
Suppose -3*v - 2*v = -35. Suppose -s = 3 - v. Is s/(-6)*-54*1 a multiple of 18?
True
Suppose -5*n + 11 = -4. Suppose -n*o - 21 = -54. Let g = o + -3. Does 4 divide g?
True
Let n = 4 + 20. Does 24 divide n?
True
Suppose 138 = 3*m + 4*v, 9*v + 153 = 4*m + 4*v. Does 14 divide m?
True
Let c(h) = -h**3 + 3*h**2 + 2*h - 14. Does 16 divide c(-6)?
False
Let z(f) = 3 - 4*f**3 - 2*f - 8*f**3 - 2*f**2 + 6*f + 11*f**3. Let k(o) = -o**3 - 9*o**2 - 6*o + 11. Let s be k(-8). Is 23 a factor of z(s)?
False
Let j(b) = -b**3 - b**2 + 2*b + 2. Let y be j(-2). Suppose -4*u = -y*u + 12. Let o = u + 8. Is o even?
True
Let n be 2/((5 + -2)/(-66)). Let p = -4 - n. Is 23 a factor of p?
False
Let v(q) = -5*q + 9*q + 8*q. Does 4 divide v(1)?
True
Suppose -4*z = -2*i + 22, -i + 4*z = -z - 17. Let s = i - 11. Is 6/(s + 1) - -17 a multiple of 9?
False
Suppose 0*f = -5*f. Suppose 0 = 4*h - 12, 0 = -f*i + i - h. Suppose i = z - 12. Does 15 divide z?
True
Is 15 a factor of 2/((-612)/309 - -2) - -2?
True
Let f(m) = m**3 + 6*m**2 + 5. Let u be f(-6). Let s be (18/u)/((-2)/(-10)). Is 18 a factor of s*(1 + 0/2)?
True
Let o be 7/(-2) - (-27)/18. Let p(t) = -2*t**3 + t - 2. Is p(o) a multiple of 6?
True
Let m(g) = g**3 + 4*g**2 - 6*g - 4. Suppose 0 = -2*b - 5 - 5. Let w be m(b). Let d(k) = 12*k**3 - k**2. Is 11 a factor of d(w)?
True
Suppose 4*r + 108 = r. Let a be (-172)/r - 4/(-18). Suppose -a*q = -24 - 11. Does 7 divide q?
True
Let b(m) = -m**2 - 7*m - 5. Is 2 a factor of b(-2)?
False
Let j be (-2)/(-3)*(-99)/6. Let w = j - -18. Is w a multiple of 2?
False
Suppose 0 = 2*i + 5 + 1. Let l = -3 + i. Is 15 a factor of (68/l)/(2/(-3))?
False
Let t(s) = -3*s - 6. Let c be t(-5). Suppose -3*g + 4*k = 10, 4*k - k - 1 = -g. Does 12 divide (c/12)/(g/(-64))?
True
Let a(r) = 5*r**2 + 2*r + 8. Let s(j) = -11*j**2 - 4*j - 17. Let t(l) = -13*a(l) - 6*s(l). Does 13 divide t(5)?
True
Suppose 2*c - w - 6 = 0, -w + 4*w = -12. Suppose 3*x - c - 23 = 0. Is 4 a factor of x?
True
Let q = 29 - 26. Suppose q*l - 29 = 112. Is 7 a factor of l?
False
Let q = 26 + -47. Let u be (-12)/4 + 7 - -26. Let x = q + u. Is 6 a factor of x?
False
Let o(l) = -l. Let w(j) = -4*j + 9. Let f(m) = 3*o(m) - w(m). Let a be f(11). Suppose 4*h = a*h + 20. Does 4 divide h?
False
Let l(v) = 3*v + 3. Let i = -11 - -14. Suppose -o + 10 = i. Does 11 divide l(o)?
False
Suppose -18 = -2*g + 4. Let v(b) = b - 12. Let z be v(5). Let i = z + g. Is i a multiple of 3?
False
Suppose -5*n - 249 = -5*p - 24, -3*p - 3*n = -129. Does 22 divide p?
True
Let p = 2 + 30. Is 7 a factor of p?
False
Suppose -5*k = 2 + 43. Does 16 divide (k + 3)*22/(-6)?
False
Suppose 6 = 4*k - 3*y + 15, -5*k + 5*y - 15 = 0. Suppose k*c = 5*n + 5*c, -2*c - 2 = n. Suppose -v = n - 14. Is v a multiple of 12?
True
Let q = -6 - -10. Suppose -3*s = -q*d - 40, 26 = 4*d - 4*s + 70. Let z(x) = -4*x - 8. Is z(d) a multiple of 13?
False
Let k(f) = -f**3 - 6*f**2 + 6. Let i be k(-5). Let w = -8 - i. Let h = 16 - w. Does 3 divide h?
False
Suppose 5*c - 8 = g + 36, 4*g + 5*c = -151. Let s = g + 57. Is 12 a factor of (9*2)/(s/24)?
True
Let u be 4/6 + (-16)/(-3). Let m = u + -3. Is m a multiple of 3?
True
Let u = -32 + 10. Let v(p) = 3*p - 1. Let i be v(1). Is u/(-10) - i/10 even?
True
Let q(a) = -a**3 + 11*a**2 + 5*a - 7. Is q(11) a multiple of 16?
True
Let q(t) = -t + 1. Let x(w) = 9*w - 10. Let v(y) = -2*q(y) + x(y). Let l be v(8). Suppose -6*d = -2*d - l. Is 19 a factor of d?
True
Suppose f = -q + 24, 0 = -4*f - 20 - 0. Let h(x) = 23*x**3 + x**2 - 2*x + 1. Let o be h(1). Suppose o = 4*c - q. Does 13 divide c?
True
Suppose -5*a + 3*r = -761, a = 5*a + 3*r - 598. Is a a multiple of 21?
False
Let o be 12*(4 - (-55)/(-15)). Let f(h) = -h**3 + 3*h**2 + 5*h + 3. Let d be f(-3). Suppose -l = -d + o. Is 18 a factor of l?
False
Suppose -2*a - 5*b + 31 = 0, -14 = 2*a - 2*b - 2*b. Suppose 0 = 3*r - p - 20, r - 2*p = a*r - 24. Does 5 divide r?
False
Suppose -2*g - 24 = -6. Is (-3)/g + 256/6 a multiple of 20?
False
Let t(b) = b**3 + 8*b**2 - 3*b - 9. Is t(-6) a multiple of 20?
False
Let q be (30/(-8))/((-9)/24). Suppose -n + q = -0. Is 4 a factor of n?
False
Let k(q) = q**3 + 7*q**2 + 4*q. Does 3 divide k(-6)?
True
Suppose -12 = 3*y - 93. Suppose 3*n - y = -l, 0*l - 5*l = -4*n - 135. Does 9 divide l?
True
Suppose -2*a + 4*a = 5*n - 60, 2*a + 2*n = -60. Is 19 a factor of 76/3*a/(-20)?
True
Let k(y) = 2*y**3 - 2*y**2 + y - 4. Let i(a) = -2*a**3 + a**2 - a + 4. Let f(j) = 3*i(j) + 4*k(j). Does 12 divide f(4)?
True
Let n(d) = 9*d - 1. Does 13 divide n(3)?
True
Let v = -5 - -6. Let l(d) = -v + 2 + 2 - d**3 - 5*d**2. Is 3 a factor of l(-5)?
True
Let l(b) = -b**3 - 3*b**2 - 3*b. Let r be l(-3). Let v = -1 + 6. Suppose -r = -v*j + 31. Is j a multiple of 8?
True
Let d(w) = -w**2 - 9*w + 4. Let f be d(-9). Suppose 35 = h + f*h. Let q(z) = z**3 - 7*z**2 + 3*z - 6. Is 9 a factor of q(h)?
False
Suppose 239 = 9*u - 121. Is u a multiple of 20?
True
Let c = -4 - -6. Suppose 0*w = -2*o + w - 113, 2*o = c*w - 108. Let p = o - -98. Does 16 divide p?
False
Does 7 divide (-1)/(-3)*(21 + 0/