se
Suppose 4*v + 24778 = 3*q, 0*v - 16532 = -2*q - 4*v. Is 153 a factor of q?
True
Suppose 44849 = 30*r - 143*r + 1135977. Does 4 divide r?
True
Let o be (-5060)/(-14) + 2*9/(-42). Suppose 4*r + v = o, -2*v + 267 = 2*r + r. Does 7 divide r?
True
Let m = 53387 + -37136. Does 60 divide m?
False
Let z(a) = 4*a**3 - 3*a + 2. Let v be z(2). Suppose -29 = 11*m - 12*m + c, 5 = -c. Suppose -200 = m*d - v*d. Is 7 a factor of d?
False
Let d be (4 + -3 + 3)/2. Let a be (((-81)/(-6))/3)/(d/16). Suppose 0 = -4*f + 8*f - a. Does 2 divide f?
False
Let f(k) = k**3 - 13*k**2 - 5*k - 27. Let n(h) = -h**3 + 14*h**2 + 4*h + 28. Let i(c) = -4*f(c) - 3*n(c). Does 24 divide i(9)?
False
Suppose 5*v - 33 = -0*k + k, -8 = -2*v + 3*k. Suppose -3*w = -v*w + 1200. Is 30 a factor of w?
True
Let k(j) = -7*j**3 - 60 + 19*j + 88 + 184*j**2 - 176*j**2. Does 63 divide k(-5)?
True
Let q(f) = 1318*f - 6. Let h be (-2 - 0)*(35/(-10))/7. Let k be q(h). Suppose -5*s + k = -s. Is 48 a factor of s?
False
Does 5 divide (-15 + 95/57)*9/(-2)?
True
Let q(k) = 164*k**3 + 1. Suppose -4*d - 77 = -i, 2*d - 15 = i - 52. Let w be ((-1)/(-3))/(d/12 + 2). Does 19 divide q(w)?
False
Suppose 28*w - 1874 - 3194 = 0. Suppose -w*a = -193*a + 11556. Does 14 divide a?
False
Let c = -416 - -1010. Suppose 9*a - c = 162. Is 12 a factor of a?
True
Suppose 2*a - v - 8 = 0, a - v = -1 + 7. Suppose a*p + 5*j = 218, -3*j - 78 = -2*p + 108. Does 33 divide p?
True
Suppose -3*i - 54 = -r, i + 107 - 345 = -5*r. Let l = -46 + r. Suppose -l*y + y + 535 = 4*m, -685 = -5*m + 2*y. Is m a multiple of 27?
True
Let l(v) = -5*v**3 - 3*v**2 - 5*v + 8. Let w(p) = -11*p**3 - 5*p**2 - 9*p + 15. Let x(o) = -5*l(o) + 3*w(o). Is 37 a factor of x(-2)?
False
Suppose 4*x - 9660 = -3*w - w, -7*x + 16921 = 3*w. Is x a multiple of 61?
False
Let b(o) = -10269*o + 262. Is 15 a factor of b(-1)?
False
Let g(r) = 3*r**2 + 10*r. Let t(j) = -j. Let a(d) = -10*d**2 - 33*d + 1. Let w(f) = -a(f) + 2*t(f). Let q(h) = 7*g(h) - 2*w(h). Is q(6) a multiple of 12?
False
Suppose 2*v + 14 = 3*a + a, 3*a - 7 = 5*v. Let k(m) = a + 83*m + 83*m - 7 - m. Does 30 divide k(1)?
False
Let c be 285/19*6/45. Is 43 a factor of (c*(-2)/8)/((-1)/2432)?
False
Suppose 2167280 = 171*u - 2202283. Is u a multiple of 11?
True
Let l(m) be the first derivative of -13*m**2/2 + 21*m + 4. Let k be l(4). Let o = 71 + k. Is 20 a factor of o?
True
Suppose 3*q = 0, -4*o = -2*q - 180 - 88. Suppose o*i = 66*i + 135. Is 27 a factor of i?
True
Let m be (-40)/(-60) + 14/6. Suppose 265 = 4*v - 0*z + 5*z, m*v - 213 = z. Does 14 divide v?
True
Suppose 0 = -5*i, 2*i + 8 = -5*j - 2. Let s be 2 + 1 + (-1 + j - -441). Let r = s + -261. Does 30 divide r?
True
Let i(h) be the second derivative of -8*h + 19/6*h**3 - 1/20*h**5 + 0 - 15/2*h**2 + 1/2*h**4. Is i(8) a multiple of 6?
False
Suppose -3*w + 86 = 5*u - u, -3*u + 58 = 2*w. Suppose -w*d - 2249 = -8203. Does 26 divide d?
False
Suppose 5*d - 7*d + 205 = -3*q, -5*q - 215 = -2*d. Suppose -1932 = -d*r + 89*r. Is r a multiple of 23?
True
Suppose -2*s - 8 + 14 = 0. Suppose -5*f + s*l + 0*l - 361 = 0, 2*l - 68 = f. Let m = -22 - f. Is m a multiple of 11?
False
Let d = 140 + -134. Suppose -x - t + d*t + 270 = 0, -2*t = 2*x - 528. Is x a multiple of 28?
False
Let x(r) = 5*r + 9. Let f be x(-5). Let m = f - -1. Let k = m + 48. Does 7 divide k?
False
Suppose 5*g = 4*a - 9*a, 5*g + 2*a - 15 = 0. Suppose g*z - 51 = 24. Suppose 0 = j - z. Is 3 a factor of j?
True
Let q = 3 - 4. Let r be 1 - -4 - (2 - q). Suppose -r*z - v + 31 = 0, 2*z = -0*z - 3*v + 25. Is 4 a factor of z?
False
Let l(c) = -c**3 - 12*c**2 + 13*c + 2. Let o be l(-13). Suppose 0 = 3*d + 4*a - 1195, 2*d + 4*a = -o*d + 1596. Is 12 a factor of d?
False
Suppose 0 = 4*o - 3*p - 6807, -o + 5*o = -3*p + 6825. Suppose o - 5400 = -21*m. Is m a multiple of 22?
True
Let g = -33 - -33. Suppose g = 4*q - 28 - 0. Let o(u) = 6*u**2 + 4*u - 5. Is 13 a factor of o(q)?
False
Let g(r) = 1107*r**2 - 34*r + 65. Does 7 divide g(3)?
True
Let s = -19173 + 60189. Is 41 a factor of s?
False
Let t(l) = -80*l + 10. Let j(p) = 80*p - 10. Let z(a) = -4*j(a) - 3*t(a). Let r be z(4). Let q = -50 - r. Is 52 a factor of q?
True
Suppose 2*o - w - 1763 = 6032, -2*o = 4*w - 7830. Does 47 divide o?
True
Let s = 106 - 90. Suppose -s*a + 15*a + 160 = 0. Is a a multiple of 32?
True
Suppose 28 = -4*n + 8*n. Does 8 divide 7 - -19 - (1 - n)?
True
Let y(q) = -q**3 - 48*q**2 + 9*q + 525. Let m be y(-48). Let w = -153 - -93. Let n = w + m. Is 3 a factor of n?
True
Let u = -589 - -593. Suppose h = -a - h + 6, -4*a = -5*h + 2. Suppose 13 = m - a*z, 0 = -6*m + u*m - 5*z + 26. Is 3 a factor of m?
False
Let s(t) = 5*t**2 - 89*t - 21. Let u(l) = 3*l**2 - 59*l - 14. Let x(r) = 5*s(r) - 8*u(r). Let a be x(-25). Let g = a + 53. Is 10 a factor of g?
True
Let l(m) = -m**3 + 5*m**2 + 5. Suppose 0*p - 11 = -p + 3*t, 5*p + 4*t = 17. Let h be l(p). Suppose 10*f + h*z = 5*f + 300, f + 2*z - 63 = 0. Is 7 a factor of f?
False
Let o(y) = 2*y**2 + 47*y + 5830. Is 257 a factor of o(107)?
False
Let g(r) = -19*r**2 + 27*r - 6. Let f be g(12). Let z = 3536 + f. Is z a multiple of 26?
True
Let m be (-48)/84*7/(-2). Suppose 6*y - 2118 = y - m*q, -2*y + 4*q = -828. Let d = y - 191. Is 20 a factor of d?
False
Let l = 18664 - 10327. Does 17 divide l?
False
Let a(l) = 3*l**2 - 13*l - 31. Let y = 161 + -142. Is 49 a factor of a(y)?
False
Let d = 13849 + -7931. Does 22 divide d?
True
Suppose -18*c + 6906 = 4*s - 19*c, 2*c - 4 = 0. Let o = s + -1103. Does 13 divide o?
True
Is 332914/90 - (-624)/(-14040) a multiple of 8?
False
Let a = 9438 - 6249. Is 24 a factor of a?
False
Let s = 611 + -589. Is 11 a factor of 19*s*8/16?
True
Suppose 48*l + 10817 = -1423. Let p(a) = -74*a - 6. Let t be p(6). Let v = l - t. Is 10 a factor of v?
False
Let a be 52914/21 - 0 - 4/(-14). Suppose 8*k = -4*k + a. Does 42 divide k?
True
Let p be 1025/(-20) + 3/12. Let t = p + 106. Suppose t*m = 52*m + 315. Is 21 a factor of m?
True
Let o(k) = -10*k - 29. Let b be o(-3). Is 67 a factor of -2*3 + b - 18156/(-34)?
False
Let q(w) be the first derivative of -w**4/4 - 28*w**3/3 - 15*w**2 - 19*w + 53. Is q(-27) a multiple of 8?
False
Let c(a) = -4*a - 80. Let z be c(-39). Does 19 divide (-2 - z)/(4/(-22))?
False
Let k be 2/8 + (3 - 11685/20). Let d = k + 1025. Suppose d = -0*y + 6*y. Is y a multiple of 7?
False
Let w be (8/(-3))/(-3 + 121/33). Is 11 a factor of (3 + w)*(1 + -188)?
True
Suppose -h = 5*q - 3404 - 1507, -q = -4*h - 978. Does 5 divide q?
False
Let k = -97 + 85. Let s(o) = o - 1. Let l be s(0). Does 9 divide (18/6)/(l/k)?
True
Suppose m + z = 10866, 10*z - 18566 = 5*m - 72806. Does 10 divide m?
True
Suppose -4*b + 4450 = 2*s, s - 5*b = -4*s + 11095. Is s a multiple of 2?
False
Suppose 0 = -i - 0*i + 45. Suppose -2*c + v = -i, 5*c + 5*v - 39 = 3*c. Is 7 a factor of c?
False
Let g(x) = x**3 + 12*x**2 + 18*x - 10. Let k be g(-10). Suppose -56 = -4*i - k*i. Let r(u) = 11*u - 36. Is r(i) a multiple of 8?
True
Suppose -4*j + k = -1971, -14*j - 3*k - 1476 = -17*j. Does 11 divide j?
False
Let u(t) = 11*t**2 + 10*t - 142. Is 8 a factor of u(-16)?
False
Is -72 + 6221 - (-4 - 2/(-1) - 4) a multiple of 174?
False
Suppose -5 + 1 = 4*n - 4*u, 0 = 3*n + 3*u - 27. Let h(d) = -7*d - 102. Let z be h(-18). Does 13 divide 469/6 - n/z?
True
Suppose 15 = -3*n, -2*d - 2*n + 10658 = -21152. Is d a multiple of 43?
True
Let w(h) = 3*h**2 - 39*h + 242. Does 16 divide w(37)?
False
Let n(u) = 3*u - 7. Suppose 4*z = -2*z - 18. Let a be n(z). Let l = 48 + a. Is 8 a factor of l?
True
Let v(t) = 2*t**3 + 9*t**2 - 9*t - 4. Let r be v(-6). Let g = -55 - r. Suppose 5*m = -25, 0 = g*a - 5*m + 2*m - 351. Is 24 a factor of a?
False
Let j be (-528)/14 + 14/(-49). Let s = j - -25. Let p = s - -30. Does 17 divide p?
True
Let b = -6578 + 14621. Does 21 divide b?
True
Suppose -43*n + 434228 - 91993 + 39863 = 0. Is 38 a factor of n?
False
Suppose 0 = 2*b + 25 + 11. Let k be ((-2)/4)/(3/b). Suppose 4*o - 147 = -f, f - 146 = k*o - 6*o. Does 13 divide f?
True
Suppose -3*m - 108*g + 106*g + 65584 = 0, -m + 5*g + 21850 = 0. Does 6 divide m?
False
Let k = 37 + -37. Suppose -3*p + 5 = 3*z - 1, 2*p + 5*z - 1 = k. Suppose -p*s + s - o = -17, -5*s + 3*o + 59 = 0. Is 8 a factor of s?
False
Let l be (1/4)/(3/372) + 4. Suppose 3*v - 3*y = 2859