 9350/15)/1?
False
Let a(q) be the second derivative of q**7/2520 - q**6/240 + 29*q**5/120 + 7*q**4/12 + 5*q. Let j(d) be the third derivative of a(d). Is 11 a factor of j(10)?
True
Suppose 2254 = -3*p + 5*q, -4*p + 4*q = 2843 + 173. Let x = p + 849. Is x a multiple of 13?
True
Let t = -2617 - -3151. Is t a multiple of 14?
False
Let n be 56/30 + -2 + 24828/(-90). Suppose -20*r - 56 = 24. Is ((-2)/(-3))/(r*2/n) a multiple of 10?
False
Let w(b) be the first derivative of 55*b**2 + 5*b + 9. Let a be w(1). Suppose -3*k + a = -5. Does 20 divide k?
True
Let h be 20/(-80) + 74/8 + -2. Suppose 0 = 4*c + h*c - 3091. Does 40 divide c?
False
Let v be 169/(-39) + 8 + 4/(-6). Suppose -3*o + 5*w + 1091 = 427, -3*w - 672 = -v*o. Is o a multiple of 2?
True
Let x = 43 + -41. Let t be 4/x + 8/(12/6). Suppose -h + 750 = 5*u, t*h - 730 = -5*u + h. Is u a multiple of 11?
False
Suppose -61 = -4*j + 3*o, 4*o - 14 + 78 = 4*j. Let i(h) = -h**3 + 13*h**2 + 16*h - 49. Is 18 a factor of i(j)?
False
Suppose -r - 5*h + 14 = 0, -5*h + 119 = -5*r + 39. Let k = r + 9. Does 8 divide (-43)/k + (-9)/(-6)?
False
Suppose -17*h = -23*h - 258. Let n = 34 + h. Let l(o) = -o**3 - 8*o**2 + 5*o - 3. Is 3 a factor of l(n)?
True
Let z(h) = h**3 - 9*h**2 - 48*h - 123. Does 3 divide z(24)?
True
Suppose -3*n + 380 = 4*u, -u = -4*n - 2*u + 485. Let k be (2/(-3))/(5/15). Is 3 - (n/(-1) - k) a multiple of 17?
False
Let k(u) = u**2 - 16*u + 62. Let t be k(10). Suppose 0 = -4*c + 4*p + 1360, -4*p = -t*c + 7*c - 1673. Does 11 divide c?
False
Suppose -4*n - 5*j + 59 = 0, 2*n + 6*j - j = 17. Suppose 17*o - n*o = -20. Suppose l - 892 = -5*a, 8*a - 5*l - 552 = o*a. Is 37 a factor of a?
False
Let j(m) = -78 + 169 + m + m - 23 + 0*m. Suppose -4*c = c. Does 17 divide j(c)?
True
Let l(x) = -7*x**2 + 2*x - 17. Let d(m) = -3*m**2 + m - 8. Let c(t) = -5*d(t) + 2*l(t). Suppose i = 6 - 0. Does 36 divide c(i)?
True
Suppose 8*t + 15 = 11*t. Suppose 5*n + 3*g - 26 = 0, -2*g + t = 3*n - 11. Let f(x) = x**2 + 3*x - 4. Is 4 a factor of f(n)?
True
Let p = -129 + 76. Let n = p + 121. Suppose -n = -4*r + 2*r + 5*o, 4*r + 4*o - 164 = 0. Is 13 a factor of r?
True
Suppose 65*u = -41*u + 114*u - 87424. Does 126 divide u?
False
Let v = -489 - -491. Is 78 a factor of ((-32)/24)/(v - 3380/1689)?
False
Let b(i) = i**3 + 5*i**2 - 8*i - 9. Let f be b(-6). Let w be 5/(-60)*-57 - (-1)/4. Suppose 0*g - g - w*j = -135, f*j - 9 = 0. Is 12 a factor of g?
True
Suppose -2*y + 1058 = 5*i, -5*i = -y + 6*y - 2630. Suppose -4*j = -u + y, -j + 695 - 2746 = -4*u. Suppose -a + 233 = 3*m - 151, 4*m - u = -a. Does 23 divide m?
False
Suppose -106*f + 111*f - 20 = 0. Suppose 15 = -3*v + 6*v + 3*d, 5*d - f = 2*v. Is 142/v + 4/6 a multiple of 8?
True
Suppose 0 = 4*m - 2 - 6. Suppose 7 = -c - 5*g, g - m*g = -2*c + 8. Suppose 4*v = -8, -c*v + 53 = -5*q + 184. Is q a multiple of 25?
True
Let k = 659 - 462. Let q = k - 91. Let s = 26 + q. Does 12 divide s?
True
Suppose 34*r - 1083 = 33*r + 3*w, 0 = 3*r - 2*w - 3221. Is r a multiple of 25?
False
Let l = 220 + -214. Suppose 98 = l*t - 1714. Is t a multiple of 16?
False
Is 3/(((-114)/(-76))/((-1259)/(-2))) a multiple of 12?
False
Let q = 16 + 60. Let m = 79 - q. Is 21 a factor of 5/(-15) + 100/m?
False
Suppose -60125 = -6*h - 19*h. Does 4 divide h?
False
Suppose 1012 = 4*d + 4*y, -5*d + 8*d - 763 = -2*y. Let v = d + -114. Does 13 divide v?
True
Let t(q) = q**2 + 10*q + 26. Let i be t(-6). Let k = i - 112. Let j = 206 + k. Does 32 divide j?
True
Does 58 divide 2493/1 - (0 + 6/1 - 7)?
True
Let f be ((-25)/5 - -4) + 4. Suppose 48 = w - i, 5*w + f*i + 0*i = 280. Is 17 a factor of w?
False
Does 12 divide 71/((-923)/(-11154)) + (-16)/(-2)?
False
Let g(j) = 147*j**2 - 29*j - 49. Suppose -7*s + 24*s + 34 = 0. Is g(s) a multiple of 36?
False
Suppose 4*w - 78 = -54. Suppose -w*o + 561 = 117. Is o a multiple of 6?
False
Suppose -p = 2*f - 43, -3*f + 5*p + 48 = p. Suppose 5*o = -4*w + f, -o - 2*w = 2*w - 4. Suppose -3*r = -o*r + 62. Does 12 divide r?
False
Let v be 2864/12 + 24/18. Let q = v + -165. Does 11 divide q?
False
Let j be (-48)/(-22) - 2 - (-106)/22. Suppose -2*w + 2*r - 3*r + j = 0, 0 = 4*w + 5*r - 13. Suppose 5*z = w*z + 387. Is 25 a factor of z?
False
Suppose 4*u - 716 = -6*v + 2*v, -v = -5*u + 877. Does 16 divide u?
True
Let i be 10 - -12*3/(-6). Suppose -3*t = i*j - 283, -2*t = -6*t - j + 373. Is t a multiple of 2?
False
Suppose -r = -3*d - 42, -2*r + 9 = -5*r. Let s(x) = x + 30. Is s(d) even?
False
Let a be 2/16*102 + (-1)/(-4). Let d(m) = 66 + 2*m + 9*m**2 - a*m**2 + 3*m**2. Does 22 divide d(0)?
True
Suppose 0 = 5*f - 3*w - 32694, 298*f + 4*w - 26104 = 294*f. Is f a multiple of 18?
True
Suppose -39*g + 60734 + 203686 = 0. Is g a multiple of 15?
True
Suppose 5 = -2*i - 3*g, 5*i + 4*g = i. Suppose 1035 = i*l - 185. Suppose -2*w - 2*u = -u - l, -3*w + 360 = 3*u. Does 17 divide w?
False
Suppose -5*a + 4 = -a. Let d be (32/(-6)*(-15)/10)/a. Suppose 3*h + 5*q - 95 = -d, -3*q + 81 = 3*h. Does 6 divide h?
True
Let n(i) = 11*i + 7. Suppose -2*s + 2*v = 6*v - 22, 3*v + 16 = 5*s. Suppose 8*w - 6 = 4*w - s*p, 2*p + 24 = 5*w. Is n(w) a multiple of 17?
True
Let n be ((-10)/3)/((-20)/180). Suppose 0 = j + j + n. Is 6 a factor of 12/((-5)/(j/2))?
True
Let a = 21 - 22. Let d be -1 + a/(-2) + 75/2. Let b = -5 + d. Does 13 divide b?
False
Let f = -5238 + 5238. Let i(o) = o - 1. Let q be i(1). Suppose 7*t + q*t - 385 = f. Does 34 divide t?
False
Let k(p) = 21*p - 41*p + 23 - 27*p. Let j be k(6). Let f = -86 - j. Is 32 a factor of f?
False
Let m(w) be the second derivative of -9*w**5/20 - w**4/3 - 5*w**3/6 - w**2 + 8*w. Let v(j) = -4*j - 7. Let a be v(-1). Is m(a) a multiple of 32?
False
Suppose 18*k - 8680 = -2*k. Let q = k - 233. Does 67 divide q?
True
Let r be -9 - (-104)/12 - (-286)/3. Suppose -228 = -3*z - 2*b, -r*z - 318 = -99*z + 2*b. Is z a multiple of 78?
True
Let i(c) = 14*c**3 - c**2 - 4*c + 4. Let o be i(3). Let z be (308/(-4))/((-8)/(-24)). Let a = z + o. Is a a multiple of 11?
False
Does 22 divide ((-30)/(-4) - 8)*-12*(-1 + 2344)?
True
Let v = 0 + 6. Let j(w) = w**2 - 36. Let z be j(v). Suppose z = 12*o - 10*o - 322. Is o a multiple of 15?
False
Suppose -3*o + 12492 = v, 3*v + 21*o - 26*o - 37560 = 0. Is 15 a factor of v?
True
Let s(w) = 4*w**3 - 109*w**2 + 19*w + 83. Let y(g) = g**3 - 27*g**2 + 5*g + 21. Let j(h) = 2*s(h) - 9*y(h). Does 7 divide j(24)?
True
Let a = 140 - 45. Suppose 90*t = a*t - 350. Is t a multiple of 4?
False
Let m(g) = 18*g**2 + 15*g + 8. Is 22 a factor of m(-12)?
True
Let n(u) be the first derivative of -u**3/3 + 9*u**2 - 20*u + 12. Let p be n(14). Suppose 0 = 3*z + k - 63, -p = -2*z + 4*k + 6. Is z a multiple of 5?
False
Does 44 divide (0 + 582)*(38 - (-2392)/(-78))?
True
Suppose 4*j - m - 49311 = 0, -39*m + 49313 = 4*j - 38*m. Is j a multiple of 186?
False
Suppose 130 + 26 = u. Let f be u/36 - (-1)/(-3). Suppose f*d - d - 72 = 0. Is d a multiple of 12?
True
Suppose 6103*c - 6871754 = 5940*c. Is c a multiple of 197?
True
Suppose -4*d - 351 = 389. Let m = 222 + d. Is m a multiple of 10?
False
Let o = 155 + -173. Is o/63 - (-3194)/7 a multiple of 12?
True
Let t(d) = 2*d**2 - 48*d - 43. Let c be t(25). Let q be 586/4*(-3 + c). Suppose 7*l - 30 = q. Is l a multiple of 22?
True
Suppose 20 - 5 = 5*j. Let y(w) = -w**2 - w + 1. Let a(r) = r**2 - 20*r - 16. Let o(v) = j*y(v) + a(v). Is 2 a factor of o(-9)?
True
Let q = -89 - -88. Let g(p) = -93*p. Let j be g(q). Let w = -80 + j. Is w a multiple of 2?
False
Suppose 4*x - 263 = 4*k - 3*k, 4 = 4*k. Suppose 3*a = -3*p + x, -a + 0*p + 26 = -p. Suppose -3*l = -r + a, 5*r + 4*l + 0*l - 63 = 0. Does 15 divide r?
True
Let m be (4/(-3))/((-2)/(-72)). Let v be 6/(((-4)/(-30))/(m/(-60))). Suppose -620 = -v*o + 32*o. Is 31 a factor of o?
True
Suppose 0 = 47*h + 58621 - 452011. Does 135 divide h?
True
Suppose 102176 = 5*c - 2*z, -281*z - 20438 = -c - 282*z. Does 38 divide c?
False
Let h = -657 - -706. Suppose -14448 = -h*o + 21*o. Is 12 a factor of o?
True
Let o(c) = 4*c**2 - 8*c + 6. Let u be o(3). Suppose i + 3*w + u = 0, w - 3*w = -2. Does 30 divide 2/3 - (1820/i)/2?
False
Let v(f) be the third derivative of f**4/8 + 31*f**3/6 + 36*f**2. Let t = -12 + 21. Does 10 divide v(t)?
False
Let t = 26 - 27. Is 10 a factor of (t + 264)*(-24)/(-24)?
False
Let m