+ u*m - 31 = 0, 0 = -x - 3*x + 2*m + 38. Is x a multiple of 11?
True
Let y be 16/(-104) + 28/13. Let d(v) = 46*v**2 + v. Let s be d(y). Suppose -6*q - s = -9*q. Is 7 a factor of q?
False
Is 19 a factor of 414/4 - 18/(-36)?
False
Let s = 560 - 344. Is s a multiple of 11?
False
Let c = 15 - 13. Suppose 0 = -c*z + 6 - 0. Suppose z*o = 4*n - 167, -3*n = -6*o + o - 128. Does 12 divide n?
False
Let m(f) = f**3 + 5*f**2 - f - 3. Let d be m(-5). Does 27 divide (8 - 7)/(d/442)?
False
Suppose 6*w - 4*n = 3*w - 13, 0 = 2*w + 3*n + 20. Suppose -d + 0*d + 17 = 0. Let h = w + d. Does 6 divide h?
False
Suppose 0 = y + 39 - 108. Does 11 divide y?
False
Suppose s - 60 = -3*k, -3*s + 15*k = 11*k - 115. Is s even?
False
Suppose l = -2*j + 2570, -16*j = -5*l - 13*j + 12798. Does 6 divide l?
True
Suppose -3*u + 6*u - 129 = 0. Let t = u + -29. Does 8 divide t?
False
Suppose -3*w - 3*o = 471, -3*w - o + 88 = 565. Let g = w + 310. Does 25 divide g?
True
Suppose -2*g + 7*g + y = 8, 5*g - 6 = -2*y. Suppose 0 = g*f - 7*f - 3*k - 6, -5*k = -5*f - 30. Is 11 a factor of 172/12 - f/(-9)?
False
Let a be (-3)/(-2)*-2 - 20. Let s be a/(-7) - 4/14. Suppose 2*f + 3*x = 80, -s*x + 4 - 10 = 0. Is f a multiple of 14?
False
Let b be -1 - 10/((-4)/(-2)). Let r(m) = 5*m - 16*m - 2*m - 15 + 22. Is 17 a factor of r(b)?
True
Suppose -3*g - 2582 = -w - 816, -7038 = -4*w - g. Is w a multiple of 153?
False
Is 387 + ((-14)/35)/(3/(-15)) a multiple of 12?
False
Suppose -29*n + 14*n + 2310 = 0. Is 7 a factor of n?
True
Suppose 0 = -2*f + 6 + 240. Let b = f - 66. Is 12 a factor of b?
False
Let b(g) be the first derivative of -g**4/4 - 5*g**3/3 + 7*g - 3. Let t be b(-5). Suppose -2*d + t = -3*a, 5*d - a - 1 - 36 = 0. Is d a multiple of 4?
True
Let k(h) = -8*h**3 - 41*h**2 - 8*h + 25. Let d(y) = -3*y**3 - 14*y**2 - 3*y + 8. Let r(m) = 11*d(m) - 4*k(m). Is r(9) a multiple of 10?
True
Suppose -6 = -7*u + 5*u. Suppose -3*q = -2*n + 223, 3*n = 2*n + u*q + 119. Is n a multiple of 32?
False
Let m(h) = 7*h**2 - 4*h + 2. Let s(o) = o**2 - 2*o - 1. Let q be s(3). Does 13 divide m(q)?
False
Let w = -10 - -13. Let r be 4*(-12)/(-4) - w. Suppose 3*t = -r, b - 7 = -t - 0. Is 3 a factor of b?
False
Let u(c) = 3*c + 23. Is u(7) a multiple of 22?
True
Suppose 9*k - 473 = -h + 10*k, -2*h + 951 = 3*k. Is h a multiple of 79?
True
Let t = -867 + 1084. Is t a multiple of 120?
False
Suppose -37*x + 40*x = 6. Suppose -5*c + 401 = -x*q - 0*q, 5*q = -4*c + 334. Does 22 divide c?
False
Suppose 0 = -v + 2*x + 58, -2*v = -6*v - x + 268. Let l = v + -43. Does 12 divide l?
False
Let o(t) be the first derivative of t**4/4 - 13*t**3/3 - 7*t**2 + 18*t + 5. Is 14 a factor of o(14)?
False
Let h = 202 - 63. Is 23 a factor of h?
False
Let a(u) = -u + 10. Let n be (1/(-3))/((-3)/27). Suppose 0*w + n*w = 24. Does 2 divide a(w)?
True
Let o = 1 - 0. Let w(a) be the first derivative of 20*a**4 + a**3/3 - a - 37. Is w(o) a multiple of 23?
False
Suppose -5*p + 2 = 4*h - 5, -4*h - 2*p = -10. Let g(s) = s - 7. Let a be g(h). Does 6 divide (-30)/a - (-6)/(-4)?
True
Let q be ((-2)/32*-4)/((-2)/(-24)). Let z(n) = 13*n + 2. Does 14 divide z(q)?
False
Let d = 70 - 92. Suppose 4*y = -4*b + 200, 2*y = b - 8 + 102. Let s = y + d. Does 18 divide s?
False
Suppose 0*u - 3*u = 0. Suppose u = -5*i + 131 + 174. Is 28 a factor of i?
False
Suppose -2*c = c + p - 603, 2*c + 5*p = 389. Does 19 divide c?
False
Is 7 a factor of -48*((-9)/(-6))/(-3)?
False
Suppose 0 = 949*y - 952*y + 1890. Is 9 a factor of y?
True
Let c be ((5 - 8) + 2)*1*-4. Suppose -c*g = 4*o - 16, o = g + 1 + 3. Is o a multiple of 4?
True
Let c(g) be the third derivative of 8*g**5/15 - g**4/6 - g**3/6 - 23*g**2. Is 7 a factor of c(-1)?
True
Let d be (2 + 2/4)/(3/12). Let h(i) = i + 24. Does 7 divide h(d)?
False
Suppose 2*w - 135 - 217 = 0. Suppose 17*s - w = 9*s. Does 5 divide s?
False
Let z = -21 + 39. Suppose -5*q + z = -47. Is q a multiple of 3?
False
Let g = 6 - 16. Is 15 a factor of (-20)/(-8) - 405/g?
False
Suppose 14 = u - 5*q, u - 3*q + 2*q - 10 = 0. Let b be (2 + -1)/((-3)/(-69)). Let r = u + b. Does 10 divide r?
False
Suppose -3*n = n - 60. Suppose 4*f = -i - n + 141, 4*f + 288 = 2*i. Is i/9 - (-2)/3 a multiple of 8?
True
Let m(t) = 92*t**2 - 13*t + 89. Is 14 a factor of m(5)?
True
Let b(v) = -111*v - 260. Is 19 a factor of b(-8)?
False
Does 49 divide (295 - 1)/(33/110)?
True
Suppose 6*u + 33 = 3*u. Let t = 7 + u. Is (-1)/(t - (-95)/24) a multiple of 4?
True
Suppose 26*f = 24*f + h + 1365, 5*f + 5*h - 3375 = 0. Is f a multiple of 17?
True
Let v = -362 - -758. Does 12 divide v?
True
Let d(f) = 5*f**2 + 5*f**3 - 5*f + 19 - 19. Is d(2) a multiple of 14?
False
Let b(l) = 120*l - 18. Does 6 divide b(5)?
True
Let n be (28/35)/(6/495). Let l be (-12)/n - (-46)/11. Suppose 255 = -p + l*p. Is 17 a factor of p?
True
Suppose -267 = 3*l + z + 350, 3*l - z = -613. Let s = 3 - l. Is 26 a factor of s?
True
Suppose 4*z + m - 4*m - 327 = 0, 2*z - 158 = -4*m. Suppose t - d - z = -4*t, -8 = -2*d. Does 6 divide t?
False
Suppose 51*p - 751 = 3686. Let t = 17 - 69. Let f = t + p. Is 15 a factor of f?
False
Let w be 8 + -4 - -74*1. Let o = 126 - w. Does 6 divide o?
True
Let z(b) = 11*b**2 + 27*b + 22. Let s(n) = 6*n**2 + 14*n + 11. Let w(v) = -5*s(v) + 3*z(v). Let h be w(-9). Suppose 0 = -4*a + 9*a - h. Is a a multiple of 9?
False
Let c = -32 + 27. Let p(m) = -m**3 - 6*m**2 - 11*m - 6. Does 6 divide p(c)?
True
Let d be 27 - 0 - (2 - -1). Let h = d - 5. Is 11 a factor of h?
False
Let u = 1617 + -1519. Does 14 divide u?
True
Let p(c) = 3*c**2 + 2*c - 2. Let n be p(2). Let h(r) = -8 + r**2 + 3*r - 9*r - 7*r + 3*r. Is h(n) a multiple of 13?
False
Let m be ((-12)/(-8))/(3/(-6)*-1). Let b(d) = 4*d**3 + 4*d**2 - 7*d + 9. Is b(m) a multiple of 11?
True
Let j(l) = -3*l - 10. Let f be j(-6). Does 11 divide 150 + ((-2)/f)/((-2)/8)?
False
Let q = 45 + -40. Suppose 3*i = -5*v + 265, -5*i + 337 = -q*v - 118. Is i a multiple of 23?
False
Suppose -5*j = -5*y + 2*y - 520, -3*y = 4*j - 443. Let f = -56 + j. Does 8 divide 3/6*(f + -5)?
False
Suppose -5*y + 4*s + 2508 = 0, -10*y + 14*y - 4*s = 2004. Is y a multiple of 56?
True
Let w(v) = -12*v + 311. Is 9 a factor of w(12)?
False
Let n(i) = 2*i**2 + 53*i + 3. Is n(-37) a multiple of 15?
True
Let x(g) = 145*g - 98. Does 12 divide x(9)?
False
Suppose 5*a - 2728 = -2*u + 7*a, -5*a + 5492 = 4*u. Is u a multiple of 72?
True
Let t be (-10)/6 + 28/6. Suppose -i + 1 = -t, 3*j = i + 11. Is j a multiple of 2?
False
Let t(c) = -188*c**3 + 2*c + 1. Let r be t(-1). Suppose -3*g - x = -248, 0 = g - 3*g - 5*x + r. Let p = -33 + g. Is 12 a factor of p?
True
Suppose -t - 3*a = -17, -3*t + a + 6 = -5. Let w be t/(-2)*30/25. Is w + (0 - -4) - -1 even?
True
Suppose 6*w + 235 = 385. Is 2 a factor of w?
False
Let h be ((-2 - -2) + 2)*1. Suppose h*d - d - x = 7, 2*x = -3*d - 4. Suppose 2*o = 3*q - 0*q + 50, 0 = -d*o - 5*q + 50. Is o a multiple of 10?
False
Suppose -13*s + 21 = -31. Suppose 4*k = a - 96, 2*k + 356 = s*a - 0*k. Is a a multiple of 22?
True
Let o = 932 + -350. Does 6 divide o?
True
Let n = 1633 - 929. Suppose 6*m - n - 268 = 0. Does 15 divide m?
False
Let f(w) be the third derivative of 7*w**5/30 + 7*w**4/12 - 2*w**3/3 - 39*w**2. Does 12 divide f(4)?
True
Let v be ((-165)/33)/(-1 - (-104)/106). Suppose 0 = -4*m, 4*j - 163 = -3*m + v. Is 10 a factor of j?
False
Suppose -2*c + 0*w = -5*w - 15, 12 = -3*c - 4*w. Suppose c = 3*b - 3*i - 9, i + 3 = -5*b - 3*i. Is 2 a factor of 2 + b + 1 + -1?
False
Let v = 31 - 36. Is 10 a factor of 2 + v - (0 + (-618)/6)?
True
Let x be 2*3*5/10. Suppose -5*l - 14 = -5*n + 421, -255 = -x*n + l. Is n a multiple of 14?
True
Suppose 3*r = 19 - 4. Suppose -g = -r + 1. Suppose -98 = -g*w - 6. Is w a multiple of 12?
False
Suppose 26*d + 2*r + 1228 = 28*d, -5*d + 3078 = 3*r. Is 5 a factor of d?
True
Let u = -127 + 58. Let k = -109 - u. Let g = 7 - k. Does 31 divide g?
False
Let h = 505 + -324. Suppose -h - 161 = -3*r - 3*f, -r = 4*f - 105. Is 41 a factor of r?
False
Suppose -f - 5*r + 15 = -0*f, r - 3 = -f. Suppose f = 5*d - 2*d. Suppose 5*s + 0*s - 155 = d. Does 8 divide s?
False
Suppose -2*x + 7*x + q + 35 = 0, q + 19 = -3*x. Let u = x + 12. Is 22 a factor of 16*12/u*1?
False
Suppose -2*s - 12 - 14 = -m, 0 = 3*s - 2*m + 39. Let n = -11 - s. Suppose 0 = 3*i 