+ 150. Is 5 a factor of a?
True
Suppose 0 = -5*w - 22 - 28. Let u(f) = f**3 + 9*f**2 - 10*f + 2. Let z be u(w). Suppose k - 2*k - 73 = -3*c, -z*c + 45 = 3*k. Is c a multiple of 24?
True
Let i = -601 - -2231. Is 5 a factor of i?
True
Suppose -2*d + 7*d - 10 = 0. Suppose -a + 6*a = -5*q + 80, d*q + 4*a = 24. Suppose -k = 4*k - q. Is k even?
True
Suppose 2*n - 1 - 3 = 0. Suppose 0*s - 3*s - 15 = 0, -n*p + 95 = -s. Suppose 5*j + 2*t = p, -4*t + 41 = -3*j + 6*j. Is j a multiple of 4?
False
Let x be 1/6 + 1402/12. Suppose -4*n = -4, 4*s - n - x = 486. Is 29 a factor of s?
False
Suppose 4*g = -4*k + 1328, 5*k + g - 2*g - 1684 = 0. Is k/30 - 1/5 a multiple of 8?
False
Suppose 0 = 3*f + 2*f. Suppose f*h - w = -5*h + 31, -2*h - w + 11 = 0. Suppose 5*x - 3*x - h = 0. Does 2 divide x?
False
Let q = 70 + -65. Suppose 3*s + 162 = q*s. Does 27 divide s?
True
Let j(g) = g**3 + 12*g**2 - 12*g + 13. Let a be j(-13). Suppose a = 3*k - 8*k + 50. Is 3 a factor of k?
False
Suppose -3*s = r - 10, 4*s + s - 3*r - 40 = 0. Suppose -3*g + 336 = 3*u, -2*g = 2*g + s*u - 450. Does 11 divide g?
True
Let b(t) = 3*t**2 - 4*t + 4. Let f be b(2). Suppose -f*o = -3*o - 1350. Does 30 divide o?
True
Suppose 3*y + a - 178 = -0*a, -y - 4*a + 52 = 0. Is ((-128)/11)/(-2) + y/330 a multiple of 2?
True
Suppose 5*q - 12 = q. Suppose q*j - 240 = -6. Suppose -4*w = -w - j. Does 13 divide w?
True
Is ((-77)/14 - -6)/(2/604) a multiple of 105?
False
Let q(m) = -2*m + 1. Let u be q(-3). Suppose u*d = 381 - 52. Is 20 a factor of d?
False
Let c(d) = d**2 + 8*d + 8. Let g(z) = -z + 5. Suppose 0 = 2*v - 4*p - 38, 3*v - 75 + 26 = 2*p. Let k be g(v). Is 11 a factor of c(k)?
False
Suppose c - 36 = 2*k - 118, k + 5*c = 30. Suppose 3*t - k = -13. Does 5 divide 204/7 + t/(-63)?
False
Suppose -5*f - 2*n = -0 - 14, 2*f - n = 2. Let d(z) = -1 + 5*z + f*z - 6*z + 14*z**2. Is 6 a factor of d(-1)?
True
Suppose 0 = -4*h + r + 3, -h + 2*r + 1 - 9 = 0. Suppose -h*g = -g - 20. Let l = 14 + g. Is l a multiple of 7?
False
Let z = 9 - 3. Suppose 0 = -2*i + 5*i - z. Suppose -252 = -2*j - 2*j + 4*k, -i*j = 4*k - 144. Is 22 a factor of j?
True
Is 8 a factor of (159 - -1)*(3 + (-45)/18)?
True
Let l be 5/2 - 2/(-4). Let z(g) = -2*g - 4. Let n be z(-18). Suppose -n = -4*w - l*r, -7 = -w - 2*w + 2*r. Does 3 divide w?
False
Let v(b) = -b**2 + 2*b + 1. Let p be v(3). Let q be (3 + 57/p)*-2. Suppose -29 - 95 = -4*o + 4*a, 0 = o + 3*a - q. Is o a multiple of 6?
True
Suppose -565 = 3*p + v - 0*v, -p - 179 = -2*v. Let r = -69 - p. Is r a multiple of 25?
False
Suppose 3*l - 2 = 7. Suppose 2*c - l*c = -1. Is (-1)/(c + 140/(-135)) a multiple of 15?
False
Let r(p) = -p**3 - 84*p**2 + 25*p - 818. Does 12 divide r(-85)?
False
Let d = -34 - -53. Suppose d - 75 = -2*h. Is 7 a factor of h?
True
Suppose -7056 = -548*w + 539*w. Is w a multiple of 28?
True
Suppose l - 2*l + 4*t = 23, 4*l + 5*t - 13 = 0. Let x = l - -5. Suppose -5*r = -0*w + w - 20, -r = x*w - 13. Is w a multiple of 2?
False
Let f be 615/(-2) + (-3)/6. Let t = 516 + f. Is t a multiple of 16?
True
Let w(k) = 4*k**2 + 14*k + 32. Is w(-8) a multiple of 7?
False
Let l(h) = -17*h - 5. Let f be l(-4). Let y = -23 + f. Is 13 a factor of y?
False
Suppose 63*p - 61*p + 4*i = 3952, i = -4*p + 7918. Does 20 divide p?
True
Let l(w) be the third derivative of -w**6/10 + w**4/8 + 2*w**3/3 - 14*w**2. Is l(-2) a multiple of 47?
True
Suppose -4*k = 3*k - 105. Let z(n) = n**3 + 4*n**2 - 4*n - 5. Let u be z(-4). Suppose -k*j + u*j = -32. Is j a multiple of 8?
True
Suppose 393 = 3*g - 141. Suppose 0 = -q - q + g. Is q a multiple of 20?
False
Let w be (1 + -1)/(2 + 0). Let q be w - (1 - (1 + 4)). Suppose -q*f + 67 = -93. Is f a multiple of 8?
True
Is 47 a factor of (5 + -3)*(-246)/(-4)?
False
Suppose -3*z = 5*n - 52, z = -0*n - 3*n + 16. Suppose z + 1 = 5*t. Suppose -45 = -t*h + h. Is h a multiple of 11?
False
Let r(h) = -h**3 + 5*h**2 + 3*h - 9. Does 9 divide r(3)?
True
Let s(k) = -20*k**2 + k + 21. Let b(w) = -10*w**2 + 11. Let p(d) = 7*b(d) - 4*s(d). Is p(-2) a multiple of 6?
False
Suppose 2*z - 153 = -3*z + 4*w, 114 = 3*z + 5*w. Suppose 150 = -z*m + 38*m. Is m a multiple of 5?
True
Let u = 1470 + -557. Is 6 a factor of u?
False
Let u(h) = 3*h**3 - 3*h**2 + h + 21. Let c be u(-4). Let i = c + 413. Is i a multiple of 38?
True
Let s(i) = 27*i + 13 - 50 - 17. Does 20 divide s(13)?
False
Is (-8 - (1945/25 - -3))*-10 a multiple of 24?
True
Let h(n) = -n**3 + 9*n**2 + 2*n + 5. Let t be h(7). Let x = t + -86. Does 10 divide x?
False
Suppose 2 + 3 = a + k, -4*a = 3*k - 25. Suppose -5*v + a*v - 570 = 0. Suppose -2 = -h, -5*b + h + v = 41. Is b a multiple of 15?
True
Let f(i) = -3*i + 6. Let j be f(7). Let y = j - -26. Suppose -3*d = -4*w - 28, w + y = d + 1. Is d a multiple of 6?
True
Let l be 2/2 - (-4 - (-1671)/(-3)). Suppose 190 - l = -3*d. Does 60 divide d?
False
Suppose 0 = 2*w - 5*m - 19, -2*w - 2*w - 1 = 3*m. Suppose -w*t + t + 3 = 0. Suppose 32 = t*q - 25. Is 7 a factor of q?
False
Let q be (-8)/(-6)*81/6. Does 8 divide q/30 - 234/(-10)?
True
Suppose -4*g + 9*g - 20 = 0. Let v(y) = 6*y**2 - 2*y - 4. Let d be v(g). Suppose -5*p + 51 + d = 0. Does 27 divide p?
True
Suppose u = 6*u. Suppose 2*f + x - 8 = u, -2*f - 2 = -0*f - 4*x. Let z(l) = 21*l - 3. Does 19 divide z(f)?
False
Let w = -33 + 17. Let a(y) = -y**2 - 19*y - 8. Is 10 a factor of a(w)?
True
Let d = -25 + 38. Let f(u) = u**2 - 12*u - 9. Let m be f(d). Suppose 25 + m = y. Is 12 a factor of y?
False
Suppose 3627*g = 3619*g + 9672. Is 69 a factor of g?
False
Let r be ((-1)/2)/(1/(-10)). Suppose r*g = -4*b + 868, 0*g - 4*b = -g + 164. Suppose 2*o = -66 + g. Is 18 a factor of o?
False
Let a be (130/4 + -2)*-2. Let s = -104 + 82. Let q = s - a. Is q a multiple of 13?
True
Let s(f) = 4*f**2 - 24*f + 85. Does 13 divide s(5)?
True
Let o(r) = 18*r**3 + 3*r. Let u be o(2). Suppose -2*c + u = 2*n + 2*c, 3*n - 2*c = 201. Does 28 divide n?
False
Does 98 divide 16401/84 - 12/(-16)?
True
Suppose 0 = -26*n - 148 + 512. Is 5 a factor of n?
False
Let q(j) = -j + 1. Let w be q(-2). Is 21 a factor of 2 - 5/w - (-467)/3?
False
Suppose 2*z - 985 = -5*g - 3*z, 5*g - 2*z - 964 = 0. Does 4 divide g?
False
Does 20 divide 0/2 + (300 - (6 - 6))?
True
Let a be 6/(-9) + 6/9. Suppose 4*x + 2*x - 24 = a. Does 12 divide 408/(-30)*(-10)/x?
False
Let s(j) = j**2 + j - 6. Let h be s(-3). Suppose -34 = -h*o + 2*o. Is -2 + 1 - (-4 + o) a multiple of 5?
True
Let a be 177/(-2)*(-32)/12. Suppose 5*c + 76 - a = 0. Does 18 divide c?
False
Let d = 2139 - 1116. Is 21 a factor of d?
False
Let z(r) be the second derivative of r**3/3 + r**2 + 24*r. Is 12 a factor of z(11)?
True
Suppose -4664 - 58 = -6*d. Does 61 divide d?
False
Let o(u) = -u**3 - 17*u**2 - u - 12. Let p be o(-17). Suppose p*s - 169 = 1761. Is 16 a factor of s/12 - 2/12?
True
Let w(p) = 3*p**2 + 2*p - 1. Let g = -24 + 21. Does 20 divide w(g)?
True
Let q = 5557 + -3963. Is 67 a factor of q?
False
Let g be 5/((15/(-5))/(-3)). Let d(w) = -g*w**2 - 25*w**3 - 4 + 8*w + 46*w**3 - 20*w**3. Is d(5) a multiple of 12?
True
Let v(h) = 5*h**3 - h**2 + 5*h - 4. Let m be v(3). Let q = m + -27. Does 22 divide q?
True
Suppose 5*u + 80 = 5*s, 0 = -5*u - s - 3*s - 98. Let a = u + 36. Suppose -4*n + n = -a. Is n a multiple of 2?
True
Let o be 3/4 - 39/(-12). Suppose o*f - 445 = 71. Is f a multiple of 9?
False
Suppose 19 = 5*r - 1. Suppose -4*f + 18 = -2*q - 0*f, r*q - 3*f + 11 = 0. Suppose j - 24 = q. Does 7 divide j?
False
Let v = -1158 + 1196. Suppose 0 = t - 7 + 2. Suppose m - 10 = f, t*m + 2*f - v = f. Does 4 divide m?
True
Suppose 31*q - 30*q = 162. Is q even?
True
Suppose 0 = 6*z - 4*z + 6, -382 = -y + 2*z. Suppose 33*s - y = 25*s. Is s a multiple of 6?
False
Is 3/((-21)/2) + 1206516/2436 a multiple of 5?
True
Suppose -515 = -60*p + 55*p. Suppose 3*i - 4*d = 7*i - 32, 0 = i - d - 2. Suppose i*c + 4*v = 149, -3*c = 2*v - 3*v - p. Is 12 a factor of c?
False
Let u be (-196)/(-28)*-1*1. Let c(n) = -n**3 - 7*n**2 - 9*n + 1. Is c(u) a multiple of 8?
True
Let v = 2415 + -1427. Is 38 a factor of v?
True
Suppose 0 = -2*y + 9 + 1. Let j(v) = v - 2*v + y*v - 14 + 2. Is j(8) a multiple of 20?
True
Let l(j) = 7*j + 5. Let m be l(-2). Let d be (-2)/(-4)*(5 + m). Does 17 divide (0 - 0 - -36) + d?
True
Let i be (-8)/(-24) - ((-64)/(-6))/(-4).