4*r**3 - 2*r**2 + 4*r - 3. Does 15 divide a(-3)?
True
Suppose 16 = 3*i + 1. Suppose -2*y + y = 0. Suppose -i*z + 135 = -y*z. Is z a multiple of 15?
False
Let x(f) = 122*f + 5. Is 14 a factor of x(1)?
False
Let j(z) = z**2 - 4*z + 1 - 3 - z. Let n be j(4). Let u(v) = v**3 + 5*v**2 - 8*v. Is u(n) a multiple of 6?
True
Let c(p) = p**2 - 7*p + 4. Let a(h) = -h**3 + 5*h**2 - 4*h + 3. Let v be a(4). Suppose 3*w = -3*y + 9, -2*y + 5 = -v*y. Is 6 a factor of c(w)?
True
Let x = 141 + -107. Is x a multiple of 17?
True
Suppose -6214 = -41*n + 15*n. Is 8 a factor of n?
False
Let a(b) = -11*b**3 - 2*b**2 - 2*b - 1. Is 23 a factor of a(-2)?
False
Let q(r) = 4*r**2. Let g be q(-2). Suppose -3 + 3 = 14*f. Suppose 8*z - 4*z - g = f. Is z even?
True
Let s(o) = -o**2 - 2*o. Let k be s(-1). Suppose 0*z = -z + k. Is (z + 11)*(-81)/(-18) a multiple of 27?
True
Let w(s) = -s**2 + 6*s + 2. Does 2 divide w(5)?
False
Let y(h) = -h**2 - 19*h - 25. Is y(-15) a multiple of 2?
False
Let o(j) = 3*j**3 + j**2 - 4*j. Let k(u) = -6*u**3 - u**2 + 9*u - 1. Let n(h) = 2*k(h) + 5*o(h). Let z = 2 - 0. Is 10 a factor of n(z)?
True
Suppose -2*k - 49 = -5*f, -f + 15 = 2*f. Let y = 4 - k. Is y a multiple of 10?
False
Suppose -39*o + 35*o + 444 = 0. Suppose f + i + 1 = 0, i + 6 = -f - i. Suppose 3*g - o = -3*s + f*g, -2*g + 196 = 5*s. Is s a multiple of 20?
False
Let h be 84/2 + 12/4. Suppose -7*w = -2*w - h. Is 3 a factor of w?
True
Let p(s) = s**3 - 7*s**2 + 7*s. Let a be ((-12)/(-15))/(8/60). Is 3 a factor of p(a)?
True
Suppose 4*c - 6*c = -80. Is 10 a factor of c?
True
Suppose 0 = -4*w + 7*w - 9. Is 3 a factor of w?
True
Let d(n) = -n**3 + 12*n**2 + 19*n + 15. Is d(13) a multiple of 10?
False
Suppose 2*s + 2*s = 0. Let w(v) = 1 + v - v**2 + s*v - 5*v. Is w(-3) even?
True
Let u(t) = 4*t**2 + 6*t + 6. Is u(-3) a multiple of 5?
False
Let d be -3 - (-118 + 1 + 2). Suppose 5*n = n + d. Does 6 divide n?
False
Let b(p) = 62*p - 10. Is 36 a factor of b(4)?
False
Let u(o) = 3 - o + o**3 - 3 + 4*o**2 - 2. Let c be u(-2). Does 10 divide ((-21)/4)/((-2)/c)?
False
Let g(w) = 2*w**2 - 3*w - 7. Does 3 divide g(-3)?
False
Suppose -i - v + 54 = 0, -3*i + 8*v = 3*v - 186. Is i a multiple of 13?
False
Let u(h) = -4 - 1 - 14*h**2 - h**3 - 13*h - 4 + 5*h**2. Let j be u(-9). Suppose -3*i + j = -0*i. Does 18 divide i?
True
Suppose -45 = -3*a - 3*q, -5*q = 4*a - 66 + 4. Is a a multiple of 5?
False
Suppose -3*l + 2*u = 2*l - 549, 5*l - u = 552. Suppose 4*o = -2*i + 86 - 20, -3*i + l = 2*o. Is i a multiple of 13?
True
Suppose -5*h + 4*v = -0 - 25, -4*h = -3*v - 20. Let d(j) = 2*j**2 - 17*j + 17. Let k(y) = -y**2 + 8*y - 8. Let u(t) = -4*d(t) - 9*k(t). Is 4 a factor of u(h)?
False
Suppose 5*x + 2 + 18 = 0. Let j = 4 + x. Suppose h - 43 = -2*y, j = 4*h - 15 - 5. Is y a multiple of 19?
True
Let x(a) = -a**2 + 21*a + 56. Is 5 a factor of x(23)?
True
Let u(z) be the second derivative of z**3/6 + 5*z**2/2 + 3*z. Let h be u(-5). Suppose 123 = 4*x - n, -2*n + 54 = 2*x - h*x. Is x a multiple of 10?
True
Let v be (-2)/10 + 16/5. Suppose 0*u + v*u = 9. Is ((u - -7)/(-1))/(-2) even?
False
Suppose 2*o = 6*o - 140. Let t(h) = 4*h - 1. Let s be t(5). Let u = s + o. Does 19 divide u?
False
Let z = -1 - 0. Let v be 9 + 2 + z/1. Let a = v + -2. Does 8 divide a?
True
Let o(b) = 2*b**2 - 3*b - 1. Let w = -6 + 4. Is 12 a factor of o(w)?
False
Let q(o) = -o**3 - 5*o**2 - 4*o - 4. Let m be q(-5). Let l = m - 11. Let d(t) = -t**2 + 7*t + 2. Is d(l) a multiple of 6?
True
Let h(s) be the second derivative of s**3/6 - s**2/2 - 2*s. Let o be h(-1). Is 2 + 34/((-2)/o) a multiple of 18?
True
Let m(l) = -l + 2. Let n(d) be the second derivative of d**3/6 - d**2 + 3*d. Let z(y) = -3*m(y) - 4*n(y). Does 7 divide z(-5)?
True
Let a(o) = 3*o + 3 - 2*o**2 - 5*o**2 + 0 + o. Let b be a(-2). Does 3 divide b/(-4) + (-4)/16?
False
Let o(c) = c**2 - 2*c + 84. Is 12 a factor of o(0)?
True
Let c be 28/(-2)*(-1)/(-2). Is 18 a factor of (0 + c)*18/(-7)?
True
Suppose 0 = 5*x - 353 - 27. Is 35 a factor of x?
False
Does 4 divide ((-68)/(-6))/(14/21)?
False
Suppose 5*l - 25 = 0, 2*d + d - 91 = l. Let x = -19 + d. Is 7 a factor of x?
False
Let p be 1/4 + (-2)/8. Suppose 2*z - 5*z + 72 = p. Is 12 a factor of z?
True
Let t be 3*2*(-36)/(-8). Let f = -34 - -15. Let y = f + t. Is 8 a factor of y?
True
Suppose 40 = t + 5*s, -5*t + s + 3*s = -200. Is 16 a factor of t?
False
Does 12 divide (-560)/(-12) + (-8)/(-6)?
True
Let w be (-33)/(-55) + (-6)/10. Let b = -60 + 157. Suppose -4*k - q = -w*q - 117, 0 = 4*k - 3*q - b. Does 9 divide k?
False
Let m(z) = z + 2*z - 7 - 5*z. Let q be m(-6). Suppose u + 100 = q*u. Is u a multiple of 15?
False
Suppose -8 = -5*f + 12. Suppose 0 = f*r - 9 - 11. Let u(o) = 2*o + 1. Is 5 a factor of u(r)?
False
Let u(w) = -6*w**2 - 7*w + 4. Let l(r) = r**2 - 6*r + 5. Let m be l(6). Let k(f) = 6*f**2 + 6*f - 3. Let g(q) = m*u(q) + 6*k(q). Is 10 a factor of g(-2)?
False
Suppose -4*o + o = 18. Is 3 a factor of o/(-10) - (-12)/5?
True
Suppose 0 = 8*g - 7*g - 15. Is g/(-4)*32/(-12) a multiple of 10?
True
Let p be 4/6 + (-40)/6. Is 5 a factor of (-4)/p - (-93)/9?
False
Does 16 divide (8 + -10)/((-2)/16)?
True
Let j be -1 + 21 + (5 - 5). Suppose 5*l = -w - j, -5*w + 3 = -5*l - 17. Suppose 4*a - 21 - 67 = w. Does 11 divide a?
True
Let g = -1 - -1. Suppose g = -r + 4*r + 12. Does 6 divide (26/r)/(1/(-2))?
False
Suppose -2*j = f - 33, -2*j = -3*f - 3*j + 99. Does 11 divide f?
True
Suppose 4*a - 6*a - 8 = -2*q, -5*q + 4*a + 19 = 0. Let o be -1 + q - 4/2. Suppose 4*f + o - 22 = 2*v, 5*v - 1 = 3*f. Is f a multiple of 8?
True
Suppose -c - 4*c - 600 = -5*m, m + 3*c = 140. Does 25 divide m?
True
Let h(j) = -j**2 - 5*j + 3. Suppose b - 5 = 2*b. Let f be h(b). Suppose -f*t + 26 = -t. Is t a multiple of 6?
False
Suppose -17*p + 460 = -13*p. Is p a multiple of 42?
False
Let p be 6 - (1 + (-6)/(-2)). Suppose 0 = -h + 4, -h = -p*r + 4*h + 50. Is 35 a factor of r?
True
Let r(a) = -5*a. Suppose -6*i + i - 10 = 0. Is r(i) a multiple of 4?
False
Let z be 2/6 + 4/(-12). Suppose -7 = -r - z. Is r even?
False
Let k be 10 + (-2)/6*0. Suppose 2*i = -3*i + k. Let j = i - -3. Is 3 a factor of j?
False
Let l(o) = 2*o - 15. Is l(11) a multiple of 3?
False
Let n = 6 - 1. Is 2 a factor of n?
False
Suppose -4*i + 205 = 5*o - 9*i, 0 = -5*o + 2*i + 190. Let p(x) = -x**2 - 2*x + 2. Let c be p(-5). Let q = c + o. Is 11 a factor of q?
False
Suppose -3*j + 15 = -0. Does 5 divide j?
True
Suppose 0*h = -3*h + 366. Does 21 divide h?
False
Let y = -7 + 3. Let s(b) = -b**3 - 2*b**2 + 3*b + 2. Does 11 divide s(y)?
True
Let m(u) = -u**3 - 2*u**2 + 7*u + 2. Let t be m(-5). Let g be t/8 + 2/(-8). Suppose -7 = -d + g*x + 31, 4*d = -3*x + 37. Does 13 divide d?
True
Suppose -3*d + 3 = -6. Suppose 0 = -3*u + 9 + d. Suppose 30 + 3 = 3*c + u*t, 3*t = -c + 11. Does 11 divide c?
True
Let m(v) = 3*v + 2 - 4*v - 3 - v. Let y be m(-4). Does 5 divide 2/y - 660/(-42)?
False
Let j be (-96)/(-40) - (-2)/(-5). Suppose -j*t + 5*l = 12 + 27, -t = l + 30. Is (t - (-1)/1)*-1 a multiple of 13?
True
Let r(w) = -8*w - 7. Does 6 divide r(-4)?
False
Suppose -4*d = d - 4*p - 72, -5*p - 22 = -2*d. Does 4 divide d?
True
Does 7 divide (1 + 0)/(4/84) - -4?
False
Suppose 4*w = 2*w - 64. Let r = w + 102. Suppose 4*j - i = 2*i + 139, -2*i = -2*j + r. Does 13 divide j?
False
Suppose 7 = 5*u - 8. Suppose -5*s - 4*x + 46 = 0, -x - 13 = -5*s + 38. Suppose -25 = -u*i + 2*m, -3*i - 2*m + m = -s. Is i a multiple of 2?
False
Let v(f) = f**3 - 8*f**2 + 9*f - 8. Let m be v(7). Let d = m - 4. Let t(b) = 3*b + 2. Is t(d) a multiple of 3?
False
Let x be 28 + -4 + 6/2. Let w = x + -13. Does 7 divide w?
True
Let c(d) = d**3 - 4*d**2 + d. Let t be c(4). Let b be (t/3)/((-2)/69). Let a = 84 + b. Is a a multiple of 19?
True
Let w(z) = -z**3 + 5*z**2 - 3*z. Let x be w(4). Suppose 0 = -2*f - 5*a + 33 + x, -4*f = 5*a - 49. Is f a multiple of 6?
True
Let t(b) = -b**3 + 4*b**2 + 5*b + 1. Let r be t(5). Let h be -4 + r + -5 + 27. Suppose -3*z + h = -2*z. Is z a multiple of 13?
False
Suppose 2*m - 15*m = -416. Is m a multiple of 8?
True
Let s be 12 - -6*2/(-4). Let h = 5 + 1. Is (-2)/h + 156/s a multiple of 16?
False
Suppose -10 = -4*q + 5*l, -5*l + 1 = -3*q + 6. Suppose -3*c + 5*u + 14 + 35 = 0, -q*c + 2*u + 107 = 0. Does 6 divide c?
False
Let d