6 = -4*z - 2. Let r be -1 - ((-3 - -4) + -71). Suppose -3*l = 2*c - 75, 0 = f*l - 0*c + 4*c - r. Is l a multiple of 11?
False
Let l = 56 + -29. Is l a multiple of 12?
False
Suppose 3*h - h = 4. Does 2 divide h?
True
Let r = -4 - -7. Does 5 divide r/(-18) + (-86)/(-12)?
False
Let y = 38 - -58. Is 13 a factor of y?
False
Let m(x) = 3*x. Is 10 a factor of m(6)?
False
Suppose 3*r + 7 = 4*r - 4*s, -4 = -2*r - 2*s. Suppose 0 = r*b - 4*b + 90. Suppose -47 = -4*q + 3*w + b, -33 = -q + w. Does 19 divide q?
True
Let m = 16 + -9. Is 12 a factor of (168/m)/((-3)/(-2))?
False
Suppose 76 = 3*q + 3*o + o, 3*q - 4*o = 116. Is 16 a factor of q?
True
Suppose 0 = -3*h + 4*x - 11, 6 - 28 = 5*h - 3*x. Let q(b) = -2*b - 2. Is q(h) a multiple of 4?
True
Let s = 17 + -15. Let g(i) = 8*i. Is g(s) a multiple of 6?
False
Suppose -2*i - 10 = 0, 5*x - i = -91 - 189. Let m be (-4*x/(-6))/(-2). Suppose -83 = -3*n + m. Does 17 divide n?
True
Let b = 9 + -6. Let c = b + 0. Suppose -5*r = 2*q - 68, 0 = -r + 4*q - c - 1. Is 5 a factor of r?
False
Let p(d) = -d**3 - 8*d**2 - 5*d + 8. Let y be p(-7). Is -6*9/y + -3 a multiple of 5?
False
Suppose 2*t + 14 - 70 = 4*h, -2*h = -3*t + 76. Suppose 5*b - 3*d = -2*d + 104, 4*d - t = -2*b. Is 5 a factor of b?
True
Suppose 5 + 5 = 5*i. Suppose i*z - 5 = 1. Suppose -93 = -z*j + 12. Does 9 divide j?
False
Let l(w) = w**3 - 12*w**2 + 29*w + 10. Does 10 divide l(10)?
True
Let c(w) = -3*w**3 - w**2 - 7*w - 9. Does 21 divide c(-3)?
True
Let j = -2 - -7. Suppose s = -j*c + 65, 0*c + 26 = 3*c - 2*s. Does 6 divide c?
True
Let d(v) = -v**3 + 5*v**2 + v - 6. Let l be ((-20)/(-12))/((-2)/(-6)). Let t be d(l). Is 19 a factor of t/(-4) + 812/16?
False
Let p(s) = 2*s**3 - 2*s**2 + 2. Let c be (-2)/2*0/(-2). Suppose 0 = -5*u + 10, c = 5*m - 2*u - 6. Is p(m) a multiple of 8?
False
Suppose 18 = 5*x + 3. Suppose x*c - 48 = -c. Suppose p - 6*p - c = j, 3*p + 36 = 3*j. Is 4 a factor of j?
True
Let c(v) = v**3 - v**2 - v + 1. Let x be c(2). Suppose -r + 21 = -x. Is 12 a factor of r?
True
Suppose -5*b - 3*u + 23 = 0, u + 0*u = -4*b + 17. Suppose -32 = -b*f + 4*o, 17 + 11 = 2*f + 4*o. Suppose 2*p - 2*n - f = 0, -15 = -3*p - 5*n + n. Is p even?
False
Let f be (188/(-3))/((-2)/3). Let h = -59 + f. Is 14 a factor of h?
False
Let g(y) = 8*y + 86. Is 10 a factor of g(18)?
True
Let h = -51 + 107. Is h a multiple of 14?
True
Let l(x) = -x**3 - 5*x**2 + 7*x + 5. Let i be l(-6). Let s be (i - 2)/((-1)/1). Does 9 divide s/((-9)/(-114)) + -3?
False
Suppose 4*s - 3*z - 806 = -z, 3*z = -3*s + 591. Is 10 a factor of s?
True
Suppose 4*l - 1060 = -4*v, 0 = 5*v + 3*l + 481 - 1814. Does 47 divide v?
False
Let k = 4 - 2. Suppose -4*c + k*t + 238 = 0, -4*t - 295 = -5*c + t. Suppose c + 90 = 5*v. Does 15 divide v?
True
Let n(m) = -m**3 + 7*m**2 + 6. Let z be n(6). Suppose -2*w + 124 = -5*t + 3*t, -w + 58 = -2*t. Let q = w - z. Is q a multiple of 12?
True
Suppose 5*u - 17 = -57. Let b(s) = s**3 + 9*s**2 + 7*s + 5. Let i be b(u). Suppose 2*p - i = 13. Is 13 a factor of p?
True
Let k = -68 + 119. Is k a multiple of 17?
True
Suppose 6*z - 2*x - 104 = z, 5*x + 10 = 0. Is 4 a factor of z?
True
Let b = -1 - -2. Let l be (12/7)/(b/7). Is 8 a factor of (-3)/(-2)*232/l?
False
Let v(r) = 5*r**2 - 2*r - 1. Let u(h) = 4*h**2 - 2*h - 1. Let c(g) = 3*u(g) - 2*v(g). Let n be c(-1). Suppose a - 4 = 0, -m + 2*a + 2 = n. Is m a multiple of 3?
False
Let h = 3 + 0. Suppose 9*t = 4*t + h*p + 10, t = -4*p + 2. Suppose -2*z + 68 = i + z, t = z. Is i a multiple of 21?
False
Let g = -3 + 6. Suppose -5*v + 2*v - 86 = -x, -x = g*v - 104. Is 31 a factor of x?
False
Is 7 a factor of (-18)/1*((-5 - -5) + -4)?
False
Suppose 2*l = 2*m - 64, -2*m - 34 = -4*m - 4*l. Does 9 divide m?
True
Let o be (-2)/(3 - (3 + 1)). Let y(x) = 7*x + 0 - 3*x - o - 2*x. Is 4 a factor of y(3)?
True
Let q = 237 - 94. Is q a multiple of 13?
True
Suppose -3*q = q - 12. Is 110/6 - q/9 a multiple of 9?
True
Let p be 4/(-10) - (-1254)/(-15). Let w = p + 120. Does 12 divide w?
True
Does 7 divide (-63)/6*(-2 - (-10)/15)?
True
Let k be ((-48)/32)/(1/(-2)). Suppose -95 = -k*f - 2*f. Is f a multiple of 6?
False
Suppose 0 = -2*o + 5*o. Suppose -z - z + 80 = o. Is z a multiple of 20?
True
Let s(a) = 2*a**2 - 28*a + 6. Is 20 a factor of s(19)?
False
Suppose 5*v - 140 - 20 = 0. Is v a multiple of 17?
False
Suppose q - 555 = -2*s, -2*s + 3*s - 3*q = 295. Suppose -5*y = -5*m - s, 3*m = y + 6*m - 36. Does 17 divide y?
True
Let o = 54 + -30. Is 24 a factor of o?
True
Let y(s) = 3*s - 1. Let n(r) = 10*r - 3. Let x(t) = 3*n(t) - 8*y(t). Suppose -m + 0*m + 6 = 0. Is 13 a factor of x(m)?
False
Suppose 0*j = -j - 4*y + 36, 5*j - y = 75. Is j a multiple of 8?
True
Suppose 4*q = 12, 5*i = 4*i - q + 1. Let w be (-26)/(-7) + i/(-7). Suppose 5*m + 3*y - 89 = 0, 6 = -w*y + y. Is m a multiple of 8?
False
Suppose -345 = -4*f - 2*s - 23, 0 = 5*f + 5*s - 400. Is f a multiple of 22?
False
Suppose 7*d - 4*d - 12 = 0. Suppose 5*z = z + 5*l + 153, 0 = -d*l + 12. Is 14 a factor of z?
True
Suppose 4*m - 3*k = -147, 0 = 4*k - k - 3. Let y = -25 - m. Is y a multiple of 4?
False
Let l(k) = k + 19. Is l(20) a multiple of 9?
False
Let s = 19 - 16. Suppose 0*b - s*b + 27 = 0. Is b a multiple of 3?
True
Let c = -117 - -157. Is c a multiple of 8?
True
Let j = 23 - 27. Is (168/(-18))/(j/18) a multiple of 24?
False
Suppose -4*b + 13 - 1 = 0. Suppose 5*a = 3*i + 75 + 32, -b*a + 71 = 5*i. Does 10 divide a?
False
Suppose k - r + 2 = 0, k - 20 = 4*k + 4*r. Is k - -2*21/2 a multiple of 12?
False
Let i(k) = -3*k - 18. Let f(o) = -o - 6. Let j(y) = -8*f(y) + 3*i(y). Let v be j(-5). Is v + 5/((-10)/(-52)) a multiple of 9?
False
Let u(i) be the third derivative of 7*i**4/24 - 7*i**3/6 + 5*i**2. Is 11 a factor of u(7)?
False
Let f be (3/2)/(9/(-60)). Let w be f/5*4*1. Let k = 27 + w. Is 19 a factor of k?
True
Suppose c = 4*l + 16, 2*c - 2*l + 28 = -6*l. Let p = -4 - c. Is 30/(-9)*(-3 - p) a multiple of 10?
True
Suppose 3*z + 2*z - 4815 = 0. Does 5 divide 2/(-7) - z/(-63)?
True
Let s(y) = -14*y + 4. Let r(d) = -5*d + 1. Let h(z) = -11*r(z) + 4*s(z). Is h(-9) a multiple of 14?
True
Suppose 4*a - 2*a = 14. Let i = -11 + a. Is 22 a factor of i/10 + 112/5?
True
Let s(b) = b - 5. Let l = 21 - 10. Is 3 a factor of s(l)?
True
Suppose -65 = -k + 2*l, l - 4*l = 4*k - 227. Is 25 a factor of k?
False
Let f = 70 + -42. Let h = f - 14. Suppose 2*d - 8 = -2*q, 4*q - 7 - h = -5*d. Is d even?
False
Suppose -3*l + 6 = -0. Suppose 0 = l*g + 2*g. Suppose 0*h + 5*h - 85 = g. Is 6 a factor of h?
False
Suppose o = -5*r - 27 + 83, -3*r + 228 = 3*o. Is 15 a factor of o?
False
Let q(r) = 9*r - 39. Does 10 divide q(12)?
False
Does 4 divide (-3 + 8)/((-2)/(-6))?
False
Let w be -7 + (-2 + -1)/3. Let b(h) = -2*h - 11. Let x be b(w). Is 6/(3 - 13/x) a multiple of 4?
False
Let l(m) = 2*m**2 + 3*m - 1. Let k be l(-3). Let w be k/44 + (-2)/11. Let z = w + 41. Is z a multiple of 17?
False
Let y(b) = 24*b**2. Is 12 a factor of y(1)?
True
Suppose 0*s + 564 = 3*q - 3*s, s = -4*q + 772. Suppose 5*b = -d + q, -b + d = -d - 45. Is 13 a factor of b?
True
Let x = -9 - -10. Let a(g) = 48*g**3 + g**2 - 2*g + 1. Is a(x) a multiple of 20?
False
Let s = 7 - -1. Suppose 2*c - s = 12. Is c a multiple of 9?
False
Let x(w) = -w**3 - 8*w**2 + 8*w - 10. Let k be x(-9). Let t = k + 18. Does 15 divide t?
False
Suppose 0*l = -2*l - 6. Let p be (12 - 15) + (1 - -20). Let r = l + p. Does 5 divide r?
True
Suppose 4 = -2*n - 4*u - 2, 0 = -4*n - 5*u. Suppose 0 = -s - c + 6, 4*c + c = n*s - 80. Does 11 divide s?
True
Let t(x) = -x**3 + 5*x**2 + 7*x - 1. Let n be t(6). Suppose 10 = g + 4*g + n*y, -12 = -4*g - 2*y. Is g a multiple of 2?
True
Let a be -9 - -5 - -6*1. Is 35 a factor of 105/6*(a - 0)?
True
Let j(a) = -8*a - 7. Let t be j(-7). Let u = -33 + t. Suppose -u + 6 = -f. Is 5 a factor of f?
True
Suppose l + w - 21 = 0, l + w = 2*w + 19. Does 10 divide l?
True
Let z(x) = 2*x + 3. Let m be z(-5). Let n(p) = -2*p + 6. Let u be n(m). Is 12 a factor of 12/10*u/1?
True
Suppose -2*x = 16 + 12. Let l = x - -30. Suppose 5*y + 2*q = 4*q + l, -y = -4*q + 4. Is y even?
True
Let h = -7 - -13. Suppose -3*o - l - 4*l - h = 0, -2*o + 12 = -2*l. Suppose 0 = -4*z + o + 5. Is z even?
True
Suppose -d - 2 - 1 = 4*o, -4*d = 5*o + 12. Let h(f) be the second derivative of 