Suppose 5*u + 167 = 2*k, 0 = -4*k - 4*u - 124 + 500. Is k even?
False
Let u be -4 + ((-1672)/6)/(58/(-87)). Let x = u - -302. Does 73 divide x?
False
Suppose -135*u = -146*u - 2684. Is 0 + 2 - (12 + -3 + u) a multiple of 38?
False
Suppose -10 = 13*k - 15*k. Suppose -k*a = -2*c + 7*c - 5, 2 = -a. Suppose -5*y = -4*y - m - 125, -c*m = 0. Does 25 divide y?
True
Let s(c) = -c**3 + 21*c**2 + 23*c + 43. Let a = -65 - -87. Let h be s(a). Let z = 80 - h. Is z a multiple of 5?
True
Let b(t) = -1507*t - 64 + 1533*t + 374. Is 12 a factor of b(7)?
True
Suppose -216*w + 227025 = 9*w. Does 2 divide w?
False
Suppose 0 = 2*r - 73 - 551. Is 7/(14/r)*1 a multiple of 12?
True
Let k(w) = 30*w**2 + 6*w + 12. Let j be k(-4). Suppose 0 = 3*s - 4*c - j, -c = 5*s - 5*c - 772. Is 19 a factor of s?
True
Let t = -8260 + 32275. Does 75 divide t?
False
Suppose 4*v = -3*q - 99 + 258, -v = 2*q - 101. Let w = -46 + 32. Does 43 divide ((q/w)/7)/((-2)/904)?
False
Suppose 2*b - 70*a = -72*a + 7592, -2*a - 11363 = -3*b. Is b a multiple of 17?
True
Does 176 divide -15 + (61571 - 21) - -11?
False
Suppose 0*z - 5*z + x = 117, 135 = -5*z - 5*x. Let n(f) = 4*f - 37. Let h be n(-8). Let v = z - h. Does 3 divide v?
True
Let w(k) = 684*k - 9. Let h be w(5). Suppose -5*y = 3*o - h, 5*o + 2*y = 7*o - 2290. Is 33 a factor of o?
False
Let a(b) = -3*b + 6. Let c be a(12). Let d = -24 - c. Suppose g = -d*m + 4*m + 165, 0 = 4*g - 20. Is 20 a factor of m?
True
Suppose 0 = -3*r + 3, 4*r + r = -j + 8. Suppose -4*w + 160 = -2*a, -5*a = -j*w - a + 130. Is (1 - (1 - w)) + -4 a multiple of 17?
True
Suppose 0 = -8*g + 38*g - 28410. Is g a multiple of 27?
False
Let i(z) = -131*z + 163. Let b be i(3). Let v = 2167 + b. Does 13 divide v?
True
Let z(x) = 88*x**3 + 4*x - 3. Let q be z(2). Suppose -4*w + 207 = -q. Let p = w + -121. Is p a multiple of 18?
True
Let w be 1*(-25)/(-6) - 22/132. Suppose -2*m + w*m - 600 = 0. Does 10 divide m?
True
Let n(i) = -942*i + 1176. Is n(-20) a multiple of 139?
True
Suppose -70 = -5*s - 35. Suppose s*p = 4*p + 417. Suppose 0*i + i = 2*v - p, -3*v = -3*i - 213. Does 20 divide v?
False
Suppose 30*r - 16929 = -0*r - 27*r. Is 2 a factor of r?
False
Suppose -4*x - 5*g + 11 = 0, -4*x + 3*x + 3*g + 7 = 0. Let v(c) = 56*c + 16. Is v(x) a multiple of 8?
True
Let g = -62 - 294. Let j = 572 + g. Does 12 divide j?
True
Let c = -43 + 52. Suppose 2*r + r + 4*x = 12, 2*r = 3*x - c. Suppose r = 11*h - 478 - 182. Is 15 a factor of h?
True
Let t(g) = 746*g - 248. Does 8 divide t(5)?
False
Suppose 158*i - 152*i + 5*k - 22110 = 0, -18444 = -5*i - k. Is i a multiple of 32?
False
Suppose 15 = -3*d + 30. Is 15 a factor of (1 + d)/3 + 1 + 340?
False
Let k(w) = 6*w - 94. Let j be k(16). Suppose 0 = -j*l + 25*l - 9384. Is 17 a factor of l?
True
Let o(l) = 20*l**2 + 2*l - 7. Let q be o(-3). Let r = q + -72. Suppose 7*z - 2*z - r = 0. Does 19 divide z?
True
Let z(b) be the first derivative of b**5/30 - 17*b**4/24 + 4*b**3/3 - 33*b**2/2 + 31. Let y(s) be the second derivative of z(s). Does 11 divide y(-5)?
True
Let d(v) = v**3 + 2*v**2 - v. Let h be d(-2). Suppose 3*s + h*s = -25. Is (1*-195)/s - -2 a multiple of 10?
False
Let i = 43 - 39. Let b(j) = 23*j**2 + 9*j + 2. Is 30 a factor of b(i)?
False
Let o = -5 + 22. Suppose -16*d = -o*d - 49. Is 3 a factor of (-2464)/d + (-2)/7?
False
Let t(b) = 614*b**2 + 102*b + 205. Does 63 divide t(-2)?
True
Let r be 1340/11 - (-1 + 27/33). Suppose 5*w + r = 8*w - 5*o, 5*o + 5 = 0. Is 5 a factor of w?
False
Suppose -5*j + 545 = -2300. Suppose h - j = -49. Does 10 divide h?
True
Suppose -601 = 5*y - 3*n, -4*n = -0*y + 4*y + 500. Let q = 180 + y. Is 11 a factor of q?
False
Suppose -18*d = -19491 - 99363. Is 71 a factor of d?
True
Let v(z) = 139*z + 48. Is 17 a factor of v(8)?
False
Let h(l) = -2*l - 37. Let v(o) = 3*o - 20. Let x be v(0). Let z be h(x). Is (-7)/6*-82 + (-2)/z a multiple of 15?
False
Let n(t) = 4090*t**2 - 72*t + 152. Is 67 a factor of n(2)?
False
Let a = -277 + -422. Let f = -28 - a. Is 40 a factor of f?
False
Let q(t) be the second derivative of -3*t**5/20 - t**4/12 + 2*t**3/3 - 2*t**2 + 3*t. Suppose 5*i + r = -16, i = r + 11 - 19. Is 13 a factor of q(i)?
True
Let u = -47 - -51. Let s be -5*(1/u)/((-30)/48). Suppose -n = d - 7, -s*d - n = 4*n - 2. Does 11 divide d?
True
Let x be 25/10*(-8456)/(-35). Suppose 2*i - x = 2*u, 3*u + 129 = i - 169. Does 53 divide i?
False
Let c = 72464 + -48040. Is c a multiple of 102?
False
Suppose 0 = 34*p + 247 - 16125. Is 2 a factor of p?
False
Suppose 792 = 4*p - 5*k, 3*k - 2*k = 2*p - 396. Does 11 divide -4*(-10)/24*p/3?
True
Let o = -4771 + 13667. Is 8 a factor of o?
True
Let d = 58 + -184. Let f = 48 + d. Let r = 126 + f. Is 6 a factor of r?
True
Let y = -28 + 33. Let w(o) = -7*o**3 + 5*o**2 + 6*o + 121. Let x(n) = 4*n**3 - 3*n**2 - 3*n - 60. Let l(d) = y*x(d) + 3*w(d). Is 8 a factor of l(0)?
False
Suppose 16*u - 694 = 3853 + 1709. Suppose 4*t + 524 = -2*x, -5*x - 986 - 376 = -3*t. Let w = u + x. Is 11 a factor of w?
True
Let y be -5*(8 + -12)*(-1)/(-10). Suppose y - 6 = -z. Suppose 0*d - 95 = -z*t - d, 1 = -d. Is t a multiple of 17?
False
Let g = 12076 + -24036. Is 34 a factor of 2/(-12) + g/(-48)?
False
Let d(b) = 108*b - 1866. Is 89 a factor of d(42)?
True
Let z = 3 + 0. Suppose -5*x = -4*m + 1562, -2*m - 329 + 1099 = z*x. Let c = m - 207. Is c a multiple of 24?
False
Let y(l) = 3*l**3 - 7*l**2 + 12*l + 10. Let u = -34 + 37. Let m(j) = -2*j**3 + 7*j**2 - 12*j - 11. Let n(g) = u*y(g) + 4*m(g). Does 6 divide n(-8)?
True
Let b = 814 + -815. Let p(t) = -31*t + 1. Let j(g) = -30*g + 1. Let d(x) = 4*j(x) - 3*p(x). Does 7 divide d(b)?
True
Let r(b) = -20*b + 1. Suppose 5*o = -p - 31, 5*p - 8*o + 7*o = -25. Let n be 4/(-8)*-4 - (2 - p). Does 35 divide r(n)?
False
Let u = -51302 + 100274. Suppose 0 = 8*n - 50*n + u. Does 53 divide n?
True
Let m(h) = -h + 22. Let i be m(16). Suppose s = 3 + i. Is 2 a factor of s?
False
Let b = -447 - -655. Suppose b + 1517 = 15*z. Is 16 a factor of z?
False
Suppose -2*h = -261 - 23. Suppose -6*z + h = -152. Does 49 divide z?
True
Let b be ((-3 - -5)*4)/2. Suppose -3*p - 672 = -7*p - x, -5*x = -b*p + 672. Is 12 a factor of p?
True
Suppose 894 = 4*p - 1586. Let y = p - 411. Is 8 a factor of y?
False
Suppose -12*i - 42 = -114. Is (4 - i)*-3 + 545 a multiple of 29?
True
Let s = -601 - -841. Let t = s + -225. Is t even?
False
Is 163 a factor of (-10)/(-145) - 11628380/(-580)?
True
Let x(i) = -2*i**3 + 2*i**2 + 3*i + 10. Let n be x(-4). Let m = n + -110. Suppose 0 = v - 3*r - 22, 3*v - 2*r = r + m. Is v a multiple of 9?
False
Let d(i) = i**3 + 12*i**2 + 7*i - 16. Let r be d(-11). Let l = -26 + r. Suppose -m - l*z + 104 = 0, -z - 228 = 3*m - 5*m. Is m a multiple of 14?
True
Suppose -3 = -26*o + 50 - 1. Suppose 7 = 2*u - 1. Suppose o*z - d - 273 = 88, u*z - 692 = -4*d. Does 35 divide z?
False
Let n(m) = -661*m**3 + 22*m**2 + 152*m + 9. Is 13 a factor of n(-5)?
False
Is (-17 - -3 - -12) + 3957 + 0 a multiple of 13?
False
Let k(z) = -1. Let p(r) = r + 23. Let b(c) = 2*k(c) - p(c). Let q(w) = -w - 17. Let f(m) = -5*b(m) + 7*q(m). Is f(-4) a multiple of 12?
False
Let i be (-44)/10*(18 + -13). Suppose -k + 232 = 3*l, -5*l - 5*k = -153 - 237. Let u = i + l. Does 10 divide u?
False
Suppose 125*j + 50*j = 3*j + 789308. Is j a multiple of 31?
False
Suppose -u + 24 = -4*u. Let k(c) = 42 - 32 - c**3 - 28 - 9*c**2 - 12*c. Is 13 a factor of k(u)?
False
Let n = -922 + 913. Does 5 divide (n + 14)/(5 - (-1077)/(-216))?
True
Let c be (2 + (-96)/4)*(-363)/6. Suppose 5*t = 2*w + 2211, -2*t = -5*t - w + c. Does 20 divide t?
False
Let v = -4884 + 15834. Does 50 divide v?
True
Let g(v) = 65*v**2 - 3*v + 4. Let h be g(2). Let x = h + -114. Is x a multiple of 36?
True
Suppose -16 = 2*i + 22. Let g(s) = -11*s**3 + 25*s**2 + 33*s - 35. Let u(f) = -2*f**3 + f**2 + 7*f - 2. Let y(v) = g(v) - 6*u(v). Is 37 a factor of y(i)?
True
Let j(t) be the second derivative of 11*t**5/40 - t**4/8 + 9*t**3/2 + 19*t. Let i(u) be the second derivative of j(u). Is i(1) a multiple of 15?
True
Suppose -5*n = -25, -4*q + 11*n + 117112 = 20543. Does 99 divide q?
True
Suppose 10632 = -41*f + 49*f. Is 41 a factor of f?
False
Let d(m) = m - 14. Let r be d(-6). Let a = -20 - r. Suppose a*v - 168 = -4*v. Does 14 divide v?
True
Suppose 2551*s -