+ 3*x - 26 = -s. Is x a multiple of 12?
True
Let w be (-315)/(-9) + (-1 - 1). Suppose 3*r = w + 303. Let i = r - 44. Is i a multiple of 17?
True
Let d = -7327 + 11107. Is 54 a factor of d?
True
Suppose m + d - 20792 = 0, 2*m - 36319 - 5267 = -3*d. Is 90 a factor of m?
True
Suppose 0 = 14*l - 52 - 32. Is 6 a factor of l - (-444)/4 - (0 + 1)?
False
Let u(b) = 4*b**2 - 8*b + 2. Let y be u(3). Suppose -308 = 3*x - y*x. Suppose -2*n + x = -5*s, 4*n - 28 = 2*n + 3*s. Does 8 divide n?
False
Let b = -255 - -364. Let j = 41 - b. Let h = -49 - j. Does 19 divide h?
True
Let m = 428 - -599. Let v = -691 + m. Does 14 divide v?
True
Let k(d) = -2*d + 10. Let c be k(7). Let q be 70/c*(-336)/20. Suppose -2*j = 4*v - q, v - 56 = j - 5*j. Does 38 divide v?
True
Let t(i) be the first derivative of -95*i**2 - 7*i + 19. Let n be t(-2). Suppose 2*q = -o + 52 + 133, n = 4*q + o. Does 17 divide q?
False
Let b = -328 - -499. Let j = 279 - b. Is j a multiple of 6?
True
Suppose 4*l = 5*w - 38858, -2*l + 7*l = 15. Is 7 a factor of w?
False
Let j be 380 + -34 + -1 + -2. Suppose s + x - j = 0, 0 = -x + 6*x. Is s a multiple of 12?
False
Let w(x) = -2*x**2 - 5 + 2*x**2 - x - x**2 + 4. Let o be w(0). Let a(p) = -24*p**3 + p. Does 6 divide a(o)?
False
Let v = 393 + -143. Let u(h) = -13 - 11 + 235*h - v*h. Is u(-6) a multiple of 22?
True
Is (37 - (-6 + 11 - 11))*17 a multiple of 17?
True
Let p(o) be the second derivative of -5*o**4/12 - 53*o**3/6 - 15*o**2/2 + 111*o. Is p(-10) even?
False
Let x(t) = -129*t**2 + 2*t + 4. Let b(s) = -259*s**2 + 3*s + 7. Let g(z) = 3*b(z) - 5*x(z). Let o be g(-1). Let w = o + 209. Is w a multiple of 17?
False
Let l(c) = 55*c + 5. Let d be l(0). Suppose -5*a = 13*m - 11*m - 2060, 2065 = d*a + m. Is 23 a factor of a?
True
Let q(g) be the first derivative of g**4/4 - 5*g**3 - 31*g**2/2 - 40*g + 59. Does 17 divide q(18)?
True
Suppose 0 = 22*x + 13*x - 627270. Is x a multiple of 29?
True
Let z(b) = -153*b - 724. Does 9 divide z(-11)?
False
Let i(w) = -w**3 + 5*w**2 + 6. Let t be i(5). Let r be (-36)/t*8/(-12). Let j(z) = 2*z**3 - 5*z**2 - 2*z. Does 12 divide j(r)?
False
Let k(d) = 17*d + 7. Suppose 3*i = 1 + 8. Let b be k(i). Let f = -53 + b. Is 4 a factor of f?
False
Suppose 67*w = 66*w + 7. Suppose -13*d + w*d + 126 = 0. Is (-2)/(-14)*-2 + 426/d a multiple of 4?
True
Let h be 1/(((-33)/(-24))/(-11)). Is (-4334)/h - (-115)/92 a multiple of 6?
False
Let l be (-9)/(-6)*(688/3 + 2). Suppose 0 = 4*m + 3*w - 697, -3*m + 2*w + 163 + l = 0. Is m a multiple of 46?
False
Let g(i) = -3*i**3 - 69*i**2 + 50*i - 31. Let a(m) = -2*m**3 - 36*m**2 + 25*m - 16. Let t(n) = -5*a(n) + 3*g(n). Is 31 a factor of t(27)?
False
Let g(b) = -3*b - 4. Let x be g(-4). Suppose 11*w - x*w - 132 = 0. Suppose -3*f + 2*f + w = -3*z, 2*z = 3*f - 104. Is 8 a factor of f?
True
Let m(w) = -2*w**3 - 19*w**2 + 11*w + 12. Let o be m(-10). Suppose -4*h - 3*f + o*f = -3327, 0 = -4*h + 5*f + 3333. Does 26 divide h?
True
Suppose -6*o + 8*o + 4*s = 22, -4*o + 16 = s. Does 2 divide (3 + (-8)/o)*267?
False
Let g be (-306)/(-2) - 3/(-12)*-4. Let o = -9 + g. Is o a multiple of 13?
True
Suppose 0 = -10*m - 2*m + 32256. Suppose 64*d - m = 52*d. Does 8 divide d?
True
Let z(p) = -719*p + 13. Let u be z(-5). Suppose 27*t - 19*t = u. Is 11 a factor of t?
True
Suppose -71*s + 623384 = -11*s - 148816. Is 5 a factor of s?
True
Suppose 0 = 2*j + 10, -2*j + 1468 = q - 282. Suppose 0 = 10*h + 10*h - q. Is 22 a factor of h?
True
Let s be (6/2)/(96/28 + -3). Let y(w) = w**2 - 7*w + 4. Let z be y(s). Let a = 16 - z. Is 3 a factor of a?
True
Suppose -63*p + 61*p = -u - 30372, -2*p + 3*u = -30380. Is 52 a factor of p?
True
Let m(k) = -21*k - 41. Let n be (3 - 4)/((-3)/(-6)). Let q = n - 3. Is 13 a factor of m(q)?
False
Suppose 25079 = 5*n + 4*l, 5*n - 5*l - 18925 - 6190 = 0. Is n even?
False
Suppose -3*w - 4*u = -153, -3*w + 2*w + 4*u + 67 = 0. Let f = -54 + w. Is 112/(-6)*f*(-18)/4 a multiple of 14?
True
Let p be (-3)/(-6) - (-1401)/6. Let u = -152 + p. Let c = -30 + u. Does 13 divide c?
True
Does 114 divide (-10 + 37)*-1*-342?
True
Let c = -426 + 263. Let d = 325 + c. Suppose 50 - d = -4*m. Is m a multiple of 7?
True
Suppose x = 4*x. Let g(s) = -s - 53. Let d be g(x). Let o = d + 91. Is 8 a factor of o?
False
Let i be (-2423)/((8 + -7)/(-1)). Suppose 0 = 2*q - 4*q - 3*c + 1614, -i = -3*q - 5*c. Is q a multiple of 34?
False
Suppose -110*d - 29*d = -2439589. Is d a multiple of 29?
False
Let k be 2 - 3/((-3)/(-16)). Suppose 335 = 7*q + 97. Let n = k + q. Is n a multiple of 9?
False
Let u(o) = o**3 + 56*o**2 + 322*o + 25. Is u(-32) a multiple of 39?
False
Let i(t) = -t**3 + 3*t**2 - 5*t + 4. Let u be i(2). Is 256848/264 - u/22 a multiple of 70?
False
Let c = -813 + 818. Suppose -4*v - c*a + 2345 = 0, 20*a - 25 = 15*a. Is v a multiple of 20?
True
Let h(k) = 3*k**3 + 12*k**2 + 7*k + 15. Let j be h(-3). Suppose -j*p - 2*u = -20*p - 92, 3*p + 5*u - 272 = 0. Is 14 a factor of p?
True
Suppose 5*j = -4*f - 605, -2*j + f = -j + 112. Let y = j - -54. Let h = -49 - y. Does 2 divide h?
True
Let l = -147 + 151. Suppose -2*b + 1404 = l*b. Is 26 a factor of b?
True
Suppose -3167 + 587 = -30*m. Let l = 475 + m. Does 77 divide l?
False
Suppose -3*l + 4*o + 671 = 0, -l + 3*o + 221 = -o. Let t = l - 9. Is t a multiple of 11?
False
Suppose -3*p + 4*z = -3928, 3*p + 4*z - 3219 - 677 = 0. Is 3 a factor of p?
False
Let u be (-298)/(-3) - (-5)/(-15). Suppose 2*a - 587 = -5*x, 8*x - 7*x + 5*a = u. Is x a multiple of 7?
True
Let u = 126 + -41. Suppose 86*n - 281 = u*n. Is 13 a factor of n?
False
Let q(o) = 17*o**2 - 6*o - 4. Let l(f) = -f**3 + 4*f**2 - 3*f + 1. Let s be l(2). Suppose -4*w + 2 = k, k + s*w = 2*k + 5. Is 19 a factor of q(k)?
True
Suppose -41809 = -16*s + 173653 - 58454. Is 10 a factor of s?
False
Let p = -3175 - -3878. Is p a multiple of 8?
False
Let j(g) = 13 + 19 + 27*g + 5 + 33. Is 7 a factor of j(7)?
True
Suppose 0 = 2*r + t - 2427, -4*t + 6*t = 4*r - 4874. Is 152 a factor of r?
True
Let z be 1391/(-195) - (-2)/15. Let h(b) = -6*b + 8. Let y be h(z). Does 6 divide (-20)/y*(0 - 90)?
True
Let a be (-4923)/6*(3 + 88/(-24)). Suppose -5*q + 923 = -a. Is 3 a factor of q?
True
Is 10/(450/329229) - 2/10 a multiple of 53?
False
Let n = 5108 + 699. Is n a multiple of 27?
False
Suppose -14*u + 23*u - 90 = 0. Let d = 13 - 0. Suppose u*h - d*h = -102. Is h a multiple of 34?
True
Suppose -5*w = t - 5*t + 50, -3*t = 3*w + 3. Let u(k) = -3*k - 6 + 4*k**2 - 3*k**2 + 5*k. Is u(w) a multiple of 3?
True
Suppose -2*f = 3*f - 0*f. Let y(d) = 6*d. Let h be y(f). Suppose q - 65 + 6 = 2*k, h = -4*q + 4*k + 248. Is q a multiple of 39?
False
Suppose -2*n + 13464 = 15*n + 5*n. Is n a multiple of 24?
False
Suppose -407 = -5*i + 2*b + 1316, 0 = -5*b - 20. Let y = -333 + i. Is y a multiple of 10?
True
Let i(a) be the second derivative of 13*a**6/120 + 3*a**5/40 + 5*a**4/6 + 43*a. Let c(p) be the third derivative of i(p). Does 33 divide c(2)?
True
Is (-1 - -17)*(21 - 820/40) - -2826 a multiple of 2?
True
Suppose 0 = -6*q + 1412 + 5828 + 14240. Does 3 divide q?
False
Let v be (-6 - (-7 - -13))/(-1 + -2). Let y = -5 - -5. Suppose y = -6*i + v*i + 142. Does 17 divide i?
False
Let z = -56 - -52. Is 3 a factor of (z/2*2)/(29/(-551))?
False
Let t(l) = -l**3 + 7*l**2 - 6*l + 11. Let a be t(6). Let j(u) = -2*u + 28. Let k be j(a). Does 11 divide (22/k)/(11/99)?
True
Let u(z) = z**3 + 4*z**2 - 2*z + 88. Is 43 a factor of u(12)?
False
Suppose -1874728 + 268903 = -305*b. Is 117 a factor of b?
True
Does 7 divide (-1)/((-9)/33 - (11 + 11193640/(-992992)))?
True
Suppose 5*y - 2242 = 763. Suppose u = 2*m + y, -4*m + 8*m = 8. Suppose -u = 6*h - 17*h. Is 15 a factor of h?
False
Let o = 1225 - -3512. Does 12 divide o?
False
Let b be (2/3 - (-16)/(-60))*15. Suppose 10*h - b*h = 44. Suppose 20*c = h*c + 351. Is c a multiple of 26?
False
Let w(x) = -42 - 15*x - 63 + 510 + 11*x. Is 15 a factor of w(0)?
True
Suppose 0 = 2*u + w - 12809 - 10986, -5 = w. Does 34 divide u?
True
Does 145 divide 628420/180 + ((-6)/81)/(1/3)?
False
Let b(u) = 2*u**3 + 91*u**2 - 54*u + 205. Is b(-45) a multiple of 15?
False
Let k = -155 - -1125. Is k a multiple of 44?
False
Suppose -22*d + 20*d + 44 = 0. Suppose -3*s - 91 = -d. Does 23 divide (3 - 3/(-1))*s/(-3)?
True
Let d = -51 + 53. Suppose d*k