 divide (36/45)/(q/(-255))?
False
Suppose 2*n = 5*n + 120. Let h(x) = 117*x + 1. Let i be h(1). Let z = i + n. Is 26 a factor of z?
True
Is 5 a factor of ((-1890)/20)/9*376/(-14)?
False
Let f be 8 - (-7)/((-35)/(-10)). Is (f/2)/((10/(-25))/(-2)) a multiple of 25?
True
Let q = -8 + -17. Let z = 25 + q. Suppose -3*m + 5*m - 28 = z. Does 14 divide m?
True
Let g be (-1 + 0)/((-5)/10). Suppose -s = -g*s + 135. Suppose 12*b - s = 7*b. Does 14 divide b?
False
Suppose -31 = 2*z - 6*z - 5*p, 0 = -3*z + 4*p. Suppose 2*y = z*h + 62, 3*y + 3*h + 36 - 129 = 0. Is y a multiple of 10?
False
Let n(t) = 2*t**2 + 5*t + 3. Suppose -1 = -9*d - 28. Does 3 divide n(d)?
True
Suppose -4*k = -4*q - 8, 5*k + 2*q = q + 40. Does 16 divide 11649/77 - 2/k?
False
Let l = -13 + 14. Let j = l - -50. Is j a multiple of 25?
False
Let h = -32 + 28. Let q(z) = -18*z - 12. Does 12 divide q(h)?
True
Let o be (0 + -2)*5/10*1. Let n(j) = -159*j - 1. Does 25 divide n(o)?
False
Let i = 1813 + -1072. Is i a multiple of 19?
True
Suppose -w + 17147 = 5*j, 653*w - 656*w = -j + 3439. Is 14 a factor of j?
True
Suppose -6 = -0*h - 2*h, c = h + 69. Is 8 a factor of c?
True
Is (-24)/((4 + -2)/(-36)) a multiple of 54?
True
Is (177/6*-10)/(0 + -1) a multiple of 22?
False
Let r be (4 - (-2)/(-1)) + 110. Let u = 222 - r. Does 22 divide u?
True
Let t = 19 + -17. Suppose -5*x + t*m = 71, 2*x - m = 4*x + 32. Let c = x - -19. Is 2 a factor of c?
True
Suppose 0 = 5*l - 5, -3*l + 101 = -2*x + 342. Suppose 4*y - 65 - 141 = -5*b, -3*b + x = 4*y. Is b a multiple of 42?
True
Let u(p) = 15*p**2 + 3*p - 2. Let o be u(-3). Let f = o + -40. Does 15 divide f?
False
Let x(h) = 1208*h**2 - 11*h - 10. Is 13 a factor of x(-1)?
True
Suppose -6 = -k - 2. Suppose -5*a + 199 = -5*d + 559, 0 = -5*d - k*a + 405. Is d a multiple of 8?
False
Let n = -487 + 198. Let l = -199 - n. Is 23 a factor of l?
False
Suppose -2*w = -2*q - 50 - 140, -2*q = 4*w - 368. Let n = w - 141. Let j = n - -93. Is j a multiple of 9?
True
Does 9 divide (4626/(-15))/(44/(-110))?
False
Is (5/(-3))/(12 + (-25500)/2124) a multiple of 74?
False
Suppose -z - 4*p + 24 = 3*z, 5*z - 2 = 2*p. Suppose 0 = 5*l - z*l - 114. Suppose 3*x + l - 128 = 0. Is 27 a factor of x?
False
Let m(u) = -u + 3. Let v be 9*1*(15 + -14). Let g be (-6)/v*12/1. Does 2 divide m(g)?
False
Suppose 2*b + 2*m = 86, -4*b + 7*b + m - 139 = 0. Suppose 4*a - z - 152 = z, 2*z - b = -a. Is (a - (-1)/1) + -3 a multiple of 17?
False
Let n(r) = -80*r - 16. Let s be n(-5). Suppose s = 4*x + 24. Is 15 a factor of x?
True
Suppose -3 = -3*p, -3*p - 108 = -4*m + m. Let t be (0 - m)/((-7)/(-28)). Let z = -88 - t. Does 15 divide z?
True
Suppose h + 8 = 9. Let o be -6*(-1 + h/3). Suppose -4*a + 40 = 2*j, -3*j - 15 = -o*j - 3*a. Is 15 a factor of j?
True
Let x = 16 - 13. Suppose -5*o - 15 = 4*t - 8*o, -4*t - o = -5. Suppose -x*a + 53 + 46 = t. Is 13 a factor of a?
False
Let a be 3248/126 - 4/(-18). Let j = 29 - a. Does 4 divide (4/j)/(8/48)?
True
Suppose -3*h + 3 = -4*g - 3, 3*g + 7 = h. Let n(j) = 2*j**2 + 4*j + 2. Let x be n(h). Is (43 - -4) + x + -2 a multiple of 13?
False
Let k = -811 + 1094. Does 5 divide k?
False
Let b(v) = 2*v**2 - 24*v - 21. Let u be b(12). Let n(q) = q**3 + 21*q**2 - 4*q - 31. Is n(u) a multiple of 12?
False
Suppose -j - 2*t - t = -546, -4*t + 8 = 0. Does 36 divide j?
True
Suppose 13*v - 972 = 12*v. Is v a multiple of 18?
True
Suppose 6*m - 26 = 46. Let g = 14 - m. Suppose w - g*s - 12 = 0, 3*s = -w + 11 + 6. Does 4 divide w?
False
Let c(v) = 36*v**2 + 3*v - 7. Let j be c(3). Let u = 482 - j. Is u a multiple of 39?
True
Let s(v) = 410*v - 38. Let k be s(9). Suppose -7*x + k = 4*x. Is x a multiple of 15?
False
Let p(w) = -2*w + 31. Let o be 2*(-1)/(-8)*4*-23. Is p(o) a multiple of 7?
True
Suppose 7*i = 2484 - 104. Does 63 divide i?
False
Let l = -107 - -538. Is l a multiple of 11?
False
Let z = -486 - -810. Suppose 4*p = -2*g + z, -2*g - p = 2*g - 648. Is g a multiple of 18?
True
Let z = -15 + 9. Let q(s) = 13*s**2 + 45*s - 13. Let c(d) = -7*d**2 - 23*d + 6. Let r(o) = z*q(o) - 11*c(o). Does 16 divide r(-13)?
True
Suppose 4*f - 5*t = -2, t = 2 - 0. Suppose -4*c = -0*n - 3*n, 0 = 2*n - f*c - 2. Is 8 a factor of (3 - n)*1*-24?
True
Suppose l + 4*l + m = 47, -5*l + 44 = 2*m. Let z = l - -125. Does 45 divide z?
True
Suppose -8*u + 6*u = 24. Let c be u/54 - 87/(-27). Let g = 17 - c. Does 7 divide g?
True
Let s be (0 + -14)/(5 + 78/(-15)). Suppose 4*v + 26 = -3*m + 111, -3*v + s = m. Does 12 divide v?
False
Let n(l) = l**2 - 4*l - 1. Let a = 14 - 9. Let z be n(a). Suppose -y + z*y = 36. Is 4 a factor of y?
True
Let c = -38 + 26. Is 162*(-2)/(-5)*(-15)/c a multiple of 9?
True
Let c(n) = -49*n**2 - 2*n - 6. Let g(q) = 49*q**2 + 2*q + 5. Let k(r) = 4*c(r) + 5*g(r). Suppose -2*w + 3 = 5. Is 17 a factor of k(w)?
False
Is 13 a factor of 1/(8*14/107296)?
False
Is 23 a factor of ((-713)/(-62))/((-2)/(-4) + 0)?
True
Suppose 0 = -v + 12 - 9. Suppose -v*z + 4 = -z. Suppose -3*i - z*i + 285 = 0. Is i a multiple of 19?
True
Suppose -2 = 4*q - 18. Suppose 0 = 6*c - q*c - 6. Suppose -14 = c*x - 5*x. Is 3 a factor of x?
False
Let p = 98 - -37. Suppose -3*n + 0*n = -p. Is n a multiple of 15?
True
Let o(l) = -l**3 + 5*l**2 - 6*l + 3. Let w be o(5). Let u = 0 + -19. Let n = u - w. Is 4 a factor of n?
True
Suppose 106*c + 1265 = 111*c. Is c a multiple of 25?
False
Let d = -11 - -29. Suppose 2*z = 4*j + 26, 2*j - z + d = -5*z. Let t = j - -25. Does 4 divide t?
False
Let c(t) = -2*t**3 + 4*t**2 - t - 2. Let u be c(2). Let a be 1/((-4)/u)*2. Suppose 0 = 4*h - a*h - 68. Does 7 divide h?
False
Is 1703/4 - (1 - (-25)/(-20)) a multiple of 10?
False
Let a(s) = -29*s - 2. Let g be a(-1). Let i(b) = b**2 - 23*b + 4. Is i(g) a multiple of 16?
True
Let w = 98 - -5. Suppose -w = -10*i + 387. Does 12 divide i?
False
Let r(m) = 9*m - 2. Let v be r(1). Let k = v + 43. Is 16 a factor of k?
False
Suppose 5*x = -0*x + 15. Let h(v) = -2 + 8 + 0 + 7*v. Is 7 a factor of h(x)?
False
Suppose -16*n = -11*n + 60. Suppose -113 + 37 = 4*w. Let x = n - w. Is x even?
False
Suppose 0*s - 6*s = -102. Is 4 a factor of s?
False
Let b be (-1)/(-5) - (-78)/10. Let l(m) = 6 - 8*m - m**3 + 6 - 4*m**2 + 2*m**3 - 3*m**2. Is l(b) a multiple of 5?
False
Let k(s) = 33*s**3 - s + 1. Let a be k(1). Suppose -3*w + 15 = 4*x, -3*x - 4*w + 9*w = -a. Is 4/x*324/4 a multiple of 9?
True
Suppose 5*u + 5*g - g - 24 = 0, 4*g = -u + 8. Is 22 a factor of (40 + u)/(((-7)/2)/(-7))?
True
Let g(v) = -30*v + 6. Let b be g(-4). Is 2 + (-4)/(-8)*b a multiple of 13?
True
Let t be (-14)/(-49) + 33/7. Suppose -5*a - t*d = -890, -3*a - d + 2*d = -526. Does 30 divide a?
False
Suppose -1012 = -6*k + 470. Is k a multiple of 19?
True
Let w(n) = n**2 - 2*n + 29. Is w(0) even?
False
Let p = 4 - 42. Let c be p/(-8) + 15/(-20). Suppose 5*a = 5*h - 0*a - 195, c*h - 3*a - 151 = 0. Is 17 a factor of h?
True
Suppose 0 = -90*x + 70*x + 38680. Is 32 a factor of x?
False
Let y(i) be the third derivative of i**4/8 - i**3/3 + 5*i**2. Let x be y(2). Suppose 40 + x = 2*f. Is f a multiple of 5?
False
Suppose 3*o - 16*l - 435 = -18*l, l = 3*o - 444. Is o a multiple of 16?
False
Suppose -2 - 1 = -u. Suppose 662 = -5*g + x, -u*g - 390 = 3*x - 0*x. Let j = -78 - g. Is j a multiple of 18?
True
Let z = 440 + -340. Is z a multiple of 18?
False
Suppose -24 = -2*b + 2*f, 2*f = -5*b - f + 28. Suppose -5*p + 117 = -b*p. Is p/((-4)/((-32)/(-12))) a multiple of 26?
True
Let b = 71 - 115. Let w = 51 + b. Is w a multiple of 2?
False
Let m(v) = -361*v - 1092. Does 54 divide m(-12)?
True
Let x(h) = h**2 - 10*h + 11. Let o be x(9). Let l(a) = 3*a - 4*a - a**o + a**3 + 1 + 2. Is 6 a factor of l(3)?
True
Suppose j = 3*h - 7 - 3, -2*h = 3*j - 25. Suppose -1 + 13 = 4*c + h*s, 3*c + 26 = 5*s. Is 9 a factor of c/1 + 14 - 3?
True
Let c(z) = -z**3 + 5*z**2 - 6*z + 2. Let a be c(2). Suppose -4*v - o = 4*o - 252, 148 = a*v - 3*o. Is v a multiple of 25?
False
Let h(u) = 2 + u**2 - 2*u - 2*u + 15*u**3 + 0*u + 3*u. Is h(2) a multiple of 31?
True
Suppose -3608 - 555 = -4*l + 5*i, -7*i + 2129 = 2*l. Does 13 divide l?
False
Let p = 5 + -1. Suppose -k + 0*k = 2. Does 20 divide 50/(-15)*(k - p)?
True
Let r(o) be the first derivative of -o**4 + o**3/3 - o + 2. Let a be r(-1). Suppose k - 51 = 4*z + 8, -145 = -3*k - a*z. Do