 + 107 = -38. Is x a multiple of 10?
True
Let g(n) = -2*n**2 - n + 3. Let c be g(0). Suppose -3*i + 2*i + 6 = 0. Let z = c + i. Does 3 divide z?
True
Let a(p) = -9*p + 4. Let t be a(-5). Suppose -4*y + t = -119. Does 14 divide y?
True
Suppose -u + 35 + 18 = 0. Is u a multiple of 24?
False
Suppose -8 = a - 3. Is 24 a factor of (90/a)/((-3)/8)?
True
Suppose l + 2*l = 4*q + 57, -4*l + 48 = 4*q. Is l a multiple of 6?
False
Let i(m) be the second derivative of m**4/12 + m**3/6 + 7*m**2/2 - 6*m. Is 4 a factor of i(0)?
False
Let y = -16 - -10. Let h be (-998)/(-14) + (-4)/14. Is 12 a factor of (-2)/y + h/3?
True
Suppose 4*p = -3*s + 52, 0*p - 5*p = 10. Is 20 a factor of s?
True
Let g = 13 - 11. Suppose 90 = 4*s + 2*o, -2*s - 54 = -4*s + 2*o. Suppose g*h = 5*h - s. Is h a multiple of 4?
True
Let k = -6 + -4. Let n = k - -28. Is n a multiple of 9?
True
Suppose -5*r + 433 = -5*p + 68, r = 4*p + 70. Does 15 divide r?
False
Let d(q) = 3*q**2 + 4*q + 7. Is 34 a factor of d(5)?
True
Suppose -5*z = s - 23, 0 = -5*z + 2*s + 14. Let r be 4*(13/z - 2). Suppose 7 = -h - 5*v, 0*v - r*v + 2 = 4*h. Is 3 a factor of h?
True
Suppose 2*x - 2 = 8. Suppose -x*i + 188 + 27 = 0. Is 28 a factor of i?
False
Suppose -3 + 62 = 4*o - 3*x, -5*o + 4*x = -73. Does 6 divide o?
False
Suppose 0 = -a + 2*a - 38. Let c = a + -12. Does 13 divide c?
True
Suppose 0 = -3*v + 5*f - f - 2, v = 3*f + 6. Let t = -2 - v. Does 2 divide t?
True
Let i = 67 + -19. Suppose -2*x = 4*v - 102, -3*x - 15 - i = -3*v. Does 12 divide v?
True
Let y(g) = g**2 - 2*g + 1. Let j be y(2). Let l be -2 + 2/(2 - j). Suppose l*r = 2*r - 26. Does 13 divide r?
True
Let q be (-712)/(-12) + 2/3. Suppose 0*j + q = 3*j. Does 11 divide j?
False
Let w be 336/7*(-3)/4. Let y = w - -53. Does 7 divide y?
False
Let b(i) = i**2 - 4*i + 7. Let d be 37/5 + 14/(-35). Let z = 15 - d. Is 13 a factor of b(z)?
True
Let k(o) = -o**3 + 6*o**2 + 10*o + 3. Let x be (-12)/(-8)*14/3. Let q be x*1*(-5 + 6). Is k(q) a multiple of 13?
False
Suppose 3*j = 0, 0 = x - j - 2*j - 2. Let u be x/3*(3 + 0). Suppose 56 = -0*k + u*k. Does 14 divide k?
True
Let n = -63 - -89. Does 6 divide n?
False
Let m(f) = f + 16. Let v(i) = i + 15. Let h(j) = -4*m(j) + 5*v(j). Let q be h(-7). Suppose -88 = -3*x - 2*w, q*w = -3*x + 2*x + 16. Is 16 a factor of x?
True
Let j(y) = y**3 - 2*y**2 + 2*y - 1. Let d be j(2). Suppose 5*i = 2*x - 46, -d*x - 3*i = -45 - 24. Is 14 a factor of x?
False
Let l = -5 - -4. Is 1*l/2*-148 a multiple of 37?
True
Let x be 50/8 - 6/24. Suppose -2*p = -4*p - i + x, 5*p - 2*i = 24. Suppose g + p*g = 165. Is 12 a factor of g?
False
Suppose 872 = 19*z - 572. Is z a multiple of 38?
True
Let f(o) = 0 - 3*o - 5 - 2*o + 3*o**2 - 2*o**2. Suppose 0 = 2*w - 12 - 2. Is 4 a factor of f(w)?
False
Let k(l) = -l**3 - l**2 - l + 2. Let h be k(0). Let i = 2 - 0. Suppose 0 = -i*c - w + 8, h + 1 = c + w. Does 5 divide c?
True
Let m(v) be the second derivative of v**4/6 + v**3/2 + 3*v**2 + v. Let l be 1*-5*(-8)/(-10). Does 18 divide m(l)?
False
Suppose -5*p = 4*o - 2*o - 236, -2*p + o + 98 = 0. Suppose 2*g - 5*g = p. Let c = g - -26. Does 10 divide c?
True
Let j be 7/(-21) - 26/(-6). Let w = 22 + j. Is w a multiple of 26?
True
Let x(i) = -16*i + 4. Is x(-3) a multiple of 10?
False
Suppose 4 - 1 = -m. Let f be 4*(-1 - m/2). Suppose 0 = -0*u - f*u + 32. Is u a multiple of 8?
True
Let s(y) = -18*y + 3. Let u be s(-3). Suppose 84 = -5*m - 71. Let g = u + m. Does 11 divide g?
False
Let a(d) = 5*d - 15. Does 12 divide a(15)?
True
Let a be (-4)/(-7) - (-12)/28. Is (2 - a) + 57/3 a multiple of 8?
False
Let b(c) = -c**2 + 8*c - 9. Let l be (-4)/14 - 204/(-28). Let a be b(l). Does 4 divide a/(1 + -3) + 3?
True
Let z = -172 - -242. Is 5 a factor of z?
True
Suppose -2*y - 3*c = -238, -3*c - 238 = -2*y - c. Suppose -2*p - p = -2*l + 76, 3*l - 2*p - y = 0. Is 13 a factor of l?
False
Let u be (-10)/4 + 2/4. Suppose 2*z = z + 10. Let v = z + u. Does 4 divide v?
True
Let g(d) be the second derivative of 2*d**3/3 - 5*d**2 - 2*d. Does 13 divide g(9)?
True
Let d = -79 - -97. Is d a multiple of 18?
True
Suppose -12 - 4 = -4*y - 5*m, 2*m - 16 = -4*y. Suppose 2*t + 7*s - 135 = y*s, s = 3. Is t a multiple of 9?
True
Let l(o) = o**3 + o**2 - o - 5. Let d be l(0). Let f(k) = -k**3 - 4*k**2 - 5*k. Does 17 divide f(d)?
False
Suppose 0 = -4*c - c - 10. Let w be -2 + -1*(-2)/c. Does 13 divide 37 - 1*3/w?
False
Let q = 271 - -25. Is (-1)/(-3) - q/(-3) a multiple of 25?
False
Let d(v) = 12*v - 13. Let q be (3 + 1)/(8/20). Let m be d(q). Does 9 divide 4/(-14) - m/(-7)?
False
Suppose 5*b - 2*s = 90, -b - 4*s = -2*b. Does 20 divide b?
True
Suppose 4*n - 2*o - 344 = 0, 0*n - 334 = -4*n - 3*o. Let u = 138 - n. Let s = u - 34. Is 10 a factor of s?
False
Let v(z) = -z - 2. Let k be v(-4). Suppose 81 = 3*y - 2*r, -2*r + 27 = -y + k*y. Does 10 divide y?
False
Suppose 3*g = -0*g - 2*h - 25, -g + 2*h - 3 = 0. Let a be -3*1*9/(-3). Let w = a + g. Is w a multiple of 2?
True
Let q = -6 + -6. Let d be (-14)/(-8) + (-3)/q. Suppose 0 = -0*r - d*r - 3*g + 25, -38 = -4*r - 2*g. Is 4 a factor of r?
True
Suppose 585 = 7*m - 2*m. Is m a multiple of 28?
False
Let y(s) = s**2 - s - 25. Is 15 a factor of y(-13)?
False
Let y(c) = 2*c**2 - 4*c + 13. Let o be y(3). Suppose 3*r + 10 = -14. Let b = r + o. Is b a multiple of 11?
True
Let h be ((-109 + -1)/(-1))/1. Does 5 divide ((-6)/4)/((-11)/h)?
True
Let m(h) = h + 22. Is m(-14) a multiple of 8?
True
Is 0 + -2 - (4 - 28) a multiple of 6?
False
Let n be 1 - 2/4*4. Let d be (0*(-2)/(-4))/n. Suppose 3*r + 2*r + b - 33 = d, -5*b - 31 = -3*r. Is r a multiple of 2?
False
Is 23 - (-7)/(7/(-4)) a multiple of 19?
True
Let q = -2 - -6. Suppose q*b - 5*p = -14 - 24, -2*b + 4*p - 22 = 0. Does 21 divide (-292)/b - 2/(-7)?
True
Let b be 4 - (3 + -1) - -12. Let q = 38 - b. Does 16 divide q?
False
Let l = -18 - -36. Does 2 divide l?
True
Let z be 4/(-3 + (-10)/(-4)). Let s = -10 - z. Does 10 divide (2/(-4))/(s/84)?
False
Let p(x) = 3*x - 3. Let b be p(3). Let n = -4 + b. Suppose a - 38 = -a - f, n*a - 4*f - 28 = 0. Does 12 divide a?
False
Suppose -29 = -10*x + 9*x. Is x a multiple of 6?
False
Let o be 5*(-2)/6*-3. Suppose -v + 23 = l + 3*v, o*l + 4*v = 35. Suppose l = -b + 23. Is b a multiple of 7?
False
Let l = -8 - -11. Suppose l*t = -3 - 21. Is ((-4)/t)/((-2)/(-72)) a multiple of 9?
True
Let o = -13 - -20. Suppose o*w = 2*w + 30. Let u(m) = m**3 - 5*m**2 - 2*m - 8. Is u(w) a multiple of 11?
False
Is (48/15)/(5/50) a multiple of 8?
True
Suppose 2*f - 89 - 15 = 0. Is 17 a factor of f?
False
Is 12 a factor of 218/4 - 5/(-10)?
False
Let d be -2*3*(-5)/10. Let h = 3 + d. Does 3 divide h?
True
Suppose i = 5*i + 8. Let p = i - -7. Suppose -p*u - 16 = -3*h, 4*h - 83 = -4*u - 19. Is h a multiple of 12?
True
Let c(s) be the second derivative of s**5/20 - s**4/6 + s**3/2 - 3*s**2/2 + 2*s. Let l be c(2). Suppose l*f - 4*f + 36 = 0. Is 12 a factor of f?
True
Let w(y) = -6*y + 9. Does 21 divide w(-9)?
True
Let n = -52 - -22. Let w = 63 + n. Is 11 a factor of w?
True
Suppose -2*n + 0*n = g - 7, -4*g + n - 8 = 0. Let z be (g - -1)*(-7)/(-14). Suppose 2*m - 56 = -z*m. Is m a multiple of 14?
True
Let n = -11 + 23. Let c = n + 19. Is 14 a factor of c?
False
Let q = -29 - -50. Is 7 a factor of q?
True
Suppose -25 = -2*z + 7*z. Let s(i) be the second derivative of -5*i**3/6 - 5*i**2/2 + 5*i. Does 10 divide s(z)?
True
Suppose -4*b - 4*a + 268 = 0, -3*a = -3*b + 2*a + 169. Let f = b + -37. Is 19 a factor of f?
False
Suppose -168 = -4*p + 72. Is 12 a factor of p?
True
Let m(z) = -2*z**2 + 11*z + 8. Suppose -5*c - 2 - 3 = 0. Let b(v) = -v. Let g(t) = c*m(t) - 6*b(t). Is 17 a factor of g(6)?
True
Let s(q) be the first derivative of 2*q**3/3 - 5*q**2/2 - 8. Does 7 divide s(4)?
False
Suppose -v + 24 = -25. Let p = 6 + v. Is p a multiple of 24?
False
Let z = 47 - 26. Suppose -4*p = -s + z, -4*s - 3*p = -0*p - 84. Does 6 divide s?
False
Let w be 24 + (-5)/(5/3). Is 3 a factor of (-1)/(2 + w/(-9))?
True
Let v = -25 - -25. Let o(i) = -3*i + 9. Is o(v) a multiple of 8?
False
Suppose 2*r + 4 = 4*n + 64, -90 = -5*r - 5*n. Is r a multiple of 10?
False
Let s(f) = 7*f + 9. Is 24 a factor of s(9)?
True
Let m be 2/5*(4 + 136). Let j = m - 25. Is j a multiple of 8?
False
Let p be 12/9*(-6)/(-4). Suppose 2*w = 3*k + 26