lse
Let k(h) = -9*h - 2. Let n be k(-3). Suppose -1 = 2*a + 3*o, a + 3*o - 11 = -4*a. Suppose 95 = a*i - n. Does 15 divide i?
True
Suppose 5*l - 3*l = 238. Does 25 divide l?
False
Let o(x) = -x**2 + 12*x - 12. Let l be o(9). Does 9 divide 1/3 + 670/l?
True
Let c = -10 + 22. Let z(f) = f**2 - 13*f + 18. Is 2 a factor of z(c)?
True
Suppose -4*z = 3*x - 26, 5*x - 2 = -4*z + 28. Is z a multiple of 5?
True
Let z(t) = -2*t. Let o be z(-1). Suppose c - 16 = o*c. Let h = c - -27. Does 8 divide h?
False
Is 1477/21 - 1/3 a multiple of 15?
False
Does 28 divide 15/(-6)*(-366)/15?
False
Let j be (-1 - 0)/((-1)/(-3)). Let z = j + 3. Let a = z - -3. Is a a multiple of 3?
True
Let v(b) = -b**3 + b**2 + b. Let y be v(1). Is 9 a factor of 13 + 1 + -4 + y?
False
Suppose -1024 - 303 = -3*d - u, -16 = -4*u. Is d a multiple of 49?
True
Let g = 21 + -3. Let r = g + -6. Is 6 a factor of r?
True
Let c be 1060/22 + 18/(-99). Suppose -m + c = 3*m. Does 12 divide m?
True
Let p = 7 - 6. Does 3 divide (2 - p)*1 + 7?
False
Let m(p) = 2*p**2 - 4*p + 2. Is 9 a factor of m(4)?
True
Is 10 a factor of (-1)/((-21)/20 - -1)?
True
Let f(c) = 3*c**3 + 18*c**2 + 21*c + 6. Let b(l) = -l**3 - 6*l**2 - 7*l - 2. Let p(i) = 11*b(i) + 4*f(i). Let g be p(-5). Is 11 a factor of (g + 6)*26/(-4)?
False
Suppose -75 = 4*s - 411. Is s a multiple of 9?
False
Suppose 0 = 2*g + 2*g - 16. Let r(c) = -c**2 + 6*c + 4*c - 2*c + g. Is r(7) a multiple of 11?
True
Is 19 a factor of 180/8*(1 - -1)?
False
Let x = 8 - -28. Let q = x - 17. Does 6 divide q?
False
Let w(c) = c - 12. Let b be w(8). Let t = 1 - b. Suppose 31 = t*f - 9. Is 5 a factor of f?
False
Let k(h) = -50*h**3 - 3*h**2 - 3*h - 1. Does 16 divide k(-1)?
False
Let y(k) = -2*k - 5. Let a be y(-4). Let x(p) = p**3 - 2*p**2 - 3*p + 4. Is 2 a factor of x(a)?
True
Let r(s) = -2*s - 1. Let z be r(7). Let a = z - -71. Let c = a + -38. Does 9 divide c?
True
Suppose -2*g + 4*g - 20 = 0. Does 9 divide g?
False
Let a(c) = c**2 - 4*c. Is a(-8) a multiple of 14?
False
Let p(c) = c**3 - 7*c**2 + c. Let d = 18 + -11. Is p(d) even?
False
Let k = -109 + 212. Suppose -q - 2*q = -5*h - 51, 4*q - k = -5*h. Is q a multiple of 22?
True
Let k = -6 + 7. Is 11 a factor of 25 + (2 + -1)*k?
False
Does 23 divide 153/2 + (-1)/(-2)?
False
Let m(s) = 5*s - 11. Is 5 a factor of m(9)?
False
Let y = -19 - -15. Let v = y + 36. Is 8 a factor of v?
True
Let c be 2/(-8) + (-13)/(-4). Let i = c - -10. Is i a multiple of 13?
True
Suppose 5*h - 25 = x, -12 = -5*h - x + 3. Suppose -3*y - 5*u + 26 = 0, -h*u + 8 = -2*u. Suppose 2*k - 4*r - 84 = 0, y*k + r - 60 = -r. Does 14 divide k?
False
Suppose 7*w = 2*w + 185. Does 24 divide w?
False
Suppose -q - 2*q + 15 = 0. Let m = 4 - 2. Suppose q*a - 84 = m*a. Is 14 a factor of a?
True
Is 11 a factor of (44/8)/((-4)/(-8))?
True
Suppose 18 = 5*k + 5*j - 7*j, -4*k + j + 12 = 0. Is k even?
True
Suppose 5*b + 4*w - 4 = -2, -5*b + 4 = 3*w. Suppose s = 5*j - 88, 0*j - 3*s = -b*j + 43. Is 17 a factor of j?
True
Suppose 0 = 4*s - 10 + 42. Let b = 11 + s. Does 3 divide b?
True
Suppose -104 = -4*r - 0*q + 2*q, 0 = -5*r + 4*q + 130. Is 14 a factor of r?
False
Let i(y) = 2*y**2 + 8*y + 5. Let a be i(7). Suppose 0 = 3*m - a - 0. Is 0 + 0 + m + 3 a multiple of 19?
False
Let d(j) = j**2 + j - 210. Let h be d(0). Let b = 300 + h. Suppose 2*a = 5*a - b. Is a a multiple of 11?
False
Suppose 2*p = -p + 114. Does 8 divide p?
False
Let p = 8 - 5. Suppose j + p*h = 53, -123 = 5*j - 3*h - 460. Does 19 divide j?
False
Let v(m) = m**3 + 6*m**2 - m - 3. Does 5 divide v(-5)?
False
Suppose -4*z - 18 = -3*c, -c = -2*z - 4 - 4. Suppose c*i + 182 = 4*i. Suppose -5*t - 3*g = -133, i = t + 2*t - g. Is 13 a factor of t?
False
Let b be ((-2)/(2/(-23)))/1. Suppose 4*z = b + 5. Is 5 a factor of z?
False
Let y(z) = -z - 3. Let m be y(-5). Suppose -3*p + 9 = -2*c + 2*p, -m*c - 2*p = -12. Suppose 0 = -2*b + c*q + 4, -4*q + 44 = 4*b - 4. Is b a multiple of 4?
True
Suppose -5*l + 2 - 17 = -3*r, -l - 3 = -4*r. Suppose -2*g = -z, -4*z - 8 + 0 = r. Is (-1)/((-2)/(-3) + g) a multiple of 2?
False
Let x be (2/4)/(2/4). Let p = -1 + x. Suppose 3*b - 5*b + 26 = p. Is b a multiple of 7?
False
Suppose -5*p + 196 = 4*i, p + 100 = 2*i + 3*p. Is 18 a factor of i?
True
Let z = 7 - 5. Suppose 0 = z*a + l - 181, a - 5*l = 50 + 68. Suppose -2*o - 5*y + 7*y = -34, 4*o + y = a. Is 11 a factor of o?
True
Suppose 0 = -8*v + 521 + 95. Is 23 a factor of v?
False
Let z(m) = -4*m + 5. Let v(c) = c**3 + 6*c**2 - 5. Let x be v(-6). Is 23 a factor of z(x)?
False
Suppose -2*t + 30 = t. Suppose 4*h = -q + 4, -q + 2*h + t = -0*q. Does 8 divide q?
True
Let u = -10 - -13. Let k = u + 1. Suppose -2*b - k*h + 9*h + 86 = 0, -4*h + 144 = 4*b. Does 11 divide b?
False
Let m(r) = -r**3 + 4*r**2 - 3. Let c be m(4). Does 18 divide (-4 - c)*(-1 + -25)?
False
Let s = -28 + -13. Let o = 9 - s. Does 25 divide o?
True
Suppose 0 = 5*t - 0*i - 3*i - 35, -5*i = 4*t - 28. Let q = 15 - t. Is 4 a factor of q?
True
Suppose 56 = -3*h - h. Does 9 divide 72*(h/(-4) - 3)?
True
Let n(h) = 60*h**3 + h**2 - 2*h + 1. Is 15 a factor of n(1)?
True
Let i = -14 + 30. Is i a multiple of 3?
False
Suppose -5*h - 5*i + 815 = 0, 8*h - 654 = 4*h - 3*i. Is h a multiple of 15?
True
Let o(u) = -u - 7. Let w = -12 + 6. Let d be o(w). Is 16 a factor of ((-96)/3 + 1)*d?
False
Let j(u) = -4*u - 1. Let v be j(-1). Suppose c + 6 = 3*z, c + c - z - v = 0. Is (-3)/(c/2) + 18 a multiple of 13?
False
Let g be 1/(-5) - (-1)/5. Suppose -n - 5*o + 4*o = g, 0 = -4*n + o + 20. Does 4 divide n?
True
Let i(y) = 2*y**3 + 11*y**2 - 4. Is i(-5) a multiple of 21?
True
Let v(q) be the first derivative of -q**3/3 + 3*q**2 + 3*q + 1. Is v(3) a multiple of 6?
True
Let g = -185 - -357. Is g a multiple of 15?
False
Let p(n) be the second derivative of 7*n**4/12 - n**3/2 - 2*n**2 - 4*n. Does 25 divide p(3)?
True
Suppose 2*v - v + 1000 = 0. Is 7 a factor of (-2)/7 - v/70?
True
Let x be 1 + -3 - 2/(-2). Let c be -2*(3 - (-4)/x). Suppose 0 = 3*z - c*f - 150, -2*f = -5*f. Does 17 divide z?
False
Suppose -l - 13 = -4*a + 16, -a = -2*l - 16. Suppose a*g - 42 = 4*g. Does 11 divide g?
False
Let c = -10 - -6. Let l be ((-15)/6 + 2)*c. Is 12 a factor of 125/(-10)*l*-1?
False
Suppose 4*h - v - 29 = 2*v, 3*h - 5*v - 30 = 0. Does 5 divide h?
True
Let d(k) = k**2 + 11*k + 8. Let p(x) = -2*x**2 - 22*x - 15. Let j(u) = 5*d(u) + 2*p(u). Is 5 a factor of j(-11)?
True
Let l(t) = 5*t - 5. Does 3 divide l(4)?
True
Let d(x) = -16*x**2 + 9*x**2 + 10*x**2 + x. Does 12 divide d(-4)?
False
Let h be 5/1 + 0 + -2. Let j = h - -1. Let s(b) = 2*b**2 - 4*b + 3. Is s(j) a multiple of 19?
True
Suppose 3*j = j - 4*a - 12, -5*j = -5*a - 30. Is j/7 + 180/7 a multiple of 8?
False
Let m be (-494)/(-91) + (-3)/7. Suppose m*t - 70 = 5*n - 0, 0 = -2*t - 3*n + 18. Is 4 a factor of t?
True
Let i be (-162)/(-8) + (-4)/16. Suppose 0 = 2*w - 4*p - 22 - 6, 4*w - i = -p. Is 3/(-6) - (-39)/w a multiple of 6?
True
Suppose d + 22 = -d. Does 21 divide 2/d + 2085/33?
True
Suppose 0 = z - 2*h + 7*h + 188, -4*z - 5*h - 782 = 0. Let s be 2/7 + z/(-42). Suppose -4*o = -s*o + 16. Is 11 a factor of o?
False
Let k(q) = -q - 14. Let f be k(-7). Let i = -5 - f. Does 9 divide (i + -5)/(2/(-14))?
False
Let w = -5 - -31. Let z = 5 - 2. Suppose h - 58 = -z*g, -2*h + w = -2*g + 3*g. Does 9 divide g?
True
Let m(v) = 3*v**3 - 3*v**2 + 3*v - 2. Let r be m(2). Suppose -3*f + f = -r. Is f a multiple of 7?
False
Suppose -k + 0*k = -96. Suppose 0 = z, -k = -3*x - z + 18. Is 17 a factor of x?
False
Let f = 60 + -36. Is f a multiple of 12?
True
Let l = -178 - -412. Is l a multiple of 39?
True
Let b be 3300/(-84) - 4/(-14). Let i = -7 - b. Is i a multiple of 8?
True
Suppose 0*p - 2*p - b - 2 = 0, -5*p + 17 = -3*b. Let d(x) = 32*x**2 + 1. Is d(p) a multiple of 13?
False
Let d(z) be the second derivative of z**4/6 + z**3/6 + 3*z**2/2 + 7*z. Does 12 divide d(-4)?
False
Is (20 - 0) + 0/14 a multiple of 20?
True
Suppose -3*u + o = -42, 0 = -2*u + o - 4*o + 39. Let t = u - -10. Is 8 a factor of t?
False
Let j be (-248)/(-5) - (-6)/15. Suppose 0*o + 3*o - j = -i, -4*i = 5*o - 74. Is o a multiple of 9?
True
Let b(u) = u**3 + 10*u**2 - 9. Let x be b(-10). Let q = x - -13. Suppose 0*z + 44 = q*z. Is z a multiple of 11?
True
Suppose 23*k - 64 = 27*k. Let v(d) = -6*d. Let