Is 21 a factor of c?
False
Suppose -2*n + 120 = 4*v, 0*n = 4*n + 3*v - 230. Is 14 a factor of n?
True
Let s(o) = 5*o**3 - o**2 - o - 2. Let h be s(-2). Suppose 0 = 2*x + 3*x - 345. Let w = x + h. Is 12 a factor of w?
False
Let m = 5 + -80. Let j = -45 - m. Is 10 a factor of j?
True
Suppose -4*k = 16, 2*j - j + 3*k + 19 = 0. Let v = j - -21. Does 12 divide v?
False
Let j be (-56)/6*(-45)/3. Let v be 5*(20/(-25) - -2). Suppose f = v*f - j. Is f a multiple of 18?
False
Let w = 116 - 70. Suppose 4*h + 4*k - w - 30 = 0, -3 = k. Is h a multiple of 10?
False
Let u(y) = -5 - 4 - 2*y - 2*y. Is 5 a factor of u(-6)?
True
Suppose 1 = -2*s + s - q, 0 = -5*s - 3*q + 1. Is 4 a factor of (1 + 0)/(s/20)?
False
Let c(t) = t**3 - 8*t**2 + 10*t - 1. Is c(7) a multiple of 3?
False
Let d(a) be the second derivative of -a**5/20 + a**4/2 + 4*a**3/3 + 3*a**2/2 + 3*a. Does 3 divide d(7)?
False
Let l = -29 + 17. Is 26/6 + (-8)/l a multiple of 4?
False
Suppose -40 = 3*j - 8*j. Does 8 divide j?
True
Let b be (-10)/20*2*-15. Suppose 0 = t + b - 41. Does 8 divide t?
False
Suppose -3*b = b - 2*k - 122, -3*b - 5*k = -111. Let u = 64 - b. Is 8 a factor of u?
True
Let a(m) be the first derivative of -m**4/4 + m**3 + 3*m**2/2 + 8*m - 1. Let h be a(6). Is 4/(-10) - h/5 a multiple of 14?
False
Let m(o) = 2*o**2 - 3*o + 5. Let s be m(4). Let h = 2 + s. Is 9 a factor of h?
True
Suppose 0 = -5*v + 83 + 22. Does 7 divide v?
True
Let g(v) = 6*v - 2. Suppose -3*x - 7 = o - 2*o, -3*o - x = -21. Let c = o - 3. Does 11 divide g(c)?
True
Let a(d) = -d**3 - 8*d**2 + d + 7. Let l be (-2)/(2 - (-14)/(-8)). Let p be a(l). Let o(i) = -3*i**3 + 2*i**2 + 2*i + 1. Is o(p) even?
True
Let h = 238 - -1. Does 28 divide h?
False
Let x = 106 - 70. Is x a multiple of 22?
False
Suppose 4*d + 2*q = -174, -d + 5*d - 5*q = -139. Let o(u) = -u**3 - 8*u**2 + 16*u + 22. Let m be o(-10). Let k = d + m. Is k a multiple of 6?
False
Let s(l) = l**2 - 3*l + 3. Suppose 2*g - 3*g - 5*r + 25 = 0, -5*g = 5*r - 45. Does 11 divide s(g)?
False
Is (-16)/12*(-234)/4 a multiple of 26?
True
Is 25 a factor of -5*4/(-40)*398?
False
Does 25 divide 2*(-4)/(-16)*50?
True
Let b be (-644)/(-6) - (-7)/(-21). Suppose 5 = 4*f - b. Is f a multiple of 14?
True
Let u = 4 + -2. Let z be (-4)/(-10) - 356/(-10). Let o = z - u. Does 15 divide o?
False
Is 12 a factor of (-1 - -25)*20/16?
False
Let v(q) be the second derivative of -q**3/2 - 6*q**2 - 2*q. Is 2 a factor of v(-5)?
False
Suppose 0*s + 20 = s. Suppose s = -4*n + 104. Is 7 a factor of n?
True
Suppose -k = 2*k - 72. Suppose -5*v + k = -4*v + t, -5*t - 56 = -3*v. Is v a multiple of 22?
True
Suppose 0 = 2*j - 4*v - 48, -j + v + 16 = 3*v. Does 20 divide j?
True
Let j = 5 + 18. Does 5 divide j?
False
Let k be 1*(24 - (-2 + 4)). Let t = k - 10. Is t a multiple of 5?
False
Let a = 19 - 28. Let v = 13 + a. Let l = 6 + v. Is l a multiple of 5?
True
Is 20 a factor of (-2829)/(-23) - -1*1?
False
Let t be 3 + (1 - 10) - 4. Let s(c) = c**3 + 6*c**2 - 7. Let n be s(-5). Let m = n + t. Is m a multiple of 4?
True
Suppose -2*z + 70 = 2*w, -z + 4*z - 3*w - 111 = 0. Is 18 a factor of z?
True
Is 5 a factor of -2 + 96/54 + (-362)/(-9)?
True
Let z(g) = 3*g**2 + 3*g + 1. Let v(t) = -t - 7. Let y be v(-3). Does 15 divide z(y)?
False
Let c(s) = -7*s**3 - s**2 - s - 1. Let m be c(-1). Let o = 2 + m. Does 2 divide o?
True
Let g = -28 - -27. Is 12/4 - (g - 21) a multiple of 5?
True
Suppose 0 = 2*o + 2*o - 2*y + 20, -3*o = -4*y + 15. Is 24/(-20)*o/2 a multiple of 3?
True
Suppose -2*g = u + 130, -702 = 5*u + 2*g - 5*g. Does 13 divide 2/2 + u/(-3)?
False
Let r(w) = 145*w**2 + 6*w - 2. Is 20 a factor of r(1)?
False
Suppose 2*b + 80 = -4*x, -4*x + b + 2*b = 80. Let q be (-2804)/x + (-1)/5. Suppose q = 6*d - d. Does 14 divide d?
True
Let k = 225 - 39. Does 35 divide k?
False
Is ((-154)/(-44))/(2/28) a multiple of 7?
True
Let q(w) = -w - 7. Let j be q(-7). Suppose j*k - 2*k = 2*y - 48, -9 = 3*k. Let u = y - 3. Is u a multiple of 12?
True
Let n(s) = -s**3 - 5*s**2 - 7*s - 5. Suppose -g - 1 = 2*j - j, -14 = 2*g - 2*j. Is 7 a factor of n(g)?
True
Does 4 divide 3/9*(72 - -3)?
False
Let j(s) = 41*s - 1. Is j(6) a multiple of 44?
False
Is 6/2 + 19*(4 - -1) a multiple of 7?
True
Let r(p) = -p - 7. Let q be r(8). Let m = q + 35. Is 8 a factor of m?
False
Let h(o) = -o**3 + 4*o**2 + 6*o - 5. Let q be h(4). Let t = 9 + q. Does 14 divide t?
True
Let s(m) = 3*m**3 - 2*m**2 + m - 2. Let h be s(2). Let u = -7 + h. Suppose -t = i - 11, 4*t = 3*i - 52 - u. Does 15 divide i?
True
Let j = -7 + 10. Let r be ((-6)/1)/(j - 2). Let m(q) = q**3 + 6*q**2 - 4*q + 6. Is 15 a factor of m(r)?
True
Let x be (-24)/(-10) + 2/(-5). Suppose 5*a - a = x*k + 106, -a - 3*k + 23 = 0. Is 13 a factor of a?
True
Let p = -38 - -41. Is 2 a factor of p?
False
Let s be -5*(0 - -2)/(-2). Suppose -5*h + 2*n - s*n = -166, -2*h = -3*n - 58. Is h a multiple of 16?
True
Suppose 3*a - 4*o - o - 14 = 0, 5 = o. Let s = 17 - a. Is s even?
True
Let r = 88 + -40. Is r a multiple of 14?
False
Suppose -131 = -10*q - 11. Is 4 a factor of q?
True
Let c(x) = -6 - 1 + 2 + 14*x + 4. Is 15 a factor of c(3)?
False
Suppose 0 = -3*x + 28 + 323. Does 39 divide x?
True
Let t(g) = 3*g**2 - 2*g - 1. Is t(2) a multiple of 4?
False
Suppose -f = -g + 33, 0*g + g - 5*f = 29. Is 34 a factor of g?
True
Let l(j) = 7*j**2 - 7*j + 2. Is 30 a factor of l(6)?
False
Let o(u) = -20*u**2 + 4*u - 2. Let c(v) = 7*v**2 - v + 1. Let s(k) = 17*c(k) + 6*o(k). Suppose -q = 4*g - 29, -4*q = -25 + 5. Does 11 divide s(g)?
True
Suppose 0*m - 4*m + 41 = 3*a, 0 = 5*a + m - 74. Does 2 divide a?
False
Let w be (6 - 5)/((-2)/(-8)). Let z = w - -9. Is z a multiple of 4?
False
Suppose 2*b - 9 - 1 = 0. Let m = b - 2. Suppose 0 = -m*n + 2*n + 9. Is 9 a factor of n?
True
Suppose -68 = -4*d - 4*v, -2*d - 4*v + 20 + 18 = 0. Does 10 divide d?
False
Suppose -5*z + 50 = 5*b, b - 10 = -3*z + 2*b. Let h be ((-13)/z)/((-1)/5). Suppose s + h = 2*s. Is 8 a factor of s?
False
Suppose -n - 12 = -5*r, 2*n = -2*r - 0*r + 12. Is 14 a factor of -2 + 4 + 9*r?
False
Suppose 10 = 2*u + 3*u. Suppose 0 = 5*z + 3*n - 135, 5*z + u*n = 137 + 3. Does 20 divide z?
False
Let y be (-7)/(2 - (-3)/(-3)). Let q(t) = 2*t**2 + 9*t - 8. Let n be q(y). Is 1*2/3*n a multiple of 9?
True
Is 28/(-5)*(-150)/20 a multiple of 9?
False
Let h be 5/2*72/45. Does 27 divide (-3)/h + 111/4?
True
Suppose w - 6*w - 5*i + 455 = 0, -4*i - 20 = 0. Does 24 divide w?
True
Is 224/40*-3*20/(-6) a multiple of 7?
True
Suppose 2*c + 2 + 0 = 0. Is -5 + 4 - (-34 - c) a multiple of 8?
True
Suppose 0 = -2*i + 11 + 23. Is 9 a factor of i?
False
Does 21 divide (-2)/(4/6) + (129 - 2)?
False
Suppose -3*o = -4*z - 36, -20 = -7*o + 2*o. Does 6 divide (56/z)/(1/(-3))?
False
Let i = 178 - 115. Is (-2)/(-7) + 486/i a multiple of 8?
True
Suppose -6 - 4 = -2*r. Is r a multiple of 5?
True
Let t = -8 + 11. Let l be (-583)/(-9) - (-8)/36. Suppose -5*q + l = 3*c, 3*c + 4*q - 61 = t*q. Does 20 divide c?
True
Suppose 2*m + 260 = 6*m. Is m a multiple of 7?
False
Is 27 a factor of ((-15)/(-45))/((-1)/(-759))?
False
Suppose -s = -5 + 21. Is (-379)/(-4) + (-4)/s a multiple of 27?
False
Suppose 14*j + 0*j = 1512. Does 27 divide j?
True
Let k(p) = -8*p**3 + p**2 + 11*p**2 - 16 + 10*p**3 + 3*p - 3*p**3. Is 6 a factor of k(12)?
False
Suppose 5*z = 239 - 49. Does 11 divide z?
False
Suppose 0 = -o - 2 - 3. Let s(b) = -2*b**3 - 6*b**2 + 4*b + 7. Is s(o) a multiple of 22?
False
Let o(l) = l**2 + l + 1. Let s be o(-1). Let r be s + 0 + -2 - -2. Does 2 divide 1 + 2/r + 3?
True
Let i(w) = 13*w + 1. Let a be i(-2). Is 11 a factor of ((-30)/a)/((-1)/(-30))?
False
Let c(o) = -o**3 - 7*o**2 - 6*o - 4. Let n be c(-6). Let u be 255/(-35) - n/14. Let i = 14 + u. Is 5 a factor of i?
False
Let x = -34 + 65. Suppose -5*o + 0*o = 0. Suppose o = u - 10 - x. Is 19 a factor of u?
False
Suppose 4*q = 6*q. Suppose 0 = -2*b + 2*y - 114, q = 4*b + 4*y + 180 + 32. Let u = -29 - b. Is 11 a factor of u?
False
Suppose 4*v - 129 = i, 4*v - 2*i = 132 - 2. Is v a multiple of 9?
False
Suppose 0 = 4*n + 5*z - 87 - 93, 5*z = 20. Suppose q = 0, -3*q + n + 25 = 5*w. Is w a multiple of 9?
False
Is -5*6*20/(-15) a multiple of 11?
False
Let n(d) = 7*d**2 + 2*d + 2. Let c be n(-2). Let q = c + -7. Does 19 divide q?
True
Let r = -5 + 13. Suppose 4