lse
Let h(g) be the first derivative of 5*g**3/3 - 2*g**2 + 4*g - 1. Suppose -l = -x + 3 + 1, 2*x = 4*l + 10. Is h(x) a multiple of 13?
False
Let g(c) = c**3 - c**2 - 6*c + 146. Is 20 a factor of g(0)?
False
Let o(c) = -c**3 + 7*c**2 - 6*c - 4. Let w be o(6). Let l be (1 - -51)/(0 + 2). Let z = l + w. Is 11 a factor of z?
True
Is (-118)/(-2) - (4 + 4/(-4)) a multiple of 6?
False
Suppose 20 = 3*u + 2*u. Suppose -j + 3*t = -19, -u = j - 5*t - 31. Does 7 divide j?
True
Let x(r) = 2*r**2 - 3*r + 1. Let u be x(2). Let f(v) = -v**3 + 4 - 6 - u*v + 2*v**3. Is f(3) a multiple of 8?
True
Is 1/((-118)/60 - (-4)/2) a multiple of 10?
True
Suppose -21 = 2*z + 3*i, -3*i - 5 - 4 = 0. Let n be z/4*(-4)/3. Is (-1)/n + (-114)/(-4) a multiple of 14?
True
Suppose s + 5*p = 5*s - 20, -5*s - 2*p = 8. Let g = s - -4. Suppose -15 = -q - g*q. Is 2 a factor of q?
False
Is ((-6)/8)/(2/(-96)) a multiple of 9?
True
Let y(n) = -n**3 - n**2 + 5*n - 11. Does 16 divide y(-5)?
True
Is 40 a factor of (-4)/(-20)*5 + 1*119?
True
Let y(g) = g + 1. Let m(d) = 9*d + 10. Let w(c) = -m(c) + 6*y(c). Let p be w(-3). Suppose 0*b = -4*l + 2*b + 22, -2*l + 5 = p*b. Is 3 a factor of l?
False
Let i(u) be the first derivative of u**2/2 + 4*u + 1. Let j be i(-6). Is 17 a factor of j/(2/34*-2)?
True
Let t = -45 + 83. Is 16 a factor of t?
False
Let v be -2 + 9 + -2 + 0. Suppose -2*q - q = 0. Suppose -30 = -v*z - 5*t - q*t, 5*z = -2*t + 42. Does 10 divide z?
True
Let m(l) = 9*l**2 + 2*l - 2. Let o(j) = -j + 10. Let v be o(8). Does 19 divide m(v)?
True
Let w = -19 + 45. Is 26 a factor of w?
True
Suppose 0 = 5*v - 3*x + 26, -v - 4*x = 2*v + 4. Let c be (v/(-6))/(5/1275). Suppose 0*o - 5*o = -c. Is 12 a factor of o?
False
Let o = 106 - 23. Let u = o + -48. Let y = -14 + u. Does 12 divide y?
False
Suppose -4*h + r = -235, -5*h = r + 2*r - 315. Let g = h + -28. Let k = g - -16. Is k a multiple of 22?
False
Suppose -13*f = -5*f - 512. Is f a multiple of 10?
False
Let c(g) = -2*g + 5. Let n be c(4). Let p be (5/n)/(3/(-9)). Suppose -p*x + 105 + 45 = 0. Is 15 a factor of x?
True
Let o = -30 + 20. Let w = o + 39. Is 10 a factor of w?
False
Let d(x) = 3*x**2 - 8*x - 5. Let a be d(6). Suppose -4*w = -4*u + 3*u + 86, 408 = 5*u + 2*w. Let g = u - a. Is g a multiple of 9?
True
Let r(z) = -7*z**2 - 2*z + 2. Let t be r(-4). Is 10 a factor of t/(-8) + 6/(-8)?
False
Is 21 a factor of 2/3 - (368/(-6) - 1)?
True
Let g = -1 - -3. Suppose 1 = -5*v - 59. Is 13 a factor of v/((-39)/(-24) - g)?
False
Let o(l) = l**2 - 7*l - 12. Does 4 divide o(11)?
True
Suppose 6*k + 2*w - 344 = k, -5*w = k - 78. Is k a multiple of 9?
False
Is 14 a factor of ((-8)/(-20) + 0)*35?
True
Suppose 4*h - 5*h = 12. Let q = 27 + h. Is 9 a factor of q?
False
Let i(t) = -20*t**3 - 4*t**2 + 5*t - 4. Let m(j) = -40*j**3 - 7*j**2 + 9*j - 7. Let a(l) = 7*i(l) - 4*m(l). Is a(1) a multiple of 8?
False
Let z = -4 - -21. Let k = z + 23. Suppose -3*h + w = -34, 5*h - k = 3*h + 5*w. Is h a multiple of 5?
True
Suppose -2*m + 15 = -4*p + 5*p, 3*p + 5*m = 43. Let i = p - 2. Does 9 divide i?
True
Let r be 20/6*(1 - -8). Let k = 81 - r. Is 25 a factor of k?
False
Suppose 9*a - 1519 = 578. Is 15 a factor of a?
False
Let z(h) = h**3 + 4*h**2 + 2*h - 2. Let v be z(-2). Is 25/v + (-3)/6 a multiple of 9?
False
Suppose -a - 84 = -148. Is 4 a factor of a?
True
Let w be -2 + (3 - 2 - 2). Is 0 + -1 - w*3 a multiple of 3?
False
Suppose -20 = -5*f, k = 2*f - 3 - 5. Let d(a) = -2*a**3 - 3*a**2 + a + 2. Let u be d(-2). Suppose k = -4*y - y - 4*z + 177, 3*y - 111 = -u*z. Does 19 divide y?
False
Suppose -3*m + 4*b = -9 + 1, 4*b = 5*m - 24. Suppose -4*r + m = -0*r + 2*i, 0 = 4*i + 16. Is 4 a factor of r?
True
Suppose -f - 2 + 3 = 0. Let k(h) = 1 + 35*h**3 - 4*h**3 - 3*h**2 + h**2. Is k(f) a multiple of 15?
True
Suppose -3*z + 27 = -39. Let d = z - 3. Is 5 a factor of d?
False
Let j(u) = 17*u - 1. Let p be j(-1). Let h = p + 29. Is h a multiple of 11?
True
Suppose 3*y - 120 = -3*q, 4*y - 36 - 144 = q. Let j = y - 26. Is 9 a factor of j?
True
Let a be (-16)/(-6) + 6/(-9). Let g(d) = -d + a*d + 0*d. Does 4 divide g(8)?
True
Let k = -39 - -123. Suppose -3*i + 33 + k = 0. Does 13 divide i?
True
Suppose -2*a + 9 + 45 = 0. Is 2 a factor of a?
False
Suppose -u + 414 = u. Suppose u = 3*q + 63. Suppose 0 = y + y - q. Does 8 divide y?
True
Suppose 10 = -8*w + 3*w. Let q(i) = -2*i**3 + 3*i**2 + 2*i + 1. Is q(w) a multiple of 16?
False
Let u(l) = -l**3 + 2*l + 1. Let p be u(-3). Let o be (-1 - -2)/(1/p). Let i = o - -9. Is i a multiple of 8?
False
Let p(a) = -a**2 - 13*a + 2. Does 11 divide p(-6)?
True
Suppose -c + 115 = 5*x, -4*c + 365 = -4*x - 143. Suppose -2*a - 41 = -c. Suppose 0 = -5*h - 15, -3*h + a = 4*w - 53. Is 13 a factor of w?
True
Let q be 0 + 1 - 4/4. Let a(u) = u**3 + u**2 + 18. Is a(q) a multiple of 7?
False
Is 18 a factor of (-18)/15*(-30 + 0)?
True
Let q(v) = -4 + v**2 - 1 - 3*v + 2 - 2*v. Let u be q(4). Let i = u - -28. Is i a multiple of 7?
True
Suppose q + 3*q - 6 = 3*t, 6 = 3*t. Suppose 0 = 5*k + 2 + q. Does 4 divide (-4)/(1*k/2)?
True
Suppose 0 = 2*c - 48 - 14. Is c a multiple of 15?
False
Suppose 3*r - 6 + 21 = 0. Let c be 2511/(-15) - 2/r. Is 18 a factor of (-2)/(-8) + c/(-4)?
False
Let q(i) be the first derivative of -i**3/3 - 3*i**2 - i - 1. Is q(-4) even?
False
Suppose 0 = 4*i - 3 - 13. Suppose 0 = -o - 5*q + 135, -363 = -i*o + 3*q + 85. Suppose -5*s - 40 = -o. Does 15 divide s?
True
Let w(l) = -19*l**2 - l + 2. Let f be w(1). Let d = f - -46. Is 14 a factor of d?
True
Let c = 0 + 5. Is c a multiple of 4?
False
Let v = 88 - 52. Is v a multiple of 11?
False
Suppose -5*k = -k. Suppose -i = -k*i. Suppose i = -3*b + 51 + 27. Does 13 divide b?
True
Suppose -2*o = 2*o + 8. Let z(i) = i + 5. Let y be z(-6). Is 18 - (5 + o + y) a multiple of 16?
True
Suppose -2*n - 2*n = 28. Let d(w) = -w**3 - 9*w**2 - 10*w + 1. Let y be d(n). Is (-6)/y - 777/(-27) a multiple of 13?
False
Suppose 7*g = 5*g + 64. Is 13 a factor of g?
False
Let x(p) = 9*p - 16. Does 23 divide x(12)?
True
Let h = 0 - -17. Suppose -4*r - 2*s = -12, 3*r - 4*s = h + 3. Is r even?
True
Suppose 3*d - 30 = 2*d. Suppose -2*s + 2*u = -4*s - 24, -u - 4 = 0. Let r = d + s. Does 11 divide r?
True
Let p = 27 - 17. Suppose 0 = 4*h - 6*h + p. Suppose 3*n - 16 = -2*r, n = h*r - 8 + 36. Is 6 a factor of n?
False
Let l(b) be the third derivative of -b**4/12 - b**3/3 - 3*b**2. Let a(o) = o - 3. Let m be a(0). Is 4 a factor of l(m)?
True
Let n be (-8)/3*(-3)/2. Suppose -3*m + x + 0*x + 42 = 0, 2*m - 18 = n*x. Is m a multiple of 6?
False
Let f(g) = -g**3 + 1. Let k be f(2). Let v(p) = 62*p - 2 + 2 - 63*p. Is 3 a factor of v(k)?
False
Let b(k) = -15*k + 8. Let f(r) = 23*r - 12. Let d(g) = -8*b(g) - 5*f(g). Let z be d(9). Suppose 2*j = -x + 14, 4*x + 17 - z = -4*j. Is 4 a factor of j?
True
Let m = 17 + 40. Is m a multiple of 15?
False
Let g(r) = r**2 - 7*r - 1. Let t be g(7). Let s = t - -3. Suppose s*n - 13 - 23 = 0. Is n a multiple of 6?
True
Let k(l) = -2*l - 19. Let u(m) = -m - 9. Let o(v) = 3*k(v) - 7*u(v). Let s be o(-6). Does 17 divide 2 - (16*-2 + s)?
True
Let o = 1456 + -88. Let m be o/45 + 4/(-10). Is ((-5)/2 - -3)*m a multiple of 11?
False
Suppose -2*h = -7*h + 230. Is h a multiple of 11?
False
Suppose -5*o = -3*p - 2*p + 30, 0 = 3*p + 2*o - 8. Let h be (2 - 0)*(-6)/(-4). Suppose -d - p*g - 2 = 0, 0*d - h*g + 18 = 4*d. Is 3 a factor of d?
True
Let k(q) = 4*q + 92. Is 23 a factor of k(0)?
True
Suppose -2*g - 13 - 27 = 0. Let r = g + 0. Does 9 divide r/8*54/(-5)?
True
Let r be 825/4 - (-6)/(-24). Let a be r*(3/(-6))/(-1). Let w = a + -72. Is w a multiple of 13?
False
Does 26 divide (1 - -24) + (-10 - -13)?
False
Does 10 divide (30/18)/((-1)/(0 + -30))?
True
Does 2 divide 108/15 + (-4)/20?
False
Suppose -g = -3*t - 13, -1 = -4*g - 5*t - 0. Let i be g/(-6) - (-12)/18. Let r(n) = n + 19. Is 9 a factor of r(i)?
False
Suppose -n + q = -6*n + 116, -117 = -5*n - 2*q. Is n a multiple of 6?
False
Let w = -45 - -237. Does 24 divide w?
True
Suppose -11 + 3 = 2*i. Let d be (6 + i)*(1 - 2). Is -1 + (-2 - -6 - d) a multiple of 3?
False
Let y(c) = 25*c + 2. Is 7 a factor of y(1)?
False
Let i(z) = 60*z**3 + z**2 - 2*z + 1. Is 10 a factor of i(1)?
True
Suppose 5*t + 47 = -3*u + 167, -83 = -3*t - 4*u. Is t a multiple of 7?
True
Let g 