Does 9 divide z?
True
Let j be ((-14)/3)/((-2)/3). Suppose r + 6 = u, u + 3 = -3*r + j*r. Is u a multiple of 8?
False
Suppose -609 = -238*h + 235*h. Is 18 a factor of h?
False
Let b be (-2)/17 + (-16112)/34. Is 19 a factor of (-6)/4*b/9?
False
Suppose 5*m + 5*v - 1130 = 0, 2*m - v = v + 432. Does 17 divide m?
True
Suppose 0*q - 5*q - 5 = 0. Is 10 a factor of (-1 + q)/(6/(-60))?
True
Suppose 0 = 3*l + 2*h - 260, 0*h - 3*h = -5*l + 465. Is l a multiple of 10?
True
Let s(r) = -3*r - 2. Let n(k) = -2*k - 2. Let b(d) = 5*n(d) - 4*s(d). Does 3 divide b(3)?
False
Suppose 4*w - 110 = 3*x - 497, 5*w = -3*x + 387. Does 26 divide x/5 - (-1)/5?
True
Is (-54)/(-1)*(-1)/(-1) a multiple of 18?
True
Suppose -g - 4*g - 90 = 0. Let q be (-904)/g - (-6)/(-27). Let m = q + -31. Is m a multiple of 11?
False
Let c(v) = -2*v + 1. Let d be c(4). Suppose u + 60 = -5*r, 3*u - 27 = 2*r + 4*u. Let j = d - r. Is j a multiple of 4?
True
Let y = 71 - 34. Is y a multiple of 21?
False
Let v = 15 - 10. Is v a multiple of 5?
True
Suppose 0 = 2*s + 2*s - 2*r - 330, -2*s - 5*r + 159 = 0. Suppose -2*y = 14 - s. Is y a multiple of 14?
False
Let p(r) = r**3 - 5*r**2 - 2*r + 5. Let m be p(-4). Let u = m + 188. Is 19 a factor of u?
True
Let v(u) = u**2 - 15*u - 49. Is v(22) a multiple of 5?
True
Let b = -117 - -195. Is b a multiple of 29?
False
Let y(i) be the third derivative of -i**4/6 - i**3/2 - 2*i**2. Let g be y(-2). Suppose o + 45 = g*q, -3*q + o - 15 = -4*q. Is q a multiple of 10?
True
Suppose 0 = -4*l + 16, -2*l = -2*b - l - 56. Let d = b + 38. Does 4 divide d/30*70/2?
False
Let m(v) = 5*v**2 - 6*v + 21. Does 11 divide m(6)?
True
Let h = -12 + 127. Is 25 a factor of h?
False
Let z = -5 + 6. Let w be z/(-1) - (0 + -3). Does 10 divide w/9 + 1115/45?
False
Suppose 0 = 3*m - 12, -3*c + m + 3*m - 118 = 0. Let k = -11 - c. Does 23 divide k?
True
Let o be (-4 - -4)/((-2)/(-1)). Suppose 2*w = -q + 37, o = -w + 2*q + 6. Is 11 a factor of w?
False
Suppose -4*c = -5*c + 16. Suppose 0 = -4*j - 0*j + 8. Suppose c = 4*t - j*t. Is 4 a factor of t?
True
Let d(a) = a + 12. Let t(v) = -v - 9. Let b be t(0). Is d(b) a multiple of 2?
False
Let f = 3 - 5. Let n be (-4 - 0)/((-14)/63). Let m = f + n. Does 15 divide m?
False
Let v = 11 + -10. Does 9 divide v/(-1*4/(-108))?
True
Suppose 2*g - 20 = -3*g. Let k(c) be the second derivative of c**5/20 - c**4/3 + 2*c**3/3 - c**2/2 + 3*c. Is 13 a factor of k(g)?
False
Let a = -1 - -3. Suppose 0*u = -f + a*u + 22, 5*f = u + 74. Is 6 a factor of f/(-21) - 44/(-3)?
False
Let b(u) = -2*u**2 + 25*u - 9. Is b(10) a multiple of 5?
False
Suppose 39 = 5*x - 61. Suppose -n - 5*w - 11 = 0, -2*n - 7 = -4*w + 1. Let i = n + x. Is 12 a factor of i?
False
Let p be 4/6*2*3. Suppose -s + 16 = v - 3*v, -p*s + 64 = 3*v. Suppose r - 9 - s = 0. Does 13 divide r?
False
Is 13 a factor of 10 - 15 - (1 - 253)?
True
Let r be 1*(1 - (1 - 3)). Let s(i) = -9*i + 2. Let l be s(2). Is (9/(-3))/(r/l) a multiple of 16?
True
Let h be -16 + 0/(-3) + 2. Is 3 - (h + -1 + 0) a multiple of 5?
False
Suppose 0 = -2*s + 147 - 19. Is s a multiple of 16?
True
Suppose -4*a - 234 = -5*j, 5*j + a - 358 = -104. Suppose 4*w - j = 14. Is 8 a factor of w?
True
Let h(k) = 2*k - 12. Let w be h(10). Suppose -2*u + w = -0*u. Suppose u*d + 5*o = 62, 4*d + 2*o - 64 = -2*o. Is 18 a factor of d?
True
Suppose 6*z = 2*z + 12. Suppose -78 = -0*n - z*n. Is 13 a factor of n?
True
Let w(g) = 19*g + 1. Let y be w(2). Is 6 a factor of y/(2 + 1)*1?
False
Let p = -165 + -109. Suppose 24 = q - 12. Is 15 a factor of p/(-18) + (-8)/q?
True
Suppose 0 = -4*f - 6 + 114. Is f a multiple of 27?
True
Suppose z - 54 = -4*c, -3*z = -z + c - 73. Suppose -9 = 5*s - z. Does 5 divide s?
True
Suppose 5*s + 3*q + 34 = -26, 0 = -4*q. Let h = s + 17. Is 5 a factor of h?
True
Suppose p = -5 - 13. Let x = p + 7. Let c = 5 - x. Does 8 divide c?
True
Let m(r) = -19*r**2 + 5*r - 6. Let g(w) = 19*w**2 - 6*w + 7. Let l(p) = -6*g(p) - 7*m(p). Suppose 0 = -4*f - n + 3, 6*f = 3*f - n + 2. Is 10 a factor of l(f)?
True
Suppose -7*d = -2*d - 140. Is 14 a factor of d?
True
Let p(k) be the first derivative of k**3/3 - k**2/2 + 21*k + 3. Let v be p(0). Suppose -4*o + 3*d + 98 = -3, -o = -5*d - v. Is o a multiple of 11?
False
Let q(s) = -9*s. Let t be 6/4 - (-2)/4. Suppose -6 = t*j - 2. Is q(j) a multiple of 9?
True
Let n(b) be the second derivative of -b**5/20 - b**3/6 + 8*b**2 - 2*b. Is n(0) a multiple of 7?
False
Let l(o) = o**3 + 5*o**2 + 5. Let h be l(-5). Let u = 6 - h. Is 11 a factor of ((-12 + u)*-1)/1?
True
Suppose -2*d - 424 = 992. Is 23 a factor of d/(-18)*6/4?
False
Let d(o) = 5*o**3 - 2*o**2 + 4*o - 2. Is d(2) a multiple of 5?
False
Let y(z) be the third derivative of -z**5/60 + z**4/3 - z**3/2 + z**2. Let j(m) = -m**3 - 2*m**2 + m - 3. Let k be j(-3). Is 6 a factor of y(k)?
True
Let f = 252 + -76. Suppose 4*t = -3*c + 147, -4*c = -4*t - t + f. Does 13 divide t?
False
Suppose 99 = -5*h + 269. Does 7 divide h?
False
Suppose 2*s - 39 - 21 = 0. Is 30 a factor of s?
True
Let x = 4 - 2. Suppose 3 = -x*a + 9. Suppose -5*f + 5*l = -f - 83, a*f - l = 65. Is f a multiple of 8?
False
Suppose 0 = -2*k + 4*j + 6, 2*k - 4*k + 5*j = -6. Suppose 2*a - x = 21, -x - 5 = -0*x. Suppose -a*m + k*m = -175. Is 16 a factor of m?
False
Let w(r) = -15*r**3 + r. Let s(y) = y**3 + 4*y**2 + 3*y + 3. Let p be s(-3). Suppose -3*f + f - 11 = d, -p*d + 7 = -2*f. Is 7 a factor of w(d)?
True
Suppose 4*t = 6 + 6. Let i = 29 - t. Is i a multiple of 14?
False
Let q = 164 + -10. Is 38 a factor of q?
False
Is 11 a factor of -2 - (-8 + 4) - -19?
False
Let b(n) = 5*n**2 + 0*n**2 - 2*n**3 + 1 + n**3 + 3*n. Let j(q) = q**2. Let a(z) = b(z) - j(z). Is 5 a factor of a(4)?
False
Suppose -411 + 113 = -2*l. Is l a multiple of 13?
False
Let m(y) = 3*y + 7. Let k be m(-3). Let f = k - -24. Does 8 divide f?
False
Suppose 0 = 5*f - 3*f - 288. Does 18 divide f?
True
Suppose 0 = 5*g - 342 - 128. Let z = g - 7. Suppose -z = -3*o - 3*d, -2*d = -0*o + 5*o - 130. Is o a multiple of 8?
True
Let q be 1 + 1/(1/(-4)). Let f be (1 - 2)*-1 - q. Suppose -t + f = -11. Does 15 divide t?
True
Let r(f) = -f**2 + 9*f - 6. Is r(4) a multiple of 14?
True
Suppose 5*p = 4*d - d + 7, -12 = -5*p - 2*d. Does 26 divide p - -57 - (-1)/1?
False
Suppose -4*v = n + 28, -n + 5*n + 16 = 0. Is 2 a factor of (-92)/(-12) - (-4)/v?
False
Suppose 2*r - 68 = 44. Is r a multiple of 8?
True
Let w(f) = -f**3 + 7*f**2 + 2*f - 10. Let s be w(7). Suppose -175 = -5*c + s*m, 220 = 4*c - 4*m + 84. Is 10 a factor of c?
False
Suppose 0 = -3*c + 5*v + 21, 2*c + 2*v = -1 - 1. Let i(r) be the third derivative of r**6/120 - r**5/30 + r**4/24 + r**3/6 + 8*r**2. Is 2 a factor of i(c)?
False
Let h = 79 - 37. Is h a multiple of 14?
True
Let y = -4 - -6. Suppose 56 = a + 2*k, a + k = 5*k + 50. Suppose -y*w - w = -a. Is 11 a factor of w?
False
Let f(y) = 32*y. Suppose -3*b + x + 0 = -7, -3*b = -2*x - 11. Is f(b) a multiple of 9?
False
Suppose 4*s + 4*u = 2*s + 88, 2*s - 82 = -u. Is 20 a factor of s?
True
Let w be ((-5)/(-15))/((-2)/(-18)). Suppose -t - 3*t - 1 = s, 5*t = w*s - 48. Is s a multiple of 3?
False
Suppose -3*r + 51 + 158 = -2*y, 0 = -2*r - y + 151. Does 23 divide r?
False
Does 10 divide (-43)/3*(-2 + -1)?
False
Let v(h) be the first derivative of h**4/4 - 7*h**3/3 + 3*h**2 + 6*h + 9. Is 2 a factor of v(6)?
True
Suppose -h - 4*y - 22 = -85, 5*h = 2*y + 403. Is h a multiple of 17?
False
Let j = -24 + 43. Let f = j + 11. Does 15 divide f?
True
Let l be ((-30)/(-9))/((-4)/(-6)). Suppose -l*c + 93 = -7. Is 10 a factor of c?
True
Let s(p) = p**2 - p - 39. Let c be s(0). Let y = c + 71. Is y a multiple of 14?
False
Let z(j) = -j. Let g(f) = 24*f**2 - 2*f - 1. Let o be g(-1). Suppose o = -5*u, -3*u - 5 - 2 = -2*r. Is 4 a factor of z(r)?
True
Let d(v) = -v**3 - 5*v**2 - 5*v - 2. Let c be d(-4). Suppose 4*l + q = -0*q + 76, l - 5*q = -c. Is 9 a factor of l?
True
Let j(h) = -54*h + 3. Let c be j(-6). Let p = c - 199. Suppose -5*o + 5 = 3*s - p, 3*s + 3*o = 135. Is 25 a factor of s?
False
Let z = 82 + -72. Is 10 a factor of z?
True
Suppose -g + 77 = -35. Suppose f + 2*f = 0. Suppose -g = -f*d - 4*d. Does 13 divide d?
False
Let h = 74 - 35. Suppose 0 = -y + 2*d + h, -7*d - 39 = -y - 3*d. Does 12 divide y?
False
Let i(g) = 2*g**3 - 4*g**2 + 4*g - 2. Sup