e
Suppose -3*a - 798 = -1716. Is a a multiple of 6?
True
Let w(f) = 832*f + 2274. Is w(27) a multiple of 93?
True
Let s(j) be the first derivative of 55*j**3/3 + j**2 - 6*j - 16. Let n be s(3). Suppose 7*y - n = 2*y. Is y a multiple of 33?
True
Suppose -12*k + 572 = -544. Let w = k - 84. Suppose -45 = -l + w. Does 9 divide l?
True
Let h = -45 - -50. Let q be 3/18 + h/(-30). Suppose q = 2*x - 20 - 8. Is 7 a factor of x?
True
Let p(u) be the second derivative of 4*u**4/3 + u**3/3 - u**2 + 117*u. Suppose -2*a - 2 = -a. Does 11 divide p(a)?
False
Let o(l) = -19054*l + 1074. Is o(-1) a multiple of 32?
True
Suppose 0 = -23*h + 13963 + 16305. Is 26 a factor of h?
False
Suppose -2 = 2*n, -n = -2*x - 3*x + 22076. Suppose 0 = -31*i + 26*i - x. Let d = -620 - i. Is 16 a factor of d?
False
Suppose 0*m + 4*c = 3*m + 3377, 3*c + 4511 = -4*m. Let t = m + 1860. Does 11 divide t?
False
Suppose -28*i - 16*i + 1100 = 0. Suppose 3*u - 21 - 7 = 4*t, -u - 14 = 2*t. Let o = i + t. Does 3 divide o?
True
Let t(j) = -j**2 - 1 - 14*j - 12*j + 4. Suppose -2*z - 25 = -g, -z - 17 - 3 = g. Is 21 a factor of t(z)?
True
Let i(g) = g**3 - 3*g**2 + 2*g + 2. Let q be i(3). Let j = -8 + q. Suppose 4*c + 2*t = 3*t + 296, j = -5*t. Is 18 a factor of c?
False
Let f(w) = 17*w + 7. Let t be 4*(-2 + 21/6). Let j be f(t). Suppose -3*r + j + 140 = 0. Is r a multiple of 17?
False
Let x = 35130 + -32220. Is x a multiple of 194?
True
Suppose 0 = 4*k - 5*k + 13. Let a(w) = 6 + 30*w - 12*w**2 + w**3 - 5*w - 13*w - 13*w - 11*w. Is 19 a factor of a(k)?
True
Let a(w) = 30*w - 17 + 143 + 19 + 62 - 24. Does 11 divide a(18)?
False
Suppose 5*c - 168 = 187. Suppose 8*q = -c + 23. Is 12 a factor of (-4)/q - 426/(-9)?
True
Is (-6 - 0)*(2211/(-6) + -2) a multiple of 105?
False
Let u(z) = z**2 - 5*z + 4. Suppose -14 = -d - 10. Let r be u(d). Suppose 10*f - 900 - 220 = r. Does 28 divide f?
True
Let q = -5060 - -9185. Does 25 divide q?
True
Suppose s - 77 = -r, -s - s - 10 = 0. Suppose -4*f = -20, r + 120 = 2*u + 2*f. Does 16 divide u?
True
Is (-25)/(75/(-24)) + 44461 + 5 a multiple of 14?
False
Suppose 10147 - 19624 = -4*u + 23803. Is u a multiple of 16?
True
Let c = -7198 + 8343. Is c a multiple of 5?
True
Let q(t) = 112*t - 2. Let z be q(-3). Suppose 6*a = 3572 - 494. Let s = z + a. Is s a multiple of 16?
False
Let z be 4/1 + 1*-2. Suppose p = -4*x + 45, -20 = -z*x - 2*p - 2. Does 29 divide -6*(4/x + 0) - -118?
True
Suppose 3*r + 4*s - s = 18495, -3*s = 5*r - 30831. Suppose 5*n - 6900 = -3*w, -3*w = -5*n + 702 + r. Is 81 a factor of n?
True
Let q = 14706 - 11174. Is 37 a factor of q?
False
Suppose -2*m = -4*c + 4, -11 = 2*m - 5*c - 4. Suppose 4*g + 40 - m = 5*v, 2*g = -8. Suppose -v*b + 89 - 21 = 0. Is 17 a factor of b?
True
Suppose 5*u + 4 = 6*u. Let w be (-6)/(-2) + u + -1 + -2. Suppose 0 = -w*v + 242 + 238. Is v a multiple of 20?
True
Suppose 30*k - 10281 - 449244 = -47325. Is k even?
True
Let a(k) = -2627*k**3 + 5*k**2 + k - 6. Let x be a(-3). Suppose 44*c + 23445 - x = 0. Is 12 a factor of c?
True
Suppose 0*x + 3*x - l = 5, 3*l - 9 = x. Suppose -x*u = -7*u + 8. Suppose -f + 88 = 2*w, 0*w + 2*f - 86 = -u*w. Is w a multiple of 13?
False
Let k = 543 + -781. Let p = k - -463. Is 75 a factor of p?
True
Suppose 4*h = -8*r + 95928, -4*r = -5*h + 12305 + 107549. Is h a multiple of 19?
False
Let m(j) = 7*j - 88. Let s be m(18). Suppose 0 = -33*o + s*o - 105. Is 8 a factor of o?
False
Let s(d) = -33*d - 7. Suppose 2*v + 17 = -5*x, -33 = -0*v + 5*v + 3*x. Let m(j) = 34*j + 7. Let n(b) = v*m(b) - 5*s(b). Is 26 a factor of n(-4)?
False
Let o(z) = z**3 + 2*z**2 - 5*z - 2. Let g be o(-3). Let k = -2046 - -2048. Suppose -k*c - g*j + 76 = 0, -3*j + 98 + 7 = 3*c. Is c a multiple of 4?
True
Let x = -36242 - -79694. Is 34 a factor of x?
True
Let s(b) = -10*b**2 - 29*b + 3. Let z be s(-3). Suppose k - 148 - 62 = z. Does 21 divide k?
True
Suppose -9*o + 6 = -12. Suppose o*v - b + 11 = 43, -2*v = -4*b - 44. Suppose -8*g - 450 = -v*g. Is 16 a factor of g?
False
Suppose -m - 2*m = 2*p - 165, m = -5*p + 380. Let n = p + 62. Suppose n = 2*i - 129. Is 19 a factor of i?
True
Let w = -8158 + 18000. Does 74 divide w?
True
Suppose 221 = 5*w - 804. Let o = 301 - w. Does 14 divide (o/15)/(18/225)?
False
Let r(z) = -z**3 + 15*z**2 + 8*z + 35. Let j be r(16). Let b = -71 - j. Is b a multiple of 22?
True
Let p = -5349 + 10079. Does 86 divide p?
True
Let r be 4/(-16) - 147/(-28). Suppose 2156 = r*z - 2*k, 5*z + 2*k + 3*k - 2170 = 0. Is z a multiple of 27?
True
Let p = 115 + -110. Suppose p*q = 2*r - 1324, -2*r - q = -2*q - 1340. Does 65 divide r?
False
Let w(q) = -q + 6. Let f be w(9). Let p be (-21 - 0)/f*26. Suppose -l = l - p. Is l a multiple of 13?
True
Let x be (-8)/3*30/4. Let c be (22/6 - -1)/((-150)/225). Let b = c - x. Does 7 divide b?
False
Let s(a) = -53*a**3 - 1. Let t be (-8 - -11)*(-2)/6. Let r be s(t). Let k = r + -22. Does 10 divide k?
True
Let q(z) = 310*z**2 - 22*z - 62. Is 18 a factor of q(-4)?
True
Suppose 0 = 6*r - 16*r + 2760. Is 27 a factor of (-4)/12*-3*r*1?
False
Suppose -3*m - 3*y = -18 - 24, -29 = -m + 4*y. Let q = m - 13. Suppose q*r - 9*r = -180. Does 6 divide r?
True
Let y(i) = 4*i + 1. Let p(k) = -99*k - 74. Let a(w) = -2*p(w) - 14*y(w). Is a(4) a multiple of 14?
False
Suppose -2*i + 78 = 4*i. Suppose -8*d + i*d = 445. Let o = d + -29. Is o a multiple of 20?
True
Let q = -22 + 15. Let y(i) = 6*i**2 + 13*i + 46. Is y(q) a multiple of 83?
True
Let z(a) = -a**2 - 14*a + 2. Let c be z(-14). Suppose 0*i + 16 = c*i. Does 20 divide 206/8 - (-2)/i?
False
Let a(k) = -33 + 83 - 345*k + 366*k. Is 11 a factor of a(14)?
False
Let k(g) = -17732*g + 1642. Is 17 a factor of k(-5)?
False
Let l(r) = 43*r**3 + 4*r**2 - 18*r + 6. Is l(4) a multiple of 11?
True
Let k be (4/7)/(6 + 287/(-49)). Let q = 1 + k. Let d = 46 - q. Is d a multiple of 8?
False
Suppose -5*k + 2481 = 2*y, -4*y = -k - 2566 - 2429. Does 39 divide y?
True
Does 60 divide (-24376566)/(-1195) - (-1)/5?
False
Suppose -259939 - 98937 = -49*d. Is 12 a factor of d?
False
Let k(r) = -r**2 + 17*r - 64. Let p be k(10). Suppose -p*w + 1402 = -1724. Does 8 divide w?
False
Suppose 146*g - 44 = 148*g. Let p(a) = -a**3 - 20*a**2 + 24*a - 41. Does 13 divide p(g)?
False
Let h = -2649 + 5703. Is h a multiple of 31?
False
Let c(b) = -39*b - 204. Is c(-8) a multiple of 23?
False
Let w be -4*(-3 + (1 - 3/(-6))). Is 28/(w/6) - (1 + -2) a multiple of 29?
True
Suppose -3*j - 22*v + 21*v = -11382, -v = 4*j - 15177. Is 5 a factor of j?
True
Suppose -361*l - 3*o + 13025 = -360*l, -4*o - 52196 = -4*l. Is l a multiple of 64?
False
Suppose 12830 = 33*f - 21490. Is f a multiple of 52?
True
Let o be 194228/32 + 3/8. Suppose -810 - o = -16*d. Is 7 a factor of d?
False
Is 75 a factor of ((-54)/252 - 6/21)*-3750?
True
Suppose -4*x + 21*x = 204. Suppose 0 = x*p - 1018 - 1718. Is 38 a factor of p?
True
Let n(a) = -68 + a**3 - 27*a**2 + 146*a + 134*a - 340*a. Is n(30) a multiple of 16?
True
Suppose 240413 = 6*z + 12*h - 17*h, 160259 = 4*z - h. Is 14 a factor of z?
False
Suppose 5*t - 8365 = 4*g + 3140, -5775 = 2*g + 5*t. Is ((-30)/4)/(45/g) a multiple of 8?
True
Let g(j) = -j**3 + 3*j**2 + 2*j + 9. Let c be g(4). Does 6 divide (-3140)/(-15)*c + 6/9?
True
Suppose -3*g - 3*p = -10 - 20, 44 = 2*g - 4*p. Let s(d) = 18*d + 138. Does 13 divide s(g)?
True
Let a be ((-21)/(-14))/(-3) + (-3148)/8. Let q = 430 + a. Does 9 divide q?
True
Let l = 256 - -273. Suppose 0 = 3*n - 5*c - 1078, 0 = 2*n - c - l - 178. Is n a multiple of 37?
False
Is (2*-8 + 3)/((48/(-3726))/8) a multiple of 8?
False
Suppose 10*i = 14*i - 336. Suppose i = 4*d + 336. Let m = d + 140. Is 11 a factor of m?
True
Let w(o) be the second derivative of -o**5/20 - 2*o**4/3 - 7*o**3/6 - 12*o. Let z be w(-7). Does 13 divide (z - (-13)/(-4))/(1/(-8))?
True
Suppose -7*i = -3*i - 48. Suppose -t = -0*t - i. Suppose t*g - 26 = 34. Is 2 a factor of g?
False
Let x = 48 + -162. Let c be (-1 - x/18) + 1/(-3). Suppose c*g = 1100 - 0. Is 16 a factor of g?
False
Let a(q) be the second derivative of -q**5/10 - q**4/12 - q**2 + 9*q. Let h be a(0). Does 21 divide -4 - (-92)/(4 + h)?
True
Let r = 13991 + -8583. Is 26 a factor of r?
True
Suppose -90*r + 51040 = -68840. Is r a multiple of 10?
False
Let o be 6/((-1)/(3 - 0) - -1). Suppose 3*i + o - 81 = 0.