 = -113*j + 31. Let u be t(-2). Let p = 2 + 1. Suppose d + u = p*d - i, 625 = 5*d + i. Is d a multiple of 21?
True
Let n(u) be the first derivative of 41*u**6/120 - u**5/60 + u**4/12 + 2*u**3 + 23. Let s(l) be the third derivative of n(l). Is s(1) a multiple of 32?
False
Suppose 0 = 2422*t - 2322*t - 387400. Does 21 divide t?
False
Suppose 199490 + 23278 = -4*v + 40*v. Does 52 divide v?
True
Let y be (-2)/(-4) + ((-138)/(-12) - 4). Is 15 a factor of 3357/y - (-18)/48?
True
Does 241 divide (-3 + (13 - 2))/((-4)/(-14418))?
False
Let u(r) = 3*r**2 + r - 6. Suppose 237*z - 241*z + 36 = 0. Is 82 a factor of u(z)?
True
Let c = -2087 + 2581. Does 16 divide c?
False
Is 16 - -2 - (-109208)/34 a multiple of 19?
True
Suppose 3*r = -2*b - 3 - 3, -3*r - 5*b - 15 = 0. Let u(v) be the second derivative of v**3/3 + 29*v**2 + 2*v. Is 4 a factor of u(r)?
False
Let w = 1355 + 240. Does 5 divide w?
True
Suppose 20*x = 24*x + 168. Let a = 40 + x. Is 17 a factor of 3729/44 + a/(-8)?
True
Let g(r) = 4689*r - 71. Is 248 a factor of g(7)?
False
Suppose -5*c + 103393 = 2*d - 105832, 125535 = 3*c - 2*d. Is 134 a factor of c?
False
Suppose 25*t - 23731 - 10679 = 14665. Is t a multiple of 6?
False
Let h = 254 - 219. Suppose h*y - 26281 = 5814. Is 18 a factor of y?
False
Let q(v) = 607*v**2 - 39*v + 6. Does 7 divide q(-5)?
False
Suppose 10*l = 31*l - 38010. Is l a multiple of 39?
False
Let q(j) = j - 3*j**3 + 2*j + 236 - 8*j**3 + j**2 + 12*j**3. Is q(0) a multiple of 8?
False
Let r = 195 + 91. Let z = -258 + r. Is z a multiple of 18?
False
Let z = -521 - -818. Let g be ((-8)/14)/((30/(-5))/42). Suppose 85 = -g*k + z. Is k a multiple of 31?
False
Let r(t) = 19*t + 4. Let a(z) = -z**3 - 8*z**2 - 9*z - 10. Let v be a(-7). Suppose -5*f + 10 = -4*s, 7 + 1 = v*f - 4*s. Is r(f) a multiple of 6?
True
Let g(j) = 391*j + 1. Let t be g(1). Suppose -t + 29 = -3*x. Let s = x - 71. Does 8 divide s?
False
Let t(l) = 2848*l**2 - 202*l + 778. Does 7 divide t(4)?
False
Does 76 divide (-614530)/(-245) - 10/35?
True
Suppose -3*b = -o - 15712, 2*b + 2*o - 10480 = 4*o. Is b a multiple of 68?
True
Suppose 2*k = -12, -677 - 19 = -3*b + k. Is b a multiple of 8?
False
Let q(v) = v**3 + 7*v - 21. Suppose 2*i - 5*j = -3, -i + 4*j + 2 + 1 = 0. Let w be q(i). Does 34 divide w/(-4) - 12/(-16)?
True
Suppose k - 4*k = -240. Suppose -k*s + 84*s + 24 = 0. Is 5 a factor of (s - -3) + (0 - -19)?
False
Let i(t) = 241*t - 359. Is 23 a factor of i(18)?
True
Let q be -2 + 26/3 + (-6)/9. Suppose q = 3*p - 3. Suppose p*o = -w + 342, -4*w + 448 = 4*o - 0*o. Is o a multiple of 23?
True
Let d = -131 + 136. Suppose 2*p + p + 1500 = d*l, 0 = -3*l - 4*p + 900. Is 25 a factor of l?
True
Suppose 2*q - 10 = -2*w, q = 4*w + 2 - 12. Suppose -w*z - 2*z + 5 = -5*s, -3*s - 15 = 3*z. Does 14 divide s + (-1 + 2)*(-2 + 49)?
False
Does 50 divide (2394/(-15) + 2)/((-870)/54375)?
True
Let y be (0 + -2)*5/(-2). Suppose 2*d - 314 = y*g, -2*g = -1 - 3. Let j = 126 + d. Is 12 a factor of j?
True
Let w(q) = 63*q + 3. Let l be w(-2). Let f be (48/16 - 27)/((-50)/24 + 2). Let t = f + l. Is t a multiple of 32?
False
Let j(z) = 19*z**2 + 126*z - 87. Is 42 a factor of j(27)?
False
Let h be 3/(-2) - (3655806/(-12))/7. Suppose 0 = -2*r + 22*r - h. Is r a multiple of 17?
True
Let y be (1/(3/305))/((-3)/(-9)). Let q = y + -5. Does 50 divide q?
True
Let a = 52 + -47. Suppose -2*h = -3*q - 2003, -4016 = -4*h + q - a*q. Does 17 divide h?
True
Suppose 4*q + 715*n - 712*n - 6929 = 0, 2*q = -3*n + 3457. Is q a multiple of 292?
False
Let l = -162 + -7. Let f = 1085 + -695. Let n = f + l. Is 29 a factor of n?
False
Let b = 94 - 32. Suppose 15*z = 1678 + b. Does 33 divide z?
False
Let j = 256 + -180. Let l be (6 + 204/(-18))*6/(-4). Suppose l*y = 628 + j. Does 11 divide y?
True
Let z = 3479 + -3475. Suppose -2*j - 776 = -6*j. Suppose -162 = -z*w + j. Is 20 a factor of w?
False
Let i(l) = l**3 + 9*l**2 + l + 17. Let g(v) = -9*v**2 - 4*v + 4. Let f be g(1). Let q be i(f). Let u(y) = y**2 + y + 3. Is u(q) a multiple of 15?
True
Suppose -k + 1339 = 2*i + i, -3*k = i - 449. Is 3 a factor of i?
False
Let p(x) = -x**3 - x - 2. Let r be p(-2). Let h be 180/r - (-30)/(-12). Is 17 a factor of -12*(-2 - h/8)?
False
Suppose -5*r - 16 = -6*r. Suppose -v = 14 - r. Suppose 5*n - 240 = -v*t, 0 = -0*t - 5*t. Does 12 divide n?
True
Let y(l) = 6*l - 44. Let q be y(8). Suppose 4*u - q*w - 254 = 978, u - 4*w - 296 = 0. Is 13 a factor of u?
True
Let p = 34716 - -4924. Is p a multiple of 40?
True
Let l(x) be the third derivative of -x**6/60 - 7*x**5/30 + x**4/24 + 7*x**3/3 + 7*x**2. Let m be l(-11). Suppose -6*n = -205 - m. Is 49 a factor of n?
True
Let t(l) be the second derivative of l**4/12 + 10*l**3/3 + 8*l**2 - 17*l. Let s = 77 + -99. Is 5 a factor of t(s)?
True
Let x(o) = 6*o**2 - 15*o + 2. Let b be x(6). Let r = b - 62. Suppose 0 = -2*j + 110 + r. Is 9 a factor of j?
False
Let z be ((-19448)/24)/((-4)/(-12)). Is 17 a factor of (-4)/3 - z/39?
False
Let l = -389 - -2855. Does 54 divide l?
False
Suppose -557*i + 174*i + 210748 + 754412 = 0. Is 42 a factor of i?
True
Suppose 306 = 16*v - 13*v. Suppose 0 = h + 4*c - v, -6*c + 4*c = 0. Is h a multiple of 13?
False
Let k = 315 + -695. Let q = 68 - k. Does 13 divide q?
False
Let z(p) = -p**2 - 1924*p + 833. Is z(0) a multiple of 29?
False
Suppose -f - 11 - 9 = 0. Let b(n) = n**2 + 52. Does 26 divide b(f)?
False
Suppose -31680 = -21*o - 19*o. Does 22 divide o?
True
Suppose 24 = 48*q - 49*q. Suppose 12 = -7*x + 4*x. Is 21 a factor of 6/x + (-2628)/q?
False
Let x be ((-45)/(-25))/((-2)/(-10)). Let d(p) = 3*p**3 - 12*p**2 - 4*p - 12. Let o be d(x). Suppose 192 = -15*m + o. Is 16 a factor of m?
False
Let m(d) = 19*d**3 - 10*d**2 - 21*d + 377. Does 71 divide m(12)?
False
Let k(b) be the second derivative of -b**5/5 + b**4/2 + b**3/6 - 11*b**2/2 + 153*b. Does 23 divide k(-4)?
False
Suppose -92882 = -39*x + 10858. Is 7 a factor of x?
True
Let d = -10 + 20. Let w(m) be the third derivative of m**5/60 - m**4/6 - m**3 - 1289*m**2. Does 12 divide w(d)?
False
Let q be (-276)/80*-36 - (-2)/(-10). Let i = q + -82. Is 15 a factor of i?
False
Let y(k) = -323*k**3 + 5*k**2 + 2*k. Let w be y(-2). Suppose -w + 80 = -4*n + 4*z, 3166 = 5*n + 3*z. Suppose -5*q - n + 1612 = 0. Is 49 a factor of q?
True
Let n(q) = q**3 - q**2 - q + 1. Let r(j) = -27*j**3 + 7*j**2 + 5*j - 8. Let t(u) = -6*n(u) - r(u). Let h be t(-1). Let s = h - -42. Is s a multiple of 4?
False
Let d = 61 - -78. Suppose 3*z = -0*g - g + 107, 4*z + 5*g = d. Is z a multiple of 9?
True
Suppose 22*r - 364678 - 196402 = -61*r. Is 37 a factor of r?
False
Suppose 11*z - 12*z = 4*v - 2940, 12 = -3*z. Suppose d - 184 = -2*s, v = -7*d + 11*d + 5*s. Is d a multiple of 20?
False
Let w(q) = 14*q - 56. Let h(b) = b**3 + 3*b**2 - 3*b + 7. Let t be h(-4). Suppose -18 = -3*k + t. Is w(k) a multiple of 42?
True
Let r = 383 + -376. Suppose -5*v - 1586 = -r*v + a, -v = a - 793. Is 61 a factor of v?
True
Let v = 384 - 381. Suppose 0 = 2*r + 5*t - 399, -8 = -v*t + 7. Is 11 a factor of r?
True
Suppose 4*c - 2*y - 540 = 0, 5*c = c - 2*y + 524. Let d = -94 + c. Is d a multiple of 3?
True
Let h = 2137 + -1526. Suppose 18*n - h - 775 = 0. Does 3 divide n?
False
Let n(w) be the first derivative of -w**4/4 - 14*w**3/3 - 5*w**2/2 + 40*w - 3. Does 11 divide n(-14)?
True
Let d(k) = -14 - 11 - 7 + 22*k + 4*k**2 + 31. Is 64 a factor of d(-13)?
False
Let u = 804 + -783. Suppose -690 - 612 = -u*c. Does 18 divide c?
False
Let d be (4 - 5032/(-28)) + (-12)/(-42). Let h = 486 + d. Is 67 a factor of h?
True
Let n = 501 + -441. Suppose 0 = -68*k + n*k + 1056. Is k even?
True
Suppose -4*o = 27 + 1. Let c(h) = 28*h. Let a be c(-1). Let z = o - a. Does 21 divide z?
True
Let o(k) = -2*k**2 - 79*k - 71. Suppose 2*f - 80 = 2*i, f - 8 + 5 = 0. Is o(i) a multiple of 6?
True
Let d(a) = 459*a**3 - 2*a**2 + 407*a - 1210. Is d(3) a multiple of 22?
True
Suppose -3*p - 62976 = 45*l - 49*l, 6*l - 94508 = -p. Does 52 divide l?
False
Suppose 0 = k - 2, 44*n + k = 55*n - 231658. Is 9 a factor of n?
True
Let a = 2898 + 176. Is a a multiple of 58?
True
Let o(c) = 10*c**3 + 12*c**2 - 38*c. Is 4 a factor of o(5)?
True
Does 166 divide (-138)/(-276)*(33862 - (-1 - 1))?
True
Suppose 6*v - 326 = 430. Let x = v - -345. Is 19 a factor of x?
False
Suppo