 Let p be f(-5). Suppose -23*q - p = -25*q + n, n + 3182 = 3*q. Is q a multiple of 18?
True
Let u = -46 + 61. Let n(o) be the second derivative of o**5/20 - 7*o**4/6 - 11*o**3/6 + 2*o**2 - 13*o. Is 32 a factor of n(u)?
True
Let r be ((-10)/((-10)/2))/(2/3). Suppose -19 = -4*x - r. Suppose -u + x*g = 2*g - 54, 2*g - 74 = -u. Is u a multiple of 11?
False
Let h(f) = f**3 + 5*f**2 + 6*f - 12. Let l be h(-6). Let g = l - -146. Does 22 divide g?
False
Suppose 18*w + 6 = 21*w. Let n(t) = t**2 + t - 7. Let k be n(-4). Suppose -k*h = -w*u + 3*u - 80, -4*h = 5*u - 358. Is u a multiple of 5?
True
Let z = -3150 - -4638. Is z a multiple of 4?
True
Suppose -2*g - 2*g = -41415 - 20269. Is 21 a factor of g?
False
Suppose -7*l + 19 = -303. Let h = 73 - l. Is 2 a factor of h?
False
Suppose 13 = y - 5*z - 4, 3*y + 3*z + 57 = 0. Let r(a) = -11*a - 4. Let c(k) = 45*k + 15. Let p(f) = 5*c(f) + 21*r(f). Is p(y) a multiple of 7?
False
Suppose -14 = -0*p + p + 4*w, 0 = 5*p - 5*w + 20. Let n = -4 - p. Suppose -5*a + 133 = n*j, 5*a = 4*j + a - 252. Does 7 divide j?
False
Suppose q + 3 = 2*q + 2*y, 5*y = 0. Suppose -4*l - 2*k = -2, 17*l = 16*l - 4*k - 10. Suppose -l*p = q*p - 445. Is p a multiple of 10?
False
Suppose -23*s - 31265 = -141297. Is s a multiple of 104?
True
Let a(r) = r**3 + 6*r**2 - 5*r + 16. Let l = -78 - -71. Let q be a(l). Does 6 divide (-1 + -6)/(q/(-14))?
False
Suppose 5*c = -4*n - 0*c - 1090, -3*c = -3*n - 804. Let y = 5 - n. Let r = y + -135. Does 28 divide r?
True
Suppose -5*h - 15 = 0, -107*b = -109*b + 3*h + 3389. Does 10 divide b?
True
Let p(f) = -f**2 + 8*f + 3. Let r be p(8). Suppose 2*o + 5*h = 59, 6*h = -r*o + 3*h + 75. Does 44 divide (o/(-4))/(-1 - 31/(-32))?
True
Let v = -1994 + 8284. Does 17 divide v?
True
Let x be ((-19)/38)/((-1)/16). Suppose x*y - 42 = 2*y. Is y/2 + (-3)/6 - -8 even?
False
Let m(u) = 5*u**2 + 10*u. Let j(y) = -4*y + 33. Let t be j(9). Let v be m(t). Suppose v = -3*w, -5*c - 4*w + 45 = -w. Is c a multiple of 3?
True
Suppose -92*j + 2*j + 637960 = 238*j. Is j a multiple of 5?
True
Let k be (-1 - -1) + -7*(-4)/14. Suppose 0 = -5*g - y - 3*y + 61, -k*y - 10 = -2*g. Suppose 11*x - 34 = g*x. Is x a multiple of 8?
False
Suppose 36*v - 56892 + 3612 = 0. Does 4 divide v?
True
Let v be (-1)/(-2)*420/(-9)*-9. Does 18 divide v/150*(-1 + 686)?
False
Let n = 7887 + -5208. Does 47 divide n?
True
Suppose -3*k + 11*l = 8*l + 15, 18 = -5*k - 2*l. Let b(w) = -17*w**3 - 3*w**2 + 9*w + 4. Is b(k) a multiple of 56?
True
Suppose h - 1259 = -5*f, -2*f + 5944 + 397 = 5*h. Suppose -35*s + 38*s = h. Is 6 a factor of s?
False
Let j = -2312 + 4417. Is 23 a factor of j?
False
Is -12 + (1754/6)/(21/3906) a multiple of 188?
False
Let q = 215 + -98. Let z = 180 - q. Is 22 a factor of z?
False
Let n(u) = -u**3 - u**2 + 22*u - 14. Let v(f) = -f**2 - 2*f + 28. Let d be v(5). Is n(d) a multiple of 7?
True
Suppose 0 = b + 11 - 79. Let u(d) = -6*d**3 + 3*d**2 + 2*d + 2. Let o be u(-2). Let f = b + o. Is f a multiple of 21?
True
Suppose -w = 3, -w = 5*l - 4*w - 69. Suppose l*s = 9*s. Does 11 divide (5 - (-13)/4)*(s + 12)?
True
Let g(f) be the second derivative of f**5/20 + 7*f**4/2 + 35*f**3/6 - 72*f**2 + 2*f - 9. Is 17 a factor of g(-41)?
True
Suppose -43 + 463 = 3*v. Let a = 157 - v. Does 17 divide a?
True
Suppose -5*i = -5*c + 55, 0*i = 3*c - 4*i - 32. Let t(a) = 4*a**2 - c + 6 + a**2 - 22 + 7*a. Is t(3) a multiple of 19?
True
Let y(b) = -305*b - 383. Is y(-7) a multiple of 73?
True
Suppose 547*t + 659133 - 11689935 = 0. Is t a multiple of 27?
False
Suppose 10*i - 15*i - 20 = 0. Let v be 852/24*(i + 0). Let k = -113 - v. Is 3 a factor of k?
False
Suppose -206*o = -217*o + 3080. Let x = 1238 - o. Is x a multiple of 73?
False
Let m(s) = -3468*s + 187. Is m(-1) a multiple of 4?
False
Suppose -4*i - 667*y + 663*y = -228460, 24 = -3*y. Is 11 a factor of i?
True
Let h(l) = -l + 9. Let b be h(5). Suppose 4*x - 1345 = -9*c + 8*c, -4*x - 4*c = -1348. Suppose x = b*r - r. Is r a multiple of 28?
True
Suppose -4*j + 9*j = -20. Let s be -8*(4 - (-17)/j). Suppose 46 + s = d. Does 24 divide d?
True
Let z be 2*5*(-8)/(-10 + -6). Suppose -1328 = -z*f - l, 0 = f + 2*l + 3*l - 256. Is f a multiple of 19?
True
Let o(b) = -2*b**2 + 71 + 193 - 4*b + 62 - 137. Suppose 3*i = 5*i. Does 27 divide o(i)?
True
Suppose 6984 = 9*h + 2718. Does 12 divide h?
False
Suppose -11 = s + 5*o, 0 = 96*s - 95*s - 5*o - 19. Let h(y) = -y + 1. Let p(i) = -64*i + 38. Let g(u) = 6*h(u) - p(u). Is g(s) a multiple of 16?
False
Let o(f) = 33*f - 512. Let x(z) = -66*z + 1016. Let p(l) = 5*o(l) + 3*x(l). Is p(-6) a multiple of 49?
True
Suppose 10*g + 12 = 13*g. Suppose -56 = 5*l + g*k, -4*l + 2*k - 36 = 3*k. Let i = 47 + l. Is 13 a factor of i?
True
Suppose 3*p = -0*t + 3*t + 21, 0 = t + 3*p + 3. Is (-2 + 275)/((-9)/t) a multiple of 13?
True
Suppose 4*w + 784 = -436. Let a = 73 - w. Is 19 a factor of a?
False
Does 4 divide (-29)/((-382)/(-128) + -5*(-12)/(-20))?
True
Suppose 0*s - 900 = -4*s - 4*f, -4*f - 468 = -2*s. Suppose -s*t = -224*t - 3188. Is t a multiple of 60?
False
Is 11 a factor of (-17066)/(-7) - (1 + 1*(1 + -8))?
False
Let k(l) be the third derivative of -l**6/60 + l**5/4 + 5*l**4/12 - l**3/2 - 30*l**2 + 2. Is k(8) a multiple of 3?
False
Let t = 259 - -1301. Suppose -t = -4*i + 5*m + 9167, 4*i - 3*m = 10737. Suppose -21*a = -7*a - i. Does 24 divide a?
True
Let b be 2/15 + 0 + (-47236)/(-105). Suppose 5*s + 4*s = b. Is s a multiple of 5?
True
Let x(k) = 819*k + 1870. Does 32 divide x(11)?
False
Suppose o = 7*o - 138. Let x = -25 + o. Does 11 divide 71 + x - 6*1/2?
True
Let m = -10779 - -20906. Is m a multiple of 28?
False
Let n(a) be the third derivative of 0 + 0*a - 3/20*a**5 + 9*a**2 - 1/6*a**4 - 1/120*a**6 - 8/3*a**3. Is 4 a factor of n(-9)?
True
Let q(g) = -489*g**2 - 3517*g + 14. Is q(-7) a multiple of 5?
False
Suppose 8*u = 10*u - 32. Suppose u = 5*w + 3*w. Suppose 10 = -w*r, q - 5*q = -5*r - 53. Does 7 divide q?
True
Suppose -11796 + 7402 - 11160 = -7*v. Is v a multiple of 101?
True
Let t = 29 - 17. Suppose -n + t = -4*m, -n - 5*m + 32 = -16. Suppose -2*a - 8 = 0, 0 = -4*s + 2*a + n - 8. Is s even?
False
Let d = -21234 - -32949. Is 33 a factor of d?
True
Is 113 a factor of ((-1)/5)/(13/65)*48524/(-4)?
False
Let l(b) = -7*b**3 - 7*b**2 - 3*b - 42. Let d(a) = -6*a**3 - 8*a**2 - 4*a - 39. Let p(f) = -6*d(f) + 5*l(f). Does 34 divide p(-10)?
False
Let g(c) = c**3 - 20*c**2 - 4*c + 513. Is g(21) even?
True
Is 13/((-10)/(-15)*(-5 + (-10915)/(-2180))) a multiple of 26?
True
Suppose 0 = 3*o + 4*z - 61928, 0 = 18*o - 16*o - z - 41278. Is 10 a factor of o?
True
Let w(p) = 1430*p**2 - 29*p - 74. Is 13 a factor of w(-3)?
True
Let u(h) = -4*h + 23. Let v be u(5). Suppose -w + 211 = -4*c - 0*c, -w = -v. Let o = -27 - c. Does 25 divide o?
True
Let j = 165 - 195. Suppose -31*l - 15 = -28*l. Is j*-3*l/(-15) a multiple of 5?
True
Let w(h) = 16*h**2 + h + 11. Suppose 6 = -3*m - 3. Does 17 divide w(m)?
False
Let j(k) = 5*k**3 - k**2 - 2*k + 2. Let a be j(1). Suppose 4*d + 4*c + 23 = -105, -5*d = a*c + 157. Let w = 41 + d. Is 6 a factor of w?
True
Let l(n) = n - 17. Let y be l(4). Let w be (1 + 0)/(y/(-767)). Does 18 divide (-5)/5*w*-3?
False
Suppose -7*s = -4*s + 15, 5*k = 2*s + 4375. Is 23 a factor of k?
False
Suppose 21 = -5*o - 4, o = l - 3. Let p be ((6/(-9))/l)/((-6)/(-36)). Does 29 divide -87*((2 - 1) + p/(-1))?
True
Suppose -248*l + 7029112 = 70*l - 2072048. Is l a multiple of 212?
True
Suppose -59*r - 1690 = -49480. Does 3 divide r?
True
Let q(z) = -z**2 + 36*z - 14. Let u(i) = -i**2 + 19*i - 27. Let p be u(15). Is 12 a factor of q(p)?
False
Suppose -728*x + 725*x = 2*h - 23108, 2*h - 15402 = -2*x. Is x a multiple of 16?
False
Suppose -b - 2*b + 6 = 0. Let g be (1 - (-6 + 3))/b. Suppose 55 = 3*n + r, g*n - 32 = 2*r + 2*r. Is 16 a factor of n?
False
Let s = 38 + 4. Let w = s + -37. Is (w - 38)*(-2)/6 even?
False
Suppose 7*r - 30089 = -9073 + 25394. Does 222 divide r?
False
Let v be 24 - 24 - (-4 + 3/3). Suppose -v*c + 51 = -4*j - 100, -3*j + 129 = 2*c. Does 19 divide c?
True
Let c be 4/50*-5 - (-12)/5. Let v(j) = -j**2 + 3*j + 4. Let h be v(4). Suppose -4*n + 0*n - 5*x + 275 = h, 124 = c*n - 2*x. Is n a multiple of 13?
True
Suppose 3*a + 750 + 174 = 0. Let q = -216 - a. Does 14 divide q?
False
Le