rue
Let w(f) be the first derivative of f**5/20 + f**4/4 - f**3/3 + f**2/2 + 8*f + 5. Let z(n) be the first derivative of w(n). Is 5 a factor of z(-3)?
False
Let o = -443 - -828. Does 55 divide o?
True
Let a(m) = 30*m**2 - 7*m - 4. Let h(f) = 10*f**2 - 2*f - 1. Let j(d) = 6*a(d) - 17*h(d). Is j(4) a multiple of 11?
True
Let m = 0 + -2. Is 10 a factor of (-62)/m*(-4)/(-4)?
False
Let q(w) be the third derivative of -w**6/120 + 7*w**5/60 - 7*w**4/24 + 7*w**3/6 + 24*w**2. Is q(4) a multiple of 9?
True
Let k(i) = -i**2 - 3*i + 9. Let z be k(-5). Is 9 a factor of ((-354)/18 - 3)/(z/3)?
False
Let y = -236 + 423. Is y a multiple of 11?
True
Let n = 82 - 29. Let x = 81 - n. Suppose 2*u - k - 7 - 21 = 0, 2*u + k = x. Is u a multiple of 5?
False
Suppose 0 = 3*x - s - 2488, 21 - 20 = -s. Is 23 a factor of x?
False
Does 2 divide (1 - 3)*(-2 - 1/(-1))?
True
Is 41 a factor of (25 - 121)*(-82)/6?
True
Let a(d) = -d**3 - 12*d**2 - 10*d + 7. Let v be a(-11). Let w = v - -6. Suppose w*q - 120 = -3*q. Is q a multiple of 7?
False
Let w = 279 - 268. Is w a multiple of 7?
False
Let d = 64 - 60. Suppose 3*w = -2*p + 70, 2*w - d*p - 65 = -13. Is 24 a factor of w?
True
Let g = -194 - -124. Let o be -7*-12*(-25)/g. Suppose -5*l + o = -55. Is 8 a factor of l?
False
Let v be (2*100/16)/((-2)/(-4)). Suppose 78 = 5*t - 4*p - 152, v = -5*p. Is t a multiple of 16?
False
Suppose 0 = w - 3 - 0. Suppose -8*b = -w*b - 130. Is b a multiple of 13?
True
Is (-258)/36*14*-9 a multiple of 43?
True
Let m(b) = -4*b - 5 + 5*b + 6 + 7*b**2 + 0*b. Let s be m(-4). Suppose k - 167 = -5*z, 0*z = 3*z + 5*k - s. Does 11 divide z?
True
Suppose -3*y = 4*r - 15, 0*r - 20 = -4*r - 4*y. Suppose r = -f + 4 + 1, -t = -5*f - 83. Does 10 divide t?
False
Let u = -2 - -5. Let l(n) = 35 - u*n - 44 - n**2 + 13*n. Is l(5) a multiple of 16?
True
Suppose 4*x - 12 = 0, 5*i - 52 - 85 = -4*x. Let z = 77 - 34. Let t = z - i. Does 9 divide t?
True
Suppose 76 = -5*l + 2*m, -5*l + 3*m - 64 = 5*m. Let h = 81 + l. Is h a multiple of 9?
False
Let g = -7 + 2. Let u = g - -59. Let k = -30 + u. Is k a multiple of 12?
True
Suppose z = f + 103, 3*z - 2*f = 3*f + 303. Let k = 136 - z. Does 6 divide k?
True
Let s(y) = 2*y**2 - 12*y + 8. Suppose 4 = 2*q + 2, 0 = -2*v + 3*q - 15. Does 27 divide s(v)?
False
Let b = -631 - -1457. Is 55 a factor of b?
False
Suppose 4*i - 5 + 25 = 0. Let k(q) = q**3 + 6*q**2 + 6*q + 5. Let j be k(i). Let o = j - -19. Does 19 divide o?
True
Let h(p) be the first derivative of -p**2/2 - 3*p + 6. Let a be h(-4). Does 10 divide (0 + a)/((-6)/(-60))?
True
Let b = -55 + 87. Suppose 3*y - 4*y = b. Let f = y + 73. Is 20 a factor of f?
False
Let h be (-3 - -5 - 18/8)*-12. Suppose 4*w + 2*x - 648 = 3*x, -4*x = -h*w + 499. Is w a multiple of 7?
True
Let q = -129 - -229. Suppose 3*f = -f + q. Is f a multiple of 3?
False
Suppose 3*v - 3*j - 903 = 0, 5*v + 1062 = 3*j + 2557. Suppose v + 364 = 3*h. Is h a multiple of 60?
False
Suppose -965*k + 958*k + 6769 = 0. Is k a multiple of 13?
False
Suppose -12*i + 465 + 351 = 0. Is 4 a factor of i?
True
Let d(r) = 56*r + 1. Let j be d(2). Let i(n) = n**3 + 13*n**2 + 19*n + 19. Let c be i(-12). Let p = j + c. Is 16 a factor of p?
True
Let u be 9*2 - (3 + 0). Suppose -r + u = -2*i - 2*i, i - 2*r + 2 = 0. Is (i - -3)/((-1)/14) a multiple of 14?
True
Let u(t) = t - 15. Let l be u(0). Let i(v) = 5*v - 34. Let o(s) = -s. Let p(r) = -i(r) - 6*o(r). Is 19 a factor of p(l)?
True
Let f = 1267 - 867. Does 20 divide f?
True
Is ((-381)/9)/(-2*4/48) a multiple of 26?
False
Let n(w) be the first derivative of w**4/4 + 7*w**3/3 + 3*w**2/2 + 6*w - 1. Let j(r) = -2*r**2 + 65*r + 27. Let t be j(33). Is n(t) a multiple of 8?
True
Let v(p) = 6*p + 10. Is v(9) a multiple of 16?
True
Is 13 a factor of 1*(4 + 3230/2)?
False
Let u = 4040 - 2235. Is u a multiple of 19?
True
Let v be ((-64)/(-6))/2 - 23/69. Suppose -v*t + 432 - 132 = 0. Is t a multiple of 5?
True
Suppose 0 = i + t + 24, 4*i + t + 105 = -0*t. Let k = 47 + i. Does 2 divide k?
True
Let p(c) = -2*c**2 + 16*c + 9. Let h(n) = 3*n**2 - 17*n - 9. Let d(u) = -3*h(u) - 4*p(u). Let v = -22 + 14. Does 13 divide d(v)?
False
Let q(y) be the first derivative of 2*y**3/3 - y + 8. Let n be q(-2). Is 23 a factor of (-351)/(-7) - 1/n?
False
Suppose 0 = -5*z - 5*d + 5 + 5, 0 = 3*z - d + 10. Is 6 a factor of (438/(-3) - 0)/z?
False
Let q(c) = 4 - 142*c**3 - 5*c + 47*c**3 + 47*c**3 + 47*c**3 + 8*c**2. Let g be 2/3 + (-16)/(-3). Is 14 a factor of q(g)?
False
Let k = -9 + -1. Let l = 3 + k. Let j(v) = 2*v**2 + 7*v + 3. Does 13 divide j(l)?
True
Let t be (158/8)/(4/(-16)). Let i = t + 104. Is 25 a factor of i?
True
Suppose -23276 = -37*o + 15*o. Is o a multiple of 4?
False
Let u(t) = t**2 - 2*t + 39. Is 4 a factor of u(5)?
False
Let d(k) = 5*k**2 - 3*k + 1. Let m be d(-2). Let s = m + -23. Is s a multiple of 4?
True
Let q(l) = 21*l**3 + l**2 - 2*l + 1. Suppose 4*t - 36 = t. Let r = t - 11. Does 7 divide q(r)?
True
Let v(q) = q**2 + 14*q + 32. Let k be v(-10). Is ((-1374)/k)/((-6)/(-8)) a multiple of 14?
False
Let o be 4/(-8)*(3 - 5). Suppose 64 = g - o. Does 5 divide g?
True
Let m(p) = -p**3 + 69*p**2 + 27*p - 103. Is 20 a factor of m(69)?
True
Suppose 2*v - v = 2*w + 1667, -5003 = -3*v + 4*w. Does 22 divide v?
False
Let o(u) = u**3 - 16*u**2 - 12*u - 27. Is o(18) a multiple of 27?
True
Let z = -1613 - -5693. Does 132 divide z?
False
Let g = 603 + -481. Does 9 divide g?
False
Let h be ((-28)/8)/((-2)/4). Let u be 74/14 - 2/h. Is (u - -1)/((-9)/(-6)) a multiple of 3?
False
Suppose 10 = 2*b, -4*h - h + 3*b - 5 = 0. Suppose 3*w - 784 = -h*z - 3*z, -w + 4*z + 267 = 0. Suppose w + 97 = 5*q. Is q a multiple of 18?
True
Let j(r) = r**3 - r**2 + 26*r - 362. Is 12 a factor of j(13)?
True
Let x(l) = 11 + 1 - l - 3. Let o be x(14). Let f(p) = -p**3 - 5*p**2 + 7. Is 4 a factor of f(o)?
False
Suppose 4245 = 31*d - 1955. Is 26 a factor of d?
False
Let p(m) = 3*m**3 + 27*m**2 - 7*m - 8. Does 5 divide p(-7)?
True
Suppose -4*g + 40 = 2*v, 4*v = -4*g + 6 + 70. Suppose v*z = 17*z + 94. Is 47 a factor of z?
True
Suppose 3*f - 2435 = 541. Is 31 a factor of f?
True
Let h(q) = -q**2 + q + 15. Let c be h(0). Suppose -83*t = -70*t. Suppose 5*a - c = t, -2*a = -3*y - a + 9. Is y even?
True
Let k(j) = -60*j + 10. Let g(o) = -29*o + 4. Let w(v) = 9*g(v) - 4*k(v). Suppose -a - 10 = 5*x, -a = 2*a. Does 7 divide w(x)?
False
Let j(v) = 84*v**2 + v. Let x be j(-1). Suppose x = c - 51. Does 4 divide 6/(-18) - c/(-6)?
False
Let t(u) = 3*u + 20. Let r be t(-6). Let x be (2 + -2)/(r + -1). Suppose 4*p - 4*a = a + 93, x = 3*p - a - 67. Is p a multiple of 15?
False
Suppose 12 = -2*x + 4*x. Suppose 5 = x*q - q. Suppose -o + 7 = -q. Is 3 a factor of o?
False
Let r(f) = f**2 - 15*f - 17. Let k be r(16). Let g be 54 + k - 8/4. Does 10 divide 1536/g - 2/17?
True
Let n(o) = -o**3 + 3*o**2. Let z be n(3). Let j be (200/(-32) - -4)/(6/(-496)). Suppose z = -0*p - 6*p + j. Does 6 divide p?
False
Let r = 28 + 16. Suppose -8*z = 3*z - r. Does 4 divide z?
True
Suppose -168*c - 73440 = -192*c. Is 90 a factor of c?
True
Let l be 5190/180 + 1/(2*3). Let v = -89 + 162. Let w = v - l. Is w a multiple of 11?
True
Suppose -4*g = -g + 312. Let s = g - -148. Suppose 5*q - s - 91 = 0. Is 9 a factor of q?
True
Suppose -4*c = -7*c + 6. Suppose 2*w - 2*t = 110, -276 = -5*w + c*t + 2*t. Suppose 2*m = -w + 140. Does 14 divide m?
True
Suppose 5*q - q = 8. Suppose -r = -q*r. Suppose r = -d - 5*t - 4, 4*d + 4*t - 48 = -0*d. Is d a multiple of 8?
True
Let v be (-1)/5 + (-522)/(-10). Suppose 0 = -3*p + 5*j + 39, 0*j + v = 4*p - j. Is 5 a factor of p?
False
Let n be 10/(-4)*(-16)/20. Suppose -b - n*b = -9. Suppose -91 = -5*o + o + 3*m, -4*m = -b*o + 63. Is 11 a factor of o?
False
Does 34 divide 35990/531 - 4/(-18)?
True
Let l be -1*(17 + -1)/(-4). Suppose -6 = -l*f + 74. Is f a multiple of 3?
False
Is (30/72 - (-2)/6)*168 a multiple of 3?
True
Let i = -27 + 1630. Is 30 a factor of i?
False
Suppose -17*d + 42 = -3*d. Suppose 4*v + 5*g = 58, -2*g + d*g - 62 = -5*v. Is 4 a factor of v?
True
Let u(w) = w**3 - 6*w**2 - 12*w + 10. Let p(l) = 26*l. Let z be p(1). Suppose z - 2 = 3*v. Does 21 divide u(v)?
True
Let a = -4 - -8. Suppose 2 = 2*z + a. Is 13 a factor of 4 + z + 31 + 0?
False
Is 3*14*(-9)/90*-635 a multiple of 23?
False
S