r(h) be the first derivative of h**7/840 + 7*h**6/360 - h**5/30 - h**4/8 + 5*h**3 - 20. Let z(n) be the third derivative of r(n). Is z(-7) a multiple of 25?
True
Suppose -4*f + h - 31 = 0, 7 = -h + 2. Suppose 2*t - 4*b = -2*b + 2, 5*t + 5*b = 5. Does 29 divide (150/f)/(t/(-9))?
False
Let v = -44 + 34. Let m(z) = z**2 + 9*z - 16. Let n be m(v). Is n/(-4)*528/36 a multiple of 5?
False
Does 95 divide (520/15 - 2)*11970/49?
True
Let z = -2 - 14. Is 12 a factor of z/(6/7*10/(-90))?
True
Let s be (-2668)/(-6)*(60/(-8))/(-5). Suppose -33*a = w - 28*a - 351, -2*w + s = 3*a. Does 50 divide w?
False
Let r(m) = 2*m + 1. Let q be r(1). Suppose -20*d = -15*d - 25. Suppose d*w + 0*w = l + 182, q*l = w - 42. Is 18 a factor of w?
True
Suppose 0 = -1016*f + 987*f + 444860. Is f a multiple of 59?
True
Let b be (-12)/8*(0 + -19 + -3). Let m be (322 - -1) + b/(-11). Suppose m = 4*n - 436. Is 21 a factor of n?
True
Let g = -8492 - -14412. Is 180 a factor of g?
False
Suppose 5*b = -5*l + 8390, -38*l - 5*b - 6694 = -42*l. Is 78 a factor of l?
False
Suppose 12*n - 27159 = -7479. Is 32 a factor of n?
False
Let g be (-205)/(-82) - 13/(-2). Suppose 84 + 87 = g*x. Is 8 a factor of x?
False
Let l(g) be the first derivative of -g**5/20 - g**4/4 + 13*g**3/6 - g**2/2 + 7*g - 3. Let y(m) be the first derivative of l(m). Does 20 divide y(-7)?
False
Suppose -5*b = -2*h + 6454, 2*b + 157 = 153. Is 6 a factor of h?
True
Suppose -4*v + 4*n + 1376 = -3108, 5*v + n = 5629. Is v a multiple of 3?
True
Is (-105)/6*(8/4 - 1432/20) a multiple of 14?
True
Let p(l) = 1360*l - 252. Does 40 divide p(3)?
False
Let l be 8/1 - (-4199)/17. Is 3 a factor of (2/6)/(-10 - (-2555)/l)?
False
Suppose 5*z - 379 = -389. Is 11 a factor of ((-3)/(63/(-3472)))/(z/(-15))?
False
Suppose -4315 = 31*l - 26*l. Let w = l - -1226. Is 18 a factor of w?
False
Suppose h - 2*z - 10574 - 8155 = 0, 18723 = h - 5*z. Is h a multiple of 131?
True
Suppose 238*s + 153*s = 7016495. Does 185 divide s?
True
Let w = -1895 - -4599. Does 13 divide w?
True
Suppose h - 3*d - 481 = 0, 110*h + 969 = 112*h + d. Is h a multiple of 8?
False
Let u(n) = 45 + n**2 + 42*n - 57 - 36*n + 0*n**2. Let l be (13/(-2))/((-1)/(-2)). Is 13 a factor of u(l)?
False
Suppose -5*j + 2 = 17, 3*f = -j. Suppose -2*n + 3 = -f. Does 3 divide 22/2 - (-1 + n)?
False
Suppose -7*q = -6*q + 22. Suppose 10*m - 405 - 5 = 0. Let d = q + m. Is d a multiple of 5?
False
Let k = 8674 - 5596. Is 6 a factor of k?
True
Let b(t) = 3045*t - 5090. Is 305 a factor of b(19)?
True
Suppose 126462 = -455*j + 497*j. Does 49 divide j?
False
Suppose 0 = 33*t - 34*t + 43. Suppose 5*s - 225 = -5*u, -2*u + t = 9*s - 8*s. Does 2 divide s?
False
Is 25948/36 + 2/(-5)*(-10)/18 even?
False
Suppose -2*d = 2*v + 12, 5*d - 3 = 4*v + 3. Let p be (-8)/(-4) - (d + -1). Is (-1)/(p/2325*-3) a multiple of 31?
True
Let h = 51 + -49. Suppose h*q + 342 = -m + 31, 0 = q + m + 154. Let x = -79 - q. Is x a multiple of 13?
True
Let r(k) = -50*k**3 + 4*k**2 + 4*k. Let l be r(-2). Suppose 10*f - 9*f = -4*q + l, -4*f + 1632 = 4*q. Is f a multiple of 19?
False
Suppose 5*t - 8309 = 3*r, -135*r = 2*t - 137*r - 3326. Is 20 a factor of t?
True
Suppose 0 = -4*u - 16*u + 5820. Let a = u - 137. Does 14 divide a?
True
Does 2 divide -35*39*464/(-120)?
True
Let p(i) = 17*i**2 + 6*i - 251. Let x(o) = -4*o**2 - o. Let k(u) = p(u) + 4*x(u). Is k(-25) a multiple of 36?
True
Suppose 4*m + 2*j + 805 = -599, 2*m + 704 = -2*j. Let d = m + 440. Does 3 divide d?
True
Suppose -2*j + 109 = -4*l - 73, 5*l + 361 = 4*j. Suppose -81*s + j*s - 1480 = 0. Is s a multiple of 24?
False
Let k(m) be the first derivative of 5*m**2/2 + 34*m + 75. Does 4 divide k(2)?
True
Let y(s) = s**3 + 2*s**2 - 2*s + 5. Let v be y(0). Suppose 2*l - 3*m - 579 = 2*m, v*l + m = 1380. Is 37 a factor of l?
False
Suppose -o + 5*j = o - 107, 3*o = 5*j + 163. Suppose 4*b + 5*q - 292 = 0, -4*q = 5*b - 300 - o. Is 28 a factor of b?
False
Suppose 0*i + 9*i = 21924. Suppose 0 = 10*t + 11*t - i. Is t a multiple of 9?
False
Let v be 316686/4*44/(-33). Is v/(-517) + 4/(-22) a multiple of 6?
True
Let v be (10/(-30))/(-3*(-3)/27). Let z = -14 + 12. Does 23 divide (((-55)/z)/v)/((-33)/198)?
False
Let k(x) = -2540*x - 44. Let t be k(-2). Suppose -t = 18*y - 14702. Does 19 divide y?
False
Suppose 0 = 2*k - 7*h + 4*h - 3320, 0 = -k + 4*h + 1670. Let w = -592 + k. Is w a multiple of 18?
True
Does 21 divide 11 - -248658*-12*12/(-864)?
True
Let y be (-4)/4 + 2 + 1. Let a be (2 - 351/6)*y - 2. Let o = 168 + a. Is 9 a factor of o?
False
Is (7 + -523)*((-85)/10 - -2) a multiple of 26?
True
Suppose 3165*t - 3177*t + 32172 = 0. Is t a multiple of 22?
False
Let r be 4/(-46) - 1065/(-345). Suppose -1402 = -r*f - 73. Does 49 divide f?
False
Suppose -3*q - 5*j + 9 = 0, -4*q + 47 = -29*j + 24*j. Is q - (-3770)/3 - (-1)/3 a multiple of 55?
True
Let b = 16282 - -5150. Does 18 divide b?
False
Let m(o) = o**2 + 10*o**2 + 7*o + 16 + 7*o - 10*o**2. Let z be m(-8). Let x = 116 + z. Is 42 a factor of x?
True
Let t be (-345)/(-18) - (-3)/(-18). Let u(q) = -t - 20 + 35*q + 35. Is 5 a factor of u(1)?
False
Does 14 divide 2/((-3)/(-7)*34/26622)?
True
Let s = -47 + -772. Let n(o) = 2*o**2 + o + 1. Let b be n(-2). Is 28 a factor of (s/b)/(3/(-4))?
False
Suppose 5*p = 3*j + 96, 0 = 5*j - j - p + 111. Let o = 0 - j. Let d = o - 20. Is 6 a factor of d?
False
Let c be (-1)/((-624)/(-124) + -5). Let o = c - -31. Suppose o = -13*f + 14*f - 300. Is f a multiple of 50?
True
Let r(o) = -46*o - 306. Let k be r(-7). Is 32 a factor of -2*(-18)/k*155216/267?
False
Does 29 divide (-10)/12*(-44067 - 195)?
False
Let g = -1225 + 637. Let d = 986 + g. Is d a multiple of 42?
False
Let t(c) = 18*c - 233. Let m(r) = -26*r + 351. Let z(n) = 5*m(n) + 8*t(n). Does 4 divide z(10)?
False
Suppose 0 = -2*a + 3*u + 1103 - 240, 869 = 2*a - u. Suppose 5*t = -3*f + 297 + 7, 4*f - a = t. Does 12 divide f?
True
Suppose 0 = 739*f - 736*f + 486. Let m = 341 - f. Is m a multiple of 45?
False
Let d = -94 + 75. Is 32 a factor of 38/d + 3*33?
False
Let d(v) = v**2 - 6*v. Let z be d(6). Suppose -4*h - 2*l + 5*l + 84 = z, 84 = 4*h - 2*l. Is h + (0 - (2 + -1)) a multiple of 20?
True
Suppose -3*g = -g - h - 314, -g + h + 156 = 0. Let i = g - 232. Let w = -38 - i. Does 4 divide w?
True
Suppose -5*d = -z + 3674, -511*z - 4*d + 10984 = -508*z. Is z a multiple of 17?
False
Let q be 5914/30 - 4 - (-6)/(-45). Suppose -302 = -5*p + q. Is 4 a factor of p?
False
Suppose 11*f + 209*f - 1148400 = 0. Is 36 a factor of f?
True
Let h be 16/(((-77)/798)/(-11)). Suppose 60*p - h = 58*p. Is 38 a factor of p?
True
Let m(h) = h**2 - 7*h + 10. Let x be m(2). Suppose x = -0*s + s - 3*t + 15, -4*s = -3*t + 24. Does 22 divide 10/3 + s + (-636)/(-9)?
False
Let q = 578 - 589. Is (-3654)/q - (64/88)/4 a multiple of 83?
True
Let a = -117 - -68. Let g = 4368 - 4283. Let y = g + a. Does 12 divide y?
True
Is 2907*(152/(-12) - -13) a multiple of 29?
False
Let s(g) = 567*g**2 + 143 - 568*g**2 - 26 - 24*g. Is 8 a factor of s(-26)?
False
Let z(a) = 3*a - 4. Let w be z(3). Suppose -w*j = 2*q - 678, -243 = 5*j - q - 924. Is j a multiple of 17?
True
Let g be -9 - -9 - 4/(-1). Suppose -4*h - 840 = -g*x, 3*h + 1 = 4. Is x a multiple of 17?
False
Let a(j) = -16*j + 18*j + 9 - 5*j. Let f be a(11). Is 10 a factor of 40/(-9)*f/32*3?
True
Suppose 15*j - 441774 = 152946. Is j a multiple of 12?
True
Suppose -3*s - 173 = -2*d, -41*s + 217 = 3*d - 37*s. Let b = d + 392. Is 12 a factor of b?
False
Suppose 216013 = 4*u - t - 11652, -6*u + 341522 = 2*t. Is u a multiple of 382?
True
Suppose s - 17 = -4*s + 2*q, 3 = -3*q. Suppose 4*z - 4*k = 0, -3 - s = -4*z - 2*k. Is 47 a factor of 297*(16/12 - z)?
False
Let p(s) = -7*s**2 + 78*s - 7. Let b be p(11). Suppose 3*v = -b*g + 3052, 0*v - 2*v = -2*g + 1540. Is 18 a factor of g?
False
Let d(l) = l**3 - 18*l**2 + 23*l - 15. Let j = -114 - -132. Is 21 a factor of d(j)?
True
Let r = -15235 + 15323. Is r a multiple of 2?
True
Suppose 24*k = 21*k + 2*l + 19928, -5*l + 40 = 0. Is 66 a factor of k?
False
Does 11 divide ((-2430)/2 + (-5)/(-1))/((-2)/4)?
True
Let h = 85 + -75. Does 16 divide 19306/84 + h/(-12)?
False
Is (27284/95)/(4/30*1) a multiple of 11?
False
Is ((-396)/(-154))/(8/5908) a multiple of 9?
True
Let o(s) = -s**2 + 16*s + 300. Let y be o(27). Is 