es 7 divide l(-6)?
True
Let l = -1 + 4. Let k be 16 - ((-6)/(-2))/l. Suppose -96 = -3*w - k. Does 9 divide w?
True
Let c = 50 + -9. Does 41 divide c?
True
Let z = -2 + 8. Is -1*(z/2 - 53) a multiple of 14?
False
Let m = -91 - -129. Does 19 divide m?
True
Is 4/6 + 755/15 a multiple of 17?
True
Let h = 9 - 8. Does 10 divide h/(-4) - (-324)/16?
True
Let q be 140/50 - 2/(-10). Suppose -3*u - q*g + g = -66, -3*g = -u + 22. Is u a multiple of 5?
False
Suppose 4*s + 0*l + l = 10, s = l + 5. Suppose -2*m = -s*m + 52. Does 26 divide m?
True
Let n be -1 + (-5)/(10/(-8)). Suppose -5*z + n*z = -78. Is z a multiple of 13?
True
Let h be 1146/9 + (-4)/12. Suppose -h = -3*l - 49. Is 14 a factor of l?
False
Suppose 2*z + 2*z = -16. Let g be (0 - 2)*z/8. Suppose 0 = -l + 9 + g. Is l a multiple of 4?
False
Let o be 2*2/(-4)*-4. Suppose -4 = 4*h - 4*z - 8, -o*h + 2*z + 10 = 0. Suppose -100 = -4*j + h*c, -3*j + 67 = -0*j + c. Is j a multiple of 11?
False
Suppose 2*t - 5*u - 32 = -0*t, -3*t = 3*u - 90. Is t a multiple of 26?
True
Let s(k) = -k**3 + 7*k**2 - 7*k + 2. Let w be s(6). Is 12 a factor of w/(-6) + (-350)/(-15)?
True
Let x = -41 + 65. Is x a multiple of 6?
True
Suppose -4*d = -6 + 22. Let b(l) = 8*l + 1. Let x be b(d). Let v = -18 - x. Is v a multiple of 7?
False
Suppose 0*r = -3*r - 9, 519 = 3*v - 4*r. Is 19 a factor of v?
False
Let d(a) = -5*a + 2. Let f(v) = v**3 + 6*v**2 + 2*v + 9. Let p be f(-6). Is d(p) a multiple of 17?
True
Suppose 5*p + 10 = -15. Let c(w) = w**2 - 7*w + 2. Does 12 divide c(p)?
False
Let p be (1 + (-2 - 0))*-1. Let r be (p/(-3))/((-4)/24). Suppose -n = -2*m + 1 - 12, -7 = -r*n - m. Is 2 a factor of n?
False
Let s(n) = n**3 + n**2 + 3*n - 2. Let y = 4 + -2. Is s(y) a multiple of 16?
True
Does 5 divide (-4 + 1)/(36/(-168))?
False
Is 33 a factor of -55*(3 + (-120)/25)?
True
Let c(u) = u**3 - u**2 + 120. Is c(0) a multiple of 12?
True
Suppose 0 = s - 1, 0 = 5*o + 5*s - 212 + 62. Let z = 53 - o. Is 8 a factor of z?
True
Let s(y) = 2*y**2 + 2*y + 3. Let g be s(-2). Let f be 20*(-1 + g/(-5)). Let v = -8 - f. Is 15 a factor of v?
False
Suppose 2*y = 6*y - 408. Suppose -n - 275 = -5*z, 2*n + 280 = 5*z - 0*n. Let j = y - z. Is 16 a factor of j?
True
Let w(i) = -i. Let z be w(0). Let k be 6*1*1/1. Let q = k + z. Is 6 a factor of q?
True
Let y(d) = 48*d + 2. Is y(1) a multiple of 25?
True
Let k(p) = -p. Suppose -5 - 15 = 5*f. Let q be k(f). Suppose -q*x + 15 = -21. Does 9 divide x?
True
Let u = 13 - 7. Let v = 5 - 4. Let l = u - v. Is 2 a factor of l?
False
Let b = -47 - 9. Let f be 9/3*b/(-3). Suppose n - 2*y = f, -5*n + 5*y + 125 = -135. Does 14 divide n?
False
Let l(b) = b**3 - 3*b**2 + 1. Let k be l(3). Let q(v) = -v**3 - 4*v**2 - 2*v. Let z be q(-4). Suppose 0 = m - z + k. Is m a multiple of 3?
False
Suppose -3*r + 180 = 4*w + r, 5*r + 153 = 4*w. Does 6 divide w?
True
Suppose -5 = -2*s - 1. Is (-8)/(-10)*25/s a multiple of 3?
False
Suppose -6*q = -7 - 47. Is q a multiple of 9?
True
Let g(o) = 13*o. Let v be g(10). Suppose 5*p = 10*p - v. Is p a multiple of 13?
True
Let k(p) = p**2 + 6*p + 1. Let n be k(-7). Let a be 6*(2 + n/(-3)). Is 11 a factor of (-4)/a - 10/(-1)?
True
Suppose 4*b - 3*z + 7 = 0, -2*b = -2*z + 4 + 2. Suppose 0 = -3*o + y + 53, -b*o + y + 37 = -0*o. Let u = o + 20. Is u a multiple of 13?
False
Let p(n) = -13*n**3 - 2*n**2 + n + 1. Is p(-1) a multiple of 2?
False
Let o = 34 - 14. Suppose 0*j + o = -5*j. Let s(c) = 3*c**2 - 4. Is 22 a factor of s(j)?
True
Let d(g) = 37*g**2 - g - 1. Is 6 a factor of d(-1)?
False
Let z(m) = -m**2 + 14*m - 5. Is z(13) a multiple of 3?
False
Let h = -245 - -344. Suppose -2*b = b - h. Is 7 a factor of b?
False
Suppose 0 = k - 2*f + 8, -7 = -5*k - f + 8. Suppose -3*u - 17 = k*x - 2*u, 5*u + 1 = 2*x. Let m = 7 - x. Is m a multiple of 14?
True
Let h be -1 + 1/(4/16). Suppose -y - h*y + 112 = 0. Does 14 divide y?
True
Suppose r - 4*r + 3*h = -42, 5*h = -5*r + 30. Suppose r = -2*w + 66. Let x = -16 + w. Is x a multiple of 5?
False
Suppose 0*j - j + w + 166 = 0, j = -2*w + 163. Is 15 a factor of j?
True
Is -2*1*1743/(-42) a multiple of 18?
False
Suppose -28 = 4*q - 72. Suppose 19 = 5*l - q. Suppose 0 = l*h - 2*h - 88. Is h a multiple of 22?
True
Let w(n) = 15*n - 1. Suppose 2 - 7 = -5*x. Is w(x) a multiple of 4?
False
Let d be 15/(-2)*4/(-3). Suppose 2*n + 0*m = -2*m - d, -3*m = -2*n + 15. Suppose -4*h + 6 = 2*f + f, n = -3*f - 5*h + 3. Is f a multiple of 4?
False
Let m(k) = -25*k + 17. Let j(d) = -6*d + 4. Let n(b) = -9*j(b) + 2*m(b). Is 12 a factor of n(6)?
False
Suppose 2*x + 6 = -x. Does 21 divide (-42)/(-5)*(-10)/x?
True
Suppose 2*b - 15 = -b. Suppose -b*x - 52 = -7*x. Is 26 a factor of x?
True
Let d(j) = j**3 - 8*j**2 + 4*j - 11. Let f be d(8). Is (-2 - (-78)/f)*7 a multiple of 6?
True
Let d(i) = i**2 - 1 + 0*i**2 + 0*i**2 - 6*i**2 + 5*i + i**3. Let u be d(4). Suppose -5*t + u*q + 59 = 0, 2 + 7 = -3*q. Is 3 a factor of t?
False
Suppose -5*t + 4*f = 181, -3*t + f = -2*f + 108. Let k = t + 24. Let a = 16 - k. Does 21 divide a?
False
Let r(m) = m**2 + 9*m + 14. Does 7 divide r(-9)?
True
Let z(i) = -i**3 + 5*i**2 + i + 1. Let y be z(5). Let n(r) be the third derivative of 5*r**4/24 - r**3/6 + 6*r**2. Does 10 divide n(y)?
False
Let r = 1 + 3. Let a be (r - 2)/2 + 2. Suppose 8 = -q + a*q. Does 2 divide q?
True
Let a = 34 + 1. Suppose 1 = 3*l - a. Is l a multiple of 8?
False
Suppose 0 = -3*s + 2*s - 4. Let a be (-2)/s - (-5)/2. Let h(j) = j**3 + j**2 - 4*j + 2. Is h(a) a multiple of 13?
True
Let q(g) = -g**3 - 2*g**2 - 3*g + 4. Let j = -19 - -15. Does 16 divide q(j)?
True
Let q be (-5 + 0)*-1*1. Let t be q/2 - (-1)/2. Suppose 0 = -t*v + 14 + 1. Is 2 a factor of v?
False
Does 18 divide (-2 - 61)/(1/(-1))?
False
Let i be ((-36)/(-8))/(3/(-6)). Let h = 17 + i. Is 3 a factor of h?
False
Suppose -p + 5*r + 25 = -6*p, -2*r = -3*p. Let b be p/(-1) - (-3 - 0). Suppose 0 = -b*x + x + 144. Is 18 a factor of x?
True
Suppose -448 - 1813 = -19*f. Is f a multiple of 17?
True
Let h(a) = a**2 - 1. Let u(b) = 2*b**2 - 2. Let m(w) = h(w) - u(w). Let v(n) = -7*n**2 + 2*n - 3. Let q(p) = -m(p) - v(p). Is 15 a factor of q(2)?
True
Suppose 5*f = 3*m + 491, 5*m - 5*f + 825 = -0*f. Let j = m + 239. Is j a multiple of 18?
True
Is 1 - 34*4/(-8) a multiple of 3?
True
Suppose 2*r = 2*y + 42, 5*r + 2*y = -y + 97. Is 20 a factor of r?
True
Let c be (12/(-10))/(2/(-5)). Suppose 2*w + 3 = 5*f - 25, -c*w = -5*f + 27. Is f a multiple of 2?
True
Suppose 2*j + n - 381 = 0, 4*j = -6*n + n + 753. Let x = -118 + j. Is x a multiple of 15?
False
Let p = 29 - 7. Suppose -f = -54 + p. Is f a multiple of 24?
False
Suppose -14 = 3*l + c + 3*c, -5*l = 4*c + 10. Let p be l/6 - 47/(-3). Is (-46)/(-4) - 8/p a multiple of 11?
True
Let u = 16 + -10. Let x = u + -11. Is 10 a factor of x/(2 - 9/4)?
True
Is (-80)/12 - -6 - (-137)/3 a multiple of 28?
False
Let n = 10 + -7. Suppose -p - n*p + 40 = 0. Is p a multiple of 5?
True
Suppose 18*f - 24*f = -684. Does 47 divide f?
False
Let r be 5/((-5)/16) - 1. Let x = r - -43. Is x a multiple of 9?
False
Suppose 3*c + 99 = 3*y - 0*c, 5*y + c - 135 = 0. Does 2 divide y?
True
Suppose 7*g - 60 = 2*g. Is 20 a factor of (-3)/(-4) - (-711)/g?
True
Let f(s) = s**3 - s**2. Let y = 3 - 2. Let c(u) = -15*u**3 + 7*u**2 - 1. Let x(v) = y*c(v) + 5*f(v). Is x(-1) a multiple of 11?
True
Suppose -3*i - 3*t = i - 211, 3*i = -3*t + 159. Does 13 divide i?
True
Suppose -b - 3*b = o - 150, 3*b - 147 = -o. Is o a multiple of 37?
False
Let y = 370 - 234. Does 24 divide y?
False
Let t = -7 + 14. Is t a multiple of 4?
False
Suppose 3*y - 4*y = 0. Suppose 2*f - 46 = -y*f. Is f a multiple of 9?
False
Let j be (2/3)/((-5)/285). Let a = j - -68. Is 15 a factor of a?
True
Let k(p) = 22*p - 14. Does 32 divide k(5)?
True
Suppose 2*w - 5*z + 0*z = 730, 0 = 3*w + 3*z - 1137. Suppose 5*l - x = 375, -5*l - 3*x = -8*x - w. Is 25 a factor of l?
True
Let h = 5 - 3. Suppose h*g - 54 = -g. Does 14 divide g?
False
Let c be (1 + -1)*(0 - 1). Suppose l - 4*j = 25, c = 5*l - 0*l - 5*j - 50. Is 3 a factor of l - 1/(-1 + 0)?
True
Let m(c) = 5*c**2 + 14*c**2 - 1 - 5*c**2. Does 4 divide m(1)?
False
Let s(i) = -i**3 + 12*i**2 - 17*i + 2. Is 4 a factor of s(10)?
True
Let j(v) = -3*v. Let h be j(-1). Suppose 0 = -3*x + h*s + 45, 4*s = -5*x + 6*x. Is x a mult