et p be v(w). Let s(b) = -b**3 + 7*b**2 - 7*b + 5. Does 10 divide s(p)?
True
Suppose n + 20 = -3*n, -4*b = 3*n - 1. Suppose b*v - v = -585. Is 3 a factor of v/(-21) + 10/(-35)?
True
Let z = 33 - 31. Suppose 3*g = -5*n + 141, 3*g - 53 = -z*n - 2. Is 5 a factor of n?
True
Let q(k) = k + 35. Let z be q(-32). Suppose -11 - 9 = -4*f. Suppose 2 = -y, z*y = -f*u - 2*y + 120. Is u a multiple of 26?
True
Suppose 2*r = 129 - 21. Suppose -q = q - r. Suppose 5*o - 2 = -2*j, -2*j + q = -j - 4*o. Is j a multiple of 5?
False
Let f be 6*(39/9 + -2). Let t = 11 - f. Let a = t - -30. Is a a multiple of 6?
False
Let d(s) = 11*s + 293. Does 61 divide d(51)?
True
Let l be (8 + -3)/5*-34. Let m = l + 76. Is m a multiple of 16?
False
Suppose 3*y + 5*c = 2*y + 1, 0 = -2*y + 4*c + 30. Let p = -1 - 2. Let t = y - p. Is t a multiple of 7?
True
Suppose 0 = -2*s + 4*v + 586, 5*s = v + 3*v + 1441. Is 51 a factor of s?
False
Let a(g) be the third derivative of 13*g**6/40 + g**5/30 - g**4/8 + g**3/6 + 32*g**2. Is 13 a factor of a(1)?
True
Suppose -8 = d - 3*d. Suppose p + 4 = 2*v - 0*v, d*v = 3*p + 8. Suppose b + 0*b = v, -161 = -5*r + 2*b. Is 10 a factor of r?
False
Suppose 2*f + 42 = 5*f. Let a(x) = 15*x - 5 + 4 - x**2 + 5. Is 18 a factor of a(f)?
True
Is -1*(-2)/(-3)*(-78057)/42 a multiple of 59?
True
Suppose 2*g = -4*b + 22, -5*b - g + 5 = -3*g. Suppose b*k + c - 53 = 0, -3*k = 3*c - 55 - 8. Does 16 divide k?
True
Suppose -9*k = -4*k - 10. Suppose -630 = -5*w - 5*b, 114 = w - 7*b + 2*b. Suppose 0 = k*i - 0*i - w. Does 31 divide i?
True
Let z(y) = 2*y**2 - y + 3. Let o be z(7). Is o - -1*(2 + -1) a multiple of 19?
True
Suppose -13*l + 8*l + 15 = 0. Suppose -3*f + 3*h + 252 = 0, -123 = -l*f - 4*h + 157. Is f a multiple of 23?
False
Suppose l = -3*f - 7 - 1, -2*f + 125 = -5*l. Let h = -23 - l. Does 23 divide (-67 - -1)/(h - 1)?
False
Let o = 2 - -9. Let u be (-1 - -1)/(o - 13). Suppose i - 12 - 16 = u. Is i a multiple of 14?
True
Suppose 1500 = -21*p + 26*p. Does 20 divide p?
True
Is (23/((-161)/1400))/(-3 - -2) a multiple of 13?
False
Let n = 101 - -31. Suppose -4*r - 8*r + n = 0. Is 11 a factor of r?
True
Let b(s) = -s**2 + 18*s. Let p be b(18). Suppose 3*c + 2*c - 465 = p. Does 10 divide c?
False
Suppose 5*u - f - 2891 = 0, 0 = -37*u + 36*u - 4*f + 574. Is 4 a factor of u?
False
Suppose -2*y + 40 = -4. Suppose 0*a = -3*z - 5*a + 100, -z = -4*a - y. Does 7 divide z?
False
Let c be (-60)/(-15) + 1 + -5. Suppose -x - 3*x + 20 = c. Suppose -x*d = -51 + 1. Is d a multiple of 3?
False
Let v = 2241 + -2139. Is v a multiple of 34?
True
Let w(g) = -g**2 - 6*g - 5. Let t be w(-2). Suppose 0 = -2*a + 7*a + t*x - 152, 2*x - 36 = -a. Does 14 divide a?
True
Let j = 23 - -1. Suppose 0 = 4*n + 2*r - 44, -3*r - j = -4*n - 0*r. Is n even?
False
Let b = -8456 - -11960. Does 16 divide b?
True
Let f(v) = -39*v + 1. Let n(r) = -155*r + 3. Let j(k) = 9*f(k) - 2*n(k). Is j(-1) a multiple of 18?
False
Let a(l) be the second derivative of 127*l**4/12 + l**3/3 - l**2/2 - 4*l. Is a(1) a multiple of 24?
False
Let a be 6 + 24/(-6 - 0). Suppose 2*b = -4*q + 102, 6*q - a*q = b + 93. Does 12 divide q?
True
Suppose 530*i - 176 = 526*i. Does 3 divide i?
False
Let c(s) = -2*s**3 - 6*s**2 - 2*s + 5. Let a be c(-5). Let t = a + -70. Let n = -21 + t. Is 8 a factor of n?
True
Let q(o) = 148*o**2 + 15*o - 33. Is q(3) a multiple of 16?
True
Let p = 11 + -6. Let n = 8 + p. Suppose -65 = -2*t - n. Does 13 divide t?
True
Suppose 16*k + 2380 = 33*k. Is 71 a factor of k?
False
Let y = 2440 + -1000. Is y a multiple of 20?
True
Suppose 8*t = 6*t + 70. Suppose 3*f + 23 = t. Is f a multiple of 2?
True
Let v(j) be the second derivative of -1/2*j**2 - 5*j + 1/6*j**4 + 0 + 2/3*j**3. Is v(3) a multiple of 29?
True
Let h = 570 - 474. Does 48 divide h?
True
Suppose 44 = 6*d + 14. Is 15 a factor of d/((-26)/(-6) - 4)?
True
Does 13 divide 3/1 - (-18)/(-12)*-102?
True
Let z(p) = p**2 - 37*p + 226. Is 40 a factor of z(31)?
True
Let b = -30 - -32. Suppose 0 = b*o - 4*m - 50, 0*o + m = -2*o + 40. Is o a multiple of 21?
True
Let m = -39 - -563. Suppose k + 3*k - m = -4*n, -237 = -2*n + 3*k. Does 18 divide n?
True
Let p be 1/(3 - 1210/404). Suppose 2*t + p = 2*x, -4*x + 5*t = -0*x - 399. Is x a multiple of 15?
False
Let m(q) = q**3 + 10*q**2. Let y be m(-10). Let b(w) = -4*w**3 - w - 1. Let k be b(-1). Suppose -k*p - 4*c = -y*p - 56, 25 = 5*c. Is p a multiple of 3?
True
Let t be 2/(-2) + 1 + 0. Let w = -87 - -108. Let l = w - t. Is 21 a factor of l?
True
Suppose 4*x + 20 + 32 = 0. Let n(a) = -242 + 3*a - 4*a + 240. Is n(x) a multiple of 5?
False
Let s(p) = 2*p**2 + p - 7. Let y = -12 - -9. Let z(q) = q + 7. Let c be z(y). Does 16 divide s(c)?
False
Let i(a) = -a**3 - 7*a**2 - 10*a - 1. Let s be -3 + 1 + -3 + -2. Let o be i(s). Suppose -y + 2*y = o. Is 23 a factor of y?
True
Let f = 33 + -30. Suppose -2*u + 99 = 6*t - t, 152 = f*u + 4*t. Is 10 a factor of u?
False
Suppose -2*g - 3*y = -81, 0*y - 174 = -4*g - 2*y. Is 9 a factor of g?
True
Suppose 18*i - 4*i = 1596. Is i a multiple of 5?
False
Suppose -q - 4*r - 15 = 0, -3*q - 25 = 2*r - 0*r. Let m be (0/(-1))/(q - -4). Suppose m = -x - 2*x + 18. Is x a multiple of 6?
True
Does 11 divide 3 + 6*(4 + -5)*-60?
True
Let p(v) = 12*v + 60. Let r be p(-5). Is (r - (-108)/3)*1 a multiple of 3?
True
Let q be (-57)/3*8/(-8). Let z(o) = o**3 - 20*o**2 + 22*o + 10. Is z(q) a multiple of 13?
False
Let k be (-2)/((-965)/320 - -3). Suppose 0 = 4*l - 5*l + k. Is 16 a factor of l?
True
Let p(u) = 277*u**2 - u + 2. Suppose g - 3*g = -4*y - 2, -5*y = 0. Is 34 a factor of p(g)?
False
Suppose -86*f + 1939 = -85*f + h, 3*f - 5*h - 5801 = 0. Does 10 divide f?
False
Let n = -51 - -163. Is 14 a factor of n?
True
Let w(x) = -15*x + 8. Suppose -2*b + 2*y = 24, 0 = y - 5 + 1. Let l be w(b). Suppose 22 = 5*u - l. Is 6 a factor of u?
True
Is 14/56*(2 - -594) a multiple of 9?
False
Let h(y) = 3 - 5*y + 2*y - 7*y - 11. Is 11 a factor of h(-3)?
True
Let a(n) = -n**3 - n + 4. Let u be a(0). Suppose -4*w - u*i + 96 = i, -3*i + 17 = w. Does 6 divide w?
False
Let k = -9 + 15. Let t(d) = -d**3 + 6*d**2 + 8*d - 2. Let g be t(7). Suppose -59 = -k*h + g*h. Is 14 a factor of h?
False
Let i(j) = -2*j - 13. Let s be i(-9). Let t = 7 - s. Suppose 62 = -p + t*p. Is p a multiple of 17?
False
Suppose d = 6*d - 15. Is 20 a factor of (d/2)/((-14)/(-1148))?
False
Is 11 a factor of 4/(-10) + 4354/35 - 3?
True
Suppose 0 = 39*t + 1254 - 63381. Is t a multiple of 72?
False
Is 15 a factor of 6/(-168)*-7 - 12954/(-24)?
True
Let m(j) = -16*j**2 + 3*j + 5. Let k(t) = -15*t**2 + 3*t + 4. Let s(p) = -5*k(p) + 4*m(p). Let g be s(2). Suppose q - g = 14. Is q a multiple of 17?
False
Let r = 1 + -15. Is (-346)/r - 2/(-7) a multiple of 7?
False
Let m(l) be the third derivative of -3*l**5/40 - 3*l**4/8 + l**3 - 5*l**2. Let y(r) be the first derivative of m(r). Is y(-12) a multiple of 32?
False
Suppose 13 = -q - z + 45, -q + 5*z = -38. Let r = -17 + q. Is r a multiple of 4?
True
Suppose 0 = 3*z - 4*h - 1142, -13*h - 1124 = -3*z - 18*h. Is 9 a factor of z?
True
Suppose -2*c - c = -5*x - 950, 4*x = 3*c - 757. Let k = x - -289. Is k a multiple of 12?
True
Suppose -5*m + 693 = -3*m - 3*o, 4*o = 5*m - 1750. Suppose -m = -2*a - 2*n, 3*a + a - 753 = 5*n. Is 9 a factor of a?
False
Let c(u) = 53*u**2 + 2. Let a be c(1). Let v = -39 + a. Is v a multiple of 3?
False
Suppose -z - 3371 = -5*s, 523 = 5*s + 5*z - 2872. Suppose s = 15*n - 10*n. Does 17 divide n?
False
Suppose -2*r + 8 = 5*y - 57, 0 = -2*r - 3*y + 71. Suppose -4*a + r = -a - j, -2*j = -10. Is a even?
False
Suppose -4*i + 2*t = -70, -4*i - 6 + 58 = 4*t. Suppose -15*c - 115 = -i*c. Is 5 a factor of c?
True
Let l = -5 + 41. Let o be ((-55)/(-20))/(3/l). Let j = 61 - o. Does 14 divide j?
True
Suppose 2*n = -4*v + 150, -4*v + 2*v - 3*n = -73. Is v a multiple of 23?
False
Suppose 5*l + 8 = 2*v, -4*v + 3*l + 40 = -l. Suppose -2*w = -v*w + 108. Is w even?
False
Let u be ((-1)/(-4) + -1)*-4. Suppose 8*j + u = -5. Is 12 a factor of 672/7*j/(-2)?
True
Let o(l) = -6*l**3 - 11*l**2 + l + 8. Let y(z) = -7*z**3 - 12*z**2 + 2*z + 9. Let h(s) = -6*o(s) + 5*y(s). Does 3 divide h(-3)?
True
Is 19/(-38) - (-24385)/10 a multiple of 21?
False
Let f(s) = 9*s**2 - 6*s**2 + 0*s**2 + 0*s**2 + 7 + 4*s. Is f(-2) a multiple of 6