ppose 0 = 3*x + 3*z - 5 - 10, -2*x - 4*z + 6 = 0. Is x a multiple of 7?
True
Suppose 3*v - 8*v + 45 = 0. Let q(p) be the second derivative of p**5/20 - 3*p**4/4 + p**3 + 3*p**2/2 + 2*p. Is 20 a factor of q(v)?
False
Let n = 219 - 132. Is 5 a factor of n?
False
Let c(g) = -g**3 + 2*g - 1. Let z be c(-2). Suppose -z*p + 2 = -p. Suppose 4*s + 18 = b, -b + p + 3 = 3*s. Does 5 divide b?
True
Let j(d) = -d + 9. Does 2 divide j(6)?
False
Suppose 0 = 4*w - 7*w. Suppose -3*r + 0*r - 48 = w. Does 7 divide (-2 - 1)/(6/r)?
False
Suppose 3*q + 2*l = -4, 0 = q + 4*q + 5*l + 15. Suppose -5*t - a = -q*a + 98, -2*a = 2*t + 44. Does 7 divide (1 - t) + 3 - 3?
True
Let s(v) be the second derivative of v**5/20 + 7*v**4/6 + 11*v**3/6 + 11*v**2/2 - 8*v. Let c be (26/8)/(1/(-4)). Is 10 a factor of s(c)?
False
Let q(n) = 7*n - 4. Is q(12) a multiple of 10?
True
Let w = -4 + 19. Is 5 a factor of w?
True
Let s = -10 + 19. Does 8 divide 2/((-6)/s) + 11?
True
Suppose -4*z = -109 - 19. Is 10 a factor of z?
False
Suppose -645 = l + 2*l - 4*q, 4*l + 860 = -5*q. Let s = l + 314. Is s a multiple of 33?
True
Let o(j) = -j**3 - 7*j**2 + j + 8. Let c be o(-7). Let w(p) = 11*p + 2. Does 5 divide w(c)?
False
Let d = -10 + 13. Suppose 4*t + q - 268 = -3*q, -d*t + 202 = 4*q. Does 22 divide t?
True
Let u be (-1)/(-2*(-3)/(-24)). Suppose 5*t - n - 27 = 23, t = -u*n - 11. Does 8 divide t?
False
Does 24 divide 0/2 + -3 - -99?
True
Suppose 5*j - 3 - 2 = 0. Suppose -y = -2*y - j. Let l = y + 24. Is l a multiple of 10?
False
Let c = 4 - -1. Let b = -7 - c. Is 2 a factor of ((-5)/(10/b))/2?
False
Let z(p) = p + 4. Let c be z(-6). Is 18 a factor of ((-2)/c)/((-4)/(-264))?
False
Let y(q) be the third derivative of -q**5/60 - 7*q**4/12 + 5*q**3/3 + 6*q**2. Is y(-13) a multiple of 6?
False
Let b(v) = -36*v**3 - v**2 - v. Is b(-1) a multiple of 10?
False
Let p(j) = 2 - 2 - 14*j. Let v be p(1). Let z = 36 + v. Is z a multiple of 22?
True
Suppose 2*o - 92 = 2. Suppose -5*y = 2*m + o, y - 6*y - 46 = m. Let v(c) = -4*c + 2. Is v(y) a multiple of 19?
True
Suppose -14 = -5*y + 96. Is 22 a factor of y?
True
Suppose 0 = -3*f + 18 + 165. Let q = f + -35. Is q a multiple of 12?
False
Let d = -46 - -137. Does 13 divide d?
True
Let z = 0 + 3. Let x = 8 - -4. Let q = x - z. Is q a multiple of 6?
False
Let b be (-6)/10 - (-3)/5. Suppose b = -0*l - l + 4. Does 4 divide l?
True
Suppose -4*j + 271 = 5*s, 0 = j - 5*j + 5*s + 241. Does 16 divide j?
True
Let b = -112 - -195. Let i = b + -55. Is 16 a factor of i?
False
Is 4 a factor of (-3)/18 + 25/6?
True
Let b be (-83)/9 + 4/18. Let z = -6 - b. Does 13 divide 1 + (6/z - -11)?
False
Let d(b) = 2*b - 14. Let p(s) = s**3 - 5*s**2 - 1. Let g be p(4). Let j = g - -27. Is 6 a factor of d(j)?
True
Suppose 0*m + 3*v = -m + 26, -3*v + 142 = 5*m. Is m a multiple of 24?
False
Let x(l) = l - 3. Let k be x(9). Suppose 3*o + k - 51 = 0. Is 14 a factor of o?
False
Let j = 2 - -6. Is j a multiple of 5?
False
Suppose 4*u = 8 + 24. Does 3 divide u?
False
Let q = -4 + 5. Let p be 34/2*(2 - q). Suppose -9 = -2*c + p. Is c a multiple of 13?
True
Suppose 0 = 5*f - 46 - 84. Is 26 a factor of f?
True
Let n = 28 - 25. Suppose 2*a - 30 = -n*a. Is 3 a factor of a?
True
Suppose 2*x = 4, -3*r - 5*x + 34 = r. Let q be 7446/18 - (-2)/r. Does 3 divide 1/(-5) + q/45?
True
Is 5 a factor of -214*9/(-48) + (-17)/136?
True
Suppose -4*a = -n - a + 2, 4*n + 24 = -4*a. Let f(o) = o**2 + 3*o + 2. Does 3 divide f(n)?
True
Let i = 32 + 8. Is 11 a factor of i?
False
Suppose 0 = -x + 4, 5*m - 95 = -3*x + 122. Does 2 divide m?
False
Suppose -3 = -5*h - 3*t, -2*h - 14 = -4*h + 2*t. Let q be 20 + (3 - (2 + 1)). Suppose b + 2*n = -4*b + 61, q = b + h*n. Is b a multiple of 11?
True
Suppose 0 = w - 5*x - 28, 2*w - 62 = 3*x + x. Suppose -4*h = y + 4*y - 30, 4*y = -5*h + w. Is 12 a factor of 127/h + 9/15?
False
Is 30 a factor of 5962/18 - 2/9?
False
Let v be (-6)/(-15) - 8/(-5). Suppose -15 = v*k - 7*k. Suppose -q - 20 = -5*x, 5*q + 19 - 3 = -k*x. Is 2 a factor of x?
False
Suppose 8*j = 3*j - 90. Let n be 4/j - 235/(-45). Suppose 5*b + 3*y = 150, y - 4*y - 120 = -n*b. Does 12 divide b?
False
Suppose 5*o = -5*x + 25, 2*x = x. Suppose 3*s + o*r + 28 = 0, r = 5*r + 20. Is 7 a factor of 13 - (6/(-3) - s)?
True
Let h = -4 - -4. Suppose h = -4*x + 808 - 288. Suppose -5*a + x = -20. Is a a multiple of 10?
True
Does 33 divide -4*22/(-16)*6?
True
Suppose -76 = -3*a - 2*h, 0 = 4*a - 2*h + 6*h - 108. Is a a multiple of 12?
False
Is 19 a factor of (212/6)/((-8)/(-12))?
False
Let d(s) = s**3 + 2*s**2 + s + 1. Let r be d(-3). Is 9 a factor of (-1 + 2 - r)*1?
False
Suppose 0 = -0*o - 5*o + 405. Let i = -42 + o. Is (3 - 2)/(1/i) a multiple of 23?
False
Suppose -117 = 7*i - 4*i. Let n = -19 - i. Is 20 a factor of n?
True
Suppose 0 = -4*s + 12 - 0, j - 10 = 4*s. Does 5 divide j?
False
Does 23 divide -4 + 47 + 3 - -4?
False
Let b(r) = -r**3 - 6*r**2 - r - 3. Let g be b(-6). Let l(t) = -4*t**3 + 2*t**2 + 2*t + 3. Let u be l(g). Let m = -47 - u. Does 9 divide m?
False
Suppose 0 = -5*p + 24 + 291. Does 21 divide p?
True
Let o(t) = t + 5. Let l be o(-11). Let z(s) = -6*s - 2. Is z(l) a multiple of 17?
True
Let r(y) = -y + 16. Is 3 a factor of r(-23)?
True
Let q = 8 - 5. Suppose -q*m + 170 = 2*m. Is 11 a factor of m?
False
Suppose 3 + 0 = o. Suppose 5*n + 3*a = 170, 0 = o*n - 0*a - 4*a - 73. Does 13 divide n?
False
Let a = 75 + -46. Does 7 divide a?
False
Let m be (-2)/(-6) + (-136)/(-6). Let z = 41 - m. Let f = -10 + z. Does 8 divide f?
True
Let w(z) = 3*z + 1. Let n be w(1). Let p = 20 - n. Let x = -9 + p. Is 7 a factor of x?
True
Suppose -4*d + 76 = -3*d. Is 38 a factor of d?
True
Let n(s) = 204*s**3 + 2*s - 2. Is n(1) a multiple of 12?
True
Let h be (-3 + -2 - -2)/(-1). Let w be 0*((-9)/(-3))/h. Suppose -33 = -q - d, w*q = -5*q - 3*d + 157. Is 13 a factor of q?
False
Suppose -2*o + 74 = -2*k, -4*o + 57 = -2*k - 21. Let h be 1/2 - k/2. Is 12 a factor of 1/6 - (-429)/h?
True
Let b(h) = 2*h**2 + 8*h + 3. Let j be b(-5). Let i(g) = -g**2 + g + 3. Let w be i(3). Let k = w + j. Is k a multiple of 10?
True
Let w = -5 - -8. Suppose -w*d = 2*d - 110. Let p = d - 4. Does 13 divide p?
False
Let z = 102 + -72. Does 15 divide z?
True
Let o = -35 + 73. Is o a multiple of 8?
False
Let x(i) = i**2 - 9*i - 7. Let l be x(10). Suppose 28 = 7*z - l*z. Does 6 divide z?
False
Let k(q) = q - 3. Let c be k(5). Suppose -95 = -4*m - 0*m + 3*b, 4*m = -c*b + 90. Is m a multiple of 23?
True
Let h(g) be the second derivative of -g**5/12 + g**4/24 + g**3/6 - 2*g. Let s(r) be the second derivative of h(r). Is 5 a factor of s(-1)?
False
Suppose 5*p = 2*k + 3*k - 35, k + 3*p = -5. Suppose r - 2*w = -1, -4*r + 3*w + 7 = -k. Let a = r + -2. Does 2 divide a?
False
Is 51 a factor of 3/(-12)*-2*-2 + 358?
True
Let n(t) = -7*t**3 - 7*t**2 - 4*t - 6. Let s(h) = 8*h**3 + 8*h**2 + 5*h + 7. Let m(v) = 6*n(v) + 5*s(v). Suppose -2 = 3*d - 2*d. Is m(d) even?
False
Let n = 192 - 101. Is 24 a factor of n?
False
Suppose 0 = j - 4*j - 18. Does 17 divide j/(-10) + (-3024)/(-60)?
True
Let i(p) = p**3 + 9*p**2 + 6*p - 6. Does 10 divide i(-7)?
True
Let q be (-2)/(((-4)/2)/134). Suppose 40 = -2*l + q. Is l a multiple of 10?
False
Suppose u = s + 4, 2*u + s + s - 8 = 0. Suppose -u*b + 35 = b. Let q = b + -1. Is 3 a factor of q?
True
Let k(q) = -q**3 - 11*q**2 - 57. Does 29 divide k(-12)?
True
Is 12 a factor of 2 - (-9)/((-36)/(-184))?
True
Let d = 4 + 0. Suppose d = -q - 0*q + f, q - 4*f = -19. Suppose -2*b + 3*n = -35, b + q - 35 = -4*n. Is 13 a factor of b?
False
Let i = 45 - 24. Is 6 a factor of i?
False
Does 4 divide 12 - (4 + -3 + 0)?
False
Let r = -66 - -109. Is 18 a factor of r?
False
Suppose 17 + 9 = 2*t. Suppose o - w - w - t = 0, -4*o + 12 = 2*w. Does 17 divide (-249)/(-15) - (-2)/o?
True
Let v = -4 - -8. Let g(r) = r**3 - 3*r**2 + 2*r - 5. Let c be g(v). Let l = 11 + c. Does 15 divide l?
True
Suppose -2*f + 0*f = 0. Suppose -14 = -2*s + k, -14 = -s + 4*k - f*k. Does 4 divide (4/3)/(2/s)?
True
Suppose -3*b = 10 - 34. Is b a multiple of 4?
True
Let f = -2 - -2. Suppose f*h + 51 = 3*h. Does 9 divide h?
False
Let y(n) = 3*n**2 - 2*n - 1. Let g(b) = b + 2. Let z(q) = 4*q + 7. Let w(k) = 7*g(k) - 2*z(k). Let v be w(-2). Does 5 divide y(v)?
False
Let p = 17 - 7. Let z be (-42)/(-8) - 