- 2 - (-1 + -1). Suppose -g = -x - 1. Is 3 a factor of x?
True
Let m = -4 + 7. Suppose m*v - 28 = 38. Is v a multiple of 11?
True
Let m(o) = o**3 + 7*o**2 + o - 8. Let w(j) = -2*j**2 - 4*j. Let a be (9/(-6))/((-1)/(-2)). Let v be w(a). Is m(v) a multiple of 8?
False
Let f = 3 - 1. Let p(m) = -3*m + 3. Let s be p(f). Does 3 divide (-2)/(-3) + (-7)/s?
True
Suppose -4*s + 3 = -9, -5*c + 6 = -3*s. Suppose -a - 1 = -4*w - 3, c*a = 4*w + 6. Is -1 - (0 + w + -39) a multiple of 19?
True
Let p(m) = 23*m**2 - 2*m - 1. Suppose 0 = -7*d - 9 + 2. Is 6 a factor of p(d)?
True
Let p(a) be the first derivative of -4*a + 1/3*a**3 + 3/2*a**2 + 4. Does 14 divide p(-6)?
True
Let g(o) = o**3 - 4*o**2 - 5*o + 6. Is 5 a factor of g(5)?
False
Let a = -16 - -20. Suppose -o = a*o - 125. Is 14 a factor of o?
False
Let y be 6/(-8) - 33/(-12). Suppose -2*d - d = -y*q - 41, -3*q + 32 = d. Suppose -4 = r, 5*o + 2*r + d = 84. Does 7 divide o?
False
Suppose -2*k + 3*a + 14 = 0, -k - 2*k + a = -14. Does 9 divide k/(-2 + (-20)/(-9))?
True
Let a(k) = -k**2 + 2*k. Let y be a(2). Suppose 2*f - 37 = -p - y*p, -4*p = 5*f - 100. Is 9 a factor of f?
False
Let a(m) = -2*m**3 + m + 1. Let k be a(-1). Let g be 1/k*(-2 - -4). Suppose 3*z = -g + 28. Is z a multiple of 6?
False
Let s(h) = h + 9. Let z be s(-8). Let n be (-12)/1 - z*2. Does 10 divide (-136)/n + 4/14?
True
Let x be (10/(-4))/(-5)*2. Let y = -1 + x. Suppose g = 10 - y. Does 7 divide g?
False
Let h(n) = 3 - n**2 - 3 - n + 5*n. Let v be h(4). Suppose f + v*y = 5*y + 40, -f = -y - 32. Is 15 a factor of f?
True
Suppose -9*w = -4*w + 10. Let x be (-45 - w)/1 + -2. Is -4*(1 + x/6) a multiple of 13?
True
Let u = 23 - 13. Does 5 divide u?
True
Let u(r) = -r**3 - r**2 + 2*r - 3. Let i be u(-3). Is 34/i - 8/(-36) a multiple of 2?
True
Let k(y) = 3*y**2 - y - 2. Let l(w) = -5*w**2 + 2*w + 4. Let c(j) = 13*k(j) + 6*l(j). Let o(m) = m**3 - 8*m**2 + 2. Let g be o(8). Is 16 a factor of c(g)?
True
Let l(r) = -r**3 + 9*r**2 + 6*r - 6. Is l(9) a multiple of 12?
True
Suppose -4*r = -5*d - r + 90, -2*r - 10 = 0. Is 4 a factor of d/6*24/5?
True
Let x(r) be the first derivative of -r**4/4 - r**3/3 + 5*r**2/2 + 2*r + 1. Let n(g) = -2*g + 3. Let d be n(3). Does 4 divide x(d)?
False
Suppose -4*p - 59 = -275. Does 5 divide p?
False
Suppose 2*m = 3*m - 4. Let x be (-154)/6*(-7 + m). Suppose 27 = -5*t + x. Does 10 divide t?
True
Suppose 5*b + 2 = p - 0*p, -4*b - 16 = 4*p. Let i = 1 + p. Is 7 a factor of i/(((-9)/12)/3)?
False
Suppose -5*y + 84 = -9*y. Let g = -14 - y. Is 7 a factor of g?
True
Let d = 11 - -2. Let i = d + 16. Is i a multiple of 29?
True
Let s be ((-17)/34)/(1/(-88)). Let t = s + -31. Is 6 a factor of t?
False
Let m = -128 + 228. Does 25 divide m?
True
Suppose 0 = 6*g + 142 - 742. Does 20 divide g?
True
Let d(s) = 55*s + 1. Is d(1) a multiple of 11?
False
Suppose -4*c = 3*m - 104, 2*c + 38 = m - 0*c. Is 6 a factor of m?
True
Suppose 0*m + 3*a = -m + 48, 4*m - 232 = -2*a. Is m a multiple of 20?
True
Let c = 2 + 1. Suppose -3*u = 3*g - 45, c*u - 2 = g + 31. Is 12 a factor of u?
True
Let g = -8 - -13. Suppose -g*q = -2*j + 62, 2*j + 4*q = -q + 22. Does 7 divide 2/(j/(-12) + 2)?
False
Suppose 96 + 170 = 7*j. Does 15 divide j?
False
Is 1/((-414)/(-2522) + (-10)/65) a multiple of 21?
False
Suppose -2*j + 2*r + 56 = -106, -2*j + 5*r = -177. Is j a multiple of 10?
False
Let x = 380 - 254. Suppose -c = -3*c + x. Suppose -3*m - c = -3*t, 0 = -2*t + 3*m + m + 50. Is t a multiple of 6?
False
Let k = -13 + 19. Is 6 a factor of k?
True
Let y(j) be the third derivative of -j**6/360 + j**5/12 + 5*j**4/12 - j**3/6 - 2*j**2. Let x(q) be the first derivative of y(q). Does 8 divide x(7)?
False
Let h be ((-3)/(-6))/((-2)/124). Let n = -14 - h. Does 5 divide n?
False
Is (12/(-2) + -84)/(1*-1) a multiple of 14?
False
Suppose 5*m - 5*c + 30 = 0, -4*m - 2*c = 10 - 4. Is 5*(m + 28/5) a multiple of 4?
False
Let r be 1/((-4)/8 - -1). Suppose -r*s - 87 = -5*s. Is 12 a factor of s?
False
Let o(q) = -q**3 - q**2 - q + 11. Let p = 9 + -11. Let t(c) = -c**2 - c + 2. Let z be t(p). Does 10 divide o(z)?
False
Let s(g) = 9*g - 4. Let u(l) = l + 1. Let v(w) = -s(w) - 3*u(w). Is v(-3) a multiple of 10?
False
Suppose 2*j - 75 - 109 = -4*q, 97 = j + q. Does 16 divide j?
False
Let b(j) be the second derivative of -j**4/12 + 2*j**3 - 7*j**2 + 3*j. Let t be (-4)/22 + (-224)/(-22). Does 3 divide b(t)?
True
Let f = -239 + 367. Suppose -2*n - 6 = -f. Does 17 divide n?
False
Let w(x) = 2*x**2 - 3*x + 5. Let c(k) = -2*k - 8. Let o(i) = -i - 3. Let b be o(3). Let n be c(b). Is w(n) a multiple of 9?
False
Let z = -4 - -7. Suppose -3*x + 36 = z*v, -x + 5*v + 9 = -33. Is x a multiple of 8?
False
Let t(b) = -b**2 + 5*b + 3. Let o be t(5). Suppose -2 = -4*c + o*c. Suppose -d + 18 = c*d. Is 3 a factor of d?
True
Suppose f + 1 = 10. Let s(y) = 3*y - 1. Does 16 divide s(f)?
False
Let t(c) = c**3 - 6*c**2 + 4*c - 1. Let d be t(7). Suppose 3*m + 0*m + n = d, -n = 2. Is m a multiple of 19?
False
Let p = 59 + -35. Suppose -14 = 3*r - 5*f, 0 = 4*r - f + 23 + p. Let c = r + 37. Does 12 divide c?
True
Let m = 3 + -4. Let o(a) = -3*a. Let n be o(m). Suppose 4*i = z - 7, -n*i - 9 = z - 3*z. Is z a multiple of 3?
True
Suppose 4*i = -2*u + 28, 0*i + 4 = 2*i - 4*u. Let a be ((-4)/i)/(2/(-6)). Suppose 2*r = -a*r + 20. Is 3 a factor of r?
False
Let y(z) = z**3 + 6*z**2 + 4*z - 1. Suppose -5*k + 4 - 29 = 0. Let v be y(k). Suppose 23 = v*r - 17. Is r a multiple of 5?
True
Suppose 0 = -2*u - 2*y + 152, 4*u - 258 = u + 3*y. Let f = u - 49. Is f a multiple of 16?
True
Let d(g) = 3*g**3 - g + 1. Let a(r) = -r**3 + 7*r**2 + 9*r - 7. Let u be a(8). Is d(u) even?
False
Suppose -10*f + 155 = -5*f. Is f a multiple of 31?
True
Suppose 0 = -5*i - x + 25, -i - 2*x + 2 + 3 = 0. Suppose 0 = i*t + 4*o - 32, 5*t - 46 = -0*t + 3*o. Is 8 a factor of t?
True
Let d be (-9)/9 + (1 - -1). Suppose 0 = r - 6 - d. Suppose -3*z = -4*g + 29, 0 = -5*g - 4*z + 6 + r. Is 2 a factor of g?
False
Let b = -74 - -132. Is 10 a factor of b?
False
Let l be 60/9 + (-2)/3. Suppose 1 = 5*p + l, 3*r = 5*p + 143. Is r a multiple of 13?
False
Let c = -78 - -50. Let a = c + 39. Does 11 divide a?
True
Suppose -3*b + 74 = -1. Let i = -18 + b. Let t = i + -1. Is 6 a factor of t?
True
Suppose -28 - 92 = -s. Does 30 divide s?
True
Suppose -4*u + 38 = -s, -u - 2*s - 2*s = -18. Suppose -3*c - u = -3*n + 11, 33 = 3*n + c. Is n a multiple of 6?
False
Let h = -246 - -706. Is h a multiple of 20?
True
Let h(p) = 7*p**2 + p - 4. Let f(y) = -y**2. Let z(u) = 6*f(u) + h(u). Let t be z(-4). Suppose -t = -3*c - c + 2*q, -5*c = -2*q - 12. Does 2 divide c?
True
Suppose -5*l = 5*n - 110, -3*n + 0*n - 67 = -4*l. Is 3 a factor of l?
False
Let w(j) = 14*j - 28. Is 21 a factor of w(5)?
True
Is 2 a factor of (-2)/(-1) - (3 - 9)?
True
Let k(y) = -21*y + 2. Let j be k(1). Let p = j + 46. Does 16 divide p?
False
Let n = 17 - 12. Suppose 3*z - 113 = -n*j, 5*z - 2*j - 176 = 2*j. Is 12 a factor of z?
True
Let h(x) = -79*x. Does 17 divide h(-1)?
False
Let y be 21/15 - (-4)/(-10). Suppose -3*h - 3*j + y = -2, 0 = -3*j - 6. Does 3 divide h?
True
Suppose -4*x + 34 = 10. Let d = 10 - x. Suppose -74 - 94 = -d*b. Does 14 divide b?
True
Let n(v) = -7*v + 3. Let w(q) = -q + 1. Let o(r) = n(r) - 6*w(r). Let k be o(-3). Suppose 0 = -k*c + 5*c - 225. Is c a multiple of 15?
True
Let h(f) be the first derivative of -f**4/4 - 2*f**3 - f**2/2 - 6*f - 1. Let x be h(-6). Is 21 a factor of 0 + 117/3 - x?
False
Let c = -7 - -10. Suppose -16 + 88 = c*u. Is 8 a factor of u?
True
Let u be -3 + 7 + 0 + -1. Let c = u + 6. Is c a multiple of 4?
False
Suppose p - 5*u + 9*u = 80, -4*p + 335 = u. Does 6 divide p?
True
Let g be 0*(6/(-3) - -1). Suppose g = a + 8 - 44. Does 12 divide a?
True
Let b(l) be the second derivative of -l**5/20 - 5*l**4/12 + 2*l**3/3 + l**2/2 - l. Let w = -18 - -12. Is b(w) a multiple of 13?
True
Suppose 54 = 2*v - 4*v. Let h be (1 - 0) + -14*1. Let n = h - v. Does 14 divide n?
True
Suppose -3 = -o, 0*h + 5*o = -4*h - 5. Is (-134)/(-10) + (-3)/h a multiple of 8?
False
Let b be 1/(0 + 3/(-180)). Does 6 divide (b/(-48))/((-1)/(-8))?
False
Suppose -3*p + 4 = l + 4*l, -3*p = 3*l - 6. Does 10 divide -36*(0 - (p - 2))?
False
Suppose h = 4*n - 21, -h = 3*n - 4*n + 12. Let p be ((-3)/h)/(3/18).