4. Is 41 a factor of w(5)?
True
Suppose -m + 595 = -5*u + 82, -1036 = -2*m + 5*u. Let o = 738 - m. Is 35 a factor of o?
False
Let j = 85 - 85. Is 19 a factor of 5 - (j + 2 + -767)?
False
Let n = 54 + -31. Let w = 50 - n. Is 6 a factor of w - ((-1)/(-2))/((-7)/(-42))?
True
Let b = 3 - 1. Let o(z) = -z**3 + z**2 + 4*z + 5. Let l be o(3). Does 14 divide (l + 9)*(b + 3)?
False
Is 4068 - (45/(-7) + (15 - (-306)/(-21))) a multiple of 6?
True
Let g(c) be the third derivative of 5*c**4/4 - 7*c**3/6 - 16*c**2. Let t be g(6). Suppose -605 + t = -6*h. Does 24 divide h?
True
Does 25 divide (956/6 - 1)*741/(-304)*-16?
True
Suppose -o = 2*i - 3738, -7*o + 12*o - 18756 = i. Is 30 a factor of o?
True
Suppose -5*y - 4*u = -36, 0 = 5*y - 0*y + 5*u - 40. Let f(v) = v**2 + v - 5. Let b be f(0). Is 1*127 - (y + b) a multiple of 8?
True
Suppose 13 = 5*h - 2. Suppose -s = 4*r - 15, -1 = -h*s + 4*s. Suppose 0 = 5*y + 2*x - 206, -r*y = y - 2*x - 214. Does 42 divide y?
True
Let o(u) = -198*u - 558. Does 39 divide o(-19)?
False
Suppose -2 = g + 3*z, 4*z = -g - 4*g + 34. Suppose 0 = -g*q + 6*q - 280. Let w = -38 - q. Does 17 divide w?
False
Let a(s) = 7*s - 36. Let i be -44 + -1 - (-12 - -9). Let k = 55 + i. Does 12 divide a(k)?
False
Let r = 2656 - 1894. Suppose 3*a - r = 39. Is 14 a factor of a?
False
Suppose 4635 - 19065 = -5*p. Suppose 12*k + 558 - p = 0. Is k + -3 + 8 + -3 a multiple of 23?
False
Suppose 0 = -4*p - 4*t + 2*t + 6, 2*t = -10. Suppose 7*l - p*l - 18 = 0. Let m(y) = -y**3 + 6*y**2 + 7*y - 7. Is m(l) a multiple of 19?
False
Let h = 49 - 48. Let u(c) = 4*c**2 + c - 2. Let v be u(h). Suppose -v*d + 120 = -3*w, -165 = -4*d - w - 0*w. Is d a multiple of 7?
False
Let c = 54593 - 37702. Is 7 a factor of c?
True
Suppose -3*f + 17 = 5*x, 6*f = 4*x + 4*f - 18. Let y be (-4)/x*0/(-4). Suppose 3*p + u - 269 = y, -4*u + u - 453 = -5*p. Is p a multiple of 18?
True
Let h = 9144 - 5116. Does 76 divide h?
True
Suppose 12278 = 2*p - 84*j + 81*j, 0 = 5*p - 2*j - 30728. Does 212 divide p?
True
Let p(w) = -47*w**3 + 7*w**2 - 3*w - 13. Let o be p(-3). Let n = 2529 - o. Is 43 a factor of n?
False
Let l = 30778 - 23022. Is l a multiple of 22?
False
Suppose -4*b = 20, 2*b + 25786 = -3*z - 0*z. Let i be z/(-9) + (-2)/(-6). Is 1/2 + i/10 a multiple of 8?
True
Let g(u) be the first derivative of -u**4/4 + 10*u**3/3 + 9*u**2/2 + 16*u + 4812. Let c be (-2)/1 + 0 + 12. Is 11 a factor of g(c)?
False
Let y be 2*-4*56/(-32)*2. Suppose -4 = i + 4*u, -8*i + 5*i - 2*u + y = 0. Is 49 a factor of 1756/i - (-8)/12?
True
Let b(t) = -19*t**3 - 6*t**2 + 17. Is b(-7) a multiple of 80?
True
Suppose -278*g = -283*g + 25. Suppose 2*n = -2*k + 2242, -2208 - 3429 = -g*k + 3*n. Is 12 a factor of k?
False
Is (-5078538)/(-189) - (-30)/70 a multiple of 21?
False
Let l(x) = 2*x**3 + 11*x**2 + 39*x + 8. Let v(w) = -5*w**3 - 33*w**2 - 115*w - 26. Let c(a) = 8*l(a) + 3*v(a). Is 8 a factor of c(14)?
True
Let c be -4*(-1)/2*24. Suppose 2*o - c = -30. Does 3 divide o?
True
Suppose 4*i = -5*d + 8114, 15*d - 17*d = 5*i - 3232. Is d a multiple of 57?
False
Let j be (-6)/42 + 24/(-28). Is 12 a factor of j/(1/(-20)) + 2?
False
Let h = -441 - -438. Does 24 divide ((-56)/16)/(h/288)?
True
Suppose 0 = -i, -2*p + 3*i + 6 = 7*i. Suppose -p*l - 128 + 1424 = 0. Is l a multiple of 12?
True
Suppose 0*s - 65 = -13*s. Suppose -s*n = -29 + 34. Does 9 divide (-136 + 1 + -4)*n?
False
Let v be (-65)/(-26)*((2 - 2) + 2). Suppose 202 = 5*y + 4*j, -5*y + v*j - 2*j = -216. Is y a multiple of 7?
True
Suppose 19*u - 18*u + 20 = 4*j, j - 5 = -u. Suppose 2*q = 3*q + j*a - 2, 8 = q + 3*a. Is q a multiple of 17?
True
Let r = 14 - 12. Suppose -7 = o - 2*v, o + 3*v + r = 4*v. Is 33 a factor of ((-386)/(-6))/(1/o)?
False
Let w be (-2)/3*(47 + 22). Let b = 216 + w. Does 17 divide b?
True
Suppose -14*d = -12*d - 222. Suppose -d - 169 = -4*r. Let s = -19 + r. Is 17 a factor of s?
True
Let g be (-4)/(732/184 - 4). Let f = g + -168. Is 13 a factor of f?
False
Suppose -30*r = 26390 + 18010. Let c = r + 2855. Is 55 a factor of c?
True
Let w(a) = -20*a - 35. Suppose 2*o - 133 = -141. Is w(o) a multiple of 5?
True
Suppose 8*p + 152 + 8 = 0. Let v be 14/4*(-40)/(-70). Does 49 divide v/(24/1167) + (-15)/p?
True
Let u(d) = -4*d - 1. Let s(f) = -10*f - 4. Let n(i) = 3*s(i) - 5*u(i). Let h be 9/(-2)*4/3. Is n(h) a multiple of 6?
False
Let i be 17*((-5)/(-5) + 4). Suppose 4*o - 16 = -4*u + 92, -2*u + 45 = 5*o. Suppose -u*a + 29*a = -i. Is a a multiple of 36?
False
Suppose -309*v + 3000223 + 7518137 = 0. Does 74 divide v?
True
Let q(x) = -2*x**3 + 169*x**2 + 115*x - 400. Is 134 a factor of q(85)?
False
Suppose -4*z = -2*o - 3104, -z - 25*o = -30*o - 785. Does 45 divide z?
False
Let m(j) = -10*j**2 + 5*j + 31. Let c = 107 - 112. Let k be m(c). Let d = 399 + k. Is 51 a factor of d?
False
Suppose 26 = 4*b + 2*z + 10, 2*b - 4*z - 28 = 0. Does 7 divide 291/b - (3/2 + -2)?
True
Let r(y) = -762*y**3 - 2 + 11*y - 4 - 7*y**2 + 764*y**3. Does 15 divide r(6)?
True
Suppose -7*i = -10*i + m + 1433, -4*i - 5*m + 1936 = 0. Suppose -4*d - 5*s + 3724 - i = 0, -3*s = -4*d + 3269. Is 41 a factor of d?
False
Suppose 16 = u - 5*u, 1338 = d + 3*u. Let l = d - 958. Is l a multiple of 28?
True
Let y(r) = 28*r**2 - 26*r - 106. Let l be y(-7). Suppose -3*w = 4*a - 1460, 21*w - l = 18*w + 2*a. Is w a multiple of 22?
True
Suppose -3*r + r = 5*s - 701, 0 = -3*r - 6. Let v = s + -26. Does 59 divide v?
False
Let v(g) = 4*g**3 + 3*g**2 - 2*g. Let i be v(2). Let y be (-2)/(-5) + (-416)/i. Does 2 divide (-1)/((y/(-65))/(-2))?
False
Suppose 130*a = 91*a + 617526. Does 58 divide a?
True
Let i(n) = -n**2 - 5*n + 6. Let r be i(-6). Suppose -249*w = -255*w + 3768. Is 10 a factor of r + (w/16 - (-3)/4)?
True
Suppose a - 1745 = b - 3*b, -4*b - a = -3485. Does 10 divide b?
True
Let u(t) = 3*t**3 - 51*t**2 - 74*t + 88. Does 52 divide u(22)?
True
Suppose -p + 5*g = -16, -2*p + 4*p - g - 5 = 0. Let a be (p - (-2 + 5) - -3)*-18. Does 10 divide ((-2)/a)/(1/3)*147?
False
Suppose 184709 = 43*u - 70840. Does 32 divide u?
False
Let l = 66267 - 13397. Is 378 a factor of l?
False
Let z(l) = l**3 + 5*l**2 - 102*l - 179. Is 10 a factor of z(30)?
False
Let v = 341 - 296. Is ((-16)/((-48)/v))/((-3)/(-186)) a multiple of 45?
False
Let i = -649 + 653. Suppose -2*f + 2*l + 1084 = 0, 28*f = 25*f - i*l + 1640. Is f a multiple of 34?
True
Let q(v) = 9*v + 68. Let j be q(-7). Suppose 418 = j*x - 737. Is 8 a factor of x?
False
Suppose -4*u + 2370 = 2*g, 3*g + 3505 = 6*g - 4*u. Let w = g + -551. Is w a multiple of 16?
True
Let y(n) = 7*n + 5. Let o be y(-5). Suppose 0 = 18*s + s - 741. Let m = s + o. Does 9 divide m?
True
Let w = -2184 + 3264. Is 40 a factor of w?
True
Suppose -12*f + 40 = -260. Suppose -f = 6*i - 11*i. Suppose -40 = -3*n - c, -n - 5*c + c - i = 0. Is 8 a factor of n?
False
Is 13 a factor of 2/(-19) - 86948/(-38)?
True
Let i(t) = -t**3 - t**2 - 41*t + 1910. Is 75 a factor of i(0)?
False
Let l be (0 - -2) + ((-8)/(-4) - 1). Suppose 4*p - 16 = 0, -q - l*q + 852 = 3*p. Is q a multiple of 21?
True
Suppose 3676*b = 3677*b - 3*n - 1307, 0 = -2*b - n + 2628. Is 6 a factor of b?
False
Does 119 divide (-1)/(2/(-14263)) + (4 - 84/24)?
False
Suppose 338 - 2448 = -10*g. Let f = g + -25. Is f a multiple of 15?
False
Let f = -2514 + 9050. Is 152 a factor of f?
True
Suppose m - 7 = -2*c, 5*c - c - 3*m = -1. Let x be (0 - (c - 1)) + (-6 - -11). Suppose -x*o + 13*o = 801. Is 9 a factor of o?
False
Suppose -85 + 31 = -18*p. Suppose 4*o - p*f = 576, 4*o + 2*f - 513 = 63. Is o a multiple of 34?
False
Let x(o) be the first derivative of o**4/2 - 47*o**3/6 + 13*o**2/2 - 12. Let m(k) be the second derivative of x(k). Is 5 a factor of m(6)?
True
Let k = -20308 + 29050. Suppose k + 4002 = 18*x. Is 59 a factor of x?
True
Suppose -51*a = 4*a + 55*a - 1755490. Is a a multiple of 156?
False
Let y(s) = -2*s + 7. Let g be y(5). Let n = g + 8. Suppose -3*p + 644 = n*i - 4*p, -4 = -4*p. Does 17 divide i?
False
Let k = -7782 - -13936. Does 49 divide k?
False
Let a = 983 - 481. Let j = a - 425. Does 13 divide j?
False
Let r be 6/(-15) - ((-44)/10 - 1). Suppose m + 3*c = 177, -7*c + 10*c = -r*m + 897. Is 36 a factor of m?
True
Suppose 4*m - 27 - 5 = 0. Suppose -m*d = 793 + 95. Does 14 divide (d/(-1) - 1) + 0?
False
Let x(r) = 2*r**3 - 5*r