lse
Let m(v) = v**2 - 4*v - 6. Let p be m(7). Suppose -4*b + 77 = -x, b + x - p = -3*x. Is 11 a factor of b?
False
Let p(z) = -z**3 - 8*z**2 + 13*z - 6. Let t be p(-10). Does 16 divide t/6*(5 + -2)?
True
Let o(f) = 12*f**2 - 2*f - 2. Does 14 divide o(2)?
True
Let b(v) = -4*v + 7. Is 13 a factor of b(-8)?
True
Suppose -4*y + y + 2*q = -170, -5*y + 277 = 3*q. Is y a multiple of 8?
True
Suppose 8*t - 138 - 54 = 0. Is 4 a factor of t?
True
Let f be 26/6 + (-3)/9. Suppose -i = 0, -f*p + 15 = p - i. Does 2 divide p?
False
Suppose -6 = -2*h, -5*h + 29 = -2*l + 70. Is 14 a factor of l?
True
Let b = 17 + -11. Suppose 2*m - b = -2*q, q - 3 = -m - 4*m. Does 10 divide m + 0 - -2 - -22?
False
Let h = 316 - 127. Is h a multiple of 27?
True
Let m = 48 + -32. Let r = m + 0. Does 14 divide r?
False
Let o(q) = -3*q**3 + 7*q**2 - 7*q + 6. Let r be -3 - -1*(-4 + 2). Let n(f) = 7*f**3 - 14*f**2 + 13*f - 13. Let k(m) = r*o(m) - 2*n(m). Does 13 divide k(6)?
False
Let b = 679 - 462. Does 17 divide b?
False
Suppose 4*h = 3*s - 29, 0*h - 11 = 3*s + 4*h. Suppose s*b - 46 = b. Suppose -2*w + 24 = 5*d, -3*w + d + b = -30. Is 7 a factor of w?
False
Let m(p) = -58*p**3 - 3*p**2 - 2*p. Does 7 divide m(-1)?
False
Suppose -7*o + 3 = -102. Is 5 a factor of o?
True
Let a be 64/11 - (-10)/55. Suppose -a*v = -v - 125. Does 8 divide v?
False
Let z(u) = -9*u**3 + 2*u**2 + 3*u + 2. Does 11 divide z(-2)?
False
Suppose 3*u - 188 = -38. Is 7 a factor of u?
False
Let q = 4 - 2. Suppose 4*g - 497 = -0*g + 5*l, 3*g - 396 = -4*l. Suppose -5*a + 169 = 4*w, -5*w + g = q*a + 2*a. Does 10 divide a?
False
Suppose -3*u + 4*z = -388, 5*u - 4*z + 0*z - 652 = 0. Is u a multiple of 33?
True
Let i = -3 - -2. Does 21 divide (i/(-2))/(1/82)?
False
Suppose 0 = -0*z - 3*z + 6, 5*z - 22 = 4*o. Let d(x) = 4 - x + x**2 + 5*x - 2*x + 0*x. Does 3 divide d(o)?
False
Does 22 divide (-330)/(-5)*(-12)/(-9)?
True
Let t = 102 - 84. Let g be (-31)/4 - 1/4. Let k = g + t. Is 5 a factor of k?
True
Suppose 16 = -u - 5*s, 0 = -u - 3*s - 9 - 1. Let z(b) = -b**2 + 6*b + 10. Let w be z(7). Let r = w - u. Is 4 a factor of r?
True
Suppose -2*p + 4 + 8 = 0. Let y(f) = 2*f**2 - 8*f. Is y(p) a multiple of 12?
True
Suppose 6 = u - 1. Does 3 divide u?
False
Let u(x) = 6*x**3 - x + 1. Let d be u(1). Is 16 a factor of (3/d)/(1/94)?
False
Let b be 268*((-6)/4 + 2). Suppose 5*v = 3*l + 176, 3*v + l = -v + b. Does 17 divide v?
True
Suppose 0*n = 3*n. Suppose 4*i = -5*r + 55 + 45, n = r - 4*i + 4. Is r a multiple of 4?
True
Suppose 5*v - 4*a - 24 = 0, -1 = 2*a + 1. Let d be v/(-2) - (-4 + 0). Let z = 6 + d. Is z a multiple of 6?
False
Let j = -71 + 117. Does 3 divide j?
False
Suppose -4 = t - 0. Let w(a) = -a**3 - 2*a**2 - 3*a - 2. Is w(t) a multiple of 14?
True
Let r = -12 - -7. Let j be (-6)/r*5/2. Suppose -7*w = -j*w - 16. Does 2 divide w?
True
Suppose 2*p = 4*i - 110, -5*i = -4*p - p - 250. Let y = p + 69. Suppose y = 2*t + 2*t. Is 3 a factor of t?
True
Let f(y) = -12*y - 2. Let x be f(2). Let c be 12/30 - x/10. Suppose 4*n - 28 = 2*b, 9 = c*n - 4*b - 12. Does 7 divide n?
True
Let z(y) = -3*y + 1. Let a be z(2). Does 6 divide 164/10 + 2/a?
False
Let x be 14/(-18) - (-2)/(-9). Does 11 divide (22*-3)/(-1 + x)?
True
Suppose 6*x + 44 = 308. Does 26 divide x?
False
Suppose 2*g - 110 = 10. Is 15 a factor of g?
True
Let i(q) = -43*q - 2. Let v be i(1). Let h = v - -73. Is 14 a factor of h?
True
Let l(p) = p**3 + 8*p**2 - p + 10. Let w be (6/4)/((-9)/48). Let k be l(w). Suppose -k = -2*b - 0. Is b a multiple of 3?
True
Let o(g) = g**3 - g**2 - 5*g - 2. Let x be 46/14 - (-4)/(-14). Suppose 2*l = 5 + x. Is 13 a factor of o(l)?
True
Suppose 5*m + 4 = -3*i + 14, 3*m = -3*i. Suppose t - 11 = -m*l + 18, 2*t = -2*l + 66. Let n = t + -16. Does 18 divide n?
True
Suppose 2*h - 5*j + 587 = 0, h + 1244 = -3*h - 4*j. Is 21 a factor of h/(-15) + (-9)/(-15)?
True
Let q(c) be the first derivative of -c**3/3 - 7*c**2/2 - 2*c + 2. Let h = -5 - 0. Is 8 a factor of q(h)?
True
Suppose -13 = 4*j - 3*j. Let w = j - -7. Does 14 divide -46*3/w - -1?
False
Suppose -4*f + 44 = -0*f. Is 6 a factor of (f - (-6)/3) + 2?
False
Suppose -106 = -5*m - l, m - 2*l = -4*l + 14. Is m even?
True
Suppose -f = 4*f - 120. Let m = -12 + f. Does 11 divide m?
False
Let s = 35 - 49. Let u = -25 - -57. Let z = u + s. Is 18 a factor of z?
True
Suppose -3*j + 353 = -46. Suppose 0 = 3*d + j - 379. Is -3 + 2/(4/d) a multiple of 12?
False
Let x(t) = 4*t**3 - 5*t**2 + 4*t - 20. Let g(p) = -3*p**3 + 4*p**2 - 3*p + 19. Let c(h) = 5*g(h) + 4*x(h). Let s = -62 - -62. Is c(s) a multiple of 7?
False
Let t be (-702)/(-30) + 2/(-5). Suppose -5*c - 4*f + 14 + 16 = 0, 0 = -c + 5*f - t. Suppose 0*w - 68 = -c*w. Is 17 a factor of w?
True
Let z(b) = b**2 - 3*b + 7. Suppose k + 0 = -5. Does 12 divide z(k)?
False
Let x(w) be the third derivative of -w**4/24 - w**3 + w**2. Suppose b + 9 = -d + 5*d, 0 = 3*d. Is 3 a factor of x(b)?
True
Let x = 116 - 82. Is 8 a factor of x?
False
Let f(k) = -k**2 - k + 3*k**2 - k**3 - 3*k**2 + 4. Let m be f(0). Suppose 5*v + 3*w = -2*w + 45, -4*w = -m*v + 44. Is 5 a factor of v?
True
Let q(b) = b**2 + 9*b - 15. Is 21 a factor of q(-13)?
False
Let m be (-39)/(3/(-1)) + 3. Suppose -w + 68 = 3*w. Let q = m + w. Is 12 a factor of q?
False
Let o = -20 - -28. Suppose -5*l + 3*y - 32 = 0, 3*l + y - o = -4*y. Is l/(-14) - 103/(-7) a multiple of 6?
False
Suppose 0*f - 2*f = -60. Is f a multiple of 7?
False
Let t = -1 + 3. Suppose -3*r + 0*d + t*d = -27, -4*r + 2*d + 38 = 0. Is 11 a factor of r?
True
Suppose 5*o = 20, 5*m + 1 = 5*o - o. Does 5 divide 7 + 1 - 3/m?
False
Let m be -3 - (1*-10 + -1). Suppose -h = 3*h - m. Suppose h*y = -0*y + 50. Is y a multiple of 25?
True
Let n(p) = p**3 + 6*p**2 + 3*p - 2. Does 6 divide n(-5)?
False
Let i = 21 - 29. Let p = -8 - i. Suppose p*m = -2*m + 106. Is 15 a factor of m?
False
Let h(f) = f**2 - f + 1. Is 13 a factor of h(-9)?
True
Let f(i) = 5*i**3 + i**2 + 4*i + 3. Let c(r) = -4*r**3 - r**2 - 4*r - 3. Let u(k) = -7*c(k) - 6*f(k). Is 15 a factor of u(-2)?
True
Does 36 divide (-1)/(3555/445 - 4 - 4)?
False
Let m(y) = 4*y - 3. Let l(v) = -v**3 + 9*v**2 + 9*v + 12. Let t be l(10). Let h be m(t). Suppose h*p + 7 - 67 = 0. Is 12 a factor of p?
True
Let h = 1 - -3. Let r be (3/4)/(h/16). Suppose r*y = -2*y + 90. Is y a multiple of 5?
False
Let t = 309 + -174. Does 27 divide t?
True
Suppose 3*q = -q - w - 83, -3*w = -q - 37. Is (q/(-4))/(6/60) a multiple of 21?
False
Let o = -10 - -14. Suppose -x = -o*x. Suppose x = -l - 4, -4*a + 24 = -3*l - 68. Is 9 a factor of a?
False
Let y(u) = 4*u**2 - 10*u - 13. Is y(-7) a multiple of 13?
False
Let g(n) = 3*n**2 + 7*n - 9. Is 31 a factor of g(-5)?
True
Let a(t) = t**3 + 11*t**2 + 12*t + 10. Is 27 a factor of a(-9)?
False
Let a = -44 + 72. Let c be (-10)/(-4)*a/(-35). Let m(l) = -6*l**3 - 2*l**2 + l. Does 19 divide m(c)?
True
Suppose -5*o = 4*a - 33, -a - 11 = a - 3*o. Suppose -a*q = 5*i + 79, 5*i + 68 + 43 = -3*q. Let z = 64 + q. Is 16 a factor of z?
True
Let v(s) = -s**2 + 31*s + 96. Is v(28) a multiple of 9?
True
Suppose 0*r = -r - 25. Let b = r - -40. Does 4 divide b?
False
Let p be (-8)/1*1/2. Let o be (-2)/p*(4 - 6). Let l = o - -18. Is 7 a factor of l?
False
Suppose -2*i + 20 = -72. Is i a multiple of 23?
True
Suppose -2*y - d = -3*y + 76, 2*d + 8 = 0. Is 24 a factor of y?
True
Suppose -5*p + 410 = 2*n + n, -n = 4*p - 328. Let w = -43 + p. Is w a multiple of 15?
False
Suppose a + 70 = 6*a. Let h = 26 - a. Is 4 a factor of h?
True
Let u be (-5)/((-10)/18) - -3. Suppose 3*a - 3*l = u, l = -4*a + 12 - 1. Does 2 divide a?
False
Let y(j) = j - 5. Let k(i) = -i**3 + 7*i**2 - 6. Let l be k(7). Let m be y(l). Let z(w) = -w**3 - 12*w**2 - 14*w - 3. Does 15 divide z(m)?
True
Let y(s) = s + 49. Let r be -4*(-9)/8*2. Suppose 0 = 3*l - q + 3, -5*l = -0*l + 3*q - r. Is y(l) a multiple of 20?
False
Let v be 2/(-11) + (-2410)/55. Suppose -k = -2*k - 12. Let r = k - v. Is r a multiple of 20?
False
Does 20 divide (-9)/(-21) - (-2721)/21?
False
Suppose -2*m - 1044 = -14*m. Is 29 a factor of m?
True
Suppose i + 2*a = 1 + 1, 0 = 3*i - 3*a + 3. Let j be (0 - i/1) + -12. Does 4 divide 2 + j/(-3) - 2?
True
Suppose -4*n - 2*h = h + 33, 2*h + 12 = -n. Let z(q) = -3*q - 1. Is 11 a factor of z(n)?
False
Let u(y) = -4*y**2 - 6*y - 