= 8 + -26. Let p = 51 + r. Does 17 divide p?
False
Let z be 11 + 1 + -4 + 1. Suppose d - z = -0*d. Does 9 divide d?
True
Let c = -12 + 3. Let u = c + 21. Is u a multiple of 12?
True
Let p be 52/12 - 3/9. Does 16 divide ((-64)/(-10))/(p/20)?
True
Suppose -5*o = -10, -2*x = o + 101 - 25. Is 1/((-3)/x) - -1 a multiple of 13?
False
Suppose 12 + 12 = 4*v. Suppose -100 = -10*z + v*z. Is z a multiple of 12?
False
Suppose 6*d - 44 = 4*d. Is d a multiple of 14?
False
Does 9 divide 1 + -1 + (3 - (-63 + 4))?
False
Let v be (-9)/(-15)*(-6 + 1). Let b(z) = 6*z**2 + 4*z + 2 - z**2 - z**3 + 2*z**3. Is b(v) a multiple of 8?
True
Let v be 1/((-136)/(-140) - 1). Does 2 divide ((-14)/v)/((-2)/(-40))?
True
Let g = 0 + 0. Let l be 1 + g - (-85)/(-5). Is 12 a factor of 18*(l/(-3))/4?
True
Let r(u) = 4*u**3 - u - 1. Let n be r(-1). Let a be 1/n - (-52)/16. Let f = 2 + a. Is f a multiple of 2?
False
Let y(v) be the first derivative of v**2/2 - 3*v + 2. Let j be y(3). Suppose 104 = 4*d - j*d. Is 9 a factor of d?
False
Is 20 a factor of (21 + (-1 - 1))/(3/9)?
False
Suppose 3*f + f + 5*h = 820, -988 = -5*f + 3*h. Is 20 a factor of f?
True
Does 11 divide 115/5 - (2 - 1)?
True
Let o(r) = -r**2 + 4*r + 7. Let b be o(5). Let m = 1 + b. Suppose -m*d - 2*j + j = -87, -4*j + 152 = 5*d. Is d a multiple of 14?
True
Let n = 8 - 16. Let c(b) = -b**2 - 11*b - 4. Is 5 a factor of c(n)?
True
Let h(k) = k**2 + 7. Let b be h(5). Suppose -2*z + 4 = -b. Is z a multiple of 6?
True
Let k(u) = -3*u. Let i be k(-2). Let j = 1 - i. Let m(r) = -r**3 - 3*r**2 + 5*r - 4. Is m(j) a multiple of 21?
True
Let z(r) = r**2 - 11*r + 4. Let q be (-3)/(-12) + (-86)/(-8). Let p be z(q). Let d = 0 + p. Does 3 divide d?
False
Suppose -h = 4, -2*m - 5*h - 49 = -317. Is m a multiple of 16?
True
Let z(w) = 5*w - 16. Suppose 0 + 3 = -2*c + 5*l, -c - 4*l = -31. Is 13 a factor of z(c)?
True
Let j(c) = 0*c**2 - 1 - 2*c**2 + 3*c**2 - 7*c**3. Let l = 7 + -8. Is 4 a factor of j(l)?
False
Let n = -3 + 13. Suppose -3*q = 2*q - 2*j - 20, 4*j = -5*q - n. Suppose q*f - 13 - 9 = 0. Is f a multiple of 9?
False
Let b(s) = s**2 + 4. Suppose -4*c + 13 = -11. Let z be b(c). Is 5 a factor of (3/(-2))/((-6)/z)?
True
Suppose -26*f + 75 = -23*f. Is f a multiple of 20?
False
Suppose -62*x = -54*x - 320. Is x a multiple of 5?
True
Let f(v) = 3*v**3 - 5*v**2 + 2*v + 1. Does 13 divide f(3)?
False
Let r(a) = a**2 + 4*a + 10. Let u be r(-7). Suppose -13 = -4*z + u. Is 5 a factor of z?
False
Suppose h + 2 = -3*g + 5, -h = -g - 3. Suppose 0 = h*w + k - 5*k - 32, -4*k + 4 = 0. Does 8 divide w?
False
Suppose 1578 = -3*d + 9*d. Suppose -d = -6*h + 79. Is 19 a factor of h?
True
Let l(i) = i**2 - 4*i + 4. Let u = 6 + -2. Let y be l(u). Suppose -72 = -3*z + 3*t, -z + 20 = 3*t + y. Is 11 a factor of z?
True
Suppose -4*n - 286 = -15*n. Is 17 a factor of n?
False
Suppose i - 7*i = -294. Does 25 divide i?
False
Suppose -2*q + 0 = -12. Let r be (-1 + 11)*3/q. Suppose r = 2*w - w, 3*x = -w + 71. Is x a multiple of 18?
False
Suppose 4*j = 199 + 89. Suppose -2*z = z - j. Does 6 divide z?
True
Let l be (-3)/((-9)/12) + -2. Suppose 0 = 3*t - l*r - 25, -t + r = -3 - 7. Suppose -t*m = -3*m - 32. Does 9 divide m?
False
Let t(z) = z**3 - 9*z**2 + 2*z + 1. Let w(m) = m - 1. Let n(k) = -t(k) - 2*w(k). Let s be n(7). Let j = -41 + s. Does 13 divide j?
False
Let r(u) = u - 1. Let d(q) = 18*q - 15. Let w(z) = 2*d(z) - 30*r(z). Is w(7) a multiple of 14?
True
Suppose 1 = -5*u + 16, -2*u + 6 = -5*w. Suppose -3*f - 3*a - 6 = w, 5*f - 2 = 5*a - 32. Let y(d) = -3*d - 4. Is y(f) a multiple of 7?
False
Suppose -4*w + 47 = 139. Let f = w + 67. Is f a multiple of 14?
False
Suppose 5*j + h - 332 = 2*h, 2*j + 5*h - 122 = 0. Does 11 divide j?
True
Is (-5)/((-60)/(-28))*-3 a multiple of 4?
False
Let z be (-4)/(-2)*5/2. Suppose -2*v + 4 = -t, z*v - v + 2*t + 8 = 0. Suppose 0*d + 19 = 2*d - u, v = -5*d + 4*u + 40. Is d a multiple of 6?
True
Suppose -5*d - 4*a + 29 = 0, 3*a + 4 = -3*d + 22. Let k = -28 - -52. Suppose -d*q = -k - 86. Does 9 divide q?
False
Suppose l = 4*l - 4*b - 55, b + 82 = 4*l. Is l a multiple of 7?
True
Suppose 0 = -4*y - 3*c - 321, 5*y - 5*c - 234 = -609. Let t = y - -114. Is t a multiple of 18?
True
Suppose 3*t - 4*x - 124 = 0, -t + 9*x + 23 = 4*x. Is 16 a factor of t?
True
Suppose -t + 1 = -3. Suppose 0*o + 4 = -t*o. Is 7 a factor of (39/12)/(o/(-4))?
False
Suppose -2*s - s + 51 = 0. Let r = -7 + s. Does 10 divide r?
True
Let m(g) = g - 2. Suppose 0*h - 16 = -4*h. Let t be m(h). Suppose f + 11 = 3*q, 0 = 3*f + 3*q + t*q - 37. Is f a multiple of 3?
False
Suppose 5*u = -7 + 17. Let i(m) = m**3 + 1. Does 9 divide i(u)?
True
Let c(g) = -29*g - 3. Is c(-3) a multiple of 21?
True
Suppose -4*w = -2*w. Suppose 3*y = -w*y + 69. Suppose 2*d - 62 = -3*u, d + 2 = -u + y. Is u a multiple of 10?
True
Let g = -2 - -10. Let b(v) = v + 11. Does 14 divide b(g)?
False
Suppose 2 = -5*c + 5*p + 7, -p = 5*c - 23. Suppose m = c*j - 6, j + 3 + 13 = 2*m. Does 5 divide m?
True
Let f(d) = -2*d**3 - 6*d**2 + 2*d - 3. Let s be f(-5). Does 9 divide (s/(-9))/((-2)/6)?
False
Let a(d) = -4*d - 4 + 0 + 2*d. Let f be a(-4). Suppose -2*z + 2*j - 25 = -107, -3*z + 124 = -f*j. Does 14 divide z?
False
Let p(d) = -d - 10. Let x be p(-10). Suppose r + 5*n - 14 = x, -110 = 4*r - 9*r - 5*n. Is 6 a factor of r?
True
Is (-502)/(-6) - 3/(-9) a multiple of 10?
False
Suppose 0 = -3*b + 4*k - 0*k, 0 = -5*b + k + 17. Suppose -105 = -b*u + 5*n, -3*u = n + n - 96. Is 15 a factor of u?
True
Suppose -3*a + 9 = 3. Let p be a - 0*(-1)/2. Suppose p*z - 9 = 15. Is 12 a factor of z?
True
Suppose -5*z + 20 = 0, 4*z = -5*q + 631 + 240. Is q a multiple of 9?
True
Let c(n) = -n**2 + 8*n - 5. Let w be c(4). Suppose -w = -4*k + 3*k. Is 3 a factor of k?
False
Is 30 a factor of (1*1295/14)/(2/4)?
False
Let f(c) = -c**3 - 5*c**2 + c - 10. Let d be f(-5). Does 14 divide (168/d)/(2/(-5))?
True
Suppose -4 = 2*y - 4*v, 0 = 5*y - 0*y + 5*v - 5. Suppose -3*i + y*i + 81 = 0. Is i a multiple of 9?
True
Let c(q) = q**2 - 4*q - 3. Let t be c(5). Suppose x = -1 + 4, t*x + 266 = 4*w. Suppose -4*f - 8 = -w. Is f a multiple of 15?
True
Let h(r) = 7*r**3 + 13*r**2 + 17*r + 1. Let b(q) = 4*q**3 + 6*q**2 + 9*q. Let c(v) = -5*b(v) + 3*h(v). Is 19 a factor of c(-6)?
False
Suppose -21 = z - 0. Let v = z - -35. Does 7 divide v?
True
Suppose 4*z - 3 - 269 = 0. Is 17 a factor of z?
True
Suppose 0 = 6*z - z - 2*x - 188, 5*x + 164 = 4*z. Let r = -16 + z. Does 10 divide r?
True
Let q(m) be the third derivative of 0 + 1/8*m**4 + 0*m - m**2 + 3/2*m**3. Is 8 a factor of q(7)?
False
Let s be ((-9)/6)/3*-6. Let j be ((-6)/s)/(4/6). Let u = j + 9. Is u a multiple of 3?
True
Let h(x) = 19*x**2 - 9*x - 12. Is h(-4) a multiple of 14?
False
Let q = 386 + -204. Is 26 a factor of q?
True
Let f(q) = 44*q. Let c be f(1). Let z be (-10)/(-3)*72/(-10). Let r = c + z. Is r a multiple of 11?
False
Let r(x) = -x**2 - 17*x - 21. Let i be r(-14). Suppose -i + 5 = -l. Is 5 a factor of l?
False
Suppose 10*d - 10 = 5*d. Suppose -260 = -3*j + 5*p, 4*j + 5*p - 345 = 10*p. Does 5 divide d/(-3) - j/(-15)?
True
Suppose v - 6*v + 2460 = 0. Suppose 5*x = -2*c + 623, 5*x - v = -c + 132. Suppose 5*u - x = 55. Is u a multiple of 18?
True
Suppose v = 5*m - 329, 0 = -m - 0*m + 2*v + 64. Does 15 divide m?
False
Suppose -2*k + 12 + 14 = 0. Let f(x) = -x**3 + 15*x**2 - 19*x + 12. Let d be f(k). Let m = -63 + d. Is m a multiple of 20?
True
Let o = 16 - 11. Suppose 0 = o*n - 74 - 26. Is 20 a factor of n?
True
Let h be (-3)/1*(-64)/12. Suppose 6*z + h = 2*z, -d = 4*z + 18. Is 17 a factor of ((-34)/8)/(d/16)?
True
Suppose 5*h - 816 = -h. Is 35 a factor of h?
False
Let j(p) = -25*p**3 - 3*p**2 - 11*p - 3. Is 6 a factor of j(-2)?
False
Let h(o) = 23*o**2 + 3*o - 3. Is h(2) a multiple of 14?
False
Suppose 21 = -l + 4*o, 2*l + 0*o + 30 = 5*o. Let k = -1 - l. Is 4 a factor of k?
True
Suppose -y + 19 = -3*f, 0 = 4*y - 4*f - 46 + 2. Let i(n) = 3*n - 2. Does 19 divide i(y)?
True
Let k = -143 - -207. Is 13 a factor of k?
False
Let b be ((-3)/5)/((-1)/5). Suppose -m - b*m = 3*s - 20, s + 20 = 4*m. Is m a multiple of 5?
True
Let d(y) = 4*y**2 + 5*y + 6. Let i be d(-4). Let b = i - 22. Suppose -3*r + 2*r = -b. Is 14 a factor of r?
True
Let u = 44 + 19. Does 11 divide u?
False
Let k = 44 - 20. Let l 