(23 - 7) a multiple of 8?
False
Let p be (24/(-5))/4*10/(-4). Suppose p*o + s = 146, -2*o - 3*s = -101 - 1. Let f = -4 + o. Is f a multiple of 20?
False
Let l = 0 + 2. Let q = -36 - l. Does 30 divide (-4)/(-1 - (-3 - 78/q))?
False
Let y be -1 + 27/5 + 4/(-10). Suppose -h + 1 = -y*n - 4, 0 = n + h - 5. Let t(j) = -j**2 - j + 10. Is t(n) a multiple of 6?
False
Let u(d) = d**2 - 5*d + 2. Let g be u(2). Let n(h) = 6 - 2 - 77725*h**2 + 77738*h**2 + 5*h. Does 48 divide n(g)?
True
Let a be (-3 - -35)/((-18)/(-20007)). Suppose 69*d = 33*d + a. Is d a multiple of 52?
True
Suppose 0 = 5*m - m + 4*l - 3092, -3*m + l = -2299. Is 4 a factor of m?
True
Let u(s) = 7*s**2 + 16*s + 278. Let q(n) = 3*n**2 + 8*n + 140. Let w(y) = 9*q(y) - 4*u(y). Is w(0) a multiple of 9?
False
Let h(b) = b**3 - 35*b**2 - 25*b - 189. Let v(c) = -2*c + 114. Let p be v(39). Is h(p) a multiple of 23?
True
Let n(m) be the first derivative of 1132*m**3/3 + 2*m**2 + 3*m - 160. Does 13 divide n(-1)?
True
Let s(w) = 178*w**2 + 30*w + 48. Is s(5) a multiple of 4?
True
Is (8*-1 - (-1246)/89)*283 a multiple of 4?
False
Let f(b) = 5*b**2 - 58 + 3*b**3 + 61 - 3*b**2 - b**2 - 3*b. Is 25 a factor of f(2)?
True
Let i(a) = 6*a**2 + 15*a + 13. Let z be i(-1). Suppose -9*p = -z*c - 5*p + 1152, 20 = 5*p. Is 21 a factor of c?
False
Let s = 86 + -86. Suppose -6*f + 2*f + 16 = s. Suppose -4*h - f*k = -388, 5*k + 2 + 3 = 0. Does 14 divide h?
True
Let p(f) = -f**3 + 16*f**2 - 8*f - 9. Let c(n) = 13*n**2 + 5*n + 3. Let j be c(-3). Suppose 0 = 6*k - 13*k + j. Is 12 a factor of p(k)?
True
Let x be 65615/15 + (20/(-15) - -1). Suppose -x = 11*z - 20*z. Is 32 a factor of z?
False
Let u(w) = -2*w**2 - 59*w + 33. Is 39 a factor of u(-15)?
True
Let h = -326 + 230. Let f be (4/8)/(4/h). Is 591/6 + 6/f a multiple of 14?
True
Let d be 1 - (-9)/(-1)*-3. Suppose 324 = -5*y + 3*q, -19*y = -16*y + 2*q + 202. Let m = d - y. Is 28 a factor of m?
False
Is 202 a factor of (-3030*50/(-105))/(4/14)?
True
Let c(r) = 3*r**3 - 12*r**2 + 12*r + 16. Let l be c(7). Suppose 3*s + 4*i - 131 = l, 448 = 2*s + 4*i. Does 14 divide s?
True
Let o = 474 - 467. Let r(m) = 5*m**2 - 18*m + 3. Let k(q) = -9*q**2 + 36*q - 5. Let t(j) = 3*k(j) + 5*r(j). Does 14 divide t(o)?
True
Let h = -319 + 370. Suppose -43*y - h = -524. Is y a multiple of 2?
False
Let o = -18787 - -45411. Is o a multiple of 26?
True
Suppose -35*c + 540 = -5*c. Does 29 divide 5*-20*(-135)/c?
False
Let n(c) = -4*c - c**2 + 21 - 19 + 2*c. Let v be n(-8). Let d = -33 - v. Is d a multiple of 13?
True
Is 7113 - 1*(12 + 3) a multiple of 14?
True
Let z(l) = -l**3 + 6*l**2 - 2*l + 30. Let h be z(6). Is 12 a factor of -24*(-3)/h*3?
True
Is 2432508/429 + 6/(-33) a multiple of 21?
True
Let s be 1175/(-50)*2*1*-2. Let k = 2 + s. Does 6 divide k?
True
Let n = 6471 + 749. Is n a multiple of 73?
False
Let b(q) = 15*q + 5. Let p be b(20). Suppose 55 = -s + 5*l, 0 = -5*s - 4*l - l - p. Let d = 78 + s. Is 6 a factor of d?
True
Let c(i) be the third derivative of i**5/20 + 3*i**4/4 - 17*i**3/2 - 27*i**2. Is c(15) a multiple of 15?
False
Let k(j) = -27*j**3 + 2*j**2 + 10*j + 19. Suppose -25 - 27 = 26*h. Is k(h) a multiple of 29?
False
Suppose 3*d = -4*m + 17551, 4*d = -m - 47 + 4451. Is m a multiple of 51?
False
Let d = -8511 - -8639. Is d a multiple of 8?
True
Let m = -99 - -140. Let c = 194 - m. Is c a multiple of 17?
True
Suppose -2*w - 14 = d + 63, -3*d + 165 = -5*w. Let s be (-24)/w*(-27)/2. Let j(h) = -h**2 - 12*h + 10. Is 7 a factor of j(s)?
False
Let m(t) = -110*t**3 - 7*t**2 - 2*t + 5. Does 10 divide m(-2)?
False
Let n = 29 + 623. Suppose 4*f = 5*c + n, 26 = f - c - 138. Is 12 a factor of f?
True
Let f be -91 + 0/2 + -1. Suppose 3*q - 5*t + 46 = 0, -2*t + 15 + 16 = -3*q. Let r = q - f. Is r a multiple of 17?
True
Let r = -34491 + 58399. Is 172 a factor of r?
True
Let w(j) = j**3 - 4*j**2 - 16*j - 125. Is w(19) a multiple of 8?
False
Let y = 10128 - 8412. Is y a multiple of 13?
True
Let w = -2755 - -22483. Is 12 a factor of w?
True
Let g = -94 - -112. Suppose -g*l + 2510 + 3376 = 0. Is l a multiple of 27?
False
Suppose 43*j = 38*j + 70. Suppose g + 3*h + h - j = 0, -5*h = g - 16. Let c(t) = -2*t**3 + 14*t**2 - 6*t - 8. Is 2 a factor of c(g)?
True
Let l(q) = 29*q - 3. Let r be l(-4). Let k(c) = 79*c**3 + 4*c**2 + 6*c + 7. Let t be k(-3). Does 18 divide 1*2/7 + t/r?
True
Suppose 33*a + 19*a - 156 = 0. Suppose 0 = -4*i - a*u + 651, -u - 299 = -2*i + 34. Is i a multiple of 33?
True
Suppose -4797*h - 4787*h = -9605*h + 910770. Is h a multiple of 18?
False
Let l(v) = -v + 2*v + 6 + v**2 - 7*v - v. Let g be l(5). Does 15 divide 3/g - 1260/(-80)?
True
Let q = -74 - -76. Suppose 0 = -q*x + 2*v + 2, -3*x - 3*v + 2*v = -7. Suppose n + 3*n = -4*i + 276, x = -n. Does 8 divide i?
False
Let a(f) = -2*f**3 + f**2 + 3. Let p be a(0). Suppose x = p*x - 70. Is 5 a factor of x?
True
Let m(o) = 4*o - 10. Let v be m(3). Let b(x) = x**2 - 4*x - 6. Let l be b(0). Does 34 divide 400/v + 24/l?
False
Let k = -16404 - -49267. Is 13 a factor of k?
False
Suppose -5*w = 10, 0 = -3*l + 8*l - w - 27. Suppose 24 = 572*h - 566*h. Suppose t + h*b = 178, l*t + 573 = 8*t - b. Does 19 divide t?
True
Let i be (-29 + 28)/(2/16*-2). Suppose -i*l = -l - 27. Is l even?
False
Let v(k) = 4*k**2 - k - 35. Let l be v(-6). Suppose l + 65 = 10*f. Is 9 a factor of f?
True
Suppose 5*r - 487 = -3*y + 671, 1544 = 4*y - 4*r. Suppose -4*x + 214 = -y. Is x a multiple of 25?
True
Let m(a) = 2*a + 36. Let q(u) = -40*u + 1 + 15*u + 26*u. Let j(n) = m(n) - 5*q(n). Does 10 divide j(-5)?
False
Is (-89 - -6689)/(2/6) a multiple of 100?
True
Suppose -458544 = -9*h - 4*h - 28*h. Does 24 divide h?
True
Let x(f) = -294*f - 1340. Let q be x(-5). Suppose -2*o - 88 = -p, 3*p - 2*o - 248 = -0*o. Let r = q - p. Does 21 divide r?
False
Let l(g) = 2*g - 8. Let u be l(-6). Let o = 2803 - 2807. Is 16 a factor of 4 - 835/u - 1/o?
False
Suppose 2*p = -0*p + 3*w - 107, -2*p = -2*w + 104. Let g be (-788)/(-14) - (-14)/p. Suppose -2*q + g = -310. Does 29 divide q?
False
Let o = 5165 + 1962. Is 91 a factor of o?
False
Suppose -270 = -148*b + 145*b. Suppose 0 = -2*n - 5*n - 119. Let y = b + n. Does 32 divide y?
False
Let r be ((-5)/4)/((-2)/48). Let v be 1158/10 + 6/r. Suppose -3*d - 226 = -7*d - n, 0 = -2*d + n + v. Does 11 divide d?
False
Let x(a) = 19*a + 6. Let o(u) = 96*u + 31. Let r(j) = -6*o(j) + 33*x(j). Does 16 divide r(6)?
False
Let i(k) = -11*k + 68. Let d be i(6). Suppose y - 239 = -4*u, 1239 = y + 4*y - d*u. Does 3 divide y?
False
Let x = -4125 + 9276. Is 27 a factor of x?
False
Let y(i) = 0*i + 8*i - 64 + 62. Suppose -k + t = -5, -2*t - t = 0. Is y(k) a multiple of 16?
False
Let f = 55 - 51. Suppose -3936 = -8*k - f*k. Does 19 divide k?
False
Suppose -14*p = -290620 + 97460 - 92370. Is 96 a factor of p?
False
Let l(i) = i**2 + 2*i + 3. Let a be l(-15). Suppose r - 189 = -3*y - 3*r, -a = -3*y - r. Let m = 130 - y. Is m a multiple of 18?
False
Suppose 29*v - 21*v + 472 = 0. Let c = 227 - 336. Let n = v - c. Does 3 divide n?
False
Let z(q) = -2*q**3 - 5*q**2 + 6*q + 5. Let j(v) = v**3 - v**2 - v + 1. Let y(s) = 4*j(s) - z(s). Is y(3) a multiple of 10?
True
Let b = 105 + 849. Is 87 a factor of b?
False
Let m(d) = -579*d - 1838. Is m(-18) a multiple of 74?
True
Let f be (10*(-2)/(-4))/((-20)/(-24)). Let b be (-80)/13 + f - 28/(-13). Suppose 3*j = -4*k + 85, -3*k + 107 = b*k + 4*j. Is k a multiple of 19?
True
Let a(t) = t**3 + 9*t**2 + 21*t - 591. Is 17 a factor of a(22)?
True
Suppose 4*b - 84 = -4*h, -3*b = -2*h - 6*b + 41. Suppose -19*m - 9 = -h*m. Does 4 divide (2 - (m + -38)) + (2 - 0)?
False
Let i = 298 - 291. Let u(n) = 12*n**2 + 9*n - 39. Is u(i) a multiple of 34?
True
Let t(v) = -v + 4. Let g be t(15). Is 9 a factor of 144*(6 - g/(-2))?
True
Is (-1630470)/(-23)*10/(-60)*4/(-2) a multiple of 170?
True
Suppose 0 = -3*k - 2*o + 15, 0 = -k + 3*o - 2 + 7. Suppose 0 = -k*b + q + 144, -47 - 85 = -5*b - 2*q. Does 15 divide -8*b/8*15/(-14)?
True
Let g be (-26 + 25)/(2/6). Is 19 a factor of g/(-2)*1172/6?
False
Suppose -101 = -3*z + 1330. Suppose -s = -4*s + z. Suppose -5*p = -4*i + s, -2*i - 5*p + 28 = -59. Is 4 a factor of i?
False
Suppose -4*c + 0*g - 2*g = 932, -4*g = -3*c - 688. Let b = 252 + c. Is 10 a factor of b?
True
Let n = -80 + 88. Let a(z) = z**2 