(d) be the first derivative of -d**2/2 + 6*d + 2. Let p be v(9). Does 4 divide (-69)/(-15) - p/(-5)?
True
Suppose 5*s + 9 + 18 = 4*f, 5*s + 2*f = -9. Does 19 divide 1/((-3)/(-177)) - s?
False
Let s = 217 + -113. Is 13 a factor of s?
True
Suppose -3*c - 3*p - 8 = -p, -4*p - 16 = 5*c. Suppose n - 18 = -c*n. Is 18 a factor of n?
True
Let b be (-6)/8*(-6 + 42). Let v be (-2)/(-5) + (-15)/(-25). Is -2 + (v - b) - 0 a multiple of 9?
False
Suppose -o + 19 = -16. Does 9 divide o?
False
Let d(y) = -3*y. Let u be 2/1 - (9 + -3). Does 5 divide d(u)?
False
Suppose 5370 = 12*j + 1338. Does 42 divide j?
True
Let k(i) = -15*i + 1. Let s = -4 + 6. Let w be k(s). Let b = w + 59. Is b a multiple of 8?
False
Suppose 5*o + 8 = -2. Let r(p) = p**2 + 1. Let d be r(o). Suppose q - 5 = 2*k, 4*q + 3 = d*k + 23. Does 5 divide q?
True
Suppose -2*t = -2*c + 240, -2*t = -5*c + 858 - 249. Suppose i = -2*i + c. Is 13 a factor of i?
False
Suppose -4*b - 12 = 4*x, -5*x + 5*b - 34 = -9. Let r(a) = 3*a**2 + 5*a - 3. Let o be r(x). Suppose 0 = 5*c - o, 5*c = -4*l - 0*l + 41. Is 2 a factor of l?
True
Let h be 2096/20 - (-2)/10. Let g = h - 72. Does 14 divide g?
False
Suppose 0*g - 2*g = -2*q - 10, 4*g + 3*q = 41. Let w(l) be the second derivative of l**5/20 - 7*l**4/12 - 4*l**3/3 + 3*l**2 + l. Does 3 divide w(g)?
True
Is (3/(-9))/(2/(-108)) a multiple of 3?
True
Suppose -a = -2*y + a + 8, -y - 3*a = -8. Suppose 5*l - 3*t = 5, 0*l = -l + y*t + 1. Is 4*l + 0 + 2 a multiple of 3?
True
Let t(j) = j + 2. Let a be 58/8 + (-1)/4. Is t(a) a multiple of 9?
True
Let l(q) = q**3 - 2*q**2 + q - 1. Suppose 5*s = 2*r + 28, 3*s + 3*r + 28 = 7*s. Let o be l(s). Is 8/(-12) - o/(-3) a multiple of 7?
False
Is ((-50)/(-15))/(3/99) a multiple of 22?
True
Suppose -3*t + 74 = t + 2*m, -54 = -3*t - 3*m. Suppose 0 = -4*p + 3*p + 2*l + 35, -p = 2*l - t. Suppose -4*c + p = -9. Is c a multiple of 7?
False
Let w(q) = -q**2 - 7*q + 1. Let b be w(-6). Let p(s) = -s**2 + 10*s - 7. Does 9 divide p(b)?
False
Let v = 9 - 21. Let b = 24 + v. Is b a multiple of 3?
True
Suppose 3*o = 2*q - 170, 2*o - 4 = 4*o. Is q a multiple of 41?
True
Let r be (-105)/(-49) + 1/(-7). Suppose -5*j + 2*i + 55 = 0, -r*j - 4*i = -6 - 16. Is 3 a factor of j?
False
Let s(y) = y**2 + 2*y - 1. Let j be s(1). Suppose 3*k - 37 = -x + j*x, 0 = -2*k - 3*x + 43. Does 5 divide k?
False
Let c(y) = -9*y**2 - 33*y - 21. Let a(p) = 4*p**2 + 16*p + 11. Let u(s) = -7*a(s) - 3*c(s). Is 4 a factor of u(-11)?
True
Suppose 67 = f - x, -3*f + 4*x - 6*x + 216 = 0. Is 5 a factor of f?
True
Let u = 11 + -24. Suppose 2*p - 112 = -5*c, 0 = -0*c + c + 4*p - 8. Let d = c + u. Does 8 divide d?
False
Suppose -4*o = 3*f - 416, 0 = -o - 5*f + 80 + 24. Suppose -4*w + 2*u = -0*u - o, 2*w - 5*u - 68 = 0. Is w a multiple of 12?
True
Let g = 66 - 122. Does 4 divide g/6*(-12)/8?
False
Let z be 46/(-5)*(2 + 3). Is 19 a factor of (z/(-3))/(2/6)?
False
Let g(l) = l + 1. Let f be 3/(-12) - (-43)/(-4). Let i = f + 19. Is 4 a factor of g(i)?
False
Suppose -2*q + 140 = 3*a, -2*q + 16 = 2*q. Suppose 4*d + a = 4*b, -3*b + 5*d + 36 = 5. Is 6 a factor of b?
True
Let m(v) = v - 5 - v**2 + 4*v - 4*v + 7. Let s be m(0). Suppose -w + 18 = s*w. Is w a multiple of 6?
True
Let d(k) = k + 2. Let t = 2 + -2. Let j be d(t). Suppose -57 - 23 = -j*u. Is u a multiple of 20?
True
Suppose -6*q + 1091 = 371. Does 9 divide q?
False
Suppose -2*r = -0*r - 4. Suppose r*i - 7*i + 355 = 0. Is i a multiple of 16?
False
Let w = 8 - 3. Let b = w + 1. Does 2 divide b?
True
Let o = 27 + -11. Suppose 5*j = j + o. Is 4 a factor of j?
True
Suppose -5*x - 71 = -5*w - 446, -3*w + 55 = x. Is 10 a factor of x?
True
Let y be (-4 + 0)/(-1) + -1. Suppose 1 = 4*o + y*v - 4, 4*o - 30 = 2*v. Suppose 0 = 5*f - h - 37, 0 = -h + o*h + 8. Is f a multiple of 3?
False
Let k = -11 + 13. Suppose -2*m = 4*g - 42, -k*m - g - 5 + 41 = 0. Does 17 divide m?
True
Let s be (-4)/(-10) - (-4)/(-10). Let t be 4*(-3)/18*-12. Let w = t - s. Is w a multiple of 3?
False
Suppose 0 = 9*z - 4*z - 40. Is 8 a factor of z?
True
Suppose 14 = 4*x - 2*b, -3*x - b - b + 7 = 0. Let i(d) = 3*d**2 - d + 1. Is i(x) a multiple of 10?
False
Suppose 26*v = 25*v + 63. Is 21 a factor of v?
True
Let k(o) = -o**3 + 4*o**2 + o - 2. Let w be k(4). Suppose 3*h - 2*v = 12, -4*h + 33 = 7*v - 4*v. Let u = h - w. Is 4 a factor of u?
True
Let o(f) = f - 7. Let a be o(8). Let c(p) = 21*p + 1. Is c(a) a multiple of 11?
True
Let q = 0 + 2. Suppose -q*u = u. Suppose -2*v - v + 51 = u. Is 17 a factor of v?
True
Is (-346)/(-18) - (-6)/(-27) a multiple of 3?
False
Suppose -3*k = -6*k. Suppose k = 3*n + 3 - 9. Suppose -7 = -n*h + 23. Is 6 a factor of h?
False
Let f be 8/(-4) + (-1 - 2). Let k = 5 - f. Does 3 divide k?
False
Let o(d) = -7*d + 7 - 11*d + 17*d. Is o(3) a multiple of 2?
True
Let b = 54 + -37. Is 17 a factor of b?
True
Let u(v) = 2*v - 5. Let w be u(5). Suppose 0 = -w*o + 202 + 83. Is o a multiple of 15?
False
Is 13 a factor of ((-19)/38)/(1/(-74))?
False
Let v(r) = -11*r**3 + 2*r**2 - r - 2. Is v(-2) a multiple of 24?
True
Suppose -10 = -3*q - 1, 5*q = 2*b - 9. Does 4 divide b?
True
Let s(n) = -15*n - 5. Let k be (2 + (-9)/6)*-12. Let y be s(k). Let h = y - 42. Is 15 a factor of h?
False
Let p = 264 + -91. Let k = p - 110. Does 21 divide k?
True
Suppose -3*b = -5*b + 30. Is (-26)/(-3) + 5/b even?
False
Let c = 6 + -4. Suppose 3*i - 104 = -5*o, -i - 4*o - 29 = -c*i. Is i a multiple of 12?
False
Let o(b) = -b**3 + 8*b**2 + 11*b - 7. Let h = 25 + -16. Is 8 a factor of o(h)?
False
Suppose 0 = 4*u + 3*o + 2, u = 3*u + 2*o. Is u*((-57)/6 + 1) a multiple of 17?
True
Let k be 0 + (-4)/((-12)/9). Suppose -k*r + 131 = 50. Is 9 a factor of r?
True
Suppose -z + 3*m + 104 = 0, -4*z = -6*z - 3*m + 244. Let v(u) = -3*u + 4. Let k be v(0). Suppose 47 = 2*c + o - 0*o, -z = -5*c - k*o. Is 24 a factor of c?
True
Suppose -2*r + 3*j = -7*r + 7, 8 = 5*r + 2*j. Let f be -1 + -1 - r/2. Is 14 a factor of f*2/(-9)*30?
False
Let x = 27 - -6. Is x a multiple of 10?
False
Suppose -6*c + 500 = -2*c. Suppose 5*b + 20 = c. Is 7 a factor of b?
True
Let x(g) = 12*g**2 - 12*g - 1. Does 19 divide x(-5)?
False
Let l be 7/2 + 2/4. Let r(v) = v. Let h be r(l). Suppose -4*u + 4*o + 64 = 0, -o = 4*u + h*o - 28. Is u a multiple of 6?
True
Suppose -5*q = -5*j + 39 + 6, 5*q + 27 = -4*j. Let l(v) = -v**3 - 6*v**2 - 2*v + 10. Is 16 a factor of l(q)?
False
Let q = -64 - -146. Let b = q + -29. Is b a multiple of 20?
False
Let w(h) = h**3 + 12*h**2 - 15*h - 13. Is 2 a factor of w(-13)?
False
Let k = 5 - 9. Does 17 divide ((-2)/k)/((-4)/(-136))?
True
Let a(q) = 17*q - 35. Is a(8) a multiple of 10?
False
Let p(s) = s**2 + 5*s. Suppose 3*w + 29 = 11. Let i be p(w). Does 17 divide 3*4/i - -15?
True
Let f = -7 - -13. Let p(o) = o**3 - 6*o**2 + 7*o - 1. Is 16 a factor of p(f)?
False
Let z(j) = j**2 + 3*j + 1. Let a be z(-5). Suppose -2*l + 3 = a. Is 21 a factor of l/3*(-126)/4?
True
Let t = 28 - 1. Suppose -4*j = -7*j + t. Does 2 divide j?
False
Suppose -2*b = -5*v - 0 - 6, -5*v - 15 = -5*b. Suppose f + b*p - 22 = -f, 4*f - 4*p = 84. Is 17 a factor of f?
True
Let n = -73 + 10. Suppose -2*h + h = i - 100, 4*i = -3*h + 402. Let s = i + n. Does 14 divide s?
False
Let o(c) = -2*c + c - 2*c - 16 + 6. Is o(-8) a multiple of 7?
True
Let r be (-1 - -45) + 4 + -4. Suppose q - 49 = -3*t + 12, 4*q - r = -2*t. Is t a multiple of 10?
True
Let a(c) be the first derivative of -c**3/3 + 3*c**2 + 10*c + 2. Let i be (-2)/6 - 66/(-9). Does 3 divide a(i)?
True
Suppose -5*d - 1 = -26. Suppose -d*s + 27 = -38. Suppose 0 = -3*r - 2*b + 54, 1 - s = -4*b. Is 10 a factor of r?
False
Let n = -120 + 173. Is n a multiple of 8?
False
Suppose 2 = 2*c - 4, 3*l = c + 3. Suppose 2*m = h + 8, l*m = -h + 3*m - 4. Suppose -4*t = -h*t - 192. Does 25 divide t?
False
Let t(m) = -m**2 + 5*m + 6. Let g(b) = b**2 + 11*b + 15. Let u be g(-10). Is 3 a factor of t(u)?
True
Let s = 16 + 53. Is 3 a factor of s?
True
Let m be (3 + 0)/(3/2). Suppose -2*a + 20 = -2*h, 0*h + 36 = m*a + 2*h. Is 4 a factor of a?
False
Suppose -75 = 5*q + 2*c + 80, 2*q + 2*c = -56. Does 24 divide 8/(-6)*(q - 3)?
True
Does 27 divide (-7)/((-6)/(-174)*-1)?
False
Let a = -70 - -127. Is a a multiple of 11?
False
Let y be (8/(-20))/((-3)/60). Suppose 12*a - y*a - 232 = 0. Does 29 divide a?
Tru