*n. Is 3 a factor of n?
True
Let f(j) = -j**3 - j**2 - j. Let z(t) = -12*t**3 - 12*t**2 - 4*t + 30. Let v(m) = -4*f(m) + z(m). Is 49 a factor of v(-6)?
True
Suppose 251*l = 62*l + 2811186. Is l a multiple of 74?
True
Let h(p) = p - 33. Let a(s) = -s - 1. Let o(c) = -3*a(c) - h(c). Let f be o(-17). Is f*19 + 1/((-2)/(-8)) a multiple of 6?
True
Is -20 + (62627 - 47) - 1/(-1 - -2) a multiple of 21?
True
Suppose -3*u = 4*v - 25125, u + 2*v = v + 8375. Is u a multiple of 25?
True
Suppose -q = -4*q + 24. Suppose q - 26 = 9*l. Is 23 a factor of (-603)/(-4) - l/8?
False
Suppose -4*g + 5*t + 832 = 0, 4*g - 4*t = -173 + 1005. Is 10 a factor of -4 - (g/130)/(2/(-130))?
True
Let p(f) = -3*f - 2*f**2 + 9*f**2 - 32 + 8 + f**2 + f**3. Let q be p(-8). Suppose 5*m - 437 = 5*h + 243, q = -3*m - h + 412. Is 42 a factor of m?
False
Let n be (-3 - -1)/((-2)/10). Suppose -y = -f - 2, -3*y - f + n = -8. Suppose y*x - 31 = -h + 2*h, x - 5*h - 11 = 0. Does 3 divide x?
True
Let d(y) be the second derivative of -55*y**3/6 - 33*y**2 + 2*y + 2. Does 11 divide d(-4)?
True
Let h(b) = 2*b**2 + 0*b - 1 + b - 30. Let o = 949 + -955. Does 4 divide h(o)?
False
Let f = 13624 - 12217. Is 36 a factor of f?
False
Let o = -114 - -118. Let z be (-15)/30*-86*o. Let j = -98 + z. Is j a multiple of 10?
False
Let f be -4*43 - -6*8/48. Let r = 84 - f. Is r a multiple of 11?
False
Suppose -2*k = 3*f - 20, -3*k - 5*f + 4 = -7*f. Let w(y) = 14*y**2 + 3*y - 2. Is 26 a factor of w(k)?
True
Suppose -18472 = -2*l - 2*l + 3*a + 2*a, 0 = 4*a. Is l a multiple of 5?
False
Let k be (0 + 1)*9/3. Suppose -k*l + 10*r = 5*r - 143, -160 = -4*l - r. Suppose 0 = 3*x - 28 - l. Is x a multiple of 2?
False
Suppose -s + 16 = -23. Let l = s + -21. Is 27 a factor of (l/7)/(4/84)?
True
Suppose -3*b = -u + 3341, 12*b + 6712 = 2*u + 16*b. Is 3 a factor of u?
False
Let n = -31316 - -60909. Is n a multiple of 89?
False
Suppose 33*z - 305106 + 100076 = -37*z. Does 29 divide z?
True
Let i = 389 - 686. Let a = i + -79. Let r = a + 567. Does 38 divide r?
False
Suppose 0 = -g - 2*l + 70408, -9*l + 211260 = 3*g - 12*l. Does 48 divide g?
True
Is (-6)/8*(-24)/99 + (-14533572)/(-6303) a multiple of 10?
False
Suppose -s + b = -7, -s + b = 5*b + 18. Suppose -2*u + 4*a = -3238, -3*u - s*a - 8111 = -8*u. Is 37 a factor of u?
False
Let b(w) = -74*w**3 + 3*w**2 + 10*w + 18. Let s = -230 - -228. Is b(s) a multiple of 43?
True
Let t(a) = -3*a**2 + 23*a - 7. Let v be t(5). Suppose -4*u - v = 4*c - 7*u, c - 2*u = -12. Is 27 a factor of (-4)/1 + (c - -253)?
True
Suppose 4*y - 8*y = 2*c, -4*c - 3*y + 15 = 0. Let t(q) = -13*q - 24. Let j be t(c). Let g = -76 - j. Does 8 divide g?
False
Suppose 4*o + 7578 = 2*d, 12093 + 6896 = 5*d + o. Does 63 divide d?
False
Suppose 2*n - a = 1619, 2*n - a - 1639 = -4*a. Is 29 a factor of n?
True
Suppose -r + 3*p = -357, -p - 627 - 112 = -2*r. Does 62 divide r?
True
Let o = -40 - -3. Let b be (-2*1/5)/(o/185). Does 31 divide 358*(-1 + 0)/(-4 + b)?
False
Let q be (-20)/(-3)*(-18)/(-12). Suppose 2*n = 10 + q. Suppose -o + 78 = 2*r, -2*o + r + n = -161. Is 12 a factor of o?
True
Let r(y) = 4*y - 46. Let v be 581/56 + (-6)/16. Let d be r(v). Does 13 divide (4/d)/(24/(-1404))?
True
Suppose -64*g + 18*g + 11500 = 0. Does 25 divide g?
True
Let o = -34 - 20. Let w = -26 - -26. Let c = w - o. Is 18 a factor of c?
True
Suppose 0*h = -2*h - 70. Let o = 45 + 186. Let s = o + h. Is s a multiple of 22?
False
Let n(v) = -62*v + 29. Let o(r) = 54*r - 23. Let p(l) = 6*n(l) + 7*o(l). Let g = -17 - -31. Is p(g) a multiple of 32?
False
Let r(k) be the first derivative of 33*k**3 - 9*k**2/2 - 22*k + 1. Is 14 a factor of r(-3)?
True
Let w be (-565 - -10 - (0 + 0)) + 0. Let j = w + 808. Is 9 a factor of j?
False
Let p = 17783 - 5329. Is 40 a factor of p?
False
Suppose -94*f = -127*f + 114048. Is 27 a factor of f?
True
Let x be -1 - 30/(-6) - (-76)/(-1). Let k = 93 + x. Does 7 divide (12/(-42)*-7)/(1/k)?
True
Suppose -49203 = 70*z - 557333. Is z a multiple of 119?
True
Suppose -2*d + 6812 = 3*g - 3791, -4*d = -8. Is g a multiple of 60?
False
Let c = -66 + 68. Suppose -4*f + 34 = 3*r, -3*r = 3*f - 34 - 5. Suppose 0 = 2*y + 5*z - 63, -c*y - 2*z = -3*y + r. Is 5 a factor of y?
False
Suppose 0 = -5*n + 8*u + 8992, 4*n - 4*u = -1109 + 8305. Is n a multiple of 6?
True
Let o be -3*2/3*(-372)/(-248). Suppose 0 = -5*a + a + 620. Is (6 - a)/(-5 - o - -1) a multiple of 19?
False
Let q(a) = 16*a**3 + 3*a**2 - 54*a + 453. Is 25 a factor of q(10)?
False
Suppose -4*r + 63 = -11*r. Let h(j) = -7*j - 57. Is h(r) a multiple of 6?
True
Let v(o) be the second derivative of -o**5/10 - 11*o**4/12 + 2*o**3/3 - 3*o**2 - 12*o. Let j = 125 - 132. Is v(j) a multiple of 17?
False
Let w = -1838 + 6868. Is w a multiple of 10?
True
Does 15 divide 321 - 307 - 2*-1703?
True
Let d(y) = -44*y - 24*y + 161*y - 35*y + 46. Is 20 a factor of d(13)?
True
Let c = -1654 - -2447. Let q = c + -341. Does 85 divide q?
False
Suppose -5*l + 10*l + 4*v = 47, 0 = -4*l + v + 25. Does 28 divide (l - 5) + 25/(-1)*-10?
True
Suppose -398671 = 43*d - 41*d - 93*d. Does 146 divide d?
False
Let m(p) be the third derivative of p**4/12 - 4*p**3 - 22*p**2. Let z be m(13). Suppose -h = -z*h + 186. Does 10 divide h?
False
Suppose 1891 = -13*k - 3296. Let q = -264 - k. Is 3 a factor of q?
True
Let w(a) = 33*a**3 - 2*a**2 - 13*a - 3. Let f = -63 + 60. Let s(o) = -16*o**3 + o**2 + 7*o + 1. Let n(u) = f*w(u) - 5*s(u). Is 38 a factor of n(-2)?
True
Let m = 1392 - -246. Does 9 divide m?
True
Suppose 5*n + 3*c - 190 = 0, 2*c - 6 + 57 = n. Suppose -n = -4*v - 4*k + 19, 0 = 4*v - 4*k - 92. Suppose -18*f + v*f = 24. Is 4 a factor of f?
True
Let f be 3 + 0 + 73 + 2. Suppose -f*n + 84*n - 1398 = 0. Is 7 a factor of n?
False
Let m(w) be the second derivative of w**4/2 - 16*w**3/3 - 3*w**2 - 91*w. Does 8 divide m(7)?
True
Let m be 24/(-18) + 3/9. Let z be ((-16)/(-20))/(m/(-185)). Is 14 a factor of (z/(-24) - -6) + (-2654)/(-12)?
False
Let g be (-10)/(-14) - (-6)/21. Let y(d) = d**2 + 1. Let f(x) = -3*x**2 - 3*x + 1. Let o(h) = g*f(h) + 2*y(h). Is 2 a factor of o(-3)?
False
Suppose 0 = -11*t + 8*t - 3*w + 1308, -t + 408 = 5*w. Is t a multiple of 117?
False
Let s(q) = 1344*q**2 + 36*q - 49. Is s(4) a multiple of 35?
False
Let g be 10 - 5*3/15. Suppose g*p = 49 - 283. Let h = p + 82. Is 28 a factor of h?
True
Suppose 3*c + 1683 = 12*g - 11*g, g + 5*c = 1675. Is g a multiple of 40?
True
Let i be (25/3)/((-2)/(-6)). Let p = -9406 - -9411. Suppose i = -p*m, 4*m - 7*m = -5*n + 280. Is n even?
False
Let o = 1680 - -1021. Is 73 a factor of o?
True
Does 5 divide ((-23)/(-2) - 9)*(2 - 4804/(-10))?
False
Let v(d) = -187*d**3 + 11*d**2 + 46*d - 9. Is 13 a factor of v(-4)?
False
Let x be 6/4*(2 + 132/(-18)). Let f be ((-144)/15)/(2/(-40)). Is 7 a factor of (14/x)/((-12)/f)?
True
Suppose -232*w + 224*w = -32. Suppose -h - 12 - 9 = -5*v, -2*v = -8. Is 17 a factor of (-2 + w)*174*h/(-4)?
False
Let a(r) = -8 + 5*r + 4*r + 4*r + 14. Let t(y) = -90*y - 42. Let c(m) = 15*a(m) + 2*t(m). Does 33 divide c(4)?
True
Suppose -9 + 1 = -f. Suppose f*y - 4*y - 16 = 0. Is 14 a factor of (y + -3 - -70)/1?
False
Let h be (-3 - 93/3 - -5)*-5. Let b = h + 54. Does 16 divide b?
False
Let s be (695 - 1 - 4) + 3. Let j = -677 + s. Is j a multiple of 11?
False
Is ((-21584)/40)/((-13)/195) a multiple of 114?
True
Suppose -2*p - 8 = -0*w - 4*w, 0 = -5*p - 5*w + 55. Suppose 0*x + l = -3*x + 1266, 2*l = -p. Is 26 a factor of x?
False
Let w be 150/18*(0 - -5 - 2). Suppose -w*c = -22220 - 530. Is 14 a factor of c?
True
Suppose 20 = 5*l - 4*l. Let f(t) = -t**3 + 21*t**2 - 13*t - 25. Let w be f(l). Let b = w + 20. Is b a multiple of 27?
True
Is 13 a factor of (17 - 17 - (-2 - 1301))/((-2)/(-6))?
False
Let f(x) = 16294*x - 7601. Does 72 divide f(3)?
False
Let b = 5176 - 3288. Let z = b - 1072. Is 48 a factor of z?
True
Let r(w) = 21*w**2 + 72*w - 27. Is 39 a factor of r(-8)?
True
Suppose 29340 + 103980 = 66*l. Is l a multiple of 4?
True
Is 13 a factor of (91/28)/(7 - 37962/5424)?
True
Let p = 42849 - 20913. Is p a multiple of 12?
True
Let o = -56 - -65. Let w(x) = -2*x + 22. Let f be w(o). Suppose 9*h - 700 = f*h. Does 35 divide h?
True
Suppose -448*x + 431*x + 434792 = 0. Is 92 a factor of x?
True
Suppose 24*h + 865 = s + 22*h, 4*s - h - 3488 = 0.