ose 4*b = -2*c + 4, -b - c = -u*b - 7. Let q(l) = -5*l**3 + l**2. Does 3 divide q(b)?
True
Suppose -2*m = 2*m. Let w(u) be the first derivative of u**4/4 + u**2/2 + 14*u - 5. Is w(m) a multiple of 7?
True
Let f be 7 - 4 - 0/2. Suppose -f*n - 2*n = -75. Does 15 divide n?
True
Let a = -97 - -128. Does 4 divide a?
False
Let v(m) = -1. Let q(x) = -9*x - 6. Let u(p) = q(p) - 3*v(p). Suppose -d - 1 = 1. Is 7 a factor of u(d)?
False
Suppose -54 = -4*w + 218. Let p = 136 - 51. Suppose 5*z - w = z - 2*c, 5*z - p = 2*c. Does 17 divide z?
True
Let i(y) = -y**3 + 8*y**2 - 7*y + 3. Let n be i(6). Suppose 0 = 4*g - 8 - 4. Suppose r = -4*k + n, 0*r - 55 = -g*r - k. Is r a multiple of 7?
False
Suppose 171 = 2*m + m. Is 7 a factor of m?
False
Let n = 77 + -12. Does 23 divide n?
False
Suppose 2 = 2*z + u + 27, -u - 45 = 4*z. Let j be 1/(-5) + (-42)/z. Suppose 0 = j*p + q - 10, q + 4 = 4*p - 10. Is 3 a factor of p?
True
Suppose 2*j = -2*l - 18, -3*j = l - 0*l + 3. Let o = 4 - l. Suppose -o - 8 = -2*s - 2*r, -s + 5*r = -24. Does 7 divide s?
True
Let f = 37 - 15. Is 11 a factor of f?
True
Let t(o) = o**3 + 8*o**2 + 4*o - 6. Is t(-4) a multiple of 21?
True
Suppose 3*k - 2*k + 35 = h, 0 = -3*h - k + 105. Suppose -2*m = v - h, -2 = m - 0. Is 13 a factor of v?
True
Let n(d) be the first derivative of -d**4/4 + 10*d**3/3 + 13*d**2/2 - 13*d - 2. Is n(11) a multiple of 9?
True
Suppose 24 = -5*z - 11. Let x = -4 - z. Suppose -84 = -x*y - 3*h, 2*y - 5*h + 86 = 5*y. Does 9 divide y?
True
Suppose i - 14 = -0*i. Does 7 divide i?
True
Let o = -5 + 9. Suppose 3*z - 5*m = -117, -o*z + m - 156 = -2*m. Let y = z - -65. Is y a multiple of 13?
True
Let w be (-1)/(-1)*3*-2. Let s be w/4*-2 + 1. Is ((1 - 0) + 9)*s a multiple of 11?
False
Let z(p) = -p + 26. Let y be z(11). Let r = y + -6. Is r a multiple of 3?
True
Let s = 95 + -65. Let q be ((-44)/(-5))/((-4)/s). Let z = 98 + q. Does 14 divide z?
False
Suppose 55 = 3*m - 62. Let d = 20 - m. Is -1*d/(3 - 2) a multiple of 5?
False
Suppose 0 = v - 5 + 1. Suppose l = -0*l, -4*q - 5*l = -176. Suppose -b = v*f + 3*b - q, b - 24 = -2*f. Is f a multiple of 5?
False
Does 7 divide 10 + (12/15)/((-2)/(-5))?
False
Let g(m) = -96*m**2 + 2*m + 3. Let u be g(-2). Let k = -223 - u. Suppose 0*z - k = -3*z. Is 27 a factor of z?
True
Let r = 165 - 99. Is 11 a factor of r?
True
Suppose -7 = -2*o + 81. Suppose -4*j + 6*j = o. Does 22 divide j?
True
Let g = -42 + 112. Is 6 a factor of g?
False
Suppose -3*h = h - 80. Let c be (6/5)/(6/h). Suppose -2*d - 12 = -4*o - 36, 48 = c*d - 3*o. Does 8 divide d?
False
Suppose 4*j - 99 = 69. Is j a multiple of 15?
False
Suppose 0 = -5*v - b + 202 + 172, 312 = 4*v + 4*b. Is v a multiple of 17?
False
Let k be (-59)/(-4) - 3/(-12). Suppose 4*r + 5*t - 125 = 0, 5*t = r + k - 40. Is 15 a factor of r?
True
Is 35 a factor of 2 + (0 - (-462)/2)?
False
Suppose -4*m + m = -51. Suppose -3*q = -44 + m. Does 8 divide -2 + (q - (-3 + 2))?
True
Suppose 3*n + 27 = -3*y, 2*y + 54 - 15 = 5*n. Is 3 a factor of ((-10)/3)/(8/y)?
False
Let t(g) = -g**3 + 6*g**2 - 3*g + 6. Does 2 divide t(4)?
True
Suppose 8*c - 220 = 3*c. Does 22 divide c?
True
Suppose -3*a + 4 + 8 = 0. Suppose 156 = -a*y + 7*y. Is 19 a factor of y?
False
Suppose -5*y + 312 + 68 = 0. Is y a multiple of 5?
False
Let y be (-10)/4*26*1. Let o = -43 - y. Does 11 divide o?
True
Suppose 5*b = -0*b. Let o be 55 - 3/9*b. Let y = o + -31. Is 10 a factor of y?
False
Suppose -3*l - 3 + 120 = 0. Suppose 6*o - l = 3*o. Is 7 a factor of o?
False
Suppose 0*s = -2*s + 532. Suppose -2*b - 77 = -j, -3*j - b + 0*b + s = 0. Suppose -4*n + j = -n. Is n a multiple of 12?
False
Suppose b + 4*b - 20 = 0. Suppose -5*v + 3*v + 24 = b*l, 0 = 5*v + 3*l - 25. Does 2 divide v?
True
Suppose -4*n - 4*g - 144 = 0, 0 = 3*n + 5*g + 31 + 87. Let i be ((-55)/2)/(4/(-8)). Let f = i + n. Does 12 divide f?
True
Let m(i) = -i**3 - 2*i**2 - 4*i - 2. Let f be m(-2). Suppose -f = -s + 14. Is 7 a factor of s?
False
Let n = -43 - -1. Is n/(-8) - (-3)/4 a multiple of 3?
True
Suppose -2*x - 7 = -5*r + 9, r = x + 2. Let o(n) = n + 2 + x*n + 4. Is 13 a factor of o(11)?
True
Let g(n) = -n + 15. Let c be g(11). Let i = -160 + 288. Suppose c*d + a = -a + 116, 0 = -4*d - 5*a + i. Does 11 divide d?
False
Let q = 17 - 12. Suppose 4*m + q*v - 171 = 0, m = 3*m - v - 103. Suppose 3*r - m = 2*d - 10, d = 2*r - 26. Is r a multiple of 8?
False
Let y = 116 - 37. Suppose 5*p - y = 51. Does 9 divide p?
False
Let u = -5 + 10. Suppose -u*i + 2*i = -v, 0 = -v + 2*i + 1. Is 3 a factor of v?
True
Let i be 26/10 + (-6)/(-15). Suppose -a + 8 = i*a. Suppose -2*y + 5*b + 76 = 2*y, -2*y - a*b = -20. Does 7 divide y?
True
Suppose -4*a - b + 5 + 228 = 0, 0 = -3*a - 2*b + 171. Let s = -29 + a. Is 9 a factor of s?
False
Let r = 83 - 51. Does 3 divide r?
False
Suppose 2*r = -r + 12. Suppose 3*w - 4*c = 200, r*w - 3*c + 52 = 314. Is 16 a factor of w?
True
Let x(v) be the second derivative of 5/6*v**3 + 0 + v + 1/2*v**2. Is 6 a factor of x(3)?
False
Let v(h) = -h**3 - 3*h**2 + 5*h + 2. Suppose 3*u + 21 = f, 0 = 5*u - 3*f + f + 36. Let x be v(u). Suppose 0 = -2*d + 4*d - x. Is d a multiple of 11?
False
Let n(z) = -23*z - 49. Is 11 a factor of n(-8)?
False
Let n(o) = 265*o**2 - o - 1. Let p be n(-1). Suppose 0*q = -5*q + p. Does 18 divide q?
False
Let z be (-2 - -4)*(-3)/(-2). Suppose -g - 98 = -2*n, g + 254 = 5*n + z*g. Is 10 a factor of n?
True
Let j(a) be the first derivative of 3*a**2/2 + 3. Is j(5) a multiple of 5?
True
Is 28 a factor of (-2)/(210/106 + -2)?
False
Let b be 2/(2/9) - 2. Let d = -4 + b. Suppose 6 = 3*j, -3*h + 2*j = -d*j - 23. Is 3 a factor of h?
False
Suppose 5*f - 58 - 227 = 5*r, -f - 5*r = -51. Does 11 divide f?
False
Suppose 4*h + h = 0. Suppose h = l - 0*l - 11. Does 11 divide l?
True
Let b(j) = 3*j**3 - 2*j**2 + 2*j - 1. Let k be b(1). Suppose 2*r + k*r - 76 = 0. Is r a multiple of 19?
True
Suppose 5*x - 21 = -6. Let c be -5*((-504)/15)/x. Does 11 divide (-1)/(-2)*(c + 4)?
False
Suppose 0*x + 1 = -4*x + 5*s, 0 = -5*x + 3*s + 2. Let l = 20 + x. Does 14 divide l?
False
Suppose -5*m - 42 = -4*v + 7*v, m + 3*v = -18. Does 28 divide 4*-14*m/4?
True
Is 2/6 + -1 - 3479/(-21) a multiple of 11?
True
Let t(c) = 10*c**3 + c**2 - 1. Let a be t(1). Suppose 0 = 2*n - a. Suppose v = -2*z, z + 27 = n*v + 5. Does 2 divide v?
True
Let i(v) = -24 - 25 + 40 + 2*v**2 - 4*v. Does 21 divide i(7)?
False
Suppose h = -5*j + 176, -2*j + 0*h = 4*h - 56. Is 18 a factor of j?
True
Suppose 4*f - 2*f = -290. Let i = f - -271. Is 3/(-6) + i/4 a multiple of 14?
False
Let o(p) = -p**2 - 10*p + 6. Let g be 6/((-4)/((-16)/(-3))). Is 11 a factor of o(g)?
True
Let w(c) = 40*c - 86*c + 3 + 41*c. Let s = -8 + 5. Is w(s) a multiple of 18?
True
Let p = 74 + -52. Does 22 divide p?
True
Let f = -5 + 13. Let h = f + -5. Suppose -h - 33 = -3*o. Is 4 a factor of o?
True
Let h = 25 + 59. Is h a multiple of 11?
False
Let q(n) = n**2 + 11. Suppose 2*y = -2*i + y + 2, -5*i - 10 = -5*y. Is 5 a factor of q(i)?
False
Let s = 59 - 36. Does 23 divide s?
True
Let u be ((-2)/(-4))/(1/(-12)). Let i be (3 - 6)/(u/14). Suppose -3*g + 24 = 4*n, 5*n + g - i = 4*n. Does 3 divide n?
True
Let k(b) = -13*b + 2. Let f(a) = a**3 + 7*a**2 + 7*a + 5. Let x be f(-6). Is k(x) a multiple of 8?
False
Is (2 - (-2145)/35) + 4/(-14) a multiple of 9?
True
Let h(y) = -y + 9. Let k be h(6). Suppose -k*o = 3 - 219. Is o a multiple of 24?
True
Is 53/4 + (-1)/4 a multiple of 3?
False
Let v(a) = -a**3 + 8*a**2 + 10*a - 6. Let c be v(9). Suppose -5*u - 1 = -m, -u + 4 = -c*u + 4*m. Is -2 - (u - (10 - 0)) a multiple of 5?
False
Let n(z) = z**2 - 1. Let g be n(-1). Suppose 116 = -0*j + 4*j - p, g = 5*p + 20. Does 6 divide j?
False
Suppose -b - 50 = -3*b. Does 14 divide b?
False
Suppose -v = 4*v - 130. Does 10 divide v?
False
Let d(f) be the third derivative of f**8/6720 - f**7/5040 + f**6/360 - f**5/20 - f**2. Let b(s) be the third derivative of d(s). Is b(3) a multiple of 13?
True
Suppose -g = -3, 5*f - g = 3*g - 22. Let k be (f/4)/((-1)/10). Suppose 24 = 4*d + 3*p + p, 0 = k*p + 15. Is 6 a factor of d?
False
Suppose 0 = -x - 3*x + 464. Suppose -5*v + 117 = 4*c, -2*c = -6*c - 4*v + x. Is 10 a factor of c?
False
Let p = 199 + 47. Does 41 divide p?
True
Let l(i) = -3*i**3 + 2*i + 1. Let x be l(-1). Suppose -a + 4*a