r of ((-102)/(-8))/(-1 - d/(-140))?
True
Let q be 6/(2 - (-1 - -4)). Let k be -2 - (102/(-18) + (-4)/q). Suppose -2*u + 2*t + 65 = u, 0 = -5*u + k*t + 110. Does 5 divide u?
True
Let g(r) = -57*r - 125. Let u be g(-6). Suppose b - 13 = u. Does 23 divide b?
True
Suppose 3*z = 4 + 5, -35 = -4*x - z. Let r(i) = -2*i - i - x - 13*i - 18. Is 25 a factor of r(-11)?
True
Let r(s) = 156*s + 1042. Is r(0) a multiple of 17?
False
Suppose -3*q = -2*q - 2. Suppose -2*s = -5*u - 49, q*s + 3*s + 4*u = 106. Is 39 a factor of s/4*-46*(-19 - -18)?
False
Let w(y) = y**2. Let h(c) = -3*c**2 - 25*c + 86. Let g(q) = -h(q) + 5*w(q). Does 32 divide g(10)?
False
Let h(x) = x**2 + 28*x + 39. Let z be (32/(-64))/(1*1/(-26)). Does 22 divide h(z)?
True
Let j(z) = 4*z**2 - z - 9. Let q be j(3). Let s be (12/q)/((-1)/(-326)). Suppose 0 = -3*m - w + s, w - 61 = -m + 2*w. Is m a multiple of 28?
True
Let n(i) = -18*i + 31. Let f be n(-10). Let r = f + -5. Is 27 a factor of r?
False
Let s be (3534/(-31))/((-1)/((-40)/2)). Let b = s - -3372. Is 26 a factor of b?
True
Let r(j) = 7*j - j + 5 + 18*j**2 - 3 - 7 - 25. Is 65 a factor of r(8)?
True
Let i be (0 - -18)*171/18. Suppose -4*o - 19 = 4*z - 195, 3*o = -4*z + i. Suppose 2*m + 2*t - 2 = 4, 5*m = t + z. Does 3 divide m?
False
Let y(n) be the first derivative of 10*n**2 + 4*n + 6. Let f be y(2). Let r = 154 - f. Does 22 divide r?
True
Suppose -6 + 48 = 7*s. Suppose 2*o = 3*p - 16, -3*o = -4*p - s + 28. Suppose -5*t = 0, -p*j = -0*j + 4*t - 300. Does 38 divide j?
False
Suppose -1508 = -24*l + 8945 + 18851. Does 3 divide l?
True
Let j = 137 - 96. Let a(p) = p**3 + 7*p**2 + 43*p + 296. Let y be a(-7). Is 0 + j + (y - -4) a multiple of 20?
True
Suppose 6 = 3*t - 3. Suppose j + 343 = t*j + 5*m, 0 = j + 4*m - 170. Let d = -113 + j. Is d a multiple of 26?
False
Let o(j) = -3*j. Let n be o(-3). Let f(v) be the third derivative of v**6/120 - v**5/10 - 7*v**4/24 - 7*v**3/6 + 388*v**2. Is 41 a factor of f(n)?
False
Let l be (-12)/(-30)*4/((-4)/(-5)). Suppose 124 = -2*q + 3*n - 276, l*n = -5*q - 981. Let g = 341 + q. Does 24 divide g?
True
Suppose -5*g - 4*r = -82, -40*g - 3*r = -44*g + 78. Let j(x) = -10*x + 246. Is 6 a factor of j(g)?
True
Let a = 139 - 519. Let n = 460 + a. Does 8 divide n?
True
Suppose -29*f + 6046 = -31654. Does 4 divide f?
True
Let s = 49951 + -38644. Does 3 divide s?
True
Let t(l) = -174 + 84 - 14*l + 87. Let u(s) = -s - 9. Let k be u(-8). Does 6 divide t(k)?
False
Let y(z) be the second derivative of -7*z**3/6 - 23*z**2 + 7*z - 6. Is 11 a factor of y(-12)?
False
Let l(o) be the second derivative of 7*o**3/6 + 23*o**2/2 - 13*o. Is l(23) a multiple of 8?
True
Suppose 0 = 5*c + 2*m - 103, -c + 2*m = 2*c - 65. Suppose -18 = -c*b + 18*b. Does 3 divide b?
True
Let a = -46 + 46. Suppose 4*q - 6*q + 44 = a. Suppose 3*r = 2*u + 33, -5*r + 77 = u + q. Is r a multiple of 2?
False
Suppose 96 = -15*d + 19*d. Is 23 a factor of (-8)/d*12*218/(-8)?
False
Let u = -144 + -274. Let j = 1208 + u. Does 7 divide j?
False
Suppose -2*z - 467 = 3*y - 3*z, 4*z = -5*y - 784. Let v = -127 - y. Is 5 a factor of v?
False
Let b(a) = -5*a**2 - 10*a - 11. Let f be b(-1). Is 24 a factor of -10*(f - 330/12)?
False
Suppose 19*w = 24*w - 95. Suppose 0 = 2*j - 205 + w. Is j a multiple of 21?
False
Let y be (1/(-2))/((-9)/(-54)). Let h be 28/(y - 3/(54/(-58))). Suppose -14*i = -5*i - h. Is 7 a factor of i?
True
Suppose -6*w - 32247 = -10*w + h, -2*h = -w + 8053. Is 50 a factor of w?
False
Let f(i) = 87*i**3 - 43*i**3 - 11*i - 3 - 45*i**3 - 4*i**2 - 2. Is f(-4) a multiple of 15?
False
Is 6 a factor of 50/(-20)*44148/(-65)?
True
Let p(g) = -g**2 + 17*g - 14. Let q be p(16). Suppose 2 + 0 = -t, 128 = i + q*t. Is i a multiple of 22?
True
Let a be (449 - (-1 + 2)) + (-78)/(-26). Suppose -5*m - 15*y + a = -14*y, 0 = -m - y + 91. Is 69 a factor of m?
False
Let x(i) = 41*i - 78. Let v(b) = b**2 - 18*b + 95. Let a be v(10). Does 24 divide x(a)?
False
Let h = -18 + 35. Let v(r) = -22*r - 2*r + 3*r - 3 - h - r**2. Is v(-8) a multiple of 14?
True
Suppose -5*j + 7*j = 2. Does 55 divide j + (-5372)/(-14) - 6/(-21)?
True
Let o(p) = -p**3 + 4*p**2 + 43*p + 8. Let q be o(9). Does 50 divide 811 - q/2 - 6/(-1)?
False
Let g(h) = 9*h**2 - 6*h + 5. Let q be g(4). Let j = -2085 - -2087. Suppose -11 + 310 = 5*d - 3*r, j*d - q = 3*r. Does 15 divide d?
False
Let i(w) = w**2 - 18*w - 35. Let f be i(-12). Does 38 divide 1*(f - -2)*(-7)/(-7)?
False
Let n = -16 - -16. Suppose n = r + 8 - 173. Let d = r + 79. Is d a multiple of 36?
False
Suppose 3*f = -v + 17, -6*v + 4*f = -9*v + 41. Suppose 0 = v*a - 1998 - 246. Is 16 a factor of a?
False
Let h = 36204 - 19389. Is 15 a factor of h?
True
Let u(l) = 71*l**3 - 8*l**2 + 3*l - 2. Let q be u(2). Let m = q - -208. Is 11 a factor of m?
True
Let o(g) = 3*g**2 - g + 1. Let f be o(3). Suppose -l = 3*j - 5, -4*j = -4*l + 3 + 1. Let t = f + j. Is t a multiple of 26?
True
Suppose 4*s + s - n - 147 = 0, 0 = 5*s + 5*n - 165. Let f = 297 - 301. Is 9 a factor of f + (5 + -4)*0 + s?
False
Does 54 divide 0 + (8545 - (-169)/(-13))?
True
Suppose -625 = 6*z - 919. Let r = z - -328. Is 13 a factor of r?
True
Suppose 0 = 7*q - 9*q + 8. Suppose -2*p + 16 = -2*r, q*p = -r + 3*r + 28. Suppose -o - p = -20. Is 9 a factor of o?
False
Let c = -711 + 1034. Let h = c + 73. Is 22 a factor of h?
True
Let o = -84 - -154. Let b be o/(-2) + 0/28. Does 4 divide -1*5 - (b - -23)?
False
Is (1/((-3)/(-5)))/((-61 + 36)/(-4275)) a multiple of 10?
False
Let j = -459 - -464. Suppose j*s = -v + 134, -4*v + 3*s + 514 = s. Does 43 divide v?
True
Is 65 a factor of (-8666757)/(-2079) + (-4)/(-14)?
False
Let w(y) = 3*y**3 + 10*y**2 + 7*y - 12. Let d be w(-9). Let c be d/15*(-25)/10. Suppose -4*v + c - 50 = 0. Does 16 divide v?
True
Let o(j) = j**3 + 14*j**2 + 30*j + 2. Let v be 76/(-57)*(-30)/(-4). Is 12 a factor of o(v)?
False
Let w(p) be the second derivative of -p**5/60 + 5*p**4/6 - 6*p**3 + 15*p**2/2 - 5*p. Let h(f) be the first derivative of w(f). Is h(17) a multiple of 15?
True
Suppose 0 = -4*h - f + 2 - 6, 0 = 2*f. Does 5 divide 6/2 - -12*(-1)/h?
True
Suppose 5*g = y - 241, 3*y + 2*g = 452 + 339. Suppose i - j = 5*i - 527, 2*i - y = -3*j. Suppose -11*u - i = -1265. Does 16 divide u?
False
Suppose 22*g - 72*g + 200 = 0. Suppose 0*r + r = -2*n + 1031, -5*r + 2077 = g*n. Is 31 a factor of n?
False
Suppose 0*o - 59 = 5*o + 4*y, -4*y = -3*o - 29. Let f = o - 29. Let q = f + 51. Does 11 divide q?
True
Let n(i) = -7 + 35 + 386*i + 3*i**2 - 355*i. Does 9 divide n(-15)?
False
Let o = -445 - -631. Let d = o + -102. Suppose i - 39 = -6*a + 4*a, d = 4*a - 4*i. Is 10 a factor of a?
True
Let c be (-13 + 7)*3/(-9). Suppose 5*b + 10 = 0, -c*b = d + 3*b + 12. Let k = 23 + d. Does 3 divide k?
True
Let k be 10*-1*(-1)/2. Suppose 0*h = -k*h - 20. Does 12 divide (-2 + 7)/((-2 - h)/10)?
False
Suppose 94*p - 4540758 = -0*p - 24*p. Is p a multiple of 165?
False
Let x(h) = 19*h**2 + 23*h + 66. Is x(-17) a multiple of 14?
True
Let i(v) = -3*v**3 - 8*v**2 + 2*v. Let o = 163 - 166. Is i(o) a multiple of 3?
True
Suppose -4*n = 4*f - 40, 2*f - n - 4 = 1. Suppose 5*t = f*j + 3845, -3*j = -7*t + 10*t - 2283. Does 18 divide t?
False
Suppose 6 = 5*i - 4. Let z(x) = -18*x**3 + 2*x**2 - 2*x + 4. Let s be z(i). Let v = 2 - s. Is v a multiple of 12?
False
Suppose 12*w - 298 = 1946. Suppose 0 = -3*n + 4*n + 127. Let l = w + n. Is 15 a factor of l?
True
Suppose -119*l + 110*l = 1116. Is (-147)/(-14)*l/(-12)*2 a multiple of 24?
False
Suppose 40817 = 5*r + t - 5*t, 2*t = -6. Suppose 13*w = 7959 + r. Is w a multiple of 62?
True
Let o(t) = 0 - 10*t + 3 + 63*t - 5 - 1. Let c(p) = 2*p**2 - 10*p + 2. Let m be c(5). Does 13 divide o(m)?
False
Let r = -1562 - -3524. Is 9 a factor of r?
True
Suppose a - 16331 = 32*t - 37*t, 0 = -5*t - 5*a + 16315. Is t a multiple of 11?
True
Let p(f) be the second derivative of f**5/20 + 9*f**4/4 + 17*f**3/6 - 13*f**2/2 + 123*f. Is 13 a factor of p(-26)?
True
Let w(t) = 5*t**2 - 3*t + 4. Let i be w(1). Suppose i*f - 860 - 4450 = 0. Does 18 divide f?
False
Let h be (4 - 2)/((-13)/11 + 1). Let i(s) = 10 + s + 4 + 22. Is i(h) a multiple of 21?
False
Let f(s) be the third derivative of -3*s**4/4 + 27*s**3/2 + 91*s**2. Is f(4) even?
False
Suppose -3 = -2*a + 3*i + 7, 0 = 2*a - 2*i - 10. Let z(t