e -s = 5*t - 498. Is 14 a factor of t?
False
Suppose -19*s + 200 + 427 = 0. Suppose -s*v = -1568 - 214. Is 18 a factor of v?
True
Let l = 111 + -231. Let z be l/(-48) + (-18)/(-4). Suppose 2*o + 10 = 0, -s + z = 5*o + 2. Is 10 a factor of s?
True
Let a(h) = 102*h + 450. Is 33 a factor of a(70)?
True
Suppose 4*t - 9*t = -15, 2*p = -2*t + 58. Let k be (-4)/2 - -4 - 14. Let s = p - k. Is s a multiple of 19?
True
Suppose 2*s + 0 = 22. Suppose s*x - 15950 + 5390 = 0. Is 73 a factor of x?
False
Let h(y) = y**2 - 3*y + 3. Let w be h(2). Let u(n) = 29*n + 0 - 1 + 1 + w. Is 26 a factor of u(4)?
False
Let d be (-2 - -3 - 0)/(4/(-348)). Let p = d + 159. Is 72 a factor of p?
True
Let o(b) be the second derivative of b**5/40 + 13*b**4/12 - 8*b**3/3 + 10*b. Let g(n) be the second derivative of o(n). Is g(-6) even?
True
Suppose -13*y = 10*y - 14*y. Let t(l) = -3*l**3 + l**2 + 184. Is 23 a factor of t(y)?
True
Is 6 + (-34140)/(-21) + ((-32)/(-14) - 2) a multiple of 16?
True
Let b(o) = 7*o**2 + 84*o + 336. Let r be b(-5). Suppose -2*z = 3*z - 875. Suppose z - r = 2*c. Is 21 a factor of c?
True
Let j = -333 + 235. Let i = j - -146. Is i a multiple of 44?
False
Let w = 43 - -107. Let g = w + -98. Let m = g - 14. Is m a multiple of 15?
False
Let x = -9014 + 14029. Is 59 a factor of x?
True
Let s(a) = -30*a**2 + 22*a - 57. Let t(q) = 59*q**2 - 46*q + 113. Let m(y) = -5*s(y) - 2*t(y). Is m(4) a multiple of 26?
False
Let f = 2282 - 1151. Does 29 divide f?
True
Let w(p) = -5*p + 11. Let s be w(3). Let o(x) = -5*x**2 + 5*x + 16. Let c be o(s). Let f = 60 - c. Is 18 a factor of f?
True
Let z(i) = -i**3 - 9*i**2 - 10*i - 8. Let j be z(-8). Suppose -45*g - 505 + 5937 = 52*g. Let h = g + j. Is 36 a factor of h?
False
Let z = 255 - 273. Is (-4)/18*1 + (-17158)/z a multiple of 37?
False
Suppose h = -14 + 18. Is (h/8)/((-8)/(-2224)) a multiple of 9?
False
Let w(r) = r**3 + 10*r**2 - 8*r + 53. Let x = 921 - 931. Is w(x) a multiple of 2?
False
Suppose 1905 = 87*h - 2793. Is h a multiple of 2?
True
Suppose 2*b + 0*n + 5 = 3*n, -9 = 5*b - 4*n. Let d(f) = 4*f**2 - 5*f - 4. Let c be d(b). Suppose 20 = -4*u, -o + c*u + 312 = -0*u. Does 49 divide o?
False
Suppose 3*q - 2*y = 3*y - 81, 0 = 5*q + 3*y + 101. Let w = 25 + q. Suppose 2*v = h - 24 - 14, w*h + v = 121. Does 4 divide h?
True
Suppose 57 = 2*w + 3*w + 4*a, a - 24 = -2*w. Suppose 6*o = -w*o + 9158. Does 27 divide o?
False
Suppose 0 = -2*l + 28 - 4. Suppose 3*p - j - 209 = 0, -75 = -p - j - l. Is 4 a factor of p?
True
Let t(h) = 327*h**3 + h**2 - 2. Let o be t(1). Suppose 4*d = i + 528 + o, -5*d + i = -1067. Does 11 divide d?
False
Suppose 4*n + 191 = -b + 668, -2*n = 2*b - 234. Does 59 divide n - (3 - (0 + 1))?
True
Let t(b) = b**3 - 24*b**2 - 25*b + 11. Let d be t(25). Suppose -10*w + d*w = 3. Is 2 a factor of w?
False
Let x = 228 + -225. Suppose -u - x*m - 7 = -267, -2*u = 3*m - 523. Does 58 divide u?
False
Let p = -414 - -413. Is (383 - 22) + (p - 0) a multiple of 12?
True
Let m(l) = -5*l**3 - 10*l**2 + 11*l + 11. Let t(c) = 6*c**3 + 11*c**2 - 10*c - 13. Let w(y) = -4*m(y) - 3*t(y). Is 7 a factor of w(3)?
True
Let t(z) = -z**2 + 15*z - 54. Let n be t(6). Is 2 a factor of (2 + -4 + n)/((-4)/54)?
False
Let f be (2967/2)/((-86)/172). Let z = -2093 - f. Does 38 divide z?
True
Let l = -882 + 2418. Suppose -13*g = -g - l. Let o = g - 104. Does 6 divide o?
True
Let u be 5 - (5 + -2) - -248. Suppose -y + u = -14. Does 22 divide y?
True
Suppose -407*c - 11 + 311 = -406*c. Does 150 divide c?
True
Let w(k) = -2*k**3 - k**2 + k - 9. Suppose -d + 5 = -2*o, -4*o - 16 = -0*d - 4*d. Suppose -t - q - 9 = 0, 3*t - 2*q = q + d. Does 19 divide w(t)?
False
Let b(i) = 2*i**2 - 11*i - 28. Suppose u + 5*n - 45 = 0, -u + 4*u - 55 = n. Does 23 divide b(u)?
True
Suppose 3*k + 3*y = 18510, 7*y - 8*y + 18520 = 3*k. Is k a multiple of 19?
True
Let n(s) = -s**2 - 31*s - 15. Suppose 189*t - 187*t = -32. Does 13 divide n(t)?
False
Suppose -3*j = 3*f + 9, -5*f - 31 = -3*j - 0*j. Suppose j*t - 2*t + 5*t = 0. Suppose t = 6*z + 92 - 1058. Does 23 divide z?
True
Suppose 1 = -3*r + 7. Suppose 5*n - 4 = -2*g, -2*g = -3*n - r - 2. Is 14 a factor of 183 + 2*((-1)/g + 0)?
True
Is 57 a factor of 76*(-22)/(880/(-180))?
True
Suppose -2*s - 20845 = -3*f, -48*f - 41739 = -54*f - 3*s. Is 8 a factor of f?
False
Let j = 8913 + -4355. Is j a multiple of 39?
False
Suppose 326500 = 18*w - 148565 - 118647. Is w a multiple of 152?
True
Suppose o - 4*k = -9*k + 18, -3*o = -4*k + 3. Suppose -o*v + 178 = 4*t - 831, 2*t = -4*v + 492. Does 6 divide t?
False
Let q = 23475 - -4836. Is q a multiple of 54?
False
Let d be (2930/(-15))/(8/12). Let v = d - -185. Does 27 divide (-3)/(((-15)/v)/(-5))?
True
Suppose 2*g - 4*j + 6*j = 682, -j + 677 = 2*g. Suppose 20*l + g = 24*l. Is l a multiple of 49?
False
Let w(y) = y**3 + 4*y**2 - 7*y - 2. Suppose 4 = r + 9. Let l be w(r). Suppose -l + 83 = 3*n. Does 5 divide n?
True
Let u(i) = 16*i**2 + 3*i + 73. Let w(q) = 17*q**2 + q + 73. Let x(s) = 4*u(s) - 3*w(s). Is 13 a factor of x(-9)?
False
Let h(d) be the third derivative of -1/10*d**5 + 3/2*d**3 + 1/24*d**4 + 0 - 1/120*d**6 + 3*d**2 + 0*d. Is 15 a factor of h(-7)?
False
Let k be -7*(-1 - 12/(-21)). Suppose -a - k*a = -216. Suppose 0 = -50*b + a*b - 916. Is b a multiple of 22?
False
Suppose -22*c + 19*c = 3*p - 1821, 5*p = -30. Is c even?
False
Let a(p) = -8*p - 1. Let o be a(0). Let r be (-5 - 28/(-4))*(2 + o). Let x(j) = -j**2 + 2*j + 3. Is 2 a factor of x(r)?
False
Let i(h) = -4*h**2 + 13. Let f be i(-3). Let n = 34 + f. Let l = 98 - n. Is 29 a factor of l?
True
Suppose 51 = 6*z + 39. Suppose -z*l + 5*v = -347, 109 = l + 2*v - 87. Is 8 a factor of l?
False
Suppose -32 = -4*k - 28. Let z be -2 + k - 0 - -51. Suppose z + 19 = 3*t. Is 23 a factor of t?
True
Let t(z) = -z**3 - 4*z**2 + 3*z - 5. Let h be t(-5). Suppose -2*q + c - 412 = h*c, -4*q = 2*c + 794. Let f = 292 + q. Is f a multiple of 24?
True
Let c(r) = 6*r**2 + r + 2. Let d be c(0). Let v(y) = 18*y**3 - 10*y**2 + 3*y. Does 55 divide v(d)?
True
Let k(a) = -a**2 + 18*a + 62. Let x be k(21). Is 134/8 - x/4 a multiple of 6?
False
Let a(d) = 22*d**2 - 41*d - 657. Is 116 a factor of a(-14)?
False
Let j be ((-24)/(-4) - 4)*(2 + -3). Is ((-320)/14)/(j/28) a multiple of 15?
False
Let y(a) = -a**3 - 3*a**2 - 11*a + 28. Let j be y(2). Let c(w) = w**3 + 16*w**2 + 20*w + 20. Does 12 divide c(j)?
True
Suppose -38*x + 54 = -36*x. Suppose 30*m - x*m = 0. Suppose -5*l - 3*s + 271 = 0, -5*s + 97 = -m*l + 2*l. Is 11 a factor of l?
False
Let p = -131 - -135. Let a be 6/p + (52/8 - 7). Does 3 divide 1*9/(a*(2 + -1))?
True
Let d be (-6)/27 + (-8)/(-36). Suppose -5*u - r + 12 = -3, d = 4*u + 3*r - 12. Suppose u*o + 4*l - 202 = 0, -o + 5*l = 2*o - 220. Is 14 a factor of o?
True
Let b(r) = -282*r + 816. Is 18 a factor of b(-16)?
True
Let y be -1 + ((-3972)/10)/((-6)/15). Suppose 97*o = 95*o + y. Is 16 a factor of o?
True
Let t(f) = -2*f**2 - 2 - 4*f**2 + 0*f + 21*f + 5*f**2. Let h be t(20). Suppose h*p - 36 = 16*p. Is p a multiple of 4?
False
Suppose -2*n + 16 = -20. Suppose 0 = -n*g + 50*g - 19840. Does 42 divide g?
False
Let t(m) = -21*m + 10. Let o be t(-15). Suppose o + 143 = 2*d. Suppose -5*p - 19 = -d. Does 8 divide p?
False
Suppose 156324 = 18*s + 24*s. Is s a multiple of 106?
False
Let y(a) = -a**3 + 5*a**2 + 5*a - 1. Let s be y(6). Let z(n) = 3*n**2 + 9*n + 13. Is z(s) a multiple of 97?
True
Let n be (2/3)/(-8 + (-13395)/(-1674)). Let p = n + -140. Is p a multiple of 29?
True
Suppose -136*j + 97*j = -122*j + 2198504. Does 86 divide j?
True
Is (-1474)/536*4/(-2)*8548 a multiple of 27?
False
Let k be (7/(-14))/(2 + 9/(-4)). Let z = 2 + k. Suppose 8*p - 302 = 4*p + 2*j, z*p + 2*j = 298. Is 15 a factor of p?
True
Let k = 213 - 211. Suppose -k*z - r - 715 = -3797, -z + 5*r = -1530. Is 35 a factor of z?
True
Suppose 0 = 35*x - 594554 + 224894 - 209555. Is 20 a factor of x?
False
Suppose 0 = -y - 0 + 2, 0 = 2*i + 2*y - 604. Let b = i - 171. Is b a multiple of 71?
False
Suppose -2*r - 1 = -3*r - l, -5*r - 35 = -3*l. Let i be -3*r/(-24) + 7/2. Suppose 4*x + i*c = -2*c + 475, 3*x - 363 = 3*c. Is x a multiple of 8?
True
Let a = -26 - -39. Let j(p) = -p**3 - 9*p**2 - 7*p + 13. Let n be j(-8). Suppose -a = -v - f, v - n*f + 26 = 3*v. Is v a multiple of 3?
False
