-p + 4*t + 25 + c = 0, -4 = -4*t. Is p a multiple of 41?
True
Suppose -36*c + 60 = -48. Let r = 558 - 249. Suppose c*l - l = 5*i + r, -3*i = l - 160. Is l a multiple of 34?
False
Suppose 0 = -3*b, -2*x - 32 = -4*x - 3*b. Suppose 28*h - 3708 = x*h. Is 78 a factor of h?
False
Let u(l) = -2*l**3 - 8*l**2 - 7*l - 1. Suppose 7*w = 2 - 37. Is u(w) a multiple of 42?
True
Let q(t) = 7*t**2 + 51*t - 7. Let z be q(-7). Let l(p) = -6*p - 18. Is 3 a factor of l(z)?
True
Suppose 0 = -5*k + 4*l + 50, -5*k - l - 20 = -7*k. Suppose -k = o - 68. Suppose 63*z = o*z + 130. Is 15 a factor of z?
False
Let u = -33 + 27. Does 10 divide -14*(-15)/u*-6?
True
Suppose -17*n - 224*n + 24466794 = 117*n. Is 19 a factor of n?
True
Let l(v) = 8*v + 34*v - 8 + 37*v. Suppose -2*r + x = -7, 4*r + 2*x + 6 - 16 = 0. Does 19 divide l(r)?
False
Let a be (-3 + 0)/(2*5/(-10)). Suppose 201 = 2*d + 3*o, 4*d + 2*o - 367 = a*o. Is d + -3 - ((-6)/3 - -2) a multiple of 15?
True
Let q = -94 - 309. Let r be 7480/12 - (-1)/(-3). Let k = r + q. Does 20 divide k?
True
Let y = 12 - 22. Let b be 358/y + 4/(-20). Is 19 a factor of 4/18 + (-676)/b?
True
Let o = -939 - -563. Let h = o + 578. Is h a multiple of 6?
False
Suppose -39340 = -5*b - 70*y + 65*y, -3*y - 15756 = -2*b. Does 16 divide b?
True
Let n(x) = 4*x**2 + 9*x + 6. Let j be n(-3). Suppose j = 5*w - 5. Suppose 4*p + 812 = w*g + 2*p, 4*g - 840 = -5*p. Is 16 a factor of g?
False
Suppose -2513 = -z - 5*a, 1366 = -2*z + 5*a + 6407. Is 16 a factor of z?
False
Let l(i) = 15*i - 45. Let c(u) = 2. Let f(a) = -30*c(a) - l(a). Is f(-11) a multiple of 25?
True
Let u(v) = -47*v**3 - 4*v**2 + 6*v + 43. Does 17 divide u(-3)?
True
Let p(z) = 10*z**2 + 402*z + 36. Is 18 a factor of p(-48)?
True
Let t(a) = -3*a - 22. Let d be t(-13). Suppose -d + 77 = -10*i. Is 13 a factor of (-628)/(-6) + i/9?
True
Suppose 367*w = 373*w - 21228. Is w a multiple of 57?
False
Let o(l) = 4*l**3 - 88*l**2 - 6*l + 164. Let v be o(22). Suppose 2*j + 5*a = j + 107, -2*j = 4*a - 214. Let k = j - v. Is k a multiple of 7?
False
Suppose 2*l - 2790 = -2*p, -5581 = -123*l + 119*l - 5*p. Does 34 divide l?
True
Let u = -23222 - -46770. Does 29 divide u?
True
Let t = 852 - 541. Suppose 0 = 316*b - t*b - 1485. Is 33 a factor of b?
True
Let c = 212 + -121. Let t be (c/(-39))/(1/3). Let i = t + 13. Does 6 divide i?
True
Is (-60975)/(-30)*12/10 a multiple of 3?
True
Does 166 divide (92/28 - 3) + -8 + 205284/42?
False
Suppose -7 = -3*x - 4. Let o(i) = 33*i**3 + 2*i**2 - 4*i + 2. Let c be o(x). Is 37 a factor of 1018/6 + 11/c?
False
Let v = -8096 - -9662. Is 58 a factor of v?
True
Let y(q) = 29*q**2 - 2127*q - 164. Does 26 divide y(97)?
True
Suppose 0 = 8*m - 635 - 173. Let y = 67 + m. Is y a multiple of 6?
True
Let y = 276 - 133. Suppose -l - 49 = -w + 3*l, -2*w + y = l. Is w a multiple of 4?
False
Suppose w = -h + 153, -6*w + 4*h - 144 = -7*w. Suppose 3*p - n - w = 2*p, 2*n = -p + 156. Is 9 a factor of p?
False
Let c(o) = 17*o + 123. Let s be c(-7). Is (206 - -2)*(-11)/s*-1 a multiple of 11?
True
Suppose 14*x = 142764 - 11836. Does 14 divide x?
True
Suppose -5*a + 3*g + 2166 = 0, -12*a + 1304 = -9*a - 4*g. Suppose -44*x = -32*x - a. Is 2 a factor of x?
True
Let m = 343 - 803. Does 6 divide m/(-25) + (-4)/10?
True
Let g be (228/(-21) + -2)*(-4 + -3). Let t = -4 - -10. Suppose 0 = t*v - 11*v + g. Is v a multiple of 9?
True
Suppose -3*y = 318*w - 316*w - 3405, 0 = -5*w - 3*y + 8517. Is w a multiple of 4?
True
Let p = -20 + 23. Suppose 2*r + p*g = -14, 0 = -r - 3*r + g - 42. Let h(o) = 2*o**2 + 16*o + 9. Is 6 a factor of h(r)?
False
Let p(u) = 266*u**2 + 7*u - 10. Let j be p(2). Suppose 3396 = 4*q + 4*m, -5*q + m = -j - 3171. Is q a multiple of 24?
False
Let z(h) = -41*h + 6. Let i be z(-5). Let g be (-5 + (-36)/(-8))*(1 - 295). Let m = i - g. Is 23 a factor of m?
False
Let a = 3796 + -3386. Is a a multiple of 4?
False
Suppose 0 = -6*z + 1325 + 8167. Let n = -1092 + z. Does 50 divide n?
False
Let q be -10 + (3 - 0)/3. Let v be -3*q/(54/28). Suppose b = 5, 3*b - 4*b = o - v. Is o a multiple of 5?
False
Let l(s) = -9*s + 35. Suppose 5*z = -24 - 21. Let w be l(z). Let v = -77 + w. Is v a multiple of 8?
False
Suppose -25 + 17 = -d. Does 12 divide d/72 - ((-5991)/27 + 1)?
False
Suppose -z + 46 = -3*v - 8, -2*z + 2*v + 96 = 0. Is 10 a factor of z?
False
Let d(o) = 137*o**3 - 6*o - 108*o**3 - o**2 + 5*o**2. Is 59 a factor of d(2)?
True
Let n(t) = -905*t - 5460. Is 145 a factor of n(-11)?
True
Let i(f) = 5*f**3 - 22*f**2 + 78*f + 63. Does 9 divide i(9)?
True
Let s(b) = -64*b + 32. Let a be s(-7). Suppose -43*z = -47*z + a. Is 8 a factor of z?
True
Let y(w) = 2*w**2 + 116*w + 3879. Is 15 a factor of y(-76)?
True
Let d be 12/(-9)*130*(-12)/16. Let u = d - 119. Is u a multiple of 11?
True
Let d = -5423 - -8567. Suppose -1664 = -3*g + 5*x, 5*g + 2*x + 350 - d = 0. Is 8 a factor of g?
False
Suppose -n = 3*k - 186, -2*k + n + 0*n = -119. Let i = k - 69. Is 11 a factor of ((-2)/(i/6))/3*212?
False
Suppose -3*h - 59 = -2. Let f = h - -31. Is 5 a factor of 49 + -6*8/f?
True
Let i be 0 - 2 - (-11 - (3 - 9)). Suppose -i*y + 687 = z, 0 = 2*y - 0*z - 5*z - 441. Is y a multiple of 38?
True
Suppose 0 = -2*c - 0*c - 5*m + 485, 0 = -3*c + m + 719. Suppose -c + 669 = -11*r. Is r/(-2)*10/(-75)*-5 a multiple of 13?
True
Let m(a) be the third derivative of a**5/30 + 11*a**4/24 - a**3/2 + 76*a**2. Is m(3) a multiple of 26?
False
Let z(l) = -3*l**3 + l**2 - 5*l - 6. Let v be z(-1). Let w be (-2 - -6)*2/4. Suppose w*k = 2*m - 7*m + 285, v*k + 4*m = 410. Does 12 divide k?
False
Let f = -163 - -164. Is -6*(f/(-4) + (-91)/84) even?
True
Let u(c) = 4*c + 56. Let x be u(-13). Suppose -3*f + 354 = 2*q, 0 = -0*f + f + x*q - 128. Is f a multiple of 4?
True
Suppose 0*a - 168 = -2*a. Is (-25 - -1)*(-196)/a a multiple of 8?
True
Suppose -2*n - 51*n = -4*n - 2793. Let u(o) = -o + 9. Let s be u(4). Suppose -130 = -5*c + 3*z + 89, c = s*z + n. Is 6 a factor of c?
True
Does 43 divide (-5809)/(-1) - (8/40 - 76/(-20))?
True
Let y be (25806/8)/3 + (-5)/20. Suppose -4*u + y = 367. Let k = u - 105. Is k a multiple of 18?
True
Let u(d) = -1516*d - 4697. Is u(-9) a multiple of 24?
False
Suppose -4*u - 327333 = -15*u - 89513. Does 6 divide u?
False
Let d = -72 + 75. Suppose 0 = -2*r + 2, -d*h - 343 = -5*h + 5*r. Suppose -2*w + 4*t + h = 0, 0 = -t - t - 2. Does 17 divide w?
True
Let k = 235 + -235. Suppose -5*i - 70 = -5*s, k = -0*s + 4*s - 2*i - 64. Is 4 a factor of s?
False
Suppose 2 = p + 17. Let o be 3*(-5)/p - -4. Suppose -o*i + 627 - 127 = 0. Is 10 a factor of i?
True
Let r(h) = -687*h + 98. Let c be r(-12). Suppose c = 9*g + 2573. Is g a multiple of 16?
False
Suppose -55 = 2*z - 3*f, 4*f = 12 + 8. Does 65 divide (z/3 + 7)/((-3)/(-8163))?
False
Does 2 divide -12604*(38/(-4) - 351/(-39))?
True
Let h(f) be the first derivative of -f**5/20 - f**4/2 + 5*f**3/6 + 9*f**2 - 53*f + 25. Let i(p) be the first derivative of h(p). Is i(-9) a multiple of 28?
False
Let v(s) = -2*s**3 - 28*s**2 + 36*s + 174. Let y be v(-15). Suppose 31 = 2*b - 83. Let d = y - b. Is d a multiple of 2?
False
Suppose -3*f + 1991 = -p, 3*f + 4*p = -256 + 2237. Suppose -w - 183 = -f. Suppose -56 - w = -4*s. Does 14 divide s?
False
Suppose 9*w - 230 = 4*w. Let k = w - 32. Suppose 9*o - k*o = -90. Is o a multiple of 3?
True
Let v(l) = 721*l - 180. Is v(28) a multiple of 164?
True
Suppose 4*w + r = 31319, 7*r - 20169 = -3*w + 3289. Is w a multiple of 19?
False
Let p(o) be the third derivative of o**5/60 - 5*o**4/12 + 257*o**3/6 + 166*o**2. Is p(0) a multiple of 13?
False
Let m(h) = -h**3 - 19*h**2 - 16*h + 51. Let l be m(-18). Suppose -3*i - l = 0, -5*i + 481 = 3*t - i. Is 7 a factor of t?
False
Suppose 84*i = -9995 + 1259. Suppose -h + 2*d - 19 = 0, h = -3*h + d - 90. Let z = h - i. Is z a multiple of 9?
True
Suppose 6*v - 7*v + 74214 = 17*v. Is 31 a factor of v?
True
Let z(s) = 62*s**3 + 11*s**2 - 25*s + 20. Is z(5) a multiple of 11?
True
Suppose -18 = 5*m - 11*m. Suppose -5*t - 3*d = -18, t = -m*d - 0 - 6. Suppose -t*k - 211 = -757. Does 13 divide k?
True
Let v(d) = 145*d**2 + 77*d - 354. Is 3 a factor of v(4)?
True
Let v = 174 + -172. Is 9 a factor of 0 - 7 - (v + -455)?
False
Suppose -q - 1056 + 1059 = 0. Suppose -11*n + 1169 = q*a - 10*n, -4*a = -2*n - 1562. Does 15 divid