
Let q be (-25)/5*74/(-10). Let h(v) = 13*v + 4. Let z be h(4). Let b = z - q. Is b a multiple of 9?
False
Let r(n) = -2*n**3 - n**2 + 5*n + 3. Is 11 a factor of r(-3)?
True
Is 7 a factor of 880/30 + (-4)/3?
True
Suppose -4*p = -6*p + 216. Is 12 a factor of p?
True
Suppose -p = -5*u + 85, 2*u - 16 = -0*p + 4*p. Is 18 a factor of u?
True
Let n(u) = -u**3 - 10*u**2 - 3*u - 2. Let r = -24 - -14. Is 17 a factor of n(r)?
False
Suppose n - 3*n + 3*g = -202, 5*n = 3*g + 505. Is n a multiple of 20?
False
Suppose -3*p + 27 = -2*p + 2*f, f = 5*p - 146. Does 29 divide p?
True
Suppose -3*z - z + 12 = 0. Suppose -74 = z*l - 2*j, 0*l + 3*l = 5*j - 86. Let v = -11 - l. Does 4 divide v?
False
Let p be ((-11)/22)/((-1)/(-278)). Let w = -73 - p. Does 11 divide w?
True
Suppose 0 = -4*s - 0*s + 132. Is s a multiple of 11?
True
Let a(d) = -4*d - 1. Is 3 a factor of a(-3)?
False
Is 18 a factor of (31 + 5)*2/4?
True
Suppose 0 = -6*o + 4*o + 12. Does 6 divide o?
True
Suppose -5*x = -x. Suppose 4*r + 16 = x, 2*v - 3*r = -r + 16. Suppose 7*j - 51 = v*j. Is 17 a factor of j?
True
Let g be (-8)/36 + 106/(-9). Let v = 24 - g. Is v a multiple of 10?
False
Suppose -4*b + 144 = -w + 5*w, 4*b - w - 164 = 0. Does 9 divide b?
False
Let o be (22/4 + -1)*2. Suppose 3*h = 4*h - 2*l - o, -5*l = 3*h - 38. Let t = 13 + h. Is t a multiple of 12?
True
Suppose 3*z = -4*w - 1, w + 24 = -2*z + 3*w. Let i(q) = -q - 2. Let u be i(z). Let n(f) = 2*f**2 - 2*f + 1. Does 18 divide n(u)?
False
Suppose -3*z - 4*o - 14 = 0, -2*z + 4*o = 2*z - 28. Suppose -b - z*n + 2 = b, 0 = 4*b - 3*n - 39. Does 5 divide b?
False
Let p be -2 - -4 - 272/(-8). Let j = -8 + p. Does 7 divide j?
True
Let p = -2 + 4. Suppose -6 + 2 = -a, -p*a + 30 = u. Is u a multiple of 14?
False
Does 55 divide ((-63)/(-2))/(-3)*(-658)/21?
False
Let v = 372 + -191. Is 14 a factor of v?
False
Let f(u) = -u**3 + 3*u**2 + 6*u - 2. Let v be f(4). Let o = v - 3. Suppose -44 = -s - o*s. Is 11 a factor of s?
True
Let g = -7 - -3. Let h = 0 - g. Suppose -3*c = n - 2*c - 19, 59 = 5*n - h*c. Is n a multiple of 9?
False
Let p(n) = -8*n + 16. Is p(-9) a multiple of 19?
False
Let c(t) = -t**2 - t + 3. Let n be c(-3). Is 11 a factor of (19/(-3) + -1)*n?
True
Let q be (-2 + 3)/((-1)/2). Let p be q/(-1) - (-28)/2. Let h = p - -8. Is h a multiple of 12?
True
Let g = 16 + -22. Let m(j) = 2*j**2 + 10*j + 6. Is 6 a factor of m(g)?
True
Suppose -11*z + 579 = -2083. Is 22 a factor of z?
True
Let s = -14 - -6. Is (1 - 2)/(2/s) a multiple of 3?
False
Let q(a) = -3*a**3 + a**2 + 4*a - 3. Let t be q(2). Is 32/10 - (-3)/t a multiple of 3?
True
Let n(i) = i**2 + 2*i + 4. Let x be n(0). Suppose -2*d - 3*s = 3 + x, -s - 5 = 0. Is 4 a factor of d?
True
Suppose 4*g - g = 0. Suppose a + 35 = 5*f - 4*a, -5*f + a + 35 = g. Is f even?
False
Let h(w) = 3*w**2 + 14*w + 12. Let o(p) = -4*p**2 - 15*p - 12. Let u(v) = -5*h(v) - 4*o(v). Let d be u(10). Does 2 divide (3 - (-27)/d)*4?
False
Suppose -2*d = 3*z - 68, -4*z + 98 = 3*d - 3. Is 11 a factor of d?
False
Suppose 10*l + 594 = 1794. Does 12 divide l?
True
Let t(k) = -k**2 + 28. Let g be (-26)/(-5) + (-2)/10. Suppose -5*q - 3*z - g = 4, -2*z = 2*q + 6. Is 14 a factor of t(q)?
True
Suppose -12 = -2*g + 4*o, 0 = 6*g - 4*g + o - 2. Suppose g*m = -u + 3*m + 11, 2*m + 38 = 3*u. Is 8 a factor of u?
True
Let a = -14 - -21. Suppose f = 143 - a. Suppose -3*q + f = 4*l, -2*l + 68 = 4*q - 3*q. Does 17 divide l?
True
Suppose 7*u + 8 = 8*u. Let m(i) = i**3 - 7*i**2 - 3*i - 4. Is 12 a factor of m(u)?
True
Suppose -27 - 58 = 5*k. Let x = 3 - -2. Let z = x - k. Does 8 divide z?
False
Let p(i) = -16*i. Let j = -9 + 7. Is p(j) a multiple of 11?
False
Suppose 29 = 5*j - v, 3*j + 4*v + 5 = 4. Suppose 4*k - k = -j*q + 178, -3*q + 110 = k. Does 19 divide q?
True
Does 22 divide 1463/66 + (-2)/12?
True
Let t(l) = -2*l + 17. Let y be t(6). Let v(d) be the second derivative of d**3/2 - 3*d**2/2 - d. Does 4 divide v(y)?
True
Suppose -3*x + 12 = -3. Suppose x*m - 15 = 4*m. Is 11 a factor of m?
False
Let z be (1 - 2)*4*-3. Let h(t) = t**2 - 11*t + 12. Does 5 divide h(z)?
False
Let m be 2/(-4) + (-11)/2. Let k(g) = -g**3 + 5*g - 3. Let r be k(-3). Let j = r - m. Is 13 a factor of j?
False
Let w = 29 - -24. Is w a multiple of 10?
False
Let i be (-1)/2 + (-3)/(-2). Is 15 a factor of 19 - (i/1 + -3)?
False
Suppose -16 = -4*n, -5*i - 2*n = -386 - 62. Does 26 divide i?
False
Let w(u) = -u**3 - u**2 + u - 1. Let g be w(-2). Suppose v = -g + 11. Is 10 a factor of v?
True
Suppose -4*g + 2*w - 2 = 0, 3*w = -0*g - 2*g - 13. Does 8 divide -2*g/(-5)*-10?
True
Suppose l = -3*l - a + 256, 0 = -l + 2*a + 73. Does 13 divide l?
True
Let a be (4 - 7)/((-2)/2). Suppose a*k + 56 = -k. Is k/(-3) + 2/6 a multiple of 5?
True
Let j = -6 - -21. Suppose -5*t - 32 = -4*z, z - t = 2*t + j. Let r(x) = 4*x - 4. Does 3 divide r(z)?
False
Let n(c) = -3*c - 15. Let w be n(-6). Suppose 3*x = 5*f - 70, -w*f + 60 = 2*f - x. Is 11 a factor of f?
True
Suppose 42 - 124 = -2*g. Does 41 divide g?
True
Let l(x) = 4*x - 2 - 3*x**2 - 2*x**3 - 2 + x**3 - 2*x**2. Is l(-6) a multiple of 7?
False
Let b be (3 + -1)*19/2. Let y = 37 - b. Suppose -k - y = -2*k. Is k a multiple of 10?
False
Suppose 0 = -4*x - 3*d + 54, 5*x - 4*d + 20 = 6*x. Does 3 divide x?
True
Let h = 8 - 3. Suppose 0*y - 180 = -h*y. Is y a multiple of 12?
True
Let x be (-197)/5 + 21/(-35). Let z be ((-18)/8)/(2/x). Suppose -2*t + 33 = -z. Is t a multiple of 12?
False
Suppose 3*m - 385 - 158 = 0. Is m a multiple of 15?
False
Let g = -29 - -26. Let l(v) be the first derivative of 5*v**3/3 + 3*v**2/2 - 2*v + 1. Is 17 a factor of l(g)?
True
Suppose -2 = 2*z - 24. Is z a multiple of 11?
True
Suppose 3*l - z - 14 = z, -4*z + 4 = 2*l. Suppose -h = -l*h. Suppose -2*m = 5*c - 145, h*c + 4*m = c - 7. Is 14 a factor of c?
False
Suppose -2*n = -95 + 21. Is 5 a factor of n?
False
Suppose 0 = 4*i + 5*n - 241 - 63, -3*i + 228 = n. Let x = i + -47. Does 9 divide x?
False
Does 13 divide 706/18 - (-4)/(-18)?
True
Let f(v) = -v**3 + 9*v**2 - 8*v - 2. Is 12 a factor of f(6)?
False
Let k(a) = -2*a**3 - 6*a**2 + a - 2. Let s be k(-5). Let y = s + -58. Is 13 a factor of y?
False
Suppose u + 2*u = 18. Is 3 a factor of u?
True
Let n(g) = -g**3 - 5*g**2 + 3*g - 1. Let t be ((-18)/4)/((-6)/(-8)). Is n(t) a multiple of 7?
False
Let z(a) = -a**2 - 4*a - 3. Let x be z(-3). Let t be (-15)/10*((-32)/6)/4. Does 2 divide 6 + (t + -3 - x)?
False
Suppose -4*i + 213 = -455. Is 22 a factor of i?
False
Let q(g) = 4*g**3 + 2*g**2 + 5*g - 3. Let u(y) = 5*y**3 + y**2 + 5*y - 3. Let s(k) = 6*q(k) - 5*u(k). Is 21 a factor of s(6)?
True
Suppose 4 = -2*d - 2*d, 5*l - 22 = 2*d. Let n be ((-2)/l)/(1/(-2)). Let x = 19 + n. Is x a multiple of 10?
True
Let r(w) = -w**3 - 11*w**2 - 15*w - 12. Suppose 5*k - 23 = 3*n + 32, -3*n + 4*k - 50 = 0. Is r(n) a multiple of 11?
False
Let o be -4*(-3)/(-6)*-11. Let h = o + -16. Does 6 divide h?
True
Let f(l) = -l**2 + l - 4. Let r be f(3). Let v = r + 12. Is v a multiple of 2?
True
Suppose c - 3*g - 48 = 0, -3*g - 2*g = -c + 40. Does 15 divide c?
True
Suppose 0 = -2*h + 7*h + 5*p + 10, -3*h - 4*p = 8. Suppose h*r = 4*r - 88. Is 11 a factor of r?
True
Suppose 3*v - 135 = 9. Is 11 a factor of v?
False
Suppose 0 = x + 4*x. Suppose -2*g + x*d = -d + 7, 5 = -g + 2*d. Let c(j) = -j**3 - 2*j**2 - j - 4. Is 4 a factor of c(g)?
True
Suppose -4*o - 50 = o - 5*z, 20 = -3*o + 5*z. Suppose f + 72 = -2*f. Let a = o - f. Is 9 a factor of a?
True
Suppose -70 = -2*v + v. Suppose 0 = 3*i - 2*i. Suppose 5*c = -i*c + v. Is c a multiple of 4?
False
Let n(s) = 8*s. Suppose 5*w = -3*c + 19, 3*w = -4*c - 2*w + 22. Does 13 divide n(c)?
False
Suppose -7*r = -261 - 82. Let a = 138 - r. Is a a multiple of 26?
False
Let p(g) = -18*g - 20. Is 34 a factor of p(-8)?
False
Let l(o) = -o - 1. Let z be l(-10). Suppose 2*d - z - 9 = 0. Is d a multiple of 2?
False
Is (-2)/15 - (-1204)/30 a multiple of 8?
True
Let i be (-2)/5 - 24/(-10). Let t = 5 + i. Suppose 0*k + k - t = 0. Does 7 divide k?
True
Suppose 7*h = 1124 + 675. Does 11 divide h?
False
Suppose -5*a = -5 - 20. Suppose -a*c - z + 60 = 0, -c = 2*z + 3*z + 12. Does 13 divide c?
True
Suppose -k - 3 = 0, 2*f - 3 - 2 = -k. Is 11 a factor of (-1)/(f/(-132)) - 0?
True
Let r(b) = 17*b**2 + 3*b - 1. Is r(3) a multiple of 29?
Fa