+ 39*z**2. Does 2 divide v(-1)?
True
Let a(f) = -22*f**2 + 72*f + 53*f**2 - 27*f**2 + 5 - 28*f. Let k be a(-11). Suppose 0 = -0*c - k*c - 5*d + 280, -113 = -2*c - d. Is c a multiple of 21?
False
Suppose k + 22 = -0*k + 2*y, 2*k + 2*y + 38 = 0. Let r be 8/k - (-1154)/10. Is 28 a factor of 4/4 + -4 + r?
True
Suppose 11*t - 7*t + 2856 = 0. Let x = 1208 + t. Is 15 a factor of x?
False
Suppose 102*u - 49438 = 367814 - 30570. Is 28 a factor of u?
False
Let j(t) = 7*t - 13. Let d(w) = w**2 - 2*w - 3. Let r be d(4). Let v be j(r). Suppose -3*z + 4*f + v = 0, -4*z - 3*f = -2*f - 42. Is 5 a factor of z?
True
Suppose 5*n + 12186 = 3*d - 41284, -5*n - 35645 = -2*d. Does 16 divide d?
False
Let t(l) = l**3 + l**2 - 42*l - 7. Let h be 9/15 + ((-54)/15 - 3). Is t(h) a multiple of 52?
False
Let p = 15 + -17. Let q be (-92)/12 + p/6. Let y(o) = -o**3 - 8*o**2 + 19. Does 4 divide y(q)?
False
Let z(d) = d**3 + 30*d**2 - 6*d + 83. Let o be z(-28). Let t = o + -995. Is t a multiple of 25?
False
Let r(l) = 5*l - 54. Let g be r(16). Suppose 0 = -2*d + 5*q + g, 4*d + q = -q + 4. Suppose d*c = -4*k + 346, 3*c = 6*k - 3*k + 381. Is 16 a factor of c?
False
Suppose 2*g - 108 = -2*g. Let t = g + -11. Does 7 divide t?
False
Let z = -93 + 96. Suppose n - 4 = -z*i - 15, 4*i - 11 = n. Let m = 17 + n. Is 6 a factor of m?
True
Let q(h) = -309*h + 2. Suppose -2*p - 386 = -4*k - p, 4*k + 5*p = 398. Let f = k + -98. Does 35 divide q(f)?
False
Let t(i) = -i**3 + 9*i**2 + 16*i + 1332. Is 12 a factor of t(0)?
True
Let m(p) = -2*p + 20. Suppose 8*o - 41 = -5*w + 4*o, -1 = o. Let q be m(w). Is 8 a factor of (2 + -3)/(2/q) + 72?
False
Let l(c) = -639*c - 1. Let s be l(-2). Let v = 1858 - s. Is v a multiple of 18?
False
Suppose 0 = 4*v - 5*u + 15, 7*v + u - 3 = 2*v. Suppose v = 8*s + 16*s - 5856. Does 15 divide s?
False
Let u be 2 - -5 - (-3124)/11. Let f = 396 - u. Is f even?
False
Let p(q) = 133*q. Let w(o) = -8*o - 246. Let d be w(-31). Is p(d) a multiple of 5?
False
Is 198 a factor of (2 + 7/(56/15248))/(2/11)?
True
Suppose 44361 = 7*i + 4853. Suppose 4*q + 2040 - i = 0. Is 41 a factor of q?
False
Let d be (-4)/(-36) - 88/(-144)*8. Let c be 4/(-10) - 17/(-5). Suppose c*w + 36 = d*w. Is 3 a factor of w?
True
Suppose q - 246 - 692 = 0. Does 67 divide q?
True
Suppose -369 = -7*v + 632. Suppose -j - 119 - v = 0. Is j/(-1)*(-2)/(-4) a multiple of 14?
False
Suppose 0 = 3*d - 0*d - 2*g - 8, -2*g = 6*d - 10. Suppose d*w = -3*l + l + 2002, -3*w = -5*l - 2971. Does 20 divide w?
False
Suppose -5993*g - 1778810 = -6048*g. Does 94 divide g?
False
Is 3137 - (-14)/(16 + -2) a multiple of 19?
False
Suppose -25*o + 171171 = -97829. Does 51 divide o?
False
Is (-351 + 4*(5 - 8))*-66 a multiple of 22?
True
Let t = 3398 + -2890. Is 58 a factor of t?
False
Let k be 3667 - 12/(5 - 1). Suppose -10*i - 104 + k = 0. Is i a multiple of 48?
False
Suppose 2*n + 8 = -4*g, -g + 8 = -8*n + 11*n. Let m(s) be the first derivative of -13*s**2/2 - 17*s + 1. Does 7 divide m(g)?
True
Suppose -9*a - 62128 = -27*a + 39122. Is a a multiple of 74?
False
Let j(q) = -875*q + 4629. Does 38 divide j(-21)?
False
Suppose 60*o - 45 = 63*o. Let p be ((-42)/o - 0)*230. Let t = p - 299. Does 22 divide t?
False
Suppose -25*z - 21240 = -34*z. Is 59 a factor of z?
True
Does 7 divide -4 + 3 + 1 + 10843 + -3 + 0?
False
Suppose -t + 4*l = -25, 44 = -4*t + 4*l + 132. Does 13 divide 775/6 - t/126?
False
Suppose -2*p = 11*p - 11*p - 5222. Is p a multiple of 32?
False
Let b(z) = z**3 - 6*z**2 - 10*z - 4. Let p be -2 - 5/(-2) - 135/(-18). Let s be b(p). Is (-23 + -1)*(-297)/s a multiple of 49?
False
Let c(s) = s**3 + 5*s**2 - 15*s - 2. Let l be c(-7). Suppose l*x - 1143 = -3. Does 19 divide x?
True
Let v(q) = -13*q - 22. Let s be v(-7). Let w = 222 - s. Is 10 a factor of (-2)/5*(3 + 0 - w)?
True
Let d = -87 - -96. Let h(i) = -i**3 + 12*i**2 - 4*i - 9. Let u be h(d). Suppose 5*m - 2*m = u. Is m a multiple of 11?
True
Let t(k) be the third derivative of -k**6/120 - 13*k**5/30 - 5*k**4/4 - 35*k**3/2 - 18*k**2 - 2. Is 5 a factor of t(-25)?
True
Let x(f) = 4*f - 26. Let d be x(21). Suppose 2*g + 2 = d. Suppose -g*b - 34 = -30*b. Does 4 divide b?
False
Suppose -6*g = -42, 2*z + g - 51212 - 11095 = 0. Does 94 divide z?
False
Let n = 39770 - 23412. Is n a multiple of 16?
False
Suppose -203*d - 353297 + 88787 = -221*d. Does 4 divide d?
False
Suppose -2*a = -3*l + l - 4, 4*a + 4*l - 24 = 0. Suppose 5*i = -3*d - 2*d + 1075, -5*d = -a*i - 1057. Let x = -146 + d. Does 9 divide x?
False
Suppose -6*h = -8*h + 14. Suppose -h*y = 27 - 699. Let w = y + -66. Does 10 divide w?
True
Let f = -13736 + 13827. Is f a multiple of 7?
True
Let o be 4/(-14) + -4 + (-130)/(-14). Suppose -i - 5*c = 6 - 1, 3*i + o*c - 5 = 0. Suppose 0 = -s + 3, 224 = 2*r + i*s - 13. Is 19 a factor of r?
False
Let u = -143 + 6400. Is 109 a factor of u?
False
Suppose 2*q + 5*a - 79 = 0, -4*q - 5*a = q - 160. Suppose -q = 5*y - 7, h - 4*y = 18. Suppose 0 = 4*d - 8, -7*i + 254 = -h*i - 3*d. Is 52 a factor of i?
True
Let n = 16615 - 8129. Does 8 divide n?
False
Let t(j) = -24*j**2 + 3*j + 1. Let f be t(1). Let l(x) = -x**2 - 32*x + 54. Does 49 divide l(f)?
True
Suppose 0 = -3*b - 2*h + 2575, -4295 = 85*b - 90*b - 4*h. Is 95 a factor of b?
True
Suppose -1000 = -5*t - 5*d, -12*t + 7*t - 2*d = -991. Let j = t - -628. Is j a multiple of 12?
False
Is ((-19)/(-38))/(1/492) a multiple of 4?
False
Suppose 31*w + 6 = 33*w. Suppose w*b - 584 = -0*b + 2*c, 2*b - 4*c - 376 = 0. Is (1/(8/b))/((-18)/(-72)) a multiple of 33?
True
Let b(w) = w**3 + 19*w**2 + 7*w - 31. Let x be b(-18). Suppose 0 = 2*m + u - 115, -3*m + x = -0*u - 4*u. Is m a multiple of 19?
True
Let f = 4495 - 2733. Does 138 divide f?
False
Suppose -36*w + 66304 = -19*w - 29746. Is 25 a factor of w?
True
Let g(r) = 1674*r - 12. Is g(14) a multiple of 16?
True
Let j be 124/6 + 65/195. Suppose -16*u + j*u = -5*s + 3730, 5*u - 2232 = -3*s. Does 20 divide s?
False
Suppose -144102 = -111*c + 88887. Is c a multiple of 25?
False
Suppose 160*u - 34091 - 450549 = 0. Does 32 divide u?
False
Suppose -3*a + 225 = -234. Is a a multiple of 2?
False
Suppose -13*a + 11*a = -298. Suppose -4*c + 171 = -a. Let y = c - 50. Is 10 a factor of y?
True
Let m(z) = -z**3 - 118*z**2 + 482*z + 232. Is m(-122) a multiple of 4?
True
Let t = -633 - -1200. Does 20 divide t?
False
Let i be (-1)/(3 - 208/70). Let o(z) = z**3 + 30*z**2 + 56*z - 64. Let d be o(-28). Let m = i - d. Does 5 divide m?
False
Let q = -4771 + 9395. Is q a multiple of 16?
True
Let v(c) = c**2 - 7*c + 12. Let p(z) = -z**3 + z**2 + 12*z + 5. Let o be p(4). Suppose -x + 33 = -o*f, 2*f + 5*x = x. Is 15 a factor of v(f)?
True
Let s(c) = 6 - 34*c**2 - 34*c**2 + 76*c**2 + 14*c - 6*c. Is s(7) a multiple of 11?
False
Suppose -4*t - 4*d + 10736 = 0, 632*d - 635*d - 13396 = -5*t. Is 6 a factor of t?
False
Suppose -43*y + 2*u - 374 = -45*y, 4*y - 747 = -3*u. Does 60 divide y?
False
Suppose -9*u + l = -4*u - 6, u - 5*l = -18. Let p(w) = 27*w**3 + w**2 - w - 6. Does 53 divide p(u)?
True
Let g(c) = -c**3 - 3*c**2 - 4*c + 3. Let l be g(3). Does 8 divide 16 + -17 - (-1 + -1 + l)?
True
Let r(c) = c**3 - 11*c**2 - 10*c + 15. Let t be r(14). Let o = t - 115. Suppose -300 = -9*n + o. Does 6 divide n?
True
Let y(x) = -33*x + 10*x**2 + 89 + 13*x**2 + 22*x**2 - 5*x**2. Does 10 divide y(3)?
True
Suppose 3*u + 96 = -5*w + 323, 5*u - 2*w - 337 = 0. Suppose 0 = 86*k - 752 + 236. Suppose 3*m - k*m - 4 = q, -4*q + u = -5*m. Is q a multiple of 2?
False
Let t(c) = c**2 - 21*c + 83. Let m be t(16). Suppose -57 = -q - 0*q + f, m*q - f = 177. Is 39 a factor of q?
False
Suppose -g + 6*g - 5*t + 5780 = 0, 5*g - 3*t + 5788 = 0. Suppose -4*d - z - 62 = 0, 5*d = 4*z - 18 - 70. Does 6 divide 2/(-4) + g/d?
True
Suppose -67*v = -132839 - 812464. Does 13 divide v?
False
Let w = -13 + 13. Suppose -2*m - 118 = -3*o - m, 4*o - 3*m - 154 = w. Suppose 5*g = -0*g + o. Is g a multiple of 2?
True
Let x = 4127 - 1597. Is 22 a factor of x?
True
Let v(k) = -28*k - 20. Let x be v(-22). Let i = x - 388. Is i a multiple of 13?
True
Let l = -144 - -146. Let k be 3201/6 - l - 2/4. Suppose a + t + 1057 = 5*a, -k = -2*a + 3*t. Is a a multiple of 33?
True
Suppose -10638 = -w + l, 53226 = -31*w + 36*w + 7*l. Is 32 a factor of w?
False
Suppose 21 = -33*a + 36*a. Suppo