divide -21*(2 + (-33)/l)?
False
Let v(c) = 632*c**2 + c + 1. Let k be v(-1). Suppose 0 = 4*d - k + 216. Suppose -5*l + d + 36 = 0. Does 15 divide l?
False
Let n(u) = u + 2. Let y be n(-3). Let v be 0/y - (-6 - -3). Suppose -30 = -0*r - v*r. Is 5 a factor of r?
True
Let a = -27 - -21. Is ((-30)/(-5))/(a/(-75)) a multiple of 13?
False
Let l(p) = 2*p**2 + 5*p - 21. Is l(-7) a multiple of 29?
False
Suppose -6*v = -4*v - 58. Let d = v + -5. Is 24 a factor of d?
True
Suppose 0*c - 104 = -4*c. Suppose -562 = 4*r - c. Is 11 a factor of 2/(-6) + r/(-6)?
True
Let r(q) = -q**3 + 6*q**2 + q - 6. Let l(g) = -5*g + 1. Let i be l(-1). Let p be r(i). Suppose -2*c + 5*o + 43 = p, 2*c + c = 2*o + 48. Is 7 a factor of c?
True
Let a be 2 + 2 + 1 + 0. Let x(l) = 4*l**2 - 2*l**2 - 2 - l**3 + 2*l + 3*l**2. Is x(a) a multiple of 3?
False
Let d(b) = b**3 - 5*b + 3. Let h be d(4). Let c be h/(-7) + 2/(-7). Is 11 a factor of 1/c + (-900)/(-28)?
False
Let o = 3 + -3. Suppose 2*s + 4*i + 8 = 0, s + 0*s + i = o. Suppose 0 = -s*u - 4*r + 56, -u - 5*r + 10 = -0*u. Is u a multiple of 14?
False
Does 15 divide (36/14)/((-13)/(-182))?
False
Let g(d) = -d**3 + 4*d**2 + d - 1. Let h be g(4). Suppose -16 = -3*z - b, -z + b + 26 = h*z. Is 3 a factor of z?
True
Suppose -5*q + 3*q - 36 = -2*u, 3*u - 56 = 5*q. Let o(n) = u + 1 - 21*n + 22*n. Is o(0) a multiple of 9?
True
Let x = 80 + -33. Is 10 a factor of x?
False
Let l(c) = 2*c**3 - 3*c**2. Let j be l(2). Suppose 8 = 2*o - j. Does 3 divide 3/o*4 + 1?
True
Let r(t) = -2*t - 6. Let k = 2 + -7. Is 2 a factor of r(k)?
True
Suppose 0 = -3*m + 2*s + 9, -m + 7*s - 4*s - 4 = 0. Suppose -m*n + 115 = 5*p, 6 = n + 1. Is 10 a factor of p?
False
Let a(b) = b + 16. Is a(7) a multiple of 11?
False
Does 49 divide 0 - 12*5*(-234)/65?
False
Let r(x) = x**2 + 6*x + 8. Let s be r(8). Suppose 4*g - s = 4*k, 4*g - 3*g + k = 22. Is g a multiple of 7?
False
Let p be -2 - -1*(138 + 4). Suppose 0*j = 5*j - p. Is j a multiple of 10?
False
Suppose -c = -5*c + 340. Is c a multiple of 17?
True
Suppose -6 = 5*z - 1. Is 3 a factor of z + 24/((-6)/(-2))?
False
Let o = -39 + 48. Does 9 divide o?
True
Let x(f) = f**3 + 4*f**2 + f + 3. Let h(m) = -m**2 + m - 2. Let p be h(2). Let r be x(p). Is 11 a factor of 21 - (-1 + 1 + r)?
True
Suppose -166 - 284 = -9*j. Does 21 divide j?
False
Suppose 3*g + 108 = 3*w, 2*g - 120 = -4*w - 0*g. Is w a multiple of 32?
True
Let t(f) = -f - 4. Let o be t(-4). Suppose -3*r + o = u - 9, 5*u + 2*r - 19 = 0. Suppose 56 = 3*d + 5*x, -x - 42 = -u*d + 8. Is d a multiple of 17?
True
Suppose -s + 5*s = -16. Let n(x) = -2*x**2 + 2*x + 3. Let c be n(s). Let h = -9 - c. Is 14 a factor of h?
True
Let v = 12 + -8. Suppose -5*g + v = -1, -n - 2*g = -21. Does 5 divide n?
False
Let z be 4/(-2)*(-171)/6. Let i = -40 + z. Is 6 a factor of i?
False
Does 11 divide 4 + 79 + 1 + -2?
False
Suppose -6*g = -2*g + 48. Let m = g - -7. Let j = 9 + m. Does 2 divide j?
True
Let y(t) = t**3 - 6*t**2 + 3. Let k be y(6). Let v = k + 17. Is v a multiple of 10?
True
Let z(j) = -j**3 - 2*j**2 - j + 2. Let d(n) = -2*n + 3*n - 4 - 9 + 0. Let c be d(10). Is 7 a factor of z(c)?
True
Suppose 7 = l - 0*l + g, -1 = l - 3*g. Suppose -l*p - 5*i + 95 = 0, i - 4*i - 7 = -p. Suppose 0*j - 2*j = -p. Does 8 divide j?
True
Suppose 10 = -5*m, -2*u + 3 = -5*m - 19. Suppose d - 4*b + 10 = 0, 2*d - 3*b = d - 7. Let f = d + u. Does 3 divide f?
False
Is 14 a factor of -4 + 113 + (-7)/((-35)/15)?
True
Let n = -4 - -4. Let g = n + 2. Is 2 a factor of g?
True
Let z = -9 - -5. Is (-107)/z - (-6)/(-8) a multiple of 10?
False
Let q(x) = x**2 - 7*x - 12. Let d be q(7). Is 28 a factor of (-2030)/(-18) - d/54?
False
Let r be (-604)/(-12) - (-3)/(-9). Let s = -27 + r. Does 9 divide s?
False
Let r = 19 + -14. Is 2 a factor of r?
False
Suppose -7 = -5*q + o, 2*q - 29*o + 8 = -25*o. Is 2 a factor of q?
True
Let c(x) = -17*x**3 - 14*x**2 + x. Let j(b) = -b - 13. Let f be j(0). Let k(y) = 8*y**3 + 7*y**2. Let m(h) = f*k(h) - 6*c(h). Is 12 a factor of m(-4)?
False
Let m = -37 + 127. Is 15 a factor of m?
True
Is (-411)/(-6) - (-2)/(-4) a multiple of 17?
True
Let h(b) be the first derivative of 15*b**2/2 - 4*b + 3. Is 12 a factor of h(3)?
False
Suppose 6*x = 2*x + 16. Suppose 0*h + 143 = 5*h - 2*f, f + x = 0. Does 5 divide h?
False
Let v(c) = c - 2. Let a be v(-2). Let l(p) = p**2 - 5*p + 3. Let m be l(4). Is 13 a factor of m*1*(-27 - a)?
False
Is (-12)/15*90/(-1) a multiple of 6?
True
Let c(y) = -y**2 - y - 1. Let g be c(0). Does 20 divide (-108)/(-15)*(g - -6)?
False
Let d be 3/(((-2)/1)/(-2)). Let c(q) = 0*q + 19*q - 10*q - 4*q + 2. Is c(d) a multiple of 4?
False
Suppose -k - 4*f + 4 = 0, 0 = -k + f - 7 + 1. Let n(t) = -4. Let v(r) = r. Let m(d) = -n(d) - 4*v(d). Does 10 divide m(k)?
True
Is (-438)/(-11) - (-8)/44 a multiple of 36?
False
Let v be 3*1 + 12/(-4). Suppose -5*y + 4*n + 30 = v, -4*n - 4 + 16 = 2*y. Is y a multiple of 4?
False
Let n = -607 + 857. Suppose -x = -w + 5*w + 50, 0 = 5*x + 5*w + n. Let o = x - -80. Does 15 divide o?
True
Suppose -k + o + 13 = 0, -5*o = -3*k + 2*k + 13. Let t = k - 5. Does 4 divide t?
True
Suppose 0*b = b - 20. Is (-2)/(-8) - (-135)/b a multiple of 7?
True
Let u(r) = -2*r**3 - 6*r**2 + 7*r + 4. Let s be u(-5). Let c = s + -8. Let q = c + -41. Is q a multiple of 10?
True
Let a(s) = -s + 1. Is 15 a factor of a(-14)?
True
Let u = 13 - 2. Let i = u + 33. Is i a multiple of 22?
True
Suppose 0*g + 105 = 4*g + 3*w, -4*g + 145 = -5*w. Is 18 a factor of g?
False
Let f(r) = 91*r**2 - 1. Let x be f(1). Suppose i + x = 5*t, -i - 81 + 3 = -t. Let a = -40 - i. Is a a multiple of 17?
False
Suppose 163 = 2*b + 5*v - 89, -3*v = 5*b - 630. Is 21 a factor of b?
True
Suppose z + 2*z + 5*q = 52, q = 3*z - 76. Suppose l - r = z, 2*l - 4*r = 52 - 10. Does 6 divide l?
False
Let s be 0*((-20)/(-6) - 3). Let j be (s - -5)*4/10. Is 18 a factor of ((-2)/(-3))/(j/57)?
False
Let h = -18 - -41. Is 6 a factor of h?
False
Let f(o) = 7*o**2 - o - 11. Is f(5) a multiple of 53?
True
Let q = 1 + -1. Suppose -4*m + 2*f + 28 = q, -2*m - 4*f + 6 = -8. Does 6 divide m?
False
Suppose 0*p + 5*p = 15. Suppose -m = 5*l + 3*m - 90, p*m = 3*l - 27. Is 14 a factor of l?
True
Let s(u) = -20*u**3 - 2*u**2 - 2*u + 1. Is s(-2) a multiple of 32?
False
Suppose -7 = -3*f + 38. Does 5 divide f?
True
Suppose 8*j - 3*j - 1725 = 5*u, 0 = -5*u. Is j a multiple of 64?
False
Let h be 14/6 + (-4)/12. Let i = -3 + h. Does 11 divide 2 - ((-2)/i - 11)?
True
Let w be 12166/35 + (-4)/(-10). Suppose 0 = -s + 5*s - w. Suppose 27 = -5*c + s. Is c a multiple of 9?
False
Let n = -21 - -31. Does 10 divide n?
True
Suppose 14 - 69 = -5*r. Let l = r - -15. Let y = 52 - l. Does 13 divide y?
True
Let d(y) = 21*y + 42. Does 10 divide d(3)?
False
Suppose 1 = p - 7. Suppose i - 2 - p = 0. Does 10 divide i?
True
Let d(a) = -a**3 + 3*a**2 + 7*a - 10. Let p be d(4). Does 3 divide p/(-5) + (-188)/(-20)?
True
Suppose -4*m = d - 18, 4*m - 16 = -3*d - 2. Let n = d + 5. Suppose -2*h + h = 3*s - 53, -n*h - 11 = -s. Is 17 a factor of s?
True
Suppose 30 + 147 = 3*d. Is d a multiple of 5?
False
Suppose 0 = -7*i + 5*i + 68. Suppose 0 = 2*o - 2*a - i, 0*o + 5*o = -2*a + 57. Does 10 divide o?
False
Let p(h) = h**2 + h - 5. Let z be p(-6). Suppose -z = -g + 7. Does 16 divide g?
True
Let q(x) = -4*x + 4. Is 4 a factor of q(-3)?
True
Let t be ((-6)/4)/(3/44). Suppose 0 = 9*u - 7*u - 108. Let o = u + t. Is o a multiple of 16?
True
Let c(t) be the third derivative of t**4/8 + 2*t**3/3 + 4*t**2. Let p be c(14). Suppose 3*a = 5*q + 118, -255 = -5*a - 4*q - p. Is a a multiple of 19?
False
Suppose 2*n = 213 + 131. Is 43 a factor of n?
True
Let t(f) = -2*f - 9. Let r(g) = -g. Let v(o) = 3*r(o) - t(o). Let b be v(8). Is 3 a factor of b/1*(-24)/(-3)?
False
Suppose 4*c + 6 = 18, -4*u - 2*c + 342 = 0. Does 21 divide u?
True
Let s(g) = -g**3 - 11*g**2 - 13*g + 6. Is s(-10) a multiple of 13?
False
Does 17 divide (2 + (-172)/1)/(-2)?
True
Suppose -424 = -8*b - 0*b. Is b a multiple of 8?
False
Let h(c) = c**2 + c + 2. Let w be h(-1). Suppose -w*g - 24 = -5*g. Suppose -k + 3*k = -4*v + 152, -4*k = g. Is 11 a factor of v?
False
Let b = 55 - 37. Suppose 0*h = 3*h - b. Suppose 5*a - a - 24 = -4*c, -2*c = -h. Is 3 a factor of a?
True
Suppose 5*w - 700 - 125 = 0. Does 28 divide w?
Fal