ose 0 = -p*l - 20, 0 = -2*a - a + l + 17. Is a even?
True
Let h(n) = -2*n**2 + 15*n + 10. Does 13 divide h(7)?
False
Let x(z) = -3*z + 2. Let p be (-10)/2*(-1)/1. Suppose 5*l = p - 20. Is x(l) a multiple of 5?
False
Let z be ((-40)/6)/2*3. Is 20/(-4)*14/z even?
False
Let v be 4/(-22) + 140/44. Suppose 0 = -0*q + v*q + y - 25, 0 = 5*q + y - 39. Let s = -1 + q. Is 6 a factor of s?
True
Let h(y) = 16*y - 11. Let j(s) = 32*s - 21. Let v(c) = -11*h(c) + 6*j(c). Let m be v(7). Suppose 5*l - m = -5*t + t, 0 = t - 3*l - 31. Does 8 divide t?
False
Suppose -3*q + 363 = -3*t, 48 - 300 = -2*q + 4*t. Is 18 a factor of q?
False
Suppose x + 0*x = 0. Suppose x*t - l = -4*t + 121, 2 = -2*l. Does 15 divide t?
True
Does 4 divide 1/(-4 + 6) - (-429)/6?
True
Suppose -5*y - 3 = 2*v + 5, 5*v + 5*y + 35 = 0. Let q be 12/v*(-9)/6. Suppose -4*r = 4, 3*r = d + q*d - 18. Is 3 a factor of d?
False
Suppose 24*i - 60 = 21*i. Is i a multiple of 10?
True
Suppose u - 17 = -3. Let x = 35 - u. Is x a multiple of 7?
True
Suppose -5*k + 352 = -653. Let n = 289 - k. Is 24 a factor of n?
False
Let z(p) = 2*p**2 + 20*p + 12. Does 35 divide z(-14)?
False
Suppose 0 = -6*s + 12*s - 1176. Is s a multiple of 16?
False
Let h = -122 + 209. Let u be h/12 + (-2)/8. Let v = u + -4. Is v even?
False
Suppose -5*c = -b + 271, 2*c - 588 = 5*b - 1966. Is b a multiple of 12?
True
Let z(x) = -x**2 - x. Let m(l) = 12*l**2 + l + 1. Let q(r) = m(r) + 2*z(r). Let h be q(1). Let j = -6 + h. Does 3 divide j?
False
Let o(f) be the second derivative of -1/12*f**4 + 5/2*f**2 - 5/3*f**3 + 0 - 3*f. Does 6 divide o(-9)?
False
Suppose -39 = -25*u + 22*u. Is u a multiple of 13?
True
Let n = -1 + 5. Let z(t) = -t**3 + 6*t**2 + t - 4. Is z(n) a multiple of 8?
True
Suppose s - 6*s = -20. Suppose -p = -6*p - 2*z + 117, -4*p + s*z = -116. Is p a multiple of 23?
False
Suppose 0 = -2*h + 4. Suppose 1 = h*m + 5. Does 5 divide (-8 + (3 - 0))*m?
True
Let l = -3 - -5. Does 5 divide l/9 - (-129)/27?
True
Suppose -z + 29 = -2*p - 3*p, 2*z - 13 = -5*p. Let v = 24 - z. Is v a multiple of 3?
False
Let d be 3/3 - (-1 + 38). Let w = d + 80. Does 19 divide w?
False
Suppose 7*n - 2*n - 450 = s, -376 = -4*n + 4*s. Does 13 divide n?
False
Let f(s) = s**3 - 6*s**2 - 31*s - 19. Is f(10) a multiple of 23?
False
Let v(b) = -21*b + 1. Let t(p) = -22*p. Let c(x) = 4*t(x) - 5*v(x). Is 21 a factor of c(4)?
True
Let m(f) = f**2 + 8*f - 5. Let x = 20 + -31. Is m(x) a multiple of 5?
False
Suppose 4*s = 3 + 1. Suppose y - 17 = -s. Is y a multiple of 9?
False
Suppose -52 = -3*r + r. Does 19 divide r?
False
Suppose 2*a + 3*a = -2*r + 1192, -r - 1204 = -5*a. Is 15 a factor of a?
True
Suppose -9*h + 378 = -360. Is 8 a factor of h?
False
Does 7 divide (0 - -1)/((-1)/(-14))?
True
Suppose -p - 51 = -2*v + 11, -5*p = 3*v - 67. Is 11 a factor of v?
False
Suppose 36*f = 32*f + 72. Does 6 divide f?
True
Let l = 65 - 33. Is 8 a factor of l?
True
Suppose 0 = -18*o + 16*o + 70. Is o a multiple of 8?
False
Let t(n) = n**3 - 2*n**2. Let y be t(2). Suppose y = -3*g + 6*g - 6. Suppose -c + 12 = h, 5*c - 18 = g. Does 5 divide h?
False
Let g be (-2 - -1)*(-9 - -1). Suppose -2*v + 0 = g, -4*v - 32 = 2*o. Does 15 divide (1*2)/(o/(-76))?
False
Let h be (8/12)/((-2)/(-6)). Let u be (-2 - -5)*h*-9. Let k = -28 - u. Does 13 divide k?
True
Let g(l) be the second derivative of l**4/2 + l**3/6 + l**2/2 + 3*l. Is g(-1) a multiple of 6?
True
Let a be 8*34/24*3. Suppose -4*k + 3*w = -a, -w - 10 = -2*k + 8. Is k a multiple of 3?
False
Suppose -t = -4*t. Let l be (-1 - -40) + (-1 - t). Suppose 0 = 4*o + l - 138. Does 9 divide o?
False
Let y(w) be the first derivative of w**3/3 + 3*w**2/2 - 2*w + 2. Is y(-7) a multiple of 22?
False
Suppose 0*l - 4 = -2*l. Let f(k) = -k + 4. Let v be f(l). Let y = v + 14. Is 16 a factor of y?
True
Let p(r) = 2*r**3 - 4*r**2 + 3*r - 2. Let w be p(2). Suppose -w*t - 24 + 108 = 0. Does 13 divide t?
False
Let x = -66 + 96. Does 6 divide x?
True
Suppose 0 = 4*a, -2*b - 3*a = b - 90. Does 15 divide b?
True
Let j = 13 + 7. Suppose -3*g + 5*d = -2*g - 17, -5*g - j = -4*d. Is (-2)/g - (-19)/4 even?
False
Let n be 571/(-5) + 2/10. Let s = n + 210. Suppose 0 = -4*a + 3*d + s - 37, 0 = 2*a + 2*d - 40. Is a a multiple of 7?
False
Let l(h) = h**2 - 4*h - 4. Let z = 19 - 11. Suppose -1 = 3*f + z. Does 10 divide l(f)?
False
Suppose 8*q - 290 = 3*q. Is 7 a factor of q?
False
Let p(v) = v**2 - 4*v + 3. Let x be p(4). Suppose x*h + 8 - 74 = 0. Is 11 a factor of h?
True
Suppose 18 = -2*a - o + 3*o, -5*o = -15. Let c(f) = f**3 + 6*f**2 - 7*f + 8. Let l be c(a). Let d = -23 + l. Is d a multiple of 8?
False
Suppose 2*y - 11 = -5. Suppose 142 = y*u - 0*u - 5*m, -2*m + 107 = 3*u. Does 13 divide u?
True
Suppose -2*g - 244 = -4*j - 6*g, 0 = -j - 2*g + 65. Is 2*(j/6)/1 a multiple of 11?
False
Let c(j) = -j**2 - 3*j + 4. Let v be c(-4). Let y(z) = -z + 2. Let r be y(v). Is 4 a factor of (0/3 - r) + 6?
True
Let c be (8/(-12))/(2/(-15)). Suppose -69 = -4*k - 5*b, 0 = -c*k - 2*b + b + 102. Is 11 a factor of k?
False
Let d(c) be the first derivative of c**3/3 - 7*c**2/2 + 7*c + 4. Let u be d(7). Does 11 divide 744/56 + (-2)/u?
False
Suppose 5*t + 3*b + 2*b = -180, t + 2*b = -40. Let j = t - -66. Is 16 a factor of j?
False
Suppose -4*r - 90 = r. Let c be (108/10)/(6/15). Let j = c + r. Is 9 a factor of j?
True
Let f(g) = -g**3 - g**2 + g - 8. Is f(-4) a multiple of 4?
True
Let b = -15 + 31. Is 19 a factor of 44*(0 + 12/b)?
False
Does 36 divide ((-1855)/(-7) - -2) + 1 + -3?
False
Suppose -83 = f + 3*y, 4*f + 0*f + 305 = -3*y. Let v = -37 - f. Is v a multiple of 13?
False
Suppose r + 0*h + 3 = h, 13 = -4*r + 5*h. Let z = r + 4. Suppose 3*u + 2*d = 14, 0 = 4*u - z*d - 6 - 22. Is 6 a factor of u?
True
Let b(l) = l + 1. Let r be b(0). Let q = r + 5. Suppose h = -3*n, -q*n + 3*n = 4*h - 36. Is h a multiple of 6?
True
Suppose 5*y + 2*l = y + 240, 2*y + 5*l - 104 = 0. Suppose s + y = 5*c, 31 = 4*c + 5*s - 7. Is c a multiple of 12?
True
Let a = -79 - -118. Is 13 a factor of a?
True
Let j(o) = -o**3 + 7*o**2 - 3*o. Suppose 0 = -m + 2*m - 16. Suppose 0 = u - 5*h + 16, m = 5*u - 3*u + 2*h. Does 10 divide j(u)?
False
Let f(d) = 8*d**2 + 7*d + 5. Does 21 divide f(-4)?
True
Does 9 divide 32/(-24) + 237/9?
False
Suppose 4*f - 193 = 71. Let s = -16 + f. Let n = s - 28. Is n a multiple of 11?
True
Let k(y) = -3*y**3 - 2*y**2 - 4*y - 1. Does 28 divide k(-3)?
False
Suppose -1 = -5*n - 4*m + 36, 12 = 4*m. Suppose n*w + 8 = 38. Suppose -2 = -4*q + w. Is q even?
True
Suppose -1099 = -f - 6*f. Is 17 a factor of f?
False
Let w = -4 - -5. Suppose -m - w = 3. Does 4 divide 48/9 + m/(-6)?
False
Does 23 divide 211/2 - (-9)/6?
False
Suppose -5*m = -10, -4*s + 2*m + 3 + 5 = 0. Is 4 a factor of 6/(s*3/6)?
True
Let z(f) = -2*f + 8. Let q be z(7). Is 6 a factor of -18*(-3 + 5)/q?
True
Let a(f) = -f - 5. Let h be a(0). Let l(o) = -o**2 - 7*o - 7. Let d be l(h). Is d/(2/16 - 0) a multiple of 7?
False
Let r(z) = 4*z + 6. Is 17 a factor of r(7)?
True
Suppose -439 = -s + 2*t - 6*t, 5*s - 3*t - 2264 = 0. Is s a multiple of 20?
False
Let l be ((-8)/(-14))/((-4)/(-14)). Suppose -5*p - 5*a + 102 = -p, a = l. Suppose -4*t = 5*s - p, -5*s = 4*t - 3*s - 26. Is 7 a factor of t?
True
Let h = -101 + 205. Let t = h + -67. Is 12 a factor of t?
False
Suppose 0 = 2*p + 3*p + 20, 3*o = 2*p + 110. Is o a multiple of 5?
False
Is 96 + 5/(-10)*4 a multiple of 12?
False
Let c(w) = 2*w - 8. Suppose -2*o - 3*o - 3*s = -66, -2*o - s + 26 = 0. Suppose 4*z - 2*z - o = 0. Does 4 divide c(z)?
True
Let r = 229 + -159. Is r a multiple of 21?
False
Suppose z = 5 + 76. Suppose v = 4*v - z. Is v a multiple of 8?
False
Does 13 divide -3 + 1 + 6 + 113?
True
Let f(x) = 2*x**2 - 3*x - 5. Does 10 divide f(5)?
True
Is 12 a factor of (12/21)/(4/434)?
False
Let p = -65 - -133. Does 19 divide p?
False
Suppose -3*v = v - 60. Suppose 0 = -p - b + 2*b + 15, -3*p = 3*b - v. Is 5 a factor of p?
True
Suppose 3*n = -n + 44. Let v = -8 + n. Let b(f) = 3*f + 3. Does 9 divide b(v)?
False
Let g = 8 - 10. Is 21 a factor of (-109)/g + (-4)/(-8)?
False
Let z(w) = -w**2 - 12*w - 16. Let o be z(-11). Let s(a) = a**2 + 4 + 2 + 0*a**2 - a. Is s(o) a multiple of 15?
False
Is 29 a factor of (-607)/(-7) - 2/(-7)?
True
Suppose o - 24 = -2*o. Suppose 0 = 3*g - o*g + 15. Suppose 