6, z + 6*x = x + 66. Is 19 a factor of z?
True
Let m = -34 - 9. Let r = m - -13. Is 25 a factor of (-3762)/r + 4/(-10)?
True
Let b(o) = -o**3 + 7*o - 3. Let c be b(-3). Suppose 1165 = c*q + 5*w, q + 4*q + 5*w = 1955. Is 5 a factor of q?
True
Let j(s) = -s**3 + 23*s**2 - 20*s - 33. Let v be j(22). Suppose 1640 + 208 = v*q. Is q a multiple of 7?
True
Let b(r) = -16635*r - 1935. Is 105 a factor of b(-1)?
True
Let x(k) = -229*k - 223. Does 15 divide x(-17)?
False
Suppose 10*s = -9*s + 109998 - 14504. Does 4 divide s?
False
Suppose -4*o - 145 = c, 8*o - 5*o = -2*c - 115. Let m be (-4 + 5)/((-1)/5). Does 12 divide (-637)/o - (-1)/m?
False
Suppose 0 = 2*d - 2*p + 6*p + 52, 106 = -5*d - 4*p. Let h(m) = -5*m + 28. Let s be h(d). Let q = -64 + s. Does 6 divide q?
True
Suppose -3*l + 11 - 13 = -w, 0 = -4*l - 5*w + 10. Suppose l = -9*r - 0*r + 10233. Is 95 a factor of r?
False
Let m = 5971 + 5736. Is m a multiple of 12?
False
Let p be -3 + 9 + 6*(-3)/6. Let v be p/(-1) + 3*313. Suppose -16*t + 3*t + v = 0. Is t a multiple of 6?
True
Does 20 divide 144 + -130 - (-16398)/3?
True
Suppose 0*z + z = 4*o - 3706, o + 5*z - 937 = 0. Let t = o + -260. Is 34 a factor of t?
False
Suppose -j - 1 = -4. Let y(u) = 7*u - 3. Let m be y(j). Suppose m - 74 = -4*z. Does 7 divide z?
True
Suppose 0 = -5*y - 6*y - 429. Let b = -36 - y. Suppose 0*n - 423 = -b*n + 3*f, -4*f - 278 = -2*n. Does 11 divide n?
True
Suppose 0 = -21*w + 33 + 51. Suppose -4*u - 8 = 0, -w*h + h = -u - 74. Does 5 divide h?
False
Let a = -47 - -50. Let b be 2056/12 - (1/a - 0). Suppose 78 = -4*i - 2*m + 210, 5*i + 4*m - b = 0. Is 12 a factor of i?
False
Suppose 0 = 12*x - 10*x - 14, b - 8137 = 2*x. Is b a multiple of 33?
True
Suppose -221 = 9*f - 779. Let y = f + -54. Is ((-210)/y)/(-5 + (-231)/(-48)) a multiple of 28?
True
Suppose -6*q - 3*n + 392 = -5*q, 0 = -5*q - n + 1960. Is q a multiple of 8?
True
Suppose t - 190 = 4*i - 72, -i = -4*t + 22. Does 16 divide 3*i/(-1 + -1)?
False
Suppose -4*r + 3813 = k - 10728, -3609 = -r + 5*k. Is 7 a factor of r?
False
Let k = 16 - 9. Let w(y) = -30 + 2*y - 3*y + k*y - 9*y. Is w(-13) a multiple of 8?
False
Let r = 35646 - 30665. Is r even?
False
Suppose 0 = -i + 53 - 63. Let p be 26736/120 - 2/i. Suppose 0 = -9*r + 2293 - p. Is r a multiple of 46?
True
Let s = 36 - 26. Suppose 4*h = 30 + s. Is (-1)/(6/(-4)*h/165) a multiple of 2?
False
Suppose 0 = -2*x - 4*o + 224, -o = -4*x - 4*o + 463. Suppose -2*n = -6*n. Suppose 2*j - x - 314 = n. Is j a multiple of 27?
True
Let w(i) = i**3 + 6*i**2 - 19*i - 34. Let m be w(-8). Is (5/m)/(3/(-4860)) a multiple of 15?
True
Let m be (0 + -2)*1697/(4/(-4)). Suppose 3*i - m = -586. Is 9 a factor of i?
True
Suppose 7*i + 9*j + 8004 = 9*i, 20010 = 5*i - j. Does 58 divide i?
True
Let v(m) = m**2 - 117*m + 1332. Does 12 divide v(12)?
True
Let j(c) be the first derivative of c**6/120 - c**5/30 - c**4/24 + c**3/6 - 11*c**2 + 6. Let z(h) be the second derivative of j(h). Is 14 a factor of z(6)?
False
Let u = 1645 - -3855. Is 55 a factor of u?
True
Does 15 divide ((-1)/2 + 196014/84)/(19 - 18)?
False
Suppose 14*y = -45*y + 30339 + 487504. Is y a multiple of 31?
False
Suppose -12*s - 6*s + 10980 = 0. Let c = s - 192. Is c a multiple of 15?
False
Let h be (-4579)/57 + 1/3. Let v = h - -172. Is v a multiple of 23?
True
Is 16 a factor of 6/4*12180854/861?
False
Suppose 6*u = 2*u - 628. Let z = 236 - 323. Let r = z - u. Is r a multiple of 17?
False
Let x = 87 + -77. Suppose 5*g - 10 = -x. Is g + (-53)/(-4) + 10/(-40) a multiple of 13?
True
Let m(c) = c + 8*c**2 + 4*c**3 - 12 - 6*c**3 - 4*c + c**3. Let k be m(6). Let y = -35 + k. Is y even?
False
Let q = -10 - -16. Suppose -310 - 1145 = -97*t. Let i = q + t. Does 21 divide i?
True
Let z = -26162 - -53277. Suppose 8*x + 21*x = z. Is 11 a factor of x?
True
Suppose -8*f = 5*v - 5*f + 981, -f - 591 = 3*v. Let w = v - -204. Is w a multiple of 3?
True
Let c(d) = -24*d**2 - 7*d + 1. Let j(z) = 26*z**2 + 8*z - 2. Let m(u) = 2*c(u) + 3*j(u). Is 29 a factor of m(-5)?
True
Suppose 0 = 5*c - 22 - 88. Suppose 7*n = 5*n - 4*p + 32, -2*n + c = 2*p. Let f(g) = 2*g + 20. Does 4 divide f(n)?
True
Suppose 3*d + 2*z = 57253, -62*d + 38154 = -60*d + 5*z. Is 85 a factor of d?
False
Suppose 49*j = 37*j + 8964. Suppose -2*q = 3*c + q - j, 0 = 4*q - 8. Does 17 divide c?
False
Let p = -571 + 570. Is 24 a factor of (-4135)/(-21) + p + (-184)/(-1932)?
False
Let u = 30233 - 18670. Is 164 a factor of u?
False
Let r(j) = 9*j - 10. Let k be r(2). Suppose -35*z + 37*z - k = 0, 2*f - 2250 = -z. Is 77 a factor of f?
False
Let f(v) = 16*v**2 - 28*v + 78. Is f(16) a multiple of 46?
True
Suppose -3*z = 8*f - 415726, 138*f - z + 207866 = 142*f. Does 32 divide f?
True
Let k(h) = -67*h - 1. Let a = 8 - 11. Let l be k(a). Suppose -2*o = -0*o - l. Is o a multiple of 25?
True
Let u = -15 - -19. Suppose -2*n - 2*i = u, 0 = -5*n + 5*i - 12 - 38. Is 23 a factor of 228*(7/2 - (-18)/n)?
False
Suppose -z - 3 = 0, 0*u + 4*z + 58540 = 4*u. Does 26 divide u?
False
Let a(r) = 90*r + 7233. Is a(34) a multiple of 5?
False
Let d(c) = 4*c - 10 - 6 + 0*c**2 + 25 + 2*c**2. Is d(-4) even?
False
Let j = 41344 + 15742. Does 17 divide j?
True
Let f(h) = 17*h - 10. Let b be f(1). Is (-4 - -5)*b + 71 a multiple of 6?
True
Is (((-2)/(-2))/(19/(-127034)))/(2/(-4)) a multiple of 40?
False
Suppose -4*b - 21 = -101. Suppose -n + 5*n = -b, l - 7 = n. Suppose -l*h - 2*h + 52 = 0. Is 12 a factor of h?
False
Suppose 4*p + 3*n - 153 = 1306, 0 = 5*p + n - 1832. Is p a multiple of 5?
False
Let x(u) = 173*u + 8. Let l(i) = -i**3 + 7*i**2 + 10*i - 13. Let a be l(8). Let m be x(a). Suppose 6*k - m - 13 = 0. Is 10 a factor of k?
True
Let v(x) = 37*x + 88 + 48 - 17 + 14*x. Does 12 divide v(9)?
False
Let m(v) be the third derivative of v**4/4 + v**3/2 - 45*v**2. Is 3 a factor of m(8)?
True
Let d be (-3 + 4)*13 + 3. Let b be ((-9)/6)/((-12)/d). Suppose -b*i + 17 = -23. Does 9 divide i?
False
Let w = 13 + 58. Suppose 2*j = d + w + 5, 2*j - 76 = -5*d. Is 23 a factor of (5 - 4) + j*1?
False
Let g be (5 - (0 + 2))*3 - 4. Suppose -4*x + 4*k + 180 = k, -x = -g*k - 45. Is 10 a factor of x?
False
Let r(c) = 2841*c**2 - 11*c. Let g be r(-1). Suppose -t = q - 809, -t - g = -4*q + 364. Does 35 divide q?
True
Suppose -15368 = -4*w - 2*t, 6*w - 7654 = 4*w + 4*t. Is w a multiple of 17?
False
Let r(j) = -5771*j + 811. Is r(-7) a multiple of 181?
False
Let b(y) = 69*y**3 - 18*y**2 + 21*y + 50. Is b(6) a multiple of 32?
True
Let w(k) = k**3 - 15*k**2 - 41*k + 1715. Does 42 divide w(35)?
True
Let j(f) = -208*f - 1474. Is 21 a factor of j(-19)?
True
Let y(w) = -365*w + 5. Let u be y(-3). Suppose 4*n + h - u = 0, -2*h + 1360 = 5*n + 3*h. Suppose -n = -4*r - 3*s, 0*r = 3*r - s - 220. Is r a multiple of 18?
True
Let f = 79 + -80. Let l(b) = -82*b**2 + 4*b + 2. Let c(x) = -163*x**2 + 8*x + 4. Let j(p) = -6*c(p) + 11*l(p). Does 6 divide j(f)?
True
Suppose 5*d - 15408 = -n, d - 3078 = -5*n + 6*n. Does 5 divide d?
False
Suppose 415 + 215 = 5*c. Suppose c = -3*d + 321. Let a = d + -61. Is a a multiple of 3?
False
Suppose 9 = -u + 4*u. Let d be (-35)/(-6) - u/(-18). Suppose 9*o - d*o - 171 = 0. Does 16 divide o?
False
Let p(i) = 2*i**3 - 49*i**2 + 19*i - 36. Let o(q) = -4*q**3 + 98*q**2 - 39*q + 69. Let j(h) = 3*o(h) + 5*p(h). Is j(24) a multiple of 2?
False
Let q(c) = c**2 - 3*c - 18. Suppose -12 = 2*d + 2. Let n be q(d). Let r = n - 22. Does 5 divide r?
True
Let k be 15/(-6)*(5 - (2 - -1)). Does 10 divide -17*(55/k - -4)?
False
Let w(o) = 17*o + 1. Let h(i) = -i**3 - 12*i**2 + 14*i + 20. Let r(l) = -2*l**2 + 7*l - 9. Let c be r(4). Let y be h(c). Is w(y) a multiple of 20?
True
Let t be 9/((-9)/(-2))*1. Suppose l - 277 = -4*z, -t*z - 2*l = -0*l - 140. Suppose -149 = -4*s + 5*f, 0 = 2*s + f + 2*f - z. Is 18 a factor of s?
True
Let d(b) = 2*b - 14. Let z be d(10). Let i = z - -1. Let g(n) = 10*n - 13. Is g(i) a multiple of 11?
False
Let s = 25 + -11. Suppose s = f + 9. Does 15 divide (f - -1)/(16/280)?
True
Suppose -2*c = 2*z + 245 - 7131, -13796 = -4*c + 4*z. Is c a multiple of 18?
False
Suppose 0 = -7*o + 9*o - 13764. Is 12 a factor of o?
False
Suppose -12*q + 2968 = 2*q. Let b = q + -140. Suppose 345 = 3*a + b. Is a a multiple of 25?
False
Let p(a) = a**2 + 16*a + 14. Let u be p(20). Let j = 1487 - u. I