ose 5*v = -0*v + 15. Suppose -v*k - 17 = -53. Does 4 divide k?
True
Suppose -4 = -4*i, -i + 5 = n + 1. Is n even?
False
Let h(p) = 8*p**3 - 3*p**2 + p - 5. Let o(k) = -k**3 + k**2 + 1. Let x(s) = -h(s) - 3*o(s). Is x(-2) a multiple of 22?
True
Suppose -4*n - 36 = -4*v, v - 3*n = n + 21. Suppose -98 = -v*w - 28. Does 5 divide w?
False
Let f = 110 - 68. Is f a multiple of 6?
True
Suppose 2*l = -4*m + 16, m - 10 - 12 = -5*l. Suppose 2*n = -m*n. Suppose n = d + 2*d - 84. Is d a multiple of 14?
True
Suppose 121 = -4*z + 6*z - v, 0 = 3*z + 4*v - 165. Suppose -z = 5*g + 16. Let c = -10 - g. Is 2 a factor of c?
False
Suppose 26 = 4*l + 2. Is (4/l + -1)*-15 a multiple of 2?
False
Suppose -c - 70 - 194 = 0. Is 19 a factor of c/(-5) + (-6)/(-30)?
False
Suppose 0 = 3*d + 6, d = 2*g - 462. Is 46 a factor of g?
True
Let z(f) = -3*f**2 + 2*f - 2. Let a(n) = -n**3. Let h(k) = -a(k) - z(k). Suppose 5*b + 5*o = 0, o - 18 = 7*b - 2*b. Does 8 divide h(b)?
True
Let w(p) = 23*p - 2. Is 17 a factor of w(2)?
False
Suppose -z = 2 + 1. Let h = 7 + z. Suppose -2*l = 2*l - h*f - 40, -2*l = 5*f - 27. Is l a multiple of 11?
True
Let u = -4 + 6. Suppose 0 = -3*h - u*h + 45. Let l = 17 + h. Does 10 divide l?
False
Let z be -2*1/(2 - 3). Let g be z/5 + (-501)/15. Let w = g - -67. Is w a multiple of 17?
True
Let y(h) be the third derivative of h**6/120 + 7*h**5/60 + h**4/4 + 2*h**3/3 + 8*h**2. Is y(-6) a multiple of 4?
True
Let l(r) = 2*r - 7. Let q be l(5). Suppose q*x - 97 = 89. Does 17 divide x?
False
Let j(u) = -2*u - 3. Let l(t) = 1. Let a(q) = -2*j(q) - 6*l(q). Is 3 a factor of a(1)?
False
Let h be 0 - (10/(-2) - -1). Suppose 4*z - t - 229 = 0, h*t - 5*t = -2*z + 117. Suppose 3*v = v + z. Does 14 divide v?
True
Let i = -7 - -2. Suppose 3*l = -4*c + 54 - 14, -c = l - 14. Let o = l + i. Is o a multiple of 11?
True
Let o(s) = 10*s + 15. Let j be o(-7). Let w = 85 + j. Is w a multiple of 9?
False
Let f be (-194)/(-6) + (-3)/9. Suppose 5*c - 142 = -f. Does 11 divide c?
True
Suppose -y - 7 = -4. Let s = y + 45. Is 21 a factor of s?
True
Suppose 4*t + 12 = 0, 11 = 3*b + 2*t - 34. Is b even?
False
Is (-490)/(-40) - (-2)/(-8) a multiple of 5?
False
Suppose 0 = 3*g - g - 92. Let l = 250 - g. Is 11 a factor of 2/(-3) + l/9?
True
Let v(x) = x**2 + 11*x + 8. Suppose 4*l = -d + 5, 2*d = -3*d + 4*l - 71. Is 8 a factor of v(d)?
True
Let k(q) = 28*q + 6. Is 32 a factor of k(2)?
False
Let k(t) = 48*t**3 + t - 1. Is k(1) a multiple of 23?
False
Let r(u) = u**2 - 7*u + 5. Let v be r(6). Let p(y) = -48*y**2 - y - 1. Let x be p(v). Is 15 a factor of -1 + (-2 - (x + 1))?
False
Does 25 divide (-4 - 5)*15/(-5)?
False
Let k(r) = -r**2 - 12*r - 7. Suppose -4*w = -4 + 40. Is k(w) a multiple of 3?
False
Suppose d + 220 = 6*d. Suppose -2*a = -2*j - 88, a - 5*j = -0*j + d. Suppose 4*w - a = -0*w. Is 11 a factor of w?
True
Suppose -2*s - 4*t = -4, 0 = -4*s - 2*t + 24 - 4. Suppose 0 = -s*b + 4*b + 144. Suppose -4*i - 3*p + 48 = -2*i, -3*i + b = -4*p. Does 12 divide i?
True
Suppose -5*x = 8 - 3. Let p = x + 21. Is p a multiple of 8?
False
Let p(l) = -3*l**3 + l**2 - 1. Let h be p(-1). Suppose -5*m + 4 = -m. Let c = m + h. Is c a multiple of 4?
True
Let n(k) = k**3 + 5*k**2 - k + 2. Is n(-5) a multiple of 7?
True
Let p = -26 - -32. Suppose -4*j + 309 = -x, -3*j - 227 = -p*j - 4*x. Does 31 divide j?
False
Let a(i) = -7*i**2 + 5*i. Let u(o) = 20*o**2 - 15*o + 1. Let v(x) = 17*a(x) + 6*u(x). Let l be v(4). Is 16 a factor of (l + -5)/3 - -17?
True
Let d(g) = -g**3 + 9*g**2 - 9*g - 9. Let i be d(8). Let a = 22 + i. Does 5 divide a?
True
Let l(t) = -t**3 + 5*t**2 + 4*t - 4. Let y = -1 + 0. Let q = 5 + y. Is 15 a factor of l(q)?
False
Let z(h) = -h + 49. Is 22 a factor of z(6)?
False
Let b(h) = -3*h**2 + h + 119. Is b(0) a multiple of 13?
False
Let l(o) = -22*o + 2. Is 17 a factor of l(-3)?
True
Let o(x) = 5*x. Let b be o(-2). Let z = 18 + b. Suppose 3*i - z*i = -50. Is 4 a factor of i?
False
Let k be (-152)/(-36) - 4/18. Suppose 0 = k*b - 5*a - 40, -3*b + 2*a = -2*a - 30. Suppose c - b = -2*n, 2*c - c = n + 16. Does 7 divide c?
True
Let l(z) be the first derivative of -5*z**2/2 - 5*z + 2. Does 10 divide l(-5)?
True
Suppose -3*r - 315 = -5*p, -4*r = 2*p - r - 126. Is p a multiple of 21?
True
Let v = -23 - -38. Suppose 4*w - v = 3*w. Is 15 a factor of w?
True
Let z(i) = 4*i - 1. Does 3 divide z(1)?
True
Let k(q) = -41*q - 3. Let x(y) = -21*y - 1. Let s(v) = 2*k(v) - 5*x(v). Let r be s(1). Suppose 3*b - 5*h + 13 = 0, 0 = -b - 2*b - 2*h + r. Is b a multiple of 3?
False
Let k(d) = -2*d - 8. Let x be k(-6). Suppose -x*h + 360 = -0*h. Is 30 a factor of h?
True
Let x(v) = 2*v**2 + 6*v + 7. Suppose 2*y - 13 = -5*l, -10 + 36 = -y + 4*l. Is x(y) a multiple of 24?
False
Is 9 a factor of (-411)/(-2) - (3 - 27/6)?
True
Let b = -30 + 39. Is 4 a factor of b?
False
Let q = 11 + -30. Does 6 divide q/(-3) - (-1)/(-3)?
True
Let q(z) = 10*z**2 + 7*z + 1. Is q(3) a multiple of 14?
True
Suppose -6*y + 25 = -y. Let a(t) = -3*t - 4. Let d be a(-12). Suppose n + d = 4*n - 4*c, -y*c - 55 = -5*n. Does 7 divide n?
False
Let p = 24 + 201. Is p a multiple of 25?
True
Let v(p) = 2*p - 1. Let c be v(3). Suppose 0*h + 5 = h. Suppose c*x + 0*r - 219 = r, -h*x - 5*r = -225. Does 16 divide x?
False
Let h = -2 + -2. Let j = h - -8. Does 9 divide j*14/4 - 0?
False
Suppose -q + 6*q = -5*w + 35, -3*w + 22 = 4*q. Suppose 0 = -w*o + o + 270. Suppose -3*j + o = 3*z, 3*j = -2*z + 31 + 3. Is 20 a factor of z?
True
Let i(s) = s + 16. Is 3 a factor of i(0)?
False
Suppose -c - 15 = -6. Let q be (-8)/32 + 110/(-8). Let k = c - q. Is k even?
False
Let b be ((-3)/1)/((-12)/584). Let d = 98 - b. Is 9 a factor of ((-27)/36)/(2/d)?
True
Let p be 0*(9/(-3))/3. Suppose 4*d - 48 + 8 = p. Suppose v - 7 = d. Does 17 divide v?
True
Let h(g) = g**3 + 4*g**2 + 2*g - 1. Let j be h(-3). Suppose 92 = 3*w - 4*l, -5*l + 18 = 3*w - j*w. Is 16 a factor of w?
False
Suppose -3*l + 2*b + 438 = 7*b, 5*b + 317 = 2*l. Does 33 divide l?
False
Let u = 333 + -179. Does 14 divide u?
True
Let x(z) be the first derivative of z**4/2 - z**3/3 - z**2 - 3*z + 3. Is x(3) a multiple of 12?
True
Let d(w) = w**2 + 0*w**2 + w**2 - 2*w. Let y = -1 - 3. Is d(y) a multiple of 20?
True
Suppose 57 = -3*m - 96. Let z = 73 + m. Suppose 0 = 3*s - 4*s + z. Is 11 a factor of s?
True
Let s(i) = -i**2 + 5*i + 11*i**2 - 2 - 3 + 11*i**2. Let b(u) = 32*u**2 + 8*u - 8. Let r(y) = -5*b(y) + 8*s(y). Does 8 divide r(-1)?
True
Let r be 1 - -11 - (4 + 0). Let p(l) = -l**3 + 9*l**2 - 8*l + 2. Is p(r) a multiple of 2?
True
Suppose -4*i - 3*p = p + 8, 22 = 3*i - 4*p. Suppose i*d = -10, n - 2 = 2*n + d. Is (n/4)/((-3)/(-12)) a multiple of 2?
False
Does 7 divide 3 - 18*(3 - 4)?
True
Let z be 4/(-12) - 1/(-3). Suppose -c - 3 + 1 = z. Let s = c + 17. Is s a multiple of 10?
False
Suppose 127 = m + 2*w, 6*w = -m + 3*w + 129. Is 23 a factor of m?
False
Let d(m) = -m**3 + 8*m**2 + 13*m - 12. Does 6 divide d(9)?
True
Let h = 81 + -53. Does 14 divide h?
True
Let h(v) = -3*v**3 - 1. Let o be h(-1). Suppose o*q + 0 - 8 = 0. Is 10 a factor of 50/4 - 2/q?
False
Let w(z) = z**2 + 9*z - 7. Let a be w(-9). Let j(r) = -r**2 - 9*r - 3. Is 6 a factor of j(a)?
False
Let o(v) = 2*v**3 - 4*v**2 + 4*v - 6. Let u be o(4). Suppose -u = -5*m + 216. Does 15 divide m?
False
Suppose -16 - 3 = -f. Is 10 a factor of f?
False
Let k(y) = -y - 6. Let c(d) = d**2 - 9*d + 8. Let v be c(7). Let r be k(v). Suppose r = -2*n - 3*n, -t - n + 4 = 0. Is t a multiple of 4?
True
Let y = 2 + -1. Let i be (y/2)/((-5)/90). Does 5 divide (-97)/(-9) - 2/i?
False
Let i = -6 - -8. Let r(c) = 7*c**3 - 3*c**2 + c - 2. Is 15 a factor of r(i)?
False
Let h(a) = -a**3 - 8*a**2 - 15*a + 18. Does 16 divide h(-8)?
False
Let z be 4/8*(3 - 3). Suppose -x - 1 + 23 = z. Is 11 a factor of x?
True
Suppose 0 = -66*a + 62*a + 680. Is 51 a factor of a?
False
Suppose x - 3*x - 232 = -3*p, 0 = -p + 2*x + 76. Is p a multiple of 9?
False
Let u be (-28)/(-6) + (-2)/(-6). Suppose u = 2*t - t. Suppose z + 4*n - 8 = -n, -2*z + 46 = -t*n. Does 13 divide z?
False
Let h be 0/(-3) + 4 + 1. Suppose -h*j = 5*f + 3 - 23, 0 = 5*f + 2*j - 23. Is f a multiple of 5?
True
Let c = 8 + -4. Let q(a) = -a**2 + 8*a - 1. Let n be q(7). Suppose 10 = -o + 5*m, 0 = c*o - n*o + m + 16. Does 5 divide o?
True
Suppose 5*