77)/4 + (-6)/(-24). Let d = k + 30. Is z(d) a multiple of 5?
True
Let n(s) = 836*s - 20. Is 21 a factor of n(1)?
False
Suppose 1755 = 22*h - 8541. Does 18 divide h?
True
Suppose -135 = -7*o + 6*o. Let q = 190 - o. Suppose 3*u + 75 = 7*u - j, 2*j + q = 3*u. Does 16 divide u?
False
Suppose -2859 = 30*j - 22899. Is j a multiple of 14?
False
Suppose 4*i + 30 = 5*t, 0*i - 30 = -5*t + 3*i. Suppose 10*a = t*a + 64. Is 8 a factor of a?
True
Suppose -14408 = -5*q + 4*a, q + 5*a = 3*q - 5770. Does 48 divide q?
True
Suppose 5*q + 4*z - 2*z + 50 = 0, -2*z = 0. Let t be ((-4)/q)/(17/85). Suppose -3*o = -5*u + 16, 0 = -2*u + t*o + 4. Is u a multiple of 5?
True
Let o(j) = -j**3 + 6*j**2 + 8*j + 10. Let f = 8 + -11. Let t = f + 10. Is o(t) a multiple of 13?
False
Let b(p) = 4*p + 14. Let j be b(8). Let q = 8 + j. Does 18 divide q?
True
Let l(y) = -y + 32. Let t be (-18)/27 - (-130)/6. Is 7 a factor of l(t)?
False
Let f(p) = p**2 + 6*p + 111. Does 6 divide f(-15)?
True
Suppose 0 = 9*u - 221 - 967. Is u a multiple of 4?
True
Is ((-408)/(-252)*27)/(3/21) a multiple of 9?
True
Suppose -45 = -5*t + 5*g, 5*t - 6*g - 35 = -3*g. Suppose z = 2, -t*h - z = -3*z + 8. Does 20 divide 95/((3 - 1) + h)?
False
Let o(s) = 2*s + 4. Let l(g) = g + 1. Let v(q) = -14*l(q) + 2*o(q). Does 4 divide v(-4)?
False
Suppose -5*d + 1104 = -d. Is d a multiple of 27?
False
Suppose -13*p + 15*p + b = 5647, -b = -2*p + 5645. Does 108 divide p?
False
Let o(a) = -9*a**3 + 6*a**2 + 9*a. Does 41 divide o(-5)?
True
Suppose 1888 = 9*a - 2540. Does 41 divide a?
True
Is 14 a factor of 4 + -2 - (-95 - 1191)?
True
Let c(w) = -470*w + 35. Is c(-3) a multiple of 32?
False
Let l(i) = i**2 + 2*i + 2. Let v be l(-3). Suppose -w - 2*y + 7 = -7, v*y = -4*w + 41. Suppose 3*a = w*a - 12. Is 3 a factor of a?
True
Let i be -3 + 6 + -3 + 0. Let h = 11 + 9. Suppose i = 5*c + h, -d + c = d - 82. Is d a multiple of 15?
False
Let l = -15 + 18. Let x(j) = 0 + 1 - 2 + l*j + 4. Is x(5) a multiple of 9?
True
Suppose 0 = 5*c, c - 13 = -3*t + 5. Suppose 0 = -3*d - 2*r + 144, t*r - 138 = -3*d + 2*r. Is 5 a factor of d?
True
Suppose -6*w = -1270 + 496. Is w a multiple of 6?
False
Let g = -163 + -5. Let w = 92 - g. Is 10 a factor of w?
True
Does 9 divide 3*(4666/30 - (-32)/240)?
False
Suppose 17 = 2*a + 3*t, 0*a + 2*t = 4*a - 10. Does 24 divide (7 + 1)/(a + 23/(-6))?
True
Let x be ((-88)/5)/((-1)/5). Suppose q + 2 - 51 = 0. Let o = x - q. Is 12 a factor of o?
False
Suppose 0 = -a - 6*f + 3*f + 598, 0 = 5*a - 3*f - 2972. Does 83 divide a?
False
Let k = -1913 - -2253. Is 68 a factor of k?
True
Let i(g) = -g**3 - 3*g**2 + 2*g. Let b be (-4)/1 - 1 - -1*1. Is i(b) a multiple of 8?
True
Let q be (-801)/(-12) - 2/(-8). Let v = q - 29. Is v a multiple of 10?
False
Is (-18)/(-4)*106/(-6)*-2 a multiple of 17?
False
Suppose -a + 2*p + 5 = 0, -38*a + 34*a + 32 = -2*p. Is 3 a factor of a?
True
Suppose 4 = 2*s + 30. Let v = s + 18. Does 6 divide (-3 - v)/4 - -20?
True
Let y(t) = t + 16. Let v(u) = 2*u + 4. Let l be v(-3). Let f be (8 - 3) + l/(-2). Is y(f) a multiple of 11?
True
Let m(l) = 3*l**2. Let t be m(1). Suppose 2*p - 10 = w, -p - t*p + 20 = 3*w. Suppose w*z + 4*z - 24 = 0. Is z even?
True
Let m = 1190 - 590. Is m a multiple of 50?
True
Let z = -8 - -12. Suppose -3*c = z*i - 6 - 7, -4*i = 5*c - 19. Suppose c*u - 8 = 22. Is u a multiple of 5?
True
Suppose 0 = -3*o + 143 - 35. Suppose 4*k = 4*v - o, 4*v + 36 = -2*k - 3*k. Let i(j) = j**2 + j - 6. Does 12 divide i(k)?
False
Let u be 4/(-18) - (-220)/18. Let f = -10 + u. Suppose y = -f*y + 42. Is 3 a factor of y?
False
Let m(g) = -g + 7. Let l(b) = -b + 1. Let a(z) = 28*l(z) - 4*m(z). Let k be 4/(-18) - (-14)/(-18). Is 7 a factor of a(k)?
False
Let t(f) = f**3 + 7*f**2 + 8*f. Suppose -3*l + 5*j + 0 = 33, 2*j = 6. Let p be t(l). Let q = p + 45. Is 11 a factor of q?
True
Suppose -3*q = -10*q - 14. Does 34 divide 136 + (q/(-2) - -1)?
False
Let a = -611 - -971. Is 30 a factor of a?
True
Let q be 3*1 - (14 - 15). Suppose 5*l + 137 = q*g, -g + l + 111 = 2*g. Is g + -1 + (1 - -2) a multiple of 10?
True
Does 21 divide 11622/4 + (-48)/(-32)?
False
Let z(a) = a**3 + 4*a**2 + 5. Let k be z(-5). Let r = k - -26. Suppose -x + 39 = r. Is 11 a factor of x?
True
Let s be (-16)/6*2*15/(-20). Suppose -s*w + 294 = -58. Is w a multiple of 12?
False
Suppose 0 = -5*i + k - 1, -3*k + 3 = -i - 2*i. Let j = i + 3. Does 5 divide (144/(-27))/((-1)/j)?
False
Suppose 143 = s - 403. Is 14 a factor of s?
True
Let f(p) = 30*p**2 + 358. Does 3 divide f(0)?
False
Suppose 0*n = 2*c - 2*n - 66, -2*c + 96 = 4*n. Is 21 a factor of c?
False
Let c(n) = -n**3 - 21*n**2 + 58*n - 6. Is c(-24) a multiple of 15?
True
Let v(r) = -218*r - 16. Is v(-2) a multiple of 5?
True
Suppose 3*g + 2562 = 3*p, 37*p - 41*p - 4*g = -3416. Is p a multiple of 61?
True
Let a(f) = -f + 11. Let g be a(-3). Suppose -11*i = -g*i + 918. Does 17 divide i?
True
Let x(z) = -3*z**3 + 7*z**2 + 5*z - 15. Let i(m) = 4*m**3 - 7*m**2 - 4*m + 16. Let l(g) = 2*i(g) + 3*x(g). Let k = 4 - -3. Does 12 divide l(k)?
True
Suppose -j - h - 5346 = -5*j, 5*h - 4021 = -3*j. Suppose -4*f + 1332 = -4*a, 4*f - 2*a = a + j. Is f a multiple of 13?
True
Suppose -683 = -10*n + 1357. Does 16 divide n?
False
Let c(m) = -3*m**2 + 8*m + 2. Let b be c(-3). Let o = 61 + b. Is o a multiple of 6?
True
Suppose -2*a - g + 19 = -9, -3*g = -4*a + 36. Suppose -3*t = -0*t - 27. Let p = a - t. Is p a multiple of 3?
True
Let d(k) = 10*k + 110. Does 12 divide d(13)?
True
Let m(f) = -2*f**2 + 3*f - 10*f + 4*f**2 - 22. Does 17 divide m(-8)?
False
Let z = 52 - 22. Is 14 a factor of 334/12 - (-5)/z?
True
Let o be 312*2*(2 - 0/2). Suppose 0 = 3*v - 15*v + o. Does 26 divide v?
True
Let l be ((-15)/(-6))/(15/6). Does 42 divide 186/310 - (1194/(-10) + l)?
False
Suppose 8*c - 3*c - 70 = 0. Let y(x) = x**3 - 13*x**2 - 6*x - 16. Is 24 a factor of y(c)?
True
Suppose 2871 = 5*v + 4*k + 480, 0 = 2*k - 8. Does 14 divide v?
False
Let n be (-44)/(-20) + (-5)/25. Suppose -n*k - 933 = -4*s + 3*k, -1163 = -5*s + 3*k. Is s a multiple of 23?
False
Let n(f) = 3*f**2 + 4*f + 1. Let m be n(4). Let h = m + -45. Is h a multiple of 20?
True
Suppose -7*t + 5*t + 48 = 0. Suppose t = -9*z + 132. Does 8 divide z?
False
Let o = 75 + -96. Does 9 divide (-1368)/o - (-9)/(-63)?
False
Suppose 18*w = 24*w. Suppose w = -5*f + 391 + 119. Does 12 divide f?
False
Let v be (-5)/(-5) + (-58)/(-1). Let r = 266 - 262. Suppose -v = -r*l - 3. Does 14 divide l?
True
Let c(a) = -2*a**3 - 20*a**2 - 5*a - 14. Let g be c(-9). Let k = g + 164. Is 2 a factor of k?
False
Let u(b) be the first derivative of b**4/4 - 8*b**3/3 - 2*b**2 + 3*b + 9. Is 12 a factor of u(9)?
True
Let w(t) = -t + 4. Let o be w(3). Let g = o - -7. Suppose -5*h - 4*b + g = -22, h = -4*b - 10. Is h a multiple of 10?
True
Let s = -7 + 9. Let b be (s - 3)/((-1)/3). Suppose -b*y + 5*r = -175, 4*y - 2*r = 413 - 161. Is 13 a factor of y?
True
Suppose 19*h = 25*h - 342. Does 8 divide h?
False
Does 18 divide 3/(27/8862) - (-165)/(-99)?
False
Let g(i) = -90 + 2*i**3 + 7*i**2 - 3*i**3 + i + 94 + 7*i. Does 44 divide g(6)?
True
Let w(d) = 2*d - 6. Suppose -7 = 2*z - 17. Let c be w(z). Suppose -c*m + 15 = -129. Does 10 divide m?
False
Let l(j) = -j**3 - 8*j**2 + 17*j + 19. Let w(o) = -2*o**3 + 55*o - 5*o**2 + 38 - 12*o**2 - 21*o. Let f(q) = 11*l(q) - 6*w(q). Is f(-15) a multiple of 11?
True
Is 27 a factor of 32/(-48) + (-1462)/(-6)?
True
Let r = 334 + -223. Suppose -23 = -5*b + 37. Suppose -m = 5*p - r, b = 2*p + 2*m - 34. Is p a multiple of 10?
False
Let o = -24 - -24. Suppose 0 = q + 3*y - 25, -2*q + o*y - 4*y = -42. Is q a multiple of 3?
False
Let n(c) = -c**3 + 6*c**2 + 15*c - 23. Is n(5) a multiple of 19?
False
Suppose -610 = -4*c + 710. Is 22 a factor of c?
True
Let c(n) = -197*n - 38. Is 33 a factor of c(-8)?
False
Is 51 a factor of (27/2)/(-12*10/(-4560))?
False
Let r = -834 + 1278. Is 74 a factor of r?
True
Let y(r) = -r**2 - r + 1. Let k(x) = -7*x**2 - 8*x + 5. Let b(l) = -k(l) + 6*y(l). Is 16 a factor of b(6)?
False
Suppose -2*c + 936 + 72 = 0. Let s = c + -344. Is 16 a factor of s?
True
Let a be 3/(14/3 + -2 - 3). Let m(y) = y**2 - 14*y - 15. Does 32 divide m(a)?
True
Let t = 213 + -197. Is 2 a factor of t?
True
Let l(g) = -10*g + 1 - 14*g + 4 - 1. Is 25 a factor of l(-4)?
Tru