 second derivative of p**5/20 + 5*p**4/12 - 5*p**3/6 - 4*p**2 - 6*p. Is 5 a factor of l(r)?
False
Is (19 - 67)/((24/87)/(-4)) a multiple of 6?
True
Let y(q) = 266*q - 6. Let r be 4/(-14) - (-345)/105. Is 36 a factor of y(r)?
True
Suppose 0 = 2*i + l - 7, -i + 7*l = 12*l - 26. Is 37 a factor of i*((-21)/35)/(2/(-2650))?
False
Suppose 4*a = 44 + 72. Suppose -4*r = -4*i - 52, -a - 28 = -4*r - i. Suppose -1335 = -r*b + 261. Is 38 a factor of b?
True
Let l(v) = -5*v**3 + 8*v**2 - 17*v - 63. Is 191 a factor of l(-7)?
False
Suppose 362*q = -2*r + 363*q + 6657, -q = 2*r - 6651. Is r a multiple of 3?
True
Suppose -8*o + 182 - 382 = 0. Does 21 divide (-10)/o - 398*14/(-20)?
False
Suppose 41*t - 3 = 42*t, q - 3*t - 1228 = 0. Does 53 divide q?
True
Let f(i) = 28 - 53 + 57*i + 20. Does 14 divide f(7)?
False
Does 27 divide 1*6/(-36) + 5995/6?
True
Let c(q) = 268*q**3 + 5*q**2 - 25*q - 61. Is c(6) a multiple of 15?
False
Suppose n + 3*p = 0, 3*n + 9*p - 5 = 5*p. Suppose n*d - 461 = q, -3*d + 2*q + 465 = -q. Is d a multiple of 3?
True
Let z(q) = 5*q**2 - 6*q + 6. Let p be z(4). Let i be -1 + (3 - (-1 - 2)). Suppose 3 = i*b - p. Is 3 a factor of b?
False
Let b be 1 + -4 - (-152)/19. Let k be (b/1)/(-5) + -2. Let o(l) = -l**3 - 7*l - 13. Does 6 divide o(k)?
False
Let z = 850 + -1708. Let v = z - -1038. Is v a multiple of 30?
True
Let j be (20/(-6))/(34/(-51)). Suppose 0 = -3*k + 5*u + 3974, -5343 = -j*k + u + 1273. Is 48 a factor of k?
False
Suppose -38927 = -19*i + 3633. Does 140 divide i?
True
Does 41 divide (19 - 22)*1 - (-21000 - 2)?
False
Suppose -4*z - 4*v + 8936 = -15788, -4*z - 2*v + 24722 = 0. Is z a multiple of 15?
True
Suppose 0 = 22*p + 17898 - 188508. Suppose 14*h - 1359 = p. Is 93 a factor of h?
True
Suppose 360 = 4*j + 4*p, -2*j = 3*j - 3*p - 458. Suppose 262 + 102 = 4*s + 4*g, -s = 2*g - j. Does 12 divide s?
False
Suppose 608 = 4*o + l - 506, -3*o + 842 = 4*l. Does 15 divide o?
False
Let g(u) = u**3 - 16*u**2 + 26*u + 30. Let n be g(14). Suppose -4 = -3*h + 2, 2*p = n*h + 442. Does 14 divide p?
False
Let d be (201/5)/(358/(-30) - -12). Let z = 211 + d. Is z a multiple of 13?
False
Let y be (-48)/(-6) + (1 - (4 - 2)). Is 37 a factor of y + -6 - (-6 + -291)?
False
Let m be 1 + (-66)/54 - (-706)/18. Suppose -8*z + 13*z - 150 = 0. Let n = z + m. Does 6 divide n?
False
Suppose -7*c = -3*c + 3*i - 17418, -17422 = -4*c - 5*i. Is 28 a factor of c?
False
Let y be 12/9*-6*1/(-2). Suppose -y*w + 46 + 70 = x, 0 = 5*x - 4*w - 556. Is x a multiple of 9?
False
Let p(l) = -l**2 + 6*l - 40. Suppose -x - 19 = 5*q, 2*x - 4*q - 32 = -0*x. Let r be p(x). Does 19 divide 56*(-4)/(-6)*(-270)/r?
False
Let p be (8/(-10))/((-7)/(105/6)). Suppose s + 3 = 0, -p*y + y - s + 1 = 0. Suppose -38 = -y*i + 2. Is 5 a factor of i?
True
Suppose -6*i = -4*i + 36. Let d = i + 37. Let k(m) = -m**2 + 22*m + 3. Does 5 divide k(d)?
True
Let j = 44 - 75. Let s = j - -26. Does 6 divide 31*(-4)/(s - -3)?
False
Let m(f) = f**3 - 8*f**2 + 11*f + 3. Let v be m(6). Is 16 a factor of (-4)/(1/(192/v))?
True
Suppose 3*l - 5*l = -5*o - 27, 5*l = -20. Let z(h) = -42*h - 34. Let g be z(o). Suppose -6*t = -11*t + g. Is 11 a factor of t?
False
Let k = 11591 + -7516. Is 25 a factor of k?
True
Suppose 30279 = 9*v - 4821. Suppose -7*l + v = -69. Is 63 a factor of l?
True
Suppose n - 13 = -x - 4*x, n = -3*x + 7. Let u(j) = j**2 - 9. Let f be u(x). Suppose r + f*r - 112 = 0. Is 8 a factor of r?
True
Suppose 498*h - 121862 = 455*h. Does 13 divide h?
True
Suppose 1055*t - 1048*t = -119. Let f(q) be the second derivative of q**5/20 + 3*q**4/2 + 5*q**3/2 - 3*q**2 - 3*q. Is f(t) a multiple of 14?
True
Suppose -3*f + 7*k + 781 = 5*k, -f - 4*k + 265 = 0. Let p = f + -117. Does 36 divide p?
True
Suppose -4*z = -2411 + 763. Is ((-1)/2*3)/((-6)/z) a multiple of 4?
False
Let d = -15 - -72. Suppose 0 = -73*n + d*n + 11280. Is n a multiple of 17?
False
Let i be 1*-3 - (0 + -7 + -1). Suppose -i*z - 2*b - 76 = 0, -b + 33 = -5*z - 34. Is (4/((-24)/45))/(7/z) a multiple of 5?
True
Suppose -160 + 597 = 19*r. Suppose -r*s + 2800 = -7*s. Is 7 a factor of s?
True
Is (-2)/21 + (15945/63 - -17) a multiple of 18?
True
Let u(t) = 4*t**2 - 11*t - 45. Let b be u(13). Suppose -3*c = 2*i - b, 2*c - 214 = -5*i + 126. Does 8 divide c?
True
Let d = 243 - 215. Suppose -3*o = 2*h - 946, -5*o = -29*h + d*h - 1594. Is 23 a factor of o?
False
Suppose -19711 = -43*n + 589255. Is 11 a factor of n?
False
Let x be 1 + 3 + 0/2. Let r(d) = 3 + 3*d + 22*d - 7 + 0*d. Does 20 divide r(x)?
False
Does 259 divide ((-567)/486 - (-512)/(-6))*-518?
True
Let s(b) = 7*b + 4. Let v be s(-4). Does 14 divide (-1896)/(-15) + v/60?
True
Let a(q) = -2*q**3 - 7*q**2 - 3*q - 7. Let g be a(-3). Is (-2 - g) + 2 + 50 a multiple of 37?
False
Suppose 0 = -5*r + 45, -2*x + r - 2757 = -11896. Is x even?
True
Suppose -15*v = -20*v - 4*n + 239722, 5*v + 3*n = 239729. Is 28 a factor of v?
False
Suppose 37 + 83 = -10*r. Is 22 a factor of (1 - 16/12) + (-772)/r?
False
Let i(t) = -t - 2. Let c(z) = -7*z + 6. Let h(f) = -c(f) + 3*i(f). Let u = -5 + 12. Is 16 a factor of h(u)?
True
Suppose -d = 4*m - 349, -5*m - 8*d + 9*d = -434. Let r = m + 786. Is 14 a factor of r?
False
Let z(t) = 623*t + 29. Suppose 13 = -2*o + 15. Is z(o) a multiple of 8?
False
Let h(w) = 5*w**3 - 2*w**2 + 20*w + 11. Is h(7) a multiple of 3?
False
Suppose -4*y - 152688 + 9752 = -4*m, 0 = 2*m + 5*y - 71496. Is m a multiple of 175?
False
Suppose 13*q = 5*q + 32. Suppose 1 = v, q*v - 73 + 476 = f. Is f a multiple of 37?
True
Suppose -6*q + h = -11*q + 23399, 2*q - 4*h - 9364 = 0. Suppose 948*b - q = 945*b. Is 24 a factor of b?
True
Suppose -t + y - 3 = 0, -t - 4*y + 12 = 2*t. Suppose 0*b = -3*b + s + 532, t = 2*b - 5*s - 372. Suppose 5*d - 139 = b. Is 9 a factor of d?
True
Let r = -47 + 49. Suppose -r*d + 54 = -5*d. Let m = d + 72. Does 6 divide m?
True
Let x(d) = 401*d**3 - 7*d**2 + 31*d - 12. Is 16 a factor of x(4)?
True
Suppose -3*r + 713 = 2*j + 2804, 0 = 4*j - 2*r + 4222. Let l = j - -1201. Does 2 divide l?
True
Let o(f) = f**3 - 21*f**2 - 34*f - 146. Does 13 divide o(33)?
False
Let h be 215/86*(-24)/5. Is 0 - -2 - 150/h*34 a multiple of 23?
False
Let g(x) = 3*x - 8. Let o be g(13). Suppose 32*f = o*f + 98. Is f a multiple of 5?
False
Let n(p) = 26*p + 24. Let g(v) = 3*v + 22. Let a be g(-5). Let r be n(a). Suppose 0*m + 2*f + r = 3*m, -308 = -4*m - 4*f. Does 12 divide m?
True
Let a(p) = -7*p + 2. Suppose 0 = 67*i - 70*i. Suppose i = 4*l - 25 + 45. Does 11 divide a(l)?
False
Suppose -11 = -u - 2*m, u + u = -m + 13. Is 5 a factor of -1*((-5)/4)/(u/40)?
True
Let y be (1448/8 - -2) + 3*-1. Suppose -3*o = -o - 408. Suppose o = 4*v - 5*w, v + 3*w - y = -2*v. Is 28 a factor of v?
True
Let p = 661 - 166. Suppose 2*w - 5*l = 5*w - 275, -l + p = 5*w. Is 8 a factor of w?
False
Suppose 4*n + 384 = 2*t, 3*t + n = -141 + 703. Suppose 12*q - 11*q = t. Does 47 divide q/6*3*(-2)/(-4)?
True
Let i = 38 + -35. Suppose -i*u + 377 = 80. Let p = u + -59. Does 20 divide p?
True
Suppose -2*y + 136 = -6. Let s be 1 + -6 + 0 - (-206 - -137). Let w = y - s. Is 7 a factor of w?
True
Let h be 1 + -1 + 6 + -1. Suppose -7*o + h*o = -10. Suppose 2*r - 29 = -5*f, o*f - 13 = 3*r + 6. Does 2 divide f?
False
Let t(j) = j**2 - 2*j + 5. Suppose -3*s + 5*a - 19 = 0, 3*s - 3*a = -2*a + 1. Suppose -4*k = -s*m + 34, -2*m = 5*k - 0*k + 29. Is t(k) a multiple of 18?
False
Is 19 a factor of 765/170*(-17522)/(-3) - 2/1?
False
Suppose -2*l - 3*l - 10 = 0, 0 = 2*f - l - 58. Let q(r) = -2*r**2 + 17*r + 7 + f*r - 56*r. Is q(-4) even?
False
Suppose 3*w - 1128 = -3*i, 5*i = 4*w - 450 - 1009. Let u = w + 4. Is u a multiple of 15?
True
Let z(t) = 2208*t - 716. Does 52 divide z(8)?
False
Let o(r) = -115*r**3 + 10*r**2 - 149*r - 1245. Does 13 divide o(-9)?
False
Let i(j) = 4*j + 77. Let b(s) = s**2 - 12. Let w be b(0). Let r be i(w). Suppose x - 20 = -q + 15, -q = 3*x - r. Does 3 divide q?
False
Let q(m) = 189*m**2 + 164*m - 1228. Is 70 a factor of q(8)?
True
Let n(g) = -140*g + 54. Let x(t) = 5*t + 27. Let k be x(-6). Is 11 a factor of n(k)?
False
Suppose 0 = k + 3, 7*m - 5*m - 43 = 3*k. Suppose 296 - m = 3*t. Is 4 a factor of t?
False
Let h = -1587 - -8288. Is h a multiple of 38?
False
Suppose 4*g = 199 - 15. Suppose 47*h - g*h = 144. Does 6 divide h?
True
I