 3*z, -5*z - 2*u = 8. Suppose 5*k - t - 25 = z, 2*k - 44 = 4*t - 16. Suppose j - 3*v = 67, 4*j - 278 = k*v - 2*v. Is j a multiple of 10?
True
Let s = 4869 - 1740. Does 5 divide s?
False
Suppose 0 = -120*w + 729263 + 169297. Is w a multiple of 16?
True
Let k be (2 - (-10)/15) + (-2)/3. Suppose -4*p - k*v + 1248 = 0, 0 = -p - p + 5*v + 624. Is 6 a factor of p?
True
Let w(a) = -a**3 + 1. Let u(i) = 3*i**3 - 13*i**2 - 14. Let r(z) = -u(z) - 4*w(z). Let c(g) = -125*g - 6386. Let j be c(-51). Does 21 divide r(j)?
True
Let l = 49 - 46. Suppose -l*a = 2*v - 20, 20 = a + 4*v - 0. Suppose -a*m = -8*m - 4*o + 424, -8 = 4*o. Is 9 a factor of m?
True
Suppose 330*t + 1529182 = 6055792. Is 29 a factor of t?
True
Let k = 69 + -35. Suppose 5*t - k = 7*t. Let q = t + 29. Does 2 divide q?
True
Suppose 5*y + 2*o = 222590, -2*y + 85865 + 3170 = o. Does 84 divide y?
True
Let f(i) = i**3 - i**2 + 13*i + 10452. Does 15 divide f(0)?
False
Suppose 5*n - 20 = 5*y, -8*n - 32 = -11*n - y. Let i(k) = -35*k + 446. Is i(n) a multiple of 6?
False
Let i = -44 - -47. Suppose -4*q = -5*b + 111, 0 = 2*q - i*b + 13 + 40. Let d = 62 + q. Does 20 divide d?
False
Let l(i) = 265*i**2 + 11*i + 4. Let b(u) = 265*u**2 + 14*u + 3. Let c(n) = -5*b(n) + 6*l(n). Does 13 divide c(2)?
False
Suppose -2*v - 436 = -4*j, -6*v + 7*v - 2 = 0. Let b = -99 + j. Suppose 372 = 2*x + 4*r, 5*x + 13*r = b*r + 938. Is 13 a factor of x?
False
Suppose f - 5*b = -19, -2*f + 4*b = 8*b - 18. Is f*(1 + 173) + -7 + 8 a multiple of 25?
True
Let o be (-2)/(((-16)/(-12))/2). Let w be 8*(3 - (-6)/o). Suppose 0 = -w*a + 589 + 491. Is a a multiple of 15?
True
Let x(h) = -1970*h - 1797. Does 79 divide x(-4)?
True
Let s = -651 - -681. Suppose -27*o - 3608 = -s*o + 2*f, -o = 2*f - 1192. Is 10 a factor of o?
True
Let x(y) = 47*y + 49. Let c be x(5). Let q = c - 245. Does 28 divide q?
False
Does 18 divide 11463 - (27 - 17 - 30)?
False
Suppose t + y - 6 = 0, -6*t = -5*t - 3*y + 2. Suppose -5*o = -t*b + 710, 5*b - o = 3*o + 892. Does 18 divide b?
True
Suppose -4*i + 8*i = 16, g + 2*i - 1 = 0. Does 14 divide g/(2/9 - (-1379)/(-5922))?
True
Suppose 108*r - 596900 = -61*r + 396820. Is r a multiple of 84?
True
Suppose 4*d + 425 = 9*d. Let g be 17/d - 28/(-10). Suppose -7*t - g*t + 70 = 0. Does 5 divide t?
False
Suppose -5*z - u + 344849 = 0, -49*u + 344847 = 5*z - 46*u. Does 114 divide z?
True
Suppose 0 = k - 0 + 5, 0 = 2*g + 2*k - 7306. Does 135 divide g?
False
Let p(z) = -2*z**3 - 2*z**2 + 6*z + 4. Let d be p(0). Suppose d*x - 25 = -x, 2*u + x - 369 = 0. Does 13 divide u?
True
Let n be (10/4)/((-4)/(-8))*-24. Let p = n - -269. Does 11 divide p?
False
Suppose u + 2*u = 45. Let s(q) = -73*q + 42. Let m be s(-6). Does 60 divide (u/2)/(10/m)?
True
Let b(q) = -q + 5. Let d be b(2). Suppose t - 3*j = -2, -j = -2*t + d*j + 2. Suppose -3*v + t*v - 43 = -3*r, 0 = -2*r - 4*v + 30. Does 13 divide r?
True
Let s = 10 + 2. Suppose -5*x - 2*l + 12 = 0, -4*x + 3*x - 4*l = s. Suppose 5*y = -4*q - 0*y + 98, -x*y = 2*q - 46. Does 20 divide q?
False
Let i(n) = -n**3 + 15*n**2 + 3. Let z be i(15). Suppose -3*k - z*o + 166 = 28, 2*k - 2*o = 80. Does 2 divide k?
False
Suppose 0 = -b - 4*l + 4359, -369*l + 366*l + 13077 = 3*b. Is 62 a factor of b?
False
Let t be (1*-4)/(6 - 8). Suppose 0*k - t*i - 4 = -2*k, -i = 4. Let x(n) = 22*n**2. Is x(k) a multiple of 8?
True
Let c(m) = 70*m**2 - 114*m + 1164. Is c(10) a multiple of 17?
False
Let u be -4 + 139699/(-7 + 14). Suppose 26*m - 1523 = u. Is m a multiple of 59?
True
Let w = 12336 + -6819. Is w a multiple of 36?
False
Let s(f) = 6*f - 18. Let n be s(3). Suppose -3*l - w = -n*w - 487, l - 149 = -3*w. Is 26 a factor of l?
False
Suppose 0 = 4*m + 4, -5 + 0 = -3*p - 4*m. Let x(n) = -n**p - 3 - 20 - 7 + 0*n - 14*n**2 - 3*n. Does 8 divide x(-14)?
False
Let h(n) = 10*n - 21. Let l be h(-8). Let v = -94 - l. Suppose -6*p + v*p - 100 = 0. Is p a multiple of 18?
False
Suppose 2*j - 4354 - 202 - 3196 = 0. Is 18 a factor of j?
False
Let t = 22123 + -15484. Is 19 a factor of t?
False
Let q(v) = -9*v**3 - 14*v**2 + 9*v - 14. Let b be q(4). Let t = 359 - b. Does 9 divide t?
False
Let r(x) = -3*x + 14. Let q(k) = 4*k - 55. Let y(u) = u - 14. Let g(h) = -2*q(h) + 9*y(h). Let l be g(13). Does 23 divide r(l)?
True
Suppose 68*w - 62*w + 693634 = 52*w. Does 38 divide w?
False
Let u = 8069 + -3542. Does 4 divide u?
False
Let b(o) = 3*o**2 - 53 - 62*o + 104*o + 21. Does 19 divide b(-28)?
False
Let q = 52 + -75. Let p = q - -46. Suppose 3*x + 4*r - p = -0*r, -4*x - 4*r = -28. Is 5 a factor of x?
True
Suppose 186*o - 35970 = 181*o. Is 14 a factor of o?
False
Let j(v) = -v**3 - 18*v**2 - 136*v - 2938. Does 10 divide j(-21)?
False
Let q(n) = -5*n**3 + 3*n**2 + 5*n - 34. Is q(-11) a multiple of 15?
False
Suppose 13*d - 9*d = -3*n + 102090, -4*n - d = -136133. Is n a multiple of 13?
True
Let j be (-4)/(-3)*(5 - -1). Suppose k - 5*h - j = -0*k, -5*k + 5*h = 0. Is 7 a factor of (5 - -17) + k + 1?
True
Suppose -10*l + 11*l + 14*l - 106785 = 0. Is 7 a factor of l?
True
Let c(k) = 772*k - 572. Is 4 a factor of c(12)?
True
Let c be (-489)/(-2) + (-4)/(-8). Suppose 0 = -387*n + 372*n + 75. Suppose 3*a - a - 98 = -2*p, -n*p = 3*a - c. Is 10 a factor of p?
False
Let c(q) = -6*q**2 - 3*q - 101 + 104 - 2*q. Let i be c(3). Let h = i + 138. Does 8 divide h?
True
Let x = -2207 + 5177. Is x a multiple of 30?
True
Let y = 78 + -47. Suppose 20 = 36*h - y*h. Suppose -4*r - h*d = -52, -5*r - d = 2*d - 55. Is r a multiple of 8?
True
Let t(l) = -l**3 - 12*l**2 - 4*l - 8. Suppose -s = -4*f - 45, -2*f - 21 = -f + 3*s. Let h be t(f). Suppose -h*b = -37*b - 228. Does 12 divide b?
False
Suppose -3*y - 26 + 5 = 0. Let q = 7 + y. Suppose -3*m + 24 - 3 = q. Is m a multiple of 4?
False
Suppose -4*w + 16 = 2*p - 16, 0 = -2*p + 5*w + 32. Suppose 0 = -4*j + 4*b + p, b + 12 = -2*b. Suppose 55*y - 53*y - 128 = j. Is y a multiple of 16?
True
Let f = 14877 - 12182. Is f a multiple of 3?
False
Suppose 38034 = 218*g - 212*g. Is 110 a factor of g?
False
Let q = 83 + -73. Suppose -4*j + q*j - 12 = 0. Suppose -j*v - 84 = -3*v. Is 13 a factor of v?
False
Suppose -14895 = -3*n - 3*n + 3*n. Does 13 divide n?
False
Let p = -1227 + 2043. Is 16 a factor of p?
True
Let z = 40 - 38. Suppose 0 = -2*k + k + 3, z*i - 5*k = -3. Does 6 divide i?
True
Let m(l) = l**3 - 6*l**2 + 2*l - 10. Let h be m(6). Suppose -x = 2*t - 350, t - 278 = h*x - 1003. Is 36 a factor of x?
True
Let s(j) = -208*j**2 - 2569*j - 15. Is 3 a factor of s(-8)?
False
Suppose 0 = -5*d + 4*t + 5, t + 5 = 6*d - 4*d. Suppose d*l = -3*k + 4746, -4 = -k - 2. Let q = l + -664. Does 52 divide q?
False
Suppose -795 = 5*q - 765. Does 16 divide 4/(q/(-10) + (-399)/672)?
True
Suppose 4*f - 2*t + 784 = 0, 0*f = -3*f + 2*t - 589. Let u = f - -362. Is 10 a factor of u?
False
Let s(j) = 2*j**2 - 13*j - 8. Let h(b) = -2*b + 9. Let a be h(8). Let l(u) = 2*u + 9. Let w be l(a). Is s(w) a multiple of 13?
False
Does 8 divide (-3)/6*(-25 + -14241)?
False
Suppose 4*d - 3*p = 89346, 0 = -15*d - 0*p - 3*p + 335076. Does 153 divide d?
True
Let i(x) = 663*x**2 + 10*x + 11. Let f be i(7). Suppose -f - 1320 = 12*r. Does 13 divide (-4)/(-28) + r/(-28)?
False
Let a be 1/(1/(-124) + 0). Let y = 85 + a. Let m = 67 + y. Is m a multiple of 4?
True
Suppose -3*z - 7*t = -4*t - 63801, 4*z - 2*t - 85062 = 0. Does 170 divide z?
False
Let m = -197 - -207. Suppose -4*n - 22 = -m, 2*j - 3*n - 171 = 0. Does 3 divide j?
True
Let a be 3 + 1 - (-4 - -5). Suppose i = a*i - 4. Suppose -b + 74 - i = 3*y, 4*y - 231 = -3*b. Is b a multiple of 22?
False
Suppose -3*i - 3*s = -26223, 4*s + 6910 = i - 1821. Is i a multiple of 9?
True
Suppose 4*d - 1610 = 1706. Let q = d + -800. Is q a multiple of 29?
True
Suppose t = -14*r + 19*r + 2087, -t - 2*r + 2122 = 0. Is t a multiple of 22?
True
Does 24 divide ((-1099)/28)/((7 - 3)/(-384))?
True
Let w(m) = 290*m + 284. Is w(3) a multiple of 19?
False
Let j(f) = -2*f - 6 + 1 - 8 + 28*f. Let d be j(7). Suppose 3*t - 112 = -2*y + d, -t = -5*y + 694. Is y a multiple of 18?
False
Let n = -20060 - -46156. Does 112 divide n?
True
Let i(y) be the third derivative of 29*y**9/60480 + y**8/10080 - y**7/5040 - y**5/4 + 16*y**2. Let l(p) be the third derivative of i(p). Does 15 divide l(1)?
True
Let l(s) = -s**3 + 24*s**2 + 26*s + 25. Let u