220, -215 = -3*a - 4*r. Is 31 a factor of a?
False
Let q be (0 - (-279)/(-15))*-5. Is -1 - (-1 - q/3) a multiple of 9?
False
Let n = -136 + 61. Let v = -50 - n. Is 25 a factor of v?
True
Does 17 divide 136/(3 - (-18)/(-4) - -2)?
True
Suppose -5*t = u - 85, 0*t + 5*u = -4*t + 47. Suppose 3*h - 2*l = 40, -h + 4*l + t = 8*l. Is 7 a factor of h?
True
Suppose -5*z = 5*u - 65, -3*z - u = -25 - 8. Suppose -3*q = 2*q + 2*k - 32, -4*k = q - z. Suppose b = -4*c + 31, -2*b + 4*c - q*c + 32 = 0. Is 6 a factor of b?
False
Is (-252)/(-70)*(-45)/(-2) a multiple of 28?
False
Let j(y) be the third derivative of y**6/120 - 2*y**5/15 + y**4/8 + y**3/6 - y**2. Suppose -p = -2*c + 7*c - 36, 2*c + 4*p = 0. Does 11 divide j(c)?
False
Let k(v) = -v**2 - 19*v - 24. Is k(-16) a multiple of 24?
True
Is 3/(-6)*0 + 42 a multiple of 14?
True
Let i = -2 - -4. Let v = 2 - i. Suppose 5*u + v*u = 140. Is 10 a factor of u?
False
Suppose 5*l = -2*w + 134, -5*l + 4*l - 5*w + 36 = 0. Does 13 divide l?
True
Suppose -2 = 4*z + 2. Let x be -4 - -3 - z*1. Suppose x*o = 4*o - 80. Does 10 divide o?
True
Suppose -2*g + 159 = g. Suppose 49 = k - g. Is k a multiple of 34?
True
Let j(u) = -u - 1. Let z be j(-7). Let l be 3*-3*(-2)/z. Is 5 a factor of 15*l/(-2 - -11)?
True
Suppose 0 = -2*s - 3*n + 175, -3*n - 5 = -4*n. Is 12 a factor of s?
False
Let i = -5 + 11. Is 2 a factor of i?
True
Suppose -6*t = -t - 10. Let h(i) = -7*i**2 + 2*i + 7. Let q(p) = 6*p**2 - p - 6. Let z(v) = 4*h(v) + 5*q(v). Is z(t) a multiple of 12?
True
Suppose 5*w = 15 + 80. Let i = w + 0. Does 5 divide i?
False
Let w be 10/(-2)*18/(-15). Suppose -s = -3*s - 3*k + 15, -k - w = -3*s. Suppose -24 = -s*o + 2*o. Is 9 a factor of o?
False
Is 2 + (-1 - -4 - -104) a multiple of 12?
False
Let o(u) = u**3 + 13*u**2 + 11*u - 9. Is 14 a factor of o(-10)?
False
Let z(a) = -a**3 + 3*a**2 + 6*a - 6. Let k be z(4). Let s = 2 + k. Is 2 a factor of s - (0 - 1/1)?
False
Let x = 258 - 138. Is x a multiple of 20?
True
Suppose -5*s = 2*f - 862, 233 = 2*s - 2*f - 123. Is 31 a factor of s?
False
Is 8 a factor of (3 + (-111)/(-15))/((-4)/(-20))?
False
Let y be (-74)/9 - 26/(-117). Is y/(-1 - (-10)/12) a multiple of 12?
True
Let s = 37 + 35. Is s a multiple of 18?
True
Suppose 0*i + i = 16. Is 8 a factor of i?
True
Does 29 divide (-31 + (-2)/(-1))*-1?
True
Let i(o) = 28*o + 7. Is i(3) a multiple of 26?
False
Let f(z) = -4*z**3 + 3*z**2 - 5*z. Let b be f(2). Let g = b - -90. Does 30 divide g?
True
Let s(c) = -11*c + 9. Is 19 a factor of s(-4)?
False
Let m(t) = t**2 + 11*t + 5. Let x(l) = -2*l**2 - 23*l - 9. Let j(w) = 13*m(w) + 6*x(w). Is j(-7) a multiple of 5?
True
Let r(o) = 7*o**2 - 1. Let h(w) = -6*w**2 + w + 1. Let l(n) = -4*h(n) - 3*r(n). Is l(3) a multiple of 6?
False
Let n(s) = -8*s**3 - 1. Let u be n(1). Does 15 divide u/(-27) + (-178)/(-6)?
True
Suppose -5*i = -2*i - 3, -2*i + 1 = -a. Let d be 0/(-6) - a*2. Let y(m) = -m**3 + 2*m**2 - m - 1. Does 10 divide y(d)?
False
Does 7 divide (-322)/(14/(-8) + (-10)/40)?
True
Suppose 0 = 3*q - 3 - 12. Suppose 5*k = q + 5. Suppose -k*n + 49 = 5*d, 0 = -4*n - 3*d + 42 + 21. Is n a multiple of 12?
True
Is -8*((-4 - -1) + -18) a multiple of 21?
True
Suppose -32 = -2*z - 8. Does 12 divide z?
True
Is 1*(38 + 4 + -4) a multiple of 23?
False
Let s be ((-9)/3)/(-1) + -1. Suppose -24 = -s*r + 4*k + 12, -5*r = -k - 54. Is 10 a factor of r?
True
Suppose -4*g - g + 15 = 0, -2*q = 2*g - 14. Suppose u - 384 = -q*s + 3*u, -2*s - u = -196. Is 17 a factor of s?
False
Let t(a) = -25*a + 22. Does 8 divide t(-5)?
False
Does 5 divide (1/(-2))/(5/((-70)/1))?
False
Let u = -64 + 237. Is 9 a factor of u?
False
Suppose 131 = s + 5*d, -6*s + s = -d - 733. Is 18 a factor of s?
False
Let d be ((-4)/(-3))/(4/(-162)). Does 18 divide (d/(-15))/(2/10)?
True
Let m(s) = 7*s + 9. Let g(k) = -k - 1. Let a(v) = 6*g(v) + m(v). Let d be (-122)/(-18) + -1 + 44/36. Does 10 divide a(d)?
True
Suppose 0 = -3*s - z + 43, 2*s = 3*z + 14 - 0. Suppose s*j - 8*j = 90. Does 7 divide j?
False
Let u(x) = 3*x**2 + 2*x + 1. Let z be u(-3). Let w = z - 16. Is 4 a factor of w?
False
Let x be (-10)/(-3)*(-6)/(-4). Suppose 0*o - o - 2*w + 8 = 0, -14 = -x*o + 3*w. Does 4 divide o?
True
Suppose 0 = 4*w - 136 - 36. Suppose -p + 45 = x, -2*x - 3*p + 47 = -w. Is 14 a factor of x?
False
Suppose 8*y + 2 = 6*y. Let r(z) = -11*z - 1. Is r(y) a multiple of 7?
False
Let y be ((-23)/1)/1 - -3. Let f = 46 + y. Is f a multiple of 13?
True
Let i(z) = -56*z**3 - 3*z - 2. Is 19 a factor of i(-1)?
True
Let c = 1 + 1. Suppose 3*v = -c*v + 25. Does 5 divide v?
True
Let d(q) = q + 3. Let v be d(-2). Suppose -7 = -2*y - 2*t + v, 2*y + 5*t + 7 = 0. Does 9 divide y?
True
Let d(j) = -51*j - 3. Let i be d(-4). Suppose 0 = 5*n - i - 39. Is 18 a factor of n?
False
Let z = 17 - 15. Does 23 divide (-1)/z - (-1251)/18?
True
Let w(m) = m**3 - 6*m**2 + m + 10. Let i(n) = -n**3 + 6*n**2 - n - 9. Let t(f) = 5*i(f) + 4*w(f). Does 16 divide t(3)?
False
Let o be 0/3 + 106 + 0. Let y = -63 + o. Is y a multiple of 15?
False
Let z(f) = -4*f + 2. Let h be (1 - 2)*(3 - 0). Let o be z(h). Suppose 2*t + 2 - o = -4*d, 0 = 5*d - 3*t - 15. Is d even?
False
Let r(m) = 16*m**2 + 5*m + 4. Does 36 divide r(-3)?
False
Let w(g) = g**3 + 12*g**2 - 21*g + 5. Is w(-13) a multiple of 23?
False
Let u(s) = s**3 - 7*s**2 + 6*s + 3. Let j be u(6). Suppose j*g = 4*g - 20. Is 5 a factor of g?
True
Let o(x) = x + 5. Let h be o(5). Let r be ((-18)/(-15))/((-3)/h). Let m(u) = -u**3 - 5*u**2 - 5*u + 4. Does 4 divide m(r)?
True
Let l be (0 - 0) + (0 - -10). Let r = l - 20. Let z = r + 21. Does 11 divide z?
True
Let k(w) be the second derivative of -1/2*w**2 + 3/10*w**5 + 1/6*w**3 + 0 - w - 1/12*w**4. Does 3 divide k(1)?
False
Suppose -l + 5*p = -25, -3*l + 0*p - 20 = 4*p. Suppose h - 3 - 7 = l. Does 5 divide h?
True
Let h(q) = -2*q - 2. Let z be h(-2). Let v(c) = 3*c**2 - c + 1. Let u be v(z). Suppose 0 = -l + u + 1. Does 10 divide l?
False
Suppose -20*j + 21*j - 84 = 0. Is j a multiple of 21?
True
Let c be (-5 + 1)*(-2 + 1). Let r be 1/c - (-684)/16. Suppose r + 5 = 4*h + 5*a, 0 = -3*h + 3*a + 36. Does 12 divide h?
True
Suppose -2*q + 26 + 13 = i, 3*i = -4*q + 115. Suppose -p - i = -6. Let x = 51 + p. Is 8 a factor of x?
False
Let u(h) = 13*h**3 + h**2 + 2*h + 1. Let n be u(-1). Let a = n - -25. Is 12 a factor of a?
True
Let a(p) = -p**2 - 19*p + 2. Is 12 a factor of a(-17)?
True
Is 10 a factor of 242*(-2)/(-20) - (-7)/(-35)?
False
Let q(y) = 16*y - 1. Let w(i) = i**2 + 6*i + 6. Let s be ((-4)/(-6))/((-10)/75). Let l be w(s). Is 15 a factor of q(l)?
True
Let c = 65 - 39. Is 8 a factor of c?
False
Is (-2)/((-4)/(-3))*(-3190)/87 a multiple of 27?
False
Suppose -4 + 8 = -h. Is 51 + (-2 - h/(-2)) a multiple of 24?
False
Let n = 1 + 0. Let y(t) = 0*t**3 - 1 + 3*t**3 + 0*t**3 + 2*t. Does 2 divide y(n)?
True
Suppose 5*m - 441 = 3*u, m = 5*u - 42 + 139. Does 18 divide m?
False
Let u(q) = 4*q + 4. Let b be u(6). Suppose b = 4*j + d + d, -3*d + 6 = 0. Is 2 a factor of j?
True
Suppose 4*x + 4*x - 848 = 0. Is 22 a factor of x?
False
Is 6 a factor of (-81)/36*(-160)/6?
True
Suppose -2*j + 3 = -j. Suppose 39 = -0*a + 4*a - j*i, 2*i = -3*a + 8. Does 5 divide a?
False
Let c(l) = 8*l**2 - 5*l - 2. Let r = 15 + -18. Does 17 divide c(r)?
True
Let m(c) = -8*c - 22. Does 42 divide m(-8)?
True
Let f(k) = -2*k**2 + k. Let d be f(-2). Let q = d + 16. Is q a multiple of 6?
True
Let q(w) = w**2 - 2*w - 3. Let k be q(3). Suppose k*v - 2*v = 5*m - 68, 5*v + 47 = 3*m. Does 2 divide ((-6)/(-4))/(7/m)?
False
Suppose 0 = 4*a - 5*a + 18. Does 18 divide a?
True
Let y = 97 - 52. Suppose y = 2*l + l. Does 9 divide l?
False
Let a(h) be the second derivative of -13*h**3/6 - 3*h**2/2 + h. Does 13 divide a(-4)?
False
Let o(x) = 25*x**2 + x + 1. Let r be o(-2). Let u = -54 + r. Does 13 divide u?
False
Let r be ((-10)/8 + (-5)/(-20))/1. Suppose 0 = -3*k + 12 - 69. Does 11 divide ((-5)/(-5))/(r/k)?
False
Let a be (-6)/(-2)*(-16)/(-6). Is 20 a factor of a/20 - (-478)/5?
False
Let p(s) = -s**3 + 7*s**2 - 6*s - 3. Does 12 divide p(5)?
False
Let b(t) = -t**2 + 2*t + 3. Let i be b(2). Suppose -i*m + 162 = -0*m. Does 18 divide m?
True
Let z = 9 + 20. Is z a multiple of 14?
False
Let h = -9 + 89. Does 10 divide h?
True
Suppose 0*v + 319 = 2*i - 3*v, -5*i = 4*v - 76