*b - c - 80 = -0*b, 5*b = c + 99. Let v(p) = -p**3 + 18*p**2 + 20*p - 25. Let r be v(b). Does 15 divide 17 - r*1/(-3)?
True
Let s(u) = 3*u**2 - 16*u - 10. Let i be s(7). Let z(j) = -i*j - 5 + 21 + 14 + 10. Is 21 a factor of z(-11)?
True
Suppose 4*g - 127 = -91. Let v be g/(-6) + 50/4. Let u(q) = -q**2 + 16*q + 11. Is 6 a factor of u(v)?
True
Let o(c) be the third derivative of c**5/30 + 11*c**4/24 - 71*c**3/6 - 107*c**2. Is 69 a factor of o(-16)?
False
Let o(d) = 5*d + 50. Suppose 4*w = 5*s + 102, -2*s = -5*w + 59 + 77. Suppose -5*c + 32 = -w. Does 22 divide o(c)?
True
Let w = -539 + 547. Suppose -5*u + 884 = w*u. Is 4 a factor of u?
True
Let c be (-6 - (0 - 6))/(-2). Let m(b) = b**3 + b**2 + b + 455. Is 35 a factor of m(c)?
True
Let r be (-44)/33*(-75)/20. Suppose 1314 = r*s - 3141. Does 87 divide s?
False
Let v = -21199 - -28381. Is v a multiple of 189?
True
Suppose -1780 = 5*t + 5*t. Let x = 222 + t. Is x a multiple of 3?
False
Let n(a) = 16*a**2 - 30*a - 2. Suppose -3*w + 8 + 7 = 0. Is 8 a factor of n(w)?
True
Suppose s + 3*n - 13809 = 0, 295*s - 55286 = 291*s - 2*n. Is s a multiple of 16?
True
Let g(t) = -11*t + 2*t**2 - 2 + 7 - 1 - 1. Is g(-5) a multiple of 4?
True
Let f = -4877 - -10709. Does 54 divide f?
True
Let d = 47777 + -31953. Is 16 a factor of d?
True
Suppose -2*p - p + 9 = 0. Let a be 2/p*-6 - 378. Let j = a - -576. Is 33 a factor of j?
False
Suppose -3*q = 2*q - 2355. Let c be (-5)/1*(13 + -5 + -9). Suppose q + 349 = c*h. Does 37 divide h?
False
Suppose -n - 42 = -2*d + 36, 3*d - 5*n - 117 = 0. Let z = 126 + d. Does 11 divide z?
True
Does 16 divide (-5150)/(-75)*-2*(-12)/1?
True
Suppose 12 = -3*f, 5*f + 376 = -2*g - 2*g. Let l = 599 + g. Is 51 a factor of l?
True
Suppose 5*y - 2*t = 28, 2*y - 11 = 6*t - 5*t. Suppose 1708 = y*l + l. Does 61 divide l?
True
Let n = -18 - -23. Suppose -3*f = -n*f + 10. Suppose -f*i - 2*b + 220 = 2*b, -i = 2*b - 38. Does 16 divide i?
True
Let r(d) = -2*d**2 + 361*d + 96. Does 13 divide r(66)?
True
Suppose -3*b - 18*o + 23*o + 26401 = 0, -b - 2*o + 8804 = 0. Does 163 divide b?
True
Suppose 3*q - 221719 = -4*d, 0 = -d - 3*q + 47485 + 7956. Does 14 divide d?
True
Let z(n) = 274*n**2 + n - 2. Suppose -c - w = -1, -w + 8 = -c + 9. Let l be z(c). Let p = 413 - l. Is 7 a factor of p?
True
Let c(i) = -4*i + 13. Let z be c(-7). Let h = z - 39. Suppose 4*p + 2*k = 182, 2*p - h*k - 96 = 2*k. Does 12 divide p?
False
Let g(d) = -6*d**3 + 2*d. Let j be g(-2). Suppose 16 = 2*r + 6*r. Suppose -j = -r*z - 2. Does 7 divide z?
True
Let w(k) = 0*k - 7*k - 9*k + 2*k**2. Does 28 divide w(22)?
True
Let m(f) = -f**3 + 10*f**2 + f - 7. Let w be m(10). Suppose 2*y = w*y - 7. Suppose y*u - 1208 = 17. Is u a multiple of 25?
True
Suppose 2*r - 1180 = -g, -570 = -r - 10*g + 12*g. Is 13 a factor of r?
False
Let u(z) = 25*z + 25*z + 18*z - 77*z. Suppose 14 = -j + 8. Does 18 divide u(j)?
True
Let q(o) = 4*o + 11. Let z be q(-12). Let p = -34 - z. Suppose -p*u = 4*r - 152, -4*u - 98 = -r - r. Does 14 divide r?
False
Suppose 5*f + 63 - 8 = 0. Let k(b) be the third derivative of b**5/60 + 7*b**4/24 - 7*b**3/2 + 163*b**2. Is 20 a factor of k(f)?
False
Let n(z) = -2*z**3 - 38*z**2 + 67*z + 105. Is n(-21) a multiple of 11?
True
Suppose -2*m = -3*z + m + 5343, -4*z = 2*m - 7154. Suppose -3*w = a + 111 - 1441, 0 = 4*w - 5*a - z. Does 41 divide w?
False
Suppose 34 - 22 = -3*h. Does 14 divide (616/35)/(h*(-2)/40)?
False
Let g(c) = -778*c + 1645. Does 15 divide g(-13)?
False
Suppose 0 = 2*n + 5*y + 17 - 78, 5*n - 100 = 5*y. Suppose d = n*d - 1188. Does 6 divide d?
True
Suppose 0 = -2*h + 4*b - 266, 2*h - 3*h = -5*b + 148. Is 22 a factor of -6*h/3 - 4?
True
Suppose 184*b - 193*b - 2682 = 0. Let r = 518 + b. Does 3 divide r?
False
Let t(r) = 424*r**2 - 255*r - 5. Is t(-6) a multiple of 103?
True
Let o be 3 + 82 + 6 + 0. Does 3 divide (o/14)/((-1)/(-2))?
False
Let i(o) be the third derivative of -o**4/24 - 13*o**3/6 + 19*o**2. Let l be i(-7). Is l/(-10)*(434 + -24) a multiple of 18?
False
Suppose 2*b + 3*b = 10. Suppose 4*u = -3*f - 2, -b*u - u = -4*f + 14. Suppose -2*y - 537 = -2*h - h, 0 = f*h - y - 358. Does 15 divide h?
False
Let h(q) = 7285*q**3 - 4*q**2 + 9*q - 5. Does 11 divide h(1)?
False
Suppose 5*r = -3*y + 21612, -498*y + 494*y - 8624 = -2*r. Is 12 a factor of r?
True
Suppose -61*f = -102870 + 1610. Is f a multiple of 83?
True
Let p = -78 + 5. Let y = p + 79. Suppose -265 = -5*j + 5*g, y*g = -4*j + g + 230. Is j a multiple of 20?
False
Let d be 2/7 + (-14555)/(-287). Does 32 divide (-2239)/(-2) - d/(-102)?
True
Let v(u) be the first derivative of -23*u**4/24 - u**3/3 - 9*u**2/2 + 10. Let i(f) be the second derivative of v(f). Is 7 a factor of i(-1)?
True
Let q = -10 - -14. Let m be -2 + q*3/12. Is 1/1 - (m + -3) a multiple of 3?
False
Let r = 237 - -12. Suppose 6*l = r - 69. Is ((-40)/(-3))/(10/l) a multiple of 20?
True
Let l(a) = -18*a**2 - 13*a - 8. Let b be l(-6). Is (-9)/(-6)*b/(-3) a multiple of 22?
False
Suppose 0 = -4*r + 6*r - 4*s - 6, 4*r = -5*s - 27. Suppose 4*t + 34 = -3*v + 5*v, -4*v = -2*t - 44. Is (19/(-3))/(r/v) a multiple of 4?
False
Let m = 5 + -2. Let w = m + -3. Suppose w = 2*d - 3*d + 72. Is 8 a factor of d?
True
Let v = 8 - -49. Suppose 1239 = 6*d - v. Is d a multiple of 8?
True
Let q = -34162 - -34846. Is q a multiple of 19?
True
Suppose 100 = 33*l + 34. Suppose l*s = 5*a - 23 - 1372, 279 = a - 5*s. Is 12 a factor of a?
False
Is (3498/(-24))/((-143)/(-72) - 2) a multiple of 9?
True
Let t(w) = -17*w**2 - 21*w - 66. Let o be t(-10). Let l = -789 - o. Is 46 a factor of l?
False
Suppose 347 = -16*c - 421. Let q = 112 + c. Is 4 a factor of q?
True
Let a(n) = -n**2 - 76*n - 174. Is a(-58) a multiple of 10?
True
Let r be -2 + 354 - (-8)/((-16)/(-6)). Let o = 440 - r. Is o a multiple of 5?
True
Suppose -295*u = 55*u - 62*u - 2200608. Is u a multiple of 3?
True
Let d(r) = 84*r**2 - 20*r + 132. Does 23 divide d(6)?
True
Let k be 2/2 + -1 - -3 - -1. Suppose 0 = 12*m - 10*m - 6. Suppose -m*z + 76 = 2*n - k*z, 0 = -3*n - z + 124. Is 10 a factor of n?
True
Suppose 3*u = 7 + 29. Suppose 9*r + 843 = u*r. Let t = r - 65. Is 18 a factor of t?
True
Let j = 3320 - 3264. Does 4 divide j?
True
Let u = 46 - 38. Suppose -u*h + 3*h = -5, -2*f + 17 = 3*h. Suppose 0 = -f*l + 182 + 462. Does 23 divide l?
True
Let p(t) = 9*t**2 - 60*t - 2975. Is p(-34) a multiple of 70?
False
Let h = 522 + -612. Is 2 a factor of (27/h*-295)/((-6)/(-8))?
True
Let q(i) = 10*i + 19. Let x be q(-3). Let t(y) = 2*y**2 + 21*y - 6. Let n be t(x). Suppose 5*w - 749 = -4*o, -n*w + o - 6*o + 750 = 0. Is w a multiple of 12?
False
Let g = 299 + 1352. Does 127 divide g?
True
Suppose -83 = -2*f - 5*j + 1, -4*f = j - 150. Suppose 4*z + 3*m - 11 = 0, z + 4*z = 4*m + f. Suppose -3*p = -p - 4*d - 112, z*p - 292 = 4*d. Does 20 divide p?
True
Let m(g) = -10*g**3 + 3*g - 3. Let r be 2/6 - 63/27. Let b be m(r). Suppose -3*w - 5*t + 28 = -105, 5*t = w - b. Is w a multiple of 10?
False
Suppose -5*q - 23 = -28. Let y(p) = -4 - q + 4*p**2 - p**2 - 1. Is y(-3) a multiple of 5?
False
Let m(i) = 2*i**2 + 7*i + 796. Is m(-32) a multiple of 11?
False
Let p(v) = v**3 - 7*v**2 - 22*v + 62. Is p(19) a multiple of 21?
False
Let z be (-32)/(-12)*13*(-24)/(-1). Suppose -231*y + 218*y = -z. Is 17 a factor of y?
False
Is ((-168)/14 - -9)/(1 - 17185/17170) a multiple of 34?
True
Suppose 18 + 12 = 5*j. Suppose o - j*o - 2*i + 552 = 0, 0 = 5*o - i - 549. Is (-4)/(3 - 334/o) a multiple of 34?
False
Suppose -12 = 2*w, -203*a = -199*a - 2*w - 91496. Is 32 a factor of a?
False
Let y = 56 + 7. Let f = y + -58. Suppose -2*m - 142 = -4*l, -l + f*m + 57 = 17. Is 5 a factor of l?
True
Let i be (-6)/(-8) + -4 + 1508/16. Suppose -2*b + 3*b - 3*n = 85, b = -3*n + i. Suppose -2*o + 40 = -b. Is o a multiple of 26?
False
Let x(w) = w**2 + 7*w + 9. Let o be x(-6). Let c(i) = 16*i**2 - 18*i + 50. Does 3 divide c(o)?
False
Suppose 10*i - 16*i = -30. Suppose -21 = -5*r + 4, -i*r + 921 = 2*s. Suppose v = -6*v + s. Does 15 divide v?
False
Let k = 5788 + 2521. Is 288 a factor of k?
False
Let d(u) = -13*u**2 - 9*u + 22. Let v(l) = -l**2 + 2*l. Let i(h) = -d(h) - 6*v(h). Is 6 a factor of i(-5)?
True
Suppose 0 = 30*y - 101 + 11. Suppose -5*b + b = 16, y*n + 3*b = 1752. Is n a multiple of 28?
True
Suppose 0*z - z + 2*u