 117. Does 12 divide z?
True
Suppose 3*y - 25 + 7 = 0. Suppose y*a = 8*a - 36. Let k = 22 - a. Does 4 divide k?
True
Let g(u) = u**3 + 2*u**2 + u - 2. Let l be g(-3). Let q = l - -120. Suppose 0 = -2*v - 34 + q. Does 12 divide v?
True
Let y be 1*((1 - -6) + -1). Does 6 divide (324/(-8))/(y/(-8))?
True
Suppose -148*m + 11458 = -131*m. Is 47 a factor of m?
False
Suppose 0 = 25*v - 9*v - 13728. Is v a multiple of 11?
True
Suppose -31*d + 71435 + 8545 = 0. Does 10 divide d?
True
Let l(q) = -q**2 + q + 8. Let z be l(-10). Does 10 divide (-13 - -10) + (1 - z)?
True
Let a(n) = 19*n**2 + n - 4. Let c be a(-4). Suppose 0 = -4*p + 36 + c. Is p a multiple of 17?
False
Suppose 0 = -3*u + m + 950, 5*u - 5*m - 670 = 900. Does 20 divide u?
False
Let l = -68 - -100. Let y = l + 55. Is y a multiple of 29?
True
Suppose -27 + 7 = -5*g. Let s = 79 + -29. Suppose s = g*t + t. Is t a multiple of 5?
True
Let w = 978 - 607. Does 56 divide w?
False
Suppose -j + 99 = -132. Let v = -87 + j. Suppose -4*g + 5*b = -v, 3*b - 10 = -g + 9. Does 7 divide g?
False
Suppose -2*i + 20 - 4 = 0. Suppose -4*g - i*g + 120 = 0. Does 9 divide g?
False
Let n = -368 + 998. Does 9 divide n?
True
Suppose -3*z - 5*z = 3152. Is 19 - z - (2/2 - 4) a multiple of 13?
True
Suppose -4*s - 28 = -8*s. Is 2 a factor of (s/2)/((-2)/(-4))?
False
Suppose -56*f + 61*f - 762 = 3*g, -2*f + 2*g = -304. Does 13 divide f?
False
Suppose 314 = 2*t + w - 15, -3*w = 2*t - 319. Let i = t + -103. Is i a multiple of 6?
False
Suppose 15*u = 7*u - 16. Let o(j) = -8*j**3 + 2*j**2 - j - 2. Is o(u) a multiple of 21?
False
Suppose -3*p + 2*a = -2, -3*a - 2*a + 45 = 5*p. Suppose 7*n - p*n = 87. Is n a multiple of 4?
False
Suppose -53*z + 51212 = 6*z. Is 31 a factor of z?
True
Suppose 0 = -3*f + 3 + 6. Suppose 8 = m - f. Is m a multiple of 3?
False
Is 32 a factor of 10365/(-18)*-3 + (-1)/(-2)?
True
Let z(x) = -x**3 - x**2 + x - 44. Let b be z(0). Let i = -237 - -166. Let r = b - i. Is r a multiple of 9?
True
Let d(x) = -5*x + 74. Let b(m) = 4*m - 73. Let f(w) = -3*b(w) - 2*d(w). Suppose 4*z - 20 = 2*v, 3*v + z - 10 = -z. Does 24 divide f(v)?
False
Let v(s) be the first derivative of -2*s**3/3 + 8*s**2 - 10*s + 3. Let i be v(10). Let b = -28 - i. Does 11 divide b?
True
Let r be ((-146)/(-10))/((-3)/(-15)). Suppose b - 57 = r. Suppose 4*p = b - 14. Is p a multiple of 19?
False
Suppose 33*g = 63*g - 1200. Is 14 a factor of g?
False
Suppose -2*a - 4*x + 70 + 738 = 0, 0 = 5*a - 2*x - 1960. Is a a multiple of 3?
False
Is 52 a factor of 260/6*(-4536)/(-180)?
True
Suppose 3*m - 66 = -3*c, -5*c = -5*m + m + 115. Is m a multiple of 2?
False
Let a(g) = -36*g**3 - 3*g**2 - 2*g + 6. Is a(-3) a multiple of 29?
True
Let q(w) = 17 + 16 + 19 - 4*w - 58. Is q(-7) a multiple of 5?
False
Let k = 58 + -52. Let h(r) = 2*r**2 - r + 7. Does 15 divide h(k)?
False
Let x(t) = 45*t**2 - 3*t + 5. Let h be x(5). Suppose -136*u + 131*u + h = 0. Does 16 divide u?
False
Let w be 0/((-15 - -5)/(-5)). Let j(q) = q**3 + q**2 - 2*q + 18. Is 9 a factor of j(w)?
True
Let u = -5 - -10. Suppose -q + u*q = 292. Suppose 39 = 4*o - q. Is o a multiple of 28?
True
Does 11 divide (-60)/(-390) - (-310)/13?
False
Let q = -1917 + 4575. Is q a multiple of 12?
False
Let m = -310 - -1041. Is m a multiple of 43?
True
Let s = -359 + 508. Suppose -s = -2*k - 15. Does 17 divide k?
False
Suppose -5*q - 3*j = -146, 5*j = -2*q + j + 50. Suppose q = -3*v + 418. Is v a multiple of 20?
False
Let v(l) = -2*l**2 - 13*l - 4. Let j be v(-9). Let n = j - -94. Does 15 divide n?
True
Suppose 2*b = b + 11. Suppose 2*t + 3*d - 101 - b = 0, -224 = -4*t - d. Is t a multiple of 23?
False
Let l = -3 - -1. Let a be l/(-7) + 8/(-28). Suppose a = k - 6*k + 25. Is k a multiple of 5?
True
Let b(x) = x**2 - x. Let o be b(2). Suppose -o*y = -i + 10, 5*i - 7 + 2 = -5*y. Does 6 divide 133/4 - y/(-12)?
False
Suppose -4*z = -20, -c + 5*c - 4*z - 456 = 0. Is 7 a factor of c?
True
Suppose 4*n - 4 = 8. Is ((-6)/(-12))/(n/18) a multiple of 3?
True
Suppose -2*j + 2 + 4 = 0. Suppose j*t + 4*p = 18, -2*p - p = 3*t - 15. Suppose t*o + 136 = 2*g, -3*g - o + 3*o = -201. Is 17 a factor of g?
False
Suppose -29561 = -23*w + 39462. Does 28 divide w?
False
Suppose 0 = -5*v + 20, 2*r + 2*v = -2*v + 692. Is r a multiple of 27?
False
Suppose -16*i - 15141 = -20*i - a, 0 = -a - 3. Is i a multiple of 154?
False
Suppose 62*u - 18360 = 26*u. Does 51 divide u?
True
Suppose -s = -3*s + 34. Let k = -3 + s. Is k - (1 + -1 + 3) a multiple of 2?
False
Does 33 divide (5 - -596) + (-10)/5*2?
False
Suppose -4*d - 4*u + 16 + 16 = 0, 4*u = 16. Suppose -125 = -4*y - 5*z, d*y = 5*y + 3*z - 33. Is y a multiple of 3?
True
Let r(t) = -t + 12. Let n be r(15). Let x be -1 + 1 - 2*-1. Is 7 a factor of n/x + (-295)/(-10)?
True
Suppose 4*o + 2*y = -11 + 35, 0 = -4*o - 5*y + 30. Suppose 3*r - o*r = -8. Does 16 divide (-58)/(-1) + 0 + r?
False
Suppose -2*l + 918 = -2*u, -u = l + 2*l - 1377. Is l even?
False
Let n(j) = j**3 + 20*j**2 + 42*j - 28. Is n(-13) a multiple of 21?
True
Suppose -3*p - 10 = 3*n + 5, 2*n - 11 = p. Let h(j) = -6*j + 18 - j - 23 - j. Is 17 a factor of h(p)?
True
Let y(k) = 5*k**2 - 44*k - 12. Is y(14) a multiple of 32?
True
Let g be 4/14 + (-66)/(-14). Suppose 0 = o - 4 + 2, 172 = g*p - 4*o. Is p a multiple of 9?
True
Let y(a) = -a**3 - 11*a**2 - 20*a - 17. Let r be y(-9). Is 8 a factor of 40*(-2 + r)/(-1)?
True
Let y be -45*((-54)/15 - -3). Suppose 32*p - 585 = y*p. Is p a multiple of 9?
True
Suppose -3*l + 2*n - 8 = 17, -l + n - 8 = 0. Let j = 86 + l. Is j a multiple of 14?
False
Suppose -5*z = 3*t - t - 43, -3*z + 5*t = -1. Suppose -8*w + 4 = -z*w. Suppose -w = 2*y - 26. Does 10 divide y?
False
Let q = 333 - 232. Suppose 5*y - 49 = q. Is y a multiple of 10?
True
Suppose 2172 = 3*h - 3*p, 48*h + 3580 = 53*h + 5*p. Is h a multiple of 18?
True
Let z(p) = 10*p - 5. Is z(2) a multiple of 5?
True
Let k be 0/12 - (1 - (1 - -3)). Suppose 3*n + 2*n + 2*w = 277, -5*w = -k*n + 160. Is n a multiple of 11?
True
Suppose 0*s + y = 4*s - 23, -2*s + 4*y + 8 = 0. Does 21 divide (-8)/(-9)*s*(-63)/(-4)?
True
Let j = -682 + 466. Does 21 divide j/9*7/(-4)*1?
True
Let q(a) = -7*a**2 + 2*a + 4*a**2 + a**3 + 0 - 2 + 4. Let b be q(2). Let f(w) = 11*w - 2. Does 10 divide f(b)?
True
Let c(q) = 2*q**2 + 15*q - 5. Let p(d) = 3*d**2 + 30*d - 10. Let b(v) = -5*c(v) + 3*p(v). Let u be b(14). Suppose -33 + u = -2*g. Is g a multiple of 8?
False
Let k be (-6 - -33) + (0 - -1). Let q = 110 - k. Is 10 a factor of q?
False
Suppose 0 = -2*d + 3*z + 320 + 131, 2*d = -z + 471. Is 13 a factor of d?
False
Let h(d) = -6*d**3 + 2*d**2 + d. Let y be h(-1). Suppose -1 = -4*j + y. Is -3*(0 - j - -1) even?
False
Suppose 314 = 2*r - 5*j - 143, -5*j + 15 = 0. Does 59 divide r?
True
Suppose 0 = 4*y - 5*y + 19. Let c = y - 3. Is (-1)/(-1)*(-2 + c) a multiple of 14?
True
Suppose 0 = -4*n - n + 30. Suppose o + 25 = 3*d + n*o, -2*d + 3*o = 15. Suppose d = -3*z + z + 18. Does 4 divide z?
False
Let t be (28/8 + -4)*-6. Suppose s + 5 = k + t*s, 5*k + s - 70 = 0. Does 3 divide k?
True
Let f(p) = -p + 6 + 2*p - 5 + 0. Let t be f(8). Suppose -t - 18 = -v. Is v a multiple of 22?
False
Let o(i) = i**2 + 6*i - 2. Let j be o(-6). Let l(p) = -p**2 + 33*p + 114. Let k be l(36). Is (j/k)/((-5)/765) a multiple of 17?
True
Is ((-3)/(-9)*9)/((-12)/(-3096)) a multiple of 46?
False
Let q = -14 - -16. Let j be q/(-2 - 0) - -6. Is 7 a factor of 38 - j - (1 - 0)?
False
Suppose -5*p = -2*s + 52, 2*s - 48 - 40 = -4*p. Does 36 divide s?
True
Let g = -94 + 83. Let o(s) = -1 - 6*s - 6*s - s**2 + 14. Is o(g) a multiple of 4?
True
Let i be 12/(-3)*(-3)/4. Suppose i*v + 1 = -3*s - 8, 0 = -5*v + 4*s + 30. Suppose -5*x - 2*c + 29 = 0, 4*x - v*c - 58 = -24. Is x a multiple of 2?
False
Let f be -6*-26*2/(-12). Let q = -18 - -5. Let k = q - f. Is 2 a factor of k?
False
Let b = 18803 - 12932. Is 52 a factor of b?
False
Let i = -73 - -250. Is 25 a factor of i?
False
Let o(b) = -4*b**2 + 9*b + 14. Let l(g) = -17*g**2 + 37*g + 56. Let q(a) = 2*l(a) - 9*o(a). Does 8 divide q(6)?
True
Is 101 a factor of (-5 - 105/(-14))*(-1326)/(-5)?
False
Let s = -23 - -23. Let i(x) = -x**2 + 3. Let v be i(s). Suppose 5*f + 5*d = 15, v*f - 5*f + 2*d + 18 = 0. Is f a multiple of 6?
True
Let k be (-11 + 19)*1*6. Let h = k - 14. Does 17 d