rue
Let y(p) = -379*p - 801. Is 29 a factor of y(-9)?
True
Let c = 4272 + -3628. Is c a multiple of 46?
True
Let h(j) = 26 + 3 + j + 10*j. Let o be (48/9 - (-1)/(-3)) + 0. Does 21 divide h(o)?
True
Suppose -a + 2 = -2*x + 6*x, -16 = 2*a - 2*x. Let f(h) = -h**3 - 7*h**2 - 9*h + 10. Is f(a) a multiple of 2?
True
Let u(p) = 4*p - 2. Let f(i) be the second derivative of -i**3/2 + i**2 + 22*i. Let t(d) = -2*f(d) - 3*u(d). Is 2 a factor of t(-3)?
True
Suppose 2*a + 3475 = 27*a. Suppose 5*q - 155 = -2*r, -247 + 6 = -3*r + q. Let t = a - r. Is t a multiple of 45?
False
Let t be 6 - (7 + -9 - 5). Suppose 0 = -t*v + 890 + 3296. Does 15 divide v?
False
Let d(n) = -4*n**3 + 4*n**2 + 53*n - 27. Is d(-11) a multiple of 46?
True
Does 10 divide 2948 - -12 - -11 - 11?
True
Suppose r - 3 = 0, 0 = 26*s - 23*s - 5*r - 2913. Does 8 divide s?
True
Suppose 12410 = b + 5*j, 0 = -6*b + 10*b + j - 49678. Suppose 0 = 8*m + 15*m - b. Is 60 a factor of m?
True
Let x = 12830 - 5664. Does 14 divide x?
False
Let z = -6286 + 8549. Is 101 a factor of z?
False
Is ((-121)/7 - (1 + -2))/((-943)/138621) a multiple of 14?
True
Let t(k) = -71*k + 2. Suppose -3*x + 12 = -4*a, 2*a + x + 8 = 3*x. Let v(u) = -3*u - 1. Let w be v(a). Does 8 divide t(w)?
False
Suppose 10*n - 13683 = 57727. Is 143 a factor of n?
False
Let h = 608 - 264. Suppose -1640 = -31*u + h. Is u a multiple of 8?
True
Let k = 8304 + -5790. Is 2 a factor of k?
True
Suppose -4*h + 29740 = 4*b, 37175 = 29*b - 24*b - h. Is 29 a factor of b?
False
Suppose 12 = 2*c - 0*c. Suppose -10*v = -c*v - 20. Suppose -v*w + 945 = 4*w. Is 15 a factor of w?
True
Let w(c) be the first derivative of -c**4/4 - 2*c**3/3 + c**2/2 + 63*c + 12. Does 21 divide w(0)?
True
Suppose -3*v + 5*q + 3 = 2, 5*v = -4*q + 14. Let g be v/7 - 7337/77. Is (-15)/5 - -1 - g a multiple of 13?
False
Suppose 17834*h - 840999 = 17803*h. Is 26 a factor of h?
False
Suppose -331*s + 4582430 + 14172223 = 5125728. Is 75 a factor of s?
True
Let k = 3316 - 1697. Is k a multiple of 23?
False
Is 36 a factor of 336*(778/7 + 8)?
True
Suppose -i + 6452 = 2*o, -5*o - 5 = -10. Is 43 a factor of (i/(-12))/5*-10?
True
Suppose -35*b = -24*b - 22*b + 127820. Is b a multiple of 10?
True
Let l be ((2 - 6)*-1)/(16/12). Suppose -74 = -0*n - l*n - d, -d = 1. Does 4 divide n?
False
Is 29 a factor of (14268/(-615))/(1479/495 + -3)?
True
Suppose -5*o + 3725 = 4*v, -78*v - 4*o + 4654 = -73*v. Is v a multiple of 30?
True
Suppose 0 = -2*w - 2*d + 40, w = 4*d - 3 + 13. Let p(s) = s**3 - 17*s**2 - 16*s + 24. Is p(w) a multiple of 20?
True
Let i = 553 - 552. Is -6 - (151*i)/(-14 - -13) a multiple of 20?
False
Suppose 0 = -32*y + 4 - 4. Suppose 4*p = p + 5*v + 463, p - 4*v - 152 = y. Is p a multiple of 12?
True
Let u be ((-4)/10)/(10 - (-2985)/(-300)). Does 47 divide u/(-6) + 106927/69?
True
Let q(w) = -7*w - 14*w**3 - 5*w**2 - 8*w + 8 - 16*w + 17*w**3. Is 9 a factor of q(8)?
False
Let t(h) = 606*h - 8906. Is 293 a factor of t(48)?
False
Suppose -5*h = -10*h + 3*v + 21292, 2*h + 5*v = 8492. Suppose -h = 12*l - 16*l + 5*q, -3*l + 5*q = -3192. Does 52 divide l?
False
Let n be (2/1)/2*-101. Let s(g) = -29*g - 938. Let p be s(-30). Let d = p - n. Does 3 divide d?
True
Let n = -44 + 12. Let j = n - -22. Does 16 divide 2/4 + ((-755)/j - -4)?
True
Is -2735*(-21)/35 - -2 a multiple of 7?
False
Is 20 a factor of 546/28*(-3)/(9/(-6680))?
True
Suppose -215*n + 221*n - 7680 = 0. Is n a multiple of 4?
True
Let m = 113 + -118. Is 13 a factor of (m + 799)*(-4)/(-8)?
False
Let j be (-1432)/(-6) - 4 - 28/(-21). Let p = j - 219. Is 3 a factor of p?
False
Suppose -15*a + 9*a = -48. Suppose 0 = -2*f - 0 + a. Suppose -2*n - 1 = 3*q - 85, -n + 117 = f*q. Is 10 a factor of q?
True
Let l = 33 - -14. Let k = 127 - l. Let g = k - 36. Is g a multiple of 11?
True
Let i(f) = -f**2 + 22*f - 11. Let h be i(13). Suppose 4*s - 112 = -4*y - 312, -2*y - h = 4*s. Let t = y - -83. Is 10 a factor of t?
False
Let c be 1 + 2 - 6 - 109. Let g = c - -63. Let n = g - -141. Is n a multiple of 23?
True
Let y = -800 - -996. Suppose 5*l = 2*o - 123, -8*o + y = -5*o + 4*l. Is 34 a factor of o?
False
Let v(b) = b**2 + 30*b - 400. Let p be v(10). Let j(t) = 151*t - 6. Let r be j(6). Suppose 7*z + 3*z - r = p. Is 15 a factor of z?
True
Let d(g) = 5*g + 61. Let z(v) = v**3 - 6*v**2 - 7*v + 7. Let u be z(7). Is 22 a factor of d(u)?
False
Let n be -1 - ((-25)/(-10))/(-1) - 10230/44. Let r be ((-42)/4)/((-6)/(-88)). Let p = r - n. Does 7 divide p?
True
Let c(d) = 973*d**2 - 133*d + 865. Is 47 a factor of c(6)?
False
Suppose -68*n + 7*n = 42*n - 617382. Is n a multiple of 37?
True
Is -1 - 40964/(-40) - (-12)/(-120) a multiple of 33?
True
Let d(s) = -s**3 + 5*s**2 - 8*s + 7. Let m be d(4). Let n(j) = -j**3 - 6*j**2 + 24*j + 9. Is n(m) a multiple of 3?
True
Let c(l) = -2*l**3 - 5*l**2 + 8*l + 3. Is c(-5) even?
True
Suppose 629*t - 20981008 = -51*t - 14*t. Does 42 divide t?
False
Suppose -76782 - 20178 = -48*d. Does 17 divide d?
False
Let x(c) = 1181*c + 49. Let w be x(5). Suppose 7*r = -2216 + w. Is 6 a factor of r?
True
Let v(u) = -529*u + 1024. Is v(-10) a multiple of 82?
True
Suppose 3*c + 2617 - 10466 = l, 0 = -3*l - 3. Is 6 a factor of c?
True
Let l(z) = 2*z**2 - 2*z + 29. Let x be l(4). Does 10 divide (-4)/6 + (-8)/24 + x?
False
Let q = -62 + 62. Suppose q = 4*o - 2*o. Suppose -17*d + 8*d + 360 = o. Is 10 a factor of d?
True
Suppose -4993 = 16*k + 11311. Let l = k + 1747. Does 28 divide l?
True
Let v(y) = -y**3 + 64*y**2 - 67*y + 278. Let c be v(63). Suppose -5*d + 31 = -3*l, -4*l + 0 - 3 = d. Is 2 a factor of c*(l/((-12)/(-9)) - -2)?
False
Let y = -30 - -32. Let p be y + (1 - -1 - 0). Suppose -32 = -p*j + 132. Is 28 a factor of j?
False
Let a = 14835 - 9771. Does 6 divide a?
True
Suppose 0 = 4*v - 9*v + 85. Suppose -3*g = -q - 2 + v, -2*q - 6 = 3*g. Suppose -6 = -q*z, -342 = -5*d - 5*z - 72. Is d a multiple of 26?
True
Suppose 18*l + 0*l - 108 = 0. Does 9 divide ((-4)/6)/(l/(-3645))?
True
Let i = 242 + -240. Suppose -i*h + 32*h = 4140. Is 6 a factor of h?
True
Suppose 0 = 5*l + 435739 - 1345664. Suppose 0 = -11*x - 75965 - l. Is 31 a factor of x/(-126) - 2/18?
True
Is -5*(-4)/(-10) - (-5 + -2879) a multiple of 33?
False
Is 62 a factor of (3/((-15)/16))/((-312)/102960)?
False
Let g = -538 - -408. Is 10 a factor of (g/(-39))/(2/285)?
False
Let w(d) = 72*d - 3845. Is 11 a factor of w(78)?
True
Let m be (-8 - (-505)/10) + 9/6. Suppose 5*h + 2*i = 3885, m*h = 39*h - i + 3885. Is h a multiple of 37?
True
Let t = 27362 - 19068. Is t a multiple of 11?
True
Let g(f) = 116*f**2 + 102*f**2 - 3 + 116*f**2 + 7*f + 10 + 0*f. Is g(-1) a multiple of 11?
False
Let z be ((-6)/(-9))/((-1)/(-198)). Suppose -9*u - 11*u = -1620. Let k = z - u. Does 16 divide k?
False
Suppose 33*s = -24*s - 93*s + 6847050. Is s a multiple of 104?
False
Let w = 548 + 1967. Does 11 divide w?
False
Suppose 3*l + 216 = -3*y, 3*l - 162 = 3*y + 78. Suppose 5*i + 4*r = 6*r - 222, i + 48 = 4*r. Let k = i - y. Is 7 a factor of k?
False
Let v = -39598 + 55561. Is 9 a factor of v?
False
Let l(d) = d**2 + 0*d - d**3 + 4*d + 4 - 11*d + 4*d. Let b be l(0). Suppose -585 = a - b*a. Does 13 divide a?
True
Suppose -35*o - 66528 = 151*o - 661728. Does 138 divide o?
False
Let a = -75 + 125. Let r be (4*45/a)/(4/10). Is 3 a factor of ((-3)/(-2))/(r/84)?
False
Let h be 0 + (-5455)/(-10) + 6/(-4). Is (h/(-20))/(30/(-375)) a multiple of 68?
True
Let h(m) = 5*m**2 - 3*m + 16. Suppose 17 = 6*k - 7. Is 65 a factor of h(k)?
False
Let u = 6 - -5. Let g be (-2)/8 + u/44. Suppose g = 2*h - b - 26, -8 = -2*h - 3*b + 26. Is 13 a factor of h?
False
Let j be (-3)/4 - 5/20*-319. Let u = j - -3. Let d = -33 + u. Is d a multiple of 49?
True
Let q(g) = 127*g - 1789. Is 3 a factor of q(28)?
True
Let r = -11 - -12. Let v be (112/21)/(r/36). Let t = v - 69. Is 28 a factor of t?
False
Let z(f) = -5*f**3 + 141*f**2 - 47*f + 39. Is z(27) a multiple of 6?
True
Let j = -283 - -265. Let d(y) = y**3 + 21*y**2 + 37*y + 36. Does 20 divide d(j)?
False
Let w(a) = 2*a - 15. Let x be w(11). Suppose 7*z - 14 = -x*z. Is 13 a factor of (-18)/z*156/(-18)?
True
Suppose -5*r + m + m + 12 = 0, -r = 5*m + 3. Let z(x) = 3*x**2 - 29*x + 9. Let w be z(13). Suppose r*s - w = 133. Is 13 a factor of s?
False
Let f = 2143 - -11305. Is f a multiple o