t a(r) = r**3 - 16*r**2 - 3*r - 22. Let m be a(16). Let q be 28/m - (-626)/(-10). Let h = 3 - q. Does 22 divide h?
True
Let c(s) = 2*s + 19. Let d be c(10). Let a(g) = 6*g**2 + 2*g + 4. Let t be a(5). Suppose d*y = 40*y - t. Does 41 divide y?
True
Suppose 2*c - 756 = 364. Suppose -20*y = -13*y - c. Is 20 a factor of y?
True
Let m(f) = -f**2 + 6*f - 5. Let a be m(1). Suppose -14*o - o + 495 = a. Does 9 divide o?
False
Suppose -132741 = -35*y - 20951. Let s = y + -2191. Does 90 divide s?
False
Let o = 28016 + -8206. Is 10 a factor of o?
True
Let w = -16 + 12. Is 3 + 391 + -5 + (w - -1) a multiple of 31?
False
Suppose -s + 5*h = -3*s + 189, 5*h + 393 = 4*s. Suppose 487 - s = -5*b. Let n = b - -210. Does 33 divide n?
True
Let h(t) be the first derivative of -2*t**3/3 - t**2/2 + 550*t + 296. Is h(0) a multiple of 12?
False
Suppose -86075 = -5*o + c - 23667, 5*o - 62402 = 4*c. Is o a multiple of 12?
False
Suppose -2*d + 2256 = -79060. Let f be (-15)/(-10) + d/4. Is 40 a factor of f/69 - 4/(-6)?
False
Suppose 19*f = 26*f - 35. Suppose 3*a + f*b - 3412 = 0, 0 = -5*a - 0*b + 5*b + 5660. Is a a multiple of 54?
True
Suppose -q + 6774 = -5*l, -l = 4*q + 5672 - 32600. Is 13 a factor of q?
True
Suppose -4*v = 19*v - 15226. Suppose 4*i - 1354 = 4*k - 2*k, -v = -2*i - 2*k. Does 28 divide i?
True
Suppose -63*b = -57*b - 9522. Does 69 divide b?
True
Does 21 divide 3373 - 21/(-2)*(-10)/15?
False
Suppose -5*y = -3*c + 1800, 2*c + 16*y - 21*y = 1195. Does 11 divide c?
True
Is 217/3*(-499896)/(-4452) a multiple of 34?
False
Let j(p) = -28*p**3 - 5*p**2 - 6*p + 3. Suppose -23 - 4 = 9*x. Is j(x) a multiple of 24?
False
Let t(g) = 7*g - 22. Let l be t(-5). Let j = 57 + l. Suppose j*o + o = 70. Is o a multiple of 14?
True
Suppose 0 = q - z + 3*z - 19, 58 = 2*q - z. Let y = 32 - q. Does 3 divide (-609)/(-13) + (y - 189/39)?
False
Let v(r) be the first derivative of -7/2*r**2 + 1/3*r**3 + r + 5. Is 33 a factor of v(-7)?
True
Let y = 891 - 506. Does 69 divide 330/y - 9171/(-7)?
True
Suppose -38*t + 51*t - 52 = 0. Suppose -256 = -2*c - 5*x, -9*c + t*c + 640 = x. Is c a multiple of 56?
False
Let k(y) = 5*y**2 - 2*y - 426. Does 40 divide k(-22)?
False
Let s = 643 + -90. Suppose -7*p + 2989 + s = 0. Is 11 a factor of p?
True
Suppose -39*s = -38*s - 10. Let a = -12 + s. Is a/(8/108)*-1 a multiple of 7?
False
Let p(v) = 26*v**2 + 4*v - 24. Let g be p(-8). Is 53 a factor of 1/(30/g) - (-9)/(-15)?
True
Let o(l) = 5*l**2 + 9*l + 61. Suppose -4*f - 114 = 15*f. Does 11 divide o(f)?
True
Let t = -485 - -481. Is 85 a factor of t/(-3 - -5) - (1 - 258)?
True
Suppose d + 5 - 6 = 0. Is 9/24 - d/((-48)/12078) a multiple of 18?
True
Let o(s) = s**2 + 12*s - 52. Suppose -j - 3*q + 20 = -6*q, -2*q = 5*j - 66. Is 13 a factor of o(j)?
True
Let y be (-4 - -4) + 3 + 1. Let t be 2/(-4) + (-6)/y. Does 4 divide (t + 15/(-6))*-6?
False
Does 3 divide 13 - 408/30 - (-2928)/5?
True
Let j(w) = -w**2 + 6*w + 4. Suppose 2*z = -2*z. Suppose -5*d - 2 = -3*y, -3*y + 2*y - d + 6 = z. Does 6 divide j(y)?
True
Let s(a) = -a + 5. Let q be ((-6)/9 - -1) + (-130)/(-15). Let i(z) = z**2 + 2*z - 10. Let y(j) = q*s(j) + 4*i(j). Is 17 a factor of y(-6)?
False
Let f(j) = -7*j + 19. Let o be f(4). Let c(h) = h**2 + h - 1. Let g(p) = -11*p + 25. Let w(l) = 2*c(l) + g(l). Is w(o) a multiple of 43?
False
Let k(d) = 12*d + 62. Let v = 99 + -104. Let g be k(v). Suppose -178 = -g*a + 206. Is a a multiple of 16?
True
Let i(o) = -o**3 - 14*o**2 + 16*o + 19. Let j be i(-15). Suppose -48 + 196 = j*w. Suppose 0*u = -4*b + 3*u + w, 2 = -b - 3*u. Is 2 a factor of b?
False
Suppose -148612*k + 148631*k = 805657. Is 342 a factor of k?
False
Suppose g - 2 = 0, -2*g - 3 - 13 = 4*v. Is 10 a factor of (484/v)/((-120)/300)?
False
Let w(p) = 2*p**2 - 11*p - 1. Let k(l) = -10*l**2 + 56*l + 4. Let s(o) = 2*k(o) + 11*w(o). Let z be s(5). Does 11 divide z*((-41)/(-2) + -4)?
True
Let s = 26330 - 25276. Is 20 a factor of s?
False
Let g be -219 + (-2 - 6 - -3). Is (-5)/((-220)/g - 1) a multiple of 14?
True
Let r = 480 + -407. Suppose -5*x + 648 = 4*p, -x + 89 = p - r. Is 13 a factor of p?
False
Suppose -22*h = -23*h - 273. Is 0 + h*16/(-12) a multiple of 13?
True
Suppose 2*r = 2*q + 114, 4*r = 2*q - 0*q + 104. Suppose -3*h = 2*h - 530. Let v = q + h. Does 11 divide v?
True
Let j(t) = 16*t - 155. Is 3 a factor of j(16)?
False
Suppose 0*d = -12*d - 360. Is 5 a factor of 105/((-10)/(-4)*(-12)/d)?
True
Let f(l) = 2*l + 12. Let u be f(-5). Suppose 4*g - 5*q - 49 = 0, g + g = -5*q - 13. Suppose -g*s = -u*s - 932. Is 20 a factor of s?
False
Is 135 a factor of (-850508)/(-60) - (-2 - 320/(-150))?
True
Does 106 divide 1801 + (4 - (-7 + 10))?
True
Suppose -4 + 13 = 3*r, 0 = -4*z + 2*r - 1770. Does 8 divide 5/2*(z/45 + 13)?
True
Suppose -6*i + 172 = -2*i. Suppose -64*w + 66*w = -5*v + 540, -445 = -4*v + w. Suppose -4*c - i = -2*o - 9, 5*o = 5*c + v. Is o a multiple of 13?
False
Let w(h) = h**3 - 4*h**2 + 4*h - 3. Let l be w(3). Suppose 9*o - 3*o + 6 = l. Does 3 divide 6 + 0/(4/o)?
True
Let j be ((-12)/14)/(0 + 1/7). Let l = j - -6. Suppose l = -5*c + 2*c + 78. Is c a multiple of 4?
False
Let c be 16/(-8) - (-436 + (-2)/1). Let a = c + -260. Does 30 divide a?
False
Is 98 a factor of 10/((-72132)/120420 + 4/(40/6))?
False
Let k be (-24)/(((-8)/6)/((-8)/6)). Let r = k - -54. Is 4 a factor of r?
False
Suppose 0 = -f + 5*i + 891, 5*f + 1376 - 5831 = 2*i. Is f a multiple of 20?
False
Let m(r) = 15*r**3 - 5*r**2 + 18*r - 89. Does 17 divide m(5)?
True
Let p(u) = u**2 + u. Let m be p(1). Let i(k) = k**3 - 6*k**2 + k - 3. Let z(h) = 2*h**3 - 6*h**2 + h - 2. Let r(l) = m*z(l) - 3*i(l). Does 11 divide r(-6)?
True
Let x(v) = v**3 + 7*v**2 + 3*v + 276. Let y be x(0). Is 1082/6 + -1 + 184/y a multiple of 18?
True
Let k(i) = 10*i**2 - 142*i + 3011. Does 44 divide k(25)?
False
Does 2 divide (180/150)/((-1)/(-185))?
True
Is 23/(161/(-49)) + 6469 + -2 a multiple of 10?
True
Let f be 3/4 - (-861)/164. Let y(g) = -4*g + 55. Does 5 divide y(f)?
False
Let t(l) = 702*l**2 - 3*l - 4. Is t(2) a multiple of 107?
False
Suppose -5*o = -4*p + 557 + 2502, -2*p = 5*o + 3083. Let q = o - -975. Is q a multiple of 13?
False
Let n be (-4)/16 + (-35)/20. Let a be (-110)/(-9) + n/9. Does 9 divide 16/a*(25 - -2)?
True
Suppose 4*n = -4*u + 8*n + 4376, -u + 2*n = -1094. Let d = u + -608. Is 18 a factor of d?
True
Let h = 1604 + -420. Is 32 a factor of h?
True
Suppose -2*t = -10, -50*h + 47*h + 27112 = -4*t. Does 12 divide h?
False
Let z = -20 - -20. Suppose 0 = 3*w - z*w + 69. Let y = w - -51. Is y a multiple of 14?
True
Suppose 7 = 2*n + 2*r + 23, -4*r - 29 = 3*n. Let p be 0 - (n + 5)*-1. Suppose 5*b - 48 = p*v - 3*v, -3*b + 3*v = -36. Is b a multiple of 10?
True
Let w(q) = q**3 - 16*q**2 - 15*q - 6. Let p be w(17). Suppose p*c = 26*c + 50. Is (43/(-2))/(-3 - c/(-10)) a multiple of 4?
False
Let f(g) = -17*g + 15. Let w be f(-7). Let t = w + -78. Suppose -5*k = -t - 244. Is k a multiple of 15?
True
Let a = 782 + 775. Is a/(3/1) - (-30)/(-5) a multiple of 27?
True
Let v = -212 + 169. Let q be 6/27 + 263/(-9). Let n = q - v. Does 2 divide n?
True
Let r(g) = -2*g**2 - 1. Let u(c) = -18*c**2 + 32*c - 179. Let j(t) = -2*r(t) - u(t). Does 27 divide j(5)?
False
Suppose 103*u - 106*u = -168. Does 4 divide (-130)/(-52)*u/5?
True
Does 57 divide (4 - 16) + 12158 + 7?
False
Suppose 16 - 25 = 3*h - 2*r, 3*h + 27 = -4*r. Let n be 136/14 - (-6)/21. Let p = n + h. Is p a multiple of 3?
False
Let q(l) = l**3 - 9*l**2 - 5*l - 21. Let i be q(10). Suppose -156 = -i*w + 23*w. Is w a multiple of 2?
True
Let b(d) = d**3 - d**2 + d + 1. Let r(y) = -301*y**2 + 21 - 13*y + y**3 + y**3 - 10*y + 323*y**2. Let h(u) = 3*b(u) - r(u). Is h(24) a multiple of 5?
True
Let c(o) = -106*o - 139. Let z(s) = -3*s - 112. Let x be z(-33). Does 45 divide c(x)?
False
Let v(d) = -6 - 25*d**2 - 4*d + 26*d**2 - 8 - 8. Is 18 a factor of v(10)?
False
Let v(t) = -t**3 + 5*t**2 + 6*t - 9. Let f(i) = i**2 + 11. Let j be f(3). Let n = 25 - j. Is v(n) a multiple of 9?
False
Let z(l) = 1796*l + 231. Is 40 a factor of z(1)?
False
Let p be (292/18 - -3) + (-4)/18. Suppose p*u = 8*u + 3630. Is 30 a factor of u?
True
Is 39 a factor of (-6 - (-14 + 0)/(-7)) + 30695 - -6?
True
Let m = 2976 - -4453. Is 17 a factor of m?
True
Let f(p) = -3*p**3 - 6*p**2 + 2