 + 11, 4*v + y - 17 = 0. Is v a multiple of 4?
True
Suppose -42*u = -38*u - 20. Suppose -5*p + 162 = -2*p. Suppose u*w = 2*w + p. Does 11 divide w?
False
Suppose 3*n - 257 + 16 = 4*h, 0 = -n + 4*h + 83. Does 11 divide n?
False
Let z = -1 + 1. Suppose 5*m - 38 - 12 = z. Suppose -4*n = -2*n - m. Is n a multiple of 5?
True
Let d = 8 - 5. Suppose 2*b + 36 = d*i, i - 2*b + 3 = 11. Is i a multiple of 7?
True
Let i(k) = k**3 + 8*k**2 - 11. Let x be i(-8). Is ((-1)/1)/(1/x) a multiple of 5?
False
Let a = -63 + 167. Does 13 divide a?
True
Let w = -8 + 0. Let y(b) = 10*b**2 + 11*b + 4*b**3 - 4*b**3 + b**3. Is 10 a factor of y(w)?
True
Let r(w) = -6 + w - 6 + 12*w + 10. Let b be 16/6 - 4/6. Does 13 divide r(b)?
False
Suppose -2*b = -118 - 68. Let c = -63 + b. Does 15 divide c?
True
Let n(r) = r**2 - 2*r. Does 11 divide n(5)?
False
Suppose -4*j = 5*f + 3 - 11, -3*f + 27 = -5*j. Suppose 3*s = f*s - 50. Is 15 a factor of s?
False
Let g(k) = 16*k**3 - k**2 + k + 2. Does 25 divide g(2)?
False
Let u = 3 + 1. Suppose 4*p - 5*x - 167 = 0, -u*x + 137 = 4*p + x. Is p a multiple of 25?
False
Suppose 2*l = 5*l - 270. Is 17 a factor of l?
False
Let x(u) = 2*u - 2. Let r(z) = -z + 2. Let p(c) = -3*r(c) - 2*x(c). Let m be p(-7). Suppose -m*j + 8 = -7. Is j a multiple of 3?
True
Does 43 divide 7/(476/(-8)) - (-2348)/17?
False
Let z(r) = 3*r**2 - 2*r - 3. Let n(w) = -w**3 + 8*w**2 - 6*w - 2. Let o be n(7). Suppose 0 = o*a + 10. Is z(a) a multiple of 13?
True
Let r be -2 + 2 + 3 - 1. Let m(a) = a + 6*a**r + 3*a + 0*a. Is 12 a factor of m(-3)?
False
Let w(z) be the third derivative of z**6/120 - 7*z**5/60 - z**4/3 + 11*z**3/6 - 3*z**2. Is 5 a factor of w(8)?
False
Let o = 5 + 1. Suppose 4*r = o*r - 26. Is r a multiple of 13?
True
Suppose 2*k + 26 = 3*k. Suppose -k - 38 = -2*u. Is u a multiple of 11?
False
Let d(z) = 3*z**2 + z - 34. Is 33 a factor of d(8)?
False
Suppose t = -3*s + 40, 0*t + 2*t + s = 65. Suppose -25*d + 24*d = -t. Is 17 a factor of d?
False
Let u(g) = -6*g + 3. Let j(t) = -t + 1. Let h(k) = 3*j(k) - u(k). Is 5 a factor of h(5)?
True
Suppose -14*i = -15*i + 16. Is 4 a factor of i?
True
Suppose 244 = 2*w + 2*w. Suppose 0*k - 47 = -3*q - 2*k, 0 = -4*q - k + w. Is q a multiple of 15?
True
Let v be 4/(-6) - 267/(-9). Suppose k - 43 = -2*c, c = 2*k - 0*k + v. Is 9 a factor of c?
False
Let v = -2 + 4. Suppose v = n - 0. Suppose 5*a + n*b = -0*a + 47, -28 = -4*a - 4*b. Is a a multiple of 11?
True
Suppose 4*p = 7*p - 12. Let a(v) = -v + 7. Let i be a(p). Suppose -43 = -i*b + h, -2*h = 5*b + h - 81. Is b a multiple of 7?
False
Let b be (-21)/(-14) - 19/2. Is 17 a factor of (-270)/b - (-1)/4?
True
Suppose -4*i - 8 + 28 = 0. Suppose -3*s + 535 = -0*s + 2*g, i*g = 2*s - 325. Suppose h + 4*h - s = 0. Is h a multiple of 12?
False
Let l be (-50)/(-8) - 3/12. Let r = l + -2. Is 2 a factor of r?
True
Suppose -340 = -2*y - 0*y. Does 14 divide y?
False
Suppose -j - 31 + 10 = 0. Let g be -1 - -1 - (-61)/1. Let z = j + g. Does 20 divide z?
True
Let h(n) = 2*n**3 - 4*n**2 + 4*n + 6. Let q(d) = 3*d**3 - 7*d**2 + 8*d + 11. Let s(y) = -5*h(y) + 3*q(y). Is 4 a factor of s(-3)?
False
Suppose 5*u - 16 = -4*v, 3*u - 9 = -5*v + 11. Suppose 0 = 4*m - 2*m - 10, v*w - 19 = m. Is w a multiple of 3?
True
Let b = -119 - -203. Is b a multiple of 28?
True
Let u be 9 + (4/(-2) - -4). Let z(i) = i**3 - 9*i**2 - 9*i + 13. Let q be z(u). Suppose -q = -5*l + l. Does 10 divide l?
False
Let o(i) = i**3 + 3*i**2 - 4*i - 2. Let a be o(-4). Is 4 a factor of 5 - (a - -4 - 1)?
True
Suppose 1 = 3*d - 26. Is 3 a factor of d?
True
Suppose -3*z = -5*z + 50. Suppose 0 = 4*s + j - 2*j - 7, 0 = -5*j + z. Does 16 divide 4*(s - 1)*4?
True
Let i(q) = 9*q + 5. Let h be i(4). Suppose 0 = 2*r + 5*x - h, -2*r = 3*x + 4 - 51. Is 10 a factor of r?
False
Let k(m) = -37*m - 7. Let w(p) = -18*p - 4. Let v(h) = 3*k(h) - 5*w(h). Does 18 divide v(-3)?
False
Suppose 0*c + 5*c - 620 = 0. Does 41 divide c?
False
Is 50 - ((-24)/(-3))/(-4) a multiple of 13?
True
Let b(l) be the third derivative of l**5/60 + l**4/12 + 5*l**3/6 + 3*l**2. Does 11 divide b(4)?
False
Suppose -111 = 4*k - 415. Let l = -49 + k. Let r = 69 - l. Is r a multiple of 21?
True
Let k be (-41)/2 - 15/10. Let f = k - -34. Is f a multiple of 12?
True
Let f(b) = 3*b**2 + 4*b**2 - 8*b**2 - 13*b - 4. Is f(-7) a multiple of 20?
False
Suppose 4*q = 8, -384 = -3*j - j + 4*q. Is 14 a factor of j?
True
Is 2*1*-1 + 138 + -6 a multiple of 26?
True
Let i be (258/24)/((-1)/(-8)). Suppose 3*n + 0*c - 68 = 2*c, -4*n - 2*c + i = 0. Is n a multiple of 5?
False
Let w = -22 + 43. Does 7 divide w?
True
Suppose 5*s - 18 = 3*x - 2, 5*x = -2*s + 25. Suppose 181 + 34 = s*b. Is 20 a factor of b?
False
Suppose -4*u + 2*h + 4 + 16 = 0, u - 3*h = 5. Suppose -317 = -u*r - 57. Suppose -6*p + 101 = 4*l - p, r = 2*l + 4*p. Is l a multiple of 12?
True
Suppose -w = w - 2, 5*x - 2*w + 42 = 0. Let o be -60*(-2 + (-8)/(-5)). Let u = x + o. Does 8 divide u?
True
Suppose 6*g - y = 3*g + 73, 0 = -4*g + 5*y + 101. Is g a multiple of 8?
True
Is 17 a factor of (-66)/297 + 1120/18?
False
Suppose 0*p = -4*p - 16. Is 164/14 - p/14 a multiple of 12?
True
Let g(r) be the first derivative of -3*r**2 - 3*r + 1. Does 5 divide g(-2)?
False
Does 43 divide (4/8)/((-4)/(-688))?
True
Let j(w) = -w**3 - 3*w**2 - 5*w - 5. Let x be j(-4). Let o = -20 + x. Let l = -3 + o. Is 8 a factor of l?
True
Suppose -2*d + 705 = -3*d. Let l be (d/10)/((-2)/4). Suppose 9 = 5*h - l. Is 15 a factor of h?
True
Let b(y) = 5*y**2 + 1. Let i be b(1). Let r(u) = u**3 - 3*u**2 - 3*u - 4. Let d be r(4). Suppose d = -c + 3*l - i*l + 26, -4*l = 3*c - 58. Is 7 a factor of c?
True
Let u = 106 - 66. Suppose -18 = -3*a - a - i, 2*i + 4 = 0. Suppose -5*j + 3*r + u = 0, 4*r = -2*j + 11 + a. Does 3 divide j?
False
Is 26/(-6)*((5 - 6) + -5) a multiple of 26?
True
Let q = -10 + 46. Let m be (2/(-2))/(3/(-15)). Suppose q = f + m. Is 11 a factor of f?
False
Let f be (-2*(-2)/(-2))/2. Does 8 divide -4*(f + -3 - -2)?
True
Suppose -3*q + 8*q - 74 = -v, -5*v = -5*q - 430. Does 14 divide v?
True
Suppose 247 = t + g + 44, -4*t = -3*g - 833. Is 19 a factor of t?
False
Does 12 divide (-1)/4 + (-9222)/(-24)?
True
Let h be ((-4)/(-8))/((-2)/(-72)). Suppose m - n - h - 18 = 0, 2*m - 5*n - 84 = 0. Is 16 a factor of m?
True
Suppose -3*j + 355 = 2*j. Is j a multiple of 17?
False
Let p = 30 - -20. Is 25 a factor of p?
True
Let a(v) = -v**3 - 8*v**2 + 9*v + 9. Let i be a(-9). Let x = i + -5. Does 2 divide x?
True
Let i = -44 + 66. Is 11 a factor of i?
True
Suppose -p + 3*p + 4*j = 4, 3*j - 4 = -2*p. Suppose p*l = -2*l. Let v = l + 4. Is v even?
True
Let h be 18/4 + (-8)/16. Suppose 0 = -3*s - h*o + 352, -s + 3*o + 26 = -74. Suppose -3*b + s = 40. Is b a multiple of 12?
True
Let f = -17 - -38. Does 16 divide f?
False
Let m(i) be the first derivative of -i**4/4 + 11*i**3/3 + 6*i**2 + 3*i - 7. Is m(12) even?
False
Let q(w) be the second derivative of w**5/20 + w**4/2 + w**3/2 - w**2 + w. Does 18 divide q(-4)?
True
Let g(m) = m**3 - 8*m**2 + 8*m - 4. Let c be g(7). Let d = 4 + c. Suppose 4*x - 41 = d*s - 2*s, -24 = -3*x - 3*s. Does 9 divide x?
True
Suppose 0*f + 4 = f. Suppose 153 = f*q + 53. Suppose 3*t - w = q, 5*w + 4 = -2*t + 15. Does 8 divide t?
True
Let k(l) be the second derivative of l**6/360 + l**5/120 - l**4/6 + l**3/6 + 3*l. Let s(v) be the second derivative of k(v). Does 8 divide s(3)?
True
Is -24*(-1 - 0) + 0 a multiple of 12?
True
Suppose 5*h = 5 + 10, 5*o = -h + 8. Let n(t) = -4*t**2 + 60*t**3 - 2*t**2 + 1 + 4*t**2. Is 23 a factor of n(o)?
False
Let v = -31 + 50. Does 19 divide v?
True
Suppose 2*b = -0*b + 4. Suppose -4*c + 122 = -2*h, -23 = -3*c + b*c - 2*h. Suppose 11 = 5*z - c. Does 6 divide z?
False
Suppose 7*v = 17*v - 310. Is 31 a factor of v?
True
Let q(i) = -33*i - 4. Does 8 divide q(-2)?
False
Is 14 a factor of (-1685)/(-30) - 3/18?
True
Suppose 35 = -2*w - 151. Does 12 divide (8/12)/((-2)/w)?
False
Let p = 16 - 12. Let u(n) = 13*n. Is u(p) a multiple of 11?
False
Suppose -4*f + 2*n + 147 = -741, 2*f - 5*n - 428 = 0. Is 32 a factor of f?
True
Let u(v) = -4*v + 8. Let f be (-3)/(-7) - 511/49. Is 12 a factor of u(f)?
True
Let o = -19 + 32. Suppose 2*v - o - 25 = -m, -m + 2*v + 46 = 0. Does 21 divide m?
True
Suppose 2*r - 3*r + 2 = 0. Is (35 + r)/(6 - 