r of z?
True
Suppose 3*i - 39*k + 37*k - 188 = 0, -3*i = 2*k - 172. Does 10 divide i?
True
Let d(n) = -8*n**2 + 530*n - 68. Does 24 divide d(66)?
False
Let k = -139 + -69. Let l = -78 - k. Suppose 3*s + 2*v = -8 + 83, 5*s + 5*v = l. Does 23 divide s?
True
Let i be (-4)/(-48)*8*6. Suppose -119 - 1441 = -i*j. Is 39 a factor of j?
True
Let r be (16/(-6))/(48/(-1944)). Let b = r + -21. Does 6 divide b?
False
Suppose 0 = -6*n + 4*n + 8. Suppose n*u - 6*u = u. Is (3 - 3)/1 + (u - -26) a multiple of 13?
True
Let m = -20390 + 29085. Is 15 a factor of m?
False
Suppose 0 = 15*s + s - 96. Suppose 2*o - s*z - 760 = -2*z, 3*z = -2*o + 774. Is 16 a factor of o?
True
Let o(f) = 24*f**3 - 4*f**2 - 21*f + 15. Does 3 divide o(6)?
True
Let o be ((-4)/(-2) - 4) + (-1628)/2. Is (6/8)/((-17)/o) a multiple of 24?
False
Let b = -183 - -121. Let c = b - -99. Suppose 39*y = c*y + 12. Is 2 a factor of y?
True
Suppose -26*d + 26 = -24*d + j, 0 = d + j - 10. Suppose -i - 15 = -6*i. Suppose -82 = -i*s - d. Is 22 a factor of s?
True
Let i = -438 - -390. Let t(s) = -16*s - 281. Is 20 a factor of t(i)?
False
Let v(u) = 98*u**2 - 1118*u - 11119. Does 32 divide v(-10)?
False
Let u(i) = -2*i**3 - 32*i**2 + 130*i - 100. Is 77 a factor of u(-30)?
False
Suppose -4*u = -210*c + 212*c - 39796, -c = -u + 9943. Does 39 divide u?
False
Suppose 1050*v - 1045*v = 7425 + 26755. Does 6 divide v?
False
Does 74 divide 7728/35*(-2 + (-752)/(-6))?
True
Suppose -4*l - 4*w + 1152 = 0, -3*w = -2*l + 414 + 182. Suppose -2*p - 2*n = -1224, 0 = -p - 2*n + l + 324. Is p a multiple of 54?
False
Let w(l) = 60*l + 82. Let m be w(-11). Let u = m - -849. Does 12 divide u?
False
Let x(t) = -t**3 - 3*t**2 + t + 10. Let n be x(-5). Let o be ((-62)/5)/(11/n). Let p = o - -100. Is p a multiple of 19?
True
Suppose -2*f - g - g + 16 = 0, 2*f - 30 = 5*g. Suppose 1 = -c, 2*o - 3*c - c = f. Let d(r) = 80*r + 6. Is 11 a factor of d(o)?
False
Suppose 0 = -3*q + 15, 2*q = 2*w - 0*w - 9932. Is w a multiple of 6?
False
Let n(b) = 33*b + 3. Let a be n(-3). Let f = a + 96. Suppose 2*d - 6*d = 3*g - 191, f = 2*g - d - 131. Is g a multiple of 22?
False
Let g be 0 - (-124)/8 - (-3)/(-6). Suppose -8136 = -g*b - 9*b. Is 8 a factor of b?
False
Let w(h) = -h - 2. Let k be w(8). Suppose 196 = -75*f + 68*f. Does 25 divide (-250)/(k/(-4)*f/35)?
True
Suppose -22*i - 72224 = -83*i. Is i a multiple of 18?
False
Let q be (-3 + 16)/(-3 + 120/39). Suppose 0 = 9*y + 70 - q. Suppose -6*a = -y*a + 700. Is 35 a factor of a?
True
Let f = -23 + 24. Suppose 0 = -4*g + 3*t + 128, 3*g - 4*t - 90 = -f. Suppose 3*q + 2*u - g = 83, -5*q = -2*u - 202. Does 4 divide q?
True
Suppose 12*f - 7986 = -2*o + 10*f, 0 = f + 7. Does 80 divide o?
True
Does 30 divide (-1259713)/(-436) - 12/(-16)?
False
Is 11 a factor of (-1702)/((-756)/(-91) + -8)*-2?
False
Suppose -u + 13*u = 48. Suppose u*h - 1450 + 266 = 0. Is 8 a factor of h?
True
Suppose -862512 = -37*g - 2*g - 63*g. Is g a multiple of 162?
False
Suppose -5*t = 2*f - 41808, -11*t + 7*t - 4*f + 33432 = 0. Does 17 divide t?
True
Let g = 70477 + -36731. Does 94 divide g?
True
Let r(c) = -c**3 + 7*c**2 + 17*c + 10. Let l be -1 + 9/(-2)*(-15 - -13). Does 6 divide r(l)?
False
Suppose 62*k - 57*k - 2*p - 124680 = 0, 0 = 3*k + 5*p - 74777. Is 14 a factor of k?
True
Let v(w) = -2*w - 18. Suppose -u + 33 = -4*u. Let h be v(u). Suppose z + h*t + t = 36, z - 3*t = 20. Does 7 divide z?
False
Let t(l) = -91*l**3 + 5*l**2 + 14*l. Let c be (3/(-2) - 0) + 64/(-128). Is 9 a factor of t(c)?
True
Let p(o) be the first derivative of 22/3*o**3 + 1/4*o**4 - 55/2*o**2 - 15 + 48*o. Is 12 a factor of p(-24)?
True
Suppose 7938*a - 7939*a + 3439 = -2401. Does 73 divide a?
True
Is 6 a factor of (-22342)/(-8) + (-98)/(-392)?
False
Suppose -9421 = -4*i + 2227. Is i a multiple of 32?
True
Suppose -45*s + 111720 = -17*s. Suppose 3*m = -4*i - 2*m + s, -2*i - 2*m = -1996. Is 20 a factor of i?
True
Suppose -87*x + 59055 + 14808 = 0. Is x a multiple of 6?
False
Suppose 906*n - 912*n + 10152 = 0. Does 9 divide n?
True
Let c be (-10 - -8)/(-2)*7*816. Suppose -3328*f + 3321*f + c = 0. Does 16 divide f?
True
Suppose -65 = -5*y - 4*v, 3*y + 2*v + 3 = 42. Suppose -1035 = -y*f + 681. Does 56 divide f?
False
Let z(w) = 4*w + w**3 - 10 + 6*w + 3 - 2*w - 5*w + 7*w**2. Let a be (-16)/3 - (-2)/(-3). Is z(a) a multiple of 2?
False
Suppose -2683 + 23641 = 3*j - 2*a, j = 4*a + 6996. Does 12 divide j?
True
Let f be (-228)/54 - 6/(-27). Is 6/1 + (-7 - f) a multiple of 3?
True
Let c(p) = -p**3 - p**2 - p - 1. Let o be c(-1). Suppose o = -4*v + 3 - 271. Let t = -37 - v. Is t a multiple of 15?
True
Suppose j = -5*w - 18, 0 = -0*w - 3*w + j - 6. Let r be 3 + (-1 - (w - -3)). Suppose 0 = 4*q + 4*c - 112, q - r*c = -q + 76. Is 10 a factor of q?
False
Let d(w) = w**3 + 9*w**2 + 18*w - 6. Let f be d(-5). Suppose 5*a + f*s = 285, -5*s + 9*s = 20. Is 15 a factor of a?
False
Suppose -59*o = -184*o + 4322188 + 574562. Does 14 divide o?
False
Let x(d) = -d**2 + 14*d - 8. Let n be ((-4)/(-2) - 4)*(-39)/6. Let y be x(n). Suppose 0 = -y*i + 15*i - 860. Is i a multiple of 18?
False
Suppose 0 = 120*l - 124*l + 4800. Is l a multiple of 25?
True
Suppose 0 = -5*b + 4 + 11. Suppose -5*c = -0*u - 3*u - 169, -u = -b*c + 63. Is 32 a factor of u/30*310/(-4)?
False
Let s be (-6)/21 + 498/(-21). Suppose 3*y + 5*a + 118 = 665, a = -2*y + 353. Let t = y + s. Does 10 divide t?
True
Suppose -9*b = -13 - 23. Is b/(-30) + (-58)/30*-28 a multiple of 9?
True
Suppose -16*g + 80609 = 5*h - 19*g, 5*g + 48375 = 3*h. Is h a multiple of 26?
True
Let t(u) = -138*u**3 - 202*u**2 - 824*u - 1. Does 11 divide t(-4)?
False
Let u(g) be the third derivative of 415*g**4/24 - 43*g**3/6 + 159*g**2. Does 31 divide u(1)?
True
Let n(b) = -2*b - 2. Let j(h) = 12*h + 39. Let z(i) = 2*j(i) + 14*n(i). Does 8 divide z(-14)?
False
Let n = -2632 + 5096. Is 28 a factor of n?
True
Let x(a) = a**3 + 5*a**2 + 4*a - 1. Let l be x(-2). Suppose 5*s = -2*p - 0*p + 958, -12 = -l*s. Is 67 a factor of p?
True
Suppose -1254672 = -23*b + 92159 - 211712. Is b a multiple of 28?
False
Suppose 3*m = 25 - 4. Let p(j) = -4*j + 37. Let t be p(m). Suppose t*h - 80 = 4*h. Is h a multiple of 8?
True
Suppose -80*b = -79*b - 186. Suppose -b = 6*l - 3840. Is l a multiple of 7?
True
Suppose 67 = 10*x + 17. Suppose x*b = k + 342, 22 + 44 = b + k. Does 4 divide b?
True
Let d be 6/(-15) + 1956/(-10). Let l(b) = 71*b - 2846. Let v be l(40). Is 3/(v/d) - (1 + -4) a multiple of 7?
False
Let u = 143 + -137. Let y = -5 - u. Let i = 52 - y. Does 7 divide i?
True
Suppose -970*b = -904*b - 991122. Does 130 divide b?
False
Suppose -42*q + 35 = -37*q. Let r(x) be the first derivative of x**4/4 - 8*x**3/3 + 6*x**2 - 5*x + 1. Is 15 a factor of r(q)?
True
Suppose -3*t = -4*o - 22, 0 = 5*t + 4*o - o + 2. Suppose 8*p - 2*n + 10 = 4*p, t*p - 3*n = -15. Is 53 - (1 - p) - -5 a multiple of 4?
False
Let x(n) = n**3 - 6*n**2 + 4*n + 8. Let z be x(5). Suppose -3*s + 77 = q, -s - 2*s - 231 = -z*q. Suppose -2*p - 5*o = -q, 2*p - o - o = 70. Is 6 a factor of p?
True
Let f(o) = 11*o + 138. Let k be f(-12). Suppose 5*b - 3*n = 2620, k*n + 10 = 8*n. Is 31 a factor of b?
True
Let x(n) = -14*n + 3 + 10*n - 19*n - 62. Is 15 a factor of x(-39)?
False
Let v(s) = 6*s**2 + s - 1. Let y be 1/(-3) + (-259)/(-21). Let g be (0 + (-4)/y)/(1/15). Does 24 divide v(g)?
True
Let m(c) = -225*c - 79. Let l(s) = 75*s + 26. Let z(n) = 17*l(n) + 6*m(n). Let f be z(-12). Suppose -2908 = -10*r - f. Is 59 a factor of r?
False
Suppose 0 = -2*p + 1227*d - 1229*d + 57958, -86945 = -3*p + d. Does 73 divide p?
True
Let u = 8854 + 6362. Is u a multiple of 27?
False
Let d(j) = 7*j + j**2 - 3*j + 4*j - 2*j**2 + 12. Let i be 28*(-5 + 185/35). Is d(i) a multiple of 3?
True
Is 18 a factor of (1 + 10/(-4))/(48/(-201024))?
True
Suppose -2 = -k + 2*r, -4*k - 2 = -k - 2*r. Let d be (14 - 0 - k) + 3. Suppose -477 = 16*n - d*n. Does 32 divide n?
False
Let x = 67 - 46. Let f = x + -17. Suppose -304 = -3*g - 3*s - 40, -f*g + 327 = -s. Is 7 a factor of g?
False
Let b(x) = -11*x + 47. Let w be b(4). Suppose 4*v = 2*p + 2162, 0 = w*v + 4*p - 0*p - 1616. Is v a multiple of 12?
True
Let i be ((-6)/6)/2 - (-854)/(-4). Let v = i + 618. Is v a multiple of 16?
False
Suppose -17*l + 13304 = -21954. Is l a multiple of 71?
False