- w. Does 11 divide a?
True
Let z = 50 + -65. Let p(x) be the second derivative of x**5/20 + 5*x**4/4 + 8*x**2 - 6*x. Does 16 divide p(z)?
True
Suppose 15 + 37 = i. Suppose 9*t = 7*t + i. Let c = 30 + t. Does 24 divide c?
False
Let v = 30 + -30. Suppose 6*z + z - 28 = v. Is (-5 - -33)/(z/6) a multiple of 15?
False
Does 8 divide ((-84)/7)/(1*2/(-4))?
True
Let p(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3/6 - 7*l**2/2 + 9*l. Is p(-5) a multiple of 8?
True
Let j = -77 - -31. Let r = -17 - j. Does 29 divide r?
True
Suppose 2*j - 5*x = -0*j + 10, -3*j = 2*x + 4. Is (j - 1*-6)*(7 - 4) a multiple of 14?
False
Suppose -w + 16 = 3*w. Suppose g - 8 = -w. Is g a multiple of 2?
True
Let z = 2 + -2. Let c(x) = -x**3 + 8*x**2 - 7*x - 22. Let r be c(6). Suppose z = 5*a - r*a + 6. Is a even?
True
Suppose -38 + 14 = -3*j. Suppose 2*o = -0*o - j. Is 1 + 49 + o/(-2) a multiple of 13?
True
Suppose 0 = 5*k - 2*j - 10804, 4*k - 22*j - 8663 = -27*j. Is k a multiple of 23?
True
Suppose -10*h = -4*h - 264. Suppose 21*j - 25*j + h = 0. Is j a multiple of 11?
True
Is 48 a factor of (14292/(-3))/(-6 + 4)?
False
Let c = 500 - 461. Is c a multiple of 13?
True
Suppose -474 = -5*a + 2*a - 4*v, -3*a - 3*v = -477. Is 4 a factor of a?
False
Let x be -2*(-5)/(10/137). Let c = x - 78. Is 8 a factor of c?
False
Is 103 a factor of (-100 - (16 + -13))*-44?
True
Let v(p) = -420*p - 21. Let j(d) = -84*d - 4. Let q(k) = -11*j(k) + 2*v(k). Let u be q(2). Suppose -4*t + b + 2*b + 137 = 0, -5*t + u = -5*b. Does 14 divide t?
False
Let n = 1047 - -85. Is 27 a factor of n?
False
Let w(q) = -q**3 - 10*q**2 - 9*q - 8. Let t = -6 - 3. Let j be w(t). Is 17 a factor of j/(-3)*6 - -2?
False
Let q(f) = 2*f**2 - 2*f + 3. Let u be q(3). Suppose -4*b - 5 + 39 = -3*j, b - 4*j - u = 0. Does 4 divide b?
False
Suppose -81007 + 14842 = -15*a. Is a a multiple of 17?
False
Suppose -5091 + 1731 = -30*d. Is 4 a factor of d?
True
Let v(h) be the first derivative of h**5/60 - h**4/4 - h**3 + 5*h**2/2 + 8. Let a(q) be the second derivative of v(q). Is a(8) a multiple of 9?
False
Does 33 divide (-102564)/(-111)*1/2?
True
Let s(k) = -k**3 + 8*k**2 + 4*k - 8. Suppose y - 3*v - 8 = -y, -y - 4*v + 4 = 0. Is 9 a factor of s(y)?
True
Suppose x = -5*r + 2*x + 162, 2*r + 4*x = 78. Is 8/6 - (-748)/r a multiple of 3?
True
Let h(i) = -i + 7. Let g(v) = 3*v - 4. Let x be g(3). Let y be h(x). Does 11 divide y - 132/(-6 - -3)?
False
Let n(f) = 2*f**2 - 5*f - 1. Let x be n(3). Suppose 2*w - s = 46, -2 = -s + x. Does 5 divide w?
True
Suppose b - 137 = -24. Does 3 divide b?
False
Let i(n) = 3*n**3 - 3*n**2 + n - 2. Let u be i(2). Suppose -3*k + u = -4*y, 2*y - 3*y = -4*k + 29. Is 20 a factor of (-820)/k*(-8)/10?
False
Suppose 0 = p + 3*r - 1070, -3*p + 20*r = 16*r - 3158. Is 70 a factor of p?
False
Let y = 260 + -57. Suppose -y = -2*d - 2*r + 7*r, 5*r - 292 = -3*d. Does 7 divide d?
False
Let i(u) = -7*u - 24. Let n be i(13). Let k = -64 - n. Is 5 a factor of k?
False
Suppose -5*u + 722 - 32 = 2*p, 3*u = -p + 345. Is 4 a factor of p?
False
Suppose 11*n + 115 = 6*n. Let d = 25 + n. Suppose -d*m - 3*m - 20 = 0, -z + m = -12. Does 8 divide z?
True
Let c = 61 + -61. Let r = c - -12. Is 4 a factor of r?
True
Let p(o) = o**3 + 10*o**2 - 7*o + 48. Let y be p(-11). Does 19 divide 5/(195/2217) + y/26?
True
Suppose x + 4*x + 41 = 4*k, -32 = -3*k + 4*x. Suppose 5*y + 308 = d, 4*d - 313 = 3*d + k*y. Is d a multiple of 44?
False
Let y(z) = -z - 6. Let x be y(-5). Is ((-4)/5)/(x*(-4)/(-460)) a multiple of 17?
False
Let m = -7 + -2. Let s(y) = -y**2 - 10*y - 6. Let a be s(m). Is 3 a factor of a/((-9)/(-42)) + -2?
True
Is (0 + -1)*(-12532)/13 a multiple of 78?
False
Let b = -447 - -874. Suppose 0*c + 2*p + 113 = c, -4*c + 3*p = -b. Does 18 divide c?
False
Let t = 14 - 8. Is 5 a factor of -3*(-2)/t*5?
True
Let k be (-2 + -3)*(-8)/20. Suppose -k*t - 6*t = -400. Does 13 divide t?
False
Let z(w) = -w**3 - 6*w**2 - 10*w + 40. Is 15 a factor of z(-11)?
False
Let y(w) = 9*w - 15. Let k be y(4). Does 16 divide -2 - k/(-6)*6?
False
Suppose 5*j = z + 5, 0 = z - 2*j + 6*j - 13. Suppose z + 4 = n. Does 9 divide n?
True
Let c(x) = 5*x**3 + x**2 + 2*x. Let t be c(-2). Let k be ((-229)/4)/(10/t). Suppose 61 - k = -4*q. Does 21 divide q?
True
Let t(r) = -3*r + 29. Let k(b) = 7*b - 59. Let m(v) = 2*k(v) + 5*t(v). Let p(f) = f**2 - 6*f + 9. Let z be p(3). Is m(z) a multiple of 6?
False
Suppose -1 = h + 4. Let s be (2 + h + -54)/1. Let x = -23 - s. Is 17 a factor of x?
True
Suppose -2*r + 60 = -2*o, -4*o + 2*r = 42 + 82. Let h = o - -22. Does 25 divide (75/h)/((-2)/20)?
True
Suppose 4734 = -38*p + 44368. Is 43 a factor of p?
False
Let u = 2033 + -1329. Does 3 divide u?
False
Suppose 2*c + 6*c = 32. Suppose -94 = -r - c*b, -4*r + 7*b + 296 = 3*b. Is 27 a factor of r?
False
Let d(k) = -k**3 - 8*k**2 + 10*k + 18. Let n be d(-9). Suppose -n*b + 73 = -116. Is b a multiple of 14?
False
Does 69 divide (-62690)/(-60) - 10/12?
False
Let w(l) = -l**2 + 22*l - 81. Is w(15) a multiple of 15?
False
Suppose -51 = -3*t - 5*s, 4*s - 24 = -4*t + 3*t. Let z(a) = -a**2 + 12*a + 14. Let h be z(t). Does 7 divide (h - -2) + (-2)/1?
True
Let u be (-1)/2*(-2)/(-1). Let a be 4/1 - u/1. Let p = a - -51. Is 14 a factor of p?
True
Let p be 0 + 0/(-1) - -3. Suppose 0 = -8*v + p*v + 25. Suppose -v*u + 12 = -68. Is u a multiple of 6?
False
Let h(o) be the first derivative of o**3 + o**2 - 2*o - 7/4*o**4 + 4. Is h(-2) a multiple of 15?
False
Let t be 2/4 - 153/(-34). Suppose 0 = -t*f + 4*f + 81. Suppose f = b - 3. Is b a multiple of 17?
False
Is 2 a factor of 5427/108 - (-6)/8?
False
Suppose 4*d = z - 5*z - 8, 5*d + 13 = -4*z. Suppose 2*x = -h + 37, 2*h - 33 = h - z*x. Does 10 divide h?
False
Let r = 1599 - 1445. Is r a multiple of 11?
True
Let m be (72/45)/(1/245). Suppose 7*a - 4*a = f + m, 412 = 3*a - 5*f. Does 16 divide a?
False
Let r(x) = 9*x**2 + 15*x - 10. Is r(-10) a multiple of 10?
True
Let t = 1675 + -1654. Does 21 divide t?
True
Suppose -11*i - 22 = -9*i. Let u(k) = k + 46. Is u(i) a multiple of 10?
False
Let j(s) = -4*s + 10. Let u be j(0). Is 15 a factor of -6*u/(4/(-2))?
True
Let o = 6 - -28. Suppose 5*h = -5*i - 60, o + 18 = -5*i - h. Let s = 17 + i. Does 7 divide s?
True
Let q(s) be the first derivative of -s**4/4 + 11*s**3/3 + s**2 + 14*s - 12. Is 34 a factor of q(11)?
False
Let t(v) = -v**3 - 24*v**2 - 43*v + 21. Let r be t(-22). Is 5 - 1*(r - -2) a multiple of 4?
True
Let s(f) = 287*f**2 + 301*f + 3. Is 20 a factor of s(-5)?
False
Let b = 340 - 290. Is 25 a factor of b?
True
Let g(m) be the third derivative of m**6/60 - m**5/30 + m**4/3 - 7*m**3/6 + 3*m**2 + 5*m. Does 30 divide g(6)?
False
Suppose 2*b + 3*x + 44 = -2*x, -2*b - 42 = 4*x. Let w = -15 - b. Suppose -4*c + 46 = 4*d - w*c, -4*c = -4. Is d a multiple of 4?
False
Let g = 573 + -566. Is g a multiple of 3?
False
Suppose 2*d - 3*d = -51. Let s = d + 37. Is s a multiple of 13?
False
Suppose 0 = i + 5*w + 122 - 345, -3*w = 6. Is i a multiple of 11?
False
Let o = 5 + 9. Let a be 21/o + (-1)/(-2). Suppose -116 = -a*c - 0. Does 19 divide c?
False
Suppose 3*o = -4*z, -2*z - o + 1 = -1. Suppose r + 35 = l + 245, -598 = -z*r - 5*l. Does 46 divide r?
False
Let a = 3 + 14. Suppose 37 = 2*m - 7. Let d = m - a. Is d even?
False
Let k(y) = -7*y - 2. Suppose -d - 24 = -61. Suppose -2*b - 15 = h, -6*b + 5*h = -2*b + d. Does 32 divide k(b)?
False
Does 67 divide (-2 - 63/2)/((-183)/30744)?
True
Does 123 divide (984/(-10))/((517/(-330))/47)?
True
Suppose -5*q + 3*v - 3260 = 0, -4*v = 5*q + 1708 + 1587. Is (-1 + q/35)*-7 a multiple of 7?
False
Let g(b) = -b**3 - 10*b**2 - b + 11. Let w be g(-10). Let i = w + -10. Is i a multiple of 11?
True
Let p(b) = -89*b**2 - 3*b - 3. Let c be p(-1). Let i = c - -102. Is i a multiple of 7?
False
Suppose -28 = 5*g - 3. Let w(p) = -2*p**3 + 63*p**2 - 31*p - 6. Let z be w(31). Does 17 divide (-105)/z + g/10?
True
Is 67 a factor of (134/(-4))/((2 - -1)/(-36))?
True
Suppose -30 + 0 = -3*z. Suppose 4*q + 4*j - z - 6 = 0, -4 = -q + 3*j. Suppose q*c = 3*b + 177, b = 3*c - 4*b - 141. Is c a multiple of 14?
True
Suppose -120 = 5*i - 10*i. Let p = -2 - i. Let v = -18 - p. Does 4 divide v?
True
Let p(u) = 10*u**2 - u + 14. Let m(i) = -5*i**2 - 7. Let v(j) = -9*m(j) - 4*p(j). Let o be v(-4). Is 1/(-