lse
Suppose -8*g + 3*g + 260 = 0. Is g a multiple of 18?
False
Let z = -83 + 211. Is 15 a factor of z?
False
Let u(b) = -2*b**2 + b + 4. Let h be u(-4). Let c = -14 - h. Does 9 divide c?
True
Let y be (-1)/((-1)/2) + 2. Is 3 a factor of y/(-18) - 58/(-18)?
True
Let u = -29 + 43. Does 2 divide u?
True
Let k(o) = -2*o. Let v be k(-5). Let f(u) = -u + 14. Does 3 divide f(v)?
False
Suppose -207 = -2*l + 97. Is l a multiple of 16?
False
Let q = 0 + -1. Let w be ((-2)/4)/(q/6). Suppose -w*y = -0*y - 111. Does 15 divide y?
False
Is -18*(-2 - 2/(-3)) a multiple of 15?
False
Let q(s) = -s**2 - 12*s + 5. Let g(w) = w**2 + 6*w - 2. Let c(r) = 5*g(r) + 2*q(r). Let h = -5 + 1. Is 9 a factor of c(h)?
False
Let r be ((-93)/4)/((-2)/8). Let h be r + (4 + -1)/3. Suppose 0 = w + w - h. Does 16 divide w?
False
Suppose t - 55 = -4*t. Suppose -5*w - 3 + t = -2*f, -5*f - 5*w = -50. Is f a multiple of 5?
False
Let j = -18 + 24. Does 2 divide (j/(-7))/(54/(-252))?
True
Suppose 2*d + 4 = t, 8*d = 4*d - 3*t + 12. Suppose 5 = 3*z - 7. Suppose 0 = p - d*p - z. Is p a multiple of 3?
False
Is 44 a factor of 16/(1 + -3)*-33?
True
Let s = -4 + 6. Let w(v) = 10*v + 7*v**s + 5 + 0 - v**3 - v - 1. Is 6 a factor of w(8)?
True
Suppose 2*a = -l + 11 + 3, 5 = -5*a. Let f = -5 - l. Let d = -3 - f. Is d a multiple of 14?
False
Let o(q) = 11*q + 2. Let c = -3 + 10. Let h be o(c). Let y = h + -42. Is y a multiple of 14?
False
Suppose 4*d - 101 = 59. Does 20 divide d?
True
Let a(i) = -i**2 - 23*i - 13. Is 21 a factor of a(-19)?
True
Let f(l) = -l + 81. Let q be f(0). Let m be (-3)/(-2)*(-116)/(-6). Suppose 0 = 5*o - m - q. Is o a multiple of 22?
True
Let r(k) = k**3 + 6*k**2 - k. Let n be r(-6). Is 9 a factor of (n/4)/((-1)/(-12))?
True
Let p(r) be the first derivative of -r + 1/3*r**3 - 2*r**2 - 5. Is p(5) a multiple of 3?
False
Is (1 + -45)*12/(2 - 8) a multiple of 24?
False
Suppose -5*v + 4*a = -4 + 32, -3*v - 4 = 4*a. Let x = v - -10. Is 6 a factor of x?
True
Suppose -14*f = -57 - 293. Does 3 divide f?
False
Suppose 4*q - 2*p - 64 = 62, 15 = -3*p. Is q a multiple of 12?
False
Let t = 210 - -138. Does 58 divide t?
True
Suppose 0 = -h - 5 + 1. Let v = 8 + h. Suppose -j - v*y = -58, 0*j - j + 30 = -3*y. Is 21 a factor of j?
True
Let s = 329 + -182. Is 49 a factor of s?
True
Suppose 5*i - 8 - 12 = 0. Suppose -325 = -9*w + i*w. Is w a multiple of 19?
False
Suppose -8*y + 430 = -3*y. Does 9 divide y?
False
Let f(y) = 8*y**3 - 1 - 4*y**2 + 3*y**2 - 26*y**3 - y - y. Is 7 a factor of f(-1)?
False
Let r(j) = 8*j**2 + j. Let w be r(1). Let p(z) = -z**2 + 8*z - 6. Let l be p(w). Is 12 a factor of (88/(-10))/(6/l)?
False
Let r(b) = -4*b. Let l be r(-1). Is 14 a factor of ((-35)/l)/((-2)/8)?
False
Let w = 12 - 17. Let z be 2/w + 24/(-15). Is (-8)/5*5/z a multiple of 3?
False
Let y(j) = j**2 - 2*j + 6. Let a be 2 - (2/(-1) + 2). Suppose 8 = 4*w - a*w. Does 14 divide y(w)?
True
Suppose -5*w = -0 - 25. Suppose -51 = -2*g - w*z, 0 = -5*g + 2*g - 4*z + 66. Does 9 divide g?
True
Suppose 0 = -17*q + 21*q - 568. Does 16 divide q?
False
Let o(w) = -w - 1. Let p be o(4). Is p*2*(-24)/10 a multiple of 12?
True
Let c = -305 - -462. Is 13 a factor of c?
False
Let o(l) = -l**3 - 5*l**2 + 4*l - 8. Let g be o(-6). Suppose 3*i - g*z = -28, 2*z + 26 = -3*i + 7*z. Is 1/2 + i/(-8) even?
True
Suppose -4*b - 3 = 25. Let c = 10 + b. Suppose -p + c*p - 46 = 0. Is p a multiple of 14?
False
Suppose 0*y + 2*y + 20 = 0. Let q(k) be the first derivative of -k**4/4 - 10*k**3/3 - 2*k**2 - 12*k - 1. Is q(y) a multiple of 14?
True
Let g = -16 - -31. Suppose 0 = -z + 2 + 2. Suppose -z*i - v = -g, 2*i + 0*v = 4*v + 12. Is i even?
True
Suppose 4*p - 19 = -5*x, 3*p - 2*x - 32 = p. Is p a multiple of 10?
False
Is (-1 - 0)/((-12)/96) a multiple of 2?
True
Let q = -56 + 116. Is 12 a factor of q?
True
Let r(q) = 6*q - 1. Suppose -4*f - 3 + 7 = 0. Let h be r(f). Is (1 - (-74)/10)*h a multiple of 16?
False
Suppose -q = -5*q + 16. Suppose z - 2 - 75 = -3*r, -106 = -q*r - 2*z. Is 8 a factor of r?
True
Let l(p) = -203*p**3 - p. Let f be l(1). Does 26 divide f/(-2) + -3 + -1?
False
Suppose 5*v = -3*f + 49, -11 - 4 = -5*f + 5*v. Does 5 divide f?
False
Let a = 19 - 18. Does 6 divide (47/a + -1)/2?
False
Suppose u = 6*u + 15. Let m be u/(-2)*(-56)/(-21). Suppose -m*l = -39 - 29. Does 5 divide l?
False
Let g(d) = -d**3 + 11*d**2 + d - 8. Let u be g(11). Suppose -u*p - 2*p + 50 = 0. Is 10 a factor of p?
True
Let k(n) = 2*n + 1. Let v be k(-1). Does 8 divide ((-10)/(-6))/(v/(-6))?
False
Let h(c) = -c + 12. Let u be h(9). Suppose u*l = 4*l - 6. Is l a multiple of 5?
False
Suppose 0*g - g + 5 = 0. Let o(q) = 4 - 4*q - q**2 + 7*q**2 - g*q**2. Is 18 a factor of o(-4)?
True
Let g(l) = l + 12. Let i = 6 - 6. Let z be g(i). Suppose -2*p + 4 + z = 0. Is 3 a factor of p?
False
Let s(q) = -6*q**3 - q**2. Let b be s(-1). Suppose 81 = d - 4*m - 5, 4*d = -b*m + 407. Let n = d + -58. Is 20 a factor of n?
True
Does 4 divide -14*-1*(-3)/(-3)?
False
Suppose 2*k + 14 = 3*k. Is k a multiple of 3?
False
Let l(q) = 5*q + 12. Let v be l(9). Suppose 5*i - 2*i = -v. Let d = i - -33. Is d a multiple of 14?
True
Let y = 263 - 156. Let m = 71 + y. Is 10 a factor of m/9 + (-10)/(-45)?
True
Let u = 2 + -10. Let m(c) = c + 5. Let g be m(u). Is 20/6 - g/(-9) even?
False
Let m(w) = 2*w + 16. Is m(10) a multiple of 12?
True
Suppose i - 10 - 50 = 0. Suppose 4*x - i = x. Is 7 a factor of x?
False
Let h = 8 - 3. Let x = -1 + h. Suppose 3 = x*g - 5. Is 2 a factor of g?
True
Let m(s) = -s**3 + 8*s**2 - 3*s + 5. Let k be m(4). Let i = k + -83. Does 12 divide i/(-2) + (-1)/1?
True
Let t = 13 - 10. Suppose 2*a - 18 - 10 = t*q, -4*a - q + 56 = 0. Is a a multiple of 14?
True
Suppose -i + 3*h = -15 + 4, 2*i - 2*h - 18 = 0. Suppose -2*b - 4 = -2*z, 3*b + 0 = z - 6. Suppose z = 2*k - 42 + i. Does 14 divide k?
False
Suppose g + 3*z - 4 = 0, -5*g - 2*z + 85 = -0*z. Is 7 a factor of g?
False
Let d = 7 - -3. Suppose z + 3 - 10 = 0. Let j = d - z. Is j a multiple of 3?
True
Let a be 4/(-10) - (-135)/25. Suppose -41 = -a*k - 11. Does 8 divide (6*-1)/(-3) + k?
True
Let l(o) = o**2 - o + 8. Let p be l(0). Suppose -9 = -d + 4*h, -3*h + 6 = -4*d - p*h. Is 11 a factor of (0 + 2 - d)*28?
False
Suppose 0 = 2*o - 0*o - 4*k - 160, -5*k = -4*o + 317. Let r be (0 - -2)*o/4. Suppose -3*w + 0 = -2*u - r, 5*w - u = 72. Is w a multiple of 5?
True
Does 10 divide 10/(-3)*(-21 - -3)*1?
True
Let j = 4 - 3. Let o = 2 + j. Does 2 divide o?
False
Suppose 0 = k - 0*k - 6. Let j(w) = w**3 - 7*w**2 + 4*w + 8. Let y be j(k). Is 5 a factor of y/(-6) - 65/(-15)?
True
Suppose 8*i + 28 = 276. Is 3 a factor of i?
False
Suppose 100 = 2*z - 4*c, 0*z - 5*z = 3*c - 276. Is 27 a factor of z?
True
Suppose 0 = 4*u + u - 70. Suppose 3*l = 5*x + 23, 4*l + 5*x - u - 5 = 0. Let f = l + 18. Does 12 divide f?
True
Let d = 6 + -6. Suppose 148 = 3*b - v, -5*b + 2*b - 4*v + 128 = d. Suppose b = 3*l + l. Is 10 a factor of l?
False
Let k = 107 + -76. Does 7 divide (k*2)/(5 - 3)?
False
Let p(v) = v + 1. Let x be p(-1). Suppose -12 = 4*w - x*a + 4*a, 3*w - 2*a + 14 = 0. Is (3/(-2))/(w/24) a multiple of 5?
False
Let b(s) = -2*s**2 + 2*s + 2. Let x be b(-2). Let j be 14/(x/(-2) + -3). Suppose 0 = 5*t + 20, 3*l - j*t = -3*t + 73. Is 5 a factor of l?
False
Suppose -6*j - 5 = -j. Is 14 - (j + 2/2) a multiple of 6?
False
Let y be ((-20)/(-6))/((-6)/(-9)). Suppose j - 92 = -2*a + 23, y*j = -5*a + 300. Let v = a + -39. Does 16 divide v?
True
Let g = 2 - 1. Suppose 0 = -4*q + 9 - g. Suppose q = -4*v + 70. Does 17 divide v?
True
Suppose -2*i = -q - 7, -2*q - 3 = i - 4. Suppose 0 = -i*k + 5*y + 40, -4*k + 55 = -4*y - y. Does 13 divide k?
False
Suppose 3*n + 126 = 6*n. Is 14 a factor of n?
True
Does 2 divide (-82)/(-10) - (-10)/(-50)?
True
Suppose 4*b - 23 = -123. Does 14 divide b/(-10)*(-124)/(-10)?
False
Let k be (-8)/(-10)*(-35)/2. Let m = 20 + k. Suppose 3*w - 42 = -2*i + m*i, 3*w - i = 33. Does 5 divide w?
True
Suppose 2*w - 3 = -11. Let q(x) = -x**3 - 4*x**2 - 2*x + 4. Let v be q(w). Is 4 a factor of 9/(-6)*(2 - v)?
False
Is 16/88 - (-416)/11 a multiple of 38?
True
Suppose 2*p - 2*n - 28 = 0, -3*p = 2*p + n - 76. Suppose 3*k = -p, 2*h = -h - 3*k + 225. Suppose 3*j + 186 = 4*v, h = v + v + 5*j. Is 15 a factor of v?
True
Let r(v) be the third derivativ